Abstract
A novel prediction is derived by the TwoStateVectorFormalism (TSVF) for a particle superposed over three boxes. Under appropriate pre and postselections, and with tunneling enabled between two of the boxes, it is possible to derive not only one, but three predictions for three different times within the intermediate interval. These predictions are moreover contradictory. The particle (when looked for using a projective measurement) seems to disappear from the first box where it would have been previously found with certainty, appearing instead within the third box, to which no tunneling is possible, and later reappearing within the second. It turns out that local measurement (i.e. opening one of the boxes) fails to indicate the particle’s presence, but subtler measurements performed on the two boxes together reveal the particle’s nonlocal modular momentum spatially separated from its mass. Another advance of this setting is that, unlike other predictions of the TSVF that rely on weak and/or counterfactual measurements, the present one uses actual projective measurements. This outcome is then corroborated by adding weak measurements and the AharonovBohm effect. The results strengthen the recently suggested timesymmetric Heisenberg ontology based on nonlocal deterministic operators. They can be also tested using the newly developed quantum router.
Introduction
The TwoStateVector Formalism (TSVF) enables quantum mechanics to reveal hitherto unknown aspects of quantum reality^{1, 2}. This especially holds for the quantum values that prevail between two measurements. In standard quantum theory, where only measurement makes a value valid, such “unmeasured values” seem to be meaningless. Yet they are not: In a pre and postselected ensemble, the initial and final boundary conditions should be treated on equal footing, equally affecting the state in between. Under the resulting twotimes inference, such states not only become accessible, but further reveal novel and intriguing properties of quantum reality. We therefore describe, in what follows, the pre and postselected system using a twotime state^{1, 2}:
where \({\psi \rangle }_{{t}_{i}}\) and \({}_{{t}_{f}}\langle \varphi \) are the pre and postselected states, measured at t _{ i } and t _{ f } respectively. We then let these states evolve unitarily forward/backward from the moment of pre/postselection to any moment t _{ i } < t < t _{ f } for fully determining the properties of the system. The latter is given by the corresponding weak value^{3} of the corresponding operator A:
Recently, TSVF has also revived Heisenberg’s picture of quantum mechanics^{4, 5}, by suggesting a description of quantum systems through a set of deterministic operators, based on modular momentum in a timesymmetric framework. This picture has proved to be comprehensive and illuminating with respect to quantum (dynamic) nonlocality. Within it, we employ the wellknown analogy between double potentialwells and spin systems^{6}. This approach simplifies some calculations when representing the position within the two wells via the PauliZ operator and the tunneling between the wells via the PauliX operator. These two, together with the PauliY operator, will be understood hereinafter to be nonlocal operators, sensitive to the relative phase between the wells. This difference between operators like the PauliZ, which can be measured when looking into a single well, and the PauliY, which incorporates the information from two wells, will turn out to be useful in our gedankenexperiment.
In this paper we continue the line of investigation^{7} of probing the foundations of quantum mechanics through apparent quantum paradoxes. In particular, we pursue recent gedankenexperiments where weak values coincide with eigenvalues of projective operators^{8}, as well as pre and postselected scenarios involving nontrivial dynamics^{9}. Specifically, we analyze a simple potentialwell system where a unique occurrence is shown to take place: a particle within a box seems to “disappear” at a certain instant – leaving behind only its bare nonlocal properties – and then to “reappear” to in another place and reassume them. Even within the wellknown multitude of earlier quantum paradoxes, this evolution is extremely counterintuitive. It is made possible only due to the novel inclusion of tunneling within the pre and postselected system.
This work also continues the conceptual advance made by recent works^{8, 9} of proving TSVF predictions with ordinary (projective) quantum measurements rather than (or in addition to) weak measurements. The importance of this advance is twofold: Theoretically, it avoids criticism of weak measurements raised so far^{10,11,12}. Experimentally, it has already won impressive realization in the work of^{13}, hence calling for similar realizations of other TSVF predictions, in particular the present one.
This article’s outline is as follows. In the first two sections “The Quantum Three Caskets Riddle” and “A TimeSymmetric Calculation” we present a novel effect predicted by the TSVF. In “What has Happened”? and “The Proof” the effect is analyzed. The section “Alternative Accounts” considers other possible explanations and argues that they are insufficient, while “Measuring the Effect” presents two additional verifications of the effect with the aid of weak measurements and the AharonovBohm effect. “The Heisenberg Ontology” relates the recently suggested timesymmetric Heisenberg ontology with the present case. “Recent Experimental Realization” describes a recent experimental breakthrough, of immediate applicability to the present setting.
Methods and Results
The Quantum Three Caskets Riddle
Like Shakespeare’s Portia presenting the three Caskets to her suitors, let the proverbial Alice of quantum information exercises pose a similar challenge to her Bob. She presents to him three boxes, among which a single particle is hidden. Earlier she has made one out of three measurements on these boxes, and now she discloses to Bob the outcomes of only the first and last measurements, performed at t = 0 and t = t _{ f }, respectively. She then challenges him to find the outcome of the intermediate measurement, performed in between.
Measurement A
The preselection measurement (Fig. 1) was actually a preparation, splitting the wavefunction without measurement, that sets the stage for the riddle (For illustration we use a threeport beam splitter similar to those in refs 14 and 15. In practice, it could be simpler to use a nested MachZehnder Interferometer as in refs 16 and 17. In any case, we keep the present experiment at the gedanken level).
Alice has prepared a particle at t = 0 in the state
and placed it superposed within three boxes. Tunneling was enabled between boxes 1 and 2 (but not with 3), such that the effective dynamics is given by the Hamiltonian
allowing a minor flipping rate ε from spin up to spin down and viceversa, that is, the particle flips its position within Boxes 1 and 2 every T = πħ/2ε. In terms of box occupations, the eigenstates of σ _{ x } are \((1/\sqrt{2})(1\rangle \pm 2\rangle )\).
Measurement B
This intermediate measurement, which Bob has to derive its outcome from those of A and C, was actually one out of three possible ones, chosen by Alice:

