Abstract
Elitzur and Vaidman have proposed a measurement scheme that, based on the quantum superposition principle, allows one to detect the presence of an object—in a dramatic scenario, a bomb—without interacting with it. It was pointed out by Ghirardi that this interactionfree measurement scheme can be put in direct relation with falsification tests of the macrorealistic worldview. Here we have implemented the “bomb test” with a single atom trapped in a spindependent optical lattice to show explicitly a violation of the Leggett–Garg inequality—a quantitative criterion fulfilled by macrorealistic physical theories. To perform interactionfree measurements, we have implemented a novel measurement method that correlates spin and position of the atom. This method, which quantum mechanically entangles spin and position, finds general application for spin measurements, thereby avoiding the shortcomings inherent in the widely used pushout technique. Allowing decoherence to dominate the evolution of our system causes a transition from quantum to classical behavior in fulfillment of the Leggett–Garg inequality.
Introduction
Measuring physical properties of an object—whether macroscopic or microscopic—is in most cases associated with an interaction. For example, scattering photons off an object allows one to detect its presence in a given region of space. However, this also produces a small perturbation of its state by direct momentum transfer. It is well known from numerous discussions on the physics of the quantum measurement process (see, e.g., Refs. [1, 2]) that a measurement in general modifies the quantum evolution unless the object is already in an eigenstate of the measurement apparatus [3]. This is even the case when the measurement yields a negative outcome, that is, when we did not find the particle on a certain trajectory that had originally a nonvanishing probability amplitude to be occupied. For example, in a doubleslit experiment, quantum interference is suppressed as soon as a measurement detects the whichway information, regardless of whether the information is acquired by direct interaction or indirect negative inference. Quantum mechanics formalizes the loss of interference in terms of the quantum measurement process, showing that measurements are generally invasive as they entail a modification of the subsequent quantum evolution. While the quantum measurement process is still intensely debated in the literature [4], we adopt here the pragmatic view that a measurement applied to a superposition state causes a sudden reduction of the wave function to a subspace of the Hilbert space.
Ideal negative measurements, that is, measurements without direct interaction, play an important role in a physical scenario known as macrorealism [5–7]. This scenario advocates a classical worldview describing the state of macroscopic objects, according to which macroscopic objects are always in one of several possible macroscopically distinct states. In a macrorealistic worldview, it is plausible to assume that a negative outcome of a measurement cannot affect the evolution of a macroscopic system, meaning that negative measurements are noninvasive [8]. In order to rigorously test the macrorealistic point of view, Leggett and Garg have derived an inequality from the assumptions of macrorealism and noninvasive measurability, which can be violated by quantummechanical superposition states [9]. Relying on the implementation of an ideal negative measurement protocol—a prerequisite for any genuine test of the Leggett–Garg inequality—experimental violations of the macrorealistic worldview have been experimentally demonstrated with phosphor impurities in silicon by Knee et al. [10] and with trapped atoms by Robens et al. [11].
The definition of the degree of “macroscopic distinctness” has been a matter of discussion in the literature ever since [12], and is likely to remain as such till an experiment [13] will shed new light, for example, discovering a physical “classicalization” mechanism that causes an objective reduction of wave packets. Recently, Nimmrichter and Hornberger proposed a quantitative criterion based on a minimal macrorealistic extension of quantum mechanics to quantify the macroscopicity of an object [14]. Their objective criterion of macroscopicity allows us to experimentally test the behavior of a single trapped atom—however microscopic it is, according to our intuition—under the hypothesis of macrorealism, as we can put its macroscopicity directly in relation to that of other, ideally more massive physical objects.
It was pointed out by Ghirardi [15] that a Leggett–Garg test of macrorealism is naturally related to the notion of interactionfree measurements introduced by Elitzur and Vaidman [16]. In a rather dramatic scenario, Elitzur and Vaidman proposed a quantum device able to single out live “bombs” from a collection containing also duds without triggering them nor interacting with them. While the first realizations of the Elitzur–Vaidman experiment employed “flying” photons [17] and “flying” neutrons [18], we here implement a variation of this experiment with neutral atoms trapped in a onedimensional optical lattice. A convenient scheme for interactionfree measurements with neutral atoms has been demonstrated by Robens et al. [11] exploiting statedependent optical potentials. Following the idea of Ghirardi, we tested the hypothesis of macrorealism with our atomic implementation of the Elitzur–Vaidman “bomb testing” Gedankenexperiment. Our experiment shows explicitly that the Leggett–Garg inequality is violated by 21 \(\sigma\). In addition, trapped atoms can be held for long times. By controlling the duration of a suitably chosen wait interval, it is straightforward to study the influence of decoherence and experimentally observe the gradual transition from quantum to classical behavior.
It is our pleasure to honor with these recent experimental results Theodor W. Hänsch. For many decades he has laid the foundations in laser physics and technology, without which presentday laser control of quantum particles is hardly conceivable. In this sense, the objective of this article is to experimentally demonstrate yet another example of exploring the world with lasers and lasercontrolled atoms at the quantumclassical boundary.
Brief review: The Elitzur–Vaidman interactionfree “bomb test”
Let us illustrate the concept of the interactionfree “bomb test” as presented in the original work by Elitzur and Vaidman [16], based on a single photon travelling on a quantum superposition of trajectories along the two paths of a Mach—Zehnder (MZ) interferometer.
The two branches A and B of a MZ interferometer can be balanced in such a way that one of the two output ports, say D2, is always bright while the other one, D1, is always dark, see Fig. 1a. If any object (e.g., a “live bomb” triggered by a single photon) intercepts the trajectory of the photon in the lower branch B, the photon field is removed from that branch and the balance of the MZ interferometer is disturbed. As shown in Fig. 1b, the photon has a \({50}\%\) probability to be blocked without ever reaching the detectors. This event is of course highly invasive: the “bomb” is triggered to explode by absorbing the travelling photon.
In all other events, the photon must have followed branch A, thus avoiding interacting with the object, and is subsequently routed to the detectors D1 and D2 with equal probability. In case detector D2 clicks, insufficient knowledge is gained to conclude on whether the object is present, as this outcome also occurs for no object present (“dud bomb”). If the dark detector D1 lights up, however, the presence of an object in one of the two arms is signaled with certainty. Since the photon could not reach the detector if it had touched the object, finding a photon with detector D1 detects the presence of the object without touching it, therefore leaving the “bomb” intact. Following Elitzur and Vaidman, we call this measurement scheme interaction free [19].
We obtain further insight in the Elitzur–Vaidman “bomb test” by analyzing its outcomes from the perspective of statistical hypothesis testing, where the Elitzur–Vaidman quantum device is employed to test whether the “bomb” is live (positive test result). The typical figure of merit in hypothesis testing is the statistical power \(1\beta\), that is, the fraction of “live bombs” which are correctly identified (without being triggered) and rescued. In their original work [16], Elitzur and Vaidman showed that this fraction amounts to 25% (true positives). It is worth extending the analysis of “bomb testing” to quantum devices that, under realistic conditions, are impaired by decoherence. We assume that decoherence reduces the fringe amplitude of the MZ interferometer in an unbiased way, resulting in a contrast C less than unity. In the presence of decoherence, the statistical power of the test remains unchanged, since this quantity describes the situation of a “live bomb,” where the coherence of the photon plays no role, see Fig. 1b. We therefore introduce a second figure of merit accounting for decoherence, which is given by the statistical error of type I, that is, the probability \(\alpha\) that we erroneously rescue the bomb even though the bomb is a dud (false positive). One can show that the probability of type I errors is \(\alpha =(1C)/2\). This measure vanishes only for a decoherencefree “bomb tester” and becomes \(\alpha =1/2\) in the completely incoherent limit (equivalent to random selection). It is also worth mentioning that, by allowing for repeated measurements (this is always possible until the “bomb” has not exploded), the statistical power \(1\beta\) can be straightforwardly increased to 1/3 for 50:50 beam splitters and to 1/2 for beam splitters with different split ratios. Furthermore, a more complex variant of this scheme based on the quantum Zeno effect has been suggested [20] and experimentally demonstrated using traveling photons [21], allowing one to approach unity efficiency \((\beta =0)\).
Let us now reconsider the situation illustrated in Fig. 1b from the perspective of a macrorealist, who conducts the same experiment but with a massive, ideally macroscopic object traveling along the two branches of the MZ interferometer. For a macrorealist, the massive particle travels either along branch A or along branch B, but not in a superposition state of the trajectories A and B. If one discards by postselection all events where the particle’s presence on one of the two trajectories has been directly detected through the absorption by the object, then only interactionfree measurements (i.e., ideal negative measurements) of the particle’s position are considered. By intercepting the particle at one time in branch A and at another time in branch B, the macrorealist learns about the particle’s position in the MZ interferometer avoiding any interaction with it. Therefore, to a macrorealist, ideal negative measurements must appear noninvasive, since the subsequent evolution of the particle could have not been influenced by the presence of an object where the particle was not. Noninvasive measurements constitute an important prerequisite for any rigorous test of macrorealism through a violation of the Leggett–Garg inequality [22].
Relation to the Leggett–Garg inequality
Based on two assumptions, (A1) macrorealism and (A2) noninvasive measurements, the Leggett–Garg inequality bounds a linear combinations of twotime correlation measurements,
where \(Q(t_i)\) denote the outcome of measurements carried out on the object at three subsequent times (\(i=1,2,3\)). The values assigned to the individual measurement outcomes have to fulfill the condition \(Q(t_i)\le 1\) but can otherwise be freely chosen. While macrorealism fulfills this inequality, standard quantum mechanics allows experiments violating it.
Observing a violation of the inequality (1) allows one to refute (i.e., falsify) the assumptions underlying the Leggett–Garg test in the range of parameters investigated by the experiment, which in general are represented by the mass of the superposition states and their spatial split distance [14]. For simple logical reasons, a violation of Eq. (1) implies that at least one of the two assumptions (A1) and (A2) must not hold. In conducting a Leggett–Garg test, it is therefore crucial that assumption (A2) of noninvasive measurability cannot be simply dismissed by a macrorealist claiming that a measurement operation, due experimental inadvertence, has influenced the subsequent evolution of the particle; or else, even in case of an observed violation, no claim can be made concerning assumption (A1) of macrorealism. In the literature, this type of objection is addressed as the clumsiness loophole [23]. To circumvent it, Leggett and Garg suggested using ideal negative measurements, which, to say it à? la Vaidman and Elitzur, are interaction free. It should also be noted that in standard quantum theory both assumptions do not hold. In fact, standard quantum theory postulates (1) no limit on the mass and split distance of a superposition state and that (2) even a negative measurement can cause the wave packet’s reduction. The latter point is indeed central to the Elitzur–Vaidman interactionfree experiment.
In the Elitzur–Vaidman experiment, the object that is put to the test of the Leggett–Garg inequality is the single photon travelling along the two paths of the MZ interferometer. In the following we define the three measurement operations performed on the photon and their assigned values \(Q(t_i)\), which are employed to perform the Leggett–Garg test in Eq. (1):
 \(Q(t_{1}):\) :

