Back to search
2103.14309

PERIODIC POINTS AND SHADOWING PROPERTY FOR GENERIC LEBESGUE MEASURE PRESERVING INTERVAL MAPS

Jozef Bobok, Jernej Činč, Piotr Oprocha, Serge Troubetzkoy

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

Audit review

The uploaded paper’s Theorem 1 states exactly the five claims about Fix(f,k), Per(f,k), and Per(f) for a generic f ∈ Cλ(I) and every k ≥ 1, including Cantor structure and the precise Hausdorff/lower-box/upper-box dimension statements. The paper also records that (Cλ(I), ρ) is complete, enabling the Baire-category framework. The candidate solution cites this theorem directly and notes the standard identity Fix(f,k) = ⋃_{d|k} Per(f,d) and the countable intersection over k to get simultaneity. Hence the model’s solution and the paper are aligned and effectively the same proof strategy via citation to Theorem 1 and Baire-category arguments.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The paper delivers clear, correct, and apparently novel generic results about the structure and dimensions of periodic point sets for Lebesgue measure-preserving interval maps. The methods (measure-preserving window perturbations, careful coverings) are well-motivated and appear sound. Proofs are technical but readable, and the results sit naturally within the Oxtoby–Ulam/Halmos approximation tradition. Minor expository clarifications (e.g., emphasizing the final countable intersection over k) would further aid readers.