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:2311.02045 · Physical Review A

Hardy-type paradoxes for an arbitrary symmetric bipartite Bell scenario

Kai-Siang Chen, Shiladitya Mal, Gelo Noel M. Tabia, Yeong-Cherng Liang

Published Apr 8, 2024• 2 citations
arXivHTMLPDF

Abstract

As with a Bell inequality, Hardy's paradox manifests a contradiction between the prediction given by quantum theory and local hidden-variable theories. In this work, we give two generalizations of Hardy's arguments for manifesting such a paradox to an arbitrary, but symmetric, Bell scenario involving two observers. Our constructions recover that of Meng et al. [Phys. Rev. A 98, 062103 (2018)] and that first discussed by Cabello [Phys. Rev. A 65, 032108 (2002)] as special cases. Among the two constructions, one can be naturally interpreted as a demonstration of the failure of the transitivity of implications (FTI). Moreover, one of their special cases is equivalent to a ladder-proof-type argument for Hardy's paradox. Through a suitably generalized notion of success probability called degree of success, we provide evidence showing that the FTI-based formulation exhibits a higher degree of success compared with all other existing proposals. Moreover, this advantage seems to persist even if we allow imperfections in realizing the zero-probability constraints in such paradoxes. Explicit quantum strategies realizing several of these proofs of nonlocality without inequalities are provided.

DOI
10.1103/physreva.109.042206

Related papers

Generalized Hardy’s Paradox

Shuhan Jiang, Zhen‐Peng Xu, Hong-Yi Su +2 more

Here, we present the most general framework for n-particle Hardy's paradoxes, which include Hardy's original one and Cereceda's extension as special cases. Remarkably, for any n≥3, we demonstrate that there always exist generalized paradoxes (with the success probability as high as 1/2^{n-1}) that are stronger than the previous ones in showing the conflict of quantum mechanics with local realism. An experimental proposal to observe the stronger paradox is also presented for the case of three qubits. Furthermore, from these paradoxes we can construct the most general Hardy's inequalities, which enable us to detect Bell's nonlocality for more quantum states.

arXiv:1709.09812•Physical Review Letters•Jan 30, 2018•44 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

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

General Hardy's Paradox

Shuhan Jiang, Zhen‐Peng Xu, Hong-Yi Su +2 more

Here we present the most general framework for $n$-particle Hardy's paradoxes, which include Hardy's original one and Cereceda's extension as special cases. Remarkably, for any $n\ge 3$ we demonstrate that there always exist generalized paradoxes (with the success probability as high as $1/2^{n-1}$) that are stronger than the previous ones in showing the conflict of quantum mechanics with local realism. An experimental proposal to observe the stronger paradox is also presented for the case of three qubits. Furthermore, from these paradoxes we can construct the most general Hardy's inequalities, which enable us to detect Bell's nonlocality for more quantum states.

•Sep 28, 2017•0 citations

Hardy-type self-testing and exposedness of tripartite GHZ correlations

Smritikana Patra, Soumyajit Pal, Ranendu Adhikary

Nonlocality can be witnessed either through Bell-inequality violations or through logical contradictions such as Hardy's paradox. In the bipartite two input two outcome scenario, these two routes have distinct geometric behavior: CHSH-maximal correlations are exposed points of the quantum set, whereas known Hardy-type self-testing correlations on the no-signaling boundary are non-exposed. Here we show that this bipartite intuition fails in the tripartite two input two outcome scenario. We study the tripartite instance of a multipartite Hardy-type paradox and prove that the correlation attaining the maximal Hardy success probability self-tests the Greenberger--Horne--Zeilinger state and the associated measurements. Although this correlation lies on the no-signaling boundary, we show that it is an extremal and exposed point of the quantum correlation set. Moreover, it coincides with the correlation attaining the maximal violation of the Mermin inequality. Thus, in the tripartite GHZ scenario, the logical-paradox and Bell-inequality routes to nonlocality select the same exposed quantum boundary point. We also establish a robust version of the self-test, showing that small deviations from the ideal Hardy constraints imply quantitative closeness to the target state and measurements. Our results reveal a qualitative geometric difference between bipartite and tripartite Hardy-type nonlocality and suggest a broader investigation of exposedness for multipartite Hardy correlations in the multiparty setting.

quant-pharXiv:2512.16242•Physical Review A•Dec 19, 2025•0 citations

Detecting Bell nonlocality based on weak Hardy-like paradoxes and Hardy-Bell inequalities

HAN KanYuan, GUO ZhiHua, Cao Huai-xin +1 more