i)
If the measurement was performed shortly after A (t = t _{1} very close to t = 0), she has opened only Box 1 (never 2 or 3) to see if the particle is there.

ii)
If she has waited till \(t={t}_{2}=\frac{\pi \hslash }{4\varepsilon }\), i.e. half of the tunneling time between boxes 1 and 2 (not to be confused with half of the total experiment time), then she has opened both 1 and 2 (in whatever order) for the same purpose.

iii)
If she has further waited until \(t={t}_{3}=\frac{\pi \hslash }{2\varepsilon }\) (when a full flip occurs), she opened only the second box (never 1 or 3).
Only one of these three measurements is allowed for each particle.
Measurement C
Finally, Alice has postselected the particle at \(t={t}_{f}=\frac{\pi \hslash }{\varepsilon }\) with the state
This outcome occurs in 1/9 of the cases. Other outcomes were discarded.
The Challenge
Being told the outcomes of the initial and final A and C, Bob has to derive with certainty those of the three optional intermediate measurements B_{ i }, B_{ ii } or B_{ iii }, i.e. telling Alice:
If you chose to make the measurement at t _{ 1 } by opening Box 1, you have found the particle there with certainty. If you performed the measurement at t _{ 2 } by opening Boxes 1 and 2, you found the particle in neither. And if you have waited further till t _{ 3 }, you found the particle in Box 2.
A TimeSymmetric Calculation
How can Bob find the answer? He has two options, namely to calculate the probabilities in the standard way from past to future, or use conditional probabilities in the timesymmetric way: Take both measurements, performed before and after the intermediate measurement in question, as equally affecting it ^{1}. This contrasts with classical mechanics where initial conditions specify the complete information regarding the system at all later times. It accords, however, with mathematical reasoning, which is indifferent to time’s direction (see Fig. 2), and moreover with standard QM where the initial wavefunction does not fully determine the outcomes of all subsequent measurements. This is where TSVF offers its innovation: Add the future boundary condition for the complementary information. The resulting account is often surprising, yet in several cases can be corroborated with strong measurements^{1, 2}. As will be discussed in the next two sections, this allows Bob to find all three outcomes with certainty.
What has Happened?
Bob’s calculation proves correct. Alice confirms that all particles that ended up with the postselection C shared the following history (Fig. 2): If she chose to make measurement B_{ i }/B_{ iii }, she always found the particle in Box 1/2, respectively. But if she performed B_{ ii }, then at t _{ 2 } she found the particle in neither.
This is obviously an odd evolution. With zero tunneling probability between the first two boxes and the third, the particle could not move from Box 1, where it would have been found with certainty at t = t _{1} nor from Box 2, where it would have been found with certainty at t = t _{3}, to Box 3. As no current is expected between these boxes, no such jump is possible either.
Here then is the reasoning for our predictions (the presentation of the detailed time evolution is postponed until Eqs 9 and 10). Let the state of the system be described by a twotime state (see Eq. 1). Let us ignore the normalization from now on, as it does not affect the weak values. The twotime state is evolving due to the tunneling between 1 and 2, such that at t _{ 1 } it is
Hence at t _{ 1 } both wavefunctions, from past and future, have a positive amplitude in Box 1 (the weak value of the projection operator is 1), implying the existence of a particle there.
These wavefunctions, however, contain also a unique, imaginary amplitude in Box 2 (the weak values of the projection being −1), implying the “negative” existence of the particle there. This element, crucial for understanding this result, is explained in detail below. This also indicates the contextuality embedded in our experiment^{18, 19}.
Overall, a strong measurement of the particle in box 1 at t _{ 1 } would find it there with certainty, but also, in “weak reality,” the total number of particles within the two boxes is zero. This is consistent with the prediction at t _{ 2 }, when the two wavefunctions strongly differ: The twotime state then is
i.e., the information coming from the past tells us that the particle is in Box 1, while the information coming from the future tells us that it is in Box 2 with an imaginary amplitude. This combination of past and future information (in the form of the twotime state, or the individual weak values) tells us (Fig. 3) that the particle, due its tunneling from Box 1 to Box 2, where its existence is “negative,” resides in neither.
However, if Alice waits until \({t}_{3}=\frac{\pi \hslash }{2\varepsilon }\), she will find that, with the wavefunction’s “positive” and “negative” parts tunneling back between Boxes 1 and 2, the particle now certainly resides in Box 2, obliged by the twotime state
This unique evolution is a direct consequence of the two amplitudes’ continuous change in time, due to which, from the very first moment, they were selfcancelling. This selfcancellation, strongly resonating with some previous works such as^{20}, offers the key for understanding the particle’s intriguing evolution. First, this is not an instantaneous “jump” between the boxes. Has the particle been (weakly or strongly) measured in Box 3, it would always be found there. In Boxes 1 and 2, however, the situation is much subtler. Together, they contain zero particles. At t _{ 1 }, this zero is composed of +1 in the first box and −1 in the second. Then at t _{ 2 }, due to the tunneling allowed between these boxes, it turns into two zeroes in both, which is what a local strong measurement would reveal.
This transition has evolved continuously in time. The preselected wavefunction evolved according to
and similarly for the postselected wavefunction:
where t′ = 0 at the time of postselection and grows backwards. When reduced to the first two boxes, these wavefunctions remain orthogonal at any instant. Together they suggest the continuous change in the particle number within each of the boxes, with the total remaining 0 at all times.
Notice that the “−1 particle” should not be confused with an antiparticle. In contrast to the latter, which differs from its particle only with charge, a “−1 particle” is unique in that all its properties are negative when probed by weak measurement. This is an intriguing prediction of the TSVF, implicit already in the original 3boxes paradox^{21} and in Vaidman’s nested MachZehnder experiment^{16, 17}.
As a final note in this section, let us clarify the meaning of the phrase “with certainty” appearing repeatedly within the text. Although less naturally, it can be understood also within a singlestatevector approach. At t _{ 1 } for instance, we claim that under our pre and postselection, the particle will always be found in Box 1, if we look for it there. Why is that? Let us assume, Reductio ad absurdum, that the particle is not there. Hence, we are left with the following contribution for the initial state \((1/\sqrt{2})(i2\rangle +3\rangle )\). At the moment t _{ f } = πħ/ε, this state evolves to \((1/\sqrt{2})(i2\rangle +3\rangle )\), which is orthogonal to the postselected state, hence postselection never succeeds in such cases. The same can be easily shown for the measurements at t _{ 2 } and t _{ 3 }. Hence, a singlestatevector approach works just as well, but we find the twostate approach more intuitive and mathematically simpler.
The Proof
An important theorem^{21} proves the following for weak values revealed by counterfactual strong (projective) measurements: If a strong measurement’s outcome is known with certainty, it equals the outcome of a corresponding weak measurement. For a class of dichotomic operators, i.e. operators with only two eigenvalues, the inverse is also true^{21}: If the weak value coincides with an eigenvalue of the dichotomic operator, it could also be found using a strong (projective) measurement. This theorem allows discussing the present paradox and its solution in terms of strong measurements first.
In the twotimes Heisenberg picture, all measurement outcomes correspond to the pre and postselected case (a subscript w could have been added to remind that we are calculating weak values, but then again, all results are deterministic and could have been found in the strong sense as well). This picture is especially helpful in the present case, which is based on simple dynamics resembling classical precession.
Boxes 1 and 2 are described using the set of operators \(\{I^{\prime} ,{\sigma }_{x}^{^{\prime} },{\sigma }_{y}^{^{\prime} },{\sigma }_{z}^{^{\prime} }\}\) which in the larger Hilbert space of the three boxes take the form:
(The last row and column are zero, since the time evolution does not affect the third box).
As noted above, the \({\sigma }_{z}^{^{\prime} }\) operator denotes a local position measurement, revealing whether the particle exists in the first/second box upon inspection. The operators \({\sigma }_{x}^{^{\prime} }\) and \({\sigma }_{y}^{^{\prime} }\) are used to perform nonlocal measurements of the relative phase (or modular momentum) between the two boxes^{4, 5}.
The particle’s presence within the first box can be measured either weakly (see Sec. “Measuring the Effect” below) or directly (e.g. via a scattering experiment) at time t = t _{ 1 } ≈ 0 using a projective measurement performed at this moment:
indicating with certainty the particle’s presence (where the operators are evaluated in the twotime sense). Note that, since the pre and postselected states are orthogonal within the first two boxes, the reduced identity operator in this subspace is actually null.
Similarly, if Alice decides to open the second box at \(t={t}_{3}=\frac{\pi \hslash }{2\varepsilon }\) she finds it there with certainty:
If, alternatively, the particle is looked for at \(t={t}_{2}=\frac{\pi \hslash }{4\varepsilon }\) in either or both 1 and 2 using a “strong” projective measurement (where again the “identity” operator is equal to zero within the first and second boxes), then
indicating now its absence from both boxes.
Despite its absence, however, the particle has left a trace within these two boxes. An indication of its subtle presence in them is given by the nonlocal modular momentum operator
making the effect purely quantum. This singleparticle nonlocal property has no classical analogue^{4, 5}. Its inference with the aid of weak measurements is discussed in Sec. “Measuring the effect” below.
Upon local projective measurement, only the local properties of the particle, described by \({\sigma }_{z}^{^{\prime} }\) can be found in Box 3. Yet its nonlocal properties, described by \({\sigma }_{x}^{^{\prime} }\) and \({\sigma }_{y}^{^{\prime} }\), reside in 1 and 2, manifesting an odd separation between the particle and its modular momentum. This resembles the quantum Cheshire cat^{22}, although in our case only the mechanical properties of the particle are discussed, without referring to an inner degree of freedom such as spin.
We conclude this section with a note. If Bob delays the postselection until \({t}_{f}^{^{\prime} }=(\pi +2\pi k)\varepsilon /\hslash \), where k is some integer, Alice has yet another option: Instead of one triplet of times t _{ 1 }, t _{ 2 }, t _{ 3 } she can have an endless series of such triplets out of which she can choose any \({t}_{i}^{^{\prime} }={t}_{i}+2\pi {k}_{i}\varepsilon /\hslash \) for i = 1, 2, 3, to perform any measurement B _{ i } as with the first three. All the above predictions hold for the new triplet as well.
Alternative Accounts
Can, then, this contradictory triplet of outcomes – namely,

