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

Hardy's Paradox and the Fano Associator: A Geometric Diagnosis of Quantum Contextuality

Ian Richard C Buckley

Published May 6, 2026• 0 citations
Publisher

Abstract

Hardy's paradox is an all-versus-nothing logical contradiction for bipartite quantum systems: three jointly satisfiable conditions on measurement probabilities each force a fourth probability to zero by classical logic, yet quantum mechanics permits that fourth probability to be strictly positive. Unlike Bell inequalities, no statistical averaging is required — the contradiction is exact and logical. This paper presents a five-part numerical study connecting Hardy's paradox to the non-associative geometry of the Fano plane $PG(2,2)$ and the octonion associator $\mathcal{A}(e_i, e_j, e_k) = (e_i e_j)e_k - e_i(e_j e_k)$. Part 1 finds the Hardy state by constrained optimisation (Nelder-Mead, 100 initialisations), confirming all three zero-conditions to within $10^{-6}$ and the impossible event $P(Z^+, Z^+) = 0.10 > 0$ with residual $\sim 10^{-36}$. Part 2 shows that the Fano-SYK ground state restricted to the measurement node pair ${0,1}$ is entangled, with von Neumann entropy $S = 0.8762$ ebits, connecting the Fano dynamical structure to the Hardy contextual structure. Part 3 sweeps a one-parameter entangled state family and demonstrates that the Hardy impossible-event probability and the CHSH witness are correlated (Pearson $r = 0.982$), both vanishing at the separable limit. Part 4 verifies the full octonion associator table: $|\mathcal{A}(e_i,e_j,e_k)| = 0$ for all 7 Fano lines (associative triples) and $|\mathcal{A}| = 2$ for all 28 non-Fano triples, exact to $< 10^{-14}$. Part 5 maps the Hardy measurement settings $Z, X$ to octonion directions $e_0, e_1$, which lie on the unique Fano line ${0,1,3}$, and argues that entanglement forces the bipartite system to sample non-Fano directions in $\mathbb{R}^7 \otimes \mathbb{R}^7$ where no consistent classical truth-value assignment exists. The central claim — stated as the Fano-Contextuality Conjecture — is that a measurement triple admits a consistent joint classical value assignment if and only if the corresponding octonion directions lie on a Fano line ($|\mathcal{A}| = 0$). Hardy contextuality is diagnosed as the consequence of entanglement distributing quantum weight into the non-associative region of measurement space. A formal proof connecting this partition to the Kochen-Specker theorem is identified as the primary open problem. This is the first paper in the ASA Quantum Foundations series (Portfolio F), accompanied by the Spacelike Associator Paradox (doi:10.5281/zenodo.20058013) and the Fano Monogamy Paradox (doi:10.5281/zenodo.20058092). Working paper in the Adelic Simplicial Architecture (ASA) series.

DOI
10.5281/zenodo.20058083

Related papers

The Fano Monogamy Paradox: Irreducible Three-Body Entanglement and the Tripartite Hardy Impossible Event

Ian Richard C Buckley

Monogamy of entanglement states that quantum correlations cannot be freely shared: if two parties are maximally entangled, neither can be entangled with a third. The Fano plane $\mathrm{PG}(2,2)$ appears to violate this principle — its Hamiltonian ground state simultaneously correlates all seven directed triples. Hardy's paradox is a complementary phenomenon: four conditions on a multi-qubit state force the classically impossible conclusion $P(Z_+,\ldots,Z_+) = 0$, yet quantum mechanics permits $P(Z_+,\ldots,Z_+) > 0$. Both are well-understood within standard quantum mechanics; neither was ever mysterious to quantum theory itself. This paper identifies a single necessary condition that unifies both phenomena: irreducible three-body entanglement, as measured by the Coffman–Kundu–Wootters three-tangle $\tau_3$. The Fano monogamy apparent paradox dissolves once one observes that $C(i,j) < 1$ for all pairs and $\tau_3 > 0$ for Fano-line triples — the correlations are triangular, not pairwise. For the tripartite Hardy impossible event ($N=3$), we show numerically that $\tau_3 > 0$ is a necessary condition: no W-class or product state ($\tau_3 = 0$) satisfies all four Hardy conditions simultaneously, confirmed across 54 independent free-state optimisations (JAX/Adam, A100 GPU). The open question — whether this is provable algebraically — is stated explicitly. The novel contribution is the connection between the Dür–Vidal–Cirac entanglement classification and Hardy-type nonlocality: GHZ-class states ($\tau_3 > 0$) can exhibit the tripartite impossible event; W-class states cannot. Within the Adelic Simplicial Architecture (ASA), both phenomena share a further geometric explanation: the octonion associator $|\mathcal{A}(e_i,e_j,e_k)| = 0$ on Fano-line triples and $|\mathcal{A}| = 2$ elsewhere is the algebraic signature of the same triangular irreducibility, connecting the monogamy resolution and the Hardy condition to the associator firewall of the companion papers on the Spacelike Associator Paradox and Hardy's Paradox and the Fano Associator.