We identify the first measurement at \(t_1\) with the preparation of the initial state  a photon in the input of the MZ interferometer. This measurement is by definition noninvasive, as it leaves the particle in the initial state. We assign to this measurement the value \(Q(t_1)={+}1\).
 \(Q(t_{2}):\) :

This measurement is performed at time \(t_2\) when the photon is either in branch A or B of the MZ interferometer. It detects in which branch the photon travels by removing the photon at one time from branch A, at another time from branch B. The events in which the photon was directly intercepted by the object (i.e., when the “bomb” exploded) are discarded by postselection in order to ensure that only ideal negative measurements are performed; this measurement must thus appear to a macrorealist as noninvasive as it avoids any direct interaction with the photon itself. We assign to this measurement the constant value \(Q(t_2)={+}1\) regardless of which trajectory the photon has taken. It should be noted that this measurement is not performed when evaluating the correlation function \(\langle Q(t_3)Q(t_1)\rangle\) of the Leggett–Garg test. In fact, from the perspective of a macrorealistic who advocates (A1) and (A2), an ideal negative measurement could not have influenced the evolution of the particle.
 \(Q(t_{3}):\) :

The final measurement is performed at time \(t_3\) when the photon has reached the output of the MZ interferometer. Depending on whether detector D1 or D2 has clicked, we assign to this measurement the value \(Q(t_3)={+}1\) or \(Q(t_3)={}1\), respectively. Because we are not interested in the system’s evolution after \(t_3\), noninvasiveness of this measurement operation is not required.
Previous Leggett–Garg experimental tests prior to Robens et al. [11] only considered dichotomic designations of \(Q(t_2)\), as opposed to the constant choice of \(Q(t_2)={+}1\) here. By deliberately disregarding the unnecessary, dichotomic constraint, we allow the Leggett–Garg correlation function of the Elitzur–Vaidman experiment to reach the maximum value, \(K=2\), as permitted by quantum theory for a two level system (i.e., the photon in a superposition state of the trajectories A and B). It can be shown that a violation of the inequality in Eq. (1) is also produced in the Elitzur–Vaidman experiment for a dichotomic choice of \(Q(t_2)\) (see “Appendix C”). However, in this case the maximum value of K predicted by quantum theory is only 3/2 [24, 25] instead of 2.
Taking into account our specific designation of \(Q(t_i)\), we can recast Eq. (1) into a simpler form. Since \(Q(t_2)=1\), the correlation function \(\langle Q(t_3)Q(t_2)\rangle\) equals \(\langle Q(t_3)\rangle _{{\text {with }}Q2}\), that is, the average value of \(Q(t_3)\) conditioned on a negative result of the measurement \(Q(t_2)\). Likewise, since \(Q(t_1)=1\), the correlation function \(\langle Q(t_3)Q(t_1)\rangle\) simplifies to \(\langle Q(t_3)\rangle _{{\text {without }}Q2}\), that is, the average value of \(Q(t_3)\) without having measured the position of the photon at \(t_2\). Our experiment can thus be analyzed with a simplified version of Eq. (1),
It is interesting to go one step further to provide an interpretation of the Leggett–Garg correlation function K from the point of view of quantum theory. We know that the values of \(Q(t_3)=\pm 1\) are evenly distributed when the \(Q(t_2)\) measurement is performed, since the latter reveals the whichway information; hence \(\langle Q(t_3)\rangle _{{\text {with }}Q2}= 0\). Moreover, one can prove that \(\langle Q(t_3)\rangle _{{\text {without }}Q2}\) is identical to the contrast C of the MZ interferometer (see “Appendix D”). Thus, we find that the correlation function K takes the suggestive form
Intuitively, the function K provides a quantitative indication, say a witness, of the amount of superposition involved in the evolution of the quantum particle. Note that K can be put in relation to the first quantum witness W of superposition states introduced in Ref. [26] (also described as nosignaling in time in Ref. [27]). In fact, \(W=K1=C\) as shown in Ref. [11]. This demonstrates that the figure of merit \(\alpha\) of a partially decohered “bomb tester” (see Sec. 2) is directly related to the quantum witness W since \(\alpha =(1W)/2\). Furthermore, our results shows that any quantum particle exhibiting a nonvanishing interference contrast should allow, according to quantum theory, for a violation of Eq. (1), provided that one can additionally show through an experiment that the whichway information acquired through interactionfree measurements yields a vanishing contrast, that is, \(\langle Q(t_3)\rangle _{{\text {with }}Q2}= 0\).
Interactionfree measurement with trapped atoms
Our atomic realization of the Elitzur–Vaidman experiment employs single neutral atoms trapped in an optical potential instead of flying photons. Instead of delocalizing the particle on two distinct trajectories as in the MZ interferometer shown in Fig. 1, we let the particle evolve in a superposition of two longlived internal states, which we denote by \({\uparrow }\rangle\) and \({\downarrow }\rangle\) hereafter. In our experiment, an atomic Ramsey interferometer plays the role of the optical MZ interferometer.
Experimental apparatus
Statedependent optical conveyor belts
At the core of our realization of the Elitzur–Vaidman experiment with trapped atoms are polarizationsynthesized (PS) optical lattices, which were recently introduced by Robens et al. [28]: two onedimensional, periodic optical potentials can be independently shifted along their common longitudinal direction to selectively transport atoms in either one of two internal states, \({\uparrow }\rangle\) and \({\downarrow }\rangle\). In essence, two copropagating laser beams of opposite circular polarization interfere with a third, counterpropagating, linearly polarized beam. Their interference gives rise to two standing waves of left and righthanded polarization, whose positions are actively controlled by means of two independent optical phaselocked loops. We obtain a residual jitter of their relative position on the order of 1 Å, which is much smaller than the longitudinal extent of the atom’s wave function of \(\approx\)20 nm. At the socalled magic wavelength \(\lambda _L= {866}\,\hbox {nm}\) of cesium atoms, the internal state \({\uparrow }\rangle = {F=4,m_F=4}\rangle\) interacts exclusively with the \(\sigma ^+\)polarized component, while \({\downarrow }\rangle = {F=3,m_F=3}\rangle\) predominantly interacts with the \(\sigma ^\)polarized component [29]. Moreover, we choose a relatively deep lattice with a depth of \(U/k_B\approx {80}\,\upmu \hbox {K}\) to prevent tunneling between different sites. Hence, atoms in the two internal states are bound to two spatially superimposed, but orthogonally polarized lattices, which can be individually shifted much like two independent optical conveyor belts: atoms in the \({\uparrow }\rangle\) and \({\downarrow }\rangle\) states follow, nearly rigidly, the \(\sigma ^+\)polarized and \(\sigma ^\)polarized standing waves, respectively.
Statedependent optical lattices have been pioneered first in the MPQ laboratories [30, 31], demonstrating another example of Theodor W. Hänsch’s legacy as an inspiration for future generations of experiments. Compared to former realizations of statedependent optical lattices, PS optical lattices have replaced the polarization control formerly based on an electrooptic modulator by a direct synthesis of light polarization, which enable arbitrary, statedependent displacements of atoms. Polarization synthesis is realized through rfcontrol of the optical phases (\({0.1}{^{\circ }}\) RMS phase jitter) of two overlapped beams with opposite circular polarization [28].
Microwave control
We employ microwave radiation at the cesium clock frequency of \({9.2}\,\hbox {GHz}\) to induce coherent oscillations between the two atomic hyperfine states, \({\uparrow }\rangle\) and \({\downarrow }\rangle\) with a Rabi frequency of \({55}\,\hbox {kHz}\). Therefore, the application of the microwave radiation field for \({4.5}\,\upmu \hbox {s}\) realizes a socalled \(\pi /2\) pulse, which transforms a pure internal state into an equal superposition of \({\uparrow }\rangle\) and \({\downarrow }\rangle\). In our realization of the Elitzur–Vaidman experiment, microwave \(\pi /2\) pulses represent the atomic analogue of the beam splitters for photons, which are illustrated in Fig. 1.
Nondestructive spin state measurement
Exploiting PS optical lattices, we devised a novel measurement method to detect the internal state of the atom in the most gentle way possible. In quantum mechanics, least perturbative measurements are called nondestructive (or, equivalently, quantum nondemolition measurements): the state of the object is preserved after the measurement in the eigenstate of the measured quantity corresponding to the observed outcome [32]; a repeated measurement of the same quantity would therefore leave the state unchanged. Conversely, the widely employed pushout method, which expels atoms in one particular internal state from the trap by applying stateselective radiation pressure [33], represents a destructive measurement.
Our method is closely related to an optical Stern–Gerlach experiment [34, 35], where spinposition entanglement is created by statedependent light fields, and is reminiscent of the nondestructive Stern–Gerlach experiment by Dehmelt [36, 37]. We realize nondestructive measurements by displacing atoms by a discrete number of lattice sites conditioned on the internal state, thereby transferring spin states to wellseparated positions. The position can be detected efficiently at a later time by fluorescence imaging under molasses illumination without any atom loss [38]; we identify the correct position, and therefore the spin state, with >99% reliability. The translational invariance of the optical lattice ensures that this measurement protocol constitutes a nondestructive measurement of the internal state. Note also that it is not necessary that the position readout immediately follows the statedependent displacement. The possibility to postpone the “destructive” fluorescence image of the atoms till the end of the evolution allows us to leave the evolution of the system minimally perturbed as required by a nondestructive spin measurement. We use this technique for the ideal negative measurement \(Q(t_2)\), in which case only one spin component at a time is displaced, leaving the other unperturbed (see Sect. 4.2). It should also be noted that nondestructive measurements are not strictly needed in order to perform the ideal negative measurements that are instead required for the Elitzur–Vaidman experiment and the Leggett–Garg test [20]. This fact is illustrated in Fig. 1 where the photon removal represents indeed a destructive measurement, since the particle is destroyed if intercepted by the “bomb.”
Measurement protocols
We start each experimental sequence with, on average, 1.2 atoms loaded into the lattice. The loading procedure is stochastic and only atoms sitting at sufficiently separated lattice sites are considered. Atoms are cooled to the longitudinal ground state using first molasses cooling and then microwave sideband cooling [39]. With the quantization axis chosen along the lattice direction, optical pumping by a \(\sigma ^+\)polarized laser beam initializes >99% of the atoms in the state \({\uparrow }\rangle\).
We outline in Fig. 2 the protocols employed to measure the two terms forming in the Leggett–Garg inequality in Eq. (2). On the lefthand side, we present the procedure with no “bomb” present, which comprises \(Q(t_1)\) (preparation of the initial spin state preparation) and \(Q(t_3)\) (detection of the final spin state) measurements, but not \(Q(t_2)\) (the “live bomb” in one of the interferometer’s branch): the spin preparation is followed by a \(\pi /2\) pulse, a variable waiting time, a second \(\pi /2\) pulse with adjustable microwave phase \(\phi\), and a nondestructive spin measurement mapping the spin state onto different positions as described in Sect. 4.1. This sequence describes a Ramsey experiment interrogating the spin coherence of a trapped atom. Note that this situation is fully equivalent to the unobstructed MZ interferometer of Fig. 1a, where the atomic internal states here take the place of the distinct trajectories of the photon. Here we adjust the microwave phase \(\phi\) beforehand in order to ensure the highest probability to detect \({\downarrow }\rangle\) at time \(t_3\), much like in the MZ interferometer one must balance the two branches to route all photons to detector D2.
Let us turn to the application of the atomic “bomb test” illustrated on the righthand side of Fig. 2. After the initial microwave \(\pi /2\) pulse, which puts the atom in a coherent superposition state (for a macrorealist, a stochastic mixture of both states), we spatially remove atoms, in different experiments, at one time in state \({\uparrow }\rangle\) and at another time in state \({\downarrow }\rangle\) by transporting them apart by seven lattice sites in about \({200}\,\upmu \hbox {s}\). The number of sites is chosen sufficiently large to avoid any error in the final position measurement, and therefore in the spin reconstruction. For the Leggett–Garg test, we postselect the events where an atom is indeed found at position D1 or D2, meaning that it has not been removed at time \(t_2\), and its spin has thus been measured by an ideal negative measurement \(Q(t_2)\), as was argued in Sect. 3. The excluded events instead correspond to the atoms removed from the Ramsey interferometer, and are tantamount to having triggered the “bomb” in one of the two branches of the MZ interferometer of Fig. 1b.
Experimental results
In panels Fig. 3a–c, we show the raw data corresponding to our atomic realization of the Elitzur–Vaidman experiment for three different situations: (a) without the “bomb,” (b) with the “bomb” removing atoms in \({\uparrow }\rangle\), and (c) again with the “bomb” but removing atoms in \({\downarrow }\rangle\). From the dataset (a) we reconstruct the correlation function \(\langle Q(t_3)\rangle _{{\text {without }}Q2}\), while by merging the datasets (b) and (c) we obtain the correlation function \(\langle Q(t_3)\rangle _{{\text {with }}Q2}\). The combination of these two correlation functions produce a violation of the Leggett–Garg inequality as defined in Eq. (2). In Fig. 3d we present the recorded Leggett–Garg correlation function K for different durations of the waiting time, which separates the two microwave \(\pi /2\) pulses of the Ramsey interferometer. For a minimum waiting time of \({5}\,\upmu \hbox {s}\), we record a value of \(K=1.958\pm 0.033\), which violates the Leggett–Garg inequality by \({21}\,\sigma\). While this value of K lies very close to the decoherencefree prediction (\(K={2}\)), the recorded values of K decrease visibly for longer waiting times (i.e., increasing decoherence) till they reach the value of 1 for fully decohered spin dynamics, in fulfillment of the Leggett–Garg inequality.
In the present experiment, we attribute the main source of decoherence to scalar differential light shift [40], causing inhomogeneous spin dephasing of the atoms, which in our case are thermally distributed over more than 100 vibrational levels in the directions transverse to the lattice. Besides producing a rigorous violation of the Leggett–Garg inequality for a pseudospin1/2 particle, our results show that the correlation function K can be interpreted, from the point of view quantum theory, as a quantum witness of superposition states, and employed to study decoherence—one of the most basic mechanisms affecting atoms trapped in optical potentials [41].
Conclusions
In this paper, we have shown that the “bombtesting” experiment not only provides dramatic evidence of the “weirdness” of quantum mechanics, as originally intended by Elitzur und Vaidman, but also can be recast in a rigorous test of the macrorealistic worldview based on the violation of the Leggett–Garg inequality. With our realization of the Elitzur–Vaidman experiment, we can refute the macrorealistic assumptions for individual cesium atoms with a \(21\, \sigma\) statistical confidence. While from the point of view of “macroscopicity”, the present Leggett–Garg experiment does not improve on the results obtained with quantum walks by Robens et al. [11], our atomic implementation of the Elitzur–Vaidman experiment can be directly extended in the future to superposition states involving splitting distances on the macroscopic scale of a millimeter and beyond [42, 43]. Moreover, the analysis of the experimental results allows us to understand the exact relation between the Leggett–Garg correlation function K and the interference contrast C of the corresponding Ramsey interferometer, thus providing intuition about the quantumtoclassical transition of the Leggett–Garg test.
It is also worth noting that our experiment demonstrates a nondestructive measurement technique of the spin state of the atoms, where spinposition entanglement is used to transfer information from spin to position space. This mapping technique allows us to directly read out both spin states in a Ramsey interferometer, thus avoiding the shortcomings of the widely used pushout technique, where atoms are lost after the measurement and, most importantly, the measurement outcomes must be corrected for atom losses. Further, with the nondestructive measurement technique demonstrated here we could recycle atoms multiple times. We finally anticipate that nondestructive spin measurements, preserving spatial coherence of atoms delocalized over several lattice sites, can find application in the realization of dissipative quantumwalk protocols [44].
Notes
 1.
