Skip to main content

ORIGINAL RESEARCH article

Front. Phys., 08 February 2024
Sec. Quantum Engineering and Technology

Tripartite Svetlichny test with measurement dependence

Run-Ze LiRun-Ze Li1Dan-Dan LiDan-Dan Li2Sheng-Yao WuSheng-Yao Wu1Su-Juan Qin
Su-Juan Qin1*Fei Gao
Fei Gao1*Qiao-Yan WenQiao-Yan Wen1
  • 1State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China
  • 2School of Computer Science (National Pilot Software Engineering School), Beijing University of Posts and Telecommunications, Beijing, China

The Bell test, as an important method for detecting nonlocality, is widely used in device-independent quantum information processing tasks. The security of these tasks is based on an assumption called measurement independence. Since this assumption is difficult to be guaranteed in practical Bell tests, it is meaningful to consider the effect of reduced measurement independence (i.e., measurement dependence) on Bell tests. Some research studies have shown that nonlocality can be detected even if measurement dependence exists. However, the relevant results are all based on bipartite Bell tests, and the results for multipartite Bell tests are still missing. In this paper, we explore this problem in the tripartite Svetlichny test. By considering flexible lower and upper bounds on the degree of measurement dependence, we obtain the relation among measurement dependence, guessing probability, and the maximal value of Svetlichny inequality. Our results reveal the case in which genuine nonlocality is nonexistent; at this point, the outcomes of the Bell test cannot be applied in device-independent quantum information processing tasks.

1 Introduction

Quantum nonlocality is a critical resource in device-independent quantum information processing tasks such as quantum key distribution [13], random number generation [47], self-testing [8,9], and private query [10,11]. The phenomenon of quantum nonlocality, first brought to light in the famous debate between Einstein, Podolsky, and Rosen in 1935 [12], was later given a testable framework by Bell through his inequality theorem formulated in 1964 [13].

A bipartite Bell test involves two distant parties: Alice and Bob. Each party randomly selects measurement settings Ax(x ∈ {0, 1}) and By(y ∈ {0, 1}) and obtains outcomes a ∈ {0, 1} and b ∈ {0, 1}, respectively. After many rounds of experiments, the statistical correlations are characterized by the joint probability distribution p(a, b|Ax, By). Bell inequality can be defined by a linear combination of p(a, b|Ax, By):

A0B0+A0B1+A1B0A1B12,(1)

where ⟨AxBy⟩ = a,b(−1)a+bp(a, b|Ax, By). This inequality is known as the CHSH inequality [14]. The statistical correlations produced by the classical system can reach the local upper bound of CHSH inequality of 2. In quantum mechanics, measurements acting on quantum entanglement states can violate the CHSH inequality and result in a bound value of up to 22.

Since the 1980s, Bell test experiments have been realized [1518], but it has been found that these experiments suffer a loophole called randomness loophole. The Bell test requires that the selection of measurements is completely random. This is a basic assumption for the Bell test, called measurement independence. If measurement independence cannot be guaranteed in the experiment, the randomness loophole will be opened up. The adversary Eve is able to simulate quantum nonlocality with classical systems by possessing a priori knowledge of measurement settings, which threatens the security of device-independent quantum information processing tasks. Nevertheless, measurement independence is difficult to be guaranteed in practical Bell tests. Many researchers have attempted to explore how relaxing the measurement independence assumption (i.e., measurement dependence) would affect the Bell test [1930].

In 2010, Hall [19] proposed the quantification of measurement dependence and constructed a local deterministic model to simulate singlet state correlations. In 2012, Koh et al. [21] explored the effects of measurement dependence on the CHSH–Bell test. By considering the relation among measurement dependence, guessing probability, and the maximal value of CHSH inequality, they bounded the capabilities of the adversary. It is worth mentioning that in [23,24], Pütz et al. improved the quantification of measurement dependence and developed a framework for measurement dependence locality. This notable approach was used by Yuan et al. [31] to consider the effects of measurement dependence on the CHSH–Bell test.

With the development of quantum information and quantum computing, more complex Bell test models deserve to be considered. Many research studies have been devoted to measurement dependence based on the Bell test with multiple measurements, multiple outcomes, or asymmetric Bell inequality [3135]. While previous discussions on measurement dependence mainly focus on the bipartite Bell test, the multipartite Bell test still deserves to be explored. In this paper, we explore how measurement dependence affects the tripartite Svetlichny test. By introducing the quantification of measurement dependence in the tripartite Svetlichny test, the relation among measurement dependence, guessing probability, and the maximal value of Svetlichny inequality is obtained. The result demonstrates the capabilities of the adversary Eve to simulate quantum nonlocality using classical systems, which is crucial in device-independent quantum information processing tasks.

