Three-qubit nonlocality paradoxes: beyond GHZ
2026-07-01 • Logic in Computer Science
Logic in Computer Science
AI summaryⓘ
The authors studied special quantum puzzles called nonlocality paradoxes that show how quantum physics defies classical explanations. They focused on a big group of these puzzles involving three quantum bits and found a complete way to describe all examples in this group using new math techniques. Their work revealed that these paradoxes are more diverse and complex than people thought before. This helps us better understand the fundamental weirdness of quantum mechanics and its uses in quantum computing and information theory.
quantum nonlocalityGHZ paradoxthree-qubit systemsquantum correlationsclassical probabilistic modelsbiconditional parity proofquantum computational complexitynonlocal gamescombinatorial techniques
Authors
Nadish de Silva, Santanil Jana, Ming Yin
Abstract
Quantum nonlocality paradoxes, such as that of GHZ, provide maximally sharp logical obstructions to classical probabilistic models of quantum correlations. They are key resources in a broad variety of information-theoretic tasks that exhibit unconditional quantum advantage. For example, in nonlocal games, which are communication tasks that serve as core technical tools in recent landmark results in quantum computational complexity theory. Their role in establishing quantum advantage motivated their study by Abramsky et al. who introduced an infinite family of three-qubit paradoxes exhibiting novel conditional structure. This was later extended by de Silva et al. into a full classification program. In this work, we completely classify all three-qubit nonlocality paradoxes established via a biconditional parity proof; this is a very large class of paradoxes that encompasses all earlier-known examples. We do this by introducing a suite of new structural and combinatorial techniques. We find that the landscape of nonlocality paradoxes is far richer than previously understood, violating regularity conditions underlying all prior constructions.