For Wile’s safety, the avalanche photodiode must be cooled to near absolute zero in order to suppress dark counts.
References
 1.
J.A. Wheeler, W.H. Zurek (eds.), Quantum Theory and Measurement, Princeton Series in Physics (Princeton University Press, Princeton, 1983)
 2.
A.J. Leggett, The quantum measurement problem. Science 307, 871 (2005)
 3.
G. Lüders, Concerning the statechange due to the measurement process. Ann. Phys. 8, 332 (1951)
 4.
A. Bassi, K. Lochan, S. Satin, T.P. Singh, H. Ulbricht, Models of wavefunction collapse, underlying theories, and experimental tests. Rev. Mod. Phys. 85, 471 (2013)
 5.
G. Ghirardi, A. Rimini, T. Weber, Unified dynamics for microscopic and macroscopic systems. Phys. Rev. D 34, 470 (1986)
 6.
L. Diósi, Models for universal reduction of macroscopic quantum fluctuations. Phys. Rev. A 40, 1165 (1989)
 7.
I. Pikovski, M. Zych, F. Costa, C. Brukner, Universal decoherence due to gravitational time dilation. Nat. Phys. 11, 668 (2015)
 8.
C. Emary, N. Lambert, F. Nori, LeggettGarg inequalities. Rep. Prog. Phys. 77, 016001 (2013)
 9.