This paper is organized as follows: Section 2 provides a brief introduction of Svetlichny inequality and the tripartite Bell test. The main results are presented in Section 3. Section 4 analyzes the capabilities of the adversary when considering random number generation. The conclusion is presented in Section 5.

2 Preliminaries

In this section, some relevant preliminaries are given.

2.1 Local hidden variable model

Bell’s theorem states that the correlations produced by the quantum system cannot be explained by the local hidden variable (LHV) model. For the CHSH–Bell test, the statistical correlation p(a, b|Ax, By) admits the following decomposition:

pa,b|Ax,By=dλpa,b|Ax,By,λpλ|Ax,By.(2)

Here, λ is the local hidden variable which denotes all the factors that may affect the outcomes.

Additional assumptions may lead to restrictions on Eq. 2. The first one is called local causality:

pa,b|Ax,By,λ=pa|Ax,λpb|By,λ.(3)

This assumption requires that the outcomes of each party are only dependent on the inputs of that party and the local hidden variable λ. In a practical Bell test, one guarantees the assumption by ensuring that the two devices are spatially separated. Local causality can also be viewed as the union of two assumptions: parameter independence and outcome independence.

The second assumption is called measurement independence:

pAx,By|λ=pAx,By.(4)

Measurement independence requires that the selection of inputs of each party is independent of the local hidden variable λ. According to the Bayes theorem, Eq. 4 can also be written as

pλ|Ax,By=pλ.(5)

In a practical Bell test, one guarantees this assumption as much as possible using ideal randomness. After considering these two assumptions, the statistical correlation can be described as

pa,b|Ax,By=dλpλpa|Ax,λpb|By,λ.(6)

If the statistical correlations can be written in the form of Eq. 6, they satisfy the CHSH inequality.

As a natural extension of the bipartite Bell test, the multipartite Bell test displays a more complex structure. We consider the simplest tripartite Bell test, which contains three distinct parties: Alice, Bob, and Charlie, whose devices are spatially separated from each other. Each of them has two inputs and two outcomes. The inputs are labeled as Aj, Bk, and Cl, where j, k, l ∈ {0, 1}, and the outcomes are labeled as a, b, c ∈ {0, 1}, respectively. These devices can be treated as black boxes, and an outcome will be given when an input of the devices is selected. After repeating this process several times, the statistical correlations p(a, b, c|Aj, Bk, Cl) are obtained. According to Bell’s theorem, a local correlation p(a, b, c|Aj, Bk, Cl) can be written as

pa,b,c|Aj,Bk,Cl=dλpλpAj,Bk,Cl|λpa|Aj,λpb|Bk,λpc|Cl,λpAj,Bk,Cl,(7)

where λ is the local hidden variable and ∫dλp(λ) = 1.

We know that if Eq. 7 does not hold, then the correlations are nonlocal. However, several representations indicate that the correlations are nonlocal in the multipartite Bell test. For instance, if Alice is uncorrelated to Bob and Charlie in the tripartite case, then the correlations can be written in the following form:

pa,b,c|Aj,Bk,Cl=dλpλpAj,Bk,Cl|λpa|Aj,λpb,c|Bk,Cl,λpAj,Bk,Cl,(8)

where ∫dλp(λ) = 1 if p(b, c|Bk, Cl, λ) is nonlocal. It is easy to find that if Eq. 8 violates the form of Eq. 7, the correlations are nonlocal. However, such correlations are strictly bipartite nonlocal, which is independent of the third party.

2.2 Svetlichny inequality

To distinguish the nonlocal correlations generated by all three parties, Svetlichny constructed an inequality in 1987, also known as Svetlichny inequality [36]. If the correlations produced by the tripartite Svetlichny test can be written in the form

pa,b,c|Aj,Bk,Cl=dλpλpAj,Bk,Cl|λpa,b|Aj,Bk,λpc|Cl,λpAj,Bk,Cl+dμpμpAj,Bk,Cl|μpa,c|Aj,Cl,μpb|Bk,μpAj,Bk,Cl+dνpνpAj,Bk,Cl|νpb,c|Bk,Cl,νpa|Aj,νpAj,Bk,Cl,(9)

