The Convex-Analytic Structure of Thermodynamic Equilibrium: Pressure, Subdifferentials, and Phase Transitions
Pith reviewed 2026-05-10 05:15 UTC · model grok-4.3
The pith
The pressure functional is the Legendre-Fenchel transform of the negative entropy, with equilibrium states as its subdifferentials.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The pressure functional is the Legendre-Fenchel transform of the negative entropy, and the biconjugate recovery of the entropy from the pressure establishes a complete duality. Equilibrium states are elements of the subdifferential of the pressure, uniqueness of equilibrium states corresponds to Gâteaux differentiability, and first-order phase transitions correspond to non-differentiability. For systems with specification and Hölder potentials, the pressure is Fréchet differentiable in the Hölder norm, and the second derivative of the pressure equals the asymptotic variance of the Birkhoff sums. A universal variational principle unifies the classical additive, subadditive, and relative vari
What carries the argument
The Legendre-Fenchel transform relating the pressure functional to the negative entropy functional, which carries the duality and allows characterization of equilibria via subdifferentials.
Load-bearing premise
The functionals satisfy convexity, lower semi-continuity, coercivity, and cocycle invariance, with systems having the specification property and Hölder potentials for the differentiability results.
What would settle it
A continuous map on a compact metric space where the pressure computed directly fails to equal the Legendre-Fenchel transform of the negative entropy, or an equilibrium state that lies outside the subdifferential of the pressure.
read the original abstract
We develop the convex-analytic structure of the thermodynamic formalism for continuous maps on compact metric spaces. The pressure functional is the Legendre-Fenchel transform of the negative entropy, and the biconjugate recovery of the entropy from the pressure establishes a complete duality. Equilibrium states are elements of the subdifferential of the pressure, uniqueness of equilibrium states corresponds to G\^{a}teaux differentiability, and first-order phase transitions correspond to non-differentiability. For systems with specification and H\"{o}lder potentials, the pressure is Fr\'{e}chet differentiable in the H\"{o}lder norm, and the second derivative of the pressure equals the asymptotic variance of the Birkhoff sums. We prove a universal variational principle that unifies the classical additive, the subadditive, and the relative variational principles through a single theorem on convex functionals satisfying convexity, lower semi-continuity, coercivity, and cocycle invariance. Extensions to systems with the specification property and to non-compact spaces under coercivity conditions are included, with applications to countable Markov shifts via Sarig's recurrence classification. This Part constitutes Part II of a six-part series on the thermodynamic formalism for hyperbolic dynamical systems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops the convex-analytic structure of the thermodynamic formalism for continuous maps on compact metric spaces. The pressure functional is the Legendre-Fenchel transform of the negative entropy, and the biconjugate recovery of the entropy from the pressure establishes a complete duality. Equilibrium states are elements of the subdifferential of the pressure, uniqueness of equilibrium states corresponds to Gâteaux differentiability, and first-order phase transitions correspond to non-differentiability. A universal variational principle unifies the classical additive, subadditive, and relative variational principles under the conditions of convexity, lower semi-continuity, coercivity, and cocycle invariance. For systems with specification and Hölder potentials, the pressure is Fréchet differentiable in the Hölder norm with second derivative equal to the asymptotic variance of Birkhoff sums. Extensions to systems with the specification property, non-compact spaces under coercivity, and applications to countable Markov shifts via Sarig's recurrence classification are included.
Significance. If the results hold, the manuscript offers a significant unification of thermodynamic formalism via convex analysis, providing structural insights into equilibrium states, phase transitions, and differentiability. The universal variational principle is a clear strength, consolidating multiple classical principles under four explicit conditions without free parameters. The explicit correspondence between subdifferentials/differentiability and physical phenomena (uniqueness, phase transitions) and the variance formula for the second derivative add value. The extensions and applications enhance applicability, and the work is grounded in standard convex analysis tools applied to dynamical systems.
minor comments (2)
- The abstract refers to this as 'Part II of a six-part series'; a brief sentence in the introduction on how the convex-analytic results here support the broader program on hyperbolic systems would improve context.
- Notation for the pressure functional P and the entropy functional could be introduced with a short table or explicit list of properties (convexity, lsc, etc.) in §2 to aid readability before the main theorems.
Simulated Author's Rebuttal
We thank the referee for the detailed and positive summary of our manuscript, the recognition of its significance in unifying thermodynamic formalism via convex analysis, and the recommendation for minor revision. No specific major comments were provided in the report, so we have no points to address point-by-point at this stage. We will incorporate any minor suggestions during revision and ensure the manuscript remains consistent with the six-part series structure.
Circularity Check
No significant circularity; derivation applies standard convex analysis to independently defined pressure functional
full rationale
The paper defines the pressure functional via dynamical systems (topological pressure for continuous maps on compact metric spaces) and then applies the Legendre-Fenchel transform and subdifferential calculus from convex analysis to obtain the duality, equilibrium states, and differentiability characterizations. The universal variational principle is proven as a theorem under four explicit, verifiable conditions (convexity, lower semi-continuity, coercivity, cocycle invariance) that unify additive/subadditive/relative cases without presupposing the target conclusions. Fréchet differentiability and variance formulas for Hölder potentials follow from specification property assumptions external to the convex structure. No step reduces a claimed prediction or first-principles result to a fitted parameter, self-definition, or unverified self-citation chain; the central claims remain independently verifiable against the dynamical assumptions.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption Continuous maps on compact metric spaces
- domain assumption Functionals satisfy convexity, lower semi-continuity, coercivity, and cocycle invariance
- domain assumption Systems have specification property and Hölder potentials
Forward citations
Cited by 7 Pith papers
-
Transfer Operators and SRB Measures for Axiom A Diffeomorphisms: Spectral Gap, Structural Stability, and the Gibbs Equivalence Theorem
Proves structural stability with explicit Hölder exponent, transfer operator quasi-compactness with spectral gap, SRB measures as unique equilibrium states with explicit unstable densities, and Pesin entropy formula f...
-
Gibbs Measures on Subshifts of Finite Type: Five Equivalent Characterizations with Explicit Constants
Five characterizations of Gibbs measures for Hölder potentials on topologically mixing subshifts of finite type are equivalent in a single theorem with explicit constants, plus derived spectral gaps, stability, and li...
-
Statistical Limit Theorems for Axiom A Diffeomorphisms: Exponential Mixing, Central Limit Theorem, and Large Deviations
Derives Volume Lemma, exponential correlations decay, CLT with optimal Berry-Esseen bounds, ASIP, and LDP for Axiom A equilibrium states from a single spectral gap with explicit hyperbolicity dependence.
-
Transfer Operators and SRB Measures for Axiom A Diffeomorphisms: Spectral Gap, Structural Stability, and the Gibbs Equivalence Theorem
Proves structural stability, quasi-compactness of transfer operators with spectral gap, SRB measures as unique equilibrium states for the geometric potential, and Pesin entropy formula for Axiom A diffeomorphisms, yie...
-
Statistical Limit Theorems for Axiom A Diffeomorphisms: Exponential Mixing, Central Limit Theorem, and Large Deviations
Derives the Volume Lemma, exponential mixing, CLT with Berry-Esseen bounds, ASIP, and LDP for Axiom A diffeomorphisms from the spectral gap of the normalized Ruelle transfer operator with explicit hyperbolicity dependence.
-
Uniform Hyperbolicity and Symbolic Dynamics: Markov Partitions, Shadowing, and the Coding of Axiom A Diffeomorphisms
The paper establishes quantitative versions of the stable manifold theorem, shadowing lemma, spectral decomposition, Markov partitions, and Hölder coding for Axiom A diffeomorphisms to transfer symbolic dynamics to th...
-
Multifractal Analysis, Liv\v{s}ic Rigidity, and Fluctuation Theorems for Axiom A Diffeomorphisms: The Pesin Formula and the Gallavotti-Cohen Symmetry
For Axiom A diffeomorphisms the metric entropy of the SRB measure equals the sum of positive Lyapunov exponents, Birkhoff level sets have Hausdorff dimension given by the Legendre transform of pressure, coboundaries a...
Reference graph
Works this paper leans on
-
[1]
Barreira, L.: A non-additive thermodynamic formalism and applications to dimen- sion theory of hyperbolic dynamical systems. Ergodic Theory Dynam. Systems 16, 871–927 (1996)
work page 1996
-
[2]
Bowen, R.: Entropy for group endomorphisms and homogeneous spaces. Trans. Amer. Math. Soc.153, 401–414 (1971)
work page 1971
-
[3]
Bowen, R.: Some systems with unique equilibrium states. Math. Systems Theory 8, 193–202 (1974)
work page 1974
-
[4]
Lecture Notes in Mathematics, vol
Bowen, R.: Equilibrium States and the Ergodic Theory of Anosov Diffeomor- phisms. Lecture Notes in Mathematics, vol. 470. Springer, Berlin (1975) 37 A. Thiam
work page 1975
-
[5]
Cao, Y., Feng, D., Huang, W.: The thermodynamic formalism for sub-additive potentials. Discrete Contin. Dyn. Syst.20, 639–657 (2008)
work page 2008
-
[6]
Chazottes, J.-R., Hochman, M.: On the zero-temperature limit of Gibbs states. Comm. Math. Phys.297, 265–281 (2010)
work page 2010
- [7]
-
[8]
Climenhaga, V., Thompson, D.J.: Intrinsic ergodicity via obstruction entropies. Ergodic Theory Dynam. Systems34(6), 1816–1831 (2014)
work page 2014
-
[9]
Climenhaga, V., Thompson, D.J.: Unique equilibrium states for flows and homeomorphisms with non-uniform structure. Adv. Math.303, 745–799 (2016)
work page 2016
-
[10]
Dinaburg, E.I.: On the relations among various entropy characteristics of dynam- ical systems. Math. USSR Izv.5, 337–378 (1970)
work page 1970
-
[11]
Ekeland, I., Temam, R.: Convex Analysis and Variational Problems. SIAM, Philadelphia (1999)
work page 1999
-
[12]
Fenchel, W.: On conjugate convex functions. Canadian J. Math.1, 73–77 (1949)
work page 1949
-
[13]
Feng, D., Huang, W.: Lyapunov spectrum of asymptotically sub-additive poten- tials. Comm. Math. Phys.297, 1–43 (2012)
work page 2012
-
[14]
Hofbauer, F.: Examples for the nonuniqueness of the equilibrium state. Trans. Amer. Math. Soc.228, 223–241 (1977)
work page 1977
-
[15]
Princeton University Press, Princeton (1979)
Israel, R.B.: Convexity in the Theory of Lattice Gases. Princeton University Press, Princeton (1979)
work page 1979
-
[16]
Kato, T.: Perturbation Theory for Linear Operators, 2nd edn. Springer, Berlin (1980)
work page 1980
-
[17]
Cambridge University Press, Cambridge (1998)
Keller, G.: Equilibrium States in Ergodic Theory. Cambridge University Press, Cambridge (1998)
work page 1998
-
[18]
Ledrappier, F., Walters, P.: A relativised variational principle for continuous transformations. J. London Math. Soc. (2)16, 568–576 (1977)
work page 1977
-
[19]
Moreau, J.-J.: Fonctions convexes duales et points proximaux dans un espace hilbertien. C. R. Acad. Sci. Paris255, 2897–2899 (1962)
work page 1962
-
[20]
Ast´ erisque187–188(1990) 38 The Convex-Analytic Structure of Thermodynamic Equilibrium
Parry, W., Pollicott, M.: Zeta Functions and the Periodic Orbit Structure of Hyperbolic Dynamics. Ast´ erisque187–188(1990) 38 The Convex-Analytic Structure of Thermodynamic Equilibrium
work page 1990
-
[21]
Academic Press, New York (1967)
Parthasarathy, K.R.: Probability Measures on Metric Spaces. Academic Press, New York (1967)
work page 1967
-
[22]
Pesin, Y., Senti, S., Todd, M.: Thermodynamic formalism for systems with Markov structure and inducing schemes. Ergodic Theory Dynam. Systems28(2), 553–574 (2008)
work page 2008
-
[23]
Phelps, R.R.: Convex Functions, Monotone Operators and Differentiability, 2nd edn. Springer, Berlin (1993)
work page 1993
-
[24]
Cambridge University Press, Cambridge (2010)
Przytycki, F., Urba´ nski, M.: Conformal Fractals: Ergodic Theory Methods. Cambridge University Press, Cambridge (2010)
work page 2010
-
[25]
Princeton University Press, Princeton (1970)
Rockafellar, R.T.: Convex Analysis. Princeton University Press, Princeton (1970)
work page 1970
-
[26]
Rudin, W.: Functional Analysis, 2nd edn. McGraw-Hill, New York (1991)
work page 1991
-
[27]
Ruelle, D.: Statistical mechanics of a one-dimensional lattice gas. Comm. Math. Phys.9, 267–278 (1968)
work page 1968
-
[28]
Ruelle, D.: Statistical mechanics on a compact set withZ v action satisfying expansiveness and specification. Trans. Amer. Math. Soc.185, 237–251 (1973)
work page 1973
-
[29]
Cambridge University Press, Cambridge (2004)
Ruelle, D.: Thermodynamic Formalism, 2nd edn. Cambridge University Press, Cambridge (2004)
work page 2004
-
[30]
Sarig, O.: Thermodynamic formalism for countable Markov shifts. Ergodic Theory Dynam. Systems19, 1565–1593 (1999)
work page 1999
-
[31]
Sarig, O.: Phase transitions for countable Markov shifts. Comm. Math. Phys. 217, 555–577 (2001)
work page 2001
-
[32]
Sarig, O.: Existence of Gibbs measures for countable Markov shifts. Proc. Amer. Math. Soc.131, 1751–1758 (2003)
work page 2003
-
[33]
Sinai, Ya.G.: Gibbs measures in ergodic theory. Russian Math. Surveys27, 21–69 (1972)
work page 1972
-
[34]
Thiam, A.: Gibbs Measures on Subshifts of Finite Type: Five Equivalent Characterizations with Explicit Constants. arXiv:2604.17528 [math.DS] (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[35]
Thiam, A.: Uniform Hyperbolicity and Symbolic Dynamics: Markov Partitions, Shadowing, and the Coding of Axiom A Diffeomorphisms. arXiv:2604.17608 [math.DS] (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[36]
Thiam, A.: Transfer Operators and SRB Measures for Axiom A Diffeomor- phisms: Spectral Gap, Structural Stability, and the Gibbs Equivalence Theorem. arXiv:2604.18929 [math.DS] (2026) 39 A. Thiam
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[37]
Thiam, A.: Statistical Limit Theorems For Axiom A Diffeomorphisms: Exponen- tial Mixing, Central Limit Theorem, And Large Deviations. arXiv:2604.18930 [math.DS] (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[38]
Thiam, A.: Multifractal Analysis, Livˇ sic Rigidity, and Fluctuation Theorems for Axiom A Diffeomorphisms: The Pesin Formula and the Gallavotti-Cohen Symmetry. arXiv:2604.18931 [math.DS] (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[39]
Cambridge Studies in Advanced Mathematics, vol
Viana, M., Oliveira, K.: Foundations of Ergodic Theory. Cambridge Studies in Advanced Mathematics, vol. 151. Cambridge University Press, Cambridge (2016)
work page 2016
-
[40]
Walters, P.: A variational principle for the pressure of continuous transformations. Amer. J. Math.97, 937–971 (1975)
work page 1975
-
[41]
Walters, P.: An Introduction to Ergodic Theory. Springer, New York (1982) 40
work page 1982
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.