Tight Bound on Randomness for Violating the Clauser–Horne–Shimony–Holt Inequality

Free will (or randomness) has been studied to achieve loophole-free Bell's inequality test and to provide device-independent quantum key distribution security proofs. The required randomness such that a local hidden variable model (LHVM) can violate the Clauser-Horne-Shimony-Holt (CHSH) inequality has been studied, but a tight bound has not been proved for a practical case that: 1) the device settings of the two parties in the Bell test are independent and 2) the device settings of each party can be correlated or biased across different runs. Using some information theoretic techniques, we prove, in this paper, a tight bound on the required randomness for this case, such that the CHSH inequality can be violated by certain LHVM. Our proof has a clear achievability and converse style. The achievability part is proved using type counting. To prove the converse part, we introduce a concept called profile for a set of binary sequences and study the properties of profiles. Our profile-based converse technique is also of independent interest.

[1]  A. Shimony,et al.  Proposed Experiment to Test Local Hidden Variable Theories. , 1969 .

[2]  Alastair Kay,et al.  Limited measurement dependence in multiple runs of a Bell test , 2013, 1304.4904.

[3]  N. Gisin,et al.  From Bell's theorem to secure quantum key distribution. , 2005, Physical review letters.

[4]  N. Gisin,et al.  How much measurement independence is needed to demonstrate nonlocality? , 2010, Physical review letters.

[5]  P. Grangier,et al.  Experimental Realization of Einstein-Podolsky-Rosen-Bohm Gedankenexperiment : A New Violation of Bell's Inequalities , 1982 .

[6]  Nicolas Gisin,et al.  Arbitrarily small amount of measurement independence is sufficient to manifest quantum nonlocality. , 2014, Physical review letters.

[7]  Roger Colbeck,et al.  Free randomness can be amplified , 2011, Nature Physics.

[8]  M. Hall.  Local deterministic model of singlet state correlations based on relaxing measurement independence. , 2010, Physical review letters.

[9]  Michel Feldmann.  New loophole for the Einstein-Podolsky-Rosen paradox , 1995 .

[10]  Jason Gallicchio,et al.  Testing Bell's inequality with cosmic photons: closing the setting-independence loophole. , 2013, Physical review letters.

[11]  A. Zeilinger,et al.  Bell violation using entangled photons without the fair-sampling assumption , 2012, Nature.

[12]  M. Hall,et al.  Relaxed Bell inequalities and Kochen-Specker theorems , 2011, 1102.4467.

[13]  Dax Enshan Koh,et al.  Effects of reduced measurement independence on Bell-based randomness expansion. , 2012, Physical review letters.

[14]  R. Mcweeny.  On the Einstein-Podolsky-Rosen Paradox , 2000 .

[15]  Stefano Pironio,et al.  Random numbers certified by Bell’s theorem , 2009, Nature.

[16]  Umesh Vazirani,et al.  Fully device-independent quantum key distribution. , 2012, 1210.1810.

[17]  Caslav Brukner,et al.  Experimenter's freedom in Bell's theorem and quantum cryptography (7 pages) , 2005, quant-ph/0510167.

[18]  Zhu Cao,et al.  Randomness requirement on the Clauser-Horne-Shimony-Holt Bell test in the multiple-run scenario , 2014, 1409.7875.

[19]  Andrew Chi-Chih Yao,et al.  Quantum cryptography with imperfect apparatus , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[20]  Le Phuc Thinh,et al.  Min-entropy sources for Bell tests , 2014 .

[21]  Antonio Acín,et al.  Can observed randomness be certified to be fully intrinsic? , 2013, Physical review letters.