pith. sign in

arxiv: 2606.07359 · v1 · pith:VNNUB42Pnew · submitted 2026-06-05 · 🧮 math.CA

Discrete analogues in harmonic analysis: TT^* methods

Bartosz Langowski , Mariusz Mirek , Tomasz Z. Szarek This is my paper

Pith reviewed 2026-06-27 20:14 UTC · model grok-4.3

classification 🧮 math.CA
keywords discrete Radon operatorsTT* argumentsalmost-orthogonalitymaximal inequalityBourgain averagesharmonic analysisℓ² boundednesspolynomial averages
0
0 comments X

The pith

TT* almost-orthogonality methods establish the ℓ²(ℤ^d) boundedness of Bourgain's maximal inequality for discrete Radon polynomial averages.

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

The paper demonstrates that almost-orthogonality techniques resting on TT* arguments can prove boundedness for discrete Radon-type operators in settings where classical Fourier methods fail. It supplies a new proof of the ℓ²(ℤ^d) boundedness for Bourgain's maximal inequality on Radon polynomial averages, chosen specifically to isolate the core ideas of the discrete TT* approach. A reader following the argument sees that the method relies on decomposing the operator so that cross terms remain small in a controlled way. The work matters because it shows how such arguments transfer from continuous to discrete settings for averaging operators on the integer lattice.

Core claim

The ℓ²(ℤ^d)-boundedness of Bourgain's maximal inequality for Radon polynomial averages is obtained by applying an almost-orthogonality argument based on TT* estimates directly to the discrete Radon operators.

What carries the argument

The TT* almost-orthogonality argument, which controls the inner products of the operator pieces to yield the desired ℓ² bound.

If this is right

  • The same TT* decomposition yields ℓ² bounds for other discrete Radon-type averaging operators.
  • The argument succeeds in regimes where Fourier-analytic tools are unavailable.
  • The maximal inequality holds on the integer lattice once the almost-orthogonality constants are verified to decay appropriately.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method may adapt to averages along other algebraic varieties on ℤ^d.
  • Similar TT* decompositions could simplify proofs of related maximal inequalities arising in ergodic theory on ℤ-actions.
  • One could test whether the same structural conditions suffice for vector-valued or weighted variants of the inequality.

Load-bearing premise

The discrete Radon operators meet the structural conditions that let the TT* almost-orthogonality estimate apply without extra technical adjustments.

What would settle it

An explicit polynomial for which the associated maximal Radon average operator is shown to be unbounded on ℓ²(ℤ^d) would refute the boundedness claim obtained via this TT* argument.

read the original abstract

In this note we present how the almost-orthogonality methods based on $TT^*$ arguments can be employed to study boundedness of discrete operators of Radon type. Almost-orthogonality methods have particular significance when the classical Fourier methods are not available. However here, to avoid technicalities and present the key ideas behind the discrete almost-orthogonality methods, we give a new proof of the $\ell^2(\mathbb{Z}^d)$-boundedness of Bourgain's maximal inequality for Radon polynomial averages.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript presents a new proof of the ℓ²(ℤ^d)-boundedness of Bourgain's maximal inequality for Radon polynomial averages, employing almost-orthogonality methods based on TT* arguments for discrete Radon-type operators; the note is framed as an illustration of these methods when classical Fourier techniques are unavailable, with technical details omitted to focus on core ideas.

Significance. If the argument is fully substantiated, the note would demonstrate the viability of TT* almost-orthogonality techniques as an alternative to Fourier methods for discrete maximal operators, offering a template potentially useful for other discrete harmonic analysis problems.

