Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Discrete analogues in harmonic analysis: Multi-parameter Radon averages

T0 review · 2 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Pith's one-line read This paper establishes the multi-parameter Bellow–Furstenberg problem: multi-parameter polynomial ergodic averages converge pointwise for all d, k and all L^p with p>1.

desk verdict Genuine breakthrough for k=2, but the all-k theorem rests on an asserted adaptation that is not in the paper. read the letter →

arxiv 2607.18160 v2 pith:RV44HZHK submitted 2026-07-20 math.CA math.DS

classification math.CAmath.DS MSC 37A3042B2542B2011L0711P55
keywords multi-parameterdiscreteRadonaveragespointwiseergodictheoremBellow–FurstenbergproblemmaximalinequalitiesoscillationcirclemethodIonescu–Waingermultipliermajor-arcsrigidity
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

The paper proves quantitative maximal and oscillation inequalities for discrete multi-parameter polynomial Radon averages, in which one averages a function over a box of polynomial images in Z^d. The bounds hold for every p>1 (and p=∞ for the maximal estimate), with constants that depend on the degree but not on the coefficients of the polynomials. These inequalities are proved using a new multi-parameter variant of the circle method, built on the Ionescu–Wainger multiplier theorem and an iterative, variable-by-variable argument in the small-scale regime. The main consequence is a positive resolution of the multi-parameter Bellow–Furstenberg problem in pointwise ergodic theory for all dimensions d and k. The written proof is carried out explicitly for k=2, with the general case left to an asserted adaptation.

What carries the argument

The central object is the truncated multi-parameter discrete Radon average and its Fourier multiplier, together with the oscillation seminorm (2.17) used to convert quantitative bounds into pointwise convergence. The key mechanism is an iterative application of the Hardy–Littlewood circle method, supported by two multi-parameter Ionescu–Wainger multiplier theorems (Theorems 4.19 and 4.48) that transfer continuous estimates to discrete settings with multi-frequency features. A rank parameter r, the rank of the d-by-k matrix of monomial exponents, tracks the number of independent 'directions'; when r<d, the 'parameters-gluing' obstruction is overcome by a counting lemma (Lemma 7.61) that estab

What would settle it

Check whether the iterative small-scale argument of Section 7 can be repeated for k=3: take M_1, M_2 both small relative to M_3 and see whether Lemma 7.61 can be iterated to give a power saving in both smaller-scale variables. If the Vandermonde counting does not extend to two smaller-scale variables, then inequality (5.20) is not proved for k=3 and the main theorem as stated is unsupported.

Watch

Extended reading notes

Core claim

The paper establishes that the multi-parameter oscillation inequality for truncated discrete polynomial Radon averages can be proved by iterating the classical circle method variable by variable. In the small-scale regime, this reveals a 'major-arcs rigidity' phenomenon: either the coefficient polynomial of the largest-scale variable lies on major arcs very rarely, yielding a power saving in the smaller-scale variables, or the full multi-parameter frequency lies on multi-parameter major arcs and the average is well approximated by a periodized continuous multiplier. Using this, the paper proves the sharp maximal and oscillation estimates (1.3) and (1.4), and derives the pointwise ergodic the

Load-bearing premise

The proof is written only for k=2, and the claim that all arguments adapt to arbitrary k≥3 is asserted in Section 1.3 but not demonstrated, so the theorem as stated for all k rests on that unproved adaptation, together with an assumed monomial-lifting reduction.

Editorial extensions

