Fluctuation Theorems

Fluctuation theorems are exact statements about the probability of thermodynamic fluctuations in small systems driven away from equilibrium. They explain how the second law emerges from reversible microscopic dynamics even though individual runs can temporarily move entropy in the “wrong” direction.

The unifying idea is a comparison between a forward experiment and a suitably defined reverse experiment. If $\gamma$ denotes a trajectory or measurement record and $\tilde\gamma$ denotes its time-reversed counterpart, many fluctuation relations have the form

$$\frac{P_F[\gamma]} {P_R[\tilde\gamma]} = e^{\sigma[\gamma]},$$

where $\sigma[\gamma]$ is dimensionless entropy production. Averaging this ratio in the right way gives an integral fluctuation theorem,

$$\left\langle e^{-\sigma}\right\rangle_F = 1,$$

and Jensen’s inequality gives

$$\langle\sigma\rangle_F \ge 0.$$

Thus the ordinary second-law inequality is a consequence of a stronger probability statement. The theorem does not say negative entropy-production events are impossible. It says their probabilities are constrained relative to the corresponding reverse events.

What Counts as a Theorem

“Fluctuation theorem” is a family name, not a single formula. The right theorem depends on the variables and dynamics:

Setting	Typical random variable	Standard relation
closed driven system	work $W$	Jarzynski equality and Crooks relation
open thermal trajectory	entropy production $\sigma$	detailed and integral fluctuation theorems
nonequilibrium steady state	exchanged heat or entropy flow	steady-state fluctuation theorem
transport junction	transferred charge, particles, or energy	counting-statistics fluctuation symmetry
feedback-controlled process	work plus information	feedback-modified fluctuation relation

The shared structure is microscopic reversibility plus a clear operational definition of the measured quantity. In quantum mechanics the word “measured” is not cosmetic: projective energy measurements, weak measurements, quantum jumps, homodyne records, and full counting statistics define different probability distributions.

Entropy Production Form

A compact classical-looking statement uses dimensionless entropy production,

$$\sigma = \frac{\Delta S_{\mathrm{sys}}}{k_B} - \sum_\alpha \beta_\alpha Q_\alpha,$$

where $Q_\alpha$ is heat entering the system from bath $\alpha$. The bath entropy change is therefore $-\beta_\alpha Q_\alpha$.

When a forward protocol and a reverse protocol are related by time reversal, a detailed fluctuation theorem has the schematic form

$$\frac{P_F(\sigma)} {P_R(-\sigma)} = e^\sigma.$$

Multiplying by $P_R(-\sigma)e^{-\sigma}$ and integrating over $\sigma$ gives

$$\left\langle e^{-\sigma}\right\rangle_F=1.$$

Jensen’s inequality then implies

$$\langle\sigma\rangle_F\ge0.$$

This is the mathematical core of the relation between fluctuation theorems and the second law.

Work Relations

For a closed system driven from Hamiltonian $H_0$ to $H_\tau$, assume the initial state is Gibbs:

$$\rho_0 = \frac{e^{-\beta H_0}}{Z_0}.$$

The equilibrium free-energy difference is

$$\Delta F = F_\tau-F_0 = - \frac{1}{\beta} \ln \frac{Z_\tau}{Z_0}.$$

In the standard two-point measurement scheme, one measures the initial energy, evolves with the driven unitary, and measures the final energy. For outcomes $n$ and $m$,

$$W_{mn} = E_m^\tau-E_n^0.$$

The forward work distribution is

$$P_F(W) = \sum_{n,m} p_n^0\, p_F(m\mid n)\, \delta(W-W_{mn}),$$

where

$$p_n^0 = \frac{e^{-\beta E_n^0}}{Z_0}, \qquad p_F(m\mid n) = \left| \langle m^\tau|U_F|n^0\rangle \right|^2.$$

Under the usual microreversibility assumptions, the reverse protocol begins in the Gibbs state for $H_\tau$ and runs the time-reversed drive. Crooks’ work relation is

$$\frac{P_F(W)} {P_R(-W)} = e^{\beta(W-\Delta F)}.$$

Integrating over $W$ gives the Jarzynski equality:

$$\left\langle e^{-\beta W}\right\rangle_F = e^{-\beta\Delta F}.$$

The equality is exact under its assumptions even for fast, irreversible driving. The average work bound follows from Jensen’s inequality:

$$\langle W\rangle_F \ge \Delta F.$$

The Quantum Measurement Issue

The two-point measurement scheme is standard because it gives a positive work distribution and a clean connection to energy conservation. It also has a cost: the first projective energy measurement removes initial coherences in the energy basis.

This is harmless when the initial state is Gibbs and therefore commutes with $H_0$. It becomes conceptually important when the initial state has energy coherence or when one wants to assign work without a strong initial measurement. Alternative quantum formulations include:

• weak-measurement and quasiprobability approaches;
• full counting statistics with counting fields;
• interferometric measurements of characteristic functions;
• quantum-jump and continuous-measurement trajectory definitions;
• inclusive system-plus-bath energy measurements.

These formulations answer different operational questions. A theorem should always state which record defines the random variable.

Open Quantum Trajectories

For a weakly coupled open system described by a thermal quantum-jump unraveling, a trajectory is a sequence of no-jump evolutions and jumps. A jump associated with bath $\alpha$ and Bohr frequency $\omega$ transfers energy

$$Q_\alpha = \hbar\omega$$

into the system when the jump raises the system energy, and $Q_\alpha=-\hbar\omega$ when it lowers the system energy. The sign convention must be stated.

Thermal rates satisfy local detailed balance. For a transition $n\to m$ caused by bath $\alpha$,

$$\frac{W_{m\leftarrow n}^{(\alpha)}} {W_{n\leftarrow m}^{(\alpha)}} = e^{-\beta_\alpha(E_m-E_n)}$$

when $E_m-E_n$ is the energy gained by the system. This microscopic ratio is the seed of the trajectory-level entropy production.

For a trajectory beginning in state $n$ and ending in state $m$, one often writes

$$\sigma[\gamma] = \ln \frac{p_n^0}{p_m^\tau} - \sum_\alpha \beta_\alpha Q_\alpha[\gamma],$$

where the first term is the stochastic system entropy change and the second is the bath entropy change. Under the right reverse process,

$$\frac{P_F[\gamma]} {P_R[\tilde\gamma]} = e^{\sigma[\gamma]}.$$

This trajectory statement is the open-system analogue of the closed-system work relation. It relies on thermally consistent rates and a well-defined monitoring scheme. A master equation can be useful for state evolution while still failing to define a trustworthy thermodynamic trajectory ensemble if its jumps do not correspond to physical reservoir exchanges.

Counting Statistics View

In mesoscopic transport and quantum optics, fluctuation relations are often written for generating functions. If $P(N)$ is the probability of transferring $N$ particles, or $P(Q)$ the probability of transferring energy $Q$, one introduces a counting field $\chi$ and a generating function

$$Z(\chi) = \sum_N P(N)e^{i\chi N}.$$

Thermodynamic consistency appears as a symmetry of $Z(\chi)$ or of the long-time cumulant-generating function. For example, a two-reservoir particle current has an affinity built from chemical potentials and temperatures, and the fluctuation symmetry encodes the probability ratio between current flowing with and against the thermodynamic bias.

This language is especially useful when individual projective energy measurements on the system are not the most natural experimental record. It also connects fluctuation theorems to noise, response, and higher cumulants.

Relation to Linear Response

Fluctuation theorems are nonlinear nonequilibrium statements. Linear response and fluctuation-dissipation relations emerge when one expands near equilibrium.

For work, the Jarzynski equality gives a simple illustration. If $W$ is approximately Gaussian with mean $\mu$ and variance $v$, then

$$\left\langle e^{-\beta W}\right\rangle = e^{-\beta\mu+\beta^2v/2}.$$

Jarzynski’s equality therefore implies

$$\mu-\Delta F = \frac{\beta v}{2}.$$

Near equilibrium, dissipated work is tied to work fluctuations. The full theorem is stronger than this Gaussian relation, but the relation shows why equilibrium fluctuations and irreversible response are deeply linked. See Fluctuation–Dissipation Relation for the linear-response side.

Feedback and Information

When a measurement outcome is used to choose the subsequent protocol, the reverse experiment and entropy budget must include information. A schematic feedback-modified Jarzynski relation is

$$\left\langle e^{-\beta(W-\Delta F)-I} \right\rangle = 1,$$

where $I$ is an information term determined by the measurement record and feedback protocol. Jensen’s inequality then gives a bound of the form

$$\langle W\rangle \ge \Delta F - k_B T\,\langle I\rangle.$$

This does not mean information creates free energy from nowhere. It means the controller’s record is a thermodynamic resource. A complete cycle must include the physical memory, the measurement backaction, and the cost of resetting or maintaining the controller.

The open-system ingredients are developed in Quantum Instruments and Stochastic Master Equations.

What Can Go Wrong

Fluctuation relations are exact only after the process has been specified precisely. Common failure modes include:

• using a work theorem for a heat distribution;
• using the Jarzynski equality without an initial Gibbs state;
• comparing a forward process to the wrong reverse process;
• ignoring time-reversal parity of magnetic fields, spins, or driving parameters;
• applying a two-point measurement relation to a state with important energy coherence without acknowledging the measurement backaction;
• assigning heat to jumps in a phenomenological dissipator that is not thermally derived;
• mixing local dissipators with strong internal interactions and then assuming local detailed balance;
• treating feedback information as free without including memory and erasure.

The practical cure is to state the measured record, the initial ensemble, the reverse protocol, and the thermodynamic sign convention before writing the theorem.

Exercises

Detailed Implies Integral

Assume

