Crooks fluctuation theorem

Exact relation between forward and reverse work distributions, linking nonequilibrium work fluctuations to equilibrium free-energy differences.
Crooks fluctuation theorem

Setup (forward vs. reverse driving)

Consider a system coupled to a heat bath at temperature TT (inverse temperature β=1/(kBT)\beta = 1/(k_B T)), initially prepared in equilibrium for a control parameter value λ0\lambda_0. The system is then driven by an externally prescribed protocol λt\lambda_t from t=0t=0 to t=τt=\tau (the forward process). Define the time-reversed protocol λ~t:=λτt\tilde\lambda_t := \lambda_{\tau-t} (the reverse process), with the reverse experiment initialized in equilibrium at λτ\lambda_\tau.

Let WW denote the work performed on the system during a single realization of the forward protocol, and let PF(W)P_F(W) be its probability density. Let PR(W)P_R(W) be the work density in the reverse protocol (defined with the same sign convention for work on the system).

Theorem (Crooks fluctuation theorem)

Assume microreversibility (time-reversal symmetry of the underlying dynamics) and consistent thermal contact with the bath (e.g., Markovian dynamics satisfying local detailed balance; see ). Then the forward and reverse work distributions satisfy

PF(W)PR(W)  =  eβ(WΔF), \frac{P_F(W)}{P_R(-W)} \;=\; e^{\beta\,(W-\Delta F)} ,

where ΔF:=F(λτ)F(λ0)\Delta F := F(\lambda_\tau)-F(\lambda_0) is the equilibrium Helmholtz free-energy difference.

Equivalently, in terms of dissipated work Wdiss:=WΔFW_{\mathrm{diss}} := W-\Delta F,

PF(W)PR(W)  =  eβWdiss. \frac{P_F(W)}{P_R(-W)} \;=\; e^{\beta\,W_{\mathrm{diss}}}.

Key consequences

1) Jarzynski equality (corollary)

Integrating the Crooks relation over WW yields

eβWF  =  eβΔF, \left\langle e^{-\beta W}\right\rangle_F \;=\; e^{-\beta \Delta F},

which is the (see also ).

2) Crossing criterion for estimating ΔF\Delta F

The forward and reverse distributions cross at the reversible work value:

PF(W)=PR(W)W=ΔF. P_F(W) = P_R(-W) \quad \Longleftrightarrow \quad W=\Delta F.

This gives an operational way to extract ΔF\Delta F from nonequilibrium sampling.

3) Second-law inequality from convexity

By Jensen’s inequality applied to the Jarzynski equality,

WF    ΔF, \langle W\rangle_F \;\ge\; \Delta F,

consistent with and the role of dissipation.

Proof idea (path probabilities; sketch)

A standard route compares the probability of a forward trajectory Γ\Gamma to its time-reversed counterpart Γ~\tilde\Gamma under the reverse protocol:

  1. Use microreversibility plus local detailed balance (or Hamiltonian time-reversal symmetry for system+bath) to relate the ratio of path probabilities to entropy flow into the bath.
  2. Identify the bath entropy flow with βQ\beta Q (heat QQ absorbed by the bath), and combine with the first-law form W=ΔE+QW = \Delta E + Q.
  3. Use equilibrium initial distributions to produce the boundary term βΔF-\beta\Delta F, yielding a relation of the form PF(Γ)PR(Γ~)=eβ(W(Γ)ΔF). \frac{\mathbb P_F(\Gamma)}{\mathbb P_R(\tilde\Gamma)} = e^{\beta(W(\Gamma)-\Delta F)}.
  4. Push forward from trajectories to work values to obtain the work-distribution identity above.

Information-theoretic refinements often express average dissipation as a relative entropy between forward and reverse path measures (see ).

Prerequisites (minimal)