We propose an experimental setup for the implementation of weak measurements in the context of the gedankenexperiment known as Hardy's Paradox. As Aharonov et al. showed, these weak values form a language with which the paradox can be resolved. Our analysis shows that this language is indeed consistent and experimentally testable. It also reveals exactly how a combination of weak values can give rise to an apparently paradoxical result.
Hardy's paradox provides an all-versus-nothing fashion to directly certify that quantum mechanics cannot be completely described by local realistic theory. However, when considering potential imperfections in experiments, like imperfect entanglement source and low detection efficiency, the original Hardy's paradox may induce a rather small Hardy violation and only be realized by expensive quantum systems. To overcome this problem, we propose a realigned Hardy's paradox. Compared with the original version of Hardy's paradox, the realigned Hardy's paradox can dramatically improve the Hardy viola…
In the present Note it is shown that Hardy thought experiment does not lead to any paradox and its explanation can be made by using quantum mechanical methods, without the need of weak measurements theories. The confusion arising about this thought experiment follows from ignoring the use of a projective measurement of the kind of knowledge. A certain comment about the realization of Hardy thought experiment with photons is made.
A Hardy-like version of the quantum pigeonhole paradox is proposed, which can also be considered as a special kind of Hardy's paradox. Besides an example induced from the minimal system, a general construction of this paradox from an $n$-qubit quantum state is also discussed. Moreover, by introducing the projected-coloring graph and the projected-coloring graph state, a pictorial representation of the Hardy-like quantum pigeonhole paradox can be presented. This Hardy-like version of quantum pigeonhole paradox can be implemented more directly in the experiment than the original one, since it do…
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…
Hardy's paradox was originally presented as a demonstration, without inequalities, of the incompatibility between quantum mechanics and the hypothesis of local causality. Equipped with newly developed tools that allow for a quantitative assessment of realism, here we revisit Hardy's paradox and argue that non-local causality is not mandatory for its solution; quantum irrealism suffices.
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…
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…
In the paper, using the language of spin-half particles, Hardy's paradox is examined within different semantics: a partial one, a many-valued one, and one defined as a set of weak values of projection operators. As it is shown in this paper, any of such non-classical semantics can resolve Hardy's paradox.
We present the general Hardy-like quantum pigeonhole paradoxes for \textit{n}-particle states, and find that each of such paradoxes can be simply associated to an un-colorable solution of a specific vertex-coloring problem induced from the projected-coloring graph (a kind of unconventional graph). Besides, as a special kind of Hardy's paradox, several kinds of Hardy-like quantum pigeonhole paradoxes can even give rise to higher success probability in demonstrating the conflict between quantum mechanics and local or noncontextual realism than the previous Hardy's paradoxes. Moreover, not only m…
Hardy's proof is considered the simplest proof of nonlocality. Here we introduce an equally simple proof that (i) has Hardy's as a particular case, (ii) shows that the probability of nonlocal events grows with the dimension of the local systems, and (iii) is always equivalent to the violation of a tight 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…
Hardy's nonlocality is a "nonlocality proof without inequalities": it exemplifies that quantum correlations can be qualitatively stronger than classical correlations. This paper introduces variants of Hardy's nonlocality in the CHSH scenario which are realized by the PR-box, but not by quantum correlations. Hence this new kind of Hardy-type nonlocality is a proof without inequalities showing that superquantum correlations can be qualitatively stronger than quantum correlations.
We establish a quantitative relation between Hardy's paradox and the breaking of uncertainty principle in the sense of measurement-disturbance relations in the conditional measurement of non-commuting operators. The analysis of the inconsistency of local realism with entanglement by Hardy is simplified if this breaking of measurement-disturbance relations is taken into account, and a much simplified experimental test of local realism is illustrated in the framework of Hardy's thought experiment. The essence of Hardy's model is identified as a combination of two conditional measurements, which …
Tests such as Bell's inequality and Hardy's paradox show that joint probabilities and correlations between distant particles in quantum mechanics are inconsistent with local realistic theories. Here we experimentally demonstrate these concepts in the time domain, using a photonic entangling gate to perform nondestructive measurements on a single photon at different times. We show that Hardy's paradox is much stronger in time and demonstrate the violation of a temporal Bell inequality independent of the quantum state, including for fully mixed states.
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…
Recently, Chen et al introduced an alternative form of Hardy's paradox for $2$-settings and high-dimensional systems [Phy. Rev. A 88, 062116 (2013)], in which there is a great progress in improving the maximum probability of the nonlocal event. Here, we construct a general Hardy's paradox for multi-settings and high-dimensional systems, which (i) includes the paradox in [Phy. Rev. A 88, 062116 (2013)] as a special case, (ii) for spin-1/2 systems, is equivalent to the ladder proof of nonlocality without inequalities in [Phy. Rev. Lett. 13, 2755 (1997)], (iii) for spin-1 systems, increases the m…
The quantum smoothing theory [Tsang, Phys. Rev. Lett. 102, 250403 (2009); Phys. Rev. A, in press (e-print arXiv:0906.4133)] is extended to account for discrete jumps in the classical random process to be estimated, discrete variables in the quantum system, such as spin, angular momentum, and photon number, and Poissonian measurements, such as photon counting. The extended theory is used to model atomic magnetometers and study Hardy's paradox in phase space. In the phase-space picture of Hardy's proposed experiment, the negativity of the predictive Wigner distribution is identified as the culpr…
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.
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 …
Parallel lives is a model which provides an interpretation of quantum theory that is both local and realistic. This model assumes that all quantum fields are composed of point beings called "lives". Lives interact locally and have a memory of their previous interactions. The reduction of the state vector is not included in this model: lives can be divided into different worlds. This feature resembles many worlds interpretation. However in the parallel lives model, the division of lives into different worlds takes place locally. The parallel lives model is expected to be compatible with special…
This is an analysis of the recently published article `Quantum theory cannot consistently describe the use of itself' by D. Frauchiger and R. Renner~\cite{1}. Here I decipher the paradox and analyze it from the point of view of de Broglie-Bohm hidden variable theory (i.e., Bohmian mechanics). I also analyze the problem from the perspective obtained by the Copenhagen interpretation (i.e., the Bohrian interpretation) and show that both views are self consistent and do not lead to any contradiction with a `single-world' description of quantum theory.
Recently we proposed the linguistic interpretation of quantum mechanics (called quantum and classical measurement theory), which was characterized as a kind of metaphysical and linguistic turn of the Copenhagen interpretation. This turn from physics to language does not only extend quantum theory to classical systems but also yield the quantum mechanical world view (i.e., quantum philosophy or quantum language). The purpose of this paper is to formulate the double-slit experiment, the quantum eraser experiment, Wheeler's delayed choice experiment, Hardy's paradox and the three boxes paradox (t…
Schmidt rank of bipartite pure state serves as a testimony of entanglement. It is a monotone under local operation + classical communications (LOCC) and puts restrictions in LOCC convertibility of quantum states. Identifying the Schmidt rank of an unknown quantum state therefore seek importance from information theoretic perspective. In this work it is shown 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 Schmidt rank of the unknown state and hence also the minimal dimension 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.…
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…
Characterizing high-dimensional entangled states is of crucial importance in quantum information science and technology. Recent theoretical progress has been made to extend the Hardy's paradox into a general scenario with multisetting multidimensional systems, which can surpass the bound limited by the original version. Hitherto, no experimental verification has been conducted to verify such a Hardy's paradox, as most of previous experimental efforts were restricted to two-dimensional systems. Here, based on two-photon high-dimensional orbital angular momentum (OAM) entanglement, we report the…
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…
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 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…
Logical nonlocality is completely characterized by Hardy's "paradox" in (2,2,l) and (2,k,2) scenarios. We consider a variety of consequences and applications of this fact. (i) Polynomial algorithms may be given for deciding logical nonlocality in these scenarios. (ii) Bell states are the only entangled two-qubit states which are not logically nonlocal under projective measurements. (iii) It is possible to witness Hardy nonlocality with certainty in a simple tripartite quantum system. (iv) Noncommutativity of observables is necessary and sufficient for enabling logical nonlocality.
Almost all pure entangled states enable unbounded nonlocality sharing
ICFO - Institut de Ciencies Fotoniques, The Barcelona Institute of Science and Technology（ICFO-光子科学研究所，巴塞罗那科学与技术研究院）；Physics Department and NanoLund, Lund University（隆德大学物理系与纳米实验室）
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 …
A so called 'weak value' of an observable in quantum mechanics (QM) may be obtained in a weak measurement + post-selection procedure on the QM system under study. Applied to number operators, it has been invoked in revisiting some QM paradoxes (e.g., the so called Three Box paradox and Hardy s paradox). This requires the weak value to be interpreted as a bona fide property of the system considered, a par with entities like operator mean values and eigenvalues. I question such an interpretation; it has no support in the basic axioms of quantum mechanics and it leads to unreasonable results in c…
Vaidman pointed out the importance of modular values, and related the modular value of a Pauli spin operator to its weak value for specific coupling strengths [Phys. Rev. Lett. 105, 230401 (2010)]. It would be useful if this relationship is generalized since a modular value, which assumes a finite strength of the measurement interaction, is sometimes more practical than a weak value, which assumes an infinitesimally small interaction. In this paper, we give a general expression that relates the weak value and the modular value of an arbitrary observable in the 2-dimensional Hilbert space for a…
In this study, we study weak values from a quantum-logical viewpoint. In addition, we examine the validity of the counterfactual statements of Hardy's paradox, which are based on weak values, and we show that these statements have not been validated. It is also shown that strange weak values may only appear if they are not (conditional) probabilities. PACS numbers: 03.65.Ta, 03.65.Ud, 03.65.Ca
We develop a formal theory of the weak values with emphasis on the consistency conditions and a probabilistic interpretation in the counter-factual processes. We present the condition for the choice of the post-selected state to give a negative weak value of a given projection operator and strange values of an observable in general. The general framework is applied to Hardy's paradox and the spin $1/2$ system to explicitly address the issues of counter-factuality and strange weak values. The counter-factual arguments which characterize the paradox specifies the pre-selected state and a complet…
Quantum mechanics represents one of the greatest triumphs of human intellect and, undoubtedly, is the most successful physical theory we have to date. However, since its foundation about a century ago, it has been uninterruptedly the center of harsh debates ignited by the counterintuitive character of some of its predictions. The subject of one of these heated discussions is the so-called "retrodiction paradox", namely a deceptive inconsistency of quantum mechanics which is often associated with the "measurement paradox" and the "collapse of the wave function"; it comes from the apparent time-…
In this study we critically examine some important papers on weak measurement and weak values. We find some insufficiency and mistakes in these papers, and we demonstrate that the real parts of weak values provide the back-action to the post-selection, which is caused by weak measurement. Two examples, a counterfactual statement of Hardy's paradox and experiments that determine the average trajectory of photons passing through double slits, are investigated from our view point.
The notion of weak measurement in quantum mechanics has gained a significant and wide interest in realizing apparently counterintuitive quantum effects. In recent times, several theoretical and experimental works have been reported for demonstrating the joint weak value of two observables where the coupling strength is restricted to the second order. In this paper, we extend such a formulation by providing a complete treatment of joint weak measurement scenario for all-order-coupling for the observable satisfying $A^2=\mathbb{I}$ and $A^2=A$, which allows us to reveal several hitherto unexplor…
We reconsider the all-optical homodyne-measurement based experimental schemes that aim to reveal Bell nonclassicality of a single photon, often termed `nonlocality'. We focus on the schemes put forward by Tan, Walls and Collett (TWC, 1991) and Hardy (1994). In the light of our previous work the Tan, Walls and Collett setup can be described by a precise local hidden variable model, hence the claimed nonclassicality of this proposal is apparent, whereas the nonclassicality proof proposed by Hardy is impeccable. In this work we resolve the following problem: which feature of the Hardy's approach …
The Hilbert hotel is an old mathematical paradox about sets of infinite numbers. This paradox deals with the accommodation of a new guest in a hotel with an infinite number of occupied rooms. Over the past decade, there have been many attempts to implement these ideas in photonic systems. In addition to the fundamental interest that this paradox has attracted, this research is motivated by the implications that the Hilbert hotel has for quantum communication and sensing. In this work, we experimentally demonstrate the fractional vortex Hilbert's hotel scheme proposed by G. Gbur [Optica 3, 222-…
Quantum mechanical weak values of projection operators have been used to answer which-way questions, e.g. to trace which arms in a multiple Mach-Zehnder setup a particle may have traversed from a given initial to a prescribed final state. I show that this procedure might lead to logical inconsistencies in the sense that different methods used to answer composite questions, like Has the particle traversed the way X or the way Y? , may result in different answers depending on which methods are used to find the answer. I illustrate the problem by considering some examples: the quantum pigeonhole …
Projectors are a simple but powerful tool for manipulating and probing quantum systems. For instance, projecting two-qubit systems onto maximally entangled states can enable quantum teleportation. While such projectors have been extensively studied, partially-entangling measurements have been largely overlooked, especially experimentally, despite their important role in quantum foundations and quantum information. Here, we propose a way to project two polarized photons onto any state with a single experimental setup. Our scheme does not require optical non-linearities or additional photons. In…