$$\frac{P_F(\sigma)} {P_R(-\sigma)} = e^\sigma.$$

Derive $\langle e^{-\sigma}\rangle_F=1$.

Solution

Start from the forward average:

$$\left\langle e^{-\sigma}\right\rangle_F = \int d\sigma\, P_F(\sigma)e^{-\sigma}.$$

Using $P_F(\sigma)e^{-\sigma}=P_R(-\sigma)$,

$$\left\langle e^{-\sigma}\right\rangle_F = \int d\sigma\,P_R(-\sigma).$$

Changing variables to $\sigma'=-\sigma$ gives

$$\int d\sigma'\,P_R(\sigma')=1.$$

Jarzynski Implies the Work Bound

Use Jensen’s inequality to show that

$$\left\langle e^{-\beta W}\right\rangle = e^{-\beta\Delta F}$$

implies $\langle W\rangle\ge\Delta F$.

Solution

For the convex function $e^x$,

$$e^{\langle x\rangle} \le \langle e^x\rangle.$$

Set $x=-\beta W$. Then

$$e^{-\beta\langle W\rangle} \le e^{-\beta\Delta F}.$$

Taking logarithms and multiplying by $-1/\beta$ reverses the inequality because $-1/\beta\lt0$:

$$\langle W\rangle \ge \Delta F.$$

Sudden Qubit Gap Change

Consider a two-level Hamiltonian with energies $0$ and $\epsilon_0$ initially, changed suddenly to $0$ and $\epsilon_\tau$ with the same eigenvectors. The initial state is Gibbs. Verify the Jarzynski equality.

Solution

There are no transitions because the eigenvectors are unchanged. The ground-state work is $0$, and the excited-state work is $\epsilon_\tau-\epsilon_0$.

The initial probabilities are

$$p_g = \frac{1}{1+e^{-\beta\epsilon_0}}, \qquad p_e = \frac{e^{-\beta\epsilon_0}} {1+e^{-\beta\epsilon_0}}.$$

Therefore

$$\left\langle e^{-\beta W}\right\rangle = p_g + p_e\,e^{-\beta(\epsilon_\tau-\epsilon_0)}.$$

Substituting $p_g$ and $p_e$ gives

$$\left\langle e^{-\beta W}\right\rangle = \frac{1+e^{-\beta\epsilon_\tau}} {1+e^{-\beta\epsilon_0}} = \frac{Z_\tau}{Z_0}.$$

Since

$$e^{-\beta\Delta F} = \frac{Z_\tau}{Z_0},$$

the Jarzynski equality holds.

Feedback Bound

Assume the feedback-modified relation

$$\left\langle e^{-\beta(W-\Delta F)-I} \right\rangle = 1.$$

Use Jensen’s inequality to derive the corresponding average-work bound.

Solution

Let

$$x = -\beta(W-\Delta F)-I.$$

Jensen’s inequality gives

$$e^{\langle x\rangle} \le \left\langle e^x\right\rangle = 1.$$

Thus $\langle x\rangle\le0$, or

$$-\beta(\langle W\rangle-\Delta F) - \langle I\rangle \le 0.$$

Rearranging,

$$\langle W\rangle \ge \Delta F - k_B T\,\langle I\rangle.$$

Cross-Links

• Quantum Thermodynamics
• Detailed Balance
• Thermal Master Equations
• Projective Measurements
• Quantum Instruments
• Quantum Jump Trajectories
• Stochastic Master Equations
• Fluctuation–Dissipation Relation
• Approximation Checklist

References

• C. Jarzynski, “Nonequilibrium equality for free energy differences,” Physical Review Letters 78, 2690-2693 (1997).
• G. E. Crooks, “Entropy production fluctuation theorem and the nonequilibrium work relation for free energy differences,” Physical Review E 60, 2721-2726 (1999).
• J. Kurchan, “A quantum fluctuation theorem,” arXiv:cond-mat/0007360 (2000).
• H. Tasaki, “Jarzynski relations for quantum systems and some applications,” arXiv:cond-mat/0009244 (2000).
• P. Talkner, E. Lutz, and P. Hanggi, “Fluctuation theorems: Work is not an observable,” Physical Review E 75, 050102(R) (2007).
• M. Esposito, U. Harbola, and S. Mukamel, “Nonequilibrium fluctuations, fluctuation theorems, and counting statistics in quantum systems,” Reviews of Modern Physics 81, 1665-1702 (2009).
• M. Campisi, P. Hanggi, and P. Talkner, “Colloquium: Quantum fluctuation relations: Foundations and applications,” Reviews of Modern Physics 83, 771-791 (2011).
• T. Sagawa and M. Ueda, “Generalized Jarzynski equality under nonequilibrium feedback control,” Physical Review Letters 104, 090602 (2010).
• U. Seifert, “Stochastic thermodynamics, fluctuation theorems and molecular machines,” Reports on Progress in Physics 75, 126001 (2012).