pith. sign in

arxiv: 2604.25881 · v1 · submitted 2026-04-28 · 🧮 math.DS

Every finite horizon Sinai billiard map has a unique measure of maximal entropy

Vaughn Climenhaga , Jason Day This is my paper

Pith reviewed 2026-05-07 14:26 UTC · model grok-4.3

classification 🧮 math.DS
keywords Sinai billiardsmeasure of maximal entropythermodynamic formalismuniformly hyperbolic systemsone-sided subshiftsHausdorff measuressystems with singularities
0
0 comments X

The pith

Every finite horizon Sinai billiard map has a unique measure of maximal entropy obtained as the product of Hausdorff measures on its one-sided subshifts.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that finite horizon Sinai billiard maps, which are uniformly hyperbolic but have singularities, always possess a unique measure of maximal entropy. Previous results required an extra sparse recurrence condition on the billiard table, but this work removes that assumption with a new proof. The unique measure is built concretely as the product of Hausdorff measures on the one-sided subshifts tied to the map. This matters because it completes the basic thermodynamic description for these classic examples of chaotic billiards, allowing entropy to be analyzed without restrictive geometric assumptions on the table.

Core claim

The paper proves that every finite horizon Sinai billiard map admits a unique measure of maximal entropy. The construction is explicit: the measure is the product of the Hausdorff measures on the one-sided subshifts associated to the billiard map. This holds without assuming the sparse recurrence condition that was needed in earlier work.

What carries the argument

The product of the Hausdorff measures on the one-sided subshifts associated to the billiard map, which serves as the explicit construction of the unique measure of maximal entropy.

If this is right

  • The variational principle for the entropy holds for all finite horizon Sinai billiard maps.
  • The sparse recurrence condition is unnecessary for proving uniqueness of the MME.
  • The MME can be constructed directly from the subshifts for any such billiard table.
  • Thermodynamic formalism applies to the full class of finite horizon Sinai billiards.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This explicit construction may enable direct computation of the topological entropy for specific billiard geometries.
  • The approach could generalize to other uniformly hyperbolic maps with singularities where subshifts can be defined.
  • Removing the sparse recurrence requirement broadens the applicability of uniqueness results in ergodic theory for billiards.

Load-bearing premise

The one-sided subshifts associated with the billiard map are well-defined and their Hausdorff measures produce a measure of maximal entropy for the billiard dynamics.

What would settle it

A specific finite horizon Sinai billiard table for which the product of the subshift Hausdorff measures fails to achieve the supremum entropy, or for which a different invariant measure achieves strictly higher entropy.

Figures

Figures reproduced from arXiv: 2604.25881 by Jason Day, Vaughn Climenhaga.