•May 6, 2026•0 citations

Hardy's Paradox for Yu-Oh Set Constructed by Logically Contextual Quantum States

Chang He, Yongjun Wang, Baoshan Wang +2 more

Quantum contextuality is a fundamental nonclassical property of quantum systems, regarded as a key resource that demonstrates the computational and informational advantages of quantum over classical systems. Our present work aims to construct Hardy's paradoxes, a set of possibilistic conditions witnessing contextuality, for Yu-Oh set, which is the state-independent contextual quantum system with the least number of vectors. To achieve the aim, we systematically enumerate all logically contextual pure states on Yu-Oh set, and theoretically prove that no mixed states in this scenario are logically contextual. Based on the identified logically contextual quantum states, we construct 12 Hardy's paradoxes with identical success probability SP=11.1%. Furthermore, we present corresponding observables to experimentally witness these Hardy's paradoxes.

quant-pharXiv:2603.12738•Mar 16, 2026•0 citations

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

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

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 Fano Plane, Octonion Non-Associativity, and the Peres-Mermin Proof of Contextuality — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: The Fano plane encodes the non-associative multiplication table of octonions, and this algebraic structure underlies the Peres-Mermin square proof of quantum contextuality. MATH: Octonion multiplication is defined by 7 imaginary units \( e_1, \dots, e_7 \) with \( e_i^2 = -1 \) and \( e_i e_j = \epsilon_{ijk} e_k \) where \( \epsilon_{ijk} \) is given by the 7 lines (each a triple) of the Fano plane. The Peres-Mermin square is a 3×3 array of observables whose row and column products yield ±1, demonstrating contextuality via the Kochen-Specker theorem. No new constants or ratios appear. CONNECTION: The Fano plane is the projective plane of order 2, with 7 points and 7 lines, each line containing 3 points. This is a finite geometry with symmetry group PSL(2,7) of order 168. No direct link to golden ratio, base-60, or crystallographic root systems. However, the octonion algebra is intimately tied to the exceptional Lie group \( G_2 \) (automorphism group of octonions) and the Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

