Quantifying Athermality and Quantum Induced Deviations from Classical Fluctuation Relations

Abstract

In recent years, a quantum information theoretic framework has emerged for incorporating non-classical phenomena into fluctuation relations. Here, we elucidate this framework by exploring deviations from classical fluctuation relations resulting from the athermality of the initial thermal system and quantum coherence of the system’s energy supply. In particular, we develop Crooks-like equalities for an oscillator system which is prepared either in photon added or photon subtracted thermal states and derive a Jarzynski-like equality for average work extraction. We use these equalities to discuss the extent to which adding or subtracting a photon increases the informational content of a state, thereby amplifying the suppression of free energy increasing process. We go on to derive a Crooks-like equality for an energy supply that is prepared in a pure binomial state, leading to a non-trivial contribution from energy and coherence on the resultant irreversibility. We show how the binomial state equality fits in relation to a previously derived coherent state equality and offers a richer feature-set.

1. Introduction

Thermodynamics, a theory of macroscopic systems at equilibrium, is vastly successful with a diverse range of applications [1,2,3,4,5,6]. This is perhaps somewhat surprising given the prevalence of non-equilibrium states and processes in nature. Underpinning this success is the second law of thermodynamics, an inequality that holds for all equilibrium and non-equilibrium processes alike [7]. However, the implication of an irreversible flow in the dynamics belies the “arrow of time”, since the underlying laws of motion generally define no preferred temporal order [8]. A resolution to this seeming discrepancy arose in the form of fluctuation theorems, which derive the irreversibility beginning from time-reversal invariant dynamics [8,9,10,11,12].

The challenge of generalising fluctuation relations to quantum systems has attracted significant attention in recent years. The simplest approach defines the work done on a closed system as the change in energy found by performing projective measurements on the system at the start and end of the non-equilibrium process [10,13,14,15,16,17]. Extensions to this simple protocol have focused on formulations in terms of quantum channels [18,19,20], generalisations to open quantum systems [21,22] and alternative definitions for quantum work including those using quasi-probabilities [23,24], the consistent histories framework [25] and the quantum jump approach [26,27,28]. However, these approaches tend to be limited to varying degrees by the unavoidable impact of measurements on quantum systems. By defining quantum work in terms of a pair of projective measurements or continual weak measurements, the role of coherence is attenuated.

A new framework for deriving quantum fluctuation relations has recently emerged [29,30,31,32] which aims to fully incorporate non-classical thermodynamic effects into fluctuation relations by drawing on insights from the resource theory of quantum thermodynamics [33,34,35,36,37,38,39]. This framework considers an energy conserving and time reversal invariant interaction between an initially thermal system and a quantum battery, that is the energy source which supplies work to, or absorbs work from, the system. This framework can be taken as the starting point to derive Crooks-like relations for a harmonic oscillator battery prepared in coherent, squeezed and Schrödinger cat states [40]. These new equalities are used both to discuss coherence induced corrections to the Crooks equality and to propose an experiment to test the framework. Furthermore, the fluctuation relations give way to an interpretation involving coherent work states, a generalisation of Newtonian work for fully quantum dynamics. It was proved that the energetic and coherent properties of the coherent work is totally captured in this fluctuation setting [41].

In this paper, we use this new framework to explore deviations from classical fluctuation relations resulting from athermality of the initial thermal system and quantum coherence of the battery. In particular, we start by exploring the effects of athermality by developing Crooks equalities for a quantum harmonic oscillator system which is prepared in a photon added and photon subtracted thermal state. These states have received interest in quantum optics owing to their non-Gaussian and negative Wigner functions [42,43,44] along with their producibility in lab settings [42,45,46,47]. Furthermore, they have been suggested as useful resources in quantum key distribution [48], metrology [49] and continuous variable quantum computing [50,51], and there is growing interest in their thermodynamic properties [46,47].

We then proceed to investigate the role of coherence by deriving a Crooks equality for a battery prepared in pure binomial states. Binomial states can be viewed as analogues of coherent states for finite dimensional systems rather than infinite dimensional oscillators [52,53], leading to highly non-classical properties [54,55]. While binomial states are harder to produce in lab settings, there have been proposals [56,57]. The derived equality effectively generalises the coherent state Crooks equality of Holmes et al. [40], incorporating finite sized effects and leading to the coherent state equality in the appropriate limit. Moreover, binomial states quantify a smooth transition between semi-classical regimes and deep quantum regimes by encapsulating both coherent state and multi-qubit fluctuation relations in a single framework.

2. Background

2.1. Classical Fluctuation Relations

A system S is initially in thermal equilibrium with respect to Hamiltonian $H_S^i$ at temperature T. It is then driven from equilibrium by a variation of Hamiltonian $H_S^i$ to $H_S^f$, doing work W with probability ${\mathcal{P}}_F\left(W\right)$ in the process. This forwards process is compared to a reverse process in which a system thermalised with respect to $H_S^f$ is pushed out of equilibrium by changing $H_S^f$ to $H_S^i$, doing work $-W$ with probability ${\mathcal{P}}_R(-W)$. The ratio of these two probabilities is known as the Crooks equality [9],

$$\frac{{\mathcal{P}}_F\left(W\right)}{{\mathcal{P}}_R(-W)}=exp\left(\beta (W-\Delta F)\right),$$

(1)

where $\Delta F$ is the equilibrium Helmholtz free energy difference and $\beta$ is the inverse temperature $1/k_{B}T$.

The Crooks equality is a generalisation of the second law of thermodynamics. As a corollary to Crooks equality, one can derive the Jarzynski equality [12], which reads

$$〈exp\left(-\beta W\right)〉=exp\left(-\beta \Delta F\right).$$

(2)

Finally, using Jensen’s inequality [58], one arrives at the second law of thermodynamics in its formulation as a bound for the average extractable work $\langle W_{\mathrm{ext}}\rangle \le -\Delta F$. The Jarzynski equality has been used to calculate free energy changes for highly complex systems [59] such as unravelling of proteins [60], and as a theoretical tool to re-derive two of Einstein’s key relations for Brownian motion and stimulated emission [61].

2.2. Fully Quantum Fluctuation Relations

Our starting point is a global “fully quantum fluctuation theorem” from [29], a more general relation than that explicated in [32,40,41], which can be used to derive a whole family of quantum fluctuation relations. A defining property of quantum systems is their ability to reside in superpositions of states belonging to different energy eigenspaces, a property often referred to simply as coherence. The quantum framework we present here carefully tracks the changes in these energetic coherences.

Changing the Hamiltonian of a system typically requires doing work or results in the system performing work and thus every fluctuation relation, at least implicitly, involves an energy source which supplies or absorbs this work. While often not explicitly modelled, the dynamics of the energy supply can contribute non-trivially to the evolution of the driven system. Thus, to enable a more careful analysis of the energy and coherence changes of the system, we consider an inclusive (this is in contrast to the exclusionary picture of the original Crooks and Jarzynski equalities) approach [29,30,31,40,41,62], which introduces a battery and assumes the system (S) and battery (B) evolve together under a time independent Hamiltonian $H_{SB}$.

