Non-locality without inequality is an elegant argument introduced by L. Hardy for two qubit systems, and later generalised to $n$ qubits, to establish contradiction of quantum theory with local realism. Interestingly, for $n=2$ this argument is actually a corollary of Bell-type inequalities, viz. the CH-Hardy inequality involving Bell correlations, but for $n$ greater than 2 it involves $n$-particle probabilities more general than Bell-correlations. In this paper, we first derive a chain of completely new local realistic inequalities involving joint probabilities for $n$ qubits, and then, associated to each such inequality, we provide a new Hardy-type local reality constraint without inequalities. Quantum mechanical maximal violations of the chain of inequalities and of the associated constraints are also studied by deriving appropriate Cirel'son type theorems. These results involving joint probabilities more general than Bell correlations are expected to provide a new systematic tool to investigate entanglement.
Several arguments have been proposed some years ago, attempting to prove the impossibility of defining Lorentz-invariant elements of reality. Here I revisit that question, and bring a number of additional considerations to it. I will first analyze Hardy's argument, which was meant to show that Lorentz-invariant elements of reality are indeed inconsistent with quantum mechanics. I will then investigate to what extent the light cone associated with an event can be used to define Lorentz-invariant elements of reality. It turns out to be possible, but elements of reality associated with a product …
Hardy's paradox (equivalently, Hardy's non-locality or Hardy's test) [\href{https://link.aps.org/doi/10.1103/PhysRevLett.68.2981}{L. Hardy, Phys. Rev. Lett. \textbf{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…
We show that all $n$-qubit entangled states, with the exception of tensor products of single-qubit and bipartite maximally-entangled states, admit Hardy-type proofs of non-locality without inequalities or probabilities. More precisely, we show that for all such states, there are local, one-qubit observables such that the resulting probability tables are logically contextual in the sense of Abramsky and Brandenburger, this being the general form of the Hardy-type property. Moreover, our proof is constructive: given a state, we show how to produce the witnessing local observables. In fact, we gi…
Relativistic causality forbids superluminal signaling between distant observers. By exploiting the non-signaling principle, we derive the exact relationship between the chained Clauser-Horne-Shimony-Holt sum of correlations CHSH_K and the success probability P_K associated with Hardy's ladder test of nonlocality for two qubits and K+1 observables per qubit. Then, by invoking the Tsirelson bound for CHSH_K, the derived relationship allows us to establish an upper limit on P_K. In addition, we draw the connection between CHSH_K and the chained version of the Clauser-Horne (CH) inequality.
Here we deal with a nonlocality argument proposed by Cabello which is more general than Hardy's nonlocality argument but still maximally entangled states do not respond. However, for most of the other entangled states maximum probability of success of this argument is more than that of the Hardy's argument.
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…
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 theoretically build the general framework of Hardy-type paradox based on Bell inequality. Previous Hardy's paradoxes have been found to be special cases within the framework. Stronger Hardy-type paradox has been found even for the two-qubit…
By using an alternative, equivalent form of the CHSH inequality and making extensive use of the experimentally testable property of physical locality we determine the 64 different Bell-type inequalities (each one involving four joint probabilities) into which Hardy's nonlocality theorem can be cast. This allows one to identify all the two-qubit correlations which can exhibit Hardy-type nonlocality.
Multipartite quantum states may exhibit different types of quantum entanglement in that they cannot be converted into each other by local quantum operations only, and fully understanding mathematical structures of different types of multipartite entanglement is a very challenging task. In this paper, from the viewpoint of Hardy's nonlocality, we compare W and GHZ states and show a couple of crucial different behaviors between them. Particularly, by developing a geometric model for the Hardy's nonlocality problem of W states, we derive an upper bound for its maximal violation probability, which…
An elementary topological error in Bell's representation of the EPR elements of reality is identified. Once recognized, it leads to a topologically correct local-realistic framework that provides exact, deterministic, and local underpinning of at least the Bell, GHZ-3, GHZ-4, and Hardy states. The correlations exhibited by these states are shown to be exactly the classical correlations among the points of a 3 or 7-sphere, both of which are closed under multiplication, and hence preserve the locality condition of Bell. The alleged non-localities of these states are thus shown to result from mis…
Quantum mechanics allows systems to be entangled with each other, which results in stronger than classical correlations. Many methods of identifying entanglement have been proposed over years, most of which are based on violating some statistical inequalities. In this work we extend the idea due to Hardy, in which entanglement is not identified with use of statistical inequalities, but by simultaneous satisfaction of certain conditions. We show that the new variant of the Hardy paradox relying on marginal probabilities can be resolved only by true multipartite entangled states. Also, the state…
Gisin's theorem assures that for any pure bipartite entangled state, there is violation of Bell-CHSH inequality revealing its contradiction with local realistic model. Whether, similar result holds for three-qubit pure entangled states, remained unresolved. We show analytically that all three-qubit pure entangled states violate a Bell-type inequality, derived on the basis of local realism, by exploiting the Hardy's non-locality argument.
We present a logical type of proof of contextuality for a two-qubit state. We formulate a paradox that cannot be verified by a two-qubit system with local measurements while it is possible by using entanglement measurements. With our scheme we achieve $p_{\rm Hardy} \approx 0.167$, which is the highest probability obtained for a system of similar dimension. Our approach uses graph theory and the global exclusivity principle to give an interpretation of logical type of proofs of quantum correlations. We review the Hardy paradox and find connection to the KCBS inequality. We apply the same metho…
Self-testing protocols enable 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 Bell experiment known as Hardy's test of nonlocality not only the maximally nonlocal correlation self-tests a quantum state, rather a non-maximal nonlocal behavior can serve the same purpose. We, in fact, completely characterize all such behaviors leading to self-test of every pure two qubit entangled state except the m…
We look at what type of arguments can rule out the joint reality (or value definiteness) of two observables of a physical system, such as a qubit, and give several strong yet simple no-go results based on assumptions typically weaker than those considered previously. The first result uses simple geometry combined with a locality assumption to derive device-independent steering inequalities. These may also be regarded as "conditional" Bell inequalities, are simpler in principle to test than standard Bell inequalities, and for two-qubit systems are related to properties of the quantum steering e…
We show that positivity of {\it every} partial transpose of $N$-partite quantum states implies new inequalities on Bell correlations which are stronger than standard Bell inequalities by a factor of $2^{(N-1)/2}$. A violation of the inequality implies the system is in a bipartite distillable entangled state. It turns out that a family of $N$-qubit bound entangled states proposed by Dür {[Phys. Rev. Lett. {\bf 87}, 230402 (2001)]} violates the inequality for $N\geq 4$.
We present a fully local treatment of the double slit experiment in the formalism of quantum field theory. Our exposition is predominantly pedagogical in nature and exemplifies the fact that there is an entirely local description of the quantum double slit interference that does not suffer from any supposed paradoxes usually related to the wave-particle duality. The wave-particle duality indeed vanishes in favour of the field picture in which particles should not be regarded as the primary elements of reality and only represent excitations of some specific field configurations. Our treatment i…
Quantum nonlocality is typically assigned to systems of two or more well separated particles, but nonlocality can also exist in systems consisting of just a single particle, when one considers the subsystems to be distant spatial field modes. Single particle nonlocality has been confirmed experimentally via a bipartite Bell inequality. In this paper, we introduce an N-party Hardy-like proof of impossibility of local elements of reality and a Bell inequality for local realistic theories for a single particle superposed symmetrical over N spatial field modes (i.e. a N qubit W state). We show tha…
A proof of Bell's theorem using two maximally entangled states of two qubits is presented. It exhibits a similar logical structure to Hardy's argument of ``nonlocality without inequalities''. However, it works for 100% of the runs of a certain experiment. Therefore, it can also be viewed as a Greenberger-Horne-Zeilinger-like proof involving only two spacelike separated regions.
We present a model, motivated by the criterion of reality put forward by Einstein, Podolsky, and Rosen and supplemented by classical communication, which correctly reproduces the quantum-mechanical predictions for measurements of all products of Pauli operators on an n-qubit GHZ state (or ``cat state''). The n-2 bits employed by our model are shown to be optimal for the allowed set of measurements, demonstrating that the required communication overhead scales linearly with n. We formulate a connection between the generation of the local values utilized by our model and the stabilizer formalism…
The Hardy test of nonlocality can be seen as a particular case of the Bell tests based on the Clauser-Horne (CH) inequality. Here we stress this connection when we analyze the relation between the CH-inequality violation, its threshold detection efficiency, and the measurement settings adopted in the test. It is well known that the threshold efficiencies decrease when one considers partially entangled states and that the use of these states, unfortunately, generates a reduction in the CH violation. Nevertheless, these quantities are both dependent on the measurement settings considered, and in…
In this paper we study the non-local properties of permutation symmetric states of n-qubits. We extend the bipartite Hardy paradox and the associated CH-inequality to n-party permutation symmetric states to show that all symmetric states exhibit non-locality. Natural extensions of both the paradoxes and the inequalities are developed which relate different entanglement classes to different non-local features. We define inequalities which are violated by all states of one entanglement class, whereas there are states outside that class which do not violate.
We propose an experimental realisation of the protocol for the counterfactual disembodied transport of an unknown qubit -- or what we call counterportation -- where sender and receiver, remarkably, exchange no particles. We employ cavity quantum electrodynamics, estimating resources for beating the classical fidelity limit -- except, unlike teleportation, no pre-shared entanglement nor classical communication are required. Our approach is multiple orders of magnitude more efficient in terms of physical resources than previously proposed implementations, paving the way for a demonstration using…
A suitable generalized measurement described by a 4-element positive operator-valued measure (POVM) on each particle of a two-qubit system in the singlet state is, from the point of view of Einstein, Podolsky, and Rosen's (EPR's) criterion of elements of reality, equivalent to a random selection between two alternative projective measurements. It is shown that an EPR-experiment with a fixed POVM on each particle provides a violation of Bell's inequality without requiring local observers to choose between the alternatives. This approach could be useful for designing a loophole-free test of Bell…
An orthonormal basis consisting of unentangled (pure tensor) elements in a tensor product of Hilbert spaces is an Unentangled Orthogonal Basis (UOB). In general, for $n$ qubits, we prove that in its natural structure as a real variety, the space of UOB is a bouquet of products of Riemann spheres parametrized by a class of edge colorings of hypercubes. Its irreducible components of maximum dimension are products of $2^n-1$ two-spheres. Using a theorem of Walgate and Hardy, we observe that the UOB whose elements are distinguishable by local operations and classical communication (called locally …
In ideal quantum circuits, qubits are tacitly assumed to be uniformly fabricated and operated by prescribed signals. In reality, however, we must cope with different control signals to adjust individual qubits, which requires a large overhead of control circuits. Here, we theoretically investigate how random local fields affect cluster states and surface code states which constitute the key highly entangled states in quantum computation. We find similar behavior of temporal degradation of the fidelity for both cluster states and surface code states for the number of qubits up to ten. We find t…
We discuss the problem of finding the most favorable conditions for closing the detection loophole in a test of local realism with a Bell inequality. For a generic non-maximally entangled two-qubit state and two alternative measurement bases we apply Hardy's proof of non-locality without inequality and derive an Eberhard-like inequality. For an infinity of non-maximally entangled states we find that it is possible to refute local realism by requiring perfect detection efficiency for only one of the two measurements: the test is free from the detection loophole for any value of the detection ef…