A.J. Leggett, A. Garg, Quantum mechanics versus macroscopic realism: is the flux there when nobody looks? Phys. Rev. Lett. 54, 857 (1985)
 10.
G.C. Knee, S. Simmons, E.M. Gauger, J.J.L. Morton, H. Riemann, N.V. Abrosimov, P. Becker, H.J. Pohl, K.M. Itoh, M.L.W. Thewalt, G.A.D. Briggs, S.C. Benjamin, Violation of a LeggettGarg inequality with ideal noninvasive measurements. Nat. Commun. 3, 606 (2012)
 11.
C. Robens, W. Alt, D. Meschede, C. Emary, A. Alberti, Ideal negative measurements in quantum walks disprove theories based on classical trajectories. Phys. Rev. X 5, 011003 (2015)
 12.
A.J. Leggett, Testing the limits of quantum mechanics: motivation, state of play, prospects. J. Phys.: Condens. Matter 14, 415 (2002)
 13.
M. Arndt, K. Hornberger, Testing the limits of quantum mechanical superpositions. Nat. Phys. 10, 271 (2014)
 14.
S. Nimmrichter, K. Hornberger, Macroscopicity of mechanical quantum superposition states. Phys. Rev. Lett. 110, 160403 (2013)
 15.
G. Ghirardi, Sneaking a Look at God’s Cards, Revised Edition: Unraveling the Mysteries of Quantum Mechanics (Princeton University Press, Princeton, 2007)
 16.
