Abstract
The Clauser-Horne-Shimony-Holt (CHSH) inequality and the Klyachko-Can-Binicioglu-Shumovski (KCBS) inequality present a tradeoff on the no-disturbance (ND) principle. Recently, the fundamental monogamy relation between contextuality and nonlocality in quantum theory has been demonstrated experimentally. Here we show that such a relation and tradeoff can also be simulated in classical optical systems. Using polarization, path and orbital angular momentum of the classical optical beam, in classical optical experiment we have observed the stringent monogamy relation between the two inequalities by implementing the projection measurement. Our results show the application prospect of the concepts developed recently in quantum information science to classical optical system and optical information processing.
© 2018 Optical Society of America under the terms of the OSA Open Access Publishing Agreement
1. Introduction
The nonlocality and contextuality are two important aspects in quantum theory. Many investigations have been done about them in the past few decades. The nonlocality was usually discussed by the violation of the Bell inequality [1, 2] and the contextuality was analyzed by the violation of the noncontextuality inequality [3–7]. The violations of the two inequalities have been observed by a large number of experimental tests in quantum systems [8–27]. For a long time, the studies on the nonlocality and contextuality have been carried out independently, the people do not pay attention to their relation. Recently, the relation between nonlocal correlation and contextual correlation has been disclosed [28–33]. It has been proven that the no-disturbance (ND) principle imposes the monogamy relation between the contextuality and the nonlocality [34–38], and the quantum version of this monogamy relation is even more stringent [39, 40].
On the other hand, recent investigations have also shown that the violation of the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality can be simulated in the classical wave systems [41–53]. At the same time, the Klyachko-Can-Binicioglu-Shumovski (KCBS) contextuality has also been simulated in the classical wave systems [54–56]. However, these mentioned studies on the CHSH Bell inequality and the KCBS contextuality have also been done independently. The monogamy relation between the nonlocality and the contextuality can exhibit simultaneously two aspects of important characteristics in quantum theory, especially more stringent monogamy relation. The question is whether it can be simulated in classical wave systems?
In this work, we show that the monogamy relation between the nonlocality and the contextuality, even more stringent relation, can be simulated in the classical optical systems. Using polarization, path and orbital angular momentum (OAM) of the classical optical beam, in classical optical experiments we can observe the tradeoff between the two inequalities by implementing the projection measurement.
2. Theoretical description on the monogamy relation in classical light
Based on the ND principle, Kurzyński et al proposed a fundamental monogamy relation between the violations of the KCBS inequality and the CHSH inequality [39]. For the KCBS inequality, there are five observables (, …, ), which are pairwise compatible. Each observable has two possible measurement outcomes ± 1. In the noncontextuality case, for the any choice of the outcomes ± 1 for the observables, the KCBS inequality satisfies
where is the average value of KCBS operator. As the description in Ref [39], the KCBS scenario needs only a system (such as Alice’s system). Because these observables are pairwise compatible, every two observables exist a joint probability distribution. There is not a joint probability for the all five observables. According to this assumption to measure the five observables, the classical probabilities measured cannot be described by noncontextual theory, and the KCBS inequality can be violated. For the CHSH inequality, the observables (i = 1,…,5, with the sum modulo 5), , and are considered. These and are any two incompatible observables. Similarly, and have possible outcomes ± 1. The CHSH Bell inequality is expressed as [39]where is the average value of CHSH operator. In order to demonstrate the violation of the CHSH inequality, two spatial separated systems (Alice’s and Bob’s systems) are needed, and the measurements in the two systems can impact mutually. In the Alice’s system the observables are and , and in the Bob’s system the observables are and . and are incompatible, but oris compatible withor. The spatial separation and the mutual impact show the nonlocality, and the compatible relations between the observables show the contextuality. According to the two assumptions to measure the four observables , , and , the classical probabilities, which cannot be described by local realistic and noncontextual theories, can be obtained. The CHSH inequality can be violated. The ND principle describes that, for any three observables W, X and Y, such that W and X are compatible, W and Y are compatible, the measurement outcomes of W do not depend on whether W was measured with X or Y. Under the ND principle, the sum of the KCBS inequality and the CHSH inequality is bounded.Because the Bell inequality is also the noncontextuality inequality, according to Ref [39], we can sum the above two inequalities to produce a new noncontextuality inequality, which is expressed as
where We can see that the and have the form of the KCBS and CHSH expression, respectively. Because all are compatible with the observables and (, and or can be jointly measured), under the ND principle and can be recovered by the joint probability distribution. Because of the existence of a joint probability distribution for the and , the lower bounds, and , are satisfied [39]. In any ND theory, the sum for and is always bounded from below by [39]. That isThus there exists a monogamy relation between the two inequalities in the ND theory. The violation of one inequality forbids the violation of the other, and only one of them can be violated at one time.The quantum theory satisfies the ND principle, but there is a more stringent monogamy relation. The regions spanned by and are two overlap regions [39]. In the point with and , the quantum boundary touches the ND boundary, and the inequality becomes an equality. Such a stringent relation has been demonstrated experimentally using quantum states [40]. The KCBS inequality and the CHSH inequality are the bases of the monogamy relation, so we briefly describe the test of the two inequalities in photon experiment.
For the KCBS inequality, there are two measurement methods in the quantum case, joint measurement and sequence measurement. Because our classical light scheme corresponds to the joint measurement method in the quantum case, here we take the joint measurement as an example to describe the implementation process. The experiment process contains the input state preparation and the projection measurement. The correlated photon pairs are generated from the spontaneous parametric down conversion setup, one photon as the trigger, and the other produces the desired qutrit state [40]. In order to measure the compatible observables, their mutual eigenstates are established. When the input state projects onto the mutual eigenstates of the compatible observables, the probabilities of eigenvalues are obtained by the photon coincidence count. Possessing the probabilities of eigenvalues of the compatible observables, each correlation pair can be calculated and the value of KCBS inequality can be gotten further.
For the CHSH scenario, in quantum case it is that the two-qubit input state projects onto the operators corresponding to the four observables, which are two-two spatial separated observables. When the input state projects onto the eigenstates of the observables, these probabilities of eigenvalues are tested by the photon coincidence count. The eigenvalue multiplies by it probability, and we can obtain the observable when the products are summed. Possessing these observables, the result of CHSH operator can also be calculated [40].
Now we describe the above-mentioned phenomenon in classical optical system. For the KCBS inequality, the observables (…) described in the classical system are shown in Fig. 1. These observablescan be expanded by the direction unit vectors , that is (i = 1,…,5), where I is the identity matrix. Here , and are the classical trit’s (cetrit’s) bases corresponding to the quantum bases , and in three space dimensions, the vectors in the classical optical system are expressed by a slightly modified version of bra-ket notation of quantum mechanics [42]. The direction unit vectors are at the five vertexes of pentagram [34], thus the coefficients can be denoted as , and , where is a normalized constant. and are orthogonal, thus, and are compatible.
The input state can be also expanded by the basis vectors , and , which is written as , where E0, E1 and E2 represent amplitudes of the classical optical field. In this case, we can calculate the correlations and in the classical light, denotes the average value of the correlation in the classical optical system. For instance, if is taken as the input state for the KCBS inequality (at the symmetry axis of the pentagram [34]), the correlation, for the input state , . Because the KCBS inequality requires the specific input state, the amplitude E2 need to be normalized. In such a case, the value , thus
where is the corresponding form of in Eq. (1), and Eq. (7) is the corresponding expression of the violation of KCBS inequality in the classical light. Its maximum violation is .In Fig. 1(b), two incompatible observables and were chosen. They are compatible with the in Fig. 1(a). The compatible rations are represented in Fig. 1. Meanwhile, and were chosen, and they are incompatible. Thus and ( and ) are impossible to be jointly measured. However, it is possible to perform joint measurement for , , and . For the and , their outcomes are ± 1 similarly. The CHSH Bell inequality can be expressed as
where is the corresponding form of in Eq. (2), and Eq. (8) corresponds to Eq. (2). Its maximum violation is .Mapping into the classical light system, the compatible relation and the measurement relation are similar, so the ND principle exists similarly. It is similar to the quantum case above-mentioned, and the two inequalities satisfy the monogamy relation
Here Eq. (9) corresponds to Eq. (6).The more stringent monogamy relation between the KCBS inequality and the CHSH inequality also can be represented in classical light. There the observables and in Fig. 1(b) are chosen as two Pauli operators and , respectively. Two overlap regions and the boundaries can be obtained similarly. The detailed descriptions are given in Appendix A. For the boundaries, the two classes of states (un-normalized) in classical light are
where E1(φ) and E2(φ) are the amplitudes of classical optical field, and Eq. (10) and Eq. (11) are the classical correlation states. Using the input state and , the two boundaries can be calculated after the states are normalized. These results are showed in Fig. 2. The boundaries for the two classes of states and correspond to the blue solid curve and red dashed curve, respectively. At the two classes of states, the violations of the KCBS inequality and CHSH inequality show tradeoff in the classical optical system, one inequality is violated and the other is not violated. In the point , and , the boundary touches the ND boundary. That is, the more stringent monogamy relation can be simulated in the classical optical system, which is attributable to the correlation characteristics of classical optical fields [50]. In the following, we test experimentally the above monogamy relation in the classical light systems.3. Experimental demonstration of the monogamy relation in classical light
The experimental monogamy scenario in the classical optical system is designed by analogy of the photon experiment [40]. The experimental scheme is shown in Fig. 3. It consists of three parts: the state preparation, Alice’s measurement, and Bob’s measurement. Based on such a scheme, the cetrit-cebit system can be established, and the required input state can be obtained. In the Alice’s part, we use the joint measurement method to test the KCBS inequality, and then the CHSH inequality is tested using the cetrit-cebit system. The detailed process is described as follow.
In the state preparation stage, two laser beams from He-Ne lasers transmit through Grin lenses (GL) and then the laser beams with horizontal polarization appear. Here the center wavelengths of the laser beams are 633 nm. After they transmit through the vortex phase plate (VPP), the beams carry the OAM with an azimuthal phase structure of exp(ilσ), where σ is the azimuthal angle of polar coordinates, and l is a integer. Adjusting the VPPs, let the first beam carry the OAM with l = 1 and the second OAM beam with l = 2. After two half wave plates (HWPs) and two polarizing beam splitters (PBSs), the beams with different polarizations are combined in a beam-splitter (BS), then two new beams are obtained. The optical field state at the up output port is . After a HWP2 at 90°, the optical field state at the down output port is expressed as , where and denote the polarized classical states for fields, The superscripts 1, 2 denote the OAM number l, and the meanings of superscripts are same below.
If the polarization information for one beam is measured, the polarization for the other beam can be determined, and vice versa. Such a feature can be described by the classical correlation state: [50]. Then one of the correlated beams is transmitted to Alice to produce the cetrit, and the other is transmitted to Bob to produce the classical bit (cebit). After the beam transmitting to Alice passes through a PBS3, then the outputting vertical component passes through a HWP3 and a PBS4, we can obtain three beams of light. The cetrit can be constructed by the fields of the three beams, then the cetrit-cebit system can be established using this cetrit and the cebit in Bob’s part. Thus, the desired input state can be obtained: . As showed in Fig. 3, the horizontal polarization of path0 and path1, and the vertical polarization of path2 are encoded as , , and , respectively. Meanwhile, the path0 and path2 carry the OAM of l = 2, the path1 carries the OAM of l = 1. For the beam to Bob, the horizontal and vertical components are encoded as , , respectively. The horizontal component carries the OAM of l = 1 and the vertical component carries the OAM of l = 2. After they are encoded, this is
The Eq. (12) corresponds to the state in Eq. (10), where where the and are converted into the setting angles and of HWPs for the experimental implementation. Through tuning the angles , and of HWP1, HWP1′ and HWP3, the different input states can be gotten. In the case of , the setting angle of the HWP11 is 0° in the Bob’s part. For the state , we need to set up the angle of HWP11 for 45°. The setting angles of HWPs for all input states are listed in Appendix B.For the measurement of KCBS inequality, we adopt the method of joint measurement [18, 35], which is analogy of the photon experiment. It is that the input state projects onto the mutual eigenstate that is common for the compatible observables and . Here the mutual eigenstates of the compatible observables are established skillfully. We measure the light intensities to get the probabilities of the eigenvalues. With possessing the probabilities of the eigenvalues corresponding to the different eigenstates, each eigenvalue multiplies by its probability, thus the correlation is obtained when we sum the products. We establish the eigenstates at the three output port PD1, PD2 and PD3 in Alice’s part. The expressions of the optical fields at the output ports and the setting angles of HWPs are summarized in Appendix C. Taking as example, the output state at the port PD1 is the eigenstate with the eigenvalues and ; the output state at the port PD2 corresponds to the eigenstate with the eigenvalues and ; the output state at the port PD3 describes the eigenstate with the eigenvalues and . Here denotes that the eigenvalue of is + 1. The input state maps to these eigenstates, and the joint probabilities of the correlation can be obtained. Based on the classical correlation, the OAM components of the eigenstate in the Alice’s part correspond to the OAM components in the Bob’s part. Thus, by measuring the intensity of optical field of the OAM beam in the Alice’s part corresponding to the OAM in the Bob’s part, the probability of eigenstate can be tested. There the eigenstates for KCBS operator in the Alice’s part are irrelevant with the measurement in the Bob’s part. Thereupon we set up the angle of HWP10 at 0°, which corresponds to the measurement for (or) in the Bob’s part.
The OAM beams at the output ports D1 and D2 in the Bob’s part are the OAM beams of l = 1 and l = 2, respectively. They correspond to the OAM beams in the Alice’s part, so the probability is obtained when we test the optical intensity sum of the OAM beams of l = 1 and l = 2 of the eigenstate in the Alice’s part. Because the OAM beams of l = 1 and l = 2 are incoherent, the optical intensity sum for the sorting OAM beams equals to the intensity of beam propagating in one beam. Thus we just need to measure the entire optical intensity at one output port rather than to sort the different OAM beams to obtain the probabilities . The optical intensities are normalized, and the probabilities of these eigenvalues are obtained finally. Then the correlations can be calculated. The calculation method is showed in Appendix D.
For the measurement of CHSH inequality, the case becomes complex. The measurement method is also adopted by analogy of the photon experiment [40]. We need to measure the correlation observables (i = 1 or 4, j = 1 or 2), thus the observables and in the Alice’s part, and in the Bob’s part are considered. The observables and in the Bob’s part are the Pauli operators and, respectively. Thereupon, the eigenstates and eigenvalues of and can be obtained easily. Similarly, we also need to establish the eigenstates of and in the Alice’s part. The input state projects onto the eigenstates of these observables, and the probabilities of eigenvalues can be gotten. Because of the particularity of the observables and , we follow the eigenstates of or in the Bob’s part to implement the corresponding measurement in the Alice’s part. The field intensities of these eigenstates are test and normalized, and the probabilities of the corresponding eigenvalues can be gotten. Next, the observables can be calculated by summing the products of eigenvalues and probabilities, and then the result of CHSH operator can be obtained. This process is analogy of those in the photon experiment. We measure concretely these observables as follow. The measurement of observables , can be implemented by a HWP10 and a PBS9 in Bob’s part. Similarly, adjusting the angle of the HWP10, the eigenstates corresponding to eigenvalues and of the two operators can be obtained at the two output ports D1 and D2. The setting angles of HWP10 are 0° and 22.5° for and , respectively. In order to measure , the in the Alice’s part is also considered. There the and are needed to test and , and they can be test in the correlation pairs and , respectively. But the and are not considered and only and are used. For the observable , the eigenstates at the three output ports PD1, PD2 and PD3 correspond to the eigenvalues , and , respectively. For the observable , the eigenstates at the three output ports PD1, PD2 and PD3 correspond to the eigenvalues , and , respectively. The input state maps to these eigenstates in the Alice’s part and the Bob’s part, the probabilities of eigenvalues can be measured. Because the input state is the classical correlation (entanglement) state that is constituted by the different polarizations and OAMs of the classical beams, the probability is obtained by measuring the intensity of the corresponding optical field. The detailed measurement methods are provided in Appendix D. In fact, if we use field correlation measurement method described in Ref [50]. instead of the above described method, the same results can be obtained.
Under the adjustments of HWPs and the projection measurement, we obtain the experimental results for 11 different input states. The average values of the KCBS and CHSH operators for the different input states are shown in Fig. 2 and Table 1. The tradeoff of the two inequalities for different input states is observed clearly in the Table 1 and Fig. 2. The violation of one inequality forbids the violation of the other and they satisfy the bound imposed by the ND principle. The more stringent boundary between CHSH inequality and KCBS inequality is also observed distinctly in the classical optical experiment. At this point , the measurement results and , the stringent boundary touches the ND boundary except the experimental errors.
4. Conclusion and discussion
Mapping the quantum theory to the classical optical system, the classical eigenstates and correlation states have been constructed by using the polarization, path and OAM of the classical optical beams. The classical input states project onto these eigenstates, and the monogamy relation between the contextuality and nonlocality has been simulated experimentally. Such a relation and tradeoff in the classical optical system are in agreement with the presentation in the quantum experiment.
The phenomenon originates from the correspondence between the Maxwell equations describing classical light fields and the Schrodinger equation. Such a correspondence leads to the similarity between coherent processes in quantum mechanics and classical optics. A typical example is the correspondence between the photonic band structure in photonic crystals and the electron band structure in solid state systems [57]. The photonic band structure describes the solutions of the Maxwell equations in periodic dielectric media, and the electron band structure exhibits the solutions of the Schrodinger equation in periodic potentials. Similarly, quantum nonlocality, contextuality and their monogamy relation have been discussed in the quantum scenario. In the present work, we have demonstrated that these phenomena can also be simulated in the classical optical systems. It is generally regarded as an important difference between the classical system and the quantum system. The former admits local realistic and noncontextual description, whereas the latter does not. However, our results have shown that the mathematical machinery developed in quantum information theory is of direct relevance to the discipline of classical optical coherence theory, which can enrich the coherence theory and information optics.
Appendix A The more stringent monogamy relation in classical light
In this Appendix, we provide the theoretical demonstration about the more stringent monogamy relation in the classical light. In Fig. 1(a) of main body, it includes observables (i=1,…,5) and a classical trit (cetrit) in the Alice’s part, which tries to violate the KCBS inequality. In Fig. 1(b) of main body, it includes the observables , and a classical bit (cebit). The cetrit-cebit system is formed, which tries to violate the CHSH inequality in Alice’s part and Bob’s part. Corresponding to the quantum theory [39], the KCBS operator is diagonal in the classical case, which can be expressed as
So the eigenvalues of the KCBS operator are degenerateTheir corresponding eigenvectors are , , , , and . For the CHSH operator, it can be written as the direct sum , whereHowever the M is showed in the basis , and is showed in the basis . The eigenvalues of M areTheir corresponding eigenvectors are , and . The KCBS operator is diagonal form and the CHSH operator can be separated to two symmetric parts, so the monogamy problem may be reduced to three real dimensions. Every input state can produce a point in the region, and the region can be expressed by two real parameters in the three-dimensional space. The KCBS operator can be also written as , where
The two N can be showed in basis and , respectively. The region corresponding to the operators M and N can be represented by using the parametrizationwhere these bases , and areThe basis vector is chosen to maximize N. The basis vectors and are chosen to minimize and maximize M, respectively, meanwhile to minimize N. There and are also the eigenvectors of the upper-left submatrix of M. Thus we can obtainThe and the other can be calculated by the same method. But their corresponding computational basis has to change to . Therefore the entire regions of the operators are obtained. We can obtain the boundaries of the two regions through minimization and maximization of (or ). In this procedure the two parameters reduce to one, namely
The boundaries and two regions are showed in the Fig. 2. In fact, the boundaries can be obtained directly by the two classes of normalized states, that is For the term , i = 1 or 4, j = 1 or 2. Using and , the values of and for the input state can be calculated. For instance, in the point , and , the boundary touches the ND boundary. For the other input state , the method is similar. The results of and can be drawn as the curves, thus the boundaries can be obtained. The two regions bounded by the boundaries are the regions corresponding to the bases and .Appendix B The state preparation and the setting angles of the HWPs for different input states
The classical beams possess correlation property, and they can be used to establish the classical correlation (entanglement) state. Two orthometric (horizontal and vertical) polarization beams transmit through a beam splitter (BS), the classical correlation state can be obtained. There the Jones matrix of BS is . For the rotation angle θ, the Jones matrix of HWP is . These formulas are used for the experimental design. Appropriately setting the angles of HWP1, HWP1′ and HWP3, the required input states can be prepared. The angles are list in the follow Table 2. The setting angle θ1′ of HWP1′ are same with the angle θ1 of HWP1, they all are θ1. The HWP11 is for the preparation of the state , and for the state it is not need (or setting up as 0°).
Appendix C The expressions of the eigenstates in Alice’s part and Bob’s part
In order to test the KCBS inequality and the CHSH inequality, we need to measure these observables or . The input state projects onto the eigenstates of these observables, we measure the probabilities of these eigenvalues, and these observables can be obtained. According to the request described in the main text, the establishments of the eigenstates are an important assignment. Firstly, we describe the eigenstates for the test of the KCBS inequality in Alice’s part. Because we adopt the method of joint measurement to test the observable , their eigenstates need to be established skillfully [18]. We assume that the input field amplitudes are all unit amplitudes, and at the three output ports PD1, PD2 and PD3, the expressions of the eigenstates are
Here the OAM number l is marked as superscript. Properly setting the angles of the HWP6, 7 and 8, the requisite eigenstates can be established at the output ports PD1, PD2 and PD3. For example, for the observable A3A4, the angles of the HWP6, 7 and 8 are set up as 81°, 24° and 122°, respectively. Thus the eigenstates at the output ports PD1, PD2 and PD3 are , and , respectively. The eigenvalues at the output port PD1 are A3 and A4, they are A3 and A4 at the output port PD2, and A3 and A4 at the output port PD3. The input state projects onto these eigenstates, and we measure the corresponding optical intensity to obtain the probabilities. After the input state projects on the eigenstates, the optical fields of the three output ports PD1, PD2 and PD3 areThe expressions of eigenstates for the other terms are similar, and the eigenstates all are used for the measurement of probabilities. The setting angles of HWP6, 7 and 8 for the five pairs of observables are listed in the Table 3. The angles of HWP4 and HWP5 are all set as 45° to transform polarization, and the angle of HWP9 is set as 0° for path-length compensation. The HWP4, HWP5 and HWP9 all are same in the entire experiment process.
In the Bob’s part, the observables and correspond to the Pauli operators and , respectively. In order to obtain the eigenstates of and , the angles of HWP10 are set as 0°, 22.5°, respectively. For the case , at the two output ports D1 and D2, the eigenstates of the operator are and , respectively, and the eigenstates of the operator are and , respectively. After projection, for the Pauli operator , the expressions of the optical fields at the output ports D1 and D2 are and , respectively. For the Pauli operator , the expressions of the optical fields at the output ports D1 and D2 are and , respectively. The results of output ports D1 and D2 indicate the measurement of probabilities in the Alice’s part. For the case , the slight change is taken, and the eigenstates correspond to the measurement of probability.
Appendix D The calculation method for the KCBS inequality and the CHSH inequality
For the KCBS inequality, the probabilities of eigenvalues can be obtained when we measure the intensities of the classical optical fields at the three output ports PD1, PD2 and PD3 in the Alice’s part. Of course, these intensities need to be normalized. Take as an example, the correlation pair possess eigenvables ±1, the probabilities of eigenvalues are , and at the three output ports PD1, PD2 and PD3, respectively. Thus the result of is
For the other correlation pairs , the method is similar. Every pairs are calculated, thus the value can be obtained.For the CHSH inequality, need to be measured. There is in the Alice’s part and in the Bob’s part. The possesses the eigenstates corresponding to eigenvalue ±1, and the is also same. For the measurement of and , in the Bob’s part the operator is the Pauli operator , so the HWP10 is set up as 0°. Thus the beam transmits through the PBS9, it possess the OAM of l=1 at the horizontal polarization output port D1, meanwhile it is the eigenstate with . The beam possesses the OAM of l=2 and the eigenstate corresponds to at the vertical polarization output port D2. The eigenstate of or at every output port in the Alice’s part carries the OAM of l=1 and l=2. When the OAMs in Alice’s and Bob’s part are correspondence, we measure the intensity of the corresponding OAM beam in Alice’s part to obtain the probability . For instance, the eigenstate ofat the output port PD1 in the Alice’s part possess the OAM of l=1 and l=2, and the eigenstate in the Bob’s part possesses the OAM of l=1 or l=2 that correspond to the eigenvalue or . The intensity of field with the OAM of l=1 at the output port PD1 in the Alice’s part corresponding the OAM of l=1 (eigenvalue ) in the Bob’s part denotes the probability . Using an interferometer with two Dove prisms whose relative rotating angle is 45°, the OAM beam of l=1 and l=2 can be sorted at the two output ports of interferometer. The probability are obtained when we measure the intensity of field with the OAM l=1 in the Alice’s part. The other probabilities , , , and are similar. Of course, the intensities of optical fields need to be normalized, and the probabilities can be obtained finally. The measurement method for the other termis similar.
For the measurement of and , the method is slightly different. Because it is the Pauli operator in the Bob’s part and the setting angle of HWP10 is 22.5°. Corresponding to the eigenstate of at the horizontal polarization output port D1 in the Bob’s part, the half of the field intensity of the eigenstate with the OAM of l=1 and l=2 in the Alice’s part is the probability , where the observablepossesses similarly different eigenstate with , and . Thus the probabilities , and can be obtained. For the eigenstate of at the vertical polarization output port D2 in the Bob’s part, the half of the field intensity, which the component (OAM l=2), (OAM l=1) and (OAM l=2) interfere completely in the Alice’s part, is the probability. Similarly the observable has eigenstates with, and . Here the VPPs are removed to allow the beam interfere completely. Through the aforementioned measurement, the field intensities of these eigenstates are gotten. The field intensity is normalized and the probability of eigenvalues is obtained. The probabilities are , , and . Possessing the probabilities ,,,, and , can be calculated.
The can be expressed as
For all term , , , and , the calculations are the same. Just the eigenvalues of A4 are , and at the three output port PD1, PD2 and PD3, and there is slight change for the expression. For the input state , the output ports are turnover to obtain the measurement results of . Using the equation , thecan be calculated.Taking the input state () as an example, the results of and are list in the Table 4. The detailed date for the others input states are similar.
Funding
National key R & D Program of China (2017YFA0303800); National Natural Science Foundation of China (11574031 and 61421001).
References and links
1. J. S. Bell, “On the problem of hidden variables in quantum mechanics,” Rev. Mod. Phys. 38(3), 447–452 (1966). [CrossRef]
2. J. S. Bell, “On the Einstein Podolsky Rosen paradox,” Physics 1(3), 195–200 (1964). [CrossRef]
3. E. P. Specker, “Die Logik nicht gleichzeitig entscheidbarer Aussagen,” Dialectica 14(2-3), 239–246 (1960). [CrossRef]
4. S. Kochen and E. P. Specker, “The problem of hidden variables in quantum mechanics,” J. Math. Mech. 17(1), 59–87 (1967).
5. S. Yu and C. H. Oh, “State-independent proof of Kochen-Specker theorem with 13 rays,” Phys. Rev. Lett. 108(3), 030402 (2012). [CrossRef] [PubMed]
6. Y. C. Liang, R. W. Spekkens, and H. M. Wiseman, “Specker’s parable of the overprotective seer: A road to contextuality, nonlocality and complementarity,” Phys. Rep. 506(1–2), 1–39 (2011). [CrossRef]
7. R. Kunjwal and S. Ghosh, “Minimal state-dependent proof of measurement contextuality for a qubit,” Phys. Rev. A 89(4), 042118 (2014). [CrossRef]
8. S. J. Freedman and J. F. Clauser, “Experimental test of local hidden-variable theories,” Phys. Rev. Lett. 28(14), 938–941 (1972). [CrossRef]
9. A. Aspect, J. Dalibard, and G. Roger, “Experimental test of Bell’s inequalities using time-varying analyzers,” Phys. Rev. Lett. 49(25), 1804–1807 (1982). [CrossRef]
10. G. Weihs, T. Jennewein, C. Simon, H. Weinfurter, and A. Zeilinger, “Violation of Bell’s inequality under strict Einstein locality conditions,” Phys. Rev. Lett. 81(23), 5039–5043 (1998). [CrossRef]
11. M. A. Rowe, D. Kielpinski, V. Meyer, C. A. Sackett, W. M. Itano, C. Monroe, and D. J. Wineland, “Experimental violation of a Bell’s inequality with efficient detection,” Nature 409(6822), 791–794 (2001). [CrossRef] [PubMed]
12. M. Giustina, M. A. M. Versteegh, S. Wengerowsky, J. Handsteiner, A. Hochrainer, K. Phelan, F. Steinlechner, J. Kofler, J. Å. Larsson, C. Abellán, W. Amaya, V. Pruneri, M. W. Mitchell, J. Beyer, T. Gerrits, A. E. Lita, L. K. Shalm, S. W. Nam, T. Scheidl, R. Ursin, B. Wittmann, and A. Zeilinger, “Significant-Loophole-Free Test of Bell’s Theorem with Entangled Photons,” Phys. Rev. Lett. 115(25), 250401 (2015). [CrossRef] [PubMed]
13. L. K. Shalm, E. Meyer-Scott, B. G. Christensen, P. Bierhorst, M. A. Wayne, M. J. Stevens, T. Gerrits, S. Glancy, D. R. Hamel, M. S. Allman, K. J. Coakley, S. D. Dyer, C. Hodge, A. E. Lita, V. B. Verma, C. Lambrocco, E. Tortorici, A. L. Migdall, Y. Zhang, D. R. Kumor, W. H. Farr, F. Marsili, M. D. Shaw, J. A. Stern, C. Abellán, W. Amaya, V. Pruneri, T. Jennewein, M. W. Mitchell, P. G. Kwiat, J. C. Bienfang, R. P. Mirin, E. Knill, and S. W. Nam, “Strong loophole-free test of local realism,” Phys. Rev. Lett. 115(25), 250402 (2015). [CrossRef] [PubMed]
14. B. Hensen, H. Bernien, A. E. Dréau, A. Reiserer, N. Kalb, M. S. Blok, J. Ruitenberg, R. F. L. Vermeulen, R. N. Schouten, C. Abellán, W. Amaya, V. Pruneri, M. W. Mitchell, M. Markham, D. J. Twitchen, D. Elkouss, S. Wehner, T. H. Taminiau, and R. Hanson, “Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres,” Nature 526(7575), 682–686 (2015). [CrossRef] [PubMed]
15. Y.-F. Huang, C.-F. Li, Y.-S. Zhang, J.-W. Pan, and G.-C. Guo, “Experimental test of the Kochen-Specker theorem with single photons,” Phys. Rev. Lett. 90(25), 250401 (2003). [CrossRef] [PubMed]
16. E. Amselem, M. Rådmark, M. Bourennane, and A. Cabello, “State-independent quantum contextuality with single photons,” Phys. Rev. Lett. 103(16), 160405 (2009). [CrossRef] [PubMed]
17. E. Amselem, L. E. Danielsen, A. J. López-Tarrida, J. R. Portillo, M. Bourennane, and A. Cabello, “Experimental fully contextual correlations,” Phys. Rev. Lett. 108(20), 200405 (2012). [CrossRef] [PubMed]
18. C. Zu, Y.-X. Wang, D.-L. Deng, X.-Y. Chang, K. Liu, P.-Y. Hou, H.-X. Yang, and L.-M. Duan, “State-Independent experimental test of quantum contextuality in an indivisible system,” Phys. Rev. Lett. 109(15), 150401 (2012). [CrossRef] [PubMed]
19. V. D’Ambrosio, I. Herbauts, E. Amselem, E. Nagali, M. Bourennane, F. Sciarrino, and A. Cabello, “Experimental implementation of a Kochen-Specker set of quantum tests,” Phys. Rev. X 3(1), 011012 (2013). [CrossRef]
20. X.-M. Hu, J.-S. Chen, B.-H. Liu, Y. Guo, Y.-F. Huang, Z.-Q. Zhou, Y.-J. Han, C.-F. Li, and G.-C. Guo, “Experimental test of compatibility-loophole-free contextuality with spatially separated entangled qutrits,” Phys. Rev. Lett. 117(17), 170403 (2016). [CrossRef] [PubMed]
21. M. D. Mazurek, M. F. Pusey, R. Kunjwal, K. J. Resch, and R. W. Spekkens, “An experimental test of noncontextuality without unphysical idealizations,” Nat. Commun. 7, 11780 (2016). [CrossRef] [PubMed]
22. H. Bartosik, J. Klepp, C. Schmitzer, S. Sponar, A. Cabello, H. Rauch, and Y. Hasegawa, “Experimental test of quantum contextuality in neutron interferometry,” Phys. Rev. Lett. 103(4), 040403 (2009). [CrossRef] [PubMed]
23. Y. Hasegawa, R. Loidl, G. Badurek, M. Baron, and H. Rauch, “Quantum contextuality in a single-neutron optical experiment,” Phys. Rev. Lett. 97(23), 230401 (2006). [CrossRef] [PubMed]
24. G. Kirchmair, F. Zahringer, R. Gerritsma, M. Kleinmann, O. Guhne, A. Cabello, R. Blatt, and C. F. Roos, “State-independent experimental test of quantum contextuality,” Nature 460(7254), 494–497 (2009). [CrossRef]
25. O. Moussa, C. A. Ryan, D. G. Cory, and R. Laflamme, “Testing contextuality on quantum ensembles with one clean qubit,” Phys. Rev. Lett. 104(16), 160501 (2010). [CrossRef] [PubMed]
26. X. Zhang, M. Um, J. Zhang, S. An, Y. Wang, D. L. Deng, C. Shen, L.-M. Duan, and K. Kim, “State-independent experimental test of quantum contextuality with a single trapped ion,” Phys. Rev. Lett. 110(7), 070401 (2013). [CrossRef] [PubMed]
27. X. Zhan, E. G. Cavalcanti, J. Li, Z. H. Bian, Y. S. Zhang, H. M. Wiseman, and P. Xue, “Experimental generalized contextuality with single-photon qubits,” Optica 4(8), 966–971 (2017).
28. A. Cabello, “Proposal for revealing quantum nonlocality via local contextuality,” Phys. Rev. Lett. 104(22), 220401 (2010). [CrossRef] [PubMed]
29. B.-H. Liu, X.-M. Hu, J.-S. Chen, Y.-F. Huang, Y.-J. Han, C.-F. Li, G.-C. Guo, and A. Cabello, “Nonlocality from local contextuality,” Phys. Rev. Lett. 117(22), 220402 (2016). [CrossRef] [PubMed]
30. D. Saha, A. Cabello, S. K. Choudhary, and M. Pawłowski, “Quantum nonlocality via local contextuality with qubit-qubit entanglement,” Phys. Rev. A 93(4), 042123 (2016). [CrossRef]
31. B. C. Hiesmayr and J.-A. Larsson, “Contextuality and nonlocality in decaying multipartite systems,” Phys. Rev. A 93(2), 020106 (2016). [CrossRef]
32. D. Saha and R. Ramanathan, “Activation of monogamy in nonlocality using local contextuality,” Phys. Phys. Rev. A 95(3), 030104 (2017). [CrossRef]
33. S. Camalet, “Monogamy inequality for entanglement and local contextuality,” Phys. Rev. A 95(6), 062329 (2017). [CrossRef]
34. A. A. Klyachko, M. A. Can, S. Binicioğlu, and A. S. Shumovsky, “Simple test for hidden variables in spin-1 systems,” Phys. Rev. Lett. 101(2), 020403 (2008). [CrossRef] [PubMed]
35. R. Lapkiewicz, P. Li, C. Schaeff, N. K. Langford, S. Ramelow, M. Wieśniak, and A. Zeilinger, “Experimental non-classicality of an indivisible quantum system,” Nature 474(7352), 490–493 (2011). [CrossRef] [PubMed]
36. J. Ahrens, E. Amselem, A. Cabello, and M. Bourennane, “Two fundamental experimental tests of nonclassicality with qutrits,” Sci. Rep. 3(1), 2170 (2013). [CrossRef] [PubMed]
37. A. Cabello, “Simple explanation of the quantum violation of a fundamental inequality,” Phys. Rev. Lett. 110(6), 060402 (2013). [CrossRef] [PubMed]
38. M. Jerger, Y. Reshitnyk, M. Oppliger, A. Potočnik, M. Mondal, A. Wallraff, K. Goodenough, S. Wehner, K. Juliusson, N. K. Langford, and A. Fedorov, “Contextuality without nonlocality in a superconducting quantum system,” Nat. Commun. 7, 12930 (2016). [CrossRef] [PubMed]
39. P. Kurzyński, A. Cabello, and D. Kaszlikowski, “Fundamental monogamy relation between contextuality and nonlocality,” Phys. Rev. Lett. 112(10), 100401 (2014). [CrossRef] [PubMed]
40. X. Zhan, X. Zhang, J. Li, Y. Zhang, B. C. Sanders, and P. Xue, “Realization of the contextuality-nonlocality tradeoff with a qubit-qutrit photon pair,” Phys. Rev. Lett. 116(9), 090401 (2016). [CrossRef] [PubMed]
41. R. J. C. Spreeuw, “Classical wave-optics analogy of quantum-information processing,” Phys. Rev. A 63(6), 062302 (2001). [CrossRef]
42. K. F. Lee and J. E. Thomas, “Experimental simulation of two-particle quantum entanglement using classical fields,” Phys. Rev. Lett. 88(9), 097902 (2002). [CrossRef] [PubMed]
43. M. A. Goldin, D. Francisco, and S. Ledesma, “Simulating Bell inequality violations with classical optics encoded qubits,” J. Opt. Soc. Am. B 27(4), 779–786 (2010). [CrossRef]
44. X.-F. Qian and J. H. Eberly, “Entanglement and classical polarization states,” Opt. Lett. 36(20), 4110–4112 (2011). [CrossRef] [PubMed]
45. K. H. Kagalwala, G. Di Giuseppe, A. F. Abouraddy, and B. E. A. Saleh, “Bell’s measure in classical optical coherence,” Nat. Photonics 7(1), 72–78 (2013). [CrossRef]
46. P. Ghose and A. Mukherjee, “Entanglement in classical optics,” Rev. Theor. Sci. 2(4), 274–288 (2014). [CrossRef]
47. A. Aiello, F. Töppel, C. Marquardt, E. Giacobino, and G. Leuchs, “Quantum−like nonseparable structures in optical beams,” New J. Phys. 17(4), 043024 (2015). [CrossRef]
48. X. Song, Y. Sun, P. Li, H. Qin, and X. Zhang, “Bell’s measure and implementing quantum Fourier transform with orbital angular momentum of classical light,” Sci. Rep. 5(1), 14113 (2015). [CrossRef] [PubMed]
49. X.-F. Qian, B. Little, J. C. Howell, and J. H. Eberly, “Shifting the quantum-classical boundary: theory and experiment for statistically classical optical fields,” Optica 2(7), 611–615 (2015). [CrossRef]
50. Y. Sun, X. Song, H. Qin, X. Zhang, Z. Yang, and X. Zhang, “Non-local classical optical correlation and implementing analogy of quantum teleportation,” Sci. Rep. 5(1), 9175 (2015). [CrossRef] [PubMed]
51. S. Berg-Johansen, F. Töppel, B. Stiller, P. Banzer, M. Ornigotti, E. Giacobino, G. Leuchs, A. Aiello, and C. Marquardt, “Classically entangled optical beams for high-speed kinematic sensing,” Optica 2(10), 864–868 (2015). [CrossRef]
52. W. F. Balthazar, C. E. R. Souza, D. P. Caetano, E. F. Galvão, J. A. O. Huguenin, and A. Z. Khoury, “Tripartite nonseparability in classical optics,” Opt. Lett. 41(24), 5797–5800 (2016). [CrossRef] [PubMed]
53. J. H. Eberly, X.-F. Qian, and A. N. Vamivakas, “Polarization coherence theorem,” Optica 4(9), 1113–1114 (2017). [CrossRef]
54. T. Li, Q. Zeng, X. Song, and X. Zhang, “Experimental contextuality in classical light,” Sci. Rep. 7, 44467 (2017). [CrossRef] [PubMed]
55. P. Ghose and A. Mukherjee, “Novel states of classical light and noncontextuality,” Adv. Sci. Eng. Med. 6(2), 246–251 (2014). [CrossRef]
56. D. Frustaglia, J. P. Baltanás, M. C. Velázquez-Ahumada, A. Fernández-Prieto, A. Lujambio, V. Losada, M. J. Freire, and A. Cabello, “Classical physics and the bounds of quantum correlations,” Phys. Rev. Lett. 116(25), 250404 (2016). [CrossRef] [PubMed]
57. J. D. Joannopolous, S. G. Johnson, J. N. Winn, and R. D. Meade, Photonic Crystals, (Princeton University, 1995).