The comment by Lundeen et al. contains two criticisms of our proposal. While we agree that the state-preparation procedure could be replaced by a simpler setup as proposed by the authors of the comment, we do not agree with the authors on their second, and more important point regarding two-particle weak measurements. We believe this to be the result of a misunderstanding of our original paper.
In the standard physical interpretation of quantum theory, prediction and retrodiction are not symmetric. The opposite assertion by some authors results from their use of non-standard interpretations of the theory.
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…
As Lanzagorta and Crowder have shown in their Comment [Phys. Rev. A 96, 026101 (2017)], the linear application of the Wigner rotations to the quantum state of two massive relativistic particles does not entail the instantaneous transmission of information as we concluded in our paper [Phys. Rev. A 87, 042102 (2013)]. But in the new version of our paper in arXiv [arXiv:1303.4367v2] we show (and solve) another paradox that is generated by the linear application of the Wigner rotations to a system with a single relativistic particle. So the conclusion of our paper that we cannot in general linear…
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 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.
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.
It has been proposed that the ability to perform joint weak measurements on post-selected systems would allow us to study quantum paradoxes. These measurements can investigate the history of those particles that contribute to the paradoxical outcome. Here, we experimentally perform weak measurements of joint (i.e. nonlocal) observables. In an implementation of Hardy's Paradox, we weakly measure the locations of two photons, the subject of the conflicting statements behind the Paradox. Remarkably, the resulting weak probabilities verify all these statements but, at the same time, resolve the Pa…
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 paradox is analysed within Feynman's formulation of quantum mechanics. A transition amplitude is represented as a sum over virtual paths which different intermediate measurements convert into different sets of real pathways. Contradictory statements emerge when applying to the same statistical ensemble. The "strange" weak values result is also investigated in this context.
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.
In arXiv:1107.4675 Ralph uses our post-selection model of closed timelike curves (P-CTC) to construct an "unproven-theorem" paradox, and claims that this voids our argument that P-CTCs are able to resolve such types of paradoxes. Here we point out that Ralph has not accounted for all the interactions needed for his construction. A more careful analysis confirms that indeed there is no paradox, contrary to his claims.
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.
A recent experimental proposal by Ahnert and Payne [S.E. Ahnert and M.C. Payne, Phys. Rev. A 70, 042102 (2004)] outlines a method to measure the weak value predictions of Aharonov in Hardy's paradox. This proposal contains flaws such as the state preparation method and the procedure for carrying out the requisite weak measurements. We identify previously published solutions to some of the flaws.
We implemented a joint weak measurement of the trajectories of two photons in a photonic version of Hardy's experiment. The joint weak measurement has been performed via an entangled meter state in polarization degrees of freedom of the two photons. Unlike Hardy's original argument in which the contradiction is inferred by retrodiction, our experiment reveals its paradoxical nature as preposterous values actually read out from the meter. Such a direct observation of a paradox will give us a new insight into the spooky action of quantum mechanics.
In a recent criticism (arXiv:2111.13357) of our paper arXiv:2111.09347, Drezet argues that we have forgotten to consider superpositions of detector eigenstates. However, such superpositions do not occur in the models our paper is concerned with. We also note that no one has ever observed such detector superpositions.
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 …
Classical-realistic analysis of entangled systems have lead to retrodiction paradoxes, which ordinarily have been dismissed on the grounds of counter-factuality. Instead, we claim that such paradoxes point to a deeper logical structure inherent to quantum mechanics, which is naturally described in the language of weak values, and which is accessible experimentally via weak measurements. Using as an illustration, a gedanken-experiment due to Hardy\cite{hardy}, we show that there is in fact an exact numerical coincidence between a) a pair of classically contradictory assertions about the locatio…
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…
We respond to criticism of our paper "Paradox in Wave-Paricle Duality for Non-Perturbative Measurements". We disagree with Steuernagel's derivation of the visibility of the Afshar experiment. To calculate the fringe visibility, Steuernagel utilizes two different experimental situations, i.e. the wire grid in the pattern minima and in the pattern maxima. In our assessment, this proceduere cannot lead to the correct result for the complementarity properties of wave-particle in one particular experimental set-up.
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…
In this revised reply to quant-ph/0211165, I address the question of the validity of my results in greater detail, by comparing my predictions to those of the Silberfarb-Deutsch model, and I deal at greater length with the beam area paradox. As before, I conclude that my previous results are an (order-of-magnitude) accurate estimate of the error probability introduced in quantum logical operations by the quantum nature of the laser field. While this error will typically (for a paraxial beam) be smaller than the total error due to spontaneous emission, a unified treatment of both effects reveal…
In this reply, we show that the author of the Comment arXiv:0704.3529v1 inadvertently provides additional arguments against the use of Hardy functions as test functions for the Gamow states.
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.
In this reply, we show that when we apply standard distribution theory to the Lippmann-Schwinger equation, the resulting spaces of test functions would comply with the Hardy axiom only if classic results of Paley and Wiener, of Gelfand and Shilov, and of the theory of ultradistributions were wrong. As well, we point out several differences between the ``standard method'' of constructing rigged Hilbert spaces in quantum mechanics and the method used in Time Asymmetric Quantum Theory.
This is a short reply to arXiv:2112.00436v1 and arXiv:2111.09347v1 by C. Bracken, J.R. Hance, and S. Hossenfelder. I precise some elements concerning i) the methodology of my previous version of the comment [arXiv:2111.13357v3] to arXiv:2111.09347v1, and ii) why the grand father-paradox (causal loop) presented in their article comes from a prejudice concerning retrocausality not from retrocausality or locality themselves.
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（隆德大学物理系与纳米实验室）
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…
Hardy's thought-experiment is the strongest argument against the idea of continuous trajectories of particles from the source to the detector. This idea seems to result as an unavoidable conclusion from some simple experiments. In its original form, Hardy's thought-experiment was proposed for two independent particles, a positron and an electron. The two either meet and annihilate, or don't meet but become entangled. An important feature of entanglements with particles that never meet is the difficulty they raise in front of the assumption of "hidden communication" between the particles. Indee…
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…