To realise an effective change in system Hamiltonian from $H_S^i$ to $H_S^f$ with a time independent Hamiltonian, we assume a Hamiltonian of the form

$$H_{SB}={\mathbf{1}}_S\otimes H_B+H_S^i\otimes {\mathsf{\Pi }}_B^i+H_S^f\otimes {\mathsf{\Pi }}_B^f$$

(3)

where $H_B$ is the battery Hamiltonian and ${\mathsf{\Pi }}_B^i$ and ${\mathsf{\Pi }}_B^f$ are projectors onto two orthogonal subspaces, $R_i$ and $R_f$, of the battery’s Hilbert space. We assume the battery is initialised in a state in subspace $R_i$ only and evolves under a unitary U to a final state in subspace $R_f$ only, such that the system Hamiltonian is effectively time dependent, evolving from $H_S^i$ to $H_S^f$.

To ensure that the energy supplied to the system is provided by the battery, we require the dynamics to be energy conserving such that $[U,H_{SB}]=0$. We further assume that U and $H_{SB}$ are time-reversal invariant with $U=\mathcal{T}\left(U\right)$ and $H_{SB}=\mathcal{T}\left(H_{SB}\right)$. The time-reversal [63,64] operation $\mathcal{T}$ is defined as the transpose operation in the energy eigenbasis of the system and battery.

The most general process that can be described by a fluctuation relation within the inclusive framework involves preparing the system and battery in an initial state $\rho$, evolving it under the propagator U and then performing a measurement on the system and battery, which can be represented by the measurement operator X. The outcome of this measurement is quantified by

$$\mathcal{Q}\left(X\right|\rho ):=Tr\left[XU\rho U^{†}\right]$$

(4)

which can capture a number of different physical properties. For example, if the measurement operator X is chosen to be an observable, then $\mathcal{Q}\left(X\right|\rho )$ is the expectation value of the evolved state $U\rho U^{†}$, whereas, if the measurement operator is chosen to be some state ${\rho }^{\prime }$, corresponding to the binary POVM measurement $\{{\rho }^{\prime },\mathbf{1}-{\rho }^{\prime }\}$, then $Q\left({\rho }^{\prime }\right|\rho )$ captures a transition probability between the state $\rho$ and ${\rho }^{\prime }$ under the evolution U.

The global fluctuation relation relates $\mathcal{Q}\left(X_{SB}^f\right|{\rho }_{SB}^i)$ of a forwards process to $\mathcal{Q}\left(X_{SB}^i\right|{\rho }_{SB}^f)$ of a reverse process. For our purposes, we assume that the system and battery are initially uncorrelated in both the forwards and reverse processes, i.e.,

$${\rho }_{SB}^i={\rho }_S^i\otimes {\rho }_B^i\mathrm{and}{\rho }_{SB}^f={\rho }_S^f\otimes {\rho }_B^f$$

(5)

and suppose that independent measurements are made on the system and battery such that the measurement operator can be written in a separable form, i.e.,

$$X_{SB}^i=X_S^i\otimes X_B^i\mathrm{and}{X}_{SB}^f=X_S^f\otimes X_B^f.$$

(6)

The global fluctuation relation holds for measurement operators and states related by the mapping $\mathcal{M}$ defined as

$$\begin{array}{cc}\hfill & {\rho }_S^k=\mathcal{M}\left(X_S^k\right)\propto \mathcal{T}\left(exp\left(-\frac{\beta H_S^k}{2}\right)X_S^{k}exp\left(-\frac{\beta H_S^k}{2}\right)\right)\hfill \end{array}$$

(7)

$$\begin{array}{cc}\hfill & {\rho }_B^k=\mathcal{M}\left(X_B^k\right)\propto \mathcal{T}\left(exp\left(-\frac{\beta H_B}{2}\right)X_B^{k}exp\left(-\frac{\beta H_B}{2}\right)\right)\hfill \end{array}$$

(8)

for $k=i,f$. This mapping arises naturally when one relates a forward and a reverse quantum process in the inclusive framework. When a measurement operator is a projection onto an energy eigenstate, then the state related by the mapping, Equation (7), is an energy eigenstate. Conversely, when no measurement is performed, i.e., $X=\mathbf{1}$, the corresponding state is a thermal state. However, in general, the mapping is non-trivial and essential to capture the influence of quantum coherence and athermality. The relationship between the four states quantified by the global fluctuation relation is sketched in Figure 1.

For the uncorrelated initial states and measurement operators related by the mapping $\mathcal{M}$, the global fluctuation relation [29,40,41] can be written as

$$\frac{\mathcal{Q}\left(X_{SB}^f\right|{\rho }_{SB}^i)}{\mathcal{Q}\left(X_{SB}^i\right|{\rho }_{SB}^f)}=exp\left(\beta (\Delta \tilde{W}-\Delta \tilde{F})\right)$$

(9)

in terms of the quantum generalisation

$$\begin{array}{c}\hfill \Delta \tilde{F}:=\tilde{E}(\beta ,H_S^f,X_S^f)-\tilde{E}(\beta ,H_S^i,X_S^i)\end{array}$$

(10)

of the change in free energy, as well as a quantum generalisation of the work

$$\begin{array}{c}\hfill \Delta \tilde{W}:=\tilde{E}(\beta ,H_B,X_B^i)-\tilde{E}(\beta ,H_B,X_B^f).\end{array}$$

(11)

supplied by the battery. The function

$$\tilde{E}(\beta ,H,X):=-\frac{1}{\beta }ln\left(Tr\left[exp\left(-\beta H\right)X\right]\right)$$

(12)

is an effective potential that specifies the relevant energy value within the fluctuation theorem context. When the measurement operator is equal to the identity operation the effective potential, $\tilde{E}(\beta ,H,\mathbf{1})$, is equal to the free energy with respect to Hamiltonian H and thus $\Delta \tilde{F}$ reduces to the usual Helmholtz free energy. Conversely, for a projector onto an energy eigenstate, the effective potential, $\tilde{E}(\beta ,H,|E_k\rangle \langle E_k\left|\right)$, is the corresponding energy $E_k$ from which we regain the classical work term using a two point projective measurement scheme. More generally, when restricting to projective measurement operators, the function $\beta \tilde{E}(\beta ,H,|\psi \rangle \langle \psi \left|\right)$ is a cumulant generating function in the parameter $\beta$ that captures the statistical properties of measurements of H on $|\psi \rangle$ [41].

We regain the Crooks equality from this global fluctuation relation for a thermal system and a battery with a well defined energy. Specifically, in the forwards process, the system is prepared in a thermal state

$${\gamma }_S^i\propto exp\left(-\beta H_S^i\right)$$

(13)

