Back to search
2502.12269

ERGODIC OPTIMIZATION FOR BETA-TRANSFORMATIONS

Zelai Hao, Yinying Huang, Oliver Jenkinson, Zhiqiang Li

correctmedium confidence
Category
Not specified
Journal tier
Strong Field
Processed
Sep 28, 2025, 12:56 AM

Audit review

The uploaded paper proves exactly the four statements the model outlines: (A) for beta-numbers β, Lock_α(β) is open and dense (Theorem 1.1), (B) for non-emergent β, Lock_α(β) is open and dense (Theorem 1.2), (C) for emergent β, C0,α(I) equals Crit_α(β) ∪ cl(Lock_α(β)) (Theorem 1.4), and (D) the set of β for which typical periodic optimization holds is residual and full measure (Corollary 1.3). The paper’s strategy aligns with the model’s: replace Tβ by the upper beta-transformation Uβ so maximizing measures exist and “harmonize” with the beta-shift, prove a Mañé-type lemma with revealed versions, and invoke Contreras’ TPO theorem on open distance-expanding restrictions to Cantor subsystems. See the paper’s statements and proof sketches: the Uβ compactness/closure harmonization and equivalence with the shift model, Theorems 1.1, 1.2, 1.4, and Corollary 1.3; the role of the set Rα(β) built via simple β and open expanding restrictions; and the emergent set being meagre and null via the specified β-shifts linkage. The model’s outline is faithful to these arguments, with only small phrasing imprecisions (e.g., the open expanding restriction is on Tβ|Hγβ for simple γ, not Uβ).

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The manuscript establishes typically periodic optimization for beta-transformations in a precise, well-structured framework, including a sharp emergent/non-emergent dichotomy and a clean parameter-typicality result. The tools (upper beta-transformation harmonization, a Mañé lemma with one-sided revealed versions, and Contreras’ TPO on open distance-expanding restrictions) are well integrated. Only minor textual clarifications (map attribution in the local expanding setting and a likely typo) seem necessary.