Thermodynamic Trade-off Relations

• Thermodynamic trade-off relations are fundamental limits that quantify the interplay between speed, precision, and cost in classical, stochastic, and quantum systems.
• They emerge from universal geometric, information-theoretic, and dynamical constraints, guiding the design of molecular machines, thermal engines, and quantum protocols.
• These trade-offs set optimal performance boundaries in energy conversion, error correction, and information processing, influencing both experimental and theoretical developments.

Thermodynamic trade-off relations quantify the fundamental limits imposed by the laws of thermodynamics on the simultaneous optimization of competing operational objectives—such as speed, precision, cost, and efficiency—in stochastic, quantum, and information-processing systems. They arise from universal geometrical, information-theoretic, or dynamical constraints and manifest in settings ranging from molecular machines to quantum information protocols and finite-time thermal engines.

1. Foundational Trade-offs: Speed, Precision, and Cost

Thermodynamic trade-off relations first emerged from the interplay between the speed of state evolution, the precision of observable change, and the cost in terms of entropy production or work. In continuous-time Markovian systems, explicit geometric and information-theoretic inequalities constrain dynamic observables:

• Speed–Fluctuation–Cost Relations: Given any observable $O$ on a continuous-time Markov process with instantaneous state distribution $p$, variance $\Delta O^2$, and mean change rate $\langle \dot O \rangle = \sum_i O_i \dot p_i$, the Cramér–Rao inequality implies

$$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$

where $v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$ is the intrinsic speed in the Fisher metric (Ito, 2019). This result reveals that rapid changes in the mean of an observable, relative to its own fluctuations, require a commensurate increase in the Fisher-information–based speed of the underlying distribution.

• Excess Entropy Production–Speed Relations: The excess entropy production rate $\sigma_{\mathrm{ex}}$ (relative to the steady state) obeys

$$\sigma_{\mathrm{ex}}(p \| \bar p) \leq \sqrt{\mathrm{Var}_p[\Delta \ln p]}\, v_{\mathrm{int}},$$

with $\mathrm{Var}_p[\Delta \ln p]$ the variance of $\ln p_i - \ln \bar p_i$, and equality only for special observables. This inequality unifies thermodynamic and information geometric perspectives, providing a robust Lyapunov-type criterion for nonlinear Markov kinetics (Ito, 2019).

These relations clarify the impossibility of simultaneously achieving arbitrary speed, minimal fluctuations, and low thermodynamic cost in nonequilibrium processes, with the trade-off governed by the information geometry of the system.

2. Energy–Time–Error and First-Passage Trade-offs

Beyond simple dynamical observables, trade-off relations rigorously quantify the speed-cost-error boundaries in stochastic reset and control processes, as well as in fundamental thermodynamic operations such as erasure and cooling.

• First-Passage Time–Work Trade-off for Resetting Processes: For a Brownian searcher subject to stochastic resetting (to a site at $p$0 via a trapping potential $p$1), one finds for a linear potential $p$2:

$p$3

with $p$4 the mean first-passage time, $p$5 the average work input, and $p$6. Achieving instantaneous resetting requires $p$7, reflecting a speed–dissipation boundary analogous to Landauer’s principle (Pal et al., 2023). The bound is robust to trapping potential smoothness and sharp (deterministic) resetting outperforms Poissonian protocols.

• Universal Time–Cost–Error Bound for Separated-State Operations: For protocols such as information erasure, cooling, and state copying, which aim to drive the occupation of “undesired” states $p$8 to zero, the inequality

$p$9

relates the protocol time $\Delta O^2$0, a “thermokinetic” cost $\Delta O^2$1 (incorporating both escape rates and average entropy production per event), and the final error $\Delta O^2$2 ($\Delta O^2$3), with $\Delta O^2$4. Achieving perfect separation ($\Delta O^2$5) is impossible at finite resource, unifying the quantitative unattainability of the third law, finite-time Landauer bound, and no-go theorems for exact classical copying (Vu et al., 2024).

3. Fluctuation-Dissipation and Work-Variance Constraints

Trade-off relations universally govern the joint optimization of performance and precision in energy-converting or feedback-driven systems.

• Work Fluctuation–Dissipation Trade-off: In arbitrary nonequilibrium protocols,

$\Delta O^2$6

where $\Delta O^2$7 and $\Delta O^2$8 are the variances of work and entropy production, and $\Delta O^2$9 is the variance of the nonequilibrium free-energy difference. This Pareto frontier is tight, dictated by relative entropy and Rényi divergences between the system and the canonical ensemble (Funo et al., 2015). Explicit protocols achieving equality exist, smoothly interpolating between reversible and "single-shot" thermodynamics.

• Quantum Clock–Work Trade-off: In quantum thermodynamics, the extractable work from "internal" coherence $\langle \dot O \rangle = \sum_i O_i \dot p_i$0 and the quantum Fisher information $\langle \dot O \rangle = \sum_i O_i \dot p_i$1 (a proxy for clock precision) satisfy

$\langle \dot O \rangle = \sum_i O_i \dot p_i$2

with $\langle \dot O \rangle = \sum_i O_i \dot p_i$3 a system- and degeneracy–dependent function. States maximizing one (work or clock utility) minimize the other; the result is a quantum time–energy conjugacy principle (Kwon et al., 2017).

4. Power–Efficiency Bounds and Nonequilibrium Speed Limits

A central operational constraint for engines and information processors is the quantitative boundary between output power, efficiency, and dissipation:

• Power–Efficiency Trade-off for Heat Engines:

$\langle \dot O \rangle = \sum_i O_i \dot p_i$4

