Thermodynamics formalism for singular flows
Pith reviewed 2026-05-07 09:02 UTC · model grok-4.3
The pith
C^∞ three-dimensional flows with positive topological entropy have only finitely many ergodic measures of maximal entropy even with singularities.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
C^∞ three-dimensional flows with positive topological entropy admit only finitely many ergodic measures of maximal entropy, even when singularities (zero-velocity points) are present. Furthermore, every ergodic measure of maximal entropy is rapid mixing for such flows within a C^∞ open and dense subset. The authors develop a novel symbolic coding system for flows with singularities and define the strong positive recurrence (SPR) property for singular flows, verifying that SPR flows can be coded by suspension flows of SPR symbolic systems. This framework extends to other singular flows, including star flows, and to equilibrium states.
What carries the argument
A novel symbolic coding system for flows with singularities, which codes them as suspension flows of symbolic systems satisfying the strong positive recurrence (SPR) property.
If this is right
- These flows possess only finitely many ergodic measures of maximal entropy.
- Within a C^∞ open and dense subset, all ergodic measures of maximal entropy are rapid mixing.
- The same finiteness and mixing conclusions hold for star flows and other classes of singular flows.
- Equilibrium states for singular flows can be studied with the same thermodynamic formalism.
Where Pith is reading between the lines
- The symbolic coding technique might extend to higher-dimensional singular flows and yield analogous finiteness statements there.
- Numerical approximation of entropy and mixing rates could become feasible for physical models that contain zero-velocity points.
- The framework may clarify the relationship between topological entropy and statistical properties in systems that combine smooth and singular behavior.
Load-bearing premise
The symbolic coding system developed for flows with singularities is valid and complete for all C^∞ three-dimensional flows with positive entropy, including the correspondence that SPR flows can be coded by suspension flows of SPR symbolic systems.
What would settle it
An explicit C^∞ three-dimensional flow with positive topological entropy that possesses infinitely many distinct ergodic measures of maximal entropy would disprove the finiteness result.
Figures
read the original abstract
We establish that $C^\infty$ three-dimensional flows with positive topological entropy admit only finitely many ergodic measures of maximal entropy, even when singularities (zero-velocity points) are present. Furthermore, every ergodic measure of maximal entropy is rapid mixing for such flows within a $C^\infty$ open and dense subset. To prove this, we develop a novel symbolic coding system for flows with singularities, which serves as a fundamental tool in this work. We also define the strong positive recurrence (SPR) property for singular flows and verify that SPR flows can be coded by suspension flows of SPR symbolic systems. This framework extends to other singular flows, including star flows, and to equilibrium states.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes that C^∞ three-dimensional flows with positive topological entropy admit only finitely many ergodic measures of maximal entropy, even when singularities (zero-velocity points) are present. It further shows that every ergodic measure of maximal entropy is rapid mixing for such flows within a C^∞ open and dense subset. The proof relies on a newly developed symbolic coding system for singular flows, the definition of the strong positive recurrence (SPR) property for singular flows, and the verification that SPR singular flows can be coded by suspension flows over SPR symbolic systems; the framework is indicated to extend to star flows and equilibrium states.
Significance. If the symbolic coding construction is valid and complete, the result would provide a substantial extension of thermodynamic formalism and rapid mixing results to singular flows, generalizing known statements from non-singular or hyperbolic settings to a broad class of C^∞ 3D systems with positive entropy. The introduction of a coding tool that preserves the SPR property under suspension, together with the open-dense rapid-mixing conclusion, would constitute a useful technical advance applicable to other singular systems.
major comments (2)
- [Abstract and the symbolic coding construction] The central reduction step—that every C^∞ 3D flow with positive topological entropy and singularities admits a valid and complete symbolic coding by a suspension flow over an SPR symbolic system—is asserted in the abstract and used to derive both the finiteness of ergodic MMEs and the rapid-mixing property. No independent verification against standard singular examples (e.g., geometric Lorenz attractors) or comparison with existing partial results on equilibrium states for singular systems is provided, leaving the completeness of the coding unconfirmed.
- [SPR property and coding verification] The definition of SPR for singular flows and the claim that SPR flows code to suspension flows of SPR symbolic systems are load-bearing for the thermodynamic formalism; if the coding misses orbits or fails to preserve the SPR property, the finiteness and mixing conclusions do not follow. The manuscript does not supply an explicit check that the coding is surjective onto all relevant orbits or that the entropy and mixing rates are preserved.
minor comments (1)
- [Abstract] The abstract states that the framework 'extends to other singular flows, including star flows, and to equilibrium states,' but the main text does not indicate the precise scope or additional hypotheses required for these extensions.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We appreciate the acknowledgment of the potential significance of extending thermodynamic formalism and rapid mixing results to singular flows. We address each major comment below, clarifying the scope of our constructions and indicating revisions where appropriate.
read point-by-point responses
-
Referee: [Abstract and the symbolic coding construction] The central reduction step—that every C^∞ 3D flow with positive topological entropy and singularities admits a valid and complete symbolic coding by a suspension flow over an SPR symbolic system—is asserted in the abstract and used to derive both the finiteness of ergodic MMEs and the rapid-mixing property. No independent verification against standard singular examples (e.g., geometric Lorenz attractors) or comparison with existing partial results on equilibrium states for singular systems is provided, leaving the completeness of the coding unconfirmed.
Authors: The symbolic coding construction is developed as a general tool applicable to all C^∞ 3D flows with positive topological entropy and singularities, including geometric Lorenz attractors, whose zero-velocity singularities are covered by the framework. The completeness and validity are established through the abstract properties of the coding map rather than case-by-case verification. We agree that an explicit comparison with known partial results on equilibrium states for Lorenz-like systems would improve clarity and will add a short discussion section referencing relevant literature in the revised manuscript. revision: yes
-
Referee: [SPR property and coding verification] The definition of SPR for singular flows and the claim that SPR flows code to suspension flows of SPR symbolic systems are load-bearing for the thermodynamic formalism; if the coding misses orbits or fails to preserve the SPR property, the finiteness and mixing conclusions do not follow. The manuscript does not supply an explicit check that the coding is surjective onto all relevant orbits or that the entropy and mixing rates are preserved.
Authors: The surjectivity of the coding onto all relevant orbits, along with preservation of the SPR property, entropy, and mixing rates, is established in the core technical sections through the explicit construction of the symbolic dynamics and the suspension flow. These properties are proven directly from the definitions and do not rely on additional assumptions. If the presentation of these verifications can be made more explicit, we will add summary statements and a clarifying remark in the revision to highlight the surjectivity and invariance arguments. revision: partial
Circularity Check
No significant circularity; derivation relies on novel construction
full rationale
The paper introduces a novel symbolic coding system for C^∞ 3D singular flows and defines/verifies the SPR property for such flows, allowing reduction of thermodynamic formalism results to the symbolic setting. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided abstract or description. The central claims follow from this new framework rather than reducing to prior inputs by construction. The coding is presented as independently developed, making the derivation self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 1 Pith paper
-
Continuity properties of partial entropy
Partial entropies are upper semi-continuous for C^{1+α} diffeomorphisms when Lyapunov exponent sums are continuous, implying the same property at generic ergodic measures.
Reference graph
Works this paper leans on
-
[1]
L. M. Abramov, On the entropy of a flow,Dokl. Akad. Nauk SSSR,128(1959) 873–875
work page 1959
-
[2]
R. L. Adler and B. Weiss, Entropy, a complete metric invariant for automorphisms of the torus, Proc. Nat. Acad. Sci. U.S.A.,57(1967), 1573–1576
work page 1967
-
[3]
V. S. Afra˘ ımoviˇ c, V. V. Bykov, and L. P. Sil’nikov, The origin and structure of the Lorenz attractor, Dokl. Akad. Nauk. SSSR,234(1977), no. 2, 336–339
work page 1977
-
[4]
W. Ambrose and S. Kakutani, Structure and continuity of measurable flows,Duke Math. J.,9(1942), 25–42
work page 1942
-
[5]
Aoki, The set of Axiom A diffeomorphisms with no cycles,Bol
N. Aoki, The set of Axiom A diffeomorphisms with no cycles,Bol. Soc. Brasil. Mat. (N.S.),23 (1992), no. 1-2, 21–65. 86
work page 1992
- [6]
-
[7]
V. Ara´ ujo and I. Melbourne, Exponential decay of correlations for nonuniformly hyperbolic flows with aC 1+α stable foliation, including the classical Lorenz attractor,Ann. Henri Poincar´ e,17 (2016), no. 11, 2975–3004
work page 2016
-
[8]
V. Ara´ ujo and I. Melbourne, Mixing properties and statistical limit theorems for singular hyperbolic flows without a smooth stable foliation,Adv. Math.,349(2019), 212–245
work page 2019
-
[9]
V. Ara´ ujo and P. Varandas, Robust exponential decay of correlations for singular-flows,Comm. Math. Phys.,311(2012), 215–246. Erratum,Comm. Math. Phys.,341(2016), no. 2, 729–731
work page 2012
- [10]
- [11]
-
[12]
V. Baladi and B. Vall´ ee, Exponential decay of correlations for surface semi-flows without finite Markov partitions,Proc. Amer. Math. Soc.,133(2005), 865–874
work page 2005
-
[13]
P. B´ alint, O. Butterley and I. Melbourne, Polynomial decay of correlations for flows, including Lorentz gas examples,Comm. Math. Phys.,368(2019), 55-111
work page 2019
-
[14]
L. Barreira and G. Iommi, Suspension flows over countable Markov shifts,J. Stat. Phys.,124(2006), no.1, 207–230
work page 2006
-
[15]
L. Barreira and Y. Pesin,Nonuniform hyperbolicity, volume 115 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 2007
work page 2007
-
[16]
L. Barreira and B. Saussol, Multifractal analysis of hyperbolic flows,Comm. Math. Phys.,214 (2000), no. 2, 339–371
work page 2000
-
[17]
S. Ben Ovadia, Symbolic dynamics for non-uniformly hyperbolic diffeomorphisms of compact smooth manifolds,J. Mod. Dyn.,13(2018), 43–113
work page 2018
-
[18]
C. Bonatti and A. da Luz, Star flows and multisingular hyperbolicity,J. Eur. Math. Soc. (JEMS), 23(2021), no. 8, 2649–2705
work page 2021
-
[19]
Bowen, Markov partitions for Axiom A diffeomorphisms,Amer
R. Bowen, Markov partitions for Axiom A diffeomorphisms,Amer. J. Math.,92(1970), 725–747
work page 1970
-
[20]
Bowen, Periodic points and measures for Axiom A diffeomorphisms,Trans
R. Bowen, Periodic points and measures for Axiom A diffeomorphisms,Trans. Amer. Math. Soc., 154(1971), 377–397
work page 1971
-
[21]
Bowen, Symbolic dynamics for hyperbolic flows,Amer
R. Bowen, Symbolic dynamics for hyperbolic flows,Amer. J. Math.,95(1973), 429–460
work page 1973
-
[22]
Bowen, Maximizing entropy for a hyperbolic flow,Math
R. Bowen, Maximizing entropy for a hyperbolic flow,Math. Systems Theory,7(1974), no. 4, 300–303
work page 1974
-
[23]
Bowen, Some systems with unique equilibrium states,Math
R. Bowen, Some systems with unique equilibrium states,Math. Systems Theory,8(1975), no. 3, 193–202
work page 1975
-
[24]
R. Bowen,Equilibrium states and the ergodic theory of Anosov diffeomorphisms, Lecture Notes in Math., 470, Springer-Verlag, Berlin, 2008. viii+75 pp
work page 2008
-
[25]
R. Bowen and P. Walters, Expansive one-parameter flows,J. Differential Equations,12(1972), 180–193. 87
work page 1972
-
[26]
D. Burguet, Maximal measure and entropic continuity of Lyapunov exponents forC r surface diffeo- morphisms with large entropy,Ann. Henri Poincar´ e,25(2024), no. 2, 1485–1510
work page 2024
-
[27]
D. Burguet, C. Luo and D. Yang, Effective SPR property for surface diffeomorphisms and three- dimensional vector fields,Preprint, 2025. arXiv:2512.03515
- [28]
- [29]
-
[30]
O. Butterley and K. War, Open sets of exponentially mixing Anosov flows,J. Eur. Math. Soc. (JEMS),22(2020), no. 7, 2253–2285
work page 2020
-
[31]
Buzzi, Intrinsic ergodicity of smooth interval maps,Israel J
J. Buzzi, Intrinsic ergodicity of smooth interval maps,Israel J. Math.,100(1997), 125–161
work page 1997
-
[32]
Buzzi, Subshifts of quasi-finite type,Invent
J. Buzzi, Subshifts of quasi-finite type,Invent. Math.,159(2005), no. 2, 369–406
work page 2005
- [33]
- [34]
- [35]
- [36]
-
[37]
J. Buzzi and T. Fisher, Entropic stability beyond partial hyperbolicity,J. Mod. Dyn.,7(2013), no. 4, 527–552
work page 2013
- [38]
- [39]
-
[40]
V. Climenhaga, G. Knieper, and K. War, Uniqueness of the measure of maximal entropy for geodesic flows on certain manifolds without conjugate points,Adv. Math.,376(2021), Paper No. 107452, 44 pp
work page 2021
-
[41]
V. Climenhaga and D. J. Thompson, Intrinsic ergodicity via obstruction entropies,Ergodic Theory Dynam. Systems,34(2014), no. 6, 1816–1831
work page 2014
-
[42]
Vaughn Climenhaga and D. J. Thompson, Unique equilibrium states for flows and homeomorphisms with non-uniform structure,Adv. Math.,303(2016), 745–799
work page 2016
-
[43]
V. Climenhaga, T. Fisher, and D. J. Thompson, Unique equilibrium states for Bonatti-Viana diffeo- morphisms,Nonlinearity,31(2018), no. 6, 2532–2570
work page 2018
- [44]
-
[45]
S. Crovisier, A. da Luz, D. Yang, and J. Zhang, On the notions of singular domination and (multi)singular hyperbolicity,Sci. China Math.,63(2020), no. 9, 1721–1744. 88
work page 2020
-
[46]
S. Crovisier and D. Yang, On the nonlinear Poincar´ e flow,Nonlinearity,38(2025), no. 3, Paper No. 035022, 25 pp
work page 2025
-
[47]
da Luz, Star flows with singularities of different indices,Preprint, 2018
A. da Luz, Star flows with singularities of different indices,Preprint, 2018. arXiv:1806.09011
-
[48]
D. Daltro and P. Varandas, Exponential decay of correlations for Gibbs measures and semiflows over C1+α piecewise expanding maps,Ann. Henri Poincar´ e,22(2021), no. 7, 2137–2159
work page 2021
-
[49]
Dolgopyat, On decay of correlations in Anosov flows,Ann
D. Dolgopyat, On decay of correlations in Anosov flows,Ann. of Math. (2),147(1998), no. 2, 357–390
work page 1998
-
[50]
Dolgopyat, Prevalence of rapid mixing in hyperbolic flows,Ergodic Theory Dynam
D. Dolgopyat, Prevalence of rapid mixing in hyperbolic flows,Ergodic Theory Dynam. Systems,18 (1998), no. 5, 1097–1114
work page 1998
- [51]
- [52]
- [53]
-
[54]
Gelfert, Horseshoes for diffeomorphisms preserving hyperbolic measures,Math
K. Gelfert, Horseshoes for diffeomorphisms preserving hyperbolic measures,Math. Z.,283(2016), 685–701
work page 2016
-
[55]
P. Giulietti, C. Liverani, M. Pollicott, Anosov flows and dynamical zeta functions,Ann. of Math. (2),178(2013), no. 2, 687–773
work page 2013
-
[56]
J. Guckenheimer, A strange, strange attractor, InThe Hopf Bifurcation Theorems and Its Applica- tions.Applied Mathematical Series, vol. 19. New York: Springer-Verlag, 368–381, 1976
work page 1976
-
[57]
J. Guckenheimer and R. F. Williams, Structural stability of Lorenz attractors,Inst. Hautes ´Etudes Sci. Publ. Math., No.50(1979), 59–72
work page 1979
-
[58]
B. M. Gurevich, Shift entropy and Markov measures in the space of paths of a countable graph, Dokl. Akad. Nauk SSSR,192(1970), 963–965
work page 1970
-
[59]
B. M. Gurevich, Stably recurrent nonnegative matrices,Uspekhi Mat. Nauk,51(1996), no. 3(309), 195–196; translation inRussian Math. Surveys51(1996), no. 3, 551–552
work page 1996
-
[60]
B. M. Gurevich and S. V. Savchenko, Thermodynamic formalism for symbolic Markov chains with a countable number of states,Uspekhi Mat. Nauk,53(1998), no. 2(320), 3–106; translation inRussian Math. Surveys53(1998), no. 2, 245–344
work page 1998
-
[61]
B. M. Gurevich and A. S. Zargaryan, Conditions for the existence of a maximal measure for a countable symbolic Markov chain,Vestnik Moskov. Univ. Ser. I Mat. Mekh., (1988), no. 5, 14–18, 103; translation inMoscow Univ. Math. Bull.,43(1988), no. 5, 18–23
work page 1988
-
[62]
Hayashi, Diffeomorphisms inF 1(M) satisfy Axiom A,Ergodic Theory Dynam
S. Hayashi, Diffeomorphisms inF 1(M) satisfy Axiom A,Ergodic Theory Dynam. Systems,12(1992), no. 2, 233–253
work page 1992
-
[63]
F. Hofbauer, On intrinsic ergodicity of piecewise monotonic transformations with positive entropy, Israel J. Math.,34(1979), no. 3, 213–237
work page 1979
-
[64]
G. Iommi and A. Velozo, Measures of maximal entropy for suspension flows,Math. Z.,297(2021), no. 3-4, 1473–1482. 89
work page 2021
-
[65]
Katok, Lyapunov exponents, entropy and periodic orbits for diffeomorphisms,Publ
A. Katok, Lyapunov exponents, entropy and periodic orbits for diffeomorphisms,Publ. Math. Inst. Hautes ´Etudes Sci.,51(1980), 137–173
work page 1980
-
[66]
M. Kunzinger, H. Schichl, R. Steinbauer, and J. A. Vickers, Global Gronwall estimates for integral curves on Riemannian manifolds,Rev. Mat. Complut.,19(2006), no. 1, 133–137
work page 2006
-
[67]
F. Ledrappier, Y. Lima, and O. Sarig, Ergodic properties of equilibrium measures for smooth three dimensional flows,Comment. Math. Helv.,91(2016), no. 1, 65–106
work page 2016
- [68]
-
[69]
M. Li, S. Gan and L. Wen, Robustly transitive singular sets via approach of an extended linear Poincar´ e flow,Discrete Contin. Dyn. Syst.,13(2005), no. 2, 239–269
work page 2005
-
[70]
M. Li, C. Liang and X. Liu, A closing lemma for non-uniformly hyperbolic singular flows,Comm. Math. Phys.,405(2024), no. 8, Paper No. 195, 35 pp
work page 2024
-
[71]
M. Li, Y. Shi, S. Wang and X. Wang, Measures of intermediate entropies for star vector fields,Israel J. Math.,240(2020), no. 2, 791–819
work page 2020
-
[72]
M. Li, F. Yang, J. Yang and R. Zheng, A countable partition for singular flow based on filtration structure: construction and application,Preprint, 2024
work page 2024
-
[73]
Z. Lian, L.-S. Young, Lyapunov exponents, periodic orbits, and horseshoes for semiflows on Hilbert spaces,J. Am. Math. Soc.,25(2012), no. 3, 637–665
work page 2012
-
[74]
S. Liao, Certain ergodic properties of a differential system on a compact differentiable manifold, Front. Math. China,1(2006), no. 1, 1–52
work page 2006
-
[75]
Liao, A basic property of a certain class of differential systems,Acta Math
S. Liao, A basic property of a certain class of differential systems,Acta Math. Sinica,22(1979), no. 3, 316–343
work page 1979
-
[76]
Liao, Obstruction sets.(II),Beijing Daxue Xuebao, (1981), no.2, 1–36
S. Liao, Obstruction sets.(II),Beijing Daxue Xuebao, (1981), no.2, 1–36
work page 1981
-
[77]
S. Liao, Some uniformity properties of ordinary differential systems and a generalization of an exis- tence theorem for periodic orbits,Beijing Daxue Xuebao, (1985), no. 2, 1–19
work page 1985
-
[78]
Liao, On (η, d)-contractible orbits of vector fields,Systems Sci
S. Liao, On (η, d)-contractible orbits of vector fields,Systems Sci. Math. Sci.,2(1989), no. 3, 193– 227
work page 1989
-
[79]
Lima, Symbolic dynamics for one dimensional maps with nonuniform expansion,Ann
Y. Lima, Symbolic dynamics for one dimensional maps with nonuniform expansion,Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire,37(2020), no. 3, 727–755
work page 2020
-
[80]
Y. Lima and C. Matheus, Symbolic dynamics for non-uniformly hyperbolic surface maps with dis- continuities,Ann. Sci. ´Ec. Norm. Sup´ er (4),51(2018), no. 1, 1-38
work page 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.