If this is right

  • For every polynomial mapping P with integer coefficients and any family of commuting invertible measure-preserving transformations, the averages A^P_{M;X,T}f converge pointwise and in L^p norm as min(M_1,...,M_k) tends to infinity, for all p>1.
  • The discrete Radon averages satisfy a maximal inequality for p in (1,∞] and an oscillation inequality for p in (1,∞), with sharp p-ranges and constants independent of the polynomial coefficients.
  • Calderón transference turns these integer-lattice estimates into quantitative maximal and oscillation ergodic theorems on arbitrary sigma-finite measure-preserving systems.
  • The multi-parameter Ionescu–Wainger theorems developed for oscillation seminorms are stated in sufficient generality to apply to other multipliers with comparable regularity, not only those arising from the Radon averages treated here.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The authors leave implicit that the same approach should also yield the full (non-lacunary) oscillation inequality with constants independent of tau; they state this is possible but do not prove it.
  • If the k≥3 adaptation claimed in Section 1.3 holds, major-arcs rigidity is likely a general phenomenon: for multi-parameter polynomial phases, failure of joint major-arc structure forces power savings in the smaller-scale variables. A testable step is to generalize Lemma 7.61 to count m_1,...,m_{k-1} simultaneously.
  • The coefficient-independence of the constants rests in part on a monomial-lifting reduction that is assumed rather than proved; a direct verification of that lifting for general polynomial mappings would remove a hidden step in the argument.
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

2 major / 5 minor

Summary. The paper develops a multi-parameter circle method for discrete Radon averaging operators on Z^d, in the framework of discrete analogues in harmonic analysis. Its main quantitative result is Theorem 1.23, a long multi-parameter oscillation inequality for truncated polynomial Radon averages; from this the authors deduce Theorem 1.2 (maximal and oscillation inequalities for the untruncated averages) and then, via Calderón transference, Theorem 1.7 asserting the affirmative solution of the multi-parameter Bellow–Furstenberg problem for all d,k. The key technical novelties are a multi-parameter Ionescu–Wainger theorem (Theorem 4.48), an iterative variable-by-variable circle method for the small-scale regime, and a new 'major-arcs rigidity' phenomenon captured in Lemma 7.61. The written proof, however, is carried out only for k=2: Section 1.3 states that Theorem 1.23 is proved in the two-parameter setting and that the extension to k>=2 is left to the reader, and Section 5 repeats this declaration.

Significance. If the results are correct in the stated generality, they resolve a longstanding open problem in ergodic theory and provide the first quantitative maximal and oscillation estimates for genuinely multi-parameter discrete Radon averages with polynomial mappings. The paper also introduces substantial technical machinery—the multi-parameter Ionescu–Wainger theory and the major-arcs rigidity phenomenon—that is likely to have independent value. The sharp parameter ranges, the coefficient-independence of the constants, and the clean reduction from ergodic theory to integer-shift estimates are all valuable features. The significance would be very high, provided the proof is supplied for arbitrary k>=3.

major comments (2)
  1. [§1.3, Remark 7 after Theorem 1.23] The reduction to canonical monomials with coefficient 1 is asserted rather than proved: 'This is a simple consequence of the lifting procedure, which can, for instance, be adapted from [50, Section 1.4].' This reduction is used throughout Sections 5–7, where the multiplier is written for the canonical mapping (t)^Gamma. If this lifting step is not exactly as in [50]—which is a one-parameter jump-inequality paper—the main theorem is not proved even for k=2. The manuscript should include a proof or a precise statement of the adapted lifting procedure.
  2. [§4.2, Theorem 4.15] Theorem 4.15 is stated as a theorem of this paper, but its proof is deferred with one sentence: 'The proof proceeds in essentially the same way as the proof of [9, Theorem 6.14].' This result is used in crucial places, for example in §7.1.5 and §7.1.11. Since Theorem 4.15 is not literally the cited theorem but a one-parameter seminorm variant of Theorem 4.4, the paper should either provide the reduction to [9, Theorem 6.14] in detail or explicitly state that the theorem is imported verbatim from [9].
