Pith. sign in

REVIEW 5 minor 33 references

A Variation Norm Carleson Theorem Along the Primes

T0 review · 0 major / 5 minor · reviewed 2026-07-11 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The variational Carleson operator along the primes is bounded on ℓ^p in a range that widens to the full expected interval as the variation index grows, and the maximal prime Carleson operator is bounded for every 1 < p < ∞.

desk verdict Clean new theorems on variational and maximal Carleson along primes, with a reusable sparsification-plus-modulation mechanism that holds up under scrutiny. read the letter →

arxiv 2607.05560 v1 pith:D5OSOKYL submitted 2026-07-06 math.CA math.NT

Anastasios Fragkos , Ben Krause , Nazar Miheisi , Yu-Chen Sun This is my paper · ORCID
classification math.CAmath.NT MSC 42B2042B2511N0537A45
keywords variationalCarlesontheoremprimesvonMangoldtfunctionmodulationinvarianceRamanujansumsmulti-frequencyestimatesdiscreteharmonicanalysis
topics The Twin Prime Conjecture
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that a discrete, modulation-invariant singular integral weighted by the von Mangoldt function—the variational Carleson operator along the primes—is bounded on ℓ^p(ℤ) for a range of exponents that depends on the variation index r > 2 and expands toward the full interval (1, ∞) as r grows large. The same method yields the sharp maximal estimate: the non-variational prime Carleson operator is bounded for every 1 < p < ∞. The result is the first of its kind that keeps full modulation invariance after an arithmetic sparsification by primes. A sympathetic reader cares because the argument supplies a reusable mechanism—higher-order Fourier uniformity, a variable-coefficient multi-frequency inequality, reduction to finite periodic models, and an elementary Ramanujan-sum estimate for structured atoms—that can treat other modulation-invariant operators after sparsification by arithmetic weights.

What carries the argument

Reduction of the physical operator to a finite periodic maximal operator M_B on Z/Q_B Z, followed by an inverse theorem that extracts structured atoms (constant frequency along arithmetic progressions) and an elementary Ramanujan-fiber computation showing those atoms produce a power saving Q^{o(1)−1}.

What would settle it

Exhibit a single square-free denominator block B of size roughly Q^κ for which the periodic maximal operator M_B applied to a structured atom fails to produce an ℓ^{2} bound better than Q^{o(1)}, or compute the operator norm of M_B on a concrete atom and check whether it exceeds Q^{κ−1−ε}.

Watch

Extended reading notes

Core claim

For each r > 2 there exist constants r' < c(r) < 2 < C(r) with lim c(r) = 1 and lim C(r) = ∞ such that the r-variation of the prime-weighted Carleson series is bounded on ℓ^p for all c(r) < p < C(r), while the variation is unbounded for p ≤ r'. The same reductions give that the maximal prime Carleson operator is bounded on ℓ^p(ℤ) for every 1 < p < ∞.

Load-bearing premise

The elementary number-theoretic bound that the Ramanujan kernels of the major-arc blocks produce a uniform power saving when tested on structured atoms; if that arithmetic estimate fails for some blocks, the sum over denominators diverges and both theorems collapse.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper proves a variational Carleson theorem for the discrete Hilbert transform weighted by the von Mangoldt function: for each r>2 there exist c(r), C(r) with r'<c(r)<2<C(r) and the indicated limits as r o∞ such that V^r_P is bounded on ℓ^p for c(r)<p<C(r), while the variation is unbounded for p≤r'. The same method yields the maximal prime Carleson operator C_P bounded on ℓ^p(Z) for the full range 1<p<∞. The argument proceeds by higher-order Fourier reduction of Λ to major-arc denominator slices, a variable-coefficient multi-frequency estimate, analytic lifting to periodic models M_B, an inverse theorem producing structured atoms, energy decrement, and an elementary Ramanujan-fiber estimate that supplies the necessary power saving on those atoms.

Significance. The result is a genuine advance at the interface of discrete harmonic analysis and prime number theory. It supplies the first modulation-invariant singular-integral theorem along the primes that is asymptotically sharp in the variational parameter, and it recovers the full expected range for the corresponding maximal operator. The technical contribution is a reusable mechanism—higher-order Fourier uniformity plus variable-coefficient multi-frequency lifting plus arithmetic inverse theorem on Ramanujan sums—that converts arithmetic sparsification into a tractable periodic problem. The structured-atom bound is proved by elementary number theory rather than black-box estimates, and the range restrictions for the variational operator are shown to be essentially optimal by a simple testing argument. These features make the paper a substantial contribution suitable for a leading journal in harmonic analysis.

