## Abstract

Work is an essential concept in classical thermodynamics, and in the quantum regime, where the notion of a trajectory is not available, its definition is not trivial. For driven (but otherwise isolated) quantum systems, work can be defined as a random variable, associated with the change in the internal energy. The probability for the different values of work captures essential information describing the behaviour of the system, both in and out of thermal equilibrium. In fact, the work probability distribution is at the core of “fluctuation theorems” in quantum thermodynamics. Here we present the design and implementation of a quantum work meter operating on an ensemble of cold atoms, which are controlled by an atom chip. Our device not only directly measures work but also directly samples its probability distribution. We demonstrate the operation of this new tool and use it to verify the validity of the quantum Jarzynksi identity.

## Introduction

Classical fluctuation theorems establish surprising relations between non-equilibrium and equilibrium concepts. In particular, the work performed on a system during non-equilibrium processes is connected with key concepts of equilibrium thermodynamics, such as the free-energy^{1, 2}. These relations have been verified in various experiments involving microscopic thermodynamic systems^{3,4,5}. Recent advances in quantum technologies enable the control of small quantum systems that can be manipulated far from the regime where the usual thermodynamical laws are obeyed. This triggered the development of the rapidly growing field of non-equilibrium quantum thermodynamics^{6,7,8,9}.

When quantum fluctuations dominate, defining and measuring work and heat, two central concepts in classical thermodynamics, is non-trivial. For driven, but otherwise isolated, quantum systems, work *w* is a random variable associated with the change in the internal energy^{10}, as the first law of thermodynamics indicates. Thus, the commonly accepted definition of quantum work requires a two-time measurement strategy, which consists of performing two projective energy measurements, one at the beginning and the other at the end of the process. Then, work is associated with the measured energy difference. However, implementing the two-time measurement is experimentally difficult^{11, 12} due to the fact that the two projective measurements are unavoidably disruptive (see ref. ^{13} for an ion trap implementation). Alternative methods to evaluate the work probability distribution that rely on the direct estimation of its Fourier transform were also proposed in refs. ^{14, 15} and later implemented in NMR experiments^{16}.

In this paper we present the design and the experimental implementation of a “quantum work meter” (QWM) operating on an ensemble of cold atoms, combining the idea presented in ref. ^{17} and the experimental setup used in ref. ^{18}. Our QWM is conceptually different from previous work-measurement devices. Its main advantage is that the QWM efficiently samples *P*(*w*), which is a direct observable in the experiment. Namely, our QWM not only directly measures work but also directly samples its probability distribution *P*(*w*) (i.e. the outcome *w* is obtained with probability *P*(*w*)). As the work probability distribution plays a central role in the fluctuation theorems of non-equilibrium quantum thermodynamics, the QWM is an ideal tool to test their validity. In particular, we use it to verify the Jarzynski identity^{1, 10, 19,20,21}.

## Results

### Work measurement and the QWM

A QWM is an apparatus that measures the work performed on a driven quantum system whose Hamiltonian varies from an initial *H* to a final $\stackrel{\u0303}{H}$ with eigenvalues *E*
_{
n
} and ${\u1ebc}_{m}$, respectively. For an isolated system *S*, with a *D*-dimensional space of states, the number of different values of work is bounded by *D*
^{2}. Therefore, the pointer of the QWM has *D*
^{2} distinct positions (one for each value of $w={w}_{nm}={\u1ebc}_{m}-{E}_{n}$). The QWM presented here enables us to choose *H* and $\stackrel{\u0303}{H}$ (fixing the possible values of *w*) and to vary the intermediate driving (inducing different evolution operators denoted as ${\mathcal{U}}_{\mathcal{S}}$). In this way, we vary the probability *P*(*w*), which depends on the intermediate driving ${\mathcal{U}}_{\mathcal{S}}$.