A.C. Elitzur, L. Vaidman, Quantum mechanical interactionfree measurements. Found. Phys. 23, 987 (1993)
 17.
P. Kwiat, H. Weinfurter, T. Herzog, A. Zeilinger, M.A. Kasevich, Interactionfree measurement. Phys. Rev. Lett. 74, 4763 (1995a)
 18.
M. Hafner, J. Summhammer, Experiment on interactionfree measurement in neutron interferometry. Phys. Lett. A 235, 563 (1997)
 19.
L. Vaidman, The meaning of the interactionfree measurements. Found. Phys. 33, 491 (2003)
 20.
P. Kwiat, H. Weinfurter, T. Herzog, A. Zeilinger, M. Kasevich, Experimental Realization of “InteractionFree” Measurements, in Fundamental Problems in Quantum Theory: A Conference Held in Honor ofProfessor John A. Wheeler, Vol. 755, edited by N. Y. A. of Sciences, New York, p. 129 (1995)
 21.
P.G. Kwiat, A.G. White, J.R. Mitchell, O. Nairz, G. Weihs, H. Weinfurter, A. Zeilinger, Highefficiency quantum interrogation measurements via the quantum zeno effect. Phys. Rev. Lett. 83, 4725 (1999)
 22.
C. Emary, Decoherence and maximal violations of the LeggettGarg inequality. Phys. Rev. A 87, 032106 (2013)
 23.
