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:1205.3280 · Physical Review Letters

Device-Independent Bounds for Hardy’s Experiment

Rafael Rabelo, Yun Zhi Law, Valerio Scarani

Published Oct 31, 2012• 87 citations
arXivHTMLPDF

Abstract

In this Letter, we compute an analogue of Tsirelson's bound for Hardy's test of nonlocality, that is, the maximum violation of locality constraints allowed by the quantum formalism, irrespective of the dimension of the system. The value is found to be the same as the one achievable already with two-qubit systems, and we show that only a very specific class of states can lead to such maximal value, thus highlighting Hardy's test as a device-independent self-test protocol for such states. By considering realistic constraints in Hardy's test, we also compute device-independent upper bounds on this violation and show that these bounds are saturated by two-qubit systems, thus showing that there is no advantage in using higher-dimensional systems in experimental implementations of such a test.

DOI
10.1103/physrevlett.109.180401

Related papers

Device-independent bounds from Cabello's nonlocality argument

Ashutosh Rai, Matej Pivoluska, Martin Plesch +3 more

Hardy-type arguments manifest Bell nonlocality in one of the simplest possible ways. Except for demonstrating nonclassical signature of entangled states in question, they can also serve for device-independent self-testing of states, as shown, e.g., in Phys. Rev. Lett. 109, 180401 (2012). Here we develop and broaden these results to an extended version of Hardy's argument, often referred to as Cabello's nonlocality argument. We show that, as in the simpler case of Hardy's nonlocality argument, the maximum quantum value for Cabello's nonlocality is achieved by a pure two-qubit state and projective measurements that are unique up to local isometries. We also examine the properties of a more realistic case when small errors in the ideal constraints are accepted within the probabilities obtained and prove that also in this case the two-qubit state and measurements are sufficient for obtaining the maximum quantum violation of the classical bound.

arXiv:2103.09919•Physical Review A•Jun 23, 2021•14 citations

Self-testing quantum states via nonmaximal violation in Hardy's test of nonlocality

Ashutosh Rai, Matej Pivoluska, Souradeep Sasmal +3 more

Self-testing protocols enable the certification of quantum devices without demanding full knowledge about their inner workings. A typical approach in designing such protocols is based on observing nonlocal correlations which exhibit maximum violation in a Bell test. We show that in the Bell experiment known as Hardy's test of nonlocality, not only does the maximally nonlocal correlation self-test a quantum state, rather a nonmaximal nonlocal behavior can serve the same purpose. We, in fact, completely characterize all such behaviors leading to a self-test of every pure two-qubit entangled state except for the maximally entangled ones. Apart from presenting an alternative self-testing protocol, our method provides a powerful tool towards characterizing the complex boundary of the set of quantum correlations.

arXiv:2112.06595•Physical Review A•May 27, 2022•18 citations

A New Error-Modeling of Hardy’s Paradox for Superconducting Qubits and Its Experimental Verification

Soumya Das, Goutam Paul

Hardy’s paradox (equivalently, Hardy’s non-locality or Hardy’s test) [Phys. Rev. Lett. 68, 2981 (1992)] is used to show non-locality without inequalities, and it has been tested several times using optical circuits. We, for the first time, experimentally test Hardy’s paradox of non-locality in superconducting qubits. For practical verification of Hardy’s paradox, we argue that the error-modeling used in optical circuits is not useful for superconducting qubits. So, we propose a new error-modeling for Hardy’s paradox and a new method to estimate the lower bound on Hardy’s probability (i.e., the probability of a specific event in Hardy’s test) for superconducting qubits. Our results confirmed the theory that any non-maximally entangled state of two qubits violates Hardy’s equations; whereas, any maximally entangled state and product state of two qubits do not exhibit Hardy’s non-locality. Further, we point out the difficulties associated with the practical implementation of quantum protocols based on Hardy’s paradox and propose possible remedies. We also propose two performance measures for any two qubits of any quantum computer based on superconducting qubits.