•Jul 23, 2026•0 citations
Hardy's paradox is an all-versus-nothing logical contradiction for bipartite quantum systems: three jointly satisfiable conditions on measurement probabilities each force a fourth probability to zero by classical logic, yet quantum mechanics permits that fourth probability to be strictly positive. Unlike Bell inequalities, no statistical averaging is required — the contradiction is exact and logical. This paper presents a five-part numerical study connecting Hardy's paradox to the non-associative geometry of the Fano plane PG(2,2)PG(2,2)PG(2,2) and the octonion associator A(ei,ej,ek)=(eiej)ek−ei(ejek)\mathcal{A}(e_i, e_j, e_k) = (e_i e_j)e_k - e_i(e_j e_k)A(ei​,ej​,ek​)=(ei​ej​)ek​−ei​(ej​ek​). Part 1 finds the Hardy state by constrained optimisation (Nelder-Mead, 100 initialisations), confirming all three zero-conditions to within 10−610^{-6}10−6 and the impossible event P(Z+,Z+)=0.10>0P(Z^+, Z^+) = 0.10 > 0P(Z+,Z+)=0.10>0 with residual ∼10−36\sim 10^{-36}∼10−36. Part 2 shows that the Fano-SYK ground state restricted to the measurement node pair 0,1{0,1}0,1 is entangled, with von Neumann entropy S=0.8762S = 0.8762S=0.8762 ebits, connecting the Fano dynamical structure to the Hardy contextual structure. Part 3 sweeps a one-parameter entangled state family and demonstrates that the Hardy impossible-event probability and the CHSH witness are correlated (Pearson r=0.982r = 0.982r=0.982), both vanishing at the separable limit. Part 4 verifies the full octonion associator table: ∣A(ei,ej,ek)∣=0|\mathcal{A}(e_i,e_j,e_k)| = 0∣A(ei​,ej​,ek​)∣=0 for all 7 Fano lines (associative triples) and ∣A∣=2|\mathcal{A}| = 2∣A∣=2 for all 28 non-Fano triples, exact to <10−14< 10^{-14}<10−14. Part 5 maps the Hardy measurement settings Z,XZ, XZ,X to octonion directions e0,e1e_0, e_1e0​,e1​, which lie on the unique Fano line 0,1,3{0,1,3}0,1,3, and argues that entanglement forces the bipartite system to sample non-Fano directions in R7⊗R7\mathbb{R}^7 \otimes \mathbb{R}^7R7⊗R7 where no consistent classical truth-value assignment exists. The central claim — stated as the Fano-Contextuality Conjecture — is that a measurement triple admits a consistent joint classical value assignment if and only if the corresponding octonion directions lie on a Fano line (∣A∣=0|\mathcal{A}| = 0∣A∣=0). Hardy contextuality is diagnosed as the consequence of entanglement distributing quantum weight into the non-associative region of measurement space. A formal proof connecting this partition to the Kochen-Specker theorem is identified as the primary open problem. This is the first paper in the ASA Quantum Foundations series (Portfolio F), accompanied by the Spacelike Associator Paradox (doi:10.5281/zenodo.20058013) and the Fano Monogamy Paradox (doi:10.5281/zenodo.20058092). Working paper in the Adelic Simplicial Architecture (ASA) series.
Monogamy of entanglement states that quantum correlations cannot be freely shared: if two parties are maximally entangled, neither can be entangled with a third. The Fano plane PG(2,2)\mathrm{PG}(2,2)PG(2,2) appears to violate this principle — its Hamiltonian ground state simultaneously correlates all seven directed triples. Hardy's paradox is a complementary phenomenon: four conditions on a multi-qubit state force the classically impossible conclusion P(Z+,…,Z+)=0P(Z_+,\ldots,Z_+) = 0P(Z+​,…,Z+​)=0, yet quantum mechanics permits P(Z+,…,Z+)>0P(Z_+,\ldots,Z_+) > 0P(Z+​,…,Z+​)>0. Both are well-understood within standard quantum mechanics; neither was ever mysterious to quantum theory itself. This paper identifies a single necessary condition that unifies both phenomena: irreducible three-body entanglement, as measured by the Coffman–Kundu–Wootters three-tangle τ3\tau_3τ3​. The Fano monogamy apparent paradox dissolves once one observes that C(i,j)<1C(i,j) < 1C(i,j)<1 for all pairs and τ3>0\tau_3 > 0τ3​>0 for Fano-line triples — the correlations are triangular, not pairwise. For the tripartite Hardy impossible event (N=3N=3N=3), we show numerically that τ3>0\tau_3 > 0τ3​>0 is a necessary condition: no W-class or product state (τ3=0\tau_3 = 0τ3​=0) satisfies all four Hardy conditions simultaneously, confirmed across 54 independent free-state optimisations (JAX/Adam, A100 GPU). The open question — whether this is provable algebraically — is stated explicitly. The novel contribution is the connection between the Dür–Vidal–Cirac entanglement classification and Hardy-type nonlocality: GHZ-class states (τ3>0\tau_3 > 0τ3​>0) can exhibit the tripartite impossible event; W-class states cannot. Within the Adelic Simplicial Architecture (ASA), both phenomena share a further geometric explanation: the octonion associator ∣A(ei,ej,ek)∣=0|\mathcal{A}(e_i,e_j,e_k)| = 0∣A(ei​,ej​,ek​)∣=0 on Fano-line triples and ∣A∣=2|\mathcal{A}| = 2∣A∣=2 elsewhere is the algebraic signature of the same triangular irreducibility, connecting the monogamy resolution and the Hardy condition to the associator firewall of the companion papers on the Spacelike Associator Paradox and Hardy's Paradox and the Fano Associator.
Quantum contextuality is a fundamental nonclassical property of quantum systems, regarded as a key resource that demonstrates the computational and informational advantages of quantum over classical systems. Our present work aims to construct Hardy's paradoxes, a set of possibilistic conditions witnessing contextuality, for Yu-Oh set, which is the state-independent contextual quantum system with the least number of vectors. To achieve the aim, we systematically enumerate all logically contextual pure states on Yu-Oh set, and theoretically prove that no mixed states in this scenario are logically contextual. Based on the identified logically contextual quantum states, we construct 12 Hardy's paradoxes with identical success probability SP=11.1%. Furthermore, we present corresponding observables to experimentally witness these Hardy's paradoxes.
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.
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.
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.
FINDING: The Fano plane encodes the non-associative multiplication table of octonions, and this algebraic structure underlies the Peres-Mermin square proof of quantum contextuality. MATH: Octonion multiplication is defined by 7 imaginary units e1,…,e7 e_1, \dots, e_7 e1​,…,e7​ with ei2=−1 e_i^2 = -1 ei2​=−1 and eiej=ϵijkek e_i e_j = \epsilon_{ijk} e_k ei​ej​=ϵijk​ek​ where ϵijk \epsilon_{ijk} ϵijk​ is given by the 7 lines (each a triple) of the Fano plane. The Peres-Mermin square is a 3×3 array of observables whose row and column products yield ±1, demonstrating contextuality via the Kochen-Specker theorem. No new constants or ratios appear. CONNECTION: The Fano plane is the projective plane of order 2, with 7 points and 7 lines, each line containing 3 points. This is a finite geometry with symmetry group PSL(2,7) of order 168. No direct link to golden ratio, base-60, or crystallographic root systems. However, the octonion algebra is intimately tied to the exceptional Lie group G2 G_2 G2​ (automorphism group of octonions) and the Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com