and we consider the probability to observe the battery to have energy $E_f$ having prepared it with energy $E_i$, that is transition probabilities of the form

$$\begin{array}{cc}\hfill \mathcal{P}\left(E_f\right|{\gamma }_S^i,E_i)& :=\mathcal{Q}\left({\mathbf{1}}_S\otimes |E_f\rangle \langle E_f\left|\right|{\gamma }_S^i\otimes |E_i\rangle \langle E_i|\right).\hfill \end{array}$$

(14)

In this classical limit, the global fluctuation relation reduces to

$$\frac{\mathcal{P}\left(E_f\right|{\gamma }_S^i,E_i)}{\mathcal{P}\left(E_i\right|{\gamma }_S^f,E_f)}=exp\left(\beta (W-\Delta F)\right)$$

(15)

where $W:=E_i-E_f$ is the negative change in energy of the battery and thus, due to global energy conservation, equivalent to the work done on the system. If we additionally assume that the dynamics of the system and battery do not depend on the initial energy of the battery, then using this energy translation invariance assumption, which we explicitly define in Section 3.3, one is able to regain all classical and semi-classical fluctuation results [29]. The global fluctuation relation is thus a genuine quantum generalisation of these relations and inherits their utility.

In this manuscript, we use the global fluctuation relation, Equation (9), to quantify deviations from the classical Crooks relation resulting from athermality of the initial thermal system and quantum coherence of the battery. Specifically, to probe the impact of preparing the system in imperfectly thermal states, we derive in Section 3.1 a Crooks-like relation for a system that is prepared in a photon added or a photon subtracted thermal state. In Section 3.2, we investigate the deviations generated by coherence in the battery by deriving a Crooks equality for binomial states of the battery.

3. Results

3.1. Photon Added and Subtracted Thermal States

Photon added and subtracted states are non-equilibrium states generated from a thermal state by, as the name suggests, either the addition or the subtraction of a single photon. Considering a single quantised field mode with creation and annihilation operators $a^{†}$ and a and Hamiltonian H, the photon added thermal state can be written as

$${\gamma }_H^{+}\propto a^{†}exp\left(-\beta H\right)a$$

(16)

and the photon subtracted thermal state as

$${\gamma }_H^{-}\propto aexp\left(-\beta H\right)a^{†}.$$

(17)

The states ${\gamma }_H^{+}$ and ${\gamma }_H^{-}$ are diagonal in the energy eigenbasis and therefore are classical in the sense that they are devoid of coherence. Nonetheless, they are non-Gaussian and have negative Wigner functions [45,65,66,67,68], traits which are considered non-classical in the context of quantum optics.

Moreover, the addition or subtraction of a photon from a thermal state has a rather surprising impact on the number of photons in the state: In particular, adding a photon to a thermal state of light, which contains on average $\overline{n}$ photons, increases the expected number of photons in the state to $2\overline{n}+1$ [42,43,44]. Similarly, subtracting a photon from a thermal state doubles the expected number of photons to $2\overline{n}$. Thus, counter-intuitively, adding or subtracting a single photon to a thermal state substantially increases the expected number of photons in the state.

In line with standard nomenclature we will refer to photon added and subtracted thermal states throughout this paper; however, the modes in Equations (16) and (17) could naturally refer to any boson. Experimental techniques for generating photon added [45] and subtracted [42] thermal states are well established and methods are currently being developed for the preparation of phonon added states [69].

To illustrate the deviations from classical thermodynamics induced by the addition (subtraction) of a single photon we derive a Crooks-like relation characterised by replacing the initially thermal system of the standard setting quantified by the Crooks equality, with a system in a photon added (subtracted) thermal state. That is, for the photon added (+) and photon subtracted (−) equalities, we suppose that the system is prepared in the states

$$\begin{array}{cc}\hfill & {\rho }_S^i={\gamma }_i^{\pm }\mathrm{and}{\rho }_S^f={\gamma }_f^{\pm }\hfill \end{array}$$

(18)

at the start of the forwards and reverse processes, respectively, where to simplify notation we have introduced the shorthand ${\gamma }_k^{\pm }\equiv {\gamma }_{H_S^k}^{\pm }$.

In analogy to the classical Crooks relation, we quantify the work supplied to the system when the photon added (subtracted) thermal system is driven by a change in Hamiltonian. For concreteness, we assume here that the system is a quantum harmonic oscillator with initial and final Hamiltonians given by

$$H_S^k:=\hslash {\omega }_k\left(a_k^{†}{a}_k+\frac{1}{2}\right),$$

(19)

for $k=i$ and $k=f$, such that the system is driven by a change in its frequency from ${\omega }_i$ to ${\omega }_f$. As energy is globally conserved, the work supplied to the system is given by the change in energy of the battery and therefore the probability distribution for the work done on the system can be quantified by transition probabilities between energy eigenstates of the battery. Specifically, in the forward process, we consider the probability to observe the battery to have energy $E_f$ having prepared it with energy $E_i$ and vice versa in the reverse. We do not need to make any specific assumptions on the battery Hamiltonian $H_B$ to quantify such eigenstate transition probabilities and therefore $H_B$ may be chosen freely.

In contrast to the usual Crooks relation, the photon added (subtracted) Crooks relations depends on the average number of photons in the photonic system after the driving process. This arises from the mapping $\mathcal{M}$ between the measurement operators and the initial states following Equation (7). As shown explicitly in Appendix A, on inverting Equation (7), we find that for the photon added equality the measurement operators $X_S^i$ and $X_S^f$ are given by

$$X_S^k=a_k^{†}{a}_k:=N_k\mathrm{for}k=i,f;$$

(20)

and for the subtracted equality they are given by

$$X_S^k=a_k{a}_k^{†}=N_k+1\mathrm{for}k=i,f.$$

(21)

That is, in both cases, they are given in terms of the number operator $N_k$ only.

Given this form for the measurement operators, it follows that the photon added and subtracted Crooks relations quantify the expected number of photons in the system at the end of the driving process as well as the change in energy of the system. For example, for the forwards process of the photon added Crooks equality, $\mathcal{Q}$, as defined in Equation (4), is equal to

$$\begin{array}{c}\hfill \mathcal{Q}\left(N\otimes |E_f\rangle \langle E_f\left|\right|{\gamma }_i^{+}\otimes |E_i\rangle \langle E_i|\right)=n\left(E_f\right|{\gamma }_i^{+},E_i)\mathcal{P}\left(E_f\right|{\gamma }_i^{+},E_i)\end{array}$$

(22)

where $\mathcal{P}$ is the transition probability of the battery from energy $E_i$ to $E_f$ conditional on preparing the system in a photon added thermal state, as defined in Equation (14), and $n\left(E_f\right|{\gamma }_i^{+},E_i)$ is the average number of photons in the system at the end of this driving process. Similar expressions to Equation (22) are obtained for the reverse process of the photon added equality and both the forwards and reverse processes of the photon subtracted equality.

