2504.12510
QUANTITATIVE CONVERGENCE FOR SPARSE ERGODIC AVERAGES IN L1
Ben Krause, Yu-Chen Sun
correctmedium confidence
- Category
- math.DS
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves uniform weak-(1,1) jump/variation/oscillation bounds along lacunary times for the sequences a_n = ⌊n^c⌋ with 1<c<8/7 and for random hitting times with EX_n=n^{-α}, 0<α<1/2 (Theorem 1.4), via a calibrated Calderón–Zygmund scheme anchored by three structural hypotheses (ℓ2-boundedness, sparse support, reflection symmetry) and a detailed verification for the deterministic and random models (Proposition 3.2 and Section 4) . The candidate solution outlines a different proof strategy based on a lacunary square function of increments S_D and an asserted L^2 multiplier difference bound sup_θ ∑_j |m_{N_{j+1}}−m_{N_j}|^2<∞, but it neither proves this key bound nor is it the route taken in the paper; it also treats as “pointwise” an inequality with the (r−2)/r factor that is known in operator/norm form, not as a general pointwise comparison. The model therefore hinges on unproven steps and a mis-citation that the paper contains the required S_D argument (it does not).
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions \textbf{Journal Tier:} specialist/solid \textbf{Justification:} The manuscript presents a unified endpoint framework for quantitative convergence of sparse ergodic averages, covering both Piatetski–Shapiro type sequences with 1<c<8/7 and random hitting times with 0<α<1/2. The core contribution is an abstract Calderón–Zygmund principle (Proposition 3.2) tailored to oscillation/jump/variation operators, together with a careful verification of the structural hypotheses for the examples at hand. The exposition is largely clear, and the route via reflection symmetry and Lipschitz control is both novel and robust. I recommend minor revisions for clarity (e.g., slightly expanding parts of Section 4 where technical estimates are compressed) and for adding a few guiding remarks on the necessity of the range 1<c<8/7.