for any classical Markovian engine operating between two reservoirs at $\langle \dot O \rangle = \sum_i O_i \dot p_i$5, with $\langle \dot O \rangle = \sum_i O_i \dot p_i$6 a model-dependent bound, $\langle \dot O \rangle = \sum_i O_i \dot p_i$7 the efficiency, and $\langle \dot O \rangle = \sum_i O_i \dot p_i$8 Carnot efficiency. Nonzero power always forces $\langle \dot O \rangle = \sum_i O_i \dot p_i$9; Carnot efficiency is asymptotically attainable only at vanishing power (Shiraishi et al., 2016).

• Geometric Speed Limits and Optimal Transport: The minimal dissipation to drive a state trajectory in time $$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$0 is given by

$$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$1

where $$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$2 is an appropriate Wasserstein distance (optimal transport metric) in the system’s state space. For pattern formation in reaction-diffusion systems and for state transformations in Markov chains, the optimal protocols traverse geodesics in the optimal-transport geometry (Nagayama et al., 2023, Vu et al., 2024).

• Subsystem and Information-Thermodynamic Pareto Fronts: In bipartite or multipartite systems, a Pareto-optimal frontier delimits the achievable pairs of subsystem entropies or activities. The global minimum is determined by subsystem-restricted Wasserstein distances, quantifying trade-offs between, e.g., measurement (demon) and feedback (engine) dissipations (Kamijima et al., 2024).

5. Thermodynamic Uncertainty Relations and Generalizations

Thermodynamic uncertainty relations (TURs) provide lower bounds on the precision of time-extensive observables in terms of entropy production or activity:

• Classical/Quantum TURs: For any empirical current $$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$3, the variance-to-mean squared ratio is bounded from below:

$$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$4

where $$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$5 is the entropy production rate or a quadratic “dissipation rate” functional, with extensions to time-periodic and non-stationary systems, observables built from higher cumulants, and partial (subsystem) TURs incorporating information flow (Barato et al., 2018, Tanogami et al., 2023, Yoshimura et al., 2024).

• Concentration Inequality and Replicated TRA Bounds: Sharp finite-time trade-off relations can be obtained via thermodynamic concentration inequalities. For observables $$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$6 with bounded increments, bounds of the form

$$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$7

hold (with $$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$8 the activity), generalizing TURs to p-norms and providing upper bounds on the Rényi entropies of trajectory or network-diffusion observables (Hasegawa et al., 2024, Hasegawa, 22 Dec 2025).

6. Irreversibility–Timescale and Dissipation–Relaxation Relations

Intrinsic trade-offs also govern the cost of rapid relaxation, measurement, and error correction:

• Irreversibility–Relaxation Timescale: The instantaneous entropy production rate $$(\langle \dot O \rangle)^2 \leq \Delta O^2\; v_{\mathrm{int}}^2,$$9 and the system's Kullback-Leibler divergence $v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$0 to equilibrium satisfy

$v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$1

where $v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$2 is the Logarithmic-Sobolev constant (inverse timescale for relaxation) (Bao et al., 2023). This enhanced second law yields global "inverse speed limits" on any protocol: rapid transformations require exponentially greater dissipation.

• Quantum Error Correction Triple Trade-off: For cyclic QEC engines operating with general quantum measurements, fidelity $v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$3, efficiency $v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$4, and measurement efficacy $v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$5 satisfy

$v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$6

so that perfect QEC (unit fidelity) precludes super-Carnot efficiency unless superunital measurement operations are allowed (Danageozian et al., 2021).

7. Information and Learning–Dissipation Trade-offs

Information-processing systems—biological or artificial—are universally constrained by bounds linking information flow (or learning rate) to heat dissipation:

• Learning Rate Matrix Trade-off: For overdamped Langevin networks, the steady-state partial entropy production $v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$7 in subsystem $v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$8 and its net learning rate $v_{\mathrm{int}}^2 = \sum_i (\dot p_i)^2/p_i$9 satisfy

$\sigma_{\mathrm{ex}}$0

with $\sigma_{\mathrm{ex}}$1 the block of the Fisher information matrix for the $\sigma_{\mathrm{ex}}$2-subsystem (Matsumoto et al., 14 Apr 2025). Optimal learning (high information acquisition with low dissipation) is feasible only in the regime of moderate information rates or low Fisher sensitivity; aggressive information extraction inevitably incurs thermodynamic cost.

• Information geometry and trade-off relations (Ito, 2019)
• Thermodynamic speed-cost bounds for resetting (Pal et al., 2023)
• Fundamental work-dissipation uncertainty (Funo et al., 2015)
• Quantum clock–work resource duality (Kwon et al., 2017)
• Universal power–efficiency bound (Shiraishi et al., 2016)
• Irreversibility timescale relations (Bao et al., 2023)
• Generalized TUR (GTUR) (Barato et al., 2018)
• QEC–efficiency–fidelity trade-off (Danageozian et al., 2021)
• Bipartite and information-powered engine Pareto bounds (Tanogami et al., 2023, Kamijima et al., 2024)
• Time-cost-error in separated-state thermodynamics (Vu et al., 2024)
• Symmetry and jump-rate limits (Funo et al., 2024)
• Geometric housekeeping-excess decomposition (Yoshimura et al., 2024)
• Replica and entropic trade-offs (Hasegawa, 22 Dec 2025)
• Thermodynamic concentration inequalities (Hasegawa et al., 2024)
• Thermodynamic correlation inequality (Hasegawa, 2023)
• Learning-rate matrix bound (Matsumoto et al., 14 Apr 2025)

These trade-off relations codify the constraints imposed by the interplay of stochasticity, irreversibility, information, and dissipation in both classical and quantum thermodynamic systems, providing fundamental design criteria for the development and optimization of artificial engines, information processors, and biological networks.