- Letter
- Open Access
Equivalence between face nonsignaling correlations, full nonlocality, all-versus-nothing proofs, and pseudotelepathy
Phys. Rev. Research 6, L042035 – Published 4 November, 2024
DOI: https://doi.org/10.1103/PhysRevResearch.6.L042035
Abstract
We show that a quantum correlation is in a face of the nonsignaling polytope with no local points if and only if has nonlocal content 1, if and only if allows for a Greenberger-Horne-Zeilinger-like proof, and if and only if provides a perfect strategy for a nonlocal game. That is, face nonsignaling (FNS) correlations, full nonlocality (FN), all-versus-nothing (AVN) proofs, and pseudotelepathy (PT) are equivalent. This shows that different resources behind a wide variety of fundamental results are in fact the same resource. We demonstrate that quantum correlations with FNS = FN = AVN = PT do not need to maximally violate a tight Bell inequality. We introduce a method for identifying quantum FNS = FN = AVN = PT correlations and use it to prove quantum mechanics does not allow for FNS = FN = AVN = PT neither in the nor in the Bell scenarios. This solves an open problem that, because of the FNS = FN = AVN = PT equivalence, has implications in several fields.
Physics Subject Headings (PhySH)
Article Text
Supplemental Material
References (69)
- J. S. Bell, On the Einstein Podolsky Rosen paradox, Physics 1, 195 (1964).
- A. K. Ekert, Quantum cryptography based on Bell's theorem, Phys. Rev. Lett. 67, 661 (1991).
- R. Colbeck, Quantum and relativistic protocols for secure multi-party computation, Ph.D. thesis, University of Cambridge, 2006
- Č. Brukner, M. Żukowski, J.-W. Pan, and A. Zeilinger, Bell's inequalities and quantum communication complexity, Phys. Rev. Lett. 92, 127901 (2004).
- D. Mayers and A. Yao, Self testing quantum apparatus, Quantum Info. Comput. 4, 273 (2004).
- I. Pitowsky, Quantum Probability-Quantum Logic, Lecture Notes in Physics (Springer-Verlag, Berlin, 1989), Vol. 321.
- A. Cabello, S. Severini, and A. Winter, (Non-)contextuality of physical theories as an axiom, arXiv:1010.2163.
- A. Cabello, S. Severini, and A. Winter, Graph-theoretic approach to quantum correlations, Phys. Rev. Lett. 112, 040401 (2014).
- R. Ramanathan, J. Tuziemski, M. Horodecki, and P. Horodecki, No quantum realization of extremal no-signaling boxes, Phys. Rev. Lett. 117, 050401 (2016).
- K. T. Goh, J. Kaniewski, E. Wolfe, T. Vértesi, X. Wu, Y. Cai, Y.-C. Liang, and V. Scarani, Geometry of the set of quantum correlations, Phys. Rev. A 97, 022104 (2018).
- A. Shimony, Search for a Naturalistic World View. Volume II: Natural Science and Methaphysics (Cambridge University Press, Cambridge, 1993).
- C. Vieira, R. Ramanathan, and A. Cabello, Test of the physical significance of Bell nonlocality, arXiv:2402.00801.
- S. Popescu and D. Rohrlich, Quantum nonlocality as an axiom, Found. Phys. 24, 379 (1994).
- A. Cabello, Simple explanation of the quantum limits of genuine -body nonlocality, Phys. Rev. Lett. 114, 220402 (2015).
- A. Cabello, Quantum correlations from simple assumptions, Phys. Rev. A 100, 032120 (2019).
- R. Gallego, L. Masanes, G. De la Torre, C. Dhara, L. Aolita, and A. Acín, Full randomness from arbitrarily deterministic events, Nat. Commun. 4, 2654 (2013).
- J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Proposed experiment to test local hidden-variable theories, Phys. Rev. Lett. 23, 880 (1969).
- L. Hardy, Nonlocality for two particles without inequalities for almost all entangled states, Phys. Rev. Lett. 71, 1665 (1993).
- A. Cabello, Bell's theorem without inequalities and without probabilities for two observers, Phys. Rev. Lett. 86, 1911 (2001).
- A. Cabello, “All versus nothing” inseparability for two observers, Phys. Rev. Lett. 87, 010403 (2001).
- L. Aolita, R. Gallego, A. Acín, A. Chiuri, G. Vallone, P. Mataloni, and A. Cabello, Fully nonlocal quantum correlations, Phys. Rev. A 85, 032107 (2012).
- A. C. Elitzur, S. Popescu, and D. Rohrlich, Quantum nonlocality for each pair in an ensemble, Phys. Lett. A 162, 25 (1992).
- S. Abramsky, R. Barbosa, G. Carù, N. De Silva, K. Kishida, and S. Mansfield, Minimum quantum resources for strong non-locality, in 12th Conference on the Theory of Quantum Computation, Communication, and Cryptography, TQC 2017, Leibniz International Proceedings in Informatics, LIPIcs, edited by M. Wilde (Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Germany, 2018), pp. 9:1–9:20.
- T. S. Cubitt, D. Leung, W. Matthews, and A. Winter, Improving zero-error classical communication with entanglement, Phys. Rev. Lett. 104, 230503 (2010).
- K. Horodecki, M. Horodecki, P. Horodecki, R. Horodecki, M. Pawlowski, and M. Bourennane, Contextuality offers device-independent security, arXiv:1006.0468.
- Y.-Z. Zhen, Y. Mao, Y.-Z. Zhang, F. Xu, and B. C. Sanders, Device-independent quantum key distribution based on the Mermin-Peres magic square game, Phys. Rev. Lett. 131, 080801 (2023).
- T. Vidick, Parallel DIQKD from parallel repetition, arXiv:1703.08508.
- R. Jain, C. A. Miller, and Y. Shi, Parallel device-independent quantum key distribution, IEEE Trans. Inf. Theory 66, 5567 (2020).
- A. Einstein, B. Podolsky, and N. Rosen, Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47, 777 (1935).
- A. Stairs, Quantum logic, realism, and value definiteness, Philos. Sci. 50, 578 (1983).
- P. Heywood and M. L. G. Redhead, Nonlocality and the Kochen-Specker paradox, Found. Phys. 13, 481 (1983).
- S. Kochen and E. P. Specker, The problem of hidden variables in quantum mechanics, J. Math. Mech. 17, 59 (1967).
- D. M. Greenberger, M. A. Horne, and A. Zeilinger, Going beyond Bell's theorem, in Bell's Theorem, Quantum Theory and Conceptions of the Universe (Springer, New York, 1989), pp. 69–72.
- N. D. Mermin, Quantum mysteries revisited, Am. J. Phys. 58, 731 (1990).
- J.-W. Pan, D. Bouwmeester, M. Daniell, H. Weinfurter, and A. Zeilinger, Experimental test of quantum nonlocality in three-photon Greenberger–Horne–Zeilinger entanglement, Nature (London) 403, 515 (2000).
- D. Leibfried, M. D. Barrett, T. Schaetz, J. Britton, J. Chiaverini, W. M. Itano, J. D. Jost, C. Langer, and D. J. Wineland, Toward Heisenberg-limited spectroscopy with multiparticle entangled states, Science 304, 1476 (2004).
- C. F. Roos, M. Riebe, H. Häffner, W. Hänsel, J. Benhelm, G. P. T. Lancaster, C. Becher, F. Schmidt-Kaler, and R. Blatt, Control and measurement of three-qubit entangled states, Science 304, 1478 (2004).
- C. Cinelli, M. Barbieri, R. Perris, P. Mataloni, and F. De Martini, All-versus-nothing nonlocality test of quantum mechanics by two-photon hyperentanglement, Phys. Rev. Lett. 95, 240405 (2005).
- T. Yang, Q. Zhang, J. Zhang, J. Yin, Z. Zhao, M. Żukowski, Z.-B. Chen, and J.-W. Pan, All-versus-nothing violation of local realism by two-photon, four-dimensional entanglement, Phys. Rev. Lett. 95, 240406 (2005).
- J.-M. Xu, Y.-Z. Zhen, Y.-X. Yang, Z.-M. Cheng, Z.-C. Ren, K. Chen, X.-L. Wang, and H.-T. Wang, Experimental demonstration of quantum pseudotelepathy, Phys. Rev. Lett. 129, 050402 (2022).
- O. Gühne, G. Tóth, P. Hyllus, and H. J. Briegel, Bell inequalities for graph states, Phys. Rev. Lett. 95, 120405 (2005).
- N. D. Mermin, Extreme quantum entanglement in a superposition of macroscopically distinct states, Phys. Rev. Lett. 65, 1838 (1990).
- See Supplemental Material at http://link.aps.org/supplemental/10.1103/PhysRevResearch.6.L042035 for details on the representation of AVN proofs by nonlocal tables of zeros (Appendix A), an extended proof of the equivalence between FNS and FN (Appendix B), an extended proof of the equivalence between AVN and PT (Appendix C), a method for lifting Bell inequalities without preserving tightness (Appendix D), an algorithm for obtaining critical nonlocal tables of zeros (Appendix E), a brief introduction to the Bell symmetric group (Appendix F), a complete list of facets of the local polytope for the Bell scenario (Appendix G), and details on our search in (Appendix H), which also includes Refs. [61, 62, 63, 64, 65, 66, 67, 68, 69].
- R. Cleve, P. Høyer, B. Toner, and J. Watrous, Consequences and limits of nonlocal strategies, in Proceedings. 19th IEEE Annual Conference on Computational Complexity (2004), pp. 236–249.
- P. K. Aravind, Quantum mysteries revisited again, Am. J. Phys. 72, 1303 (2004).
- G. Brassard, A. Broadbent, and A. Tapp, Quantum pseudo-telepathy, Found. Phys. 35, 1877 (2005).
- A. L. Broadbent, Quantum nonlocality, cryptography and complexity, Ph.D. thesis, Université de Montréal, 2008.
- S. Bravyi, D. Gosset, and R. König, Quantum advantage with shallow circuits, Science 362, 308 (2018).
- Z. Ji, A. Natarajan, T. Vidick, J. Wright, and H. Yuen, MIP*=RE, Commun. ACM 64, 131 (2021).
- H. Fu and C. A. Miller, Local randomness: Examples and application, Phys. Rev. A 97, 032324 (2018).
- F. Leditzky, M. A. Alhejji, J. Levin, and G. Smith, Playing games with multiple access channels, Nat. Commun. 11, 1497 (2020).
- T. Cope and R. Colbeck, Bell inequalities from no-signaling distributions, Phys. Rev. A 100, 022114 (2019).
- J. Matouek and B. Gärtner, Understanding and Using Linear Programming (Springer-Verlag, Berlin, 2006).
- N. Gisin, A. A. Méthot, and V. Scarani, Pseudo-telepathy: Input cardinality and Bell-type inequalities, Int. J. Quantum Inf. 05, 525 (2007).
- G. Brassard, A. A. Méthot, and A. Tapp, Minimal bipartite state dimension required for pseudo-telepathy, Quantum Inf. Comput. 5, 275 (2005).
- J. Barrett, A. Kent, and S. Pironio, Maximally nonlocal and monogamous quantum correlations, Phys. Rev. Lett. 97, 170409 (2006).
- J. Jesus and E. Zambrini Cruzeiro, Tight Bell inequalities from polytope slices, Phys. Rev. A 108, 052220 (2023).
- M. Navascués, S. Pironio, and A. Acín, A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations, New J. Phys. 10, 073013 (2008).
- 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, 200405 (2012).
- L. Mančinska, Maximally entangled states in pseudo-telepathy games, in Computing with New Resources, Lecture Notes in Computer Science (Springer, New York, 2014), Vol. 8808, pp. 200–207.
- Z.-B. Chen, J.-W. Pan, Y.-D. Zhang, Č. Brukner, and A. Zeilinger, All-versus-nothing violation of local realism for two entangled photons, Phys. Rev. Lett. 90, 160408 (2003).
- S. Pironio, Lifting Bell inequalities, J. Math. Phys. 46, 062112 (2005).
- D. Collins and N. Gisin, A relevant two qubit Bell inequality inequivalent to the CHSH inequality, J. Phys. A: Math. Gen. 37, 1775 (2004).
- J. East and J. Mitchell, Generating wreath products of symmetric and alternating groups, N. Z. J. Math. 51, 85 (2021).
- http://cvxr.com/cvx/.
- https://github.com/sqlp/sdpt3.
- M. Żukowski, D. Kaszlikowski, A. Baturo, and J.-Å. Larsson, Strengthening the Bell theorem: Conditions to falsify local realism in an experiment, arXiv:quant-ph/9910058.
- S. Lörwald and G. Reinelt, Panda: A software for polyhedral transformations, EURO J. Comput. Optim. 3, 297 (2015).
- https://1drv.ms/f/s!AsQvM75Z11kn2dkRU_5KnJcz3WHtMg?e=dhgiV8.