Universal Fluctuation-Dissipation Bounds

• Universal Fluctuation-Dissipation Bounds are defined constraints that link nonequilibrium fluctuations with the average dissipative cost, such as entropy production.
• They bridge large deviation principles, cumulant statistics, and operational precision in both classical and quantum regimes beyond linear response.
• These bounds guide the design of nanoscale devices and quantum engines by setting fundamental limits on fluctuation suppression and efficiency.

Universal fluctuation-dissipation bounds quantify fundamental trade-offs between nonequilibrium fluctuations and the average dissipative cost such as entropy production, valid far beyond linear response and equilibrium regimes. These constraints connect large deviation properties, cumulant scaling, and operational precision to dissipation in both classical and quantum settings, across Markovian, non-Markovian, and coherent mesoscopic systems. Modern fluctuation-dissipation bounds generalize the classical fluctuation-dissipation theorem and thermodynamic uncertainty relations, establishing rigorous, often saturable, limits on rare-event probabilities, current noise, and efficiency fluctuations in steady-state transport, including quantum-coherent nanoscale conductors and driven systems.

1. Foundations and Definitions

Universal fluctuation-dissipation bounds arise in the study of stochastic and quantum systems held in nonequilibrium steady states. Consider a time-integrated current $J$ (such as transferred particles or energy) observed in time $t$. The fluctuations in $J$ are characterized by the large deviation principle: $p_t(j) \sim \exp[-I(j)t + o(t)]$ where $I(j)$ is the large-deviation rate function, convex and vanishing at the mean current $J$.

The entropy production rate $\sigma$ quantifies the steady dissipation and is typically defined as: $\sigma = \sum_{y<z} j^\pi(y, z) F(y, z)$ for Markov jump processes, or from energy and particle flows with appropriate temperature/chemical potential biases in mesoscopic conductors.

The cumulant generating function $\chi(s)$, Legendre-Fenchel dual to $I(j)$, encodes all current fluctuation statistics. The core objective is to establish universal constraints between $t$0, the variance of $t$1, and $t$2, valid beyond fine-tuned models or perturbative response.

2. Classical Fluctuation-Dissipation Bounds and Thermodynamic Uncertainty

In Markovian jump processes, the seminal result is a quadratic envelope for the rate function,

$t$3

where $t$4 is the linear-response Gaussian prediction with local entropy production $t$5 (Gingrich et al., 2015).

This directly implies the thermodynamic uncertainty relation (TUR): $t$6 which states that relative uncertainty in any integrated current is bounded from below by inversely proportional steady-state dissipation, even far from equilibrium (Gingrich et al., 2015). These results retain validity for generators with broken detailed balance, provided ergodicity, local reversibility, and strictly positive steady entropy production.

In time-delayed (non-Markovian) Langevin systems, the bound is extended by defining a generalized dissipation $t$7, constructed from Kullback-Leibler divergence of forward-reverse path probabilities. The corresponding bound is

$t$8

holding for all finite times and a large class of delayed systems (Vu et al., 2018, Vu et al., 2019). The classical TUR emerges as a limiting case for vanishing delay.

3. Quantum Fluctuation-Dissipation Bounds

For quantum open systems, the fluctuation-dissipation inequality assumes an operator form. In the frequency domain, for general open quantum systems and arbitrary environments,

$t$9

where $J$0 is the symmetrized noise (power spectral density), and $J$1 is the dissipative susceptibility matrix (Fleming et al., 2010). The corresponding kernel inequality $J$2 can be saturated by zero-temperature baths, and is tightly linked to the Heisenberg uncertainty relation:

• No physical (positive definite) quantum state can have noise below this bound in the presence of dissipation.
• The inequality generalizes to driven/squeezed reservoirs and cyclo-stationary environments.

Thermodynamically, this ensures that quantum noise can never be made to vanish by dissipation (unlike classical systems), and sets an intrinsic precision limitation on coherent quantum transport, independent of equilibrium.

4. Quantum-Coherent Conductor and Transport Bounds

In quantum-coherent mesoscopic conductors (scattering formalism), universal fluctuation-dissipation bounds constrain the full large-deviation function for particle or energy current. For time-reversal-invariant (or two-terminal) transport, the rate function $J$3 for the particle current $J$4 obeys (Brandner et al., 1 Jul 2025): $J$5 where $J$6 is the mean current and $J$7 depends only on the total entropy production rate. This form is universal, requiring only symmetry of the transmission coefficients, and not detailed microscopic information.

For typical fluctuations (Gaussians near the mean), one recovers a quantum generalization of the TUR: $J$8 where $J$9 is the noise power (asymptotic variance per time).

In quantum thermoelectric devices, a band-shaped region bounded by explicit functions of entropy production and currents constrains all allowed energy-current fluctuations, valid even when quantum effects invalidate classical TURs (Pan et al., 11 Jan 2026). For a boxcar-filter transmission, this bound is saturated, establishing achievability in certain engineered systems.

