Back to search
2406.19828

Ergodic Optimization for Continuous Functions on the Dyck-Motzkin Shifts

Mao Shinoda, Hiroki Takahasi, Kenichiro Yamamoto

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

Audit review

The uploaded paper proves exactly the three items in question for Dyck–Motzkin shifts: generic zero-entropy maximizers (Theorem A(a)), a dense set of potentials with uncountably many fully supported Bernoulli maximizers (Theorem A(b)), and path connectedness plus local path connectedness of the ergodic-measure space (Theorem B). The model’s solution explicitly invokes and sketches the same ingredients: density of periodic (CO) measures, abundance of high-complexity paths, and an Israel/Bishop–Phelps tangency scheme, mirroring the paper’s proofs. Minor presentation differences (e.g., the model’s optional “piecewise homeomorphism” remark and a direct separation argument for (A)(a)) do not alter correctness. See Theorem A and its proof outline, including use of CO-measure density and Morris’s result, and the construction of high-complexity paths leading to Theorem B in the paper .

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

This work establishes generic zero-entropy maximizing measures and, densely, uncountably many fully supported Bernoulli maximizers for Dyck–Motzkin shifts, and further proves that the space of ergodic measures is both path connected and locally path connected. The proofs combine careful symbolic constructions (CO-measure density, Borel embeddings, and transport) with a robust convex-analytic tangent-functional scheme (Israel/Bishop–Phelps), yielding results that were unavailable for these non-Markov, non-intrinsically-ergodic systems. The arguments are technically sound and well integrated; minor expository enhancements would further improve accessibility.