As we are considering transition probabilities between energy eigenstates of the battery, the generalised energy flow term $\Delta \tilde{W}$ reduces to the work done on the system as in Equation (15). However, as derived explicitly in Appendix A, the generalisations of the free energy term, Equation (10), $\Delta {\tilde{F}}^{+}$ and $\Delta {\tilde{F}}^{-}$ for the photon added and subtracted equalities, respectively, evaluate to

$$\Delta {\tilde{F}}^{\pm }=2\Delta F\pm \Delta E_{\mathrm{vac}}.$$

(23)

In the above, $\Delta F$ is the change in free energy associated with the change in Hamiltonian from $H_S^i$ to $H_S^f$ and we introduce $\Delta E_{\mathrm{vac}}$,

$$\Delta E_{\mathrm{vac}}:=\frac{1}{2}\hslash {\omega }_f-\frac{1}{2}\hslash {\omega }_i,$$

(24)

as the difference between the initial and final vacuum energies of photonic system.

In the classical limit where ℏ tends to zero, the contribution from the energy of the vacuum state, $\Delta E_{\mathrm{vac}}$, vanishes and $\Delta F^{+}$ and $\Delta F^{-}$ both tend to $2\Delta F$. This behaviour can be explained by the observation in [44] that the photon probability distributions for photon added and subtracted states have the same functional form but while the photon subtracted distribution starts at $n=0$, that is in the vacuum state, the photon added distribution starts at $n=1$, and therefore has no vacuum contribution, a shift which becomes increasingly insignificant for higher temperatures. Conversely, as shown in Figure 2, in the low temperature quantum limit, the contribution of the energy of the vacuum state generates sizeable deviations between the generalised free energy terms for the photon added and subtracted cases. Specifically, while $\Delta F_S^{-}$ tends to $\Delta F$ in agreement with the standard classical Crooks relation, we find that $\Delta F^{+}$ is substantially larger than $2\Delta F$. This is due to the fact that in the low temperature limit the photon subtracted thermal state and normal thermal state both tend to the vacuum state, whereas the photon added thermal state tends to a single photon Fock state. In all limits, $\Delta F^{+}$ and $\Delta F^{-}$ are larger than $\Delta F$, indicating that the addition and subtraction of a photon increases the energy and information content of a thermal state, thereby increasing the extractable work from the state. Similar phenomena have been observed elsewhere in the context of work extraction protocols [46] and Maxwell demons [47].

The final photon added (+) and photon subtracted (−) Crooks equality can be written as

$$\frac{\mathcal{P}\left(E_f\right|{\gamma }_i^{\pm },E_i)}{\mathcal{P}\left(E_i\right|{\gamma }_f^{\pm },E_f)}={\mathcal{R}}_{\pm }\left(W\right)exp\left(\beta \left(W-2\Delta F\mp \Delta E_{\mathrm{vac}}\right)\right).$$

(25)

The prefactor ${\mathcal{R}}_{\pm }\left(W\right)$ quantifies the ratio of the number of photons measured in the system at the end of the reverse process over the number of photons measured at the end of the forwards process. Note, as a result, the prefactor is only defined when both the numerator and denominator of Equation (A30) are both positive quantities. As shown in Appendix A, the prefactors ${\mathcal{R}}_{+}\left(W\right)$ and ${\mathcal{R}}_{-}\left(W\right)$ can be written as

$$\begin{array}{cc}\hfill & {\mathcal{R}}_{\pm }\left(W\right)=\frac{{\omega }_f}{{\omega }_i}\frac{\hslash {\omega }_f(2{\overline{n}}_f+k_{\pm })+W+\Delta E_{\mathrm{vac}}}{\hslash {\omega }_i\left(2{\overline{n}}_i+k_{\pm }^{-1}\right)-W-\Delta E_{\mathrm{vac}}}\hfill \end{array}$$

(26)

with $k_{+}=1$ and $k_{-}=\frac{{\omega }_i}{{\omega }_f}$ and where ${\overline{n}}_k$ is the average number of photons in a thermal state with frequency ${\omega }_k$. It is worth noting that ${\mathcal{R}}_{\pm }\left(W\right)$ implicitly depends on the free energy of the initial and final Hamiltonians because $\hslash {\omega }_k({\overline{n}}_k+\frac{1}{2})$ is the average energy of a thermal photonic state with frequency ${\omega }_k$, which, by definition, is equal to the sum of free energy and entropy of the state.

The classical Crooks equality implies that driving processes which require work and decrease free energy are exponentially more likely than processes which produce work and increase free energy, thus quantifying the irreversibility of non-equilibrium driving processes. Given that the generalised free energy terms $\Delta {\tilde{F}}^{+}$ and $\Delta {\tilde{F}}^{-}$ are greater than the usual change in free energy $\Delta F$, it is tempting to conclude that athermality of the initial system can strengthen irreversibility by amplifying the suppression factor of free energy increasing processes. However, the presence of the prefactor $\mathcal{R}$ in Equation (25), which depends on both the work done during the driving process and implicitly the initial and final free energies of the system, makes it harder to draw clear cut conclusions.

To aid comparison between the athermal and thermal cases, in Figure 3, we plot the total predicted ratio of the forwards and reverse processes for the photon added and subtracted Crooks relations, that is the right hand side of Equation (25), and compare them to the equivalent prediction of the classical relation, Equation (1). We similarly plot the prefactors ${\mathcal{R}}_{+}$ and ${\mathcal{R}}_{-}$. As the prefactor $\mathcal{R}$ does not appear in the classical Crooks relation, Equation (1), we can say that $\mathcal{R}$ is effectively equal to 1 in the limit of a perfectly thermal system. For concreteness, we here consider a forwards process where the oscillator frequency is doubled, increasing the system’s free energy. We plot the ratio and $\mathcal{R}$ as a function of $\chi :=\frac{\beta \hslash \omega }{2}$, the ratio of vacuum energy to thermal energy, a measure which delineates between quantum and thermodynamic regimes.

As shown in Figure 3, the interplay between the prefactors ${\mathcal{R}}_{\pm }$, which are greater than the classical limit of 1, and the terms $exp(-\beta \Delta {\tilde{F}}_{\pm })$, which are smaller than $exp(-\beta \Delta F)$, leads to a rich spectrum of deviations from the classical Crooks relation. For example, while the prefactor ${\mathcal{R}}_{+}$ for the photon added case is substantially greater than 1 in the low temperature limit, the total predicted ratio is smaller than for the photon subtracted case. This is because the large value of $R_{+}$ is exponentially suppressed by $\Delta {\tilde{F}}_{+}$ which is substantially larger than $\Delta {\tilde{F}}_{-}$ and $\Delta F$, as shown in Figure 2, due to the contribution of the change in vacuum energy. Thus, we conclude that for the photon added relation, irreversibility is milder in the quantum limit due to the contribution of the energy of the vacuum state, a phenomenon which was also observed in [40].

