2104.06562
THE DIFFERENCE BETWEEN THE HURWITZ CONTINUED FRACTION EXPRESSIONS OF A COMPLEX NUMBER AND ITS RATIONAL APPROXIMATIONS
Yubin He, Ying Xiong
correcthigh confidence
- Category
- math.DS
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves Theorems 1.1–1.2—namely dim_H E(ψ)=min(4/λ,2) and dim_P E(ψ)=2—via a careful cylinder/measure construction and a covering argument for W(ψ), with full details and auxiliary lemmas (definitions of E(ψ), W(ψ) and the stated results appear explicitly; the upper bound is obtained in Section 3.1; the lower bound is delivered in Section 3.3 using the sequences v_k, ṽ_k and the sets Γ_M(Q), I(r)) . By contrast, the model’s outline, though aiming for the same conclusion, makes a critical mistake when appending a large terminal digit: it claims the last large HCF digit only changes the denominator by a bounded factor and then applies the monotonicity of ψ in the wrong direction (asserting ψ(|q_n|) ≤ ψ(|q(r)|) despite |q(r)| ≥ |q_n|), so the key step |z−r| ≤ ψ(|q(r)|) is not established. Additional gaps include unproved uniform distortion bounds and unsubstantiated counting assertions. Therefore the paper’s argument is correct, while the model’s proof as written is flawed.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions
\textbf{Journal Tier:} specialist/solid
\textbf{Justification:}
The manuscript establishes that enforcing an unbounded mismatch between HCF expansions of a complex number and its rational approximants does not reduce the Hausdorff or packing dimensions relative to the classical ψ-approximable set. The construction is careful and uses quantitative cylinder geometry and a well-structured product-measure argument. The results clarify an interesting contrast with the real/RCF case. Minor presentation improvements would further enhance clarity but the technical content appears correct and complete.