where ∫dλp(λ) + ∫dμp(μ) + ∫dνp(ν) = 1, then the correlations satisfy the following Svetlichny inequality:

S3=A0B0C1+A0B1C0+A1B0C0A1B1C1+A1B1C0+A1B0C1+A0B1C1A0B0C04,(10)

where ⟨AxByCz⟩ = a,b,c(−1)a+b+cp(a, b, c|Ax, By, Cz). In quantum systems, the correlations produced by measurements that act on genuine tripartite entanglement states may violate the Svetlichny inequality, and the upper bound can be up to 42. Furthermore, the upper bound of Svetlichny inequality is up to 8 for the no-signaling theory.

2.3 Measurement dependence and guessing probability

As mentioned above, the assumption of local causality can be guaranteed by spatial separation. However, measurement independence is difficult to be realized in the practical Bell test. If the devices are potentially prepared by Eve, she can use local correlation to reproduce the quantum correlation by controlling the local hidden variable λ. Eve’s control on inputs is described by p(Aj, Bk, Cl|λ). If p(Aj, Bk, Cl|λ) = p(Aj, Bk, Cl), it means that the information Eve learned does not affect the inputs, also known as measurement independence. If p(Aj, Bk, Cl|λ) ≠ p(Aj, Bk, Cl), this is called measurement dependence, which means that Eve can decide the inputs by controlling λ. The quantification is defined by the upper bound of conditional input probability distributions. In the tripartite Svetlichny test, the degree of measurement dependence is expressed as

Pup=maxj,k,lpAj,Bk,Cl|λ,(11)

where Pup[18,1]. The case Pup=18 corresponds to measurement independence. The case Pup = 1 corresponds to complete measurement dependence, i.e., Eve has full control over at least one of the inputs via λ.

It has been shown that the lower bound of conditional input probability distributions is also an important parameter for quantifying measurement dependence [23]. This parameter characterizes the minimum randomness requirement of the inputs. A better quantification of measurement dependence can be obtained by combining the upper and lower bounds of conditional input probability distributions. In the tripartite Svetlichny test, it is expressed as follows:

Plow=minj,k,lpAj,Bk,Cl|λPup=maxj,k,lpAj,Bk,Cl|λ,(12)

where Plow[0,18] and Pup[18,1].

The guessing probability reflects the randomness. The adversary Eve tries to guess Alice’s outcomes: the more accurate Eve’s guess is, the less random the outcome will be. G(λ) denotes the marginal probability of Eve’s best guess for a given local hidden variable λ. In the tripartite Svetlichny test,

Gλ=maxa,b,c,j,k,lpa|Aj,λ,pb|Bk,λ,pc|Cl,λ.(13)

The guessing probability will then be given by

G=dλpλGλ.(14)

The maximal value G = 1 represents that Eve can guess all the outputs, which means that the outputs are completely deterministic. The minimal value G=12 represents that Eve cannot get extra information about the output via λ.

3 Results

In this section, the main results are given. According to the definitions given above, we obtain the relation between the value of the Svetlichny inequality with respect to the guessing probability and the degree of measurement dependence. Before we obtain the main result in this paper, we will first introduce the following lemma.

Lemma: The maximum possible value of Svetlichny inequality for the tripartite case S3max(G,Pup), for any no-signaling model with p(x,y,z)=18 (i.e., all inputs are equally likely), is

S3maxG,Pup=8322G117Pup,18Pup178,Pup17,(15)

where G and Pup are the guessing probability and degree of measurement dependence, respectively.

The degree of measurement dependence in this lemma is described as the upper bound of conditional input probability distributions p(Aj, Bk, Cl|λ). The proof of lemma is included in the proof of the theorem. According to the lemma and the definitions we introduced above, we obtain the relation with flexible lower and upper bounds of conditional input probability distributions.

Theorem: The maximum possible value of Svetlichny inequality for the tripartite case S3max(G,Plow,Pup), for any no-signaling model with p(x,y,z)=18 (i.e., all inputs are equally likely), is

S3maxG,Plow,Pup=8322G11Pup18Plow,7Pup+Plow<18,7Pup+Plow1.(16)

In the following part, we will prove the theorem and the lemma together.

Proof: We start by defining the marginal probability as