major comments (1)
  1. [Abstract] Abstract: the claim to supply a new proof of the boundedness is undercut by the explicit statement that the argument is given 'to avoid technicalities'; without explicit confirmation that the discrete Radon polynomial averages satisfy the required almost-orthogonality estimates (e.g., decay rates on the TT* kernels accounting for the polynomial phase in the discrete Fourier multiplier), the TT* method does not automatically yield the ℓ² boundedness result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting an important point about the scope and presentation of our note. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim to supply a new proof of the boundedness is undercut by the explicit statement that the argument is given 'to avoid technicalities'; without explicit confirmation that the discrete Radon polynomial averages satisfy the required almost-orthogonality estimates (e.g., decay rates on the TT* kernels accounting for the polynomial phase in the discrete Fourier multiplier), the TT* method does not automatically yield the ℓ² boundedness result.

    Authors: We agree with the referee that the current wording creates an ambiguity. The manuscript is framed as a short note whose primary goal is to illustrate how TT* almost-orthogonality arguments can be adapted to discrete Radon-type operators when classical Fourier techniques are unavailable. The phrase “to avoid technicalities” was intended to signal that we are outlining the logical structure of the argument rather than supplying a fully self-contained proof. Nevertheless, the abstract does claim to “give a new proof,” which is not accurate given the omissions. We will revise the abstract and the opening paragraph of the introduction to state explicitly that the note provides a conceptual outline of the TT* method applied to Bourgain’s maximal inequality, with the verification of the requisite almost-orthogonality estimates (including the decay of the TT* kernels that accounts for the polynomial phase) left for a separate, more technical work. This change will remove any implication that the boundedness result is established in full detail within the present note. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation is self-contained

full rationale

The paper applies standard TT* almost-orthogonality methods to reprove a known ℓ² boundedness result for discrete Radon polynomial averages. The abstract frames this as an illustrative new proof chosen specifically to highlight key ideas while sidestepping technicalities, with no equations, parameter fits, or self-citations appearing in the provided text. No load-bearing step reduces by construction to the paper's own inputs or prior self-referential claims; the argument is presented as independent application of existing harmonic-analysis techniques to the discrete setting.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are stated or derivable.

pith-pipeline@v0.9.1-grok · 5610 in / 950 out tokens · 16211 ms · 2026-06-27T20:14:12.290819+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