In the high temperature classical limit one might expect adding or subtracting a single photon to a thermal state containing on average a large number of photons would have a negligible effect. Indeed, this is what we see for processes in which no work is performed on the system since in the high temperature limit the prefactor ${\mathcal{R}}_{\pm }\left(0\right)$ reduces to $exp(\beta \Delta F)$. However, interestingly for work requiring processes, we do see large deviations from the usual classical Crooks relation in the classical limit. We attribute this to the fact that adding or subtracting a photon from thermal light effectively doubles the mean photon number the state, and therefore the net effect can be substantial even for high temperature states as they contain larger numbers of photons.

More generally, for all temperatures and for both the photon added and subtracted relations, we find that the larger the work done on the system, the larger the predicted ratio. This confirms that even when the initial states are photon added or subtracted thermal states, processes which require work are exponentially more probable than processes that generate work.

3.2. Binomial States

In the previous section, we show how the athermality of the initial system, due to the addition or subtraction of a single photon, induces rich deviations from the classical Crooks relation. Here, we complement this analysis by exploring how quantum features can be introduced through the coherence of the battery. The quantum fluctuation relations are well characterised for coherent states of the battery [40] which have close-to-classical properties. In the following, we consider binomial states, which provide a well-defined transition between coherent states of a quantum harmonic oscillator, and highly quantum mechanical states such as a state of an individual qubit.

Binomial states are pure states of the form

$$|n,p\rangle =\sum _{k=0}^n\sqrt{\left(\genfrac{}{}{0pt}{}{n}{k}\right)p^k{(1-p)}^{n-k}}{e}^{i{\varphi }_k}|k\rangle ,$$

(27)

whose properties have been extensively studied in the field of quantum optics [44,53,54,70]. Binomial states are non-classical states with finite support and exhibit sub-Poissonian statistics [44,54], squeezing of quadratures [54] and are highly non-classical both in terms of their coherent properties and the negativity of their Wigner function [55]. They can be thought of as an n-qubit tensor product ${|p\rangle }^{\otimes n}$ of the states $|p\rangle =\sqrt{1-p}|0\rangle +\sqrt{p}|1\rangle$. The states $|n,p\rangle$ and ${|p\rangle }^{\otimes n}$ are related by an energy-preserving unitary rotation. This is important as the effective potential $\tilde{E}$ is invariant under energy conserving unitaries, implying that as far as the fluctuation theorem is concerned, they are interchangeable. In the limit that n tends to infinity, they approach the regular coherent states and the opposite limiting case $n=1$ corresponds to the deep quantum regime.

Binomial states find use owing to their nice analytical properties. For instance, the commonly encountered spin-coherent states are particular examples of binomial states [52,70,71,72]. Spin-coherent states belong to a class of generalised coherent states that allow for different displacement operators, in this case of the form $D\left(\alpha \right)=exp(\alpha S_{+}+{\alpha }^{*}{S}_{-})$ where $S_{\pm }$ are the spin-raising and lowering operators [52,53,71]. Proposals for the generation of binomial states have been developed in atomic systems [56,57] and they have been suggested as analogues to coherent states for rotational systems [73,74]. These examples indicate that binomial states are of natural physical interest.

In what follows, we assume the battery is a harmonic oscillator, $H_B=\hslash \omega (a^{†}a+\frac{1}{2})$, but do not make any specific assumptions on the initial and final system Hamiltonians. Note, one could also consider a finite Hamiltonian; however, for complete generality, decoupling the dimension of the Hamiltonian and the support of the state proves useful. We assume the system is prepared in a standard thermal state and consider transitions between two binomial states of the battery. More specifically, here the battery measurement operators are chosen as the projectors

$$\begin{array}{c}\hfill X_B^k=|n_k,p_k\rangle \langle n_k,p_k|\mathrm{for}k=i,f.\end{array}$$

(28)

which, given the mapping $\mathcal{M}$ in Equation (7), fixes the preparation states. As shown in Appendix B, we find that the prepared states are the binomial states,

$$\begin{array}{cc}\hfill & {\rho }_B^k=|n_k,{\tilde{p}}_k\rangle \langle n_k,{\tilde{p}}_k|\mathrm{with}\tilde{p}=\frac{p{e}^{-\beta \hslash \omega }}{p{e}^{-\beta \hslash \omega }+q}\mathrm{and}\tilde{q}=\frac{q}{p{e}^{-\beta \hslash \omega }+q},\hfill \end{array}$$

(29)

with $q=1-p$ and for $k=i,f$. Thus, we see that the mapping $\mathcal{M}$ preserves binomial statistics but leads to a distortion factor due to the presence of coherence. Since $\tilde{p}$ is always less than p, this distortion from $\mathcal{M}$ lowers the energy of the prepared state as compared to the equivalent measured state, with its energy vanishing in low temperature limit.

There exist two clear distinct physical regimes corresponding to different battery preparation and measurement protocols. In the realignment regime, we fix the system size n and consider transition probabilities between rotated states. Conversely, the resizing regime quantifies transition probabilities between states of different “sizes”, that is states with different supports but fixed alignment in the Bloch sphere. For the realignment regime, the prepare and measure protocols are as follows:

• Forwards: The battery B is prepared in the state $|n,{\tilde{p}}_i\rangle$ and measured in $|n,p_f\rangle$
• Reverse: The battery B is prepared in the state $|n,{\tilde{p}}_f\rangle$ and measured in $|n,p_i\rangle$.

While for the resizing regime, where we fix p and vary n, we have the prepare and measure protocol:

• Forwards: The battery B is prepared in the state $|n_i,\tilde{p}\rangle$ and measured in $|n_f,p\rangle$.
• Reverse: The battery B is prepared in the state $|n_f,\tilde{p}\rangle$ and measured in $|n_i,p\rangle$.

In the qubit picture, for a system of N qubits, the realignment regime amounts to fixing the number of battery qubits with coherence to precisely n while changing the polarisation $p_k$ of each of these n qubits concurrently. Similarly, the resizing regime corresponds to fixing the polarisation and changing the number of non classical qubits. More precisely, we can write

$$|n_k,p_k\rangle \equiv |p_k{\rangle }^{\otimes n_k}\otimes {|0\rangle }^{\otimes N-n_k}\mathrm{for}k=i,f$$

(30)

where in the first regime $n_k$ is kept fixed while $p_k$ is varied and vice versa for the second. In the context of spin-coherent states, the first regime corresponds to a battery that remains a spin-$\frac{n}{2}$ system but whose orientation varies, while the second amounts to changing the magnitude of the spin while fixing the orientation.

The key quantity in the fluctuation relation is the generalised work flow, the derivations of which can be found in Appendix B. In these processes, the generalised work flow in the realignment regime and resizing regimes, $\Delta {\tilde{W}}_{\mathrm{align}}$ and $\Delta {\tilde{W}}_{\mathrm{size}}$, respectively, take the form