M.M. Wilde, A. Mizel, Addressing the clumsiness loophole in a LeggettGarg test of macrorealism. Found. Phys. 42, 256 (2012)
 24.
C. Budroni, C. Emary, Temporal quantum correlations and LeggettGarg inequalities in multilevel systems, preprint (2013). arXiv:1309.3678
 25.
G. Schild, C. Emary, Maximum violations of the quantumwitness equality. Phys. Rev. A 92, 032101 (2015)
 26.
C.M. Li, N. Lambert, Y.N. Chen, G.Y. Chen, F. Nori, Witnessing quantum coherence: from solidstate to biological systems. Sci. Rep. 2, 885 (2012)
 27.
J. Kofler, C. Brukner, Condition for macroscopic realism beyond the LeggettGarg inequalities. Phys. Rev. A 87, 052115 (2013)
 28.
C. Robens, J. Zopes, W. Alt, S. Brakhane, D. Meschede, A. Alberti, Lowentropy states of neutral atoms in polarizationsynthesized optical lattices. arXiv:1608.02410 [quantph] (2016)
 29.
D. Jaksch, C. Bruder, J.I. Cirac, C.W. Gardiner, P. Zoller, Cold bosonic atoms in optical lattices. Phys. Rev. Lett. 81, 3108 (1998)
 30.