Figure 1.1
Figure 1.1. Figure 1.1: Trajectories of a particle on a billiard table. 1.2. Sinai billiards. The Sinai billiard flow described informally in the previous section is illustrated in view at source ↗
Figure 1.2
Figure 1.2. Figure 1.2: Phase space for the billiard map. The billiard map T : M → M is illustrated in view at source ↗
Figure 1.3
Figure 1.3. Figure 1.3: The billiard map and its cones. Throughout the arguments, we will use the hyperbolicity properties of the bil￾liard map, especially the invariant cones for DT : TM → TM. Since elements of M are represented by pairs (r, φ), it is common to represent elements of TxM by pairs (dr, dφ) ∈ R 2 . In these coordinates, one can present invariant cones for DT. Start by letting Kmin and Kmax denote the minimum and … view at source ↗
Figure 1.4
Figure 1.4. Figure 1.4: The partition P on a connected component Mi ⊂ M. Let P be the finite partition of M into the maximal connected sets on which both T and T −1 are continuous; part of this partition is shown in view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: Elements of S1 are component curves of TS0. Lemma 3.4 (Noncrossing). (a) If V, W ∈ Sn are components of T nS0, then V ∩ W ⊂ ∂V ∪ ∂W: any inter￾section point x must be an endpoint of either V or W. (b) If W ∈ Sn is a component of T nS0 and x ∈ W ∩ T kS0 for some 0 ≤ k < n, then x ∈ ∂W. Proof. For the first claim, suppose that x ∈ W◦ ∩ V . Since W◦ = T nS for some connected component S of S0 \ S′ n , there… view at source ↗
Figure 3.2
Figure 3.2. Figure 3.2: Tangential collisions blocked by a scatterer. There could be multiple scatterers that are tangent to the trajectory from Bi to Bj associated to T −1x, but one of them must be closest to Bj ; we will call this scatterer Bk. Because x ∈ ∂W, it follows that T −1x ∈ ∂Mk. There must be a V ⊂ S0 such that T −1x ∈ V ◦ and we get T V ⊂ Mj and x ∈ (T V ) ◦ . We proceed by induction, and assume the statement holds… view at source ↗
Figure 3.3
Figure 3.3. Figure 3.3: The shaded region is the intersection of a cell of M0 −1 and a cell of M1 0 . Remark 3.14. If we coded by cells of M0 −1 or of M1 0 instead of M1 −1 , then the above proof would fail in the last paragraph, because Iw ∩ Ia might not be an interval view at source ↗
Figure 3.4
Figure 3.4. Figure 3.4: Nongrazing collisions can limit on a grazing collision, resulting in tangential trajectories with multiple codings, some of which “miss” one or more symbols in the sequence. In addition to the problem pointed out in Remark 3.16, the map π is not injective on X. The second part of view at source ↗
Figure 3.5
Figure 3.5. Figure 3.5: A solid rectangle. Definition 3.18. A solid rectangle is a closed and connected region D ⊂ M that is bounded by two nontrivial stable manifolds Ws 1 , Ws 2 and two nontrivial unstable manifolds Wu 1 , Wu 2 with the property that each Ws i intersects each Wu j in a point which is interior to both curves; see view at source ↗
Figure 3.6
Figure 3.6. Figure 3.6: Crossing of an image of a subcurve of V . Proposition 3.19 (Sufficient rectangles). There exists a countable cover R of Mreg by Cantor rectangles such that for every δ > 0 and every R0 ∈ R, there are R1, . . . , Rℓ ∈ R that are δ-sufficient in the following sense: there exists N ∈ N such that for every V ∈ Vu δ = {V ∈ Vu : |V | ≥ δ}, we have the behavior shown in view at source ↗
Figure 3
Figure 3. Figure 3: , namely view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: Lower bound on the average length of a curve. For every w ∈ Gρ k (V ), we have |T kVw| ≥ ρ by definition. Moreover, since the curves {Vw : w ∈ Gρ k (V )} have disjoint interiors, we have P w∈Gρ k (V ) |T nVw| ≤ |T nV |, and we conclude that #L V n ≤ C6|T nV | e −γn |V | + 1 ρ Xn k=1 e −γ(n−k)  ≤ 2C6|T nV | max e −γn|V | −1 , (1 − e −γ ) −1 ρ −1  . Taking b2 = (2C6) −1 and b1 = b2ρ(1 − e −γ ), this pro… view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: Cells in Ik and I c k . Lemma 4.17. There exists C7 > 0 such that for every k ∈ N, we have #S ′ k ≤ C7 and #Ik ≤ C7. Proof. Consider the following (finite) set of points: (4.13) F := [ {V ∩ W : V, W ∈ S1, V ̸= W}. Let K be as in Lemma 3.7, so that at most K components of S1 meet at any single point in F, and let C7 := (K + 1)(#F). Observe that if V ∈ Sk intersects some other W ∈ Sk at a point x, then x ∈… view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: Proving that Ws and Wu are jointly ergodic. Let Bi := (σ N (Vi) ∩ R) \ G for i = 1, 2. Since m+ x (V1 \ G) = 0, we can use the invariance of G and the scaling properties of m+ from Proposition 2.2 to conclude that m+ q (B1) = m+ q (σ N (V1 \ G)) = 0, and similarly, m+ s (B2) = 0. By Lemma 2.14, this implies that m+ z (πq,z(B1) ∪ πs,z(B2)) = 0. Since m+ z (R) > 0, there exists z ′ ∈ (Wu loc(z) ∩ R) \ (πq,… view at source ↗
read the original abstract