p0|Aj,λ=mj,p0|Bk,λ=nk,p0|Cl,λ=ol,

where j, k, l ∈ {0, 1}. Then, the remaining marginal probabilities containing one variable can be expressed as

p1|Aj,λ=1mj,p1|Bk,λ=1nk,p1|Cl,λ=1ol.

According to the definition of the guessing probability, we get

Gλ=maxmj,nk,ol,1mj,1nk,1ol.(17)

Similarly, we define the marginal probability containing two variables as

p0,0|Aj,Bk,λ=xjk,p0,0|Aj,Cl,λ=yjl,p0,0|Bk,Cl,λ=zkl,

where j, k, l ∈ {0, 1}. Then, the remaining marginal probabilities containing two variables can be expressed as

p0,1|Aj,Bk,λ=mjxjk,p1,0|Aj,Bk,λ=nkxjk,p1,1|Aj,Bk,λ=1+xjkmjnk;p0,1|Aj,Cl,λ=mjyjl,p1,0|Aj,Cl,λ=olyjl,p1,1|Aj,Cl,λ=1+yjlmjol;p0,1|Bk,Cl,λ=nkzkl,p1,0|Bk,Cl,λ=olzkl,p1,1|Bk,Cl,λ=1+zklnkol.

We also define the joint probability p(0, 0, 0|Aj, Bk, Cl, λ) = fjkl. Then, all the remaining joint probabilities are expressed as follows:

p0,0,1|Aj,Bk,Cl,λ=xjkfjkl,p0,1,0|Aj,Bk,Cl,λ=yjlfjkl,p1,0,0|Aj,Bk,Cl,λ=zklfjkl,p0,1,1|Aj,Bk,Cl,λ=mjxjkyjl+fjkl,p1,0,1|Aj,Bk,Cl,λ=nkxjkzkl+fjkl,p1,1,0|Aj,Bk,Cl,λ=olyjlzkl+fjkl,p1,1,1|Aj,Bk,Cl,λ=1mjnkol+xjk+yjl+zklfjkl.

Because of the positivity of probability, we obtain the range of fjkl:

fjklmax0,xjk+yjlmj,xjk+zklnk,yjl+zklol,minxjk,yjl,zkl,djkl,(18)

where djkl = 1 − mjnkol + xjk + yjl + zkl. Since min{x,y}=12(x+y|xy|) and max{x,y}=12(x+y+|xy|), it can be extended to the general cases:

minw,x,y,z=minminw,x,miny,z=12minw,x+12miny,z12|minw,xminy,z|=14w+x+y+z14|wx|14|yz|14|w+xyz|wx||yz.(19)
maxw,x,y,z=maxmaxw,x,maxy,z=12maxw,x+12maxy,z+12|maxw,xmaxy,z|=14w+x+y+z+14|wx|+14|yz|+14|w+xyz|wx||yz.(20)

In order to simplify the representation, we will follow the techniques in [20]. By the equation in Appendix B of [20], we obtain

minw,x,y,z14w+x+y+z14|wx|14|yz|12|wy|12|xz|.(21)

Similarly, the maximum case can also be extended to the following case:

maxw,x,y,z14w+x+y+z+14|wx|+14|yz|+12|wy|+12|xz|.(22)

Thus, fjkl satisfies

fjkl142xjk+2yjl+2zklmjnkol+14|xjk+yjlmj|+14|xjk+zklnkyjl+zklol|+12|xjk+zklnk|+12|xjk+yjlmjyjl+zklol|,14xjk+yjl+zkl+djkl14|xjkyjl|14|zkldjkl|12|xjkzkl|12|yjldjkl|.(23)

Based on the definition of ⟨AjBkCl⟩, we have

AjBkCl=1a+b+cpa,b,c|Aj,Bk,Cl=1a+b+cdλpa,b,c|Aj,Bk,Cl,λpλ|Aj,Bk,Cl.(24)

Let AjBkClλ denote the expectation of the measurement outcomes for a fixed value of λ:

AjBkClλ=1a+b+cpa,b,c|Aj,Bk,Cl,λ.(25)

Substituting the joint probability into Eq. 25, AjBkClλ can be reproduced as

AjBkClλ=8fjkl4xjk+yjl+zkl+2mj+nk+ol1.(26)

Thus, AjBkClλ satisfies