O. Mandel, M. Greiner, A. Widera, T. Rom, T.W. Hänsch, I. Bloch, Coherent transport of neutral atoms in spindependent optical lattice potentials. Phys. Rev. Lett. 91, 010407 (2003)
 31.
O. Mandel, M. Greiner, A. Widera, T. Rom, T. Hänsch, I. Bloch, Controlled collisions for multiparticle entanglement of optically trapped atoms. Nature 425, 937 (2004)
 32.
S. Haroche, J.M. Raimond, Exploring the Quantum: Atoms, Cavities, and Photons (Oxford University Press, New York, 2006)
 33.
S. Kuhr, W. Alt, D. Schrader, I. Dotsenko, Y. Miroshnychenko, W. Rosenfeld, M. Khudaverdyan, V. Gomer, A. Rauschenbeutel, D. Meschede, Coherence properties and quantum state transportation in an optical conveyor belt. Phys. Rev. Lett. 91, 213002 (2003)
 34.
T. Sleator, T. Pfau, V. Balykin, O. Carnal, J. Mlynek, Experimental demonstration of the optical SternGerlach effect. Phys. Rev. Lett. 68, 1996 (1992)
 35.
C.Y. Park, J.Y. Kim, J.M. Song, D. Cho, Optical SternGerlach effect from the Zeemanlike ac Stark shift. Phys. Rev. A 65, 033410 (2002)
 36.
H. Dehmelt, StoredIon Spectroscopy, in Advances in Laser Spectroscopy, F. T. Arecchi, F. Strumia, H. Walther (Springer, Boston, 1983), p. 153
 37.
H. Dehmelt, Continuous SternGerlach effect: principle and idealized apparatus. Proc. Natl. Acad. Sci. USA 83, 2291 (1986)
 38.
A. Alberti, C. Robens, W. Alt, S. Brakhane, M. Karski, R. Reimann, A. Widera, D. Meschede, Superresolution microscopy of single atoms in optical lattices. New J. Phys. 18, 053010 (2016)
 39.
N. Belmechri, L. Förster, W. Alt, A. Widera, D. Meschede, A. Alberti, Microwave control of atomic motional states in a spindependent optical lattice. J. Phys. B: At. Mol. Opt. Phys. 46, 4006 (2013)
 40.
S. Kuhr, W. Alt, D. Schrader, I. Dotsenko, Y. Miroshnychenko, A. Rauschenbeutel, D. Meschede, Analysis of dephasing mechanisms in a standingwave dipole trap. Phys. Rev. A 72, 023406 (2005)
 41.
