Construction of equilibrium states revisited

Basic Information

• Paper ID: 2510.14313
• Title: Construction of equilibrium states revisited
• Authors: Changguang Dong, Qiujie Qiao
• Classification: math.DS (Dynamical Systems)
• Publication Date: October 16, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.14313

Abstract

This paper refines the abstract criterion established by Parmenter and Pollicott in 52, which provides a geometric construction of equilibrium states for a class of partially hyperbolic systems. The authors extend their criterion to a broader class of diffeomorphisms, including diffeomorphisms with exponential mixing properties (with respect to volume), Katok maps, and "almost Anosov" diffeomorphisms. As special cases, the authors obtain constructions of equilibrium states for ergodic partially hyperbolic affine maps/flows on homogeneous spaces without any restrictions on orbital growth in the center direction.

Research Background and Motivation

Core Problem

The existence and uniqueness of equilibrium states constitute a central problem in dynamical systems, yet currently only a limited class of systems is deeply understood. This paper primarily addresses the existence of equilibrium states for specific classes of partially hyperbolic diffeomorphisms and provides explicit geometric constructions.

Research Significance

1. Theoretical Importance: Equilibrium states are core concepts in the thermodynamic formalism of dynamical systems, connecting metric entropy and topological pressure
2. Methodological Innovation: Geometric methods are more direct than symbolic dynamics approaches, avoiding the complexity of Markov partitions
3. Broad Applicability: Results apply to various important dynamical systems, including non-uniformly hyperbolic systems

Limitations of Existing Methods

Traditional methods for constructing equilibrium states fall into three categories:

1. Markov Partition Method: Becomes extremely complex beyond non-uniform hyperbolicity
2. Regularity Property Method: Requires systems to satisfy strict regularity and expansiveness conditions
3. Geometric Method: Previously limited mainly to Lyapunov stable partially hyperbolic systems

Research Motivation

Inspired by unstable entropy theory, the authors pose three key questions:

• Question 1.1: Can one provide an explicit construction of F-equilibrium states?
• Question 1.2: Under what conditions is unstable topological pressure independent of the foliation?
• Question 1.3: Under what conditions does every local leaf admit a construction of F-equilibrium states?

Core Contributions

1. Extended the Parmenter-Pollicott Criterion: Generalized from Lyapunov stable systems to broader system classes satisfying conditions (C1)-(C3)
2. First Application of Geometric Methods to Non-uniformly Hyperbolic Systems: Including Katok maps and "almost Anosov" diffeomorphisms
3. Established Abstract Construction Criterion: Under conditions (C1)-(C3), equilibrium states can be constructed on arbitrary local unstable leaves
4. Proved Results for Exponentially Mixing Systems: Provided complete characterization for systems preserving smooth measures and mixing exponentially
5. Provided Concrete Applications: Detailed analysis of Katok maps and "almost Anosov" systems

Methodology in Detail

Basic Setup

Consider a diffeomorphism f: M → M on a closed Riemannian manifold M, defining three core conditions:

Condition (C1): System possesses unstable foliation structure

• For partially hyperbolic systems: consider unstable foliation W^u as the expanding foliation F
• For C^{1+α} systems: unstable stratification W^u integrates to an expanding foliation F

Condition (C2): Subexponential growth in center-stable directions For each ε > 0, there exists an increasing function g_ε: ℕ → ℝ satisfying lim_{n→∞} n^{-1}log g_ε(n) = 0, such that:

d^{cs}(y,z) ≤ εg_ε(n)^{-1} ⟹ d^{cs}(f^n y, f^n z) ≤ ε

Condition (C3): Strong mixing property For each x ∈ M and δ, ε > 0, there exists a function h^ε_{x,δ}: ℕ → ℕ satisfying lim_{n→∞} h^ε_{x,δ}(n)n^{-1} = 0, such that:

f^{h^ε_{x,δ}(n)}(W^u(x,δ)) ∩ W^{cs}(y, εg_ε(n)^{-1}) ≠ ∅

Core Construction Method

Construction Process of Theorem 1.1:

1. Define Weighted Measures: Construct probability measures λ_n on W^u(x,δ) with density:

   dλ_n/dλ_{W^u(x,δ)}(y) = exp(S_n(φ-Φ^u)(y)) / ∫_{W^u(x,δ)} exp(S_n(φ-Φ^u)(z))dλ_{W^u(x,δ)}(z)
   

   
   where Φ^u(x) = -log|det(Df|E^u_x)|
2. Time Averaging: Define

   μ_n = (1/n)∑_{k=0}^{n-1} (f^k)_* λ_n
   

3. Take Weak Limit*: Any accumulation point of μ_n is an equilibrium state for φ

Technical Innovations

1. Unified Framework: Conditions (C1)-(C3) uniformly handle partially hyperbolic and non-uniformly hyperbolic systems
2. Geometric Intuition: Directly construct measures on unstable leaves, avoiding symbolic encoding
3. Flexibility: Does not require Lyapunov stability, allowing non-trivial growth in center directions
4. Verifiability: Conditions (C1)-(C3) are readily verifiable for concrete systems

Theoretical Analysis

Unstable Entropy Theory

Introduce the concept of unstable entropy for expanding foliation F:

• F-unstable Entropy: h^F_μ(f) = sup_{η∈P^F} h_μ(f|η)
• F-topological Pressure: P^F_(f,φ) = sup_{x∈M} P^F_(f,φ,W^F(x,δ))
• F-equilibrium State: A measure μ satisfying P^F_(f,φ) = h^F_μ(f) + ∫φdμ