Finite horizon Sinai billiard maps are examples of uniformly hyperbolic systems with singularities. These discontinuities make it more difficult to develop the classical theory of thermodynamic formalism. Nevertheless, Baladi and Demers established a variational principle for these systems, and proved that if the billiard table satisfies a certain sparse recurrence condition, then there is a unique measure of maximal entropy. We extend this existence and uniqueness result to all finite horizon Sinai billiard maps by giving a new proof that does not rely on the sparse recurrence condition. Our construction is very concrete: the unique MME is obtained as the product of the Hausdorff measures on the one-sided subshifts associated to the billiard map.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper proves that every finite horizon Sinai billiard map admits a unique measure of maximal entropy (MME). The authors give a new proof that constructs this MME explicitly as the product of the Hausdorff measures on the one-sided subshifts associated to the billiard map, thereby extending the variational principle of Baladi-Demers to all such systems without requiring the sparse recurrence condition.

Significance. If the result holds, it supplies a concrete, parameter-free construction of the unique MME directly from Hausdorff measures on the natural one-sided subshifts. This explicit product structure, which is shown to be invariant, ergodic, and entropy-maximizing, strengthens the thermodynamic formalism for uniformly hyperbolic maps with singularities and removes a technical obstruction that limited prior results to a subclass of tables.

minor comments (2)
  1. [Abstract / Introduction] The abstract states that the subshifts are 'associated to the billiard map' but does not immediately indicate whether they arise from a standard Markov partition or a different coding; a single clarifying sentence in the introduction would help readers unfamiliar with the coding.
  2. [§2] Notation for the one-sided versus two-sided subshifts is used throughout; a short table or diagram in §2 comparing the two would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending acceptance. The referee's summary correctly identifies the main result and its relation to the work of Baladi and Demers.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation constructs the MME explicitly as the product of Hausdorff measures on one-sided subshifts coded from the billiard map via standard Markov partitions. This is a direct, non-fitted definition that is then verified to be invariant, ergodic, and entropy-maximizing for any finite-horizon Sinai billiard (uniform hyperbolicity with singularities). The argument does not reduce any central claim to a self-citation chain, a fitted parameter renamed as prediction, or an ansatz imported from the authors' prior work; the sparse-recurrence condition is explicitly bypassed rather than assumed. The construction is self-contained against external benchmarks of topological entropy and measure theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard domain assumptions for Sinai billiards and symbolic dynamics; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Finite horizon Sinai billiards are uniformly hyperbolic with singularities
    This is the standard setup stated in the abstract for the systems under study.
  • domain assumption The one-sided subshifts associated to the billiard map admit Hausdorff measures that realize the measure of maximal entropy
    Invoked directly in the construction of the unique MME.

