Stronger Hardy-like proof of quantum contextuality

Wen-Rong Qi; Jie Zhou; Ling-Jun Kong; Zhen-Peng Xu; Hui-Xian Meng; Rui Liu; Zhou-Xiang Wang; Chenghou Tu; Yongnan Li; Adán Cabello; Jing-Ling Chen; Hui-Tian Wang

doi:10.1364/PRJ.452704

Photonics Research, Volume. 10, Issue 7, 1582(2022)

Stronger Hardy-like proof of quantum contextuality

Wen-Rong Qi^1,2、†, Jie Zhou^3、†, Ling-Jun Kong^4,5、†, Zhen-Peng Xu⁶, Hui-Xian Meng³, Rui Liu¹, Zhou-Xiang Wang¹, Chenghou Tu¹, Yongnan Li^1,8、*, Adán Cabello⁷, Jing-Ling Chen^3,9、*, and Hui-Tian Wang^4,10、*

Author Affiliations

¹Key Laboratory of Weak-Light Nonlinear Photonics and School of Physics, Nankai University, Tianjin 300071, China

²School of Physics, Henan Normal University, Xinxiang 453007, China

³Theoretical Physics Division, Chern Institute of Mathematics, Nankai University, Tianjin 300071, China

⁴National Laboratory of Solid State Microstructures, Nanjing University, Nanjing 210093, China

⁵Collaborative Innovation Center of Advanced Microstructures, Nanjing University, Nanjing 210093, China

⁶Naturwissenschaftlich-Technische Fakultät, Universität Siegen, 57068 Siegen, Germany

⁷Departamento de Física Aplicada II, Universidad de Sevilla, E-41012 Sevilla, Spain

⁸e-mail: liyongnan@nankai.edu.cn

⁹e-mail: chenjl@nankai.edu.cn

¹⁰e-mail: htwang@nju.edu.cn

show less

Figures & Tables(10)

Fig. 1. Exclusivity graph of the n measurements (with n=7, 11,15, 19, …) used for the Hardy-like proof of contextuality. Each vertex represents a measurement. Vertices connected by an edge are jointly measurable. Each of the outer vertices belongs to two triangles. In total, there are (n−1)/2 triangles.

Download full size

View in Article

Fig. 2. Exclusivity relations between the projection measurements in the Hardy-like proof for n=7, including the added measurements (8, 9, 10) used in the experiment. The black vertices are twice of the white vertices in weight.

Download full size

View in Article

Fig. 3. Experimental setup. In the state preparation part, a 405 nm cw laser pumps a type-II ppKTP crystal (not shown) to create photon pairs. One photon serves as a trigger. The other photon is projected into the horizontal polarization state with a polarizing beam splitter (PBS); the spatial light modulator (SLM) combines a Rochi grating (RG) through two 4f systems to generate the ququart subset of OAM. In the projection measurement part, two sets of q-plates (QPs, with different topological charges of q1=1/2 and q2=1) are sandwiched by two quarter-wave plates (QWPs), followed by a half-wave plate (HWP) and a PBS used to convert OAM mode into a fundamental mode that is coupled into a single mode fiber (SMF); the photons are detected by a single photon avalanche photodiode (SPAD).

Download full size

View in Article

Fig. 4. Quantum violation of Eq. (3) for n=7. NCHV (=3) represents the classical bound of the NCHV theory. The maximum violation is QT1≈3.372 by using the optimal measurement settings, and the non-maximum violation is QT2=3.250 by using the measurements adopted in the Hardy-like proof.

Download full size

View in Article

Fig. 5. Success probabilities PSUC (blue curve) and PCBCB (red curve) versus n.

Download full size

View in Article

Fig. 6. Curve of the ratio rn versus n. The red curve represents the relationship of rn with n in our paper, while the blue curve represents the relationship of rn′ with n for the extended KCBS noncontextuality inequality.

Download full size

View in Article

Fig. 7. Different regions for αn, where pi are boundary points, p1=(0,0),p2=(0,2/(n−1)), and p3=(2,1).

Download full size

View in Article

