2009.01089
ON THE DYNAMICAL SYSTEM GENERATED BY THE MÖBIUS TRANSFORMATION AT PRIME TIMES
László Mérai, Igor E. Shparlinski
wrongmedium confidenceCounterexample detected
- Category
- math.DS
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:55 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper defines Th(N) as the unnormalized prime sum Th(N)=∑_{ℓ≤N, ℓ prime} e_p(h u_ℓ) and claims the power-decay bound max_{h∈F_p^*} |Th(N)| ≤ N^{-η} for N in [p^B, p^C] when the period t ≥ p^{3/4+ε} (Theorem 1.1) . This magnitude is dimensionally impossible: a standard second-moment identity over h shows max_h |Th(N)| ≥ π(N)·sqrt((p−t)/(p(p−1))). For the multiplicative map ψ(x)=g x with a primitive root g (hence t=p−1), this gives max_h |Th(N)| ≳ N/(p log N), contradicting the paper’s asserted upper bound for any fixed η>0 and any admissible choice of B,C>1. The body of Section 4 also pursues bounds of the schematic form Sp(M,N) ≪ N^{-ρ} for bilinear pieces (equation (4.3)), which mirrors the same normalization issue (the sums have about N terms) . The likely intended statement is either a normalized average π(N)^{-1}Th(N) ≪ N^{-η} or an unnormalized bound of size N^{1−η}/log N. Under such a corrected normalization, the paper’s Heath–Brown/Burgess machinery could plausibly deliver a power saving. As printed, however, Theorem 1.1 is false.
Referee report (LaTeX)
\textbf{Recommendation:} major revisions
\textbf{Journal Tier:} strong field
\textbf{Justification:}
The main theorem asserts a power-decay bound for an unnormalized prime sum of length ≍N, which contradicts a basic second-moment lower bound and fails for a standard multiplicative orbit with period p−1. The analytic framework (Heath–Brown identity, Burgess bounds, bilinear/multilinear estimates) is appropriate and could yield a valid power saving under correct normalization, but the present normalization error invalidates the central claim. A thorough rewrite to correct normalization and re-check all bounds is required.