minor comments (5)
  1. In the introduction and abstract the constants c(r), C(r) are written in boldface; later they appear in ordinary type. A uniform convention would improve readability.
  2. Lemma 2.2 cites [10, Prop. 1.14] for the U^3 estimate; a one-line reminder of the precise statement used would help readers who have not yet consulted that preprint.
  3. The free parameters D_0(p,r) and ε appear first in §3 without an explicit hierarchy of how small they must be relative to the o(1) losses later absorbed; a short remark after (5.2) would clarify the bookkeeping.
  4. Appendix A.1 shows that ordinary admissibility is insufficient for Carleson-type theorems; a cross-reference from the open-problem paragraph in §1.3 would make the discussion self-contained.
  5. A few typographical inconsistencies remain (e.g., “V r” versus “V^r”, occasional missing spaces around “mod”). These are purely cosmetic.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity; prior U^{3}/von Mangoldt estimates from overlapping-author preprints are used as black-box inputs whose ranges are stated independently of the target Carleson bounds.

  1. self citation load bearing [Prop. 3.1 / displays (3.3)–(3.7) and Lemma 2.2]
    "use [10, Proposition 3.1] to bound ∥w−w≤M(k)∥U^{3}([2k])≲A k−A orall A<\infty o o o interpolate with [11, Lemma 3.1] o o o ∥wQ∥U^{3}([2k])≲Q−3/8+o(1)"

    The residual and high-denominator terms that allow reduction to the Q-blocks rely on U^{3}-decay statements whose only cited proofs are preprints sharing authors with the present paper. The citations are load-bearing for the global ℓ^p range, yet they remain external black-box inputs (parameter-free, ranges stated independently of V^r_P or C_P) and do not make the target bound tautological.

full rationale

The derivation chain (higher-order Fourier reduction of Λ → major-arc blocks w_{Q,B} → analytic lifting to periodic M_B → inverse theorem producing structured atoms → Ramanujan-fiber vanishing for K_θ → power saving m_B ≲ Q^{κ-1-ε} → dyadic summation) is self-contained and elementary once the black-box U^{3} decay inputs are granted. Those inputs appear only in residual/high-denominator estimates (Prop. 3.1, displays (3.3)–(3.7), Lemma 2.2) and are quoted with explicit ranges from [10,11]; they do not encode the variational or maximal prime-Carleson conclusions. The novel steps (variable-coefficient multi-frequency Prop. 4.4, periodic inverse Lemma 5.5 / Prop. 5.7, and the arithmetic envelope (6.1) via |c_r(u)| = φ((r,u))) are proved in full without reference to the target operator norms. No equation equates a claimed bound to a quantity defined by that bound, no parameter is fitted to data and re-used as a prediction, and no uniqueness theorem is imported to forbid alternatives. The single minor self-citation therefore does not raise the score above 1.

Assumptions & free parameters 3 free parameters · 4 assumptions · 2 invented entities

Pure analytic number theory / harmonic analysis paper. Free parameters are only the sufficiently-large/small constants chosen to close estimates; axioms are standard background results plus a few black-box inputs from the authors' prior preprints on primes; invented entities are purely definitional (structured atoms, denominator blocks) with no ontological claim outside the proof.

free parameters (3)
  • D_0 = D_0(p,r)
    Chosen sufficiently large depending on p and r so that the low-denominator contribution can be summed after the power saving; appears in the definition of K_Q and the block size κ.
  • ε ≪_{p,r} 1
    Positive quantity chosen small enough relative to κ and the target power saving; used throughout the periodic analysis and energy decrement.
  • κ = 1/D_0 - ε
    Block size |B|≈Q^κ; must be small enough for the lcm bound and large enough for the final saving Q^{κ-1-ε}.