AjBkClλ2|xjk+yjlmj|+2|xjk+zklnkyjl+zklol|+4|xjk+yjlmjyjl+zklol|1,12|xjkyjl|2|zkldjkl|4|xjkzkl|4|yjldjkl|.(27)

The Svetlichny inequality for the tripartite case is described by

S3=A0B0C1+A0B1C0+A1B0C0A1B1C1+A1B1C0+A1B0C1+A0B1C1A0B0C0.(28)

Combining the results obtained above, we can get

S38322G1dλpλminj,k,l0,1pAj,Bk,Cl|λ.(29)

The specific processes of simplification are listed in the Supplementary Material.

In the following part, we consider the degree of measurement dependence Pup. Based on the definition of Pup, in the case of Pup17, we can always find that minj,k,lp(Aj, Bk, Cl|λ) = 0. In the case of 18Pup17, the minimum value is p(Aj, Bk, Cl|λ) = 1 − 7Pup. Then, we can conclude that

S3maxG,Pup=8322G117Pup,18Pup178,Pup17.(30)

Now that we have completed the proof of the lemma, we will continue with the proof of the theorem.

According to the definition of the flexible upper bound and lower bound of measurement dependence, we have

PlowpAj,Bk,Cl|λPup,(31)

where j, k, l ∈ {0, 1}.

Let

pAj,Bk,Cl|λ=pAj,Bk,Cl|λPlow18Plow.(32)

It is easy to obtain the range of p(Aj, Bk, Cl|λ):

0pAj,Bk,Cl|λPupPlow18Plow.(33)

The normalization of p(Aj, Bk, Cl|λ) is proven as follows:

j,k,lpAj,Bk,Cl|λ=j,k,lpAj,Bk,Cl|λPlow18Plow=j,k,lpAj,Bk,Cl|λPlow18Plow=j,k,lpAj,Bk,Cl|λ8Plow18Plow=1,(34)

where the last equality holds according to the normalization of p′(Aj, Bk, Cl|λ).

Thus, S3 can be described by

S3=A0B0C1+A0B1C0+A1B0C0A1B1C1+A1B1C0+A1B0C1+A0B1C1A0B0C08322G1dλpλminj,k,l0,1pAj,Bk,Cl|λ=8322G1dλpλminj,k,l0,1pAj,Bk,Cl|λPlow18Plow.(35)

According to Eq. 29 and Eq. 35, we obtain the relation between S3 and S3:

S3=18PlowS3+64Plow.(36)

In the case of PupPlow18Plow17, i.e., 7Pup + Plow ≤ 1, we obtain

S3=8322G11Pup18Plow.(37)

In the case of PupPlow18Plow17, i.e., 7Pup + Plow ≥ 1, we obtain

S3=S3=8.(38)

Consequently, based on the guessing probability G, the flexible bound of measurement dependence Pup and Plow, the Svetlichny inequality value can be described as

S3maxG,Plow,Pup=8322G11Pup18Plow,7Pup+Plow<18,7Pup+Plow1.(39)

4 Discussion

In this section, the analysis of the adversary’s capability is given. Regarding the lemma, we describe it in Figure 1. For the case Pup = 1, the inputs of the devices are completely deterministic for the adversary Eve. She can construct a local strategy to preprogram the outcomes, and the value of Svetlichny inequality can be up to 8. This makes the outcomes seem random, but it is actually certain for Eve(G = 1). For the case Pup=18, the inputs of the devices are completely random, and Eve has no a priori knowledge about the inputs. If she constructs a local strategy to preprogram the outcomes, the value of Svetlichny inequality will not exceed 4.

FIGURE 1
www.frontiersin.org

FIGURE 1. The maximal values of Svetlichny inequality S3max(G,Pup) that the adversary can fake using the classical system (G = 1) when considering measurement dependence Pup. The shaded region in the figure indicates that no true randomness is generated.

We also illustrate the theorem by presenting it in two cases. As described in Figure 2, for the case of Pup=18 or Plow=18, the inputs are completely random, and the adversary Eve has no a priori knowledge of the inputs. In this case, if Eve constructs a deterministic strategy of outcomes, the Svetlichny inequality cannot be violated. Thus, the adversary Eve cannot fake true randomness. For the case of 7Pup + Plow > 1 or 7Pup + Plow < 1, Eve can obtain part of the information of inputs and then can construct a classical strategy to reach the maximum value of the Svetlichny inequality S3max(1,Plow,Pup). In this case, we conclude that there is true randomness generation when S3obv>S3max(1,Plow,Pup).