i.
If you measure the particle’s position at t _{ 1 } in Box 1 it will always be there;

ii.
But if you measure it at t _{ 2 } in Boxes 1 and 2 it will never be in either;

iii.
Yet if you measure it at t _{ 3 } in Box 2 it will reappear there,
be accounted for in a more trivial way? Let us give this option fair hearing. One may claim that when we looked for the particle at t = t _{2}, it has all along been absent in Boxes 1 and 2 and present in 3.
This alternative, however, can be ruled out by Bell’s theorem. Arguing that the particle has been in a certain box all along is a local hiddenvariable account, involving, say, one particle in one box plus a guidewave split over the three boxes like in Bohmian Mechanics. This account forbids the corpuscle to instantaneously jump from one box to another. It has, however, been ruled out by gedankenexperiments of the kind proposed by Hardy^{23}. Consider, e.g., a photon split as in our preselection and then sent towards three atoms. Only one atom becomes excited, but for this reason all three become entangled ^{24}. Now just add, as in the EPR case, another measurement that is orthogonal to excited/ground, and the resulting state will prove that the exciting photon could not have been heading towards one atom all along. The same holds for our atom: It could not traverse only one of the three paths. The difference between the three different predictions for t _{ 1 }, t _{ 2 } and t _{ 3 } thus invokes a genuine disappearancereappearance cycle.
Finally, recall that in option (i), namely opening Box 1 at t _{ 1 }, Alice must refrain from opening Box 2. This strains the local alternative further to the point of absurdity, unless one allows for hidden variables originating backwards in time from the future postselection^{25}.
Measuring the Effect
The above analysis can be understood either in terms of counterfactual projective measurements with certain outcomes on pre and postselected particles, or in terms of actual projective measurements with uncertain outcomes on preselectedonly particles (where the postselected state in Eq. 5, giving rise to all relevant values, is not guaranteed).
In what follows, we augment these arguments with two additional tests. The methods presented below, based on weak measurements, are again actual, thus allowing measuring all observables with only negligible backaction to the quantum system.
Weak measurements
The above gedankenexperiment relied on counterfactual projective measurements. Weak measurements ^{5, 26}, however, allow analyzing this setup without invoking counterfactuals. In fact, this way we can even perform all three measurements, at t = t _{1} as well as at t = t _{2} and t = t _{3}, without collapsing the wavefunction, using the suitable pre and postselected ensemble. This follows from the unique ability of weak measurements to obtain information about the system without collapsing its state. The theorem cited in Sec. “The Proof” above guarantees that the weak measurements’ outcomes, i.e. the inferred weak values, will be equal to the projective measurements’ outcomes as described by Eqs 12–15. In other words, weak measurements will confirm the particle’s disappearance and reappearance along its evolution, based on a very weak von Neumann coupling between the measured particle and a measuring pointer. Indeed, weak measurements have been employed in the past for testing the original 3boxes paradox^{27}.
Inserting a solenoid between the first and second boxes
Assuming now that the particle is charged, in which case we would use electromagnetic fields instead of beam splitters. We can now test the predictions of the above sections in the following way: Let us insert a moving solenoid for a brief moment slightly before t = t _{1} (see Fig. 4). This addition is very potent because due to the AharonovBohm effect, the solenoid is known to change only the particle’s modular momentum within these two boxes, i.e. it is changing a nonlocal property. For concreteness let us assume that the solenoid is chosen in such a way that the AharonovBohm phase it induces when the charged particle is encircling it flips the relative phase between the two boxes in the initial state (see for example ref. 28), that is \(\frac{1}{\sqrt{3}}(1\rangle +i2\rangle +3\rangle )\to \frac{1}{\sqrt{3}}(1\rangle +i2\rangle +3\rangle )\) (alternatively, the phase shift can be induced by a timedependent electric potential acting on the first box). This changes the weak value in the second box from −1 to +1, hence we would find the particle (in the strong, counterfactual sense) with certainty in Box 2, had we decided to look for it there.
If, alternatively, the solenoid is inserted slightly beforet = t _{2} flipping the phase at that later stage, a weak measurement at t = t _{2} would reveal this change in the relative phase, leading to a modification of Eq. 16. Now \({\sigma }_{y}^{^{\prime} }({t}_{2})\) would equal +2, and similarly for \({\sigma }_{x}^{^{\prime} }({t}_{2})\) being now −i rather than i, even though the particle is apparently absent from the two boxes at t = t _{2} when local projections on the two boxes are employed. Being outside the spectrum of the PauliY matrix, this value of −i can be measured only weakly when repeating the measurement over a large ensemble.
The Heisenberg Ontology
We believe that the paradox presented here can be best understood within the recently proposed timesymmetric Heisenberg framework^{4, 5}. Our gedankenexperiment suggests a continuous transition between an ontology based on local properties (such as location in some box) to an ontology based on nonlocal variables (such as modular momentum), which can be verified only by opening two boxes. The latter ontology consists of a set of deterministic operators, that is, a set of operators which would yield with certainty a specific result when measured (this stands in contrast, of course, with an ontology based on the wavefunction). At t _{1} and t _{3} the ontological description of the particle is given by the local deterministic operator \({\sigma }_{z}^{^{\prime} }\), while at t _{2} it is given by the nonlocal deterministic operators \({\sigma }_{x}^{^{\prime} }\) and \({\sigma }_{y}^{^{\prime} }\). On other instances the ontology is given by some combination of local and nonlocal deterministic operators.
Recent Experimental Realization
As pointed out in the Introduction, the present setting is among the few recent gedanken tests of TSVF’s predictions with the aid of the standard, projective (“strong”) measurements rather than the customary weak ones. Recently, this theoretical advance has been rewarded with a pioneering experimental realization^{13}, in a setting resembling the present one, namely, the three boxes paradox^{21}. Okamoto and Takeuchi have realized a protocol proposed earlier by Aharonov and Vaidman (AV) for testing the 3boxes paradox^{29}. They managed to turn a photon into a quantum router^{30}, which can divert another photon similarly to AV’s “shutter” designed to reflect it, such that they could demonstrate the photon being reflected from both its possible interaction sites with the particle, fully vindicating AV’s prediction.
As the present, “disappearing and reappearing particle paradox” is a variation of the 3boxes one, with the novel addition of nontrivial timeevolution, it poses a unique challenge for an appropriate adaptation of Okamoto and Takeuchi’s experiment. Whereas their setting requires the probing photon to be in spatial superposition, so as to meet the particle in all its “boxes,” the present experiment requires a more complex superposition, in both space and time. Let the photon be superposed, first, with respect to its emission time, such that it may be emitted at either t _{ 1 } towards either Box 1 or Box 3, or at t _{ 2 } towards Box 3 alone, or at t _{ 3 } towards either 2 or 3. The parts emitted at t _{ 1 }/t _{ 3 } are thus superposed also spatially, splitting the wavefunction into five parts in space and time.
The photon is then expected to be reflected from all these varying positions of the tested “shutter” particle. An appropriate reuniting of the split wavefunction in both space and time is therefore expected to prove, by an interferencelike revival of the photon’s initial state, that it has encountered the particle, indeed, in different places at different times.
Discussion
We have demonstrated a thought experiment where a particle seems to disappear from a double potential well, despite the zero probability for tunneling outside. Even for those accustomed to quantum oddities, such an effect seems to be order of magnitude weirder.
When analyzed with a timesymmetric formulation of quantum mechanics, the TSVF, this particle is understood to reside all the time within a third potential well, yet with a unique dynamics occurring in the other two. This dynamics suggests that at the beginning, the particle had two, mutuallycancelling amplitudes in the first two boxes, which have later indeed cancelled to zero, hence its disappearance as deduced by local projective measurements. Indeed, simpler and more common phenomena like the Quantum Oblivion effect^{20, 31}, lend further support for this interplay of “events” and “unevents” as an underlying mechanism of many peculiarities of the quantum realm.
An analysis within the timesymmetric Heisenberg picture^{4, 5}, stresses this oddity while suggesting that the particle, although never passing through these wells, has nevertheless left a trace, namely its nonlocal modular momentum. This prediction holds for several complementary methods, including weak and strong (projective) measurements.
The main novelty of this setup is the interplay between local ontology based on local projective measurements of a single location, as in Box 1 at t _{ 1 }, and the nonlocal ontology based on measurements of relative phase between multiple locations, such as Boxes 1 and 2 at t _{ 2 }. We have shown that there is an independent existence of the latter, even in the absence of the former, and indeed, within the recently discussed timesymmetric Heisenberg picture^{4, 5}, both local and nonlocal properties have the same foundational status.
Eventually, we have to accept the existence of both local and nonlocal observables in quantum theory, which makes it inherently distinct from classical mechanics, being only described by local variables. These results accord with other recent findings^{3, 7,8,9, 16, 20,21,22, 29, 31, 32} obtained by complementary methods for unique quantum evolutions that seriously undermine the classical nature of time itself.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
References
 1.
