The Equivalence between Hardy-type paradox and Logical Contextuality

• URL: http://arxiv.org/abs/2601.01445v2
• Date: Tue, 06 Jan 2026 02:26:30 GMT
• Title: The Equivalence between Hardy-type paradox and Logical Contextuality
• Authors: Songyi Liu, Yongjun Wang, Baoshan Wang, Chang He, Yunyi Jia,
• Abstract summary: We prove that for any finite scenario, the existence of a logical Hardy-type paradox is equivalent to logical contextuality.<n>These results generalize prior work on (2,k,2), (2,2,d), and n-cycle scenarios.
• Score: 11.770013321571946
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Hardy-type paradoxes offer elegant, inequality-free proof of quantum contextuality. In this work, we introduce a unified logical formulation for general Hardy-type paradoxes, which we term logical Hardy-type paradoxes. We prove that for any finite scenario, the existence of a logical Hardy-type paradox is equivalent to logical contextuality. Specially, 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, and resolve a misconception that such equivalence does not hold for general scenarios [1]. We analyse the logical Hardy-type paradoxes on the (2,2,2) and (2,3,3) Bell scenarios, as well as the Klyachko-Can-Binicioglu-Shumovsky (KCBS) scenario. We show that the KCBS scenario admits only one kind of Hardy-type paradox, achieving a success probability of SP \approx 10.56% for a specific parameter setting.

Related papers

• A doubly composite Chernoff-Stein lemma and its applications [13.283296551055734]
  Given a sequence of random variables, discriminating between two hypotheses on the underlying probability distribution is a key task in statistics and information theory.<n>Generalisations of this result exist in the case of composite hypotheses, but mostly to settings where the probability distribution of $Xn$ is not genuinely correlated.<n>Here, we establish a general Chernoff-Stein lemma that applies to the setting where both hypotheses are composite and genuinely correlated.
  arXiv  Detail & Related papers  (2025-10-07T18:06:30Z)
• A refined Frauchiger--Renner paradox based on strong contextuality [0.0]
  We observe that logical contextuality is the key ingredient of the FR paradox. We propose a natural extension of Peres's dictum to resolve these extended Wigner's friend paradoxes.
  arXiv  Detail & Related papers  (2024-09-09T10:36:47Z)
• Hardy-type paradoxes for an arbitrary symmetric bipartite Bell scenario [0.0]
  We give two generalizations of Hardy's arguments for manifesting such a paradox to an arbitrary, but symmetric Bell scenario. One can be naturally interpreted as a demonstration of the failure of transitivity of implications. A special case of which is equivalent to a ladder-proof-type argument for Hardy's paradox.
  arXiv  Detail & Related papers  (2023-11-03T17:21:40Z)
• Connecting classical finite exchangeability to quantum theory [45.76759085727843]
  Exchangeability is a fundamental concept in probability theory and statistics.<n>It allows to model situations where the order of observations does not matter.<n>It is well known that both theorems do not hold for finitely exchangeable sequences.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
  We argue in favour of taking Kolmogorov's measure-theoretic axiomatisation of probability as the starting point towards an axiomatisation of causality. Our proposed framework is rigorously grounded in measure theory, but it also sheds light on long-standing limitations of existing frameworks.
  arXiv  Detail & Related papers  (2023-05-19T13:15:48Z)
• No contextual advantage in non-paradoxical scenarios of two state vector formalism [4.291616110077346]
  We consider the application of the two state vector formalism (TSVF) to unearth quantum contextuality. We classify the resultant pre- and post-selection scenarios as either paradoxical or non-paradoxical. We argue that these do not constitute a proper test of contextuality.
  arXiv  Detail & Related papers  (2022-06-06T15:21:39Z)
• Why we should interpret density matrices as moment matrices: the case of (in)distinguishable particles and the emergence of classical reality [69.62715388742298]
  We introduce a formulation of quantum theory (QT) as a general probabilistic theory but expressed via quasi-expectation operators (QEOs) We will show that QT for both distinguishable and indistinguishable particles can be formulated in this way. We will show that finitely exchangeable probabilities for a classical dice are as weird as QT.
  arXiv  Detail & Related papers  (2022-03-08T14:47:39Z)
• Logical Credal Networks [87.25387518070411]
  This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability. We investigate its performance on maximum a posteriori inference tasks, including solving Mastermind games with uncertainty and detecting credit card fraud.
  arXiv  Detail & Related papers  (2021-09-25T00:00:47Z)
• The Smoothed Likelihood of Doctrinal Paradox [34.534516291695155]
  We show that under mild conditions, the smoothed likelihood of the doctrinal paradox is either $0$, $exp(-Theta(n))$, $Theta(n-1/2)$ or $Theta(1)$. Our main theorem states that under mild conditions, the smoothed likelihood of the doctrinal paradox is either $0$, $exp(-Theta(n))$, $Theta(n-1/2)$ or $Theta(1)$.
  arXiv  Detail & Related papers  (2021-05-11T15:55:47Z)
• A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
  We propose a weaker assumption that we call $2$-adjacency faithfulness. We propose a sound orientation rule for causal discovery that applies under weaker assumptions.
  arXiv  Detail & Related papers  (2020-10-27T13:04:08Z)
• Unitary-Only Quantum Theory Cannot Consistently Describe the Use of Itself: On the Frauchiger-Renner Paradox [0.0]
  The Frauchiger-Renner Paradox is an extension of paradoxes based on the 'Problem of Measurement,' such as Schrodinger's Cat and Wigner's Friend. This paper discusses a basic inconsistency arising in the FR scenario at a much earlier point than the derived contradiction.
  arXiv  Detail & Related papers  (2020-02-04T18:34:20Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.