Abstract
A Gedanken experiment is presented where an excited and a groundstate atom are positioned such that, within the former’s halflife time, they exchange a photon with 50% probability. A measurement of their energy state will therefore indicate in 50% of the cases that no photon was exchanged. Yet other measurements would reveal that, by the mere possibility of exchange, the two atoms have become entangled. Consequently, the “no exchange” result, apparently precluding entanglement, is nonlocally established between the atoms by this very entanglement. This quantummechanical version of the ancient Liar Paradox can be realized with already existing transmission schemes, with the addition of Bell’s theorem applied to the noexchange cases. Under appropriate probabilities, the initiallyexcited atom, still excited, can be entangled with additional atoms time and again, or alternatively, exert multipartite nonlocal correlations in an interaction free manner. When densely repeated several times, this result also gives rise to the Quantum Zeno effect, again exerted between distant atoms without photon exchange. We discuss these experiments as variants of interactionfreemeasurement, now generalized for both spatial and temporal uncertainties. We next employ weak measurements for elucidating the paradox. Interpretational issues are discussed in the conclusion, and a resolution is offered within the TwoState Vector Formalism and its new Heisenberg framework.
Introduction
Waveparticle duality, nonlocality, and the measurement problem are often considered as quantum mechanics’ most fundamental paradoxes. This triad, however, does not exhaust the theory’s uniqueness. No less paradoxical is the causal efficacy of counterfactual quantum events. Consider, e.g., interactionfree measurement (IFM) [1]: A particle may hit a detector but eventually does not, yet the former’s momentum does change, just because it could have hit the latter. Several related effects, such as Hardy’s paradox [2], intensify this quantum oddity.
A simple asymmetric interaction between two particles, named Quantum Oblivion [3,4,5], has recently revealed the mechanism underlying all these “could” phenomena. After this interaction, one of two the particles undergoes momentum change while the other remains unaffected. A more detailed analysis reveals that, during a very brief interval, entanglement has been formed and then gone away. This, then, is what happens in IFM: A brief moment before the measurement is finalized, partial entanglement is formed between them, immediately to be reversed. Consequently, the measured particle undergoes momentum change while no matching change can be observed in the detector. Under such finer timeresolution, many varieties of quantum measurement, e.g., the AB effect [6], the quantum Zeno effect [7] and quantum erasure [8], similarly turn out to stem from Quantum Oblivion [3].
Such is the Gedanken experiment proposed below. A photon, which could have been emitted, entangles two distant atoms, making them EPR entangled, yet a measurement of this photon’s whereabouts may reveal the petty fact that it still resides where it has initially been.
While of our basic thoughtexperiment’s main setup is widely used, it is a particular possible outcome of it, hitherto unnoticed, which reveals the quantum surprise and its consequences discussed below.
We begin our analysis with a wellknown setup [9], which nevertheless reveals fundamental and somewhat surprising effects. We then generalize and scrutinize it using strong/weak measurements for understanding the implications of the apparent paradoxical behavior.
This paper’s outline is as follows. Section 2 presents the proposed Gedanken experiment and Sect. 3 analyzes the predicted results. In Sects. 4 and 5 it is shown that the noexchange outcome may repeat itself several times, a phenomenon that shows to indicate the involvement of the Quantum Zeno effect, and moreover that the latter effect itself is analogous to our scheme as discussed in Sect. 6. In Sect. 7 we add weak measurements [10,11,12] to take advantage of noncommuting measurements that would otherwise remain merely counterfactual, yet can be weakly employed alongside with the actual strong ones. Section 8 discusses the paradox in the broader context of several related quantum effects and reveals their underlying affinity. Section 9 is an extended discussion on the results and their significance.
Paying for Entanglement with a Photon that is Not Emitted
For the present Gedanken level, idealized settings will suffice, ignoring several technical issues. The latter are dealt extensively by Cirac [9] and others, who use this scheme for practical purposes, thereby offering a realizable setting for the present foundational issues.
Place an excited atom A at \(t=0\) inside a long reflecting cavity, such that, upon decaying, it emits a photon straight along the cavity’s opening direction (Fig. 1). Emission will occur under the timeenergy uncertainty
where \(\tau \) is the atom’s halflife time and \(\Delta E\) the difference between its two energy levels.
Next place another atom B, of the same element but in a ground state, within an identical cavity, located at distance d from A and oppositely facing it (Fig. 1). Wait for the excited atom’s halflife time \(\tau \ll d/c\) (to prevent multiple emissions and absorptions). By Eq. 1, the atom has emitted the photon with \(P=1/2\). Now close A’s cavity door and wait till \(\tau +d/c\) to close B’s cavity door as well. By virtue of the possibility of photon exchange, the two atoms’ states have become entangled:
The \(\varepsilon ^{2}\) constant accounts for the chance of finding the two atoms in their ground states while the photon \(\gamma \) is still traveling along the route connecting them, which we rather avoid, although the proposed paradox would in fact persist in a weaker form even if \(\varepsilon >0\). But for simplicity we shall assume \(\varepsilon \) is strictly zero by excluding all cases where a photon was caught on its way from A to B. The relative phase of \(\pi \) was chosen for making the resulting state a singlet.
Proceed to prepare many such entangled pairs. For each pair, give atoms A and B to Alice and Bob, respectively, for EPRBell measurement (better rush within interval \(\tau \) after the pair’s preparation, to avoid reemission in case B has absorbed the photon).
To prove Bell Inequality violations, thereby showing that the atoms’ correlations are created nonlocally, Alice/Bob must randomly choose every time one out of three variables to measure on atom A / B of each pair. The first variable, naturally, is whether the atom is excited or ground. Two more variables need to be also available for choice, variables that maintain uncertainty relations with the first. The magnetic dipole moment \(\mathbf {\mu }\) offers two such suitable variables. Upon applying the proper magnetic field on the atom and performing a projective measurement along the \(\hat{{\xi }}\) direction, its magnetic moment’s outcomes equal\(\mu _\xi \equiv \frac{\mathbf {\mu }\cdot \hat{{\xi }}}{\left {\mathbf {\mu }} \right }=\pm 1\). These, in turn, correspond to linear combinations of the excited and ground states: \(\cos \alpha \left e \right\rangle +\sin \alpha \left g \right\rangle \). Thus a measurement of \(\mu _z\), i.e., in the \(\alpha =0\) direction, is essentially an energy measurement, resulting in \(\left e \right\rangle \) with either an eigenvalue \(\mu _z =+\,1\) or \(\left g \right\rangle \) with an eigenvalue \(\mu _z =\,1\). A measurement of \(\mu _\zeta \), for instance, where \(\hat{{\zeta }}=\frac{\hat{{x}}+\hat{{y}}}{\sqrt{2}}\) corresponds to \(\alpha =\pi /4\), can discern between the \(\frac{1}{\sqrt{2}}\left( {\left e \right\rangle +\left g \right\rangle } \right) \) and \(\frac{1}{\sqrt{2}}\left( {\left e \right\rangle \left g \right\rangle } \right) \) states. Conversely, measurement in the E or \(\mu _z\) bases corresponds to measurement in the \(\alpha =0\) direction. Measurements along other directions refer to rotations of the magnetic field.
This way, precisely like the three customary spin/polarization directions measured in ordinary EPRBell experiments, we have the three measurementbases \(E, \mu _{\zeta _1}\) and \(\mu _{\zeta _2}\), with the analogous Bell correlations between them:
where \(\alpha _1\) and \(\alpha _2\) are the angles chosen by Alice and Bob in the original EPRBell version, translated in our version to the above three choices.
Results and Interpretation
Having registered many such pairs of measurement outcomes, Alice and Bob now compare them similarly to a Bell test.
As the measurements’ choices have been taken randomly, each of the partners has chosen to measure either E, \(\mu _{\zeta _1}\) or \(\mu _{\zeta _2}\), equally in \(\sim 1/3\) of the cases. Consider then the case where Alice measures \(\alpha _2 =\pi /3\),obtaining, say, + 1. She can then infer the following about the other, remote atom:

1.
If Bob measures \(\alpha _2 =\pi /3\), he gets − 1 in 100% of the cases.

2.
If Bob measures \(\alpha _1 =\pi /6\), he gets − 1 in 75% of the cases.

3.
If Bob measures E, he gets \(\left g \right\rangle _B\) in 25% of the cases.
And similarly for the second magnetic moment \(\alpha _1 =\pi /6\).
These correlations are

a.
Nonlocal: The dependence on the relative angle in Eq. (3) means: Each outcome obtained by Alice/Bob is quantumly correlated with the random outcome − 1/+ 1 obtained by Bob/Alice plus their deliberate choice of the variables \(\hbox {E}/\mu _{\zeta _1}/\mu _{\zeta _2}\) to which this outcome pertains.

b.
Lorentz covariant: Each party’s choice can equally be the partial “cause” or “effect” of the other’s outcome, depending on the referenceframe.
A quantum paradox therefore ensues when Alice/Bob measures E, revealing whether the photon has been emitted. In half of these cases (total 1/6 of all measurements), the initially excited/ground atom turns out to be still excited/ground. Yet all the predictions derived from Bell’s inequality hold for this case just as well. For example, Alice, having obtained \(\left e \right\rangle _A\), which indicates that her atom has never emitted its photon, is nevertheless informed by this outcome that:

4.
If Bob measures E, he gets \(\left g \right\rangle _B\) (affirming that his atom has never absorbed the neveremitted photon) in 100% of the cases.

5.
If Bob measures \(\alpha _1 =\pi /3\), he gets + 1 in 75% of the cases.