Aharonov, Y. & Vaidman, L. The twostate vector formalism of quantum mechanics in Time in Quantum Mechanics, (eds Muga, J. G. et al.) 369–412 (Springer, 2002).
 2.
Silva, R., Guryanova, Y., Brunner, N., Linden, N., Short, A. J. & Popescu, S. Preand postselected quantum states: Density matrices, tomography, and Kraus operators. Phys. Rev. A 89, 012121 (2014).
 3.
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–1354 (1988).
 4.
Aharonov, Y., Landsberger, T. & Cohen, E. A nonlocal ontology underlying the timesymmetric Heisenberg representation. arXiv:1510.03084 (2015).
 5.
Aharonov, Y., Colombo, F., Cohen, E., Landsberger, T., Sabadini, I., Struppa, D. C. & Tollaksen, J. Finally making sense of the doubleslit experiment: A quantum particle is never a wave. Forthcoming.
 6.
Landau, A., Aharonov, Y. & Cohen, E. Realization of qudits in coupled potential wells. Int. J. Quantum Inf. 14, 1650029 (2016).
 7.
Aharonov, Y. & Rohrlich, D. Quantum paradoxes: quantum theory for the perplexed. WileyVCH, Weinheim (2005).
 8.
Aharonov, Y., Colombo, F., Popescu, S., Sabadini, I., Struppa, D. C. & Tollaksen, J. Quantum violation of the pigeonhole principle and the nature of quantum correlations. P. Natl. Acad. Sci. USA 113, 532–535 (2016).
 9.