A. Alberti, W. Alt, R. Werner, D. Meschede, Decoherence models for discretetime quantum walks and their application to neutral atom experiments. New J. Phys. 16, 123052 (2014)
 42.
T. Kovachy, P. Asenbaum, C. Overstreet, C.A. Donnelly, S.M. Dickerson, A. Sugarbaker, J.M. Hogan, M.A. Kasevich, Quantum superposition at the halfmetre scale. Nature 528, 530 (2015)
 43.
D.M. StamperKurn, G.E. Marti, H. Müller, Verifying quantum superpositions at metre scales. Nature 537, E1 (2016)
 44.
T. Rakovszky, J. Asbóth, A. Alberti, Detecting topological invariants in chiral symmetric insulators via losses (2016)
Acknowledgements
We are very grateful to JeanMichel Raimond for insightful discussions. We acknowledge financial support from NRWNachwuchsforschergruppe “Quantenkontrolle auf der Nanoskala,” ERC grant DQSIM, and EU Integrated Project SIQS. In addition, C.R. acknowledges support from the BCGS program and the Studienstiftung des deutschen Volkes.
Author information
Affiliations
Corresponding author
Additional information
This article is part of the topical collection “Enlightening the World with the Laser”  Honoring T. W. Hänsch guest edited by Tilman Esslinger, Nathalie Picqué, and Thomas Udem.
The original version of this article has been revised: In the editorial publishing process, the shaded band in Fig. 3 representing the theoretical model was omitted. Now, the Fig. 3 has been corrected.
An erratum to this article is available at http://dx.doi.org/10.1007/s0034001766395.
Appendices
Appendix A: Statistical errors
In this work, the confidence intervals of the correlation measurements represent \(1\,\sigma\) statistical uncertainty, which has been computed by fitting a Gaussian profile to the bootstrapped distribution (i.e., the distribution obtained by resampling with replacement). Independently from bootstrapping, we also computed the statistical uncertainties using Monte Carlo resampling, where the statistical errors of position distributions are estimated with binomial statistics (Clopper–Pearson method). The two estimation methods lead to consistent results. While Monte Carlo analysis requires invariant statistical properties to be valid, bootstrapping analysis remains valid also in the presence of slow drifts of experimental parameters. The close agreement between the two statistical analyses indicates that each correlation measurement of K (lasting about \({120}\,\hbox {min}\)) is performed under constant experimental conditions.
Appendix B: Systematic errors
Provided that the experiment is performed under constant experimental conditions, systematic errors do not invalidate the result of a Leggett–Garg test. In fact, if we consider the three main mechanisms that bring about systematic fluctuations: (1) Imperfect initialization prepares <1% of the atoms in the wrong internal state. However, to derive the Leggett–Garg inequality, a statistical mixture defining the initial state is perfectly admissible. (2) Imperfect reconstruction of the atom’s position can be accounted for in terms of a noisy measurement apparatus. (3) Spontaneous spin flips due to the finite \(T_1\) time can be accounted for in terms of an additional stochastic process, which also contributes to determine the system’s evolution. We estimate that each of these three mechanisms actually affects the position distribution by <1%, that is less than the statistical uncertainty.
Appendix C: Dichotomic choice
We verified that our system produces a violation also with a dichotomic definition of \(Q(t_2)\). We performed a Ramsey sequence using two subsequent \(\pi /3\) pulses. In this case, we set \(Q(t_1)=1\) by preparation and designated both \(Q(t_2)\) and \(Q(t_3)\) as \(+1\) for \({\uparrow }\rangle\) and as \(1\) for \({\downarrow }\rangle\). The measured value \(K={1.503\pm 0.051}\) is consistent with the quantum mechanical expectation of \(K={3/2}\).
Appendix D: Relation with Ramsey contrast
A Ramsey interference fringe is represented by the probability \(p_\uparrow\) of measuring \({\uparrow }\rangle\) as a function of the Ramsey phase. Assuming the fringe is centered around the average value \(\overline{p}_\uparrow = 1/2\) (this is true in case of, e.g., pure spin dephasing), the contrast can be expressed as
where \(p_{\uparrow ,{\text {max/min}}}\) is the maximum/minimum value of the fringe. Because the two Ramsey \(\pi /2\) pulses in the Elitzur–Vaidman experiment are set to have the same phase (Sect. 4), the value of \(p_\uparrow\) measured when evaluating \(\langle Q(t_3)Q(t_1)\rangle\) corresponds to \(p_{\uparrow , {\text {min}}}\). Hence, we obtain that the correlation function reads
which together with the definition of the LG inequality in Eq. (1) proves Eq. (3).
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
Robens, C., Alt, W., Emary, C. et al. Atomic “bomb testing”: the Elitzur–Vaidman experiment violates the Leggett–Garg inequality. Appl. Phys. B 123, 12 (2017). https://doi.org/10.1007/s003400166581y
Received:
Accepted:
Published:
Keywords
 Optical Lattice
 Microwave Pulse
 Superposition State
 Trap Atom
 Bomb Test