Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1903.12350 · Physical Review A

Logical proof of quantum correlations requiring entanglement measurements

Adel Sohbi, Jaewan Kim

Published Aug 13, 2019• 4 citations
arXivHTMLPDF

Abstract

We present a logical type of proof of contextuality for a two-qubit state. We formulate a paradox that cannot be used by a two-qubit system with local measurements to test contextuality while it is possible by using entanglement measurements. With our scheme we achieve ${p}_{\mathrm{Hardy}}\ensuremath{\approx}0.167$. Our approach uses graph theory and the exclusivity principle to give an interpretation of a logical type of proof of quantum correlations. We review the Hardy paradox and find a connection to the Klyachko-Can-Binicio\ifmmode \breve{g}\else \u{g}\fi{}lu-Shumovsky inequality. We apply the same method to build a paradox based on the Clauser-Horne-Shimony-Holt inequality.

DOI
10.1103/physreva.100.022117

Related papers

A Logical Formalism of Hardy-type Paradox

Songyi Liu, Yongjun Wang, Baoshan Wang +2 more

Hardy-type paradoxes provide elegant, inequality-free proofs of quantum contextuality. We introduce a unified logical formalism for these paradoxes, termed logical Hardy-type paradoxes. For any finite quantum scenario of ideal measurements, we prove that the existence of a logical Hardy-type paradox is equivalent to logical contextuality. Specifically, strong contextuality is equivalent to logical Hardy-type paradoxes with success probability SP = 1. These results generalize prior work on (2,k,2), (2,2,d), and n-cycle scenarios. We analyze logical Hardy-type paradoxes in the Mansfield and Klyachko-Can-Binicioglu-Shumovsky (KCBS) scenarios. In the KCBS scenario, we show that there is exactly one type of logical Hardy-type paradox, achieving SP\approx 10.56% for a specific parameter setting.

quant-pharXiv:2601.01445•Jan 6, 2026•0 citations

Twin inequality for fully contextual quantum correlations

Adán Cabello

Quantum mechanics exhibits a very peculiar form of contextuality. Identifying and connecting the simplest scenarios in which more general theories can or cannot be more contextual than quantum mechanics is a fundamental step in the quest for the principle that singles out quantum contextuality. The former scenario corresponds to the Klyachko-Can-Binicio\ifmmode \breve{g}\else \u{g}\fi{}lu-Shumovsky (KCBS) inequality. Here we show that there is a simple tight inequality, twin to the KCBS, for which quantum contextuality cannot be outperformed. In a sense, this twin inequality is the simplest tool for recognizing fully contextual quantum correlations.

arXiv:1209.0112•Physical Review A•Jan 30, 2013•19 citations

Stronger Hardy-type paradox based on the Bell inequality and its experimental test

Mu Yang, Hui-Xian Meng, Jie Zhou +7 more

Local realistic models cannot completely describe all predictions of quantum mechanics. This is known as Bell's theorem that can be revealed either by violations of Bell inequality, or all-versus-nothing proof of nonlocality. Hardy's paradox is an important all-versus-nothing proof and is considered as ``the simplest form of Bell's theorem.'' In this work, we advance the study of Hardy's paradox based on Bell's inequality. Our formalism is essentially equivalent to the ``logical Bell inequality'' formalism developed by Abramsky and Hardy, but ours is more easily applied to experimental tests. Remarkably, we find that not only for a two-qubit two-setting case but also for a two-qubit four-setting case, we can construct stronger Hardy-type paradoxes based on Bell's inequality, whose successful probabilities can attain four times and seven times larger than the original one, respectively, thus providing more friendly tests for experiment. Meanwhile, we experimentally test the stronger Hardy-type paradoxes in a two-qubit system. Within the experimental errors, the experimental results coincide with the theoretical predictions.

arXiv:1809.04289•Physical Review A•Mar 5, 2019•26 citations

The mathematical structure of non-locality and contextuality

Shane Mansfield