Aharonov, Y., Cohen, E. & Popescu, S. A current of the Cheshire cat’s smile: Dynamical analysis of weak values. arXiv:1510.03087 (2015).
 10.
Kastner, R. E. The transactional interpretation, counterfactuals, and weak values in quantum theory. Stud. Hist. Philos. M. P. 39, 806–818 (2008).
 11.
Svensson, B. E. Y. What is a quantummechanical “weak value” the value of? Found. Phys. 43, 1193–1205 (2013).
 12.
Griffiths, R. B. Particle path through a nested MachZehnder interferometer. Phys. Rev. A 94, 032115 (2016).
 13.
Okamoto, R. & Takeuchi, S. Experimental demonstration of a quantum shutter closing two slits simultaneously. Sci. Rep 6, 35161 (2016).
 14.
Schnabel, R., Bunkowski, A., Burmeister, O. & Danzmann, K. Threeport beam splitterscombiners for interferometer applications. Opt. Lett. 31, 658–660 (2006).
 15.
Shu, W., Wang, B., Li, H., Lei, L., Chen, L. & Zhou, J. Highefficiency threeport beam splitter of reflection grating with a metal layer. Superlattice. Microst. 85, 248–254 (2015).
 16.
Vaidman, L. Past of a quantum particle. Phys. Rev. A 87, 052104 (2013).
 17.