arXiv:1712.04925•ACM Transactions on Quantum Computing•Jul 7, 2020•5 citations

Experimental test of Hardy's paradox on a five-qubit quantum computer

Soumya Das, Goutam Paul

We test Hardy's paradox of non-locality experimentally on the IBM five-qubit quantum computer for the first time. The quantum circuit is constructed on superconducting qubits corresponding to the original Hardy's test of non-locality. Results confirmed the theory that any non-maximally entangled state of two qubits violates Hardy's Equations, whereas any maximally entangled state and product state of two qubits do not exhibit Hardy's non-locality. We also point out the difficulties associated with the practical implementation of any Hardy's paradox based quantum protocol and propose three performance measures for any two qubits of any quantum computer.

•Dec 13, 2017•5 citations

Loophole-Free Test of Local Realism via Hardy’s Violation

Si-Ran Zhao, Shuai Zhao, Hai-Hao Dong +5 more

Bell's theorem states that the quantum mechanical description of physical quantities cannot be fully explained by local realistic theories, laying a solid basis for various quantum information applications. Hardy's paradox is celebrated as the simplest form of Bell's theorem concerning its "All versus Nothing" approach to test local realism. However, due to experimental imperfections, existing tests of Hardy's paradox require additional assumptions of the experimental systems, and these assumptions constitute potential loopholes for faithfully testing local realistic theories. Here, we experimentally demonstrate Hardy's nonlocality through a photonic entanglement source. By achieving a detection efficiency of 82.2%, a quantum state fidelity of 99.10%, and applying high-speed quantum random number generators for the measurement setting switching, the experiment is implemented in a loophole-free manner. During 6 h of running, a strong violation of P_{Hardy}=4.646×10^{-4} up to 5 standard deviations is observed with 4.32×10^{9} trials. A null hypothesis test shows that the results can be explained by local realistic theories with an upper bound probability of 10^{-16348}. These testing results provide affirmative evidence against local realism, and establish an advancing benchmark for quantum information applications based on Hardy's paradox.

arXiv:2401.03505•Physical Review Letters•Aug 7, 2024•13 citations

Hardy's test as a device-independent dimension witness

Amit Mukherjee, Arup Roy, Some Sankar Bhattacharya +3 more

Knowing the dimension of an unknown physical system has practical relevance, as dimensionality plays an important role in various information theoretic tasks. In this work we show that a modified version of Hardy's argument, which reveals the contradiction of quantum theory with local realism, turns out to be useful for inspecting the minimal subsystem dimension of an unknown correlated quantum system. The use of Hardy's test in this task has a novel advantage: the subsystem dimension can be determined without knowing the detailed functioning of the experimental devices; i.e., Hardy's test suffices to be a device-independent dimension witness.