pith-pipeline@v0.9.0 · 5404 in / 1369 out tokens · 69494 ms · 2026-05-07T14:26:27.435701+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

  1. [1]

    Demers, Measure of maximal entropy for finite horizon S inai billiard flows , Ann

    Viviane Baladi, J\'er\^ome Carrand, and Mark F. Demers, Measure of maximal entropy for finite horizon S inai billiard flows , Ann. H. Lebesgue 7 (2024), 727--747. 4799908

    work page 2024

  2. [2]

    L. A. Bunimovich, Nikolai Chernov, and Yakov Sinai, Statistical properties of two-dimensional hyperbolic billiards, Russian Mathematical Surveys 46 (1991), no. 4, 47--106

    work page 1991

  3. [3]

    Demers, On the measure of maximal entropy for finite horizon S inai billiard maps , J

    Viviane Baladi and Mark F. Demers, On the measure of maximal entropy for finite horizon S inai billiard maps , J. Amer. Math. Soc. 33 (2020), no. 2, 381--449. 4073865

    work page 2020

  4. [4]

    Blanchard and G

    F. Blanchard and G. Hansel, Syst\`emes cod\'es, Theoret. Comput. Sci. 44 (1986), no. 1, 17--49. 858689

    work page 1986

  5. [5]

    Rufus Bowen, Topological entropy for noncompact sets, Trans. Amer. Math. Soc. 184 (1973), 125--136. 0338317

    work page 1973

  6. [6]

    470, Springer-Verlag, Berlin, 2008, With a preface by David Ruelle, Edited by Jean-Ren\'e Chazottes

    , Equilibrium states and the ergodic theory of A nosov diffeomorphisms , revised ed., Lecture Notes in Mathematics, vol. 470, Springer-Verlag, Berlin, 2008, With a preface by David Ruelle, Edited by Jean-Ren\'e Chazottes. 2423393

    work page 2008

  7. [7]

    2, 427--466

    Vaughn Climenhaga and Jason Day, Equilibrium measures for two-sided shift spaces via dimension theory, Ergodic Theory and Dynamical Systems 45 (2025), no. 2, 427--466

    work page 2025

  8. [8]

    Demers, Yuri Lima, and Hongkun Zhang, Lyapunov exponents and nonadapted measures for dispersing billiards, Communications in Mathematical Physics 405 (2024), no

    Vaughn Climenhaga, Mark F. Demers, Yuri Lima, and Hongkun Zhang, Lyapunov exponents and nonadapted measures for dispersing billiards, Communications in Mathematical Physics 405 (2024), no. 2, Article 24

    work page 2024

  9. [9]

    N. I. Chernov, Sinai billiards under small external forces, Ann. Henri Poincar\' e 2 (2001), no. 2, 197--236. 1832968

    work page 2001

  10. [10]

    2, 1660003

    Yves Coud\` e ne, Boris Hasselblatt, and Serge Troubetzkoy, Multiple mixing from weak hyperbolicity by the H opf argument , Stochastics and Dynamics 16 (2016), no. 2, 1660003

    work page 2016

  11. [11]

    Systems 31 (2011), no

    Vaughn Climenhaga, Bowen's equation in the non-uniform setting, Ergodic Theory Dynam. Systems 31 (2011), no. 4, 1163--1182. 2818690

    work page 2011

  12. [12]

    Press, Cambridge, 2024, pp

    , S RB and equilibrium measures via dimension theory , A vision for dynamics in the 21st century---the legacy of A natole K atok, Cambridge Univ. Press, Cambridge, 2024, pp. 94--138. 4685041

    work page 2024

  13. [13]

    127, American Mathematical Society, Providence, RI, 2006

    Nikolai Chernov and Roberto Markarian, Chaotic billiards, Mathematical Surveys and Monographs, vol. 127, American Mathematical Society, Providence, RI, 2006. 2229799

    work page 2006

  14. [14]

    Vaughn Climenhaga, Yakov Pesin, and Agnieszka Zelerowicz, Equilibrium states in dynamical systems via geometric measure theory, Bull. Amer. Math. Soc. (N.S.) 56 (2019), no. 4, 569--610. 4007162

    work page 2019

  15. [15]

    , Equilibrium measures for some partially hyperbolic systems, Journal of Modern Dynamics 16 (2020), 155--205

    work page 2020

  16. [16]

    1-2, 193--202

    Nikolai Chernov and Serge Troubetzkoy, Measures with infinite L yapunov exponents for the periodic L orentz gas , Journal of Statistical Physics 83 (1996), no. 1-2, 193--202

    work page 1996

  17. [17]

    Thompson, Intrinsic ergodicity beyond specification: -shifts, S -gap shifts, and their factors , Israel J

    Vaughn Climenhaga and Daniel J. Thompson, Intrinsic ergodicity beyond specification: -shifts, S -gap shifts, and their factors , Israel J. Math. 192 (2012), no. 2, 785--817. 3009742

    work page 2012

  18. [18]

    2290, Springer, 2021, arXiv:2009.09256

    Vaughn Climenhaga and Daniel J.\ Thompson, Beyond B owen's specification property , Thermodynamic Formalism: CIRM Jean-Morlet Chair, Fall 2019 (Mark Pollicott and Sandro Vaienti, eds.), Lecture Notes in Mathematics, vol. 2290, Springer, 2021, arXiv:2009.09256

    work page arXiv 2019

  19. [19]

    Jeffrey Diller, Romain Dujardin, and Vincent Guedj, Dynamics of meromorphic mappings with small topological degree II : E nergy and invariant measure , Comment. Math. Helv. 86 (2011), no. 2, 277--316. 2775130

    work page 2011

  20. [20]

    259, Springer-Verlag London, Ltd., London, 2011

    Manfred Einsiedler and Thomas Ward, Ergodic theory with a view towards number theory, Graduate Texts in Mathematics, vol. 259, Springer-Verlag London, Ltd., London, 2011. 2723325

    work page 2011

  21. [21]

    Systems Theory 1 (1967), 1--49

    Harry Furstenberg, Disjointness in ergodic theory, minimal sets, and a problem in D iophantine approximation , Math. Systems Theory 1 (1967), 1--49. 213508

    work page 1967

  22. [22]

    101, American Mathematical Society, Providence, RI, 2003

    Eli Glasner, Ergodic theory via joinings, Mathematical Surveys and Monographs, vol. 101, American Mathematical Society, Providence, RI, 2003. 1958753

    work page 2003

  23. [23]

    54, Cambridge University Press, Cambridge, 1995, With a supplementary chapter by Katok and Leonardo Mendoza

    Anatole Katok and Boris Hasselblatt, Introduction to the modern theory of dynamical systems, Encyclopedia of Mathematics and its Applications, vol. 54, Cambridge University Press, Cambridge, 1995, With a supplementary chapter by Katok and Leonardo Mendoza. 1326374

    work page 1995

  24. [24]

    ukasz Krzywo \'n , Adapted measures for M arkov interval maps , arXiv:2506.14971, 2025

    work page arXiv 2025

  25. [25]

    , Entropy density of ergodic nonadapted measures for M arkov interval maps , arXiv:2602.18366, 2026

    work page arXiv 2026

  26. [26]

    Ledrappier, and F

    Anatole Katok, Jean-Marie Strelcyn, F. Ledrappier, and F. Przytycki, Invariant manifolds, entropy and billiards; smooth maps with singularities, Lecture Notes in Mathematics, vol. 1222, Springer-Verlag, Berlin, 1986. 872698

    work page 1986

  27. [27]

    Yuri Lima and Carlos Matheus, Symbolic dynamics for non-uniformly hyperbolic surface maps with discontinuities, Ann. Sci. \'Ec. Norm. Sup\'er. (4) 51 (2018), no. 1, 1--38. 3764037

    work page 2018

  28. [28]

    Douglas Lind and Brian Marcus, An introduction to symbolic dynamics and coding, second ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 2021. 4412543

    work page 2021

  29. [29]

    William Parry, Intrinsic M arkov chains , Trans. Amer. Math. Soc. 112 (1964), 55--66. 161372

    work page 1964

  30. [30]

    V. A. Rohlin, On the fundamental ideas of measure theory, Amer. Math. Soc. Translation 1952 (1952), no. 71, 55. 0047744

    work page 1952

  31. [31]

    Sarig, Symbolic dynamics for surface diffeomorphisms with positive entropy, J

    Omri M. Sarig, Symbolic dynamics for surface diffeomorphisms with positive entropy, J. Amer. Math. Soc. 26 (2013), no. 2, 341--426. 3011417

    work page 2013

  32. [32]

    Simpson, Symbolic dynamics: entropy = dimension = complexity, Theory Comput

    Stephen G. Simpson, Symbolic dynamics: entropy = dimension = complexity, Theory Comput. Syst. 56 (2015), no. 3, 527--543. 3334259

    work page 2015

  33. [33]

    2, 137--189

    Yakov G Sinai, Dynamical systems with elastic reflections, Russian Mathematical Surveys 25 (1970), no. 2, 137--189

    work page 1970

  34. [34]

    151, Cambridge University Press, Cambridge, 2016

    Marcelo Viana and Krerley Oliveira, Foundations of ergodic theory, Cambridge Studies in Advanced Mathematics, vol. 151, Cambridge University Press, Cambridge, 2016. 3558990

    work page 2016

  35. [35]

    79, Springer-Verlag, New York-Berlin, 1982

    Peter Walters, An introduction to ergodic theory, Graduate Texts in Mathematics, vol. 79, Springer-Verlag, New York-Berlin, 1982. 648108

    work page 1982