minor comments (5)
  1. [Throughout] The text has many formatting errors: missing spaces in phrases such as 'Radonaveraging', 'multi-parameterBellow–Furstenberg', 'variablebyvariable', and similar. These should be corrected.
  2. [§3] Section 3 is explicitly restricted to k=2 ('we will focus on the two-parameter setting k=2, noting that our arguments can be adapted'). This is a consequence of the main gap, but the exponential-sum estimates for k>=3 are not formulated. If the extension to arbitrary k is retained, the relevant Weyl-type statements for k>=3 should be stated.
  3. [§1.2, Theorem 1.2] The sharpness of the p-ranges in (1.3) and (1.4) is asserted but not proved or referred to a specific counterexample. Since the paper claims sharpness, a reference or argument should be provided.
  4. [§4.4, Theorem 4.48] The proof of Theorem 4.48 contains several omissions: Step 7 says 'The rest of the proof is almost identical... We omit the details', and Step 6 refers to [34, Inequality (3.11)] for a key Littlewood–Paley estimate. These may be acceptable, but they should be made explicit enough for the reader to verify.
  5. [References] Reference [76] is listed as 'Private communication. May 2024.' This is not a verifiable published source; if the result of Wierdl is used, a published or preprint reference should be supplied.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the proof chain is built from stated parameter-free theorems; the k>=3 gap is a generality/completeness gap, not a circularity.

full rationale

The derivation chain is: Theorem 1.23 (oscillation inequality for truncated discrete Radon averages) implies inequality (1.4) via [9, Proposition 3.7]; inequality (1.4) implies the maximal and oscillation bounds in Theorems 1.2 and 1.8 via (2.21), (2.19), and Calderon transference; Theorem 1.7 then follows. None of these steps defines a fitted quantity as a prediction: the constants are shown to be independent of the polynomial coefficients by the proof, and the main estimate (5.4) is proved by frequency-side major/minor arc analysis rather than by renaming an assumed inequality. The paper does rely on several prior results by overlapping authors ([9], [35], [47], [50]), but these are used as external, parameter-free theorems whose assumptions do not include the target result: [9] solves only d=1, [35] proves the canonical-fraction Ionescu-Wainger theorem, and [47] supplies one-parameter variational estimates. The reduction to coefficient-1 monomials is cited to [50, Section 1.4] and is assumed rather than proved, but this is a cited reduction, not a definitional identification of Theorem 1.23 with its input. The serious weakness flagged by the manuscript itself is not circular: Sections 1.3 and 5 state, 'For ease of exposition, we prove Theorem 1.23 in the two-parameter setting k=2. However, a careful reader will readily see...' and 'All our arguments are adaptable to the general multi-parameter setup.' The asserted adaptation to k>=3, especially the iteration of the circle method and of the Vandermonde-counting Lemma 7.61 after the first variable-by-variable step, is not written out. That is an unproved generalization/completeness gap, not a reduction of the k>=3 statement to itself, so it does not raise the circularity score.

Assumptions & free parameters 3 free parameters · 7 assumptions · 0 invented entities

The ledger tracks the mathematical inputs the central claim rests on. No empirical fitting or invented physical/mathematical entities are present; the listed free parameters are internal proof constants, and the axioms are a combination of standard analysis tools and prior theorems, several from the same research group.

free parameters (3)
  • Auxiliary small constants χ1, u1, χ2, u2, α, ϱ = not numerically fixed; constrained by (5.16)–(5.17) and (7.91)–(7.92)
    Chosen by hand to satisfy a chain of inequalities that make the proof work; only their existence matters, not their numerical values. They do not appear in the final theorem statements.
  • Interpolation parameter p0 ∈ 2Z = any even integer with p ∈ (p0′, p0)
    Auxiliary exponent used in §5.1.4 to interpolate between ℓ^2 and one-parameter maximal estimates.
  • Lacunarity parameter τ = restricted to τ ∈ (1,2] in the proof; the theorems state all τ > 1
    Technical constraint in the truncated-average formulation; constants are allowed to depend on τ.