By sampling *P*(*w*), we use the QWM to verify a fundamental result in non-equilibrium quantum thermodynamics: the Jarzynski identity. This identity states that for any initial state with populations identical to the ones associated to a thermal Gibbs state and for any distribution *P*(*w*), the linear combination $\u27e8{e}^{-\beta w}\u27e9={\sum}_{w}{e}^{-\beta w}P\left(w\right)$, where *β* = 1/*k*
_{
B
}
*T* is the inverse temperature of the system, is an equilibrium property (rather than a non-equilibrium one). The Jarzynski identity (see Supplementary Note 1) reads

where Δ*F* is the free energy difference between the thermal states associated with the Hamiltonians *H* and $\stackrel{\u0303}{H}$. In the absence of degeneracies, this implies that the vector formed by the *D*
^{2}−1 measured probabilities belongs to a *D*
^{2}−2 dimensional hyperplane: the ‘Jarzynski manifold’ (as shown in Supplementary Note 1, further constraints restrict this dimensionality to (*D*−1)^{2}). With the QWM we measure *P*(*w*) for different driving fields showing that all probability vectors belong to the same manifold. By characterising this manifold, we not only verify the identity but also independently estimate the free energy difference Δ*F*
^{1,3,4,5}.

The work distribution sampled by the QWM^{10, 19,20,21} is:

Thus, *P*(*w*) is the probability density of finding the energy difference *w* after a measurement of *H* followed by an intermediate driving ${\mathcal{U}}_{\mathcal{S}}$ and a final measurement of $\stackrel{\u0303}{H}$. This is indeed the case if *p*
_{
n
} is the probability of obtaining *E*
_{
n
} when measuring *H* and *p*
_{
m|n
} is the probability of obtaining ${\u1ebc}_{m}$ when measuring $\stackrel{\u0303}{H}$ given that *E*
_{
n
} was detected at the beginning. Equation (2) defines a probability density that is independent of the initial coherences in the energy basis. For the discrete *D*
^{2} values of *w* we will use *P*(*w*) to denote the probability (not the density) of each *w*. The concept on which our QWM is based was first discussed in refs. ^{17, 22} where it was noticed that the work done on *S*, can be detected by performing a generalised quantum measurement, which enables the number of outcomes to be larger than *D*. This can be done by entangling $\mathcal{S}$ with an ancilla $\mathcal{A}$ that stores a coherent record of *w*. Then a standard measurement on *S* can reveal *w*. Similar strategies have been later studied and extended to other contexts in refs. ^{22,23,24}.

### Design and operation of the QWM

A pictorial representation of the protocol we follow to operate the QWM is shown in Fig. 1a. The QWM is designed to measure the work done on a system $\mathcal{S}$ whose Hamiltonian changes from *H* to $\stackrel{\u0303}{H}$ and which is subjected to a driving ${\mathcal{U}}_{\mathcal{S}}$ in between. We couple $\mathcal{S}$ to a continuous variable system $\mathcal{A}$ and use ${\u1e91}_{\mathcal{A}}$ to denote its position (the generator of translations along the momentum *p*). A coherent record of *w* is created by an ‘entangling interaction’ between $\mathcal{A}$ and $\mathcal{S}$ that must take place before and after the driving ${\mathcal{U}}_{\mathcal{S}}$. The unitary operators representing these interactions are: $U={e}^{-i\lambda {\u1e91}_{\mathcal{A}}\otimes \stackrel{\u0303}{H}\u2215\hslash}$ and $\u0168={e}^{i\lambda {\u1e91}_{\mathcal{A}}\otimes \stackrel{\u0303}{H}\u2215\hslash}$, where *λ* is a coupling parameter. Thus, *U* and $\u0168$ respectively translate $\mathcal{A}$ along *p* by a displacement proportional to (−*λH*) and $\lambda \stackrel{\u0303}{H}$. Then, as shown in detail in Supplementary Note 3, the final measurement of *p* on $\mathcal{A}$ yields a random result whose distribution ${P}_{\mathcal{A}}\left(p\right)$ is a smeared version of the true work distribution *P*(*w*) defined in Eq. (2). In fact, outcome *p* is obtained with a probability density ${P}_{\mathcal{A}}\left(p\right)=\int \mathrm{d}wP\left(w\right)f\left(p-\lambda w\right)$, where the window function $f\left(p\right)={\u2223\u27e8p\mid \varphi \u27e9\u2223}^{2}$ is fixed by $\u2223\varphi \u27e9$, the initial state of $\mathcal{A}$ (thus, by localising $\u2223\varphi \u27e9$ we improve the accuracy in the estimation of *P*(*w*)).

A ‘universal’ QWM is an apparatus which can measure *w* and sample *P*(*w*) for any possible choice of *H* and $\stackrel{\u0303}{H}$. To build it, we need enough control to enforce the entangling operators *U* and $\u0168$ for any choice of *H* and $\stackrel{\u0303}{H}$. Remarkably, this is achieved for a 2-level system by the atom chip implementation we describe below.

### Experimental implementation of the QWM

To describe our QWM we should identify the physical systems representing $\mathcal{S}$ and $\mathcal{A}$, the way in which *H* and $\stackrel{\u0303}{H}$ can be chosen, and how the associated *U* and $\u0168$ are implemented. In our experiment we represent $\mathcal{S}$ by the subspace associated with the Zeeman sublevels $\u22231\u27e9\equiv \u2223F=2,{m}_{F}=1\u27e9$ and $\u22232\u27e9\equiv \u2223F=2,{m}_{F}=2\u27e9$ of a ^{87}Rb atom that, as in ref. ^{18} behaves as a two-level system (see below). The motional degree of freedom of the atom plays the role of $\mathcal{A}$.

A key element of the QWM presented here is the atom chip^{25}, which efficiently entangles the internal and motional degrees of freedom of an atom just ~100 μm away from the atom chip surface, through short and strong Stern-Gerlach type magnetic gradient pulses. These pulses are generated using a 3-current-carrying wire setup on the atom chip surface (described in ref. ^{26} and the Methods section). A gradient pulse along the *z* direction with amplitude ${B}^{\prime}$ and duration τ, induces a momentum kick *m*
_{
F
}
*δp* on an atom in the *m*
_{
F
} state ($\delta p~{\mu}_{\mathrm{B}}{g}_{F}{B}^{\prime}\tau $, where *μ*
_{B} and *g*
_{
F
} are, respectively, the Bohr magneton and the Landé factor^{18}). The evolution of the state of the atom induced by such a pulse is described by the unitary operator ${U}_{p}={e}^{i\delta p{\u1e91}_{\mathcal{A}}\otimes \widehat{\sigma}\u2215\hslash}$, where $\widehat{\sigma}=\u22231\u27e9\u27e81\mid +2\mid 2\u27e9\u27e82\u2223$. This physical operation translates $\mathcal{A}$ along the momentum *p* by a displacement $\delta p\widehat{\sigma}$ (notice that the operator $\widehat{\sigma}$ defines the magnetic dipole moment of the atom since $\widehat{\sigma}={\sum}_{m=1,2}m\u2223m\u27e9\u27e8m\u2223$). As described below, we apply two gradient pulses with different amplitudes (${B}^{\prime}$ and ${\stackrel{\u0303}{B}}^{\prime}$) and different durations (*τ* and $\stackrel{\u0303}{\tau}$). Thus, defining $H=E\widehat{\sigma}$ and $\stackrel{\u0303}{H}=\u1ebc\widehat{\sigma}$, *U*
_{
p
} and ${\u0168}_{p}$ implement the required entangling operation *U* and $\u0168$, respectively. In this implementation *λ* is consequently replaced by −*δp*/*E* and $\delta \stackrel{\u0303}{p}\u2215\u1ebc$, enforcing $\u1ebc\u2215E=-\delta \stackrel{\u0303}{p}\u2215\delta p$. The momentum kicks induced by both pulses are controlled in the experiment, and consequently, by fixing their ratio, we can simulate an arbitrary system with initial and final Hamiltonians *H* and $\stackrel{\u0303}{H}$ which are characterised by $\u1ebc\u2215E$ having the same ratio. Finally, let us note that the two pulses utilise ${B}^{\prime}$ and ${\stackrel{\u0303}{B}}^{\prime}$ with opposite signs to ensure that the sequence creates a record of work corresponding to ${\u1ebc}_{m}-{E}_{n}$.

