---
title: Universal Thermodynamic Extremality
url: https://www.emergentmind.com/topics/universal-thermodynamic-extremality-relation
type: topic
---

# Universal Thermodynamic Extremality

“Universal thermodynamic extremality relation” denotes a family of results in which thermodynamic data are fixed by an extremum principle whose formal structure is independent of the particular system once the relevant thermodynamic framework has been specified. In the current literature, the expression does not refer to a single theorem. It instead labels several distinct but structurally analogous statements: the equilibrium manifold as an extremal hypersurface in geometrothermodynamics, variational bounds relating observable statistics to entropy production in stochastic thermodynamics, free-energy minimization and Carnot universality in generalized thermodynamic formalisms, and black-hole identities relating shifts of extremality bounds to entropy corrections [1101.3359] [2305.08873] [1505.06980] [1909.05254].

## 1. Terminological scope and recurring structure

The same expression is used across equilibrium thermodynamics, stochastic thermodynamics, information-theoretic thermodynamics, and gravitational thermodynamics. The common feature is the appearance of an extremal object—volume, free energy, entropy-production functional, transport cost, or extremal mass—whose governing relation is declared universal because it is fixed by geometric, variational, or first-law structure rather than by the microscopic details of a particular model.

| Setting | Representative relation | Extremal object |
|---|---|---|
| Geometrothermodynamics | $\delta \mathrm{Vol}(\mathcal{E})=0$ | Equilibrium-manifold volume |
| Path-space stochastic thermodynamics | $D_f(P\|P')=\sup_{\phi}\{\langle \phi-e^{-\Sigma}f^*(\phi)\rangle\}$ | Observable functional |
| Thermodynamic tradeoff hierarchy | $\Omega_\tau^2/\mathrm{Var}[\Theta_\tau^{\Lambda,g}] \le \Sigma_\tau/2$ | Precision at fixed EP |
| Optimal transport thermodynamics | $W_1(p^A,p^B)=\min \sqrt{\Sigma_\tau M_\tau}$ | Dissipation–mobility product |
| Black-hole extremality | $\partial_\varepsilon M_{\rm ext}=\lim[-T(\partial_\varepsilon S)_{M,\mathcal Q}]$ | Extremal mass shift |

This suggests a recurring pattern: system dependence enters through a fundamental relation, path measure, or extremal branch, whereas the extremal functional is determined by the ambient thermodynamic formalism.

## 2. Geometric extremality in geometrothermodynamics

In geometrothermodynamics (GTD), the starting point is the $(2n+1)$-dimensional thermodynamic phase space $\mathcal{T}$ with coordinates
$$
Z^A=\{\Phi,E^a,I^a\},
$$
equipped with the Gibbs 1-form
$$
\Theta=d\Phi-\delta_{ab}I^a dE^b.
$$
The contact structure is invariant under Legendre transformations, and GTD requires the phase-space metric $G$ to be Legendre invariant. A central metric family is
$$
G=(d\Phi-I_a dE^a)^2+\Lambda(E^a I_a)^{2k+1}dE^a dI^a.
$$
The equilibrium manifold $\mathcal{E}\subset\mathcal{T}$ is defined by an embedding
$$
\varphi:\mathcal{E}\to\mathcal{T},\qquad \varphi^*(\Theta)=0,
$$
which yields
$$
d\Phi=\delta_{ab}I^a dE^b,\qquad I_a=\frac{\partial \Phi}{\partial E^a}.
$$
The induced metric is
$$
g=\varphi^*(G)=\Lambda\left(E^c\frac{\partial\Phi}{\partial E^c}\right)^{2k+1}\frac{\partial^2\Phi}{\partial E^a\partial E^b}\,dE^a dE^b.
$$
Thus $g$ is the Hessian of the thermodynamic potential multiplied by a Legendre-invariant conformal factor [1101.3359].

The extremality statement follows from a Polyakov-like action
$$
S_P[\varphi,h]=\int_{\mathcal{E}} d^n\xi \sqrt{|h|}\,h^{ab}\partial_a Z^A\partial_b Z^B G_{AB}(Z),
$$
whose variation yields the harmonic-map equations and the constraint that $h_{ab}$ is conformal to $g_{ab}$. Eliminating $h$ gives the Nambu–Goto action
$$
S_{NG}[\varphi]=2\int_{\mathcal{E}} d^n\xi \sqrt{|g|},
$$
with Euler–Lagrange equations
$$
\frac{1}{\sqrt{|g|}}\partial_a\big(\sqrt{|g|}\,g^{ab}\partial_b Z^A\big)+\Gamma^A_{BC}g^{ab}\partial_a Z^B\partial_b Z^C=0,
$$
equivalently $K^A=0$. The resulting universal GTD extremality relation is
$$
\delta \mathrm{Vol}(\mathcal{E})=\delta\int_{\mathcal{E}}\sqrt{|g|}=0.
$$
Within this framework, every thermodynamic system specified by a smooth fundamental equation $\Phi(E^a)$ defines an extremal hypersurface of the Legendre-invariant phase space.

The formalism also assigns a dynamical interpretation to curves on $\mathcal{E}$. The thermodynamic length
$$
L=\int ds=\int \sqrt{g_{ab}dE^a dE^b}
$$
leads to the geodesic equation
$$
\frac{d^2x^a}{d\tau^2}+\Gamma^a_{bc}\frac{dx^b}{d\tau}\frac{dx^c}{d\tau}=0,
$$
and admissible geodesics are interpreted as quasi-static processes. For the ideal gas with
$$
S(U,V)=3\kappa \ln U+\kappa \ln V,
$$
the induced metric becomes flat,
$$
g=\frac{dU^2}{U^2}+\frac{dV^2}{V^2},
$$
whereas for the van der Waals gas the induced metric is curved, and the curvature scalar is nonzero. GTD therefore ties thermodynamic interaction to curvature while preserving the same underlying extremality principle [1101.3359].

A major delimitation is explicit in the GTD construction itself: if the induced metric becomes degenerate, as can occur at phase-transition points, or if Legendre invariance is abandoned, the extremality relation may fail or require refinement.

## 3. Variational extremality in nonequilibrium stochastic thermodynamics

A different usage of the term arises in path-space thermodynamics. For forward path measure $P$, conjugate measure $P'$, and entropy production
$$
\Sigma(\Gamma):=\ln\frac{P(\Gamma)}{P'(\Gamma)},
$$
the variational representation of an $f$-divergence gives
$$
D_f(P\|Q)=\sup_{\phi\in \mathrm{dom}(f^*)}\left\{\langle \phi\rangle_P-\langle f^*(\phi)\rangle_Q\right\}.
$$
With $Q=P'$ and the detailed fluctuation theorem, this becomes
$$
D_f(P\|P')=\sup_{\phi}\left\{\langle \phi-e^{-\Sigma}f^*(\phi)\rangle\right\}=\langle f(e^{-\Sigma})\rangle.
$$
The thermodynamic variational relation (TVR) is therefore
$$
\langle \phi-e^{-\Sigma} f^*(\phi)\rangle \le \langle f(e^{-\Sigma})\rangle,
$$
with equality when
$$
\phi(\Gamma)\in \partial f(e^{-\Sigma(\Gamma)}),
$$
or, for differentiable $f$,
$$
\phi^*(\Gamma)=f'(e^{-\Sigma(\Gamma)}).
$$
The extremality is exact: the bound is saturated by the observable aligned with the likelihood ratio implied by the fluctuation theorem [2305.08873].

Choosing the $\chi^2$-divergence yields a universal thermodynamic uncertainty relation valid at arbitrary finite times and without parity restrictions:
$$
\frac{\mathrm{Var}(\phi)}{\langle \phi(1-e^{-\Sigma})\rangle^2}\ge \frac{1}{\langle e^{-2\Sigma}\rangle-1}.
$$
Other choices of $f$ generate higher-order inequalities. For $\alpha=-n<0$ one obtains
$$
\langle |\phi|^{n+1}\rangle^{n}\,\langle e^{-\Sigma}|\phi|^{n}\rangle^{n+1}\ge \frac{1}{\langle e^{n\Sigma}\rangle},\qquad n>0,
$$
and the Hellinger case gives
$$
K_B(s)+K_F(-s)\ge 2\ln\langle e^{-\Sigma/2}\rangle.
$$
These relations universalize extremality from currents to arbitrary observables, moments, and cumulant-generating functions [2305.08873].

A related but distinct hierarchy is built from a pathwise Cramér–Rao inequality. For Langevin and Markov jump dynamics, the extended thermodynamic uncertainty relation (XTUR) reads
$$
\frac{\Omega_\tau^2}{\mathrm{Var}[\Theta_\tau^{\Lambda,g}]}\le \frac{\Sigma_\tau}{2},
$$
where
$$
\Omega_\tau \equiv \hat{O}_\tau\,\langle\Theta_\tau^{\Lambda,g}\rangle-\langle\mathcal{K}_\tau^g\rangle+\Big\langle\Theta_\tau^{s\partial_s\Lambda,\;s\partial_s g}\Big\rangle,
\qquad
\hat{O}_\tau=\tau\partial_\tau-s\partial_s-\omega\partial_\omega.
$$
By restricting the observable class, XTUR yields the conventional TUR, the entropic bound, classical speed limits, and the power-efficiency tradeoff. Equality requires
$$
\Theta_\tau^{\Lambda,g}(\Gamma)-\langle \Theta_\tau^{\Lambda,g}\rangle_\theta=k(\theta)\,\partial_\theta\ln \mathcal{P}_\theta(\Gamma),
$$
and the saturation conditions show that state-dependent contributions $g$ are generally necessary; pure current observables do not generically saturate the conventional TUR in nonequilibrium regimes [2311.01098].

The scope of these variational extremality statements is explicit. TVR requires a detailed fluctuation theorem and absolute continuity of $P'$ with respect to $P$, whereas XTUR assumes Markovian dynamics with local detailed balance and distinguishes total entropy production from pseudo-entropy production in jump processes. Hidden variables, coarse-graining, non-Markovian memory, or singular support can therefore spoil the exact bounds.

## 4. Extremality as minimum free energy, minimum dissipation, and maximal reversible efficiency

Another line of work identifies universal extremality with minimization principles for free energy or dissipation. In discrete optimal transport for Markov jump processes, the discrete Wasserstein-1 distance satisfies the Benamou–Brenier-type equality
$$
W_1(p^A,p^B)=\min_{\{W_t\}}\int_0^\tau \sqrt{\sigma(t)\,m(t)}\,dt
=\min_{\{W_t\}}\sqrt{\Sigma_\tau\,M_\tau},
$$
where $\sigma(t)$ is the irreversible entropy production rate and $m(t)$ is the dynamical state mobility. The immediate consequence is the product extremality inequality
$$
\Sigma_\tau M_\tau \ge W_1(p^A,p^B)^2.
$$
The same structure extends to Lindblad dynamics through a pseudo-metric $W_q$,
$$
W_q(\rho^A,\rho^B)=\min_{\{\mathcal{L}_t\}}\sqrt{\Sigma_\tau\,M_\tau},
$$
and yields improved TURs, thermodynamic speed limits, and finite-time Landauer bounds. In this setting, universality refers to the fact that optimal-transport distance equals the minimum geometric mean of irreversibility and kinetic mobility for all admissible dynamics on the given graph or Hilbert space [2206.02684].

A free-energy extremality principle appears in Rényi-generalized thermodynamics. With Rényi entropy
$$
S_\alpha(\rho)=\frac{1}{1-\alpha}\ln \mathrm{Tr}(\rho^\alpha),
$$
escort internal energy
$$
U_\alpha(\rho)=\frac{\mathrm{Tr}(\rho^\alpha H)}{\mathrm{Tr}(\rho^\alpha)},
$$
and the $\alpha$-thermal state $\rho_{T\alpha}$ obtained from the MaxEnt construction, the nonequilibrium free energy retains the form
$$
F_\alpha(\rho,T)=U_\alpha(\rho)-T S_\alpha(\rho).
$$
The extremality statement is
$$
F_\alpha(\rho,T)\ge F_\alpha(\rho_{T\alpha},T),
$$
with equality iff $\rho=\rho_{T\alpha}$. This “form invariance” underlies a generalized Clausius inequality and preserves the universality of the Carnot statement. In particular, the Carnot efficiency remains
$$
\eta_C=1-\frac{T_c}{T_h},
$$
independently of the Rényi parameter once the thermodynamic quantities are defined consistently [1505.06980].

The classical Carnot theorem provides the oldest extremality relation of this type. For any reversible heat engine between reservoirs at $T_h>T_c$,
$$
\eta=1-\frac{Q_c}{Q_h},\qquad
\eta_{\mathrm{Carnot}}=1-\frac{T_c}{T_h},
$$
and equality is achieved only for reversible cycles. The temperature–entropy plane makes the universality explicit because
$$
Q_h=T_h\Delta S,\qquad Q_c=T_c\Delta S.
$$
A stronger statement established for unconventional equations of state is that Carnot universality does not require ideal-gas asymptotics. Even anomalous cases such as
$$
p=\frac{aV}{T}
$$
still satisfy the Carnot theorem. The underlying geometric reason is the Maxwell/Jacobian identity
$$
J(p,V;T,S)\equiv \frac{\partial(p,V)}{\partial(T,S)}=1,
$$
which expresses an area-preserving map between thermodynamic planes and guarantees that the reversible efficiency depends only on reservoir temperatures [1302.1485].

Taken together, these results show that extremality may mean minimum dissipation for a prescribed state transfer, minimum free energy at fixed bath temperature, or maximum efficiency for reversible work extraction. The universality claim is always internal to the chosen thermodynamic architecture.

## 5. Black-hole extremality: the Goon–Penco relation and its extensions

In black-hole thermodynamics, the dominant formulation is the Goon–Penco relation. For mass $M$, entropy $S$, temperature $T$, additional extensive variables $X^a$, and perturbation parameter $\varepsilon$, the exact universal relation is
$$
\frac{\partial M_{\rm ext}(X;\varepsilon)}{\partial \varepsilon}
=
\lim_{M\to M_{\rm ext}(X;\varepsilon)}
\Big[
-\,T(M,X;\varepsilon)
\Big(\frac{\partial S}{\partial \varepsilon}\Big)_{M,X}
\Big].
$$
A near-extremal perturbative form is
$$
\Delta M_{\rm ext}(X)\approx -\,T_0(M,X)\,\Delta S(M,X)\Big|_{M\approx M_{\rm ext}^{(0)}(X)}.
$$
Under mild stability assumptions, a positive leading entropy correction at fixed extensive data implies a negative leading shift of the extremal mass, which yields Weak Gravity Conjecture-like behavior in charged examples [1909.05254].

The relation has been generalized repeatedly. In dRGT massive gravity, the extremal derivatives with respect to pressure, charge, and massive-gravity couplings satisfy
$$
\Big(\frac{\partial M_{\rm ext}}{\partial P}\Big)_{Q,c_i}=V_{\rm ext},
\qquad
\Big(\frac{\partial M_{\rm ext}}{\partial Q}\Big)_{P,c_i}=\Phi_{\rm ext},
\qquad
\Big(\frac{\partial M_{\rm ext}}{\partial c_i}\Big)_{P,Q,c_{j\neq i}}=X_{i,\rm ext},
$$
and the whole structure is unified by a triple-product identity [2004.10459]. For rotating BTZ and Kerr–AdS black holes with a constant correction to the cosmological term, the standard Goon–Penco relation is accompanied by a new rotational identity,
$$
\frac{\partial M_{\rm ext}}{\partial\epsilon}
=
\lim_{M\to M_{\rm ext}}
\left[
-\,\Omega_H\left(\frac{\partial J}{\partial\epsilon}\right)_{M,S,l}
\right],
$$
which motivated a broader conjecture involving shifted thermodynamic quantities [2003.06785].

Several later works extend the same template to more complicated black-hole families. Accelerating AdS black holes satisfy the relation only after imposing a matching between the perturbation parameter and the conical-deficit parameter,
$$
K\,\sqrt{1-A^2 l^2}
=
\frac{1}{4}\left(1+\sqrt{\frac{9-8A^2 l^2+9\epsilon}{1+\epsilon}}\right),
$$
showing that acceleration introduces a nontrivial normalization constraint [2407.21329]. Charged AdS black holes surrounded by quintessence admit additional extremality identities involving the quintessence normalization $a$ and, in the nonlinear electrodynamics extension, the magnetic monopole parameter $\beta$,
$$
\frac{\partial M_{\mathrm{ext}}}{\partial\epsilon}
=
-\,\eta\left(\frac{\partial a}{\partial\epsilon}\right),
\qquad
\frac{\partial M_{\mathrm{ext}}}{\partial\epsilon}
=
-\,\mathcal{B}\left(\frac{\partial \beta^2}{\partial\epsilon}\right),
$$
evaluated on the extremal branch [2005.00747].

Power-law AdS black holes in the Einstein–Power–Maxwell, Einstein–Power–Yang–Mills, and Einstein–Maxwell–Power–Yang–Mills families preserve the same structure; for the cosmological deformation used there,
$$
\frac{\partial M_{\rm ext}}{\partial\epsilon}
=
-\,T\left(\frac{\partial S}{\partial\epsilon}\right)
=
-\,\Phi\left(\frac{\partial Q}{\partial\epsilon}\right)
=
-\,V\left(\frac{\partial P}{\partial\epsilon}\right)
=
\frac{r_+^3}{2l^2}
=
VP
$$
in $d=4$ [2409.07079]. Einstein–Bel–Robinson gravity pushes the relation in a multi-parameter direction. With $B=\beta/(16\pi)$ and conjugates $\psi_\Lambda,\psi_\beta$, the generalized displacement formula is
$$
\left(\frac{\partial M_{0}}{\partial \eta}\right)_{P(\eta),B(\eta),S(\eta)}
=
-\lim_{M\to M_{0}}
\Bigg[
T\left(\frac{\partial S(\eta)}{\partial \eta}\right)
+\psi_{\Lambda}\left(\frac{\partial P(\eta)}{\partial \eta}\right)
+\psi_{\beta}\left(\frac{\partial B(\eta)}{\partial \eta}\right)
\Bigg],
$$
and is proposed as a universal relation among displaced thermodynamic quantities [2506.08466].

Higher-dimensional de Sitter black holes further extend the framework to two-horizon systems. There the first laws are written separately at the black-hole and cosmological horizons,
$$
dM=T_+\,dS_+ + \Phi_+\,dQ + V_+\,dP,
\qquad
dM=-T_c\,dS_c + \Phi_c\,dQ + V_c\,dP,
$$
and the universal extremality relation is shown to be independent of whether the Nariai point $N$ or the cold point $C$ is approached along the black-hole or cosmological branch. Rotating cases add shifted angular-momentum terms of the form $(\Omega^i-\Omega_\infty^i)\,\partial_\eta J_i$ and lead to a more general conjectured relation involving entropy, angular momentum, charge, and pressure shifts [2507.19800].

## 6. Conditions of validity, failures, and the meaning of “universal”

The adjective “universal” is conditional in every framework. In GTD, the extremal-hypersurface statement requires a contact manifold $(\mathcal T,\Theta)$, a Legendre-invariant metric $G$, a smooth equilibrium embedding with $\varphi^*(\Theta)=0$, and a nondegenerate induced metric $g$; degeneracy at phase transitions or loss of Legendre invariance can obstruct the construction [1101.3359]. In the TVR framework, universality requires a detailed fluctuation theorem and absolute continuity of the conjugate measure; hidden variables, coarse-graining, or non-Markovianity can weaken or invalidate the bounds, and empirical estimation of $\langle e^{-q\Sigma}\rangle$ is itself delicate [2305.08873]. XTUR inherits the constraints of pathwise Cramér–Rao theory, local detailed balance, and Markovianity, while the distinction between pseudo-entropy production and total entropy production limits saturation in jump processes [2311.01098]. Rényi-based Clausius and monotonicity statements also depend on parameter range: the traditional Rényi DPI is available for $\alpha\in[0,2]$, the sandwiched DPI for $\alpha\in[1/2,\infty)$, and commuting cases admit wider validity [1505.06980].

The black-hole literature contains explicit counterexamples. For black branes in Rastall AdS massive gravity, Einstein–Yang–Mills AdS massive gravity, and anisotropic Hořava–Lifshitz-type gravity, the relation
$$
\frac{\partial M_{\mathrm{ext}}}{\partial \epsilon}
\stackrel{?}{=}
-\,T\left(\frac{\partial S}{\partial \epsilon}\right)
$$
is generically violated, with only special limits recovering approximate or exact equality [2201.04071]. A different obstruction appears for Schwarzschild–de Sitter black holes corrected by generalized or extended uncertainty principles. There the tested matching formula
$$
\frac{\partial M_{\rm ext}}{\partial \varepsilon}
\stackrel{?}{=}
\lim_{M\to M_{\rm ext}}
\Big[-\,T_{\rm corr}\Big(\frac{\partial S_{\rm corr}}{\partial \varepsilon}\Big)_M\Big]
$$
fails at the Nariai limit unless the correction parameters vanish, namely $\beta=0$ for GUP and $\alpha=0$ for EUP [2501.15551].

This suggests that “universal” should not be read as “valid in every thermodynamic model.” It denotes invariance with respect to working substance, observable parity, choice of thermodynamic potential, or microscopic realization within a fixed structural setting. Once the structural hypotheses change—Legendre invariance, detailed fluctuation symmetry, first-law ensemble, horizon structure, correction scheme, or admissible dynamics—the specific extremality relation can change or disappear altogether.

Source: https://www.emergentmind.com/topics/universal-thermodynamic-extremality-relation