assumptions (7)
  • domain assumption Weyl-type exponential sum estimates (Theorem 3.1 = [9, Prop. 5.4]; Theorem 3.8 = [9, Prop. 5.22])
    Used as black-box inputs throughout §§3, 6, 7; taken from a prior paper by overlapping authors (Bourgain–Mirek–Stein–Wright).
  • domain assumption Ionescu–Wainger multiplier theorem for canonical fractions (Theorem 4.4 = [35])
    Foundational for all discrete-to-continuous multiplier transfers in §§4–7; proved in [35] by overlapping authors (Kosz–Mirek–Peluse–Wan–Wright).
  • domain assumption Sampling principle of Magyar–Stein–Wainger (Proposition 4.8 = [41])
    Used in Step 6 of Theorem 4.19 and in §7.2.2; standard prior theorem.
  • standard math Multidimensional van der Corput lemma (Proposition 2.12 = [14, Cor. 7.3])
    Used to derive decay estimates for continuous multipliers (4.43)–(4.44).
  • domain assumption Lifting procedure reducing to coefficient-1 monomials (adapted from [50, Section 1.4])
    Invoked in Remark 7 below Theorem 1.23; the adaptation to the multiparameter oscillation setting is asserted, not proved.
  • domain assumption One-parameter maximal/variational theory for discrete Radon operators ([47])
    Used in §5.3.1 to control ℓ^u estimates for u ∈ {p0, p0′} and to interpolate.
  • standard math Calderón transference principle ([12])
    Used to transfer ℓ^p(Z^d) oscillation bounds to L^p(X) for general commuting transformations (§1.1).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Discrete analogues in harmonic analysis: Multi-parameter Radon averages." pith.science (2026). https://pith.science/paper/RV44HZHK

@misc{pith2026260718160,
  author       = {Pith},
  title        = {Pith review of: Discrete analogues in harmonic analysis: Multi-parameter Radon averages},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RV44HZHK}},
  note         = {Machine review of arXiv:2607.18160}
}
read the original abstract

In this paper we study maximal and oscillation inequalities for multi-parameter discrete Radon averaging operators. We develop a robust variant of the multi-parameter circle method within the framework of Discrete Analogues in Harmonic Analysis. In particular, this gives quantitative estimates for these averages and their underlying Fourier multipliers which reveals an interesting major-arcs rigidity phenomenon. As a consequence, we completely resolve in the affirmative the multi-parameter Bellow--Furstenberg problem in pointwise ergodic theory.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Multi-Parameter Exponential Sums with Product Hilbert Kernels

    math.CA 2026-07 conditional novelty 8.0 of 10

    The uniform boundedness of multi-parameter exponential sums with product Hilbert kernels holds iff the polynomial index set Λ has no odd subset or every monomial in Λ has at most one odd component.

Reference graph

Works this paper leans on

79 extracted references · 2 linked inside Pith · cited by 1 Pith paper

  1. [9]

    Bourgain, M

    J. Bourgain, M. Mirek, E.M. Stein, J. Wright. On a multi-parameter variant of the Bellow--Furstenberg problem. Forum Math. Pi 11 (2023), e23, 64 pp

  2. [50]

    Mirek, E.M

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

  3. [1]

    Arkhipov, V.N

    G.I. Arkhipov, V.N. Chubarikov, A.A. Karatsuba. Trigonometric sums in number theory and analysis. De Gruyter Expositions in Mathematics, vol. 41, Walter de Gruyter, Berlin, 2004

  4. [2]

    Arkhipov, V.N

    G.I. Arkhipov, V.N. Chubarikov, A.A. Karatsuba. Distribution of fractional parts of polynomials of several variables. Mat. Zametki 25 (1979), no. 1, pp. 3--14

  5. [3]

    A. Bellow . Measure Theory Oberwolfach 1981. Proceedings of the Conference held at Oberwolfach, June 21--27, 1981. Lecture Notes in Mathematics 945 , editors D. K\"olzow and D. Maharam-Stone. Springer-Verlag Berlin Heidelberg (1982). Section: Two problems submitted by A. Bellow, pp. 429--431

  6. [4]

    Birkhoff

    G. Birkhoff . Proof of the ergodic theorem. Proc. Natl. Acad. Sci. USA 17 (1931), no. 12, pp. 656--660

  7. [5]

    U ber ein in der Theorie der s \

    P. Bohl. \"U ber ein in der Theorie der s \"a kularen St \"o rungen vorkommendes Problem. J. reine angew. Math. 135 , (1909), pp. 189--283

  8. [6]

    Bourgain

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