To achieve universality we only need to be able to fix the energy splitting *E* and $\u1ebc$ of *H* and $\stackrel{\u0303}{H}$, as well as their eigenbasis. The traces of *H* and $\stackrel{\u0303}{H}$ (the sum of their eigenvalues) do not affect *P*(*w*) but only add a constant to all values of *w*. As arbitrary *E* and $\u1ebc$ can be simulated and any change of basis can be absorbed into ${\mathcal{U}}_{\mathcal{S}}$, we conclude that our atom chip QWM can sample *P*(*w*) for an arbitrary 2-level system and is thus universal.

The ^{87}Rb atoms are magnetically trapped in state $\u22232\u27e9$ and evaporatively cooled to a Bose–Einstein condensation (BEC). The BEC is released from the trap and a radio-frequency (RF) pulse is used to prepare a superposition of $\u22231\u27e9$ and $\u22232\u27e9$. A strong homogeneous magnetic field (created by external coils) suppresses the transitions taking $\u22231\u27e9$ into the $\u22232,0\u27e9$ state (due to the non-linear Zeeman effect^{18}). The initial populations (*p*
_{1} and *p*
_{2}) are chosen so that the temperature is determined via *βE* = ln(*p*
_{1}/*p*
_{2}). The initial motional state is a wave-packet localised in position and momentum.

It should be noted that the initial internal state of the atom, while having the same populations as defined by the temperature of a thermal state, is still a pure state. However, the quantum coherences of this initial state do not affect the results of the QWM. As explained in Supplementary Note 3, the contribution of the initial coherences to the final probability is multiplied by the overlap between the motional states of the atom associated with the different values of work. Thus, when the atomic clouds associated with the different work values are well separated, the effect of initial coherences is negligible. In this regime, our experiment gives the same result as the one we would obtain by preparing an initial thermal state (with no coherences). The study of the importance of the initial coherences in the definition of work is an interesting topic in itself, which is beyond the scope of our paper (see, for example, refs. ^{24, 27,28,29,30}).

The experimental sequence, presented in Fig. 1b, is: (i) prepare the initial state and release the cloud (which then freely falls along *z*, the direction of gravity), (ii) apply the magnetic gradient *U* along *z*, (iii) apply the driving ${\mathcal{U}}_{\mathcal{S}}$ by exposing the atoms to a RF field resonant with the Zeeman splitting induced by the homogeneous bias field, (iv) apply the gradient $\u0168$, (v) obtain an image of the four clouds after a time-of-flight and count the number of atoms in each cloud. More details of the experiment can be found in the Methods section and Supplementary Note 3. For the experimental demonstration presented here we set the ratio between the measured momentum kicks induced by the two pulses to $-\delta \stackrel{\u0303}{p}\u2215\delta p=0.56\pm 0.02$. Hence, our realisation of the QWM samples the work distribution of a simulated system in which the energy splitting is reduced to 56% of its original value, from *E* to $\u1ebc$, while driven by ${\mathcal{U}}_{\mathcal{S}}$.

Figure 1c shows a typical image obtained by the QWM. Four clouds are visible. From the positions of the centre of each cloud, $\stackrel{\u0304}{z}$, we infer the total momentum shift, $\stackrel{\u0304}{p}$, induced by the pulses on that cloud (we take into account both the free fall and the kicks induced by the pulses, see Supplementary Note 3). Then, we obtain the corresponding value of work as $w=E\stackrel{\u0304}{p}\u2215\delta p$ (*w* is proportional to *E*, whose value, together with the measurement of the remaining quantities, determine the work *w*). Furthermore, the probability *P*(*w*) for each *w* is directly measured by the number of atoms in each cloud. Notably, this experiment determines the entire *P*(*w*) distribution in a single shot.

### Testing the Jarzynski identity

We repeat the experiment fixing the timing, duration and pulse strength. We consider three initial *β*’s and vary the intermediate driving ${\mathcal{U}}_{\mathcal{S}}$ by changing the duration of the RF field. In this way, we obtain many sets of probability distributions, each of which defines a 3D-vector (as there are three independent probabilities). When we represent all these vectors in the same 3D-plot, we find that they all belong to the same *β*-dependent manifold. Figure 2a shows that this manifold is a *β*-dependent line (the dimensionality of this ‘Jarzynski manifold’ is (*D*−1)^{2}, which in this case equals 1).

Using the measured work probabilities we calculate the exponential average of the work $\u27e8{e}^{-\beta w}\u27e9$ for each driving field. Figure 2b displays the value of $G=-\mathrm{l}n\left[\u27e8{e}^{-\beta w}\u27e9\right]=-\mathrm{l}n\left[{\sum}_{w}{e}^{-\beta w}P\left(w\right)\right]$ as a function of the duration of the intermediate RF field, that parametrises ${\mathcal{U}}_{\mathcal{S}}$. As established by the Jarzynski identity, *G* is independent of the driving field and only depends on *β*. The horizontal lines in Fig. 2b are the theoretically predicted values of *β*Δ*F*, obtained from a direct calculation (with its own theoretical uncertainty, due to the error in the estimation of *βE*). This calculation simply involves computing the initial and final partition functions, respectively, denoted as *Z* and $\stackrel{\u0303}{Z}$, and using the identity $\beta \Delta F=\mathrm{l}n\left(Z\u2215\stackrel{\u0303}{Z}\right)$. We find, as the Jarzynski identity establishes, *G* = *β*Δ*F*. From Fig. 2b one can notice that the largest errors in the estimation of *β*Δ*F* appear for *βE* = 1.75. In this case, $P\left(w\right)\lesssim 0.1$ for two values of *w* and, therefore, the relative error in the atom number estimation is large, inducing a larger error in the estimation of *β*Δ*F*.

In Table 1 we compare the measured and estimated values of *β*Δ*F*. The uncertainty in the estimation of *β*Δ*F* and Δ*F* is close to 10%, which is enough to distinguish the three values of *β*Δ*F*. On the other hand, in the case of Δ*F*, there is a significant overlap in the measured values which does not allow to properly distinguish between the three different cases due to the error in the estimation of *βE*.

## Discussion

We presented and implemented a QWM, a new device directly sampling the work distribution on an ensemble of cold atoms. Our QWM can be used to simulate the behaviour of an arbitrary 2-level system. We implemented it with an atom chip and verified the Jarzynski identity over a wide range of non-equilibrium processes. This is the first experiment, and so far the only one, directly sampling *P*(*w*) offering advantages and different perspectives over previous work-measurement schemes. Remarkably, in this cold atom experiment, the QWM extracts full statistical information about the work distribution in a single shot.

## Methods

### Initial state preparation

After preparing the BEC, a homogeneous magnetic field of 36.7G (25 *h*MHz/*μ*
_{B}, where *h* is Planck’s constant) is used to push the transition to $\u22232,0\u27e9$ out of resonance by ~180 kHz due to the non-linear Zeeman effect, which is larger than the power broadened driving RF field of ${\mathcal{U}}_{\mathcal{S}}$. This ensures that the atoms behave as 2-level systems. The BEC is released from the trap and a RF pulse is used to prepare a superposition of $\u22231\u27e9$ and $\u22232\u27e9$. By varying the relative populations we consider three different pseudo-thermal states. The initial motional state is a wave packet $\u2223\varphi \u27e9$, well localised at *z*
_{0} = 91 ± 1.2 μm from the chip with momentum ~0.

### Entangling operations and measurement

An inhomogeneous magnetic field is used to couple spin and motional degrees of freedom. This is generated by a current *I* = 0.85A in the 3-wire setup during a time *τ*. The three parallel gold wires lie on the *x* direction of the chip surface (Fig. 1b). They are 10 mm long, 40 μm wide and 2 μm thick. Their centres are at *y* = −100, 0, 100 μm and the same current runs through them in alternating directions (−*I*, *I*, −*I*, respectively), creating a 2D quadrupole field at *z* = 98 μm below the chip. After a time of flight of 2.4 ms the atoms are at *z* ~ 119 μm. At this point the first gradient pulse implements *U*: *τ* = 40 μs with an amplitude of ${B}^{\prime}~95$G/mm, such that the momentum kick is along +*z*. Then, after 3.1 ms the atoms are at $\stackrel{\u0303}{z}~0.3$mm and the second gradient pulse implements $\u0168$: $\stackrel{\u0303}{\tau}=300$ μs, ${\stackrel{\u0303}{B}}^{\prime}~-7.5$G/mm, such that the momentum kick is along −*z* (since the gradient direction is inverted for *z* > 200 μm). The relative strengths of the spin-dependent forces sets the energy splitting of the Hamiltonians which in this case is on average $\u1ebc\u2215E=-\stackrel{\u0303}{\delta}p\u2215\delta p=0.56\pm 0.02$ (this is the measured value, where the error takes into account fluctuations in the initial position of the cloud and in the gradient pulses). In between the entangling operation ${\mathcal{U}}_{\mathcal{S}}$ is applied with a RF pulse. Finally, an image of the atomic clouds is obtained after a time-of-flight of 18.2 ms after the second gradient (the clouds are centred around *z* ~ 3 mm). The position and number of atoms of each cloud are determined. The momentum shifts of each cloud (that codifies the value of *w*) are obtained from the difference in positions between the clouds, that follow approximately classical trajectories (Supplementary Note 3).

### Uncertainties

The main source of position error is the initial distance of the cloud from the atom chip, whose uncertainty is ~ 1%. This error is later translated to momentum uncertainty, since the field gradients are position dependent. The field gradients have a fractional uncertainty of 10^{−3} due to current fluctuations^{18}. The central position of each cloud is estimated by fitting a Gaussian profile. Each work probability is estimated as a normalised sum of the measured optical density in a relevant region around the cloud, introducing a probability uncertainty (due to atom numbers uncertainty). Our ~5 μm optical resolution also induces an error in the determination of the position for each cloud. We perform three different runs for each combination of initial state population ratios and intermediate driving and use the average values of position and probability. This gives us a position uncertainty of ~0.015 mm and a probability uncertainty of ~0.015 (standard error).

### Data availability

The data that supports the findings of this study are available from the corresponding author upon request.

## Additional information

**Publisher's note:** Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## References

- 1.
Jarzynski, C. Nonequilibrium equality for free energy differences.

*Phys. Rev. Lett.***78**, 2690–2693 (1997). - 2.
Crooks, G. E. Entropy production fluctuation theorem and the nonequilibrium work relation for free energy differences.

*Phys. Rev. E***60**, 2721–2726 (1999). - 3.
Hummer, G. & Szabo, A. Free energy reconstruction from nonequilibrium single-molecule pulling experiments.

*. Proc. Natl Acad. Sci. USA***98**, 3658–3661 (2001). - 4.
Liphardt, J., Dumont, S., Smith, S. B., Tinoco, I. & Bustamante, C. Equilibrium information from nonequilibrium measurements in an experimental test of Jarzynski’s equality.

*Science***296**, 1832–1835 (2002). - 5.
Collin, D. et al. Verification of the crooks fluctuation theorem and recovery of RNA folding free energies.

*Nature.***437**, 231–234 (2005). - 6.
Esposito, M., Harbola, U. & Mukamel, S. Nonequilibrium fluctuations, fluctuation theorems, and counting statistics in quantum systems.

*Rev. Mod. Phys.***81**, 1665–1702 (2009). - 7.
Campisi, M., Hänggi, P. & Talkner, P. Colloquium: quantum fluctuation relations: foundations and applications.

*Rev. Mod. Phys.***83**, 771–791 (2011). - 8.
Seifert, U. Stochastic thermodynamics, fluctuation theorems and molecular machines.

*Rep. Progress Phys.***75**, 126001 (2012). - 9.
Goold, J., Huber, M., Riera, A., del Rio, L. & Skrzypczyk, P. The role of quantum information in thermodynamics—a topical review.

*J. Phys. A Math. Theor.***49**, 143001 (2016). - 10.
Talkner, P., Lutz, E. & Hänggi, P. Fluctuation theorems: work is not an observable.

*Phys. Rev. E***75**, 050102 (2007). - 11.
Huber, G., Schmidt-Kaler, F., Deffner, S. & Lutz, E. Employing trapped cold ions to verify the quantum jarzynski equality.

*Phys. Rev. Lett.***101**, 070403 (2008). - 12.
Watanabe, G., Venkatesh, B. P. & Talkner, P. Generalized energy measurements and modified transient quantum fluctuation theorems.

*Phys. Rev. E***89**, 052116 (2014). - 13.
An, S. et al. Experimental test of the quantum jarzynski equality with a trapped-ion system.

*Nat. Phy.***11**, 193–199 (2015). - 14.
Mazzola, L., De Chiara, G. & Paternostro, M. Measuring the characteristic function of the work distribution.

*Phys. Rev. Lett.***110**, 230602 (2013). - 15.
Dorner, R. et al. Extracting quantum work statistics and fluctuation theorems by single-qubit interferometry.

*Phys. Rev. Lett.***110**, 230601 (2013). - 16.
Batalhão, T. B. et al. Experimental reconstruction of work distribution and study of fluctuation relations in a closed quantum system.

*Phys. Rev. Lett.***113**, 140601 (2014). - 17.
Roncaglia, A. J., Cerisola, F. & Paz, J. P. Work measurement as a generalized quantum measurement.

*Phys. Rev. Lett.***113**, 250601 (2014). - 18.
Machluf, S., Japha, Y. & Folman, R. Coherent stern–gerlach momentum splitting on an atom chip.

*Nat. Commun.***4**, 2424 (2013). - 19.
Tasaki, H. Jarzynski relations for quantum systems and some applications. Preprint at https://arxiv.org/abs/cond-mat/0009244 (2000).

- 20.
Kurchan, J. A quantum fluctuation theorem. Preprint at https://arxiv.org/abs/cond-mat/0007360 (2000).

- 21.
Mukamel, S. Quantum extension of the jarzynski relation: analogy with stochastic dephasing.

*Phys. Rev. Lett.***90**, 170604 (2003). - 22.
De Chiara, G., Roncaglia, A. J. & Paz, J. P. Measuring work and heat in ultracold quantum gases.

*New. J. Phys.***17**, 035004 (2015). - 23.
Talkner, P. & Hänggi, P. Aspects of quantum work.

*Phys. Rev. E***93**, 022131 (2016). - 24.
Solinas, S., Miller, H. J. D. & Anders, J. Measurement-dependent corrections to work distributions arising from quantum coherences. Preprint at https://arxiv.org/abs/1705.10296 (2017).

- 25.
Keil, M. et al. Fifteen years of cold matter on the atom chip: promise, realizations, and prospects.

*J. Mod. Opt.***63**, 1840–1885 (2016). - 26.
Margalit, Y. et al. A self-interfering clock as a “which path” witness.

*Science***349**, 1205–1208 (2015). - 27.
Solinas, P. & Gasparinetti, S. Full distribution of work done on a quantum system for arbitrary initial states.

*Phys. Rev. E***92**, 042150 (2015). - 28.
Kammerlander, P. & Anders, J. Coherence and measurement in quantum thermodynamics.

*Sci. Rep.***6**, 22174 (2016). - 29.
Perarnau-Llobet, M., Bäumer, E., Hovhannisyan, K. V., Huber, M. & Acin, A. No-go theorem for the characterization of work fluctuations in coherent quantum systems.

*Phys. Rev. Lett.***118**, 070601 (2017). - 30.
Sampaio, R., Suomela, S., Ala-Nissila, T., Anders, J. & Philbin, T. G. The impossible quantum work distribution. Preprint at https://arxiv.org/abs/1707.06159 (2017).

## Acknowledgements

F.C., A.J.R. and J.P.P. acknowledge financial support from ANPCyT (PICT 2013-0621 and PICT 2014-3711), CONICET and UBACyT. YM and RF gratefully acknowledge funding by the Israel Science Foundation, the EC Matter-Wave consortium [FP7-ICT-601180], and the German DFG through the DIP programme [FO703/2-1]. S.M. acknowledges financial support by the Foundation for Fundamental Research on Matter (FOM), which is part of the Netherlands Organisation for Scientific Research (NWO). We also thank the BGU nano-fabrication team for making available the high quality chip, and Zina Binstock for helping with the electronics.

## Author information

### Affiliations

#### Departamento de Física, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires Ciudad Universitaria, 1428, Buenos Aires, Argentina

- Federico Cerisola
- , Augusto J. Roncaglia
- & Juan Pablo Paz

#### Instituto de Física de Buenos Aires, CONICET-UBA, Ciudad Universitaria, 1428, Buenos Aires, Argentina

- Federico Cerisola
- , Augusto J. Roncaglia
- & Juan Pablo Paz

#### Department of Physics, Ben-Gurion University of the Negev, Be’er Sheva, 84105, Israel

- Yair Margalit
- & Ron Folman

#### Van der Waals-Zeeman Institute, University of Amsterdam, Science Park 904, PO Box 94485, 1090 GL, Amsterdam, The Netherlands

- Shimon Machluf

### Authors

### Search for Federico Cerisola in:

### Search for Yair Margalit in:

### Search for Shimon Machluf in:

### Search for Augusto J. Roncaglia in:

### Search for Juan Pablo Paz in:

### Search for Ron Folman in:

### Contributions

F.C., A.J.R. and J.P.P. envisioned and outlined the experiment. Y.M., S.M. and R.F. designed and performed the experiment. F.C., A.J.R., S.M. and Y.M. analysed the data. All authors contributed to the preparation of the manuscript coordinated by J.P.P. and A.J.R. The project was supervised by J.P.P. and R.F.

### Competing interests

The authors declare no competing financial interests.

### Corresponding authors

Correspondence to Federico Cerisola or Juan Pablo Paz.

## Electronic supplementary material

## 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.

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as 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. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.