Physical Review A•Aug 3, 2015•28 citations
In this Letter, we compute an analogue of Tsirelson's bound for Hardy's test of nonlocality, that is, the maximum violation of locality constraints allowed by the quantum formalism, irrespective of the dimension of the system. The value is found to be the same as the one achievable already with two-qubit systems, and we show that only a very specific class of states can lead to such maximal value, thus highlighting Hardy's test as a device-independent self-test protocol for such states. By considering realistic constraints in Hardy's test, we also compute device-independent upper bounds on this violation and show that these bounds are saturated by two-qubit systems, thus showing that there is no advantage in using higher-dimensional systems in experimental implementations of such a test.
Hardy-type arguments manifest Bell nonlocality in one of the simplest possible ways. Except for demonstrating nonclassical signature of entangled states in question, they can also serve for device-independent self-testing of states, as shown, e.g., in Phys. Rev. Lett. 109, 180401 (2012). Here we develop and broaden these results to an extended version of Hardy's argument, often referred to as Cabello's nonlocality argument. We show that, as in the simpler case of Hardy's nonlocality argument, the maximum quantum value for Cabello's nonlocality is achieved by a pure two-qubit state and projective measurements that are unique up to local isometries. We also examine the properties of a more realistic case when small errors in the ideal constraints are accepted within the probabilities obtained and prove that also in this case the two-qubit state and measurements are sufficient for obtaining the maximum quantum violation of the classical bound.
Self-testing protocols enable the certification of quantum devices without demanding full knowledge about their inner workings. A typical approach in designing such protocols is based on observing nonlocal correlations which exhibit maximum violation in a Bell test. We show that in the Bell experiment known as Hardy's test of nonlocality, not only does the maximally nonlocal correlation self-test a quantum state, rather a nonmaximal nonlocal behavior can serve the same purpose. We, in fact, completely characterize all such behaviors leading to a self-test of every pure two-qubit entangled state except for the maximally entangled ones. Apart from presenting an alternative self-testing protocol, our method provides a powerful tool towards characterizing the complex boundary of the set of quantum correlations.
Hardy’s paradox (equivalently, Hardy’s non-locality or Hardy’s test) [Phys. Rev. Lett. 68, 2981 (1992)] is used to show non-locality without inequalities, and it has been tested several times using optical circuits. We, for the first time, experimentally test Hardy’s paradox of non-locality in superconducting qubits. For practical verification of Hardy’s paradox, we argue that the error-modeling used in optical circuits is not useful for superconducting qubits. So, we propose a new error-modeling for Hardy’s paradox and a new method to estimate the lower bound on Hardy’s probability (i.e., the probability of a specific event in Hardy’s test) for superconducting qubits. Our results confirmed the theory that any non-maximally entangled state of two qubits violates Hardy’s equations; whereas, any maximally entangled state and product state of two qubits do not exhibit Hardy’s non-locality. Further, we point out the difficulties associated with the practical implementation of quantum protocols based on Hardy’s paradox and propose possible remedies. We also propose two performance measures for any two qubits of any quantum computer based on superconducting qubits.
We test Hardy's paradox of non-locality experimentally on the IBM five-qubit quantum computer for the first time. The quantum circuit is constructed on superconducting qubits corresponding to the original Hardy's test of non-locality. Results confirmed the theory that any non-maximally entangled state of two qubits violates Hardy's Equations, whereas any maximally entangled state and product state of two qubits do not exhibit Hardy's non-locality. We also point out the difficulties associated with the practical implementation of any Hardy's paradox based quantum protocol and propose three performance measures for any two qubits of any quantum computer.
Bell's theorem states that the quantum mechanical description of physical quantities cannot be fully explained by local realistic theories, laying a solid basis for various quantum information applications. Hardy's paradox is celebrated as the simplest form of Bell's theorem concerning its "All versus Nothing" approach to test local realism. However, due to experimental imperfections, existing tests of Hardy's paradox require additional assumptions of the experimental systems, and these assumptions constitute potential loopholes for faithfully testing local realistic theories. Here, we experimentally demonstrate Hardy's nonlocality through a photonic entanglement source. By achieving a detection efficiency of 82.2%, a quantum state fidelity of 99.10%, and applying high-speed quantum random number generators for the measurement setting switching, the experiment is implemented in a loophole-free manner. During 6 h of running, a strong violation of P_{Hardy}=4.646×10^{-4} up to 5 standard deviations is observed with 4.32×10^{9} trials. A null hypothesis test shows that the results can be explained by local realistic theories with an upper bound probability of 10^{-16348}. These testing results provide affirmative evidence against local realism, and establish an advancing benchmark for quantum information applications based on Hardy's paradox.
Knowing the dimension of an unknown physical system has practical relevance, as dimensionality plays an important role in various information theoretic tasks. In this work we show that a modified version of Hardy's argument, which reveals the contradiction of quantum theory with local realism, turns out to be useful for inspecting the minimal subsystem dimension of an unknown correlated quantum system. The use of Hardy's test in this task has a novel advantage: the subsystem dimension can be determined without knowing the detailed functioning of the experimental devices; i.e., Hardy's test suffices to be a device-independent dimension witness.