Danan, A., Farfurnik, D., BarAd, S. & Vaidman, L. Asking photons where have they been. Phys. Rev. Lett. 111, 240402 (2013).
 18.
Pusey, M. F. Anomalous weak values are proofs of contextuality. Phys. Rev. Lett. 113, 200401 (2014).
 19.
Piacentini, F. et al. Experiment Investigating the Connection between Weak Values and Contextuality. Phys. Rev. Lett. 116, 180401 (2016).
 20.
Elitzur, A. C. & Cohen, E. 1−1 = Counterfactual: on the potency and significance of quantum nonevents. Phil. Trans. R. Soc. A 374, 20150242 (2016).
 21.
Aharonov, Y. & Vaidman, L. Complete description of a quantum system at a given time. J. Phys. A: Math. Gen 24, 2315 (1991).
 22.
Aharonov, Y., Popescu, S., Rohrlich, D. & Skrzypczyk, P. Quantum Cheshire cats. New J. Phys. 15, 113015 (2013).
 23.
Hardy, L. Nonlocality of a single photon revisited. Phys. Rev. Lett. 73, 2279 (1994).
 24.
Dunningham, J. & Vedral, V. Nonlocality of a single particle. Phys. Rev. Lett. 99, 180404 (2007).
 25.
Aharonov, Y., Cohen, E. & Elitzur, A. C. Can a future choice affect a past measurement’s outcome. Ann. Phys 355, 258–268 (2015).
 26.