6.
If Bob measures \(\alpha _2 =\pi /6\), he gets + 1 in 25% of the cases.
The above counterfactuals (1) and (4), obliging 100% correlations for the two other variables which were not prepared in advance, prove that the “excited”/“emitted” outcome is an equally nonlocal effect.^{Footnote 1}
Let us stress that any other attempt to exclude this \(EE\) group of outcomes from Bellinequality’s jurisdiction in this case is as arbitrary as excluding any samevariable group from the standard Bell setting. It would be absurd, for example, to dismiss all \(xx\) cases, arguing that their correlations could have emerged locally as well. In the present case such an \(EE\) exclusion has no rationale other than wishing to escape the paradox. This objection becomes even more compelling by the above Lorentz covariance (b): It is equally Bob’s choice that, by Bell’s proof, can be interpreted as having effected Alice’s “no emission” outcome.
No less paradoxical is the case when Alice finds that her atom has emitted its photon. By (b), Bob’s choice between E, \(\mu _{\zeta _1}\) and \(\mu _{\zeta _2}\) is supposed to affect this emission of Alice’s photon, which, to enable the entanglement facilitating this nonlocal effect, must have occurred earlier!
Let us summarize. The indication of atom A/B that it has never emitted/absorbed a photon, which may naively suggest that it could not be entangled with B/A, is the result of this very AB entanglement. The classical liar paradox stemming from Epimenides’ claim that “all Cretans are liars” is not necessarily absurd when stated by a quantummechanical Cretan (see also [13]). In Sects. 8 and 9 we would see that this kind of naïve reasoning is flawed.
The paradox is inherently quantum, based on the creation and validation of quantum entanglement, thus with no classical analogue. By now we got used to the strong nonlocal correlations enabled by entangled states, but here including the specific preparation method and maintain the information as to which atom was initially excited brings about a quantum paradox. The two atoms’ quantum state is the one which, in terms of the PBR theorem, undergoes a change that is strictly ontic, although subtle, rather than merely an epistemic one concerning the observer’s information about it. This straightforwardly follows from the ontic reading of the quantum state (i.e. from treating it as corresponding to physically real object) suggested by the PBR theorem [14].
Getting Away Further with Nonpayments
Having managed to form entanglement with a distant atom, yet with the photon you had to pay with still being with you, why not proceed to “double sting”? Once your measurement indicates that your atom A has emerged from the entanglement with Bstill excited, then simply rush to direct its cavity, like a torch, towards another oppositelyfacing cavity with another groundstate atom \(B'\), in order to create a new EPR pair. Your success probability for such double luck is, apriori, 1/4,but once you did get away with the first atom, the probability goes up to 1/2 again.
Wish to push your luck further with \(B''\) and so on? Again, the apriori probability for success goes down to \(P=(1/2)^{N}\), but if you were lucky \(N1\) times, success chances for the \(N^{t\mathrm{h}}\) are again 1/2. All you can lose is the single photon that, had you been playing fair, you would have given in the first time anyway.
To summarize, adding the “no emission” option to the scheme of Cirac et al.’s [9] protocol enables entangling the excited atom with several more partners. This holds for the next section as well.
Simultaneous Entangling of Multiple Atoms Through the Unemitted Photon
A more striking outcome emerges when your excited atom Ais surrounded by a sphere with radius d of ground atoms \(B_{1}\), \(B_{2},{\ldots }, B_{N1}\). Is it possible to affect all of them at once? For this purpose, let A be out of its cavity to enable it to emit its photon to all directions, and wait. At \(t=\tau {\prime }\), being the time in which the atom has become ground with probability \((N1)/ N\), all N atoms become entangled
where \(\left {W_N } \right\rangle \) is the obviously nonlocal Npartite Wstate [15]
known to be important for quantum information applications, since it is robust against particle loss [16].
Now in 1 / N of the cases Alice, measuring her atom’s energy, will find it still excited. But what about all the remote Bobs? If they measure their atoms’ energies, they will always find them in ground state, but following a similar logic to that of Sect. 3, Alice and Bobs can verify nonlocal correlations between their atoms. For instance, they can empirically detect a violation of Bell inequality (see [17] for the case of \(N=3\)).
Zeno Collaborates with Epimenides
Despite its inherent indeterminism, quantum mechanics can also steer its randomness towards a desired direction. The Quantum Zeno effect [7], for example, has been employed to increase IFM’s efficiency from \(P=1/2\) to \(P\rightarrow 1\) [18]. Not only is this improvement equally applicable for our Liar paradox, but the Zeno effect itself turns out to be inherently embedded in our setting, in several interesting ways.
Recall first that the above nonlocal effects are Lorentz invariant, meaning that we can equally explain Bob’s measurement outcome as the cause rather than the effect of Alice’s measurement. Applied to the multiple entanglement scenarios described in Sects. 4 and 5, it is Bob’s measurements that “rejuvenate” Alice’s atom, enabling it to emerge excited time and again. While this effect is basically random, it can be manipulated into a systematic delay of atom A’s decay, which is the Quantum Zeno effect. All Bob should do is to perform a dense enough set of projective energy measurements on the potentially incoming photon, thereby preventing Alice’s atom from becoming ground.
This is described in greater detail elsewhere [19]. In the present context it should be pointed out that many (if not all) standard Quantum Zeno demonstrations published so far turn out, in retrospect, to be inadvertent Quantum Liar experiments. After all, all Zeno experiments involve nonclicking of a photon detector directed to the measured atom. It is only the verification method, namely Bell’s theorem, which is added in the present case. “By performing the null measurements frequently or continuously, one can freeze the spin dynamics. This is a kind of interactionfree measurement” [20]. And by making the atom remote, nonlocal action occurs without observable matter or energy exchange.
Weak Measurement Enabling Even the Counterfactual Choices in a Related Paradox
Finally, let us focus on the case where both parties found their atoms remaining excited and ground, apparently indicating that they were never entangled, according to the naïve reasoning above. Equation 2 makes it clear that, prior to these two measurements, the atoms have been entangled. This is corroborated by the mere possibility that the measurements chosen by Alice and Bob could be magnetic moment rather than excited/ground, in which case Bell’s proof would be straightforward. This is a simple manifestation of deterministic unitary quantum evolution.
Yet, counterfactuals, by their nonhappening, may provide an excuse for an ardent Copenhagenist to deny nonlocality at least to this group of “noexchange” outcomes. Can there be a more straightforward argument that even such “no photon exchange” is nonlocally formed?
We next employ weak measurements [10,11,12] to answer this question. Take all the cases where Alice finds her atom still excited. This time, before this measurement, she performs weak measurements on her atom’s magnetic moments \(\mu _{x}\). Not concerned with locality issues this time, Bob, informed about Alice’s choice, chooses to make a strong measurement of the same magnetic moment.
For a sufficiently large ensemble, when summing up and slicing [11, 12] Alice’s weak results per Bob’s strong ones, a significant correlation appears: The weak outcomes of A’s \(\mu _{x}=+\,1/\,1\) correspond to the strong outcomes of B’s \(\mu _{x}=\,1/+\,1\), yet Alice’s final strong measurement indicates that these correlations came with no photon exchange! For further analysis see Appendix A.
We can take even a step further (see Fig. 2). Assume that the two atoms are ground, and a single photon is emitted towards both by a beamsplitter as in [21], but with a difference in the time of arrival. That is, atom A is situated much closer than B to the photon’s source. When Alice and Bob perform the same measurements as above slightly after the expected arrival time to A, they encounter an apparent surprise: Alice’s strong energy measurement may confirm that the photon has reached her atom, thus never arriving to Bob’s atom. However, she performs in addition an earlier, weak measurement of her atom’s magnetic moment prior to the strong measurement. Bob, on his side, has strongly measured his atom, also for magnetic moment. Weak, nonlocal correlations between the atoms persist, as Alice can check on her side. Therefore, although Alice’s excited atomic state implies that the photon has solely interacted with it, entanglement between the two atoms is nevertheless (weakly) detected.^{Footnote 2} In Appendix A we show that this could arise as a disturbance caused by the weak measurement.
The Effect in Context
Before concluding, it is worth discussing the Quantum Liar experiment within the broader context of several related quantum mechanical effects, such that they can mutually shed new light on each other. First, to assess the significance of our experiment, let us compare it to its prototype. The standard EPRBell experiment involves measurements along three spin directions, out of which Alice and Bob choose one for each particle. These measurements amount to asking the particle “Is your spin up along this direction?” for which the answer may be “yes” or “no.”
In the present version, one of the questions is replaced. As entanglement is created by the possibility of a photon exchange between the atoms, a measurement set to reveal whether this exchange has occurred metaphorically amounts to asking the atom “Were you entangled with the other atom?”—for which the answer, again, may well imply “no.” This paradox renders nonlocality the smallest concern, for in the standard EPR it is taken for granted that the two particles were initially parts of the source atom, then were emitted towards Alice and Bob, and finally were absorbed by their detectors. Nothing of these is granted in the present version, where a photon, naively assumed to be the entanglement’s only possible currier, appears to have never been emitted. This assumption turns out to be misleading as in quantum mechanics possibility itself gives rise to entanglement. What our analysis shows is that an objective physical effect, namely Oblivion [3], is at the root of this erroneous appearance of no entanglement.
The initial setup of atoms entangled by photon exchange resembles a problem first proposed by Fermi [22] and intensively analyzed later, e.g. in [23,24,25,26]. However, the rest of that experiment was different, focusing on quantum logic and nonlocality rather than the on the problem of causality, which invoked Fermi’s interest in this setup. In this sense, the present analysis may shed new light on that wellstudied problem.
Also relevant is “entanglement harvesting” [27, 28] allowing two distant atoms to get entangled through their interaction with the electromagnetic vacuum even when spacelike separated. Similarly, “quantum collect calling” allows information transfer without exchange of photons [29, 30]. Our experiment, however, is much simpler and more fundamental, not requiring the quantum vacuum as a resource, and moreover persisting regardless of the distance between the atoms.
The present twist in the EPR setting was in fact potentially realizable already by an earlier, major advance employing the EPRBell setting, made when Hardy [21] addressed the fundamental question of singleparticle nonlocality. Apparently, Bell’s proof is not applicable for one particle, because it can be detected by either Alice or Bob. But Hardy has added an additional measurement, orthogonal to that of the photon’s position, with the aid of two atoms on the photon’s two paths, thereby creating a fullblown EPR situation.
The setting has been refined in [31] and realized in [32]. The proof therefore holds even when the photon is measured without the mediation of the atoms. Consider, then, the case where Alice chooses a position measurement, detecting the photon on her side. Here too, by Bell’s theorem, it is also Bob’s remote choice of variable to be measured which has determined this outcome—even when Bob seems to have measured nothing! IFM, then, is thus shown by Bell’s theorem to be a nonlocal effect, just like the spin measurement in the standard EPR setting. Other facets of the Liar paradox similarly follow.
The HongOuMandel interference [33] can be viewed as a timereversed version of Hardy’s experiment. Two distant lowintensity sources emit single photons towards the same detector within a setting that allows no “which source” information. This gives rise to an interference pattern in the photon’s detection place. Elitzur, Dolev and Zeilinger [34, 35] have replaced the two sources with two excited atoms (see also the discussions in [36, 37]) with a single photon detected from either atom. Under the sourceuncertainty in the original HOM, the two atoms become entangled as in Eq. 2, giving an earlier version of the Quantum Liar Paradox.
All these experiments share a common trait: A delicate quantum state is formed, which then undergoes a socalled “quantum oblivion” in the form of a consecutive state that gives the impression that the former state has never occurred [3,4,5]. A causal gap then emerges, such as a “no click” triggering a distant detector’s actual click [1], as well as many other wellknown quantum effects stemming from the same dynamics [3].
Discussion
The Quantum Liar experiment seems paradoxical by its apparent disregard for classical logic: The photon exchange, naively required to facilitate entanglement, seems to haveoccurred or not occurred in accordance with this entanglement. Within quantum theory, however, this classical reasoning has to be changed once it is realized that IFM [1], so far applied only to spatial uncertainty, equally applies to the temporal one. In the former case, the detector’s silence means “The particle is not here, hence it must be in the other possible location.” In the present case, with uncertainty plaguing the emission’s timing, the nonclick means “The particle has not been emitted now, hence it must be/have been emitted later/earlier.” In both cases, the uncertainty principle takes its toll with an observable effect.
Seeking an appropriate framework to interpret these effects, we might mention that there is nothing in the thought experiments discussed above that is not comprehensible within completions of quantum mechanics such as de Broglie–Bohm theory or the real ensemble formulation [38]. In these formulations, the wave functional is real as in particular are all of its branches. These interfere and entangle with each other, as they satisfy the Schrödinger equation. There are additional elements which are real, and obviate the need for a separate dynamics for measurement; In de Broglie–Bohm this is the particle’s position, and in [38] it is the beables of the members of the ensemble. From the point of view of de Broglie–Bohm the wavefunction in the experiment in Fig. 1 has the entangled form of Eq. 2, consisting of the two branches indicated. The actual atoms are either in their excited states or ground states, and the propensity to transition is guided by the entangled wavefunction.
The quantum temporal anomalies involved in this experiment may encourage the use of a timesymmetric framework [39,40,41,42,43,44,45,46,47,48,49], long familiar from Wheeler’s “delayedchoice” paradox [50] and made more acute in recent settings like the “toolate choice” experiment [51]. The main reason for that as explained below, is the light shed on the above paradoxes by the combination of past and future boundary conditions. While each of them alone could give the wrong impression with regard to the interaction that actually took place, together they complement each other, offering a richer account of quantum reality.
A fruitful timesymmetric framework is offered, for instance, by the TwoStateVectorFormalism (TSVF), where the description of a quantum system is formed by two wavefunctions proceeding along both time directions. There are cases where pre and postselection seem to give contradictory results. The contradiction, however, is only apparent. Within the TSVF, the information provided by the two boundary conditions about the quantum values prevailing between them is complementary [52,53,54]. Using this formalism and the timedependent definition of weak values:
it becomes clear that the timeevolved pre and postselection states coexist at all intermediate instances. Thus, in our Gedanken experiment, weak measurements performed by Alice and Bob reveal the combination of an entangled state given by Eq. 2 (rather than a product \(\left e \right\rangle \left g \right\rangle \)), and a product state evolving backwards from the future. Together, both measurements give rise to nonlocal correlations, suggesting that Bob’s atom has subtly changed despite the absence of observable photon exchange.
These nonlocal correlations can be also understood in terms of the “Cheshire Cat” effect [55]: A particle may take one path while its spin is weakly measured along a different one. An analogous “catless” bare smile (i.e. magnetic moment with no energy) may be carried in the form of the born/unborn photon for the present experiment.
This timesymmetric formulation of the paradox may gain further insights when examined within the recently formulated timesymmetric Heisenberg framework [53, 54]. Within this formulation, Alice’s atom has a deterministic operator with regard to its energy (i.e., when projecting on the atom’s energy she finds an excited state with certainty), yet it also has a nonlocal deterministic operator sensitive to the relative phase between \(\left e \right\rangle _A \left g \right\rangle _B\) and \(\left g \right\rangle _A \left e \right\rangle _B\). It is this operator which generalizes the singleparticle notion of modular momentum [56], accounting for the nonlocal correlations with Bob’s atom. In other words, the initial (entangled) state of the system suggests that the operator \(\sigma _y^{A}\sigma _x^{B}\) is a deterministic operator, while the final strong measurements disentangle the state, giving rise to \(\sigma _z^{A}\) and \(\sigma _x^{B}\) as the set of deterministic operators. This kind of complementarity between future and past is discussed in detail in [52,53,54].
Finally, the fact that the laboratory protocol for the effect’s demonstration is already in wide use for practical proposes, such as quantum transmission [9], makes the experiment very feasible. Once an EPR pair is prepared by a possible photon exchange between the two atoms as described above, the nowentangled atoms should undergo Bell tests, selecting the cases where one or two of the atoms underwent energy measurement and found to be in the same state as its preparation, namely ground or excited state. Such cases give the impression that the atom has “remained” in its earlier state, hence no photon seems to have ever been exchanged, yet—and here lies the surprise—Bell’s theorem proves that this impression of “remaining” is misleading: The apparent “no entanglement” is a direct consequence of this very entanglement.
While the Quantum Liar experiment appears paradoxical, timesymmetric approaches make it more natural. For example, an analysis performed using the TSVF approach within quantum mechanics suggested that the born/unborn photon has unique physical properties [57, 58]. Moreover, recent experiments [59, 60] and thought experiments [61,62,63] employ strong rather than weak measurements for analyzing new phenomena. A subsequent work [18], based on Davies et al. [57, 58], examines through the analysis of weak values the evolution between two strong “noemission” measurements: the wavefunction is first weakly radiated and then weakly “drawn back” to its stillexcited atom. Such combinations of strong and weak measurement offer many further opportunities for exploring the horizons of quantum reality.
Notes
In other words, stating that the atom “has remained excited/ground” is somewhat misleading. Rather, it has been initially prepared excited/ground, then became superposed, and then sometimes returned to the original state, which can occur only via nonlocal correlation with the other atom.
This is a matter introduced and extensively discussed in [12].
References
Elitzur, A.C., Vaidman, L.: Quantum mechanical interactionfree measurements. Found. Phys. 23, 987 (1993)
Hardy, L.: Quantum mechanics, local realistic theories, and Lorentzinvariant realistic theories. Phys. Rev. Lett. 68, 2981 (1992)
Elitzur, A.C., Cohen, E.: Quantum oblivion: a master key for many quantum riddles. Int. J. Quant. Inf. 12, 1560024 (2014)
Cohen, E., Elitzur, A.C.: Voices of silence, novelties of noise: oblivion and hesitation as origins of quantum mysteries. J. Phys. Conf. Ser. 626, 012013 (2015)
Elitzur, A.C., Cohen, E.: \(11=\) Counterfactual: on the potency and significance of quantum nonevents. Phil. Trans. R. Soc. A 374, 20150242 (2016)
Aharonov, Y., Bohm, D.: Significance of electromagnetic potentials in the quantum theory. Phys. Rev. 115, 485–491 (1959)
Misra, B., Sudarshan, E.C.G.: The Zeno’s paradox in quantum theory. J. Math. Phys. 18, 756 (1977)
Scully, M., Drühl, K.: Quantum eraser: a proposed photon correlation experiment concerning observation and delayed choice in quantum mechanics. Phys. Rev. A 25, 2208 (1982)
Cirac, J.I., Zoller, P., Kimble, H.J., Mabuchi, H.: Quantum state transfer and entanglement distribution among distant nodes in a quantum network. Phys. Rev. Lett. 78, 3221 (1997)
Aharonov, Y., Albert, D.Z., Vaidman, L.: How the result of a measurement of a component of the spin of a spin1/2 particle can turn out to be 100. Phys. Rev. Lett. 60, 1351 (1988)
Aharonov, Y., Cohen, E., Elitzur, A.C.: Foundations and applications of weak quantum measurements. Phys. Rev. A 89, 052105 (2014)
Aharonov, Y., Cohen, E., Elitzur, A.C.: Can a future choice affect a past measurement’s outcome? Ann. Phys. 355, 258–268 (2015)
Cohen, E., Elitzur, A.C.: Honoring epimenides of crete (\(\pm \Delta \text{ x }\)): from quantum paradoxes, through weak measurements, to the nature of time. EPJ Web Conf. 71, 00028 (2014)
Pusey, M.F., Barrett, J., Rudolph, T.: On the reality of the quantum state. Nat. Phys. 8, 475–478 (2012)
Dür, W., Vidal, G., Cirac, J.I.: Three qubits can be entangled in two inequivalent ways. Phys. Rev. A 62, 062314 (2000)
Fleischhauer, M., Lukin, M.D.: Quantum memory for photons: darkstate polaritons. Phys. Rev. A 65, 022314 (2002)
Cabello, A.: Bell’s theorem with and without inequalities for the threequbit Greenberger–Horne–Zeilinger and W states. Phys. Rev. A 65, 032108 (2002)
Kwiat, P.G., Weinfurter, H., Herzog, T., Zeilinger, A., Kasevich, M.: Experimental realization of interactionfree measurements. Phys. Rev. Lett. 74, 4763 (1995)
Aharonov, Y., Cohen, E., Elitzur, A.C.: The weak reality of electromagnetic radiation, preprint (2016)
Nakanishi, T., Yamane, K., Kitano, M.: Absorptionfree optical control of spin systems: the quantum Zeno effect in optical pumping. Phys. Rev. A 65, 013404 (2001)
Hardy, L.: Nonlocality of a single photon revisited. Phys. Rev. Lett. 73, 2279 (1994)
Fermi, E.: Quantum theory of radiation. Rev. Mod. Phys. 4, 87 (1932)
Valentini, A.: Nonlocal correlations in quantum electrodynamics. Phys. Lett. A 153, 321–325 (1991)
Hegerfeldt, G.C.: Causality problems for Fermi’s twoatom system. Phys. Rev. Lett. 72, 596 (1994)
Buchholz, D., Yngvason, J.: There are no causality problems for Fermi’s twoatom system. Phys. Rev. Lett. 73, 613 (1994)
Dickinson, R., Forshaw, J., Millington, P.: Probabilities and signalling in quantum field theory. Phys. Rev. D 93, 065054 (2016)
PozasKerstjens, A., MartinMartinez, E.: Harvesting correlations from the quantum vacuum. Phys. Rev. D 92, 064042 (2015)
PozasKerstjens, A., MartinMartinez, E.: Entanglement harvesting from the electromagnetic vacuum with hydrogenlike atoms. Phys. Rev. D 94, 064074 (2016)
Jonsson, R.H., MartinMartinez, E., Kempf, A.: Information transmission without energy exchange. Phys. Rev. Lett. 114, 110505 (2015)
Jonsson, R.H.: Information travels in massless fields in 1+1 dimensions where energy cannot. J. Phys. A 49, 445402 (2016)
Dunningham, J., Vedral, V.: Nonlocality of a single particle. Phys. Rev. Lett. 99, 180404 (2007)
Fuwa, M., Takeda, S., Zwierz, M., Wiseman, H.M., Furusawa, A.: Experimental proof of nonlocal wavefunction collapse for a single particle using homodyne measurements. Nat. Commun. 6, 6665 (2015)
Hong, C.K., Ou, Z.Y., Mandel, L.: Measurement of subpicosecond time intervals between two photons by interference. Phys. Rev. Lett. 59, 2044 (1987)
Elitzur, A.C., Dolev, S., Zeilinger, A.: Timereversed EPR and the choice of histories in quantum mechanics. In: Physics in Collision, Proceedings of the XXII Solvay Conference on Physics, pp. 452–461 (2003)
Elitzur, A.C., Dolev, S.: Quantum phenomena within a new theory of time. In: Elitzur, A.C., Dolev, S., Kolenda, N. (eds.) Quo Vadis Quantum Mechanics?, pp. 325–349. Springer, Berlin (2005)
Stuckey, W.M., Silberstein, M., Cifone, M.: Reconciling spacetime and the quantum: relational blockworld and the quantum liar paradox. Found. Phys. 38, 348–383 (2008)
Kastner, R.E.: The quantum liar experiment in Cramer’s transactional interpretation. Stud. Hist. Philos. Sci. 41, 86–92 (2010)
Smolin, L.: Quantum mechanics and the principle of maximal variety. Found. Phys. 46, 736–758 (2016)
Watanabe, S.: Symmetry of physical laws. Part III. Prediction and retrodiction. Rev. Mod. Phys. 27, 179 (1955)
Aharonov, Y., Bergmann, P.G., Lebowitz, J.L.: Time symmetry in the quantum process of measurement. Phys. Rev. 134, B1410 (1964)
de Beauregard, O.C.: Time symmetry and interpretation of quantum mechanics. Found. Phys. 6, 539–559 (1976)
Cramer, J.G.: The transactional interpretation of quantum mechanics. Rev. Mod. Phys. 58, 647 (1986)
Blasone, M., Srivastava, Y.N., Vitiello, G., Widom, A.: Phase coherence in quantum Brownian motion. Ann. Phys. 267, 61–74 (1988)
Price, H.: Toy models for retrocausality. Stud. Hist. Philos. Mod. Phys. 39, 752–761 (2008)
Sutherland, R.I.: Causally symmetric Bohm model. Stud. Hist. Philos. M. P. 39, 782–805 (2008)
Kastner, R.E.: The Transactional Interpretation of Quantum Mechanics: The Reality of Possibility. Cambridge University Press, Cambridge (2012)
Price, H., Wharton, K.: Disentangling the quantum world. Entropy 17, 7752–7767 (2015)
Stuckey, W.M., Silberstein, M., McDevitt, T.: Relational blockworld: providing a realist psiepistemic account of quantum mechanics. Int. J. Quantum Found. 1, 123–170 (2015)
Silberstein, M., Stuckey, W.M., McDevitt, T.: Beyond the dynamical universe: unifying block universe physics and time as experienced. Oxford University Press (forthcoming)
Wheeler, J.A.: Law without law. In: Wheeler, J.A., Zurek, W.H. (eds.) Quantum Theory and Measurement, pp. 182–213. Princeton University Press, Princeton (1983)
Elitzur, A.C., Cohen, E., Shushi, T.: The toolatechoice experiment: Bell’s proof within a setting where the nonlocal effect’s target is an earlier event. Int. J. Quantum Found. 2, 32–46 (2016)
Aharonov, Y., Cohen, E., Gruss, E., Landsberger, T.: Measurement and collapse within the twostatevector formalism. Quantum Stud. 1, 133–146 (2014)
Aharonov, Y., Landsberger, T., Cohen, E.: A nonlocal ontology underlying the timesymmetric Heisenberg representation (2015). arXiv:1510.03084
Aharonov, Y., Cohen, E., Colombo, F., Landsberger, T., Sabadini, I., Struppa, D.C., Tollaksen, J.: Finally making sense of the doubleslit experiment. Proc. Natl. Acad. Sci. USA 114, 6480–6485 (2017)
Aharonov, Y., Popescu, S., Rohrlich, D., Skrzypczyk, P.: Quantum Cheshire cats. New J. Phys. 15, 113015 (2013)
Aharonov, Y., Pendleton, H., Petersen, A.: Modular variables in quantum theory. Int. J. Theor. Phys. 2, 213 (1969)
Davies, P.C.W.: Timedependent quantum weak values: decay law for postselected states. Phys. Rev. A 79, 032103 (2009)
Walker, S.I., Davies, P.C.W., Samantray, P., Aharonov, Y.: Quantum nonbarking dogs. New J. Phys. 16, 063026 (2014)
Okamoto, R., Takeuchi, S.: Experimental demonstration of a quantum shutter closing two slits simultaneously. Sci. Rep. 6, 35161 (2016)
Denkmayr, T., Geppert, H., Lemmel, H., Waegell, M., Dressel, J., Hasegawa, Y., Sponar, S.: Experimental demonstration of direct path state characterization by strongly measuring weak values in a matterwave interferometer. Phys. Rev. Lett. 118, 010402 (2017)
Aharonov, Y., Cohen, E., Landau, A., Elitzur, A.C.: The case of the disappearing (and reappearing)particle. Sci. Rep. 7, 531 (2017)
Elitzur, A.C., Cohen, E., Okamoto, R., Takeuchi, S.: Nonlocal position changes of a photon revealed by quantum routers. arXiv:1707.09483
Aharonov, Y., Cohen, E., Carmi, A., Elitzur, A.C.: Anomalous weak values emerging from strong interactions between light and matter. arXiv:1709.08475
Piacentini, F. et al.: Determining the quantum expectation value by measuring a single photon. Nat. Phys. (forthcoming) https://doi.org/10.1038/nphys4223 (2017), arXiv:1706.08918
Kastner, R.E.: Demystifying weak measurements. Found. Phys. 47, 697–707 (2017)
Cohen, E.: What weak measurements and weak values really mean: reply to Kastner. Found. Phys. 47, 1261–1266 (2017)
Acknowledgements
It is a pleasure to thank Sandu Popescu for helpful comments and discussions. We also wish to thank three referees for assisting us to improve the paper. This research was supported in part by Perimeter Institute for Theoretical Physics. Research at Perimeter Institute is supported by the Government of Canada through the Department of Innovation, Science and Economic Development and by the Province of Ontario through the Ministry of Research and Innovation. A.C.E. wishes to especially thank Perimeter Institute’s administrative and bistro staff for their precious help. Y.A. acknowledges support from the Israel Science Foundation Grant No. 1311/14 and ICORE Excellence Center “Circle of Light”. E.C. was supported by ERC AdG NLST.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Further Analysis in Terms of Weak Measurements
Appendix A: Further Analysis in Terms of Weak Measurements
As an additional elaboration on the analysis of the paradox using weak measurements, we shall now quantify the interplay between the information gain through weak measurements and their disturbance to the measured state. For doing so, we shall use the mapping of the excited/ground states to the up/down eigenstate of a Pauliz matrix, and perform the weak measurement in the x basis. Let the weak measurement be described as usual via the von Neumann Hamiltonian:
where N is the number of measured atoms in Alice’s ensemble, and the momentum p is the canonical conjugate of q, representing the position of the measuring pointer. The coupling g(t) differs from zero only during the measurement interval \(0\le t\le T\) and normalized according to
Let the initial wavefunction of the system be:
that is, Alice’s atom is ground and the pointer is described by a wide Gaussian in comparison to the measurement weakness: \(\frac{\lambda }{\sqrt{N}}\ll \frac{\hbar }{\Delta p}\), but we also require that \(\lambda \gg \frac{\hbar }{\Delta p}\). These conditions suggest that a single weak measurement provides a negligible amount of information, but when performing the weak measurement repeatedly over a large ensemble, the average translation of the point grows like \(\lambda \sqrt{N}\), while the uncertainty grows like \(\frac{\hbar }{\Delta p}\sqrt{N}\) (as known for normal random variables) [11, 12]. Hence, the averaged translation of the pointer when measuring the pre and postselected ensemble would be significant.
But how much disturbance was induced by each measurement? Let us examine the time evolution of the system (assuming \(\hbar =1\) for simplicity):
Then the pointer’s shift is read and a translation of some \(q'\) arises in each run. When repeated over the large ensemble, this allows to infer the weak value, but also suggests the negligible flip chance of \(\frac{4\lambda ^{2}q^{{\prime 2}}}{N}\), i.e. a small disturbance to the measured state. As mentioned above, and as must be the case in order to maintain the uncertainty principle, this is also the amount of information provided by a single weak measurement of the ground atom in our experiment. So is it possible to explain this way the nonlocal correlations between Alice and Bob which are described in a simple way using the TSVF? Yes, otherwise the latter would not have been equivalent to quantum mechanics. But is such an explanation plausible? This is a somewhat philosophical question, going beyond the scope of this paper, but first, it is possible to make the measurement strength smaller and smaller while correspondingly increasing the ensemble’s size. The effect would still persist even though the amount of disturbance in each single experiment is very small [11, 12]. Another reason (discussed in [11, 12]) for the TSVF being heuristically simple is the apparent implausibility of assigning a property to an ensemble of \(N\gg 1\) atoms based on a very few atoms \(4\lambda ^{2}q^{{\prime 2}}\) that went from ground to excited. We find it more natural to assign this property to each of the atoms individually (this was recently supported by [64]). In a recent series of papers [52,53,54], we have further advocated this view, based on a realistic and deterministic account of QM relying on the combination of two boundary conditions. For a related discussion on this topic see [65, 66].
In any case, weak measurement is used here as a complementary tool for studying the paradox which is just as acute with projective (strong) measurements. As discussed in the main text, there seems to be more than one way to consistently interpret the results.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Aharonov, Y., Cohen, E., Elitzur, A.C. et al. InteractionFree Effects Between Distant Atoms. Found Phys 48, 1–16 (2018). https://doi.org/10.1007/s107010170127y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s107010170127y
Keywords
 Interaction free measurement
 Quantum Zeno effect
 Nonlocality
 Entanglement
 Weak measurements