5. Nonequilibrium, Time-Dependent, and Machine Bounds

For time-dependent (Floquet-driven) conductors, zero-frequency current noise in any terminal obeys an upper bound in terms of dissipated powers in the respective Floquet bands: $p_t(j) \sim \exp[-I(j)t + o(t)]$0 where $p_t(j) \sim \exp[-I(j)t + o(t)]$1 is the current in the $p_t(j) \sim \exp[-I(j)t + o(t)]$2-th Floquet sideband, and all terms are evaluated from scattering matrices and nonequilibrium distributions (Tesser et al., 9 Sep 2025). In the high-temperature-difference regime, the noise excess is bounded by the sum of static and dynamic dissipated powers divided by the temperature gradient.

In multi-terminal quantum and classical thermal machines (including those with broken time-reversal symmetry), universal inequalities connect the output and input fluctuations, efficiencies, and Carnot bounds: $p_t(j) \sim \exp[-I(j)t + o(t)]$3 where $p_t(j) \sim \exp[-I(j)t + o(t)]$4 is the fluctuation efficiency, i.e., the ratio of normalized variances in output vs. input. The ordering $p_t(j) \sim \exp[-I(j)t + o(t)]$5 is saturated in tight-coupling (single-cycle) or reversible operation, and extends (numerically) to far-from-equilibrium transport (Saryal et al., 2021, Saryal et al., 2021).

6. Implications for Experiment and Quantum Thermodynamics

Universal fluctuation-dissipation bounds supply central constraints for the design and diagnosis of nanoscale and quantum heat engines, thermoelectric generators, and molecular machines. Their significance is multi-fold:

• They guarantee that any precision improvement (narrowing of fluctuations) in current or power output necessarily incurs a quantifiable minimal increase in entropy production or dissipation.
• In practical settings, measurements of mean currents and noise (variance) enable inference or bounding of entropy production, even when direct measurement is inaccessible.
• They expose the limits of power-variance tradeoffs in thermoelectric and driven devices, thereby guiding optimal engineering under quantum constraints (Tesser et al., 2023, Pan et al., 11 Jan 2026).
• In quantum information, these bounds have deep connections to the quantum Lyapunov exponent (chaos bound), Planckian dissipation timescales, and non-equilibrium uncertainty relations imposed by quantum FDT and Kubo-Martin-Schwinger (KMS) conditions (Pappalardi et al., 2021, Zhang et al., 2021).

7. Robustness, Generalizations, and Limitations

Universality of fluctuation-dissipation bounds holds under broad model classes, but specific domain and tightness depend on structural properties:

• Markovian jump/diffusion models: full large-deviation and TUR bounds are exact (Gingrich et al., 2015, Vu et al., 2018).
• Non-Markovian (delayed) or coarse-grained processes: generalized entropy production via path-space Kullback-Leibler divergence retains the inequality for current-like observables (Vu et al., 2019).
• Quantum systems: dissipation-enforced minimal noise applies for arbitrary non-equilibrium baths, including coherent or squeezed reservoirs, with equality in special cases (Fleming et al., 2010).
• Coherent conductors: symmetry of transmission coefficients (time-reversal invariance or two-terminal geometry) is typically required; bounds may weaken in the presence of strong dephasing or inelastic relaxation (Brandner et al., 1 Jul 2025).
• Far-from-equilibrium and periodically driven setups: explicit universal bounds are available, though the tightest constraints can require detailed knowledge of non-thermal distributions or Floquet sidebands (Pan et al., 11 Jan 2026, Tesser et al., 9 Sep 2025).

Table: Core Universal Fluctuation-Dissipation Bound Types

Model Class	Bound Structure	Key Parameters
Markov process (classical)	$p_t(j) \sim \exp[-I(j)t + o(t)]$6, TUR: $p_t(j) \sim \exp[-I(j)t + o(t)]$7	$p_t(j) \sim \exp[-I(j)t + o(t)]$8, $p_t(j) \sim \exp[-I(j)t + o(t)]$9
Quantum open system (stationary)	$I(j)$0	$I(j)$1
Mesoscopic quantum conductor	$I(j)$2, $I(j)$3 vs $I(j)$4	$I(j)$5, $I(j)$6
Time-dependent (Floquet) systems	$I(j)$7	$I(j)$8
Energy/particle current in devices	$I(j)$9	$J$0, $J$1

Universal fluctuation-dissipation bounds thus establish fundamental operational constraints for stochastic, classical, and quantum transport and energy conversion, unifying the description of nonequilibrium noise, precision, and dissipation across a wide range of physical and engineered systems (Brandner et al., 1 Jul 2025, Gingrich et al., 2015, Fleming et al., 2010, Pan et al., 11 Jan 2026, Saryal et al., 2021, Saryal et al., 2021, Tesser et al., 2023, Vu et al., 2018).