Dressel, J., Malik, M., Miatto, F. M., Jordan, A. N. & Boyd, R. W. Colloquium: Understanding quantum weak values: Basics and applications. Rev. Mod. Phys. 86, 307 (2014).
 27.
Resch, K. J., Lundeen, J. S. & Steinberg, A. M. Experimental realization of the quantum box problem. Phys. Lett. A 324, 125–131 (2004).
 28.
Noguchi, A., Shikano, Y., Toyoda, K. & Urabe, S. Aharonov–Bohm effect in the tunnelling of a quantum rotor in a linear Paul trap. Nat. Commun. 5, 3868 (2014).
 29.
Aharonov, Y. & Vaidman, L. How one shutter can close N slits. Phys. Rev. A 67, 042107 (2003).
 30.
Shomroni, I., Rosenblum, S., Lovsky, Y., Bechler, O., Guendelman, G. & Dayan, B. Alloptical routing of single photons by a oneatom switch controlled by a single photon. Science 345, 903–906 (2014).
 31.
Elitzur, A. C. & Cohen, E. Quantum oblivion: A master key for many quantum riddles. Int. J. Quantum Inf. 12, 1560024 (2014).
 32.
Hosoya, A. & Shikano, S. Strange weak values. J. Phys. A 43, 385307 (2010).
Acknowledgements
It is a pleasure to thank Sandu Popescu and Daniel Rohrlich for helpful comments and discussions. We also wish to thank two anonymous referees for highly constructive remarks. 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 ERCAdG NLST.
Author information
Affiliations
Contributions
Y.A. conceived the main idea and the intuition behind it. A.C.E., E.C. and A.L. further developed it in various aspects. E.C. performed the calculations. A.C.E. and E.C. were the main writers, but all authors contributed to the writing and the presentation of the work.
Competing Interests
The authors declare that they have no competing interests.
Corresponding author
Correspondence to Eliahu Cohen.
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Received
Accepted
Published
DOI
Further reading

Nonlocal Position Changes of a Photon Revealed by Quantum Routers
Scientific Reports (2018)

Weak value tomography of strong quantum measurements
Quantum Studies: Mathematics and Foundations (2018)

InteractionFree Effects Between Distant Atoms
Foundations of Physics (2018)

What Weak Measurements and Weak Values Really Mean: Reply to Kastner
Foundations of Physics (2017)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.