FIGURE 2
www.frontiersin.org

FIGURE 2. The maximal values of Svetlichny inequality S3max(G,Plow,Pup) that the adversary can fake using the classical system (G = 1) when considering measurement dependence Plow and Pup. The color bar corresponds to the upper bound of the Svetlichny inequality. It is easy to know that Figure 1 can be seen as a special case of Figure 2 when Plow = 0.

5 Conclusion

In this paper, we explored the effect of measurement dependence on the tripartite Svetlichny test. Concretely, we showed the relation among measurement dependence, guessing probability, and the maximal violation of Svetlichny inequality that the adversary can fake. Using the degree of measurement dependence with flexible lower and upper bounds, we analyze the case that genuine tripartite nonlocality is nonexistent and give a security analysis of the device-independent quantum information processing tasks. Taking random number generation as an example, we considered the range that the adversary Eve can fake using the classical system. Attempts to the adversary with stronger ability merit further investigation. A natural extension of this work is to explore more different correlations, such as network nonlocality [37] and steering [38].

Data availability statement

The original contributions presented in the study are included in the article/Supplementary Material; further inquiries can be directed to the corresponding authors.

Author contributions

R-ZL: writing–original draft, writing–review and editing, conceptualization, data curation, formal analysis, investigation, methodology, resources, software, supervision, validation, and visualization. D-DL: writing–original draft, writing–review and editing, conceptualization, data curation, formal analysis, and investigation. S-YW: data curation, formal analysis, methodology, project administration, software, visualization, and writing–review and editing. S-JQ: formal analysis, funding acquisition, methodology, project administration, supervision, and writing–review and editing. FG: formal analysis, funding acquisition, writing–original draft, writing–review and editing, and project administration. Q-YW: formal analysis, funding acquisition, project administration, resources, and writing–review and editing.

Funding

The author(s) declare financial support was received for the research, authorship, and/or publication of this article. This work is supported by the National Natural Science Foundation of China (Grant Nos 62272056, 62171056, and 62372048).

Conflict of interest

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

Publisher’s note

All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors, and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.

Supplementary material

The Supplementary Material for this article can be found online at: https://www.frontiersin.org/articles/10.3389/fphy.2024.1356682/full#supplementary-material

References

1. Acín A, Gisin N, Masanes L. From bell’s theorem to secure quantum key distribution. Phys Rev Lett (2006) 97:120405. doi:10.1103/physrevlett.97.120405

PubMed Abstract | CrossRef Full Text | Google Scholar

2. Pironio S, Acín A, Brunner N, Gisin N, Massar S, Scarani V. Device-independent quantum key distribution secure against collective attacks. New J Phys (2009) 11:045021. doi:10.1088/1367-2630/11/4/045021

CrossRef Full Text | Google Scholar

3. Kołodyński J, Máttar A, Skrzypczyk P, Woodhead E, Cavalcanti D, Banaszek K, et al. Device-independent quantum key distribution with single-photon sources. Quantum (2020) 4:260. doi:10.22331/q-2020-04-30-260

CrossRef Full Text | Google Scholar

4. Pironio S, Acín A, Massar S, de La Giroday AB, Matsukevich DN, Maunz P, et al. Random numbers certified by bell’s theorem. Nature (2010) 464:1021–4. doi:10.1038/nature09008

PubMed Abstract | CrossRef Full Text | Google Scholar

5. Acín A, Masanes L. Certified randomness in quantum physics. Nature (2016) 540:213–9. doi:10.1038/nature20119

PubMed Abstract | CrossRef Full Text | Google Scholar

6. Ma X, Yuan X, Cao Z, Qi B, Zhang Z. Quantum random number generation. npj Quan Inf (2016) 2:16021–9. doi:10.1038/npjqi.2016.21

CrossRef Full Text | Google Scholar

7. Liu Y, Zhao Q, Li M-H, Guan J-Y, Zhang Y, Bai B, et al. Device-independent quantum random-number generation. Nature (2018) 562:548–51. doi:10.1038/s41586-018-0559-3

PubMed Abstract | CrossRef Full Text | Google Scholar

8. Mayers D, Yao A. Self testing quantum apparatus (2003). arXiv preprint quant-ph/0307205.

Google Scholar

9. Šupić I, Bowles J. Self-testing of quantum systems: a review. Quantum (2020) 4:337. doi:10.22331/q-2020-09-30-337

