Jarzynski Equality

The central identity states that the equilibrium free energy difference ΔF is related to the non-equilibrium work W by the relation: exp(-βΔF) = ⟨exp(-βW)⟩. This means the exponential average of the work over many fast, irreversible trajectories yields the equilibrium value. Crucially, this holds regardless of how far the system is driven from equilibrium, making it a powerful tool for steered molecular dynamics and single-molecule pulling experiments.

While mathematically exact, the practical convergence of the Jarzynski estimator is dominated by rare realizations with low dissipated work (W < ΔF). The exponential average is biased by trajectories where W is small, which become exponentially rare as dissipation increases. This necessitates large sample sizes for processes far from equilibrium. The dissipated work (W - ΔF) quantifies the irreversibility of the process.

The theorem has been experimentally validated using optical tweezers and atomic force microscopy to unfold single RNA molecules and proteins. In these experiments, the molecule is repeatedly pulled apart at a non-equilibrium rate, and the fluctuating work trajectories are recorded. Applying the Jarzynski Equality to this data recovers the equilibrium unfolding free energy, confirming the theorem's applicability to real biomolecular systems.

In computational steered molecular dynamics (SMD), a harmonic potential (a 'stiff spring') is often used to pull a system along a reaction coordinate. The work performed by this spring is not the true work on the system. The stiff spring approximation states that if the spring constant is sufficiently large, the fluctuations in the pulling coordinate are negligible, and the work calculated from the spring's extension approximates the work on the system, allowing direct application of the Jarzynski Equality.

A more general non-equilibrium relation that quantifies the asymmetry between forward and reverse work distributions. It states that the ratio of the probability of observing a work value W during a forward process to the probability of observing -W during the reverse process is exponentially related to the dissipated work. The Jarzynski Equality is a direct integral consequence of the Crooks theorem, making it the more fundamental statement of microscopic reversibility.

An equilibrium method that calculates the free energy difference by exponentially averaging the potential energy difference between two states sampled from one ensemble. It is mathematically analogous to the Jarzynski Equality but requires equilibrium sampling at each state. FEP fails catastrophically when the phase space overlap between states is poor, which is precisely the regime where Jarzynski-based non-equilibrium methods excel.

The probability density P(W) of observing a specific work value over many independent realizations of a non-equilibrium pulling process. Key characteristics include:

• Mean work: Always greater than or equal to ΔF (dissipation)
• Tail sampling: Rare low-work trajectories dominate the Jarzynski exponential average
• Width: Related to the amount of dissipation; narrower distributions yield more reliable estimates

A minimum-variance estimator for free energy differences that optimally combines data from both forward and reverse non-equilibrium work distributions. BAR uses the Crooks theorem iteratively to solve for ΔF without requiring the extreme tail-sampling that plagues the direct Jarzynski estimator. It is the maximum likelihood solution and significantly reduces bias with finite sample sizes.

The irreversible component of work defined as W_diss = W - ΔF. It represents energy lost to heat due to the system being driven away from equilibrium. The Jarzynski Equality's convergence depends critically on sampling trajectories with low dissipation. In practice, large dissipation leads to an exponential bias where the estimate is dominated by a single rare event, requiring exponentially more samples for convergence.

A computational technique that applies a time-dependent external force to pull a system along a reaction coordinate, generating the non-equilibrium work trajectories required by the Jarzynski Equality. Common protocols include:

• Constant velocity pulling: A harmonic spring moves at fixed speed
• Constant force pulling: A fixed force is applied SMD is the primary computational implementation for extracting potential of mean force profiles from Jarzynski analysis.