$$\begin{array}{cc}\hfill \beta \Delta {\tilde{W}}_{\mathrm{align}}& =n\left(ln\frac{p_f}{{\tilde{p}}_f}-ln\frac{p_i}{{\tilde{p}}_i}\right)\hfill \end{array}$$

(31)

$$\begin{array}{cc}\hfill \beta \Delta {\tilde{W}}_{\mathrm{size}}& =(n_f-n_i)\left(ln\frac{p}{\tilde{p}}+\beta \hslash \omega \right),\hfill \end{array}$$

(32)

provided both $p_i$ and $p_f$ are non-zero. These capture the temperature-dependent distortion of the binomial states due to $\mathcal{M}$. While the generalised work flow in the realignment regime smoothly varies with its free parameters, in the resizing regime, the energy flow is discretised. The binomial state Crooks relations corresponding to the realignment and resizing regimes follow upon insertion of the generalised work flow terms, Equations (31) and (32), into the global fluctuation relation, Equation (9), when restricted to binomial state preparations specified in Equation (29).

In the high temperature limit, $\beta \hslash \omega \ll 1$, we can truncate the power series of $\Delta \tilde{W}$ to second order for sufficient accuracy, which gives

$$\begin{array}{cc}\hfill \beta \Delta {\tilde{W}}_{\mathrm{align}}& \approx \beta \hslash \omega n\left(p_i-p_f\right)-\frac{{\left(\beta \hslash \omega \right)}^2}{2}({\sigma }_i^2-{\sigma }_f^2)\hfill \end{array}$$

(33)

$$\begin{array}{cc}\hfill \beta \Delta {\tilde{W}}_{\mathrm{size}}& \approx \beta \hslash \omega (n_i-n_f)p-\frac{{\left(\beta \hslash \omega \right)}^2}{2}(n_i-n_f){\sigma }^2,\hfill \end{array}$$

(34)

where ${\sigma }_k^2=n{p}_k(1-p_k)$ is the variance of $H_B$ in the state $|n,p_k\rangle$ for $k=i,f$ and ${\sigma }^2=p(1-p)$ is the variance for a Bernoulli distribution. Note that the variance evaluated for pure states is a genuine measure of coherence [75] and that due to microscopic energy conservation, that is the fact U commutes with $H_{SB}$, both energy and variance in energy are globally conserved. Given this, Equations (33) and (34) characterise the change in energy and coherence of the system due to an equal and opposite change in the battery.

Furthermore, binomial states exhibit sub-Poissonian statistics, that is the variance $np(1-p)$, is smaller than the mean $np$ (for non vanishing p). Therefore, it follows from Equations (33) and (34) that the fluctuation relation (Equation (9)) captures the sub-Poissonian character of these states and shows that this affects the resulting irreversibility of the dynamics. Viewed through the lens of quantum optics, binomial states of light are anti-bunched [55], a signature of non-classicality. Thus, the binomial state Crooks equality draws a non-trivial link between bunching and the reversibility of quantum driving processes, since anti-bunching and sub-Poissonian statistics are directly correlated for single-mode time-independent fields [54].

In the case of spin-coherent states, the Hamiltonian is in effect taken to be defined in the eigenbasis of the spin-z operator and therefore the variances in Equations (33) and (34) detail the variation of uncertainty in the spin-z component. However, aligning the Hamiltonians in the z-direction defines a preferential axis and therefore the spin-z and the spin-x and spin-y components are not placed on equal footing. This is because the effective potential is invariant under unitary transformations U that commute with H, that is

$$E(\beta ,H,\rho )=E(\beta ,H,U\rho U^{†})\forall [U,H]=0,$$

(35)

and hence is invariant under rotations about the z-axis. Consequently, while the fluctuation relation captures changes to the uncertainties in the spin-z components, the relation is unaffected by changes to uncertainties in the spin-x and spin-y components. More generally, the invariance of the effective potential to phase rotations means that even for standard coherent states, the fluctuation relation depends on the magnitude of the absolute displacement but not the particular magnitude of the expectation values for position and momentum. This is no coincidence, as the connection between these regimes will be explored further on.

Deviations from Classicality. To characterise the deviations between the binomial state Crooks relation and classical Crooks equality, we can compare the generalised energy flow $\Delta \tilde{W}$ to the actual energy flow in the forwards and reverse processes. In the standard Crooks equality, the work term appearing in the exponent of Equation (1) can be expressed as $W=(W-(-W\left)\right)/2$, the average difference between the work done in the forward and reverse processes. For the quantum analogue, we introduce

$$W_q=(\Delta E_{+}-\Delta E_{-})/2$$

(36)

as the difference between the energy cost $\Delta E_{+}$ of the forwards process and the energy gain $\Delta E_{-}$ of the reverse process. Restricted to binomial state preparations of the form in Equation (29), the binomial states Crooks relation is

$$\frac{\mathcal{P}(n_f,p_f|{\gamma }_i;n_i,{\tilde{p}}_i)}{\mathcal{P}(n_i,p_i|{\gamma }_f;n_f,{\tilde{p}}_f)}=exp\left(\beta \left(q\left(\chi \right)W_q-\Delta F\right)\right).$$

(37)

where the transition probabilities take the form

$$\begin{array}{cc}\hfill \mathcal{P}(n_f,p_f|{\gamma }_i;n_i,{\tilde{p}}_i):=\mathcal{Q}(\mathbf{1}\otimes |n_f,p_f\rangle \langle n_f,p_f\left|\right|{\gamma }_i\otimes & |n_i,{\tilde{p}}_i\rangle \langle n_i,{\tilde{p}}_i\left|\right)\hfill \end{array}$$

(38)

and we introduce the quantum distortion factor

$$q\left(\chi \right):=\frac{\Delta \tilde{W}}{W_q}$$

(39)

as the ratio between the generalised work flow and the actual energy flows. The classical limit $q\left(\chi \right)=1$ corresponds to a quasi-classical expression in which the quantum fluctuation relation depends only on the energy difference between the two states $|n_i,p_i\rangle$ and $|n_f,p_f\rangle$. This can be seen from Equations (33) and (34) when truncating to first order in $\beta \hslash \omega$. Deviations from unity thus capture the quantum features of the process.

The resizing and re-aligning protocols experience two related yet distinct distortions. These factors, derived in Appendix B, are

$$q_{\mathrm{align}}\left(\chi \right)=\frac{1}{\chi }\frac{ln({\tilde{p}}_f/p_f)-ln({\tilde{p}}_i/p_i)}{({\tilde{p}}_f-{\tilde{p}}_i)+(p_f-p_i)}\mathrm{and}{q}_{\mathrm{size}}\left(\chi \right)=\frac{1}{\chi }\frac{ln(\tilde{p}/p)+2\chi }{\tilde{p}+p}$$

(40)

