Hardy's non-locality theorem for multiple two-level systems is explored in the context of generalized nonlocal theory. We find nonlocal but non-signaling probabilities, providing Hardy's nonlocal argument, which are higher than those in Quantum Mechanics. Maximum probability of success of Hardy's argument is obtained for three two-level systems in quantum as well as in a more generalized theory. Interestingly, the maximum in the nonlocal generalized theory for both the cases turns out to be same.
We give a analytic quantitative relation between Hardy's non-locality and Bell operator. We find that Hardy's non-locality is a sufficient condition for violation of Bell inequality, the upper bound of Hardy's non-locality allowed by information causality just correspond to Tsirelson bound of Bell inequality, and the upper bound of Hardy's non-locality allowed by the principle of no-signaling just correspond to the algebraic maximum of Bell operator. Then we study the Cabello's argument of Hardy's non-locality (a generalization of Hardy's argument) and find a similar relation between it and vi…
Hardy's non-locality paradox is a proof without inequalities showing that certain non-local correlations violate local realism. It is `possibilistic' in the sense that one only distinguishes between possible outcomes (positive probability) and impossible outcomes (zero probability). Here we show that Hardy's paradox is quite universal: in any (2,2,l) or (2,k,2) Bell scenario, the occurence of Hardy's paradox is a necessary and sufficient condition for possibilistic non-locality. In particular, it subsumes all ladder paradoxes. This universality of Hardy's paradox is not true more generally: we…
Quantum cognition is an emerging field making uses of quantum theory to model cognitive phenomena which cannot be explained by classical theories. Usually, in cognitive tests, subjects are asked to give a response to a question, but in this paper, we just observed the subjects' behaviour and the question and answer method was not applied in order to prevent any mental background on participants' minds. Finally, we examined the experimental data on Hardy's non-locality argument (HNA), and we noticed the violation of HNA in human behaviour.
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…
Recently,the principle of nonviolation of information causality [Nature 461,1101 (2009)], has been proposed as one of the foundational properties of nature. We explore the Hardy's nonlocality theorem for two qubit systems, in the context of generalised probability theory, restricted by the principle of nonviolation of information causality. Applying, a sufficient condition for information causality violation, we derive an upper bound on the maximum success probability of Hardy's nonlocality argument. We find that the bound achieved here is higher than that allowed by quantum mechanics,but stil…
We compare two different tests of quantum non-locality, both in theoretical terms and with respect to a possible implementation in a mesoscopic circuit: Hardy's test [Hardy, Phys. Rev. Lett. \textbf{68}, 2981 (1992)] and the CHSH test, the latter including a recently discovered inequality relevant for experiments with three possible outcomes [Collins and Gisin, J. Phys. A \textbf{37}, 1775 (2004)]. We clarify the geometry of the correlations defined by Hardy's equations with respect to the polytope of causal correlations, and show that these equations generalize to the CHSH inequality if the s…
Study of nonlocal correlations in term of Hardy's argument has been quite popular in quantum mechanics. Recently Hardy's argument of non-locality has been studied in the context of generalized non-signaling theory as well as theory respecting information causality. Information causality condition significantly reduces the success probability for Hardy's argument when compared to the result based on non-signaling condition. Here motivated by the fact that maximally entangled state in quantum mechanics does not exhibit Hardy's non-local correlation, we do a qualitative study of the property of l…
Bell's inequality fundamentally changed our understanding of quantum mechanics. Bell's insight that non-local correlations between quantum systems cannot be explained classically can be verified experimentally, and has numerous applications in modern quantum information. Today, the CHSH inequality is probably the most well-known Bell inequality and it has given us a wealth of understanding in what differentiates the classical from the quantum world. Yet, there are certainly other means of quantifying "Bell non-locality without inequalities" such as the famous Hardy's paradox. As such, one may …
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.
In this paper, we study the Hardy nonlocal argument (HNA) and the Cabello nonlocal argument (CNA) under the Information Causality, Macroscopic Locality and Local Orthogonality principles in the context of Local Randomness. We see that, in the context of all the possibilities of local randomness, the gap between the quantum mechanics and the above principles, in the Cabello's nonlocality argument is larger than the Hardy's case. Therefore the CNA is stronger control than the HNA for detecting post-quantum nosignalling correlations.
Device-Independent (DI) security is the best form of quantum cryptography, providing information-theoretic security based on the very laws of nature. In its highest form, security is guaranteed against adversaries limited only by the no-superluminal signalling rule of relativity. The task of randomness amplification, to generate secure fully uniform bits starting from weakly random seeds, is of both cryptographic and foundational interest, being important for the generation of cryptographically secure random numbers as well as bringing deep connections to the existence of free-will. DI no-sign…
Hardy's is one of the simplest arguments concerning non-locality. Recently Chen et. al. have proposed a more generalized Hardy-like argument and have shown that the probability of success increases with local system's dimension. Here we study the same in a minimally constrained theory, namely the generalized no-signaling theory(GNST). We find that not only the probability of success of this argument increases with local system dimension in GNST, it also takes a very simple functional form.
The concept of quantum entanglement and hyper-entanglement, lying at the heart of quantum information science and technologies, is physically counter-intuitive and mathematically elusive. We design a polarization-encoded ghost imaging system based on the frame of Hardy nonlocality paradox to visualize the evidence of quantum hyper-entanglement by capturing purely nonlocal photonic events. In two-photon polarization-spatial-mode hyper-entangled state, spatial entanglement con-veys the ghost images while polarization entanglement encodes the imaging channels. Then whether imaging the single ghos…
We analyze Hardy's non-locality argument for two spin-s systems and show that earlier solution in this regard was restricted due to imposition of some conditions which have no role in the argument of non-locality. We provide a compact form of non-locality condition for two spin-s systems and extend it to n number of spin-s particles. We also apply more general kind of non-locality argument still without inequality, to higher spin system.
Stapp's counterfactual argument for quantum nonlocality based upon a Hardy entangled state is shown to be flawed. While he has correctly analyzed a particular framework using the method of consistent histories, there are alternative frameworks which do not support his argument. The framework dependence of quantum counterfactual arguments, with analogs in classical counterfactuals, vitiates the claim that nonlocal (superluminal) influences exist in the quantum world. Instead it shows that counterfactual arguments are of limited use for analyzing these questions.
The principle of non-violation of "information causality", has been proposed as one of the foundational properties of nature\cite{nature}. The main goal of the paper is to explore the gap between quantum mechanical correlations and those allowed by "information causality" in the context of local randomness by using Cabello's nonlocality argument. This is interesting because the gap is slightly different than in the context of Hardy's similar nonlocality argument\cite{gazi}
Genuine multipartite nonlocality is a salient feature of quantum systems, empowering the security of multi-party device independent cryptographic protocols. Given a correlation, characterizing and detecting genuineness have been subjected to recent studies. In this regard, we propose a Hardy-type argument which is able to detect genuine $n$-way nonlocality of arbitrary quantum systems. To understand the strength of this argument we also study the optimal success probability of the argument in a minimally constrained theory, namely the generalized no-signaling theory.
We show two experimental realizations of Hardy ladder test of quantum nonlocality using energy-time correlated photons, following the scheme proposed by A. Cabello \emph{et al.} [Phys. Rev. Lett. \textbf{102}, 040401 (2009)]. Unlike, previous energy-time Bell experiments, these tests require precise tailored nonmaximally entangled states. One of them is equivalent to the two-setting two-outcome Bell test requiring a minimum detection efficiency. The reported experiments are still affected by the locality and detection loopholes, but are free of the post-selection loophole of previous energy-ti…
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…
In this paper we extend Hardy's nonlocality proof for two spin-1/2 particles [PRL 71 (1993) 1665] to the case of n spin-1/2 particles configured in the generalized GHZ state. We show that, for all n \geq 3, any entangled GHZ state violates the Bell inequality associated with the Hardy experiment. This feature is important since it has been shown [PRL 88 (2002) 210402] that, for all n odd, there are entangled GHZ states that do not violate any standard n-particle correlation Bell inequality.
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…
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, asso…
The proofs of quantum nonlocality due to GHZ and Hardy are quantitatively different from that of Bell insofar as they rely only on a consideration of whether events are possible or impossible, rather than relying on specific experimental probabilities. Here, we consider the computational task of determining whether or not a given table of possibilities constitutes a departure from possibilistic local realism. By considering the case in which one party has access to measurements with two outcomes and the other three, it is possible to see at exactly which point this task becomes computationally…
The amount of nonlocality in quantum theory is limited compared to that allowed in generalized no-signaling theory [Found. Phys. 24, 379 (1994)]. This feature, for example, gets manifested in the amount of Bell inequality violation as well as in the degree of success probability of Hardy's (Cabello's) nonlocality argument. Physical principles like information causality and macroscopic locality have been proposed for analyzing restricted nonlocality in quantum mechanics---viz. explaining the Cirel'son bound. However, these principles are not that much successful in explaining the maximum succes…
The emergence of the generalized uncertainty principle and the existence of a non-zero minimal length are intertwined. On the other hand, the Heisenberg uncertainty principle forms the core of the EPR paradox. Subsequently, here, the implications of resorting to the generalized uncertainty principle (or equally, the minimal length) instead of the Heisenberg uncertainty principle on the quantum non-locality are investigated through focusing on the Franson experiment in which the uncertainty relation is the backbone of understanding and explaining the results.
Since the pillars of quantum theory were established, it was already noted that quantum physics may allow certain correlations defying any local realistic picture of nature, as first recognized by Einstein, Podolsky and Rosen. These quantum correlations, now termed quantum nonlocality and tested by violation of Bell's inequality that consists of statistical correlations fulfilling local realism, have found loophole-free experimental confirmation. A more striking way to demonstrate the conflict exists, and can be extended to the multipartite scenario. Here we report experimental confirmation of…
We test experimentally the quantum ``paradox'' proposed by Lucien Hardy in 1993 [Phys. Rev. Lett. 71, 1665 (1993)] by using single photons instead of photon pairs. This is achieved by addressing two compatible degrees of freedom of the same particle, namely its spin angular momentum, determined by the photon polarization, and its orbital angular momentum, a property related to the optical transverse mode. Because our experiment involves a single particle, we cannot use locality to logically enforce non-contextuality, which must therefore be assumed based only on the observables' compatibility.…
The most general class of non-locality criteria for N-partite d-chotomic systems with k number of measurement settings is derived under the constraint of measurement symmetries. It is the complete characterisation of the multi-partite non-locality when the correlation is assumed to be symmetric under the choice of measurement settings. The generalized non-locality condition is obtained using the correlation functions, which are derived from Fourier analysis of probability spectrums. It is found that the condition for the local hidden variable (LHV) model is violated by multipartite quantum sta…
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…
Ever since the work of Bell, it has been known that entangled quantum states can rise non-local correlations. However, for almost forty years, it has been assumed that the most non-local states would be the maximally entangled ones. Surprisingly it is not the case: non-maximally entangled states are generally more non-local than maximally entangled states for all the measures of non-locality proposed to date: Bell inequalities, the Kullback-Leibler distance, entanglement simulation with communication or with non-local boxes, the detection loophole and efficiency of cryptography. In fact, one c…
The observation of the non-local properties of multipartite entangled states is of great importance for quantum information protocols. Such properties, however, are fragile and may not be observed in the presence of decoherence exhibited by practical physical systems. In this work, we investigate the robustness of the non-locality of symmetric states experiencing phase and amplitude damping, using suitable Bell inequalities based on an extended version of Hardy's paradox. We derive thresholds for observing non-locality in terms of experimental noise parameters, and demonstrate the importance o…
We consider entropy in Generalized Non-Signalling Theory (also known as box world) where the most common definition of entropy is the measurement entropy. In this setting, we completely characterize the set of allowed entropies for a bipartite state. We find that the only inequalities amongst these entropies are subadditivity and non-negativity. What is surprising is that non-locality does not play a role - in fact any bipartite entropy vector can be achieved by separable states of the theory. This is in stark contrast to the case of the von Neumann entropy in quantum theory, where only entang…
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…
We show here that the recent work of Wolf and Wullschleger (quant-ph/0502030) on oblivious transfer apparently opens the possibility that non-local correlations which are stronger than those in quantum mechanics could be used for bit-commitment. This is surprising, because it is the very existence of non-local correlations which in quantum mechanics prevents bit-commitment. We resolve this apparent paradox by stressing the difference between non-local correlations and oblivious transfer, based on the time-ordering of their inputs and outputs, which prevents bit-commitment.
Studying generalized non-local theories brings insight to the foundations of quantum mechanics. Here we focus on non-locality swapping, the analogue of quantum entanglement swapping. In order to implement such a protocol, one needs a coupler that performs the equivalent of quantum joint measurements on generalized `box-like' states. Establishing a connection to Bell inequalities, we define consistent couplers for theories containing an arbitrary amount of non-locality, which leads us to introduce the concepts of perfect and minimal couplers. Remarkably, Tsirelson's bound for quantum non-locali…
Multipartite nonlocality in a network is conceptually different from standard multipartite Bell nonlocality. In recent times, network nonlocality has been studied for various topologies. We consider a linear-chain topology of the network and demonstrate the quantum nonlocality (the non-$n$-locality). Such a network scenario involves $n$ number of independent sources and $n+1$ parties, two edge parties (Alice and Charlie), and $n-1$ central parties (Bobs). It is commonly assumed that each party receives only two inputs. In this work, we consider a generalized scenario where the edge parties rec…
Standard multiparty Bell experiments involve a single source shared by a set of observers. In contrast, network Bell experiments feature multiple independent sources, and each of them may distribute physical systems to a set of observers who perform randomly chosen measurements. The $n$-locality scenario in star-network configuration involves $n$ number of edge observers (Alices), a central observer (Bob), and $n$ number of independent sources having no prior correlation. Each Alice shares an independent state with the central observer Bob. Usually, in network Bell experiments, one considers t…
By studying generalized non-signalling theories, the hope is to find out what makes quantum mechanics so special. In the present paper, we revisit the paradigmatic model of non-signalling boxes and introduce the concept of a genuine box. This will allow us to present the first generalized non-signalling model featuring quantum-like dynamics. In particular, we present the coupler, a device enabling non-locality swapping, the analogue of quantum entanglement swapping, as well as teleportation. Remarkably, part of the boundary between quantum and post-quantum correlations emerges in our study.
We propose a family of non-locality unique games for 2 parties based on a square lattice on an arbitrary surface. We show that, due to structural similarities with error correction codes of Kitaev for fault tolerant quantum computation, the games have classical values computable in polynomial time for $d=2$ measurement outcomes. By representing games in their graph form, for arbitrary $d$ and underlying surface we provide their classification into equivalence classes with respect to relabeling of measurement outcomes, for a selected set of permutations which define the winning conditions. A ca…
A correlation measure relating to measured and unmeasured local quantities in quantum mechanics is introduced, and is then applied to assess the locality implications for Bell/CHSH and similar set-ups. This leads to some interesting results, and the scheme is extended to the generalized no-signalling boxes framework. Some questions are raised about the use of counterfactual reasoning in quantum mechanics.
Recent discussions by Mermin [1] and Stapp [2] in this journal on non-locality and counterfactuality are shown to contain linguistic problems that require verification. As such they can at most provide us with two subjective choices for the meaning of 'counterfactual statements' in quantum mechanics. We shall show that the word 'counterfactual' is in fact inappropriate here and should be replaced by the word 'hypothetical'. Mermin's choice imposes a strictly contextual meaning based upon an interpretation of counterfactuality which he used to refute, without proof as we shall see, Stapp's logi…
Is information causality a new physical principle? To answer this question, we first analytically derive the criteria of emergence of quantum correlations from information causality. Then it is shown that, as emergence criteria of quantum correlations, information causality and uselessness of coupler-based non-locality swapping can be regarded equivalent. Therefore, incapability of non-locality swapping using a coupler is as powerful as information causality in the single-out of quantum physics from generalized non-signalling models.
We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this includes Kochen-Specker configurations and more. We show that contextuality, and non-locality as a special case, correspond exactly to obstructions to the existence of global sections. We describe a linear algebraic approach to computing these obstructions, which allows a systematic treatment of arguments for non-locality and contextuality. We distinguish a…
The three-tangle-dependence of $S_{max} = \max <S>$, where $S$ is Svetlichny operator, are explicitly derived when one party moves with an uniform acceleration with respect to other parties in the generalized Greenberger-Horne-Zeilinger and maximally slice states. The $π$-tangle-dependence of $S_{max}$ are also derived implicitly. From the dependence we conjecture that the multipartite entanglement is not the only physical resource for quantum mechanical multipartite non-locality.
Motivated by Popescu's example of hidden nonlocality, we elaborate on the conjecture that quantum states that are intuitively nonlocal, i.e., entangled, do not admit a local causal hidden variables model. We exhibit quantum states which either (i) are nontrivial counterexamples to this conjecture or (ii) possess a new kind of more deeply hidden irreducible nonlocality. Moreover, we propose a nonlocality complexity classification scheme suggested by the latter possibility. Furthermore, we show that Werner's (and similar) hidden variables models can be extended to an important class of generaliz…
In this work, we propose device independent true random numbers generation protocols based on non-inequality paradoxes such as Hardy's and Cabello's non-locality argument. The efficiency of generating randomness in our protocols are far better than any other proposed protocols certified by CHSH inequality or other non-locality test involving inequalities. Thus, highlighting non-inequality paradox as an important resource for device independent quantum information processing in particular generating true randomness. As a byproduct, we find that the non-local bound of the Cabello's argument with…
Quantum theory violates Bell's inequality, but not to the maximum extent that is logically possible. We derive inequalities (generalizations of Cirel'son's inequality) that quantify the upper bound of the violation, both for the standard formalism and the formalism of generalized observables (POVMs). These inequalities are quantum analogues of Bell inequalities, and they can be used to test the quantum version of locality. We discuss the nature of this kind of locality. We also go into the relation of our results to an argument by Popescu and Rohrlich (Found. Phys. 24, 379 (1994)) that there i…
The unique entanglement measure is concurrence in a 2-qubit pure state. The maximum violation of Bell's inequality is monotonically increasing for this quantity. Therefore, people expect that pure state entanglement is relevant to the non-locality. For justification, we extend the study to three qubits. We consider all possible 3-qubit operators with a symmetric permutation. When only considering one entanglement measure, the numerical result contradicts expectation. Therefore, we conclude ``Non-Locality$\neq$Quantum Entanglement''. We propose the generalized $R$-matrix or correlation matrix f…