Non-locality and contextuality are key features of quantum mechanics that distinguish it from classical physics. We aim to develop a deeper, more structural understanding of these phenomena, underpinned by robust and elegant mathematical theory with a view to providing clarity and new perspectives on conceptual and foundational issues. A general framework for logical non-locality is introduced and used to prove that 'Hardy's paradox' is complete for logical non-locality in all (2,2,l) and (2,k,2) Bell scenarios, a consequence of which is that Bell states are the only entangled two-qubit states that are not logically non-local, and that Hardy non-locality can be witnessed with certainty in a tripartite quantum system. A number of developments of the unified sheaf-theoretic approach to non-locality and contextuality are considered, including the first application of cohomology as a tool for studying the phenomena: we find cohomological witnesses corresponding to many of the classic no-go results, and completely characterise contextuality for large families of Kochen-Specker-like models. A connection with the problem of the existence of perfect matchings in k-uniform hypergraphs is explored, leading to new results on the complexity of deciding contextuality. A refinement of the sheaf-theoretic approach is found that captures partial approximations to locality/non-contextuality and can allow Bell models to be constructed from models of more general kinds which are equivalent in terms of non-locality/contextuality. Progress is made on bringing recent results on the nature of the wavefunction within the scope of the logical and sheaf-theoretic methods. Computational tools are developed for quantifying contextuality and finding generalised Bell inequalities for any measurement scenario which complement the research programme. This also leads to a proof that local ontological models with `negative probabilities' generate the no-signalling polytopes for all Bell scenarios.

•Jan 1, 2013•14 citations

Effect of decoherence on the contextual and nonlocal properties of a biphoton

Assaf Shaham, H. S. Eisenberg

Quantum contextuality is a nonintuitive property of quantum mechanics that distinguishes it from any classical theory. A complementary quantum property is quantum nonlocality, which is an essential resource for many quantum information tasks. Here we experimentally study the contextual and nonlocal properties of polarization biphotons. First, we investigate the ability of the biphotons to exhibit contextuality by testing the violation of the Klyachko-Can-Binicio\ifmmode \breve{g}\else \u{g}\fi{}lu-Shumovsky (KCBS) inequality. In order to do so, we used the original protocol suggested in the KCBS paper and adjusted it to the real scenario, where some of the biphotons are distinguishable. Second, we transmitted the biphotons through different unital channels with a controlled amount of noise. We measured the decohered output states and demonstrated that the ability to exhibit quantum contextuality using the KCBS inequality is more fragile to noise than the ability to exhibit nonlocality.

arXiv:1410.3640•Physical Review A•Feb 27, 2015•4 citations

Proposed experiment to exclude higher-than-quantum violations of the Bell inequality

Adán Cabello

We show that a recent observation by Yan leads to a method to experimentally test whether a higher-than-quantum violation of the Clauser-Horne-Shimony-Holt Bell inequality is possible (assuming that the sum of probabilities of pairwise exclusive propositions cannot exceed 1). The test requires reaching the maximum quantum violation of a noncontextuality inequality involving sequences of three compatible measurements on a five-dimensional quantum system.

