Slow entropy for abelian actions

Basic Information

• Paper ID: 1406.6423
• Title: Slow entropy for abelian actions
• Authors: Changguang Dong, Qiujie Qiao
• Classification: math.DS (Dynamical Systems)
• Publication Date: October 16, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/1406.6423

Abstract

This paper computes slow entropy-type invariants introduced by A. Katok and J.-P. Thouvenot for two main cases of higher-order smooth abelian actions: when the invariant measure is absolutely continuous and when it is hyperbolic. The article generalizes the Brin-Katok local entropy theorem to abelian actions in both aforementioned cases. Additionally, it is proven that for abelian actions, the transverse Hausdorff dimension is universal, depending only on the action itself rather than on any individual element within the action.

Research Background and Motivation

Importance of the Problem

1. Limitations of classical metric entropy: For higher-order abelian actions, classical metric entropy equals zero in most cases (unless certain or all transformations possess infinite metric entropy), making it ineffective for measuring the complexity of such systems.
2. Necessity of slow entropy: There is a need to find alternative entropy-type invariants to characterize the complexity of higher-order abelian actions. Slow entropy measures the exponential growth rate relative to the radius of balls in the action group rather than their volume.
3. Theoretical refinement: Although slow entropy has been defined in the literature 25 and further studied in 24, explicit computational formulas are lacking, particularly for more general types of abelian actions.

Limitations of Existing Methods

1. Inapplicability of Shannon-McMillan-Breiman theorem: For abelian actions, extensions of the SMB theorem involve faster denominator growth than required in this paper.
2. Lack of increasing partitions: It is impossible to construct increasing partitions for the action, thereby losing many powerful tools from partition theory.
3. Presence of zero Lyapunov exponents: In the non-hyperbolic measure case, it is difficult to control behavior in neutral directions.

Core Contributions

1. Slow entropy formula: For abelian actions with hyperbolic or absolutely continuous invariant measures, an explicit computational formula for slow entropy is provided: $sh_\mu(\alpha, p) = \sum_{i=1}^L \gamma_i \max_{t:p(t)\leq 1} \chi_i(t)$
2. Universality of transverse Hausdorff dimension: It is proven that $\gamma_i(t)$ as a function of $t$ is a non-negative constant on $\{t : \chi_i(t) \neq 0\}$ (Theorem 1.1).
3. Generalized Brin-Katok local entropy theorem: The classical Brin-Katok theorem is extended to the case of abelian actions (Theorem 1.3).
4. Equivalent definitions: In the appendix, it is proven that for smooth abelian actions, Hamming entropy coincides with Bowen entropy.

Detailed Methodology

Problem Setup

The study concerns locally free $\mathbb{R}^k$-actions $\alpha : \mathbb{R}^k \to \text{Diff}^{1+r}(M)$ on compact smooth manifolds $(M,d)$, where $\mu$ is an ergodic invariant Borel probability measure and $p$ is an arbitrary norm on $\mathbb{R}^k$.

Core Technical Framework

1. Lyapunov Decomposition Theory

Utilizing the multiplicative ergodic theorem, for abelian actions there exists a common tangent space decomposition: $TM = T^O \oplus \bigoplus_{i=1}^L E_i$ where $T^O$ is the orbit tangent distribution and $E_i$ are subspaces corresponding to Lyapunov exponents $\chi_i$.

2. Coarse Lyapunov Foliation

Coarse Lyapunov exponent equivalence classes are defined, and corresponding coarse Lyapunov foliations are constructed: $W^\chi := \bigcap_{\{t\in\mathbb{R}^d:\chi(t)>0\}} W^u_t$

3. Lyapunov Chart Construction

$(ε,l)$-charts $\{\Phi_x : x \in \tilde{\Gamma}\}$ are constructed to precisely control the geometric structure of Bowen balls in local coordinates.

Technical Innovations

1. Main Reduction Technique

Through suspension construction, $\mathbb{Z}^k$ actions are transformed into $\mathbb{R}^k$ actions, followed by selection of appropriate diffeomorphisms $f = \alpha(t)$ for analysis.

2. Improvements in Partition Theory

• Construction of measurable partitions subordinate to coarse Lyapunov foliations
• Utilization of conditional measures and foliated versions of entropy
• Development of combinatorial arguments applicable to abelian actions

3. Dimension Estimation Techniques

