2208.11837
Hausdorff Dimension of Closure of Cycles in d-Maps on the Circle
Nicholas Payne, Mrudul Thatte
correctmedium confidence
- Category
- Not specified
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves dimH(Em,d) = log m / log d via a lower bound using a Cantor-type subset and an upper bound by counting and covering precycles. It also establishes deg(C) = η(C) (crossing number) and the inequality η(C) ≤ dig(C) (number of distinct first digits used). The candidate solution incorrectly claims deg(C) equals the number of distinct digits used in the periodic word and consequently misidentifies Em,d as the union of digit-restricted d-adic sets. That equality is false in general (e.g., the 2-cycle {1/3, 2/3} for d=2 uses two digits but has degree 1). Although the candidate’s final dimension formula matches the paper, the core argument is flawed.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions \textbf{Journal Tier:} specialist/solid \textbf{Justification:} The paper successfully proves McMullen's conjecture with a coherent blend of combinatorial dynamics and geometric measure theory. The definitions (degree, crossing number, digit portrait) and the two-sided dimension bounds are well-motivated and appear sound. Some expository refinements, especially around the counting/covering arguments and illustrative examples differentiating crossings from digit usage, would further enhance clarity.