Key Lemmas

Lemma 4.1: Integral representation of pressure

P^F_{top}(f,φ,W^F(x,δ)) = lim_{n→∞} (1/n)log(∫_{W^F_δ(x)} e^{S_n(φ-Φ^F)(y)} dλ_{W^F_δ(x)}(y))

Theorem 5.1: Under conditions (C1)-(C3), for arbitrary x ∈ M and δ > 0:

P_{top}(f,φ) = P^F_{top}(f,φ,W^F(x,δ))

Concrete Applications

Exponentially Mixing Systems (Theorem 1.2)

For systems preserving smooth measures μ and mixing exponentially, if conditions (C1)-(C2) are satisfied and W^{cs} has C^1 leaves, then Theorem 1.1 holds.

Proof Strategy:

• Use exponential mixing property to verify condition (C3)
• Key step: prove sufficient transversality of expanding sets
• Apply Lipschitz approximation techniques for characteristic functions

Katok Maps (Theorem 1.3)

Katok maps are smooth non-uniformly hyperbolic diffeomorphisms on T^2, constructed by local perturbation of linear Anosov maps near the origin.

Verification of Conditions:

• (C1): Inherits unstable foliation structure from linear map
• (C2): Utilizes Lipschitz property of conjugacy map
• (C3): Uses topological transitivity and local product structure

Special Result: For geometric potential φ = -log|DG_{T^2}|E^u(x)|, any weak* limit is a convex combination of the Dirac measure δ_0 (at the origin) and Lebesgue measure m.

"Almost Anosov" Diffeomorphisms (Theorem 1.4)

These systems are hyperbolic everywhere except at one point, introduced by Hu and Young.

System Properties:

• Hyperbolic everywhere except fixed point p
• At p: |Df_p v| = |v| for all v ∈ E^u_p
• At other points: |Df_x v| ≥ κ^u(x)|v| > |v|

Verification Strategy:

• Utilize density of weak unstable manifolds
• Use local product structure to ensure transversality
• Key lemma proves global reachability after sufficiently large time

Technical Details

Convergence of Measure Construction

Key steps in proving weak* convergence of μ_n:

1. Compactness: {μ_n} is precompact in the space of probability measures
2. Pressure Estimates: Establish integral representation of pressure using Lemma 4.1
3. Entropy Estimates: Use martingale property of conditional entropy
4. Limit Transfer: Apply upper semicontinuity of measures

Verification Techniques for Condition (C3)

Method for verifying condition (C3) in exponentially mixing systems:

1. Set Expansion: Slightly enlarge original set to ensure positive volume
2. Lipschitz Approximation: Approximate characteristic functions by Lipschitz functions
3. Mixing Estimates: Apply exponential mixing property to obtain volume lower bounds
4. Parameter Selection: Carefully choose parameters to ensure validity of estimates

Comparison with Related Work

Relationship to Parmenter-Pollicott Work

• Extended Scope: Generalized from Lyapunov stable systems to systems satisfying (C1)-(C3)
• New Applications: First application to non-uniformly hyperbolic systems
• Technical Improvements: More flexible mixing conditions replacing strict stability requirements

Relationship to Climenhaga-Thompson Criterion

• Complementarity: CT criterion based on regularity properties; this paper uses geometric methods
• Applicability: CT criterion applies to Mañé and Bonatti-Viana examples; this paper's criterion applies to different system types
• Unification: Both methods may yield identical results in certain cases

Conclusions and Future Directions

Main Achievements

1. Established unified framework for geometric construction of equilibrium states
2. First successful application of geometric methods to non-uniformly hyperbolic systems
3. Provided explicit construction methods for important concrete systems

Limitations

1. Verification of condition (C3) remains difficult for certain systems
2. Does not directly apply to Mañé diffeomorphisms and Bonatti-Viana examples
3. Constructed equilibrium states may not be unique

Future Directions

Question 1.1: Can one establish a modified criterion applicable to Mañé and Bonatti-Viana examples?

Question 1.2: For Katok maps, can one determine how the convex combination coefficients depend on parameters x and δ?

Research Directions:

1. Develop more general mixing conditions
2. Investigate uniqueness of equilibrium states
3. Explore connections with other construction methods

In-Depth Evaluation

Strengths

1. Theoretical Innovation: Significantly extends the applicability of geometric construction methods
2. Technical Depth: Cleverly combines measure theory, ergodic theory, and differential topology
3. Practical Application: Provides operable construction methods for important concrete systems
4. Clear Exposition: Well-structured paper with complete technical details

Weaknesses

1. Condition Complexity: Verification of conditions (C1)-(C3) may be difficult in practical applications
2. Coverage Limitations: Important system classes (such as Mañé examples) remain outside the framework
3. Absence of Uniqueness: Construction method does not guarantee uniqueness of equilibrium states

Impact Assessment

1. Academic Value: Provides important tools for dynamical systems theory
2. Methodological Contribution: Successful extension of geometric methods has exemplary significance
3. Future Research: Lays foundation for further investigation of non-uniformly hyperbolic systems

Technical Evaluation

The paper demonstrates high technical level with rigorous and complete proofs. Particularly, the treatment of exponentially mixing systems and verification of concrete examples showcase the authors' deep expertise. The geometric intuition of the methods facilitates understanding and application.

Overall Assessment: This is a high-quality mathematical paper achieving significant progress in equilibrium state construction theory. Despite certain limitations, its theoretical contributions and methodological innovations make it an important work in the dynamical systems field.