CrossRef Full Text | Google Scholar

10. Maitra A, Paul G, Roy S. Device-independent quantum private query. Phys Rev A (2017) 95:042344. doi:10.1103/physreva.95.042344

CrossRef Full Text | Google Scholar

11. Li D, Huang X, Huang W, Gao F, Yan S. Espquery: an enhanced secure scheme for privacy-preserving query based on untrusted devices in the internet of things. IEEE Internet Things J (2020) 8:7229–40. doi:10.1109/jiot.2020.3038928

CrossRef Full Text | Google Scholar

12. Einstein A, Podolsky B, Rosen N. Can quantum-mechanical description of physical reality be considered complete? Phys Rev (1935) 47:777–80. doi:10.1103/physrev.47.777

CrossRef Full Text | Google Scholar

13. Bell JS. On the einstein podolsky rosen paradox. Phys Physique Fizika (1964) 1:195–200. doi:10.1103/physicsphysiquefizika.1.195

CrossRef Full Text | Google Scholar

14. Clauser JF, Horne MA, Shimony A, Holt RA. Proposed experiment to test local hidden-variable theories. Phys Rev Lett (1969) 23:880–4. doi:10.1103/physrevlett.23.880

CrossRef Full Text | Google Scholar

15. Aspect A, Grangier P, Roger G. Experimental realization of einstein-podolsky-rosen-bohm gedankenexperiment: a new violation of bell’s inequalities. Phys Rev Lett (1982) 49:91–4. doi:10.1103/physrevlett.49.91

CrossRef Full Text | Google Scholar

16. Hensen B, Bernien H, Dréau AE, Reiserer A, Kalb N, Blok MS, et al. Loophole-free bell inequality violation using electron spins separated by 1.3 kilometres. Nature (2015) 526:682–6. doi:10.1038/nature15759

PubMed Abstract | CrossRef Full Text | Google Scholar

17. Giustina M, Versteegh MA, Wengerowsky S, Handsteiner J, Hochrainer A, Phelan K, et al. Significant-loophole-free test of bell’s theorem with entangled photons. Phys Rev Lett (2015) 115:250401. doi:10.1103/physrevlett.115.250401

PubMed Abstract | CrossRef Full Text | Google Scholar

18. Shalm LK, Meyer-Scott E, Christensen BG, Bierhorst P, Wayne MA, Stevens MJ, et al. Strong loophole-free test of local realism. Phys Rev Lett (2015) 115:250402. doi:10.1103/physrevlett.115.250402

PubMed Abstract | CrossRef Full Text | Google Scholar

19. Hall MJ. Local deterministic model of singlet state correlations based on relaxing measurement independence. Phys Rev Lett (2010) 105:250404. doi:10.1103/physrevlett.105.250404

PubMed Abstract | CrossRef Full Text | Google Scholar

20. Hall MJ. Relaxed bell inequalities and kochen-specker theorems. Phys Rev A (2011) 84:022102. doi:10.1103/physreva.84.022102

CrossRef Full Text | Google Scholar

21. Koh DE, Hall MJ, Pope JE, Marletto C, Kay A, Scarani V, et al. Effects of reduced measurement independence on bell-based randomness expansion. Phys Rev Lett (2012) 109:160404. doi:10.1103/physrevlett.109.160404

PubMed Abstract | CrossRef Full Text | Google Scholar

22. Pope JE, Kay A. Limited measurement dependence in multiple runs of a bell test. Phys Rev A (2013) 88:032110. doi:10.1103/physreva.88.032110

CrossRef Full Text | Google Scholar

23. Pütz G, Rosset D, Barnea TJ, Liang Y-C, Gisin N. Arbitrarily small amount of measurement independence is sufficient to manifest quantum nonlocality. Phys Rev Lett (2014) 113:190402. doi:10.1103/physrevlett.113.190402

PubMed Abstract | CrossRef Full Text | Google Scholar

24. Pütz G, Gisin N. Measurement dependent locality. New J Phys (2016) 18:055006. doi:10.1088/1367-2630/18/5/055006

CrossRef Full Text | Google Scholar

25. Tan EY-Z, Cai Y, Scarani V. Measurement-dependent locality beyond independent and identically distributed runs. Phys Rev A (2016) 94:032117. doi:10.1103/physreva.94.032117