Bell nonlocality is a special quantum nonlocality and has emerged as an important resource in quantum information processing tasks. Typically, there are two types of strategies for testing the Bell nonlocality: the Bell inequality method and the “all-versus-nothing proof", the later includes methods such as the GHZ argument and Hardy paradox. The objective of this work is to provide new methods for detecting Bell nonlocality by understanding Hardy-like paradoxes (HLPs) and Hardy-Bell inequalities (HBIs) as well as Hardy inequality. First, the weak HLP (WHLP) is established, and an HBI is obtained for tripartite correlation tensors (CTs) with two inputs and two outcomes. Based on an existing Hardy inequality for an n-qubit pure state, a Hardy inequality is proven for n-partite Bell local CTs. Second, the WHLP and HBI are proven for tripartite states in terms of conditional probabilities. Our WHLP is theoretically and practically easier to construct and more efficient in checking Bell nonlocality compared to the usual HLP.

Zhongguo kexue. Wulixue Lixue Tianwenxue•Nov 20, 2023•0 citations
As with a Bell inequality, Hardy's paradox manifests a contradiction between the prediction given by quantum theory and local hidden-variable theories. In this work, we give two generalizations of Hardy's arguments for manifesting such a paradox to an arbitrary, but symmetric, Bell scenario involving two observers. Our constructions recover that of Meng et al. [Phys. Rev. A 98, 062103 (2018)] and that first discussed by Cabello [Phys. Rev. A 65, 032108 (2002)] as special cases. Among the two constructions, one can be naturally interpreted as a demonstration of the failure of the transitivity of implications (FTI). Moreover, one of their special cases is equivalent to a ladder-proof-type argument for Hardy's paradox. Through a suitably generalized notion of success probability called degree of success, we provide evidence showing that the FTI-based formulation exhibits a higher degree of success compared with all other existing proposals. Moreover, this advantage seems to persist even if we allow imperfections in realizing the zero-probability constraints in such paradoxes. Explicit quantum strategies realizing several of these proofs of nonlocality without inequalities are provided.
Here, we present the most general framework for n-particle Hardy's paradoxes, which include Hardy's original one and Cereceda's extension as special cases. Remarkably, for any n≥3, we demonstrate that there always exist generalized paradoxes (with the success probability as high as 1/2^{n-1}) that are stronger than the previous ones in showing the conflict of quantum mechanics with local realism. An experimental proposal to observe the stronger paradox is also presented for the case of three qubits. Furthermore, from these paradoxes we can construct the most general Hardy's inequalities, which enable us to detect Bell's nonlocality for more quantum states.
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.
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.
Here we present the most general framework for nnn-particle Hardy's paradoxes, which include Hardy's original one and Cereceda's extension as special cases. Remarkably, for any n≥3n\ge 3n≥3 we demonstrate that there always exist generalized paradoxes (with the success probability as high as 1/2n−11/2^{n-1}1/2n−1) that are stronger than the previous ones in showing the conflict of quantum mechanics with local realism. An experimental proposal to observe the stronger paradox is also presented for the case of three qubits. Furthermore, from these paradoxes we can construct the most general Hardy's inequalities, which enable us to detect Bell's nonlocality for more quantum states.
Nonlocality can be witnessed either through Bell-inequality violations or through logical contradictions such as Hardy's paradox. In the bipartite two input two outcome scenario, these two routes have distinct geometric behavior: CHSH-maximal correlations are exposed points of the quantum set, whereas known Hardy-type self-testing correlations on the no-signaling boundary are non-exposed. Here we show that this bipartite intuition fails in the tripartite two input two outcome scenario. We study the tripartite instance of a multipartite Hardy-type paradox and prove that the correlation attaining the maximal Hardy success probability self-tests the Greenberger--Horne--Zeilinger state and the associated measurements. Although this correlation lies on the no-signaling boundary, we show that it is an extremal and exposed point of the quantum correlation set. Moreover, it coincides with the correlation attaining the maximal violation of the Mermin inequality. Thus, in the tripartite GHZ scenario, the logical-paradox and Bell-inequality routes to nonlocality select the same exposed quantum boundary point. We also establish a robust version of the self-test, showing that small deviations from the ideal Hardy constraints imply quantitative closeness to the target state and measurements. Our results reveal a qualitative geometric difference between bipartite and tripartite Hardy-type nonlocality and suggest a broader investigation of exposedness for multipartite Hardy correlations in the multiparty setting.
Bell nonlocality is a special quantum nonlocality and has emerged as an important resource in quantum information processing tasks. Typically, there are two types of strategies for testing the Bell nonlocality: the Bell inequality method and the “all-versus-nothing proof", the later includes methods such as the GHZ argument and Hardy paradox. The objective of this work is to provide new methods for detecting Bell nonlocality by understanding Hardy-like paradoxes (HLPs) and Hardy-Bell inequalities (HBIs) as well as Hardy inequality. First, the weak HLP (WHLP) is established, and an HBI is obtained for tripartite correlation tensors (CTs) with two inputs and two outcomes. Based on an existing Hardy inequality for an n-qubit pure state, a Hardy inequality is proven for n-partite Bell local CTs. Second, the WHLP and HBI are proven for tripartite states in terms of conditional probabilities. Our WHLP is theoretically and practically easier to construct and more efficient in checking Bell nonlocality compared to the usual HLP.