respectively, again provided neither $p_i$ nor $p_f$ vanishes. These two factors are plotted in Figure 4. They are equal to each other if one of either $p_i$ or $p_f$ are zero, corresponding to measuring the battery in the ground state, as can be seen with the long-form equations provided in Appendix B (see Equations (A72) and (A78)).

Both factors are independent of the system size n. That only the parameter p plays a non-trivial role is relevant to the fact that it alone controls the coherent properties of binomial states. Since n is the free parameter of the resizing regime, it is particularly significant that the deviation is independent of the change in system size. Beyond this, the realignment factor is symmetric in the parameters $p_i,p_f$ and thus does not depend on the chosen ordering of the measurements (likewise for the resizing factor with respect to $n_i$ and $n_f$).

Regarding the thermodynamic properties, both factors exhibit a sensible classical limit in the thermally dominated regime where $\chi$ is much less than one and $\tilde{p}$ converges to p. More generally, in the quantum dominated regime at large $\chi$, the distortion is generally sub-unity scaling as $1/\chi$, showing the irreversibility is milder than is classically expected. To understand this, consider the fact that $\tilde{E}(\beta ,H,\rho )$ is lower bounded by $E^{\min }\left(\rho \right)$, defined as the smallest energy eigenvalue with non-zero weight in the state $\rho$ [41], corresponding to the vacuum energy for all binomial states with $p<1$. In the low temperature limit, the lower bound is saturated meaning that the generalised energy flow (accounted for by the differences in $\tilde{E}$ between any two states) vanishes. However, as shown in Figure 4, this behaviour is not true for all temperatures and values of p.

In the resizing regime, for values of p nearing unity, there exists a finite temperature region where the fluctuation relation exhibits stronger-than-classical irreversibility. Peaking for values of $p\approx 1$ in the intermediate region originate because the semi-classical two-point measurement scheme is recovered when $p=1$, which corresponds to an energy eigenstate, hence $q_{\mathrm{size}}\left(\chi \right)=1$. The states satisfying this condition on p must remain close to an energy eigenstate and have a flatter initial slope until larger values of $\chi$ overcome this almost-eigenstate behaviour and recover the $1/\chi$ scaling.

The behaviour of the realigning regime is more nuanced, having two free parameters. We observe greatly enhanced irreversibility over a finite temperature region for most values of $p_i$ or $p_f$ if the sum of these values are $⪆1$. An oddity occurs when one measures an excited energy eigenstate, corresponding to $p_f=1$ (due to symmetry in the parameters, one can also set $p_i=1$ and let $p_f$ be free). In this case, at extremely low temperatures Equation (40) is modified to

$$\underset{\chi \to \infty }{lim}{q}_{\mathrm{align}}\left(\chi \right)=\frac{2}{2-p_i}\ge 1,$$

(41)

and the quantum regime no longer asymptotically approaches zero. Rather, we have that $\tilde{E}(\beta ,H,\rho )$ is naturally upper bounded by $E^{\max }\left(\rho \right)$, defined as the largest eigenvalue with non-zero weight in the state $\rho$ [41]. With the battery prepared in the excited state for either the forward or reverse protocol, we have that $\tilde{E}(\beta ,H_B,|n,1\rangle )=E^{\max }$, and the greatest possible generalised energy flow of $\Delta \tilde{W}=E^{\max }-E^{\min }$ occurs when the lower bound of $E^{\min }$ is saturated. By fixing one state to be the excited energy eigenstate, the generalised energy flow only attains this upper bound when the temperature reaches absolute zero.

At low temperatures, for values of p nearing unity the deviations from classicality are most pronounced for both regimes. Due to the temperature-dependent rescaling, this choice of parameter corresponds to the physical preparation of states with greater coherence present, as detailed by Equation (29) where p is greater than $\tilde{p}$ for all positive temperatures. Initialising the battery in a state with a large amount of coherence thus generates the non-classical behaviour we would expect.

From this analysis, we can conclude that binomial states batteries display a greater range of distinguishing features than coherent states, with the coherent properties playing a highly non-trivial role. We observe behaviour that is reminiscent of the semi-classical coherent state Crooks equality in the high and low temperature limits. In an intermediate temperature region, however, we observe deviations that lead to stronger than classical irreversibility in both the resizing and realignment regimes. We note that the binomial state factors bear many qualitative similarities to the squeezed-state factors derived in [40]. The connection between binomial and coherent states in an appropriate limit are discussed next.

The Harmonic Limit. Infinite dimensional binomial states in harmonic systems exhibit behaviour that approaches simple harmonic motion. This link is well established and leads to a semi-classical limit for the binomial state fluctuation theorem. Specifically, as shown in Appendix B, we prove that as n tends to infinity, the binomial state $|n,p\rangle$ tends to the coherent state $|\alpha \rangle$ where the displacement parameter is given by $\alpha =\sqrt{np}$ and thus is only defined as long as $np$ remains finite. Consequently, for infinitely large spin systems, or infinitely large ensembles of qubits, with a finite expected polarisation, binomial states reduce to coherent states. Thus, in this limit, the binomial state and coherent state Crooks equalities [40] are quantitatively and qualitatively identical.

It follows that, for infinite dimensional binomial states, $q_{\mathrm{align}}\left(\chi \right)$ and $q_{\mathrm{size}}\left(\chi \right)$ converge on

$$q\left(\chi \right)=\frac{1}{\chi }tanh\left(\chi \right)$$

(42)

This form admits a special interpretation in terms of the mean energy of a harmonic oscillator $\hslash {\omega }_{\mathrm{th}}:={\langle H_B\rangle }_{\gamma }$, with $q\left(\chi \right)=k_{B}T/\hslash {\omega }_{\mathrm{th}}$. In particular, the average energy in a thermal harmonic oscillator is related to the thermal de Broglie wavelength ${\lambda }_{\mathrm{th}}$ [40]. The thermal de Broglie wavelength often finds use as a heuristic tool to differentiate between quantum and thermodynamic regimes. The coherent state equality thus leads to a natural and smooth transition between quantum and thermal properties for semi-classical battery states delineated by ${\lambda }_{\mathrm{th}}$, suggesting a genuinely quantum-thermodynamic relation.

It is interesting then that the binomial state fluctuation relation is able to incorporate a wide-ranging set of features, all the way from the highly quantum single-qubit states to the semi-classical coherent state limit, together in the same framework.

3.3. Energy Translation Invariance, Jarzynski Relations and Stochastic Entropy Production

The photon added and subtracted Crooks equalities both quantify transition probabilities between states of the battery. If we assume that the system and battery dynamics depend only on the change in energy of the battery and not the initial energy of the battery, then we can rewrite the relation in terms of the probability distributions for the change in energy of the battery, that is the work done on the system. This conceptual move allows us to derive a Jarzyski-like relation for photon added and subtracted thermal states and hint at a link between the generalised free energy change and stochastic entropy production.

If the system and battery dynamics are independent of the initial energy of the battery, then the following energy translation invariance condition holds