Fig. 8. Experimental results for δ(_,0|oj,ok) (red circles) and δ(0,_|oj,ok) (black squares) in (a) and for δ(_,1|oj,ok) (red circles) and δ(1,_|oi,oj) (black square) in (b). The numbers of 1 to 24 (even numbers are not marked in figures) represent the settings of (o1,o2), (o1,o3), (o1,o4), (o1,o6), (o2,o1), (o2,o3), (o2,o4), (o2,o5), (o3,o1), (o3,o2), (o3,o5), (o3,o6), (o4,o1), (o4,o2), (o4,o5), (o4,o7), (o5,o2), (o5,o3), (o5,o7), (o6,o1), (o6,o3), (o6,o7), (o7,o4), (o7,o5), and (o7,o6). Error bars are calculated from the counting statistics.

Download full size

View in Article

Table 1. State |ϕ⟩ and the Measurement Vectors |νj⟩ (j=1, 2, ..., 7), Where |ν8⟩,|ν9⟩,|ν10⟩ Are Annex Measurement Vectors
View table
View in Article
Table 1. State |ϕ⟩ and the Measurement Vectors |νj⟩ (j=1, 2, ..., 7), Where |ν8⟩,|ν9⟩,|ν10⟩ Are Annex Measurement Vectors
$| ϕ ⟩$ $| ν_{1} ⟩$ $| ν_{2} ⟩$ $| ν_{3} ⟩$ $| ν_{4} ⟩$ $| ν_{5} ⟩$ $| ν_{6} ⟩$ $| ν_{7} ⟩$ $| ν_{8} ⟩$ $| ν_{9} ⟩$ $| ν_{10} ⟩$
$\frac{1}{2}$ 1 0 0 0 $\frac{1}{\sqrt{2}}$ 0 $\frac{1}{2}$ 0 0 $\frac{1}{\sqrt{2}}$
$\frac{1}{2}$ 0 1 0 0 0 $\frac{1}{\sqrt{2}}$ $\frac{1}{2}$ 0 $\frac{1}{\sqrt{2}}$ 0
$\frac{1}{2}$ 0 0 1 $\frac{1}{\sqrt{2}}$ 0 0 $\frac{1}{2}$ $\frac{1}{\sqrt{2}}$ 0 0
$\frac{1}{2}$ 0 0 0 $\frac{1}{\sqrt{2}}$ $\frac{1}{\sqrt{2}}$ $\frac{1}{\sqrt{2}}$ $- \frac{1}{2}$ $- \frac{1}{\sqrt{2}}$ $- \frac{1}{\sqrt{2}}$ $- \frac{1}{\sqrt{2}}$

Table 2. Experimental Results of Hardy-Like Proof for n=7^a

View table

View in Article

Table 2. Experimental Results of Hardy-Like Proof for n=7^a

Projectors	Experiment	Ideal
$o_{1}$	$0.248 \pm 0.005$	0.25
$o_{2}$	$0.246 \pm 0.004$	0.25
$o_{4}$	$0.495 \pm 0.008$	0.50
$o_{1}$	$0.247 \pm 0.006$	0.25
$o_{3}$	$0.247 \pm 0.005$	0.25
$o_{6}$	$0.495 \pm 0.007$	0.50
$o_{2}$	$0.247 \pm 0.005$	0.25
$o_{3}$	$0.246 \pm 0.006$	0.25
$o_{5}$	$0.495 \pm 0.005$	0.50
$o_{7}$	$0.248 \pm 0.006$	0.25

Tools

Get Citation

Copy Citation Text

Wen-Rong Qi, Jie Zhou, Ling-Jun Kong, Zhen-Peng Xu, Hui-Xian Meng, Rui Liu, Zhou-Xiang Wang, Chenghou Tu, Yongnan Li, Adán Cabello, Jing-Ling Chen, Hui-Tian Wang, "Stronger Hardy-like proof of quantum contextuality," Photonics Res. 10, 1582 (2022)

Download Citation

EndNote(RIS)BibTex Plain Text

Set citation alerts for article

Save article for my favorites