arXiv:1303.6523•Mar 26, 2013•4 citations
We present a logical type of proof of contextuality for a two-qubit state. We formulate a paradox that cannot be used by a two-qubit system with local measurements to test contextuality while it is possible by using entanglement measurements. With our scheme we achieve pHardy\ensuremath≈0.167{p}_{\mathrm{Hardy}}\ensuremath{\approx}0.167pHardy​\ensuremath≈0.167. Our approach uses graph theory and the exclusivity principle to give an interpretation of a logical type of proof of quantum correlations. We review the Hardy paradox and find a connection to the Klyachko-Can-Binicio\ifmmode \breve{g}\else \u{g}\fi{}lu-Shumovsky inequality. We apply the same method to build a paradox based on the Clauser-Horne-Shimony-Holt inequality.
Hardy-type paradoxes provide elegant, inequality-free proofs of quantum contextuality. We introduce a unified logical formalism for these paradoxes, termed logical Hardy-type paradoxes. For any finite quantum scenario of ideal measurements, we prove that the existence of a logical Hardy-type paradox is equivalent to logical contextuality. Specifically, strong contextuality is equivalent to logical Hardy-type paradoxes with success probability SP = 1. These results generalize prior work on (2,k,2), (2,2,d), and n-cycle scenarios. We analyze logical Hardy-type paradoxes in the Mansfield and Klyachko-Can-Binicioglu-Shumovsky (KCBS) scenarios. In the KCBS scenario, we show that there is exactly one type of logical Hardy-type paradox, achieving SP\approx 10.56% for a specific parameter setting.
Quantum mechanics exhibits a very peculiar form of contextuality. Identifying and connecting the simplest scenarios in which more general theories can or cannot be more contextual than quantum mechanics is a fundamental step in the quest for the principle that singles out quantum contextuality. The former scenario corresponds to the Klyachko-Can-Binicio\ifmmode \breve{g}\else \u{g}\fi{}lu-Shumovsky (KCBS) inequality. Here we show that there is a simple tight inequality, twin to the KCBS, for which quantum contextuality cannot be outperformed. In a sense, this twin inequality is the simplest tool for recognizing fully contextual quantum correlations.
Local realistic models cannot completely describe all predictions of quantum mechanics. This is known as Bell's theorem that can be revealed either by violations of Bell inequality, or all-versus-nothing proof of nonlocality. Hardy's paradox is an important all-versus-nothing proof and is considered as ``the simplest form of Bell's theorem.'' In this work, we advance the study of Hardy's paradox based on Bell's inequality. Our formalism is essentially equivalent to the ``logical Bell inequality'' formalism developed by Abramsky and Hardy, but ours is more easily applied to experimental tests. Remarkably, we find that not only for a two-qubit two-setting case but also for a two-qubit four-setting case, we can construct stronger Hardy-type paradoxes based on Bell's inequality, whose successful probabilities can attain four times and seven times larger than the original one, respectively, thus providing more friendly tests for experiment. Meanwhile, we experimentally test the stronger Hardy-type paradoxes in a two-qubit system. Within the experimental errors, the experimental results coincide with the theoretical predictions.
Non-locality and contextuality are key features of quantum mechanics that distinguish it from classical physics. We aim to develop a deeper, more structural understanding of these phenomena, underpinned by robust and elegant mathematical theory with a view to providing clarity and new perspectives on conceptual and foundational issues. A general framework for logical non-locality is introduced and used to prove that 'Hardy's paradox' is complete for logical non-locality in all (2,2,l) and (2,k,2) Bell scenarios, a consequence of which is that Bell states are the only entangled two-qubit states that are not logically non-local, and that Hardy non-locality can be witnessed with certainty in a tripartite quantum system. A number of developments of the unified sheaf-theoretic approach to non-locality and contextuality are considered, including the first application of cohomology as a tool for studying the phenomena: we find cohomological witnesses corresponding to many of the classic no-go results, and completely characterise contextuality for large families of Kochen-Specker-like models. A connection with the problem of the existence of perfect matchings in k-uniform hypergraphs is explored, leading to new results on the complexity of deciding contextuality. A refinement of the sheaf-theoretic approach is found that captures partial approximations to locality/non-contextuality and can allow Bell models to be constructed from models of more general kinds which are equivalent in terms of non-locality/contextuality. Progress is made on bringing recent results on the nature of the wavefunction within the scope of the logical and sheaf-theoretic methods. Computational tools are developed for quantifying contextuality and finding generalised Bell inequalities for any measurement scenario which complement the research programme. This also leads to a proof that local ontological models with `negative probabilities' generate the no-signalling polytopes for all Bell scenarios.
Quantum contextuality is a nonintuitive property of quantum mechanics that distinguishes it from any classical theory. A complementary quantum property is quantum nonlocality, which is an essential resource for many quantum information tasks. Here we experimentally study the contextual and nonlocal properties of polarization biphotons. First, we investigate the ability of the biphotons to exhibit contextuality by testing the violation of the Klyachko-Can-Binicio\ifmmode \breve{g}\else \u{g}\fi{}lu-Shumovsky (KCBS) inequality. In order to do so, we used the original protocol suggested in the KCBS paper and adjusted it to the real scenario, where some of the biphotons are distinguishable. Second, we transmitted the biphotons through different unital channels with a controlled amount of noise. We measured the decohered output states and demonstrated that the ability to exhibit quantum contextuality using the KCBS inequality is more fragile to noise than the ability to exhibit nonlocality.