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
- arXiv Links
- Abstract ↗PDF ↗
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.