assumptions (4)
  • standard math Discrete variational Carleson theorem (Appendix B / Oberlin–Seeger–Tao–Thiele–Wright)
    Used as the scalar variational input for the multi-frequency lemma and for the unweighted discrete case.
  • domain assumption U^3 decay estimates for the von Mangoldt function and its major-arc truncations (from [10, Prop. 2.1, 3.1] and [11, Lem. 3.1])
    Black-box inputs that control residual and high-denominator terms in the reduction of Section 3; without them the error terms cannot be summed.
  • standard math Gowers-norm inequalities and the Eisner–Tao comparison of U^s and L^{p_s} (Lem. 2.1)
    Standard additive-combinatorial technology used for the multi-frequency and residual estimates.
  • standard math Ramanujan-sum identities and the lower bound φ(q)≳ q/log log q
    Elementary number theory used to convert major-arc structure into the structured-atom bound.
invented entities (2)
  • Structured atoms A_d / A
    purpose: Objects produced by the inverse theorem for the periodic maximal operator; the energy-decrement argument reduces the problem to testing on these atoms.
    Definitional; no claim that they exist outside the proof. The inverse theorem constructs them explicitly from the Fourier coefficients of the input.
  • Denominator blocks B and the associated periodic model M_B
    purpose: Arithmetic sparsification that isolates Ramanujan structure so that a power saving can be proved.
    Definitional partitioning of square-free integers; the lcm period Q_B is an ordinary number-theoretic object.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Variation Norm Carleson Theorem Along the Primes." pith.science (2026). https://pith.science/paper/D5OSOKYL

@misc{pith2026260705560,
  author       = {Pith},
  title        = {Pith review of: A Variation Norm Carleson Theorem Along the Primes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D5OSOKYL}},
  note         = {Machine review of arXiv:2607.05560}
}
abstract

Let $\Lambda$ denote the von Mangoldt function; we prove that for each $r > 2$, there exist constants \[ r' < \mathbf{c}(r) < 2 < \mathbf{C}(r), \qquad \lim_{r \to \infty} \mathbf{c}(r) = 1, \ \lim_{r \to \infty} \mathbf{C}(r) = \infty \] so that the discrete variational Carleson operator along the primes \begin{align} \mathcal{V}^r \Big( \sum_{n \neq 0} f(x-n) \Lambda(|n|) \frac{e^{2\pi i \lambda n}}{n} : \lambda \in \mathbb{T} \Big) \end{align} is bounded on $\ell^p$ for all $\mathbf{c}(r) < p < \mathbf{C}(r)$, while the variation is unbounded when $p \leq r'$. At the non-variational endpoint, the same argument gives the sharp maximal result: the prime Carleson operator \[ \sup_{\lambda\in\mathbb T} \Big|\sum_{n\neq0} f(x-n)\Lambda(|n|)\frac{e^{2\pi i\lambda n}}{n}\Big| \] is bounded on \(\ell^p(\mathbb Z)\) for the full expected range \(1<p<\infty\). The proof gives a new mechanism for treating modulation-invariant singular integrals after arithmetic sparsification. It combines higher-order Fourier uniformity, a variable-coefficient multi-frequency principle in the spirit of Bourgain, and an additive-combinatorial inverse argument. A key step is a reduction to finite periodic models, where the Ramanujan structure of the major arcs is converted into a sharp estimate for structured atoms by elementary number theory.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 3 linked inside Pith

  1. [1]

    Amenta; G

    A. Amenta; G. Uraltsev.Variational Carleson operators in UMD spaces.J. Lond. Math. Soc. (2) 105 (2022), no. 3, 1363–1417. (Page 2)

    2022

  2. [2]

    Benea; C

    C. Benea; C. Muscalu.Sparse domination via the helicoidal method.Rev. Mat. Iberoam. 37 (2021), no. 6, 2037–2118. (Page 2)

    2021

  3. [3]

    Bourgain.An approach to pointwise ergodic theorems.Geometric aspects of functional analysis (1986/87), 204–223

    J. Bourgain.An approach to pointwise ergodic theorems.Geometric aspects of functional analysis (1986/87), 204–223. Lecture Notes in Math., 1317 Springer-Verlag, Berlin, 1988. (Page 3)

    1986

  4. [4]

    Bourgain.Pointwise ergodic theorems for arithmetic sets.Inst

    J. Bourgain.Pointwise ergodic theorems for arithmetic sets.Inst. Hautes ´Etudes Sci. Publ. Math. (69):5-45, 1989. With an appendix by the author, Harry Furstenberg, Yitzhak Katznelson and Donald S. Ornstein. (Pages 5, 25, and 32)

    1989

  5. [5]

    Carleson, L.On convergence and growth of partial sums of Fourier series, Acta Math.116 (1966) 135–157 (Page 2)

    1966

  6. [6]

    Cladek; K

    L. Cladek; K. Henriot; B. Krause; I. Laba; M. Pramanik.A discrete Carleson theorem along the primes with a restricted supremum. Math. Z. 289 (2018), no. 3-4, 1033–1057. (Page 3)

    2018

  7. [7]

    Demeter; M

    C. Demeter; M. Lacey; T. Tao; C. Thiele.Breaking the duality in the return times theorem. Duke Math. J. 143 (2008), no. 2, 281–355. (Page 7)

    2008

  8. [8]

    Eisner; T

    T. Eisner; T. Tao.Large values of the Gowers-Host-Kra seminorms.J. Anal. Math. 117 (2012), 133–186. (Page 10)

    2012

Show all 33 references
  1. [9]

    Fefferman.Pointwise convergence of Fourier series.Ann

    C. Fefferman.Pointwise convergence of Fourier series.Ann. of Math. (2) 98 (1973), 551–571. (Page 2)

    1973

  2. [10]

    Fornal; A

    J. Fornal; A. Fragkos; B. Krause; M. Lacey; H. Mousavi; Y.-C. Sun.The Wiener Wint- ner and Return Times Theorem Along the Primes/ Preprint, https://arxiv.org/pdf/2601.10459. (Pages 3, 4, 7, 10, 18, 19, and 31)

    arXiv

  3. [11]

    Fornal; B

    J. Fornal; B. Krause; J. Terav¨ ainen.Double Recurrence and Almost Sure Convergence: Primes and Weighted Theory. Preprint, https://arxiv.org/abs/2603.22203 (Pages 3, 4, 7, 18, 19, 20, 48, and 50)

  4. [12]

    S. Guo; P. Zorin-Kranich.A Variable Coefficient Multi-Frequency Lemma. Preprint, https://arxiv.org/pdf/2010.00812 (Page 5)

    2010 arXiv

  5. [13]

    Hunt.On the convergence of Fourier series.Orthogonal Expansions and their Continuous Analogues

    R. Hunt.On the convergence of Fourier series.Orthogonal Expansions and their Continuous Analogues. (Proc. Conf., Edwardsville, Ill., 1967), pp. 235–255 Southern Illinois University Press, Carbondale, IL, 1968. (Page 2)

    1967

  6. [14]

    Jones; A

    R. Jones; A. Seeger; J. Wright.Strong variational and jump inequalities in harmonic analysis. Trans. Amer. Math. Soc. 360 (2008), no. 12, 6711-6742. (Page 13)

    2008

  7. [15]

    Krause.Polynomial Ergodic Averages Converge Rapidly: Variations on a Theorem of Bour- gain.Preprint, https://arxiv.org/pdf/1402.1803 (Page 42)

    B. Krause.Polynomial Ergodic Averages Converge Rapidly: Variations on a Theorem of Bour- gain.Preprint, https://arxiv.org/pdf/1402.1803 (Page 42)

    arXiv

  8. [16]

    Krause.Discrete analogues in harmonic analysis: a theorem of Stein-Wainger.J

    B. Krause.Discrete analogues in harmonic analysis: a theorem of Stein-Wainger.J. Funct. Anal. 287 (2024), no. 5, Paper No. 110498, 49 pp. (Page 4)

    2024

  9. [17]

    Krause.Discrete Analogues in Harmonic Analysis: Bourgain, Stein, and Beyond.Graduate Studies in Mathematics, 224

    B. Krause.Discrete Analogues in Harmonic Analysis: Bourgain, Stein, and Beyond.Graduate Studies in Mathematics, 224. American Mathematical Society, Providence, RI, 2023. (Page 13) 54A V ariation Norm Carleson Theorem Along the Primes

    2023

  10. [18]

    Krause.Pointwise Ergodic: Examples and Entropy.S´ eminaire Bourbaki: Volume 2022/2023 Expos´ es 1197–1210

    B. Krause.Pointwise Ergodic: Examples and Entropy.S´ eminaire Bourbaki: Volume 2022/2023 Expos´ es 1197–1210. (Page 2)

    2022

  11. [19]

    Krause.A Hard-Analytic Proof of ”Most” Polynomial Wiener-Wintner Theorems for Infinite Measure Spaces

    B. Krause.A Hard-Analytic Proof of ”Most” Polynomial Wiener-Wintner Theorems for Infinite Measure Spaces. Preprint, https://arxiv.org/abs/2511.02786 (Page 5)

  12. [20]

    Krause.Bourgain’s Return Times Theorem: Primes and Weighted Theory

    B. Krause.Bourgain’s Return Times Theorem: Primes and Weighted Theory. Preprint available on request. (Pages 3, 4, 7, and 48)

  13. [21]

    Krause; J

    B. Krause; J. Roos.Discrete analogues of maximally modulated singular integrals of Stein- Wainger type. J. Eur. Math. Soc. (JEMS) 24 (2022), no. 9, 3183–3213. (Page 4)

    2022

  14. [22]

    Krause; J

    B. Krause; J. Roos.Discrete analogues of maximally modulated singular integrals of Stein- Wainger type:ℓ p bounds forp >1.J. Funct. Anal. 285 (2023), no. 10, Paper No. 110123, 19 pp. (Page 4)

    2023

  15. [23]

    Lacey; C

    M. Lacey; C. Thiele.A proof of boundedness of the Carleson operator.Math. Res. Lett. 7 (2000), no. 4, 361–370. (Page 2)

    2000

  16. [24]

    L´ epingle.La variation d’ordrepdes semi-martingales.Z.F.W

    D. L´ epingle.La variation d’ordrepdes semi-martingales.Z.F.W. 36, 1976, 295-316. (Pages 2 and 24)

    1976

  17. [25]

    Lie.The polynomial Carleson operator

    V. Lie.The polynomial Carleson operator. Ann. Math. (2) (ISSN 0003-486X) 192 (1) (2020) 47–163. (Page 2)

    2020

  18. [26]

    Lewko; M

    A. Lewko; M. Lewko.Estimates for the square variation of partial sums of Fourier series and their rearrangements.J. Funct. Anal. 262 (2012), no. 6, 2561–2607. (Page 13)

    2012

  19. [27]

    Magyar; E

    A. Magyar; E. Stein; S. Wainger.Discrete analogues in harmonic analysis: spherical averages. Ann. of Math. (2) 155 (2002), no. 1, 189–208. (Pages 25 and 52)

    2002

  20. [28]

    Mirek; B

    M. Mirek; B. Trojan.Cotlar’s ergodic theorem along the prime numbers.J. Fourier Anal. Appl. 21 (2015), no. 4, 822–848. (Page 3)

    2015

  21. [29]

    Mirek; B

    M. Mirek; B. Trojan; P. Zorin-Kranich.Variational estimates for averages and truncated sin- gular integrals along the prime numbers.Trans. Amer. Math. Soc. 369 (2017), no. 8, 5403–5423. (Page 3)

    2017

  22. [30]

    Oberlin; A

    R. Oberlin; A. Seeger; T. Tao; C. Thiele; J. Wright.A variation norm Carleson theorem.J. Eur. Math. Soc. (JEMS) 14 (2012), no. 2, 421–464. (Pages 2 and 24)

    2012

  23. [31]

    Uraltsev.Variational Carleson embeddings into the upper 3-space.Trans

    G. Uraltsev.Variational Carleson embeddings into the upper 3-space.Trans. Amer. Math. Soc. 378 (2025), no. 7, 4765–4805. (Page 2)

    2025

  24. [32]

    Wierdl.Pointwise ergodic theorem along the prime numbers.Israel J

    M. Wierdl.Pointwise ergodic theorem along the prime numbers.Israel J. Math. 64 (1988), no. 3, 315–336. (Page 3)

    1988

  25. [33]

    Zorin-Kranich.Maximal polynomial modulations of singular integrals.Adv

    P. Zorin-Kranich.Maximal polynomial modulations of singular integrals.Adv. Math. 386 (2021), Paper No. 107832, 40 pp. (Page 2) A. Fragkos, B. Krause, N. Miheisi, and Y.-C. Sun 55 Department of Mathematics, Georgia Tech, 686 Cherry Street, Atlanta, GA 30332-0160 USA Email addre...

    2021

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.