Combining the Bowen-Lebesgue density lemma of Ben Ovadia and Rodriguez Hertz, upper and lower bound estimates for Bowen ball measures are established.

Experimental Setup

Theoretical Verification Framework

This paper is primarily theoretical work, with results verified through rigorous mathematical proofs:

1. Hyperbolic case: Utilizing properties of unstable and stable foliations
2. Absolutely continuous case: Utilizing equivalence of volume forms
3. General verification: Through Lusin's theorem and ergodicity arguments

Technical Tools

• Multiplicative ergodic theorem
• Pesin theory
• Foliation theory
• Measure-theoretic methods

Experimental Results

Main Theoretical Results

Theorem 1.1 (Universality of Transverse Hausdorff Dimension)

$\gamma_i(t) \text{ is a non-negative constant on } \{t : \chi_i(t) \neq 0\}$

Theorem 1.2 (Slow Entropy Formula)

For hyperbolic or absolutely continuous measures: $sh_\mu(\alpha, p) = \sum_{i=1}^L \gamma_i \max_{t:p(t)\leq 1} \chi_i(t)$

Theorem 1.3 (Generalized Brin-Katok Theorem)

For $\mu$-almost all $x$: $\lim_{\epsilon\to 0} \lim_{n\to\infty} \frac{-\log \mu(B(\alpha, F^p_n, x, \epsilon))}{n} = \sum_{i=1}^L \gamma_i \max_{t:p(t)\leq 1} \chi_i(t)$

Effectiveness of Proof Strategy

1. Hyperbolic case: Successfully handled through refined rectangle estimates and combinatorial arguments
2. Absolutely continuous case: Results obtained directly through volume calculations
3. Universality proof: Established through induction and linearity arguments

Related Work

Development of Slow Entropy Theory

1. Katok (1980): Introduced similar concepts for individual diffeomorphisms
2. Katok-Thouvenot (1997): Defined slow entropy for abelian actions
3. Katok et al. (2014): Studied Cartan actions on tori

Related Entropy Theories

1. Ledrappier-Young formula: Classical metric entropy formula
2. Brin-Katok theorem: Characterization of local entropy
3. Dimension theory: Relationships between Hausdorff dimension and entropy

Position of This Work

This paper provides the first explicit formula for slow entropy of general smooth abelian actions, filling a theoretical gap.

Conclusions and Discussion

Main Conclusions

1. Successfully established slow entropy formulas for hyperbolic and absolutely continuous cases
2. Proven universality of transverse Hausdorff dimension
3. Extended the classical Brin-Katok theorem

Limitations

1. Measure restrictions: Only two special cases of measures are addressed
2. Smoothness requirements: $C^{1+r}$ smoothness is required
3. Technical limitations: Inability to construct increasing partitions restricts method applicability

Future Directions

The paper proposes three open problems:

1. Prove slow entropy formulas for general invariant measures
2. Extend to more general group actions
3. Establish SMB-type theorems for slow entropy

In-Depth Evaluation

Strengths

1. Significant theoretical contribution: First explicit slow entropy computational formula
2. Technical innovation: Development of new techniques applicable to abelian actions
3. Rigorous proofs: Complete and highly technical mathematical arguments
4. Deep results: Universality of transverse Hausdorff dimension is an important discovery

Weaknesses

1. Limited applicability: Only covers two special cases of measures
2. Technical complexity: Proofs are extremely complex with limited readability
3. Practical application: Real-world applicability of theoretical results requires further exploration

Impact

1. Academic value: Important contribution to dynamical systems theory
2. Subsequent research: Provides foundation for related problem investigations
3. Methodology: Developed techniques may apply to other problems

Applicable Scenarios

1. Complexity analysis of higher-order abelian group actions
2. Rigidity problems and orbit equivalence research
3. Study of smooth realization problems

References

The paper cites over 40 related references, primarily including:

• Katok's classical work on Lyapunov exponents and entropy
• Ledrappier-Young foundational theory on metric entropy
• Important advances in modern smooth ergodic theory
• Relevant results in dimension theory and foliation theory

Overall Assessment: This is a high-quality theoretical mathematics paper making important contributions to dynamical systems theory. Although highly technical and with limited scope, its theoretical value and methodological innovations are noteworthy. The paper establishes an important foundation for the development of slow entropy theory.