$$\mathcal{P}\left(E_j\right|{\gamma }_i^{\pm },E_k)=\mathcal{P}((E_j-E_k)+E_l|{\gamma }_i^{\pm },E_l)\forall E_j,E_k,E_l.$$

(43)

We can now define the work probability distributions in the forwards (F) and reverse (R) processes for the photon added (+) and subtracted relations (−) as

$$\begin{array}{cc}\hfill {\mathcal{P}}_F^{\pm }\left(W\right)& :=\sum _w\mathcal{P}\left(E_0-w|{\gamma }_i^{\pm },E_0\right)p\left(E_0\right)\delta \left(W-w\right)\mathrm{and}\hfill \end{array}$$

(44)

$$\begin{array}{cc}\hfill {\mathcal{P}}_R^{\pm }\left(W\right)& :=\sum _w\mathcal{P}\left(E_0-w|{\gamma }_f^{\pm },E_0\right)p\left(E_0\right)\delta \left(W-w\right)\hfill \end{array}$$

(45)

where $p\left(E_0\right)$ is the probability that the battery is prepared with energy $E_0$. It now follows, as shown in Appendix A, that the photon added and subtracted Crooks relation can be written explicitly in terms of these work distributions as

$$\frac{{\mathcal{P}}_F^{\pm }\left(W\right)}{{\mathcal{P}}_R^{\pm }(-W)}={\mathcal{R}}_{\pm }\left(W\right)exp\left(\beta (W\mp \Delta E_{\mathrm{vac}}-2\Delta F)\right).$$

(46)

The classical Jarzynski equality, which quantifies the work done by a driven system for a single driving process, emerges as a corollary to the classical Crooks equality. Similarly, here, by rearranging and taking the expectation of both sides of the above equality, we obtain the photon added and subtracted Jarzynski relation

$$〈\frac{1}{{\mathcal{R}}_{\pm }\left(W\right)}exp(-\beta W)〉=exp\left(-\beta (2\Delta F\pm \Delta E_{\mathrm{vac}})\right).$$

(47)

This relation complements our Crooks relation, Equation (25), by relating the work done on the athermal system for a single driving process, where the system’s Hamiltonian is changed from $H_S^i$ to $H_S^f$, to the associated change in free energy.

In classical stochastic thermodynamics, when generalising fluctuation relations to non-equilibrium initial states, such as photon added or subtracted thermal states, a natural quantity to consider is the stochastic entropy production. As expected and as shown in [31], in the limit of a classical battery which is assumed to be energy translation invariant, this inclusive setting obeys the classical Crooks equality in its formulation in terms of stochastic entropy production [9]. This suggests it may be possible to directly relate the generalised free energies term of the global fluctuation relation for non-equilibrium system states to stochastic entropy production. While these ideas were touched on in [31], explicitly stating this link remains an open question.

An analogous approach for the binomial state Crooks equality encounters difficulties. States with coherence undergo a temperature dependent rescaling and therefore the initial and final states in the forwards and reverse process are related but not equivalent. Thus, due to the presence of coherence, energy translation invariance is not a sufficient condition to rewrite the binomial state Crooks relation in terms of work probability distribution. Therefore, we cannot derive a Jarzysnki-like equality and the link with stochastic entropy production is further obscured. Similar problems arise for states such as coherent, squeezed and Schrödinger cat states, as were studied in [40].

4. Conclusions and Outlook

In this paper, we probe deviations from the classical Crooks equality induced by the initial state of the system or battery and the measurements made at the end of the driving process. However, we stress that the choice in prepared states and measurement operators is not the only manner in which the relation is non-classical. Rather, the dynamics induced by the unitary evolution will in general entangle the system and battery resulting in coherence being exchanged between the two systems. Thus, the evolved state may be a highly non-classical state. For example, for the coherent state Crooks equality, the battery is prepared in a coherent state, the most classical of the motional states of a harmonic oscillator. However, driving the battery with a change in Hamiltonian $H_S^i$ to $H_S^f$, using the experimental scheme proposed in [40], results in the highly non-Gaussian state with a substantially negative Wigner function. The non-classicality of the final state can be amplified by repeating the driving process a number of times, that is cycling through changes of $H_S^i$ to $H_S^f$ back to $H_S^i$ and again to $H_S^f$, repeatedly.

The photon added and subtracted Crooks relations could be tested by supposing that both the system and battery are photonic and using a linear optical setup, as sketched in Figure 5. Preparing a photonic battery in a high energy eigenstate, that is a Fock state containing a large but well defined number of particles, would be experimentally challenging and thus a more promising avenue is to consider a battery in a coherent state by driving one input arm with a laser. Such a scenario would be quantified by a coherent state photon added and subtracted Crooks relation. A limitation of this implementation is that it would not change the effective Hamiltonian of the system and thus only probe the relation in the limit that $\Delta F$ and $\Delta E_{\mathrm{vac}}$ vanish. Constructing a physical implementation involving a change to the system frequency requires more imagination. One possibility would be to generalise the trapped ion implementation proposed in [40] but use a pair of internal energy levels to simulate a thermal state of an oscillator. This could be done by changing the background potential to simulate a wider range of energy level splittings.

One possible means of testing the binomial state Crooks equality would be to prepare a finite number of qubits in the state $|p\rangle =\sqrt{1-p}|0\rangle +\sqrt{p}|1\rangle$ and perform a unitary algorithm that interacts the qubits with a thermal system. This could perhaps be best performed on a quantum computer by utilising methods for Hamiltonian simulation [76,77] and with the thermal system modelled using “pre-processing” [40]. One would need to restrict to unitaries that conserve energy between the qubits and the thermal system. Both regimes could be probed with this set-up, where one could have an N qubit register and in one case prepare $n_i$ or $n_f$ qubits in the state $|p\rangle$, where $n_i,n_f\le N$, or in the other case a fixed number of qubits could be individually addressed to rotate them in the Bloch sphere. Measurements in different bases are routinely performed on quantum computers and thus the measurement procedure is readily implemented.

We have taken a highly general but rather abstract fluctuation relation and shown how its physical content can be elucidated through a study of particular examples of interest. However, the cases we have considered are just a sample of the diverse range of phenomena that can be explored with this framework. While we have developed Crooks equalities for thermal systems to which a single photon has been added or subtracted, a natural extension to probe further perturbations from thermality would be to generalise our results to the case where multiple photons are added to or subtracted from the thermal state, or perhaps the case when a photon is added and then subtracted from a thermal state. Similarly, one could quantify higher order quantum corrections to the Crooks relation by developing equalities for squeezed and cat binomial states. On a different note, incoherent binomial states, that is the dephased variant of a binomial state, model Fock states that have been transmitted through a lossy channel and thus model a lossy classical battery. Given the structural similarities between incoherent and coherent binomial states, our results here could be used to develop Crooks relations for imperfect batteries.