CrossRef Full Text | Google Scholar

26. Friedman AS, Guth AH, Hall MJ, Kaiser DI, Gallicchio J. Relaxed bell inequalities with arbitrary measurement dependence for each observer. Phys Rev A (2019) 99:012121. doi:10.1103/physreva.99.012121

CrossRef Full Text | Google Scholar

27. Kim M, Lee J, Kim H-J, Kim SW. Tightest conditions for violating the bell inequality when measurement independence is relaxed. Phys Rev A (2019) 100:022128. doi:10.1103/physreva.100.022128

CrossRef Full Text | Google Scholar

28. Hall MJ, Branciard C. Measurement-dependence cost for bell nonlocality: causal versus retrocausal models. Phys Rev A (2020) 102:052228. doi:10.1103/physreva.102.052228

CrossRef Full Text | Google Scholar

29. Šupić I, Bancal J-D, Brunner N. Quantum nonlocality in the presence of strong measurement dependence. Phys Rev A (2023) 108:042207. doi:10.1103/physreva.108.042207

CrossRef Full Text | Google Scholar

30. Kimura G, Susuki Y, Morisue K. Relaxed bell inequality as a trade-off relation between measurement dependence and hiddenness. Phys Rev A (2023) 108:022214. doi:10.1103/physreva.108.022214

CrossRef Full Text | Google Scholar

31. Yuan X, Zhao Q, Ma X. Clauser-horne bell test with imperfect random inputs. Phys Rev A (2015) 92:022107. doi:10.1103/physreva.92.022107

CrossRef Full Text | Google Scholar

32. Yuan X, Cao Z, Ma X. Randomness requirement on the clauser-horne-shimony-holt bell test in the multiple-run scenario. Phys Rev A (2015) 91:032111. doi:10.1103/physreva.91.032111

CrossRef Full Text | Google Scholar

33. Li D-D, Zhou Y-Q, Gao F, Li X-H, Wen Q-Y. Effects of measurement dependence on generalized clauser-horne-shimony-holt bell test in the single-run and multiple-run scenarios. Phys Rev A (2016) 94:012104. doi:10.1103/physreva.94.012104

CrossRef Full Text | Google Scholar

34. Huang X-H, Li D-D, Zhang P. Effects of measurement dependence on tilted chsh bell tests. Quan Inf Process (2018) 17:291–18. doi:10.1007/s11128-018-2060-1

CrossRef Full Text | Google Scholar

35. Li R, Li D, Huang W, Xu B, Gao F. Tight bound on tilted chsh inequality with measurement dependence. Physica A: Stat Mech its Appl (2023) 626:129037. doi:10.1016/j.physa.2023.129037

CrossRef Full Text | Google Scholar

36. Svetlichny G. Distinguishing three-body from two-body nonseparability by a bell-type inequality. Phys Rev D (1987) 35:3066–9. doi:10.1103/physrevd.35.3066

PubMed Abstract | CrossRef Full Text | Google Scholar

37. Šupić I, Bancal J-D, Brunner N. Quantum nonlocality in networks can be demonstrated with an arbitrarily small level of independence between the sources. Phys Rev Lett (2020) 125:240403. doi:10.1103/physrevlett.125.240403

PubMed Abstract | CrossRef Full Text | Google Scholar

38. Uola R, Costa ACS, Nguyen HC, Gühne O. Quantum steering. Rev Mod Phys (2020) 92:015001. doi:10.1103/revmodphys.92.015001

CrossRef Full Text | Google Scholar

Keywords: Bell test, Bell nonlocality, measurement dependence, Svetlichny inequality, device-independent quantum information task

Citation: Li R-Z, Li D-D, Wu S-Y, Qin S-J, Gao F and Wen Q-Y (2024) Tripartite Svetlichny test with measurement dependence. Front. Phys. 12:1356682. doi: 10.3389/fphy.2024.1356682

Received: 16 December 2023; Accepted: 25 January 2024;
Published: 08 February 2024.

Edited by:

Xiao Yuan, Peking University, China

Reviewed by:

Jinjing Shi, Central South University, China
He Lu, Shandong University, China
Xiaogang Li, Peking University, China

Copyright © 2024 Li, Li, Wu, Qin, Gao and Wen. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

*Correspondence: Fei Gao, gaof@bupt.edu.cn; Su-Juan Qin, qsujuan@bupt.edu.cn

Disclaimer: All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.