Show all 79 references
  1. [7]

    Bourgain

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

  2. [8]

    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 Etudes Sci. Publ. Math. 69 (1989), pp. 5--45

  3. [10]

    Buczolich, R.D

    Z. Buczolich, R.D. Mauldin. Divergent square averages. Ann. of Math. 171 (2010), no. 3, pp. 1479--1530

  4. [11]

    Busemann, W

    H. Busemann, W. Feller. Zur Differentiation der Lebesgueschen Integrale. Fund. Math. 22 (1934), no. 1, pp. 226--256

  5. [12]

    Calder\' o n

    A. Calder\' o n. Ergodic theory and translation invariant operators. Proc. Natl. Acad. Sci. USA 59 (1968), pp. 349--353

  6. [13]

    Calder\' o n, A

    A.P. Calder\' o n, A. Zygmund. On the existence of certain singular integrals. Acta Math. 88 (1952), pp. 85--139

  7. [14]

    Carbery, M

    A. Carbery, M. Christ, J. Wright. Multidimensional van der Corput and sublevel set estimates. J. Amer. Math. Soc. 12 (1999), no. 4, pp. 981--1015

  8. [15]

    Carbery, F

    A. Carbery, F. Ricci, J. Wright. Maximal functions and Hilbert transforms associated to polynomials. Rev. Mat. Iberoam. 14 (1998), pp. 117--144

  9. [16]

    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

  10. [17]

    C\'ordoba, R

    A. C\'ordoba, R. Fefferman. A geometric proof of the strong maximal function. Ann. of Math. 102 (1975), no. 1, pp. 95--100

  11. [18]

    N. Dunford. An individual ergodic theorem for non-commutative transformations. Acta Sci. Math. Szeged 14 (1951), pp. 1--4

  12. [19]

    Duoandikoetxea, J.L

    J. Duoandikoetxea, J.L. Rubio de Francia. Maximal and singular integral operators via Fourier transform estimates. Invent. Math. 84 (1984), pp. 541--562

  13. [20]

    Fefferman

    C. Fefferman. On the divergence of multiple Fourier series. Bull. Amer. Math. Soc. 77 (1971), pp. 191--195

  14. [21]

    Furstenberg

    H. Furstenberg. Problems Session, Conference on Ergodic Theory and Applications University of New Hampshire, Durham, NH, June 1982

  15. [22]

    Hardy, J.E

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

  16. [23]

    Ionescu, \'A

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

  17. [24]

    Ionescu, \'A

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

  18. [25]

    Ionescu, \'A

    A. Ionescu, \'A. Magyar, S. Wainger. Averages along polynomial sequences in discrete nilpotent Lie groups: Singular Radon transforms. Advances in analysis: the legacy of Elias M. Stein , Princeton Math. Ser., 50 , Princeton Univ. Press, Princeton, NJ, (2014), pp. 146--188

  19. [26]

    Ionescu, S

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

  20. [27]

    Iwaniec, E

    H. Iwaniec, E. Kowalski. Analytic number theory. American Mathematical Society Colloquium Publications, vol. 53, American Mathematical Society, Providence, RI, 2004

  21. [28]

    Jessen, J

    B. Jessen, J. Marcinkiewicz, A. Zygmund. Note on the differentiability of multiple integrals. Fund. Math. 25 (1935), no. 1, pp. 217--234

  22. [29]

    Jones, R

    R.L. Jones, R. Kaufman, J.M. Rosenblatt, M. Wierdl. Oscillation in ergodic theory. Ergodic Theory Dynam. Systems 18 (1998), no. 4, pp. 889--935

  23. [30]

    Jones, J.M

    R.L. Jones, J.M. Rosenblatt, M. Wierdl. Oscillation inequalities for rectangles. Proc. Amer. Math. Soc. 129 (2001), no. 5, pp. 1349--1358

  24. [31]

    Jones, A

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

  25. [32]

    Journ\'e

    J. Journ\'e. Calder\'on--Zygmund operators on product spaces. Rev. Mat. Iberoam. 1, (1985), no. 1, pp. 55--91

  26. [33]

    Khintchin

    A.Y. Khintchin. Zu Birkhoff's L\"osung des Ergodensproblems. Math. Ann. 107 (1933), pp. 485--488

  27. [34]

    D. Kosz, B. Langowski, M. Mirek, P. Plewa. Polynomial ergodic theorems in the spirit of Dunford and Zygmund. Adv. Math. 490 (2026)

  28. [35]

    D. Kosz, M. Mirek, S. Peluse, R. Wan, J. Wright. The multilinear circle method and a question of Bergelson. To appear in Ann. of Math

  29. [36]

    D. Kosz, M. Mirek, W. S omian, J. Zhang. Remarks on the Ionescu--Wainger multiplier theorem. Available at arXiv:2606.12663

  30. [37]

    B. Krause. Polynomial ergodic averages converge quickly: variations on a theorem of Bourgain. Preprint, arXiv:1402.1803

  31. [38]

    Krause, M

    B. Krause, M. Mirek, T. Tao. Pointwise ergodic theorems for non-conventional bilinear polynomial averages. Ann. of Math. 195 (2022), no. 3, pp. 997--1109

  32. [39]

    LaVictoire

    P. LaVictoire. Universally L^1 -bad arithmetic sequences. J. Anal. Math. 113 (2011), no. 1, pp. 241--263

  33. [40]

    Littlewood, R.E.A.C

    J.E. Littlewood, R.E.A.C. Paley. Theorems on Fourier series and power series. J. London Math. Soc. 6 (1931), no. 3, pp. 230--233

  34. [41]

    Magyar, E.M

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

  35. [42]

    Magyar, E.M

    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

  36. [43]

    Mehlhop, W

    N. Mehlhop, W. S omian. Oscillation and jump inequalities for the polynomial ergodic averages along multi-dimensional subsets of primes. Math. Ann. 388 (2024), pp. 2807--2842

  37. [44]

    M. Mirek. ^p ( ^d ) -estimates for discrete Radon transform: square function estimates. Anal. PDE 11 (2018), no. 3, pp. 583--608

  38. [45]

    M. Mirek. The circle method and pointwise ergodic theorems. The ICM survey (2026)

  39. [46]

    Mirek, E.M

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

  40. [47]

    Mirek, E.M

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

  41. [48]

    Mirek, E.M

    M. Mirek, E.M. Stein, P. Zorin-Kranich. Jump inequalities via real interpolation. Math. Ann. 376 (2020), no. 1-2, pp. 797--819

  42. [49]

    Mirek, E.M

    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

  43. [51]

    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

  44. [52]

    Mirek, T.Z

    M. Mirek, T.Z. Szarek, J. Wright. Oscillation inequalities in ergodic theory and analysis: one-parameter and multi-parameter perspectives. Rev. Mat. Iberoam. 38 (2022), no. 7, pp. 2249--2284

  45. [53]

    Mirek, B

    M. Mirek, B. Trojan. Discrete maximal functions in higher dimensions and applications to ergodic theory. Amer. J. Math. 138 (2016), no. 6, pp. 1495--1532

  46. [54]

    L.B. Pierce. Discrete fractional R adon transforms and quadratic forms. Duke Math. J., 161 (2012), no. 1, pp. 69--106

  47. [55]

    L.B. Pierce. On superorthogonality. J. Geom. Anal. 31 (2021), pp. 7096--7183

  48. [56]

    Ricci, E.M

    F. Ricci, E.M. Stein. Multiparameter singular integrals and maximal functions. Ann. Inst. Fourier (Grenoble) 42 (1992), pp. 637--670

  49. [57]

    M. Riesz. Sur les maxima des formes bilin\'eaires et sur les fonctionnelles lin\'eaires. Acta Math. 49 (1927), pp. 465--497

  50. [58]

    M. Riesz. Sur les fonctions conjugu\'ees. Math. Z. 27 (1928), pp. 218--244

  51. [59]

    Rosenblatt, M

    J. Rosenblatt, M. Wierdl. Pointwise ergodic theorems via harmonic analysis. In Proc. Conference on Ergodic Theory (Alexandria, Egypt, 1993). London Math. Soc. Lecture Note Ser., vol. 205, Cambridge Univ. Press, Cambridge, 1995, pp. 3--151

  52. [60]

    W. Rudin. Fourier analysis on groups. Interscience Tracts in Pure and Applied Mathematics, No. 12 Interscience Publishers, New York--London 1962

  53. [61]

    S. Saks. Remark on the differentiability of the Lebesgue indefinite integral. Fund. Math. 22 (1934), no. 1, pp. 257--261

  54. [62]

    S. Saks. Th \'e orie de l'int \'e grale. Warszawa (1933)

  55. [63]

    Seeger, T

    A. Seeger, T. Tao, J. Wright. Singular maximal functions and Radon transforms near L^1 . Amer. J. Math. 125 (2004), pp. 607--647

  56. [64]

    Sierpi \'n ski

    W. Sierpi \'n ski. Sur la valeur asymptotique d'une certaine somme. Bull. Intl. Acad. Polonaise des Sci. et des Lettres (Cracovie) series A, (1910), pp. 9--11

  57. [65]

    W. S omian. Bootstrap methods in bounding discrete Radon operators. J. Funct. Anal. 283 (2022), 109650

  58. [66]

    E.M. Stein. Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals. Princeton Univ. Press, Princeton, NJ, 1993

  59. [67]

    Stein, B

    E.M. Stein, B. Street. Multi-parameter singular Radon transforms. Math. Res. Lett. 18 (2011), no. 2, pp. 257--277

  60. [68]

    Stein, S

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

  61. [69]

    Stein, S

    E.M. Stein, S. Wainger. Problems in harmonic analysis related to curvature. Bull. Amer. Math. Soc. 84 (1978), 1239--1295

  62. [70]

    T. Tao. The Ionescu--Wainger multiplier theorem and the adeles. Mathematika 67 (2021), no. 3, pp. 647--677

  63. [71]

    B. Trojan. Variational estimates for discrete operators modeled on multi-dimensional polynomial subsets of primes. Math. Ann. 374 (2019), pp. 1597--1656

  64. [72]

    von Neumann

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

  65. [73]

    Vinogradov

    I.M. Vinogradov. The method of trigonometrical sums in the theory of numbers. Interscience Publishers New York, (1954)

  66. [74]

    H. Weyl. \"Uber die Gibbs'sce Erscheinung und verwandte Konvergenzphenomene. Rendiconti del Circolo Matematico di Palermo 30 (1910), pp. 377--407

  67. [75]

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

  68. [76]

    M. Wierdl. Private communication. May 2024

  69. [77]

    A. Zygmund. On the differentiability of multiple integrals. Fund. Math. 23 (1934), no. 1, pp. 143--149

  70. [78]

    A. Zygmund. An individual ergodic theorem for non-commutative transformations. Acta Sci. Math. Szeged 14 (1951), pp. 103--110

  71. [79]

    A. Zygmund. Trigonometric series. Cambridge University Press (2003), third edition

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.