52 extracted references · 2 canonical work pages

  1. [1]

    Anderson, D

    T. Anderson, D. Maldague, L. Pierce, P.-L. Yung. On polynomial Carleson operators along quadratic hypersurfaces. J. Geom. Anal. 34 (2024), no. 10, article 321, 47 pp

    2024

  2. [2]

    Bergelson, A

    V. Bergelson, A. Leibman. A nilpotent Roth theorem. Invent. Math. 147 (2002), pp. 429--470

    2002

  3. [3]

    Bourgain

    J. Bourgain. On the maximal ergodic theorem for certain subsets of the integers. Israel J. Math. 61 (1988), pp. 39--72

    1988

  4. [4]

    Bourgain

    J. Bourgain. On the pointwise ergodic theorem on L^p for arithmetic sets. Israel J. Math. 61 (1988), pp. 73--84

    1988

  5. [5]

    Bourgain

    J. Bourgain. Pointwise ergodic theorems for arithmetic sets. With an appendix by the author, H. Furstenberg, Y. Katznelson, and D. S. Ornstein. Inst. Hautes Études Sci. Publ. Math. 69 (1989), pp. 5--45

    1989

  6. [6]

    Carleson

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

    1966

  7. [7]

    Christ, A

    M. Christ, A. Nagel, E. M. Stein, S. Wainger. Singular and maximal Radon transforms: analysis and geometry. Ann. of Math. 150 (1999), no. 2, pp. 489--577

    1999

  8. [8]

    M. Cotlar. A combinatorial inequality and its applications to L^2 spaces. Rev. Mat. Cuyana 1 (1955), pp. 41--55

    1955

  9. [9]

    Einsiedler, T

    M. Einsiedler, T. Ward. Ergodic Theory with a View Towards Number Theory. Graduate Texts in Mathematics, Vol. 259, Springer, London, 2011

    2011

  10. [10]

    Fefferman

    C. Fefferman. Pointwise convergence of Fourier series. Ann. of Math. 98 (1973), pp. 551--571

    1973

  11. [11]

    Frantzikinakis

    N. Frantzikinakis. Some open problems on multiple ergodic averages. Bull. Hellenic Math. Soc. 60 (2016), pp. 41--90

    2016

  12. [12]

    Furstenberg

    H. Furstenberg. Recurrence in Ergodic Theory and Combinatorial Number Theory. Princeton University Press, Princeton, NJ, 1981

    1981

  13. [13]

    S. Guo, L. Pierce, J. Roos, P.-L. Yung. Polynomial Carleson operators along monomial curves in the plane. J. Geom. Anal. 27 (2017), pp. 2977--3012

    2017

  14. [14]

    L. Guth. Large value estimates in number theory, harmonic analysis, and computer science. Available at arXiv:2503.07410

    work page arXiv

  15. [15]

    L. Guth, J. Maynard. New large value estimates for Dirichlet polynomials. Ann. of Math. 203 (2026), no. 2, pp. 623--675

    2026

  16. [16]

    G. H. Hardy, J. E. Littlewood. A maximal theorem with function-theoretic applications. Acta Math. 51 (1930), no. 1, pp. 81--116

    1930

  17. [17]

    A. D. Ionescu, Á. Magyar, M. Mirek, T. Z. Szarek. Polynomial averages and pointwise ergodic theorems on nilpotent groups. Invent. Math. 231 (2023), pp. 1023--1140

    2023

  18. [18]

    A. D. Ionescu, Á. Magyar, M. Mirek, T. Z. Szarek. Polynomial sequences in discrete nilpotent groups of step 2 . Adv. Nonlinear Stud. 23 (2023), no. 1, article 20230085

    2023

  19. [19]

    Ionescu, Á

    A. Ionescu, Á. Magyar, E. M. Stein, S. Wainger. Discrete Radon transforms and applications to ergodic theory. Acta Math. 198 (2007), pp. 231--298

    2007

  20. [20]

    Ionescu, Á

    A. Ionescu, Á. Magyar, S. Wainger. Averages along polynomial sequences in discrete nilpotent Lie groups: singular Radon transforms. In Advances in Analysis: The Legacy of Elias M. Stein, Princeton Math. Ser., Vol. 50, Princeton Univ. Press, Princeton, NJ, 2014, pp. 146--188

    2014

  21. [21]

    A. D. Ionescu, S. Wainger. L^p boundedness of discrete singular Radon transforms. J. Amer. Math. Soc. 19 (2005), no. 2, pp. 357--383

    2005

  22. [22]

    Iwaniec, E

    H. Iwaniec, E. Kowalski. Analytic Number Theory. Amer. Math. Soc. Colloquium Publications, Vol. 53, AMS, Providence, RI, 2004

    2004

  23. [23]

    Knapp, E

    A. Knapp, E. M. Stein. Intertwining operators for semisimple groups. Ann. of Math. 93 (1971), no. 3, pp. 489--578

    1971

  24. [24]

    A. N. Kolmogorov, G. A. Seliverstov. Sur la convergence des séries de Fourier. C. R. Acad. Sci. Paris 178 (1924), pp. 303--306

    1924

  25. [25]

    D. Kosz, M. Mirek, S. Peluse, R. Wan, J. Wright. The multilinear circle method and a question of Bergelson. Available at arXiv:2411.09478

    work page arXiv

  26. [26]

    Krause, J

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

    2022

  27. [27]

    V. Lie. The polynomial Carleson operator. Ann. of Math. 192 (2020), no. 1, pp. 47--163

    2020

  28. [28]

    Magyar, E

    A. Magyar, E. M. Stein, S. Wainger. Discrete analogues in harmonic analysis: spherical averages. Ann. of Math. 155 (2002), pp. 189--208

    2002

  29. [29]

    Magyar, E

    A. Magyar, E. M. Stein, S. Wainger. Maximal operators associated to discrete subgroups of nilpotent Lie groups. J. Anal. Math. 101 (2007), no. 1, pp. 257--312

    2007

  30. [30]

    Mirek, W

    M. Mirek, W. Słomian, T. Z. Szarek. Some remarks on oscillation inequalities. Ergodic Theory Dynam. Systems 43 (2023), no. 10, pp. 3383--3412

    2023

  31. [31]

    Mirek, E

    M. Mirek, E. M. Stein, B. Trojan. ^p( Z ^d) -estimates for discrete operators of Radon type I: maximal functions and vector-valued estimates. J. Funct. Anal. 277 (2019), no. 8, pp. 2471--2521

    2019

  32. [32]

    Mirek, E

    M. Mirek, E. M. Stein, B. Trojan. ^p( Z ^d) -estimates for discrete operators of Radon type: variational estimates. Invent. Math. 209 (2017), no. 3, pp. 665--748

    2017

  33. [33]

    Mirek, E

    M. Mirek, E. M. Stein, P. Zorin-Kranich. Jump inequalities for translation-invariant operators of Radon type on Z ^d . Adv. Math. 365 (2020), article 107065, 57 pp

    2020

  34. [34]

    Mirek, E

    M. Mirek, E. M. Stein, P. Zorin-Kranich. A bootstrapping approach to jump inequalities and their applications. Anal. PDE 13 (2020), no. 2, pp. 527--558

    2020

  35. [35]

    M. B. Nathanson. Additive Number Theory: The Classical Bases. Springer, New York, 1996

    1996

  36. [36]

    A. Nevo. Pointwise ergodic theorems for actions of groups. In Handbook of Dynamical Systems, Vol. 1B, A. Katok and B. Hasselblatt (eds.), Elsevier, 2005, Chapter 13

    2005

  37. [37]

    L. B. Pierce. Discrete Analogues in Harmonic Analysis. PhD Thesis, Princeton University, 2009

    2009

  38. [38]

    Pierce, P.-L

    L. Pierce, P.-L. Yung. A polynomial Carleson operator along the paraboloid. Rev. Mat. Iberoam. 35 (2019), no. 2, pp. 339--422

    2019

  39. [39]

    A. I. Plessner. \"Uber Konvergenz von trigonometrischen Reihen. J. Reine Angew. Math. 155 (1925), pp. 15--25

    1925

  40. [40]

    A. Sárközy. On difference sets of sequences of integers. I--II. Acta Math. Acad. Sci. Hungar. 31 (1978), pp. 125--149

    1978

  41. [41]

    A. Sárközy. On difference sets of sequences of integers. III. Acta Math. Acad. Sci. Hungar. 31 (1978), pp. 355--386

    1978

  42. [42]

    E. M. Stein. Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton, NJ, 1993

    1993

  43. [43]

    E. M. Stein. On the maximal ergodic theorem. Proc. Natl. Acad. Sci. USA 47 (1961), no. 12, pp. 1894--1897

    1961

  44. [44]

    E. M. Stein, S. Wainger. Discrete analogues in harmonic analysis, I: ^2 estimates for singular Radon transforms. Amer. J. Math. 121 (1999), pp. 1291--1336

    1999

  45. [45]

    E. M. Stein, S. Wainger. Oscillatory integrals related to Carleson theorem. Math. Res. Lett. 8 (2001), pp. 789--800

    2001

  46. [46]

    B. Weiss. Positive cones in Hilbert space and a maximal inequality. In Inequalities III (Proc. Third Sympos., Univ. California, Los Angeles, Calif., 1969), pp. 353--358, Academic Press, 1972

    1969

  47. [47]

    T. Tao. 247B, Notes 1. https://terrytao.wordpress.com/2020/03/29/247b-notes-1-restriction-theory/

    2020

  48. [48]

    R. C. Vaughan. The Hardy--Littlewood Method. Cambridge University Press, Cambridge, 1981

    1981

  49. [49]

    I. M. Vinogradov. The Method of Trigonometrical Sums in the Theory of Numbers. Interscience Publishers, New York, 1954

    1954

  50. [50]

    von Neumann

    J. von Neumann. Proof of the quasi-ergodic hypothesis. Proc. Natl. Acad. Sci. USA 18 (1932), pp. 70--82

    1932

  51. [51]

    H. Weyl. \"Uber die Gleichverteilung von Zahlen mod. Eins. Math. Ann. 77 (1916), pp. 313--352

    1916

  52. [52]

    T. D. Wooley. MATH 59800 Introduction to the circle method and its application. Spring 2023. Available at https://www.math.purdue.edu/ twooley/2023ant/2023antnotes.pdf

    2023