Pith. sign in

REVIEW 2 major objections 4 minor 28 references

Lacunary $\delta$-Discretised Spherical Maximal Operators

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper establishes that the lacunary $\delta$-discretised spherical maximal operator is bounded on $L^p(\mathbb{R}^d)$ for all $1<p<\infty$, uniformly in the annulus thickness $\delta$, with an endpoint $H^1 \to L^{1,\infty}$ bound…

desk verdict A real gap in the Section 5 bootstrap—the L^2(ℓ^∞) domination appears false—but the one-parameter claims are likely salvageable via classical methods. read the letter →

arxiv 2507.09962 v1 pith:YV33BFEH submitted 2025-07-14 math.CA

Surjeet Singh Choudhary , Ji Li , Chong-Wei Liang , Chun-Yen Shen This is my paper · ORCID
classification math.CA MSC 42B3042B2042B35
keywords lacunarymaximalfunctiondelta-discretisedsphericaloperatormulti-parameterHardyspaceH^1weak-typeendpointFourierdecaymulti-scalesquare-functiondecompositionbootstrappingargument
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 studies maximal operators formed by averaging over thin spherical shells of thickness $\delta$, sampled at dyadically separated (lacunary) radii, and asks whether taking the supremum over those scales preserves $L^p$ norms. It asserts that the lacunary $\delta$-discretised spherical maximal operator is bounded on $L^p$ for every $1

What carries the argument

The central objects are the $\delta$-discretised spherical maximal operators $M^\delta_{\mathrm{lac}}f(x)=\sup_{k\in\mathbb{Z}}|f*_\delta\sigma_k(x)|$, where $f*_\delta\sigma_k$ averages $f$ over the $\delta$-neighbourhood $C^\delta(0,2^k)$ of the sphere of radius $2^k$, and the strong multi-parameter analogue $\mathcal{M}^\delta_{\mathrm{lac}}$ with coordinatewise dilations $2^{\vec{k}}y=(2^{k_1}y_1,\dots,2^{k_d}y_d)$. The argument is carried by two Fourier decay estimates for the averaged annulus: a $\delta$-dependent bound of order $\delta(1+|\xi|)^{-(d-1)/2}$ and a $\delta$-free bound of order $(1+|\xi|)^{-(d+1)/2}$, which together control $\|g*\varphi_j*_\delta\sigma\|_{L^2}$. The $H^1$ endpoint uses an atomic decomposition of the Hardy space into pieces supported near dyadic cubes, with stopping-time parameters chosen so that almost-orthogonality, exceptional-set volume, and $L^2$ estimates combine into the weak-type bound; the $L^p$ proof uses a multi-scale square-function decomposition and a bootstrap that converts an $L^2$ decay of $2^{-\max\{j_1,\dots,j_d\}(d-1)/2}$ into a positive decay for every $p>1$.

What would settle it

Run the displayed $L^{4/3}$ interpolation step for the vector-valued operator $\vec{A}_{\vec{j}}$ and iterate it to obtain the decay exponent $\varepsilon_n(p)$ after $n$ steps; then check whether $\inf_{p>1}\lim_{n\to\infty}\varepsilon_n(p)$ is positive. If for any $p>1$ the accumulated exponent is not bounded below by a positive constant independent of $\vec{j}$, the summation over $\vec{j}$ fails and the uniform $L^p$ claim is false.

Watch

Extended reading notes

Core claim

The central claim is that, for $d \ge 2$ and $0<\delta<1/2$, the lacunary $\delta$-discretised spherical maximal operator $M^\delta_{\mathrm{lac}}f(x)=\sup_{k\in\mathbb{Z}}|f*_\delta\sigma_k(x)|$ is bounded on $L^p(\mathbb{R}^d)$ for all $1<p<\infty$ and from $H^1(\mathbb{R}^d)$ to $L^{1,\infty}(\mathbb{R}^d)$, and that the strong multi-parameter operator $\mathcal{M}^\delta_{\mathrm{lac}}$ is bounded on $L^p(\mathbb{R}^d)$ for all $1<p<\infty$, all with implicit constants independent of $\delta$. The proof obtains two Fourier decay rates for the normalised Fourier transform of the $\delta$-neighbourhood of the unit sphere, one carrying a factor of $\delta$ and one independent of $\delta$, and combines them with an atomic decomposition of $H^1$ and stopping-time arguments for the endpoint, and with a multi-scale square-function decomposition, an $L^2$ decay estimate, and a vector-valued interpolation bootstrap for the $L^p$ estimates. The uniformity in $\delta$ is the point: it makes the passage to the classical lacunary spherical maximal estimates legitimate.

Load-bearing premise

The proof assumes that the iterative bootstrap in Section 5 actually produces a positive decay exponent $\varepsilon(p)>0$ for every $p>1$, uniformly in the multi-scale parameter, even though the induction is asserted rather than displayed; the multi-parameter $L^p$ theorem, and the one-parameter $L^p$ bound presented as its corollary, would collapse if that exponent vanished for some $p>1$.

Editorial extensions

If this is right

  • If the uniform bounds are correct, shrinking the annuli to exact spheres recovers the classical $L^p$ boundedness of the lacunary spherical maximal function and its $H^1 \to L^{1,\infty}$ endpoint.
  • The same limit argument recovers the classical strong multi-parameter lacunary spherical maximal estimates, since the constants in Theorem 1.4 are also uniform in $\delta$.
  • The two Fourier decay rates for the annulus are reusable: the proof structure applies to any lacunary maximal operator built from a measure with a comparable $\delta$-dependent and $\delta$-free decay pair.
  • The endpoint proof demonstrates a template for $H^1 \to L^{1,\infty}$ bounds of discretised maximal operators that combines atomic decomposition with stopping times rather than a single Fourier-transform estimate.

Reading between the lines

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

  • The load-bearing point to check is the bootstrap: the paper asserts the iteration that yields a positive decay exponent $\varepsilon(p)>0$ for every $p>1$, but does not display the interpolation endpoints, so the claim that the range is all $p>1$ rests on an unshown induction.
  • A concrete check would be to compute the decay exponent explicitly from the displayed $L^{4/3}$ step and iterate the same interpolation; if the exponent tends to zero as $p$ approaches $1$, the stated all-$p$ range would fail even though each fixed $p>1$ might still be fine.
  • The same two-decay structure suggests a natural extension to $\delta$-discretised lacunary averages over other hypersurfaces, provided the corresponding annulus Fourier transform obeys the same pair of bounds.
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 / 4 minor

Summary. The paper studies lacunary analogues of the δ-discretised spherical maximal operators introduced by Hickman and Jančar. It claims that for d≥2 and 0<δ<1/2, the lacunary δ-discretised spherical maximal operator is bounded on L^p(R^d) for all 1<p<∞ and from H^1(R^d) to L^{1,∞}(R^d), with constants uniform in δ, and that the strong multi-parameter variant is bounded on L^p for all 1<p<∞. The authors further claim that by taking δ→0 their uniform bounds recover the classical lacunary spherical maximal estimates. The proofs combine Fourier decay estimates for annuli, almost orthogonality, the Seeger–Wright atomic decomposition of H^1, Littlewood–Paley theory, and a bootstrap argument in Section 5.

Significance. The results, if correct, would be a natural δ-discretised counterpart of the classical lacunary spherical maximal theory, with uniform bounds that pass to the classical limit; the H^1 endpoint would extend Christ's theorem to this discretised setting, and the multi-parameter result would parallel recent work by Lee–Lee–Oh and Hickman–Zahl. The endpoint argument in Section 4 is detailed, and the estimates for Term1,1, Term1,2, Term2,1, and Term2,2 appear to close. However, the proof of the multi-parameter L^p theorem in Section 5 contains a load-bearing gap in the vector-valued interpolation step, and the final inductive bootstrap is not actually carried out. As written, Theorem 1.4 and hence the L^p part of Theorem 1.2 are not established.

major comments (2)
  1. [Section 5, vector-valued bootstrap display] The displayed estimate after “using the L2-boundedness of M_j” reads ∥A⃗_j f∥_{L2(ℓ∞)} = ∥sup_k |A^k_j(f)|∥_2 ≤ ∥M_j(sup_m |f*Ψ_{m-j}|)∥_2 ≲ 2^{-max j_i(d-1)/2}∥f∥_{L2(ℓ∞)}. This display is not type-correct as written: the left side is a norm of a sequence operator, while A^k_j(f) on the left and the scalar f on the right are not reconciled. For scalar f the left side is sup_k |f*Ψ_{k-j}*Ψ_{k-j}*δσ_k|, whereas the right side involves sup_m |f*Ψ_{m-j}| followed by a single convolution with Ψ_{k-j}*δσ_k; a pointwise supremum cannot be moved inside a convolution with an oscillatory kernel. The standard domination gives only the Hardy–Littlewood maximal function of sup_m |f*Ψ_{m-j}| and carries no 2^{-max j_i(d-1)/2} factor. If one instead derives the bound componentwise from Lemma 5.1, the natural endpoint is L^2(ℓ^2); interpolating L^1(ℓ^1) with L^2(ℓ^2) gives L^{4/3}(ℓ^{4/3}), and the passage from ℓ^{4/3} to ℓ^2 would require an ℓ^{4/3} Littlewood–Paley inequality that is false for p<2. The displayed inequality is therefore exactly the point where the positive decay exponent for p<4/3 must be proved, and it is not proved.
  2. [Section 5, final induction paragraph] The final paragraph of Section 5 asserts, without proof, that “Using the similar argument inductively, we get ∥M_j f∥_{L^p} ≲ 2^{-max j_i ε}∥f∥_{L^p} for all p>1.” No induction step is displayed, and in particular no argument is given for 1<p<4/3. The L^{4/3} estimate obtained by interpolation is only the base case; the claim for p>4/3 would follow by interpolating with the trivial L∞ bound, but the range 1<p<4/3 requires a new endpoint or a genuinely different mechanism. Since the proof of Theorem 1.4 consists of summing these M_j estimates over j∈Z^d with j_i≥0, the missing ε(p)>0 for all p>1 leaves Theorem 1.4 unproved even if the L2(ℓ∞) issue in the previous comment is repaired.
minor comments (4)
  1. [Section 2, Bessel formula] In the display following the derivation of \widehat{\chi_{C_\delta(0,1)}}, the variable r remains in the arguments J_{d/2}(2πr(1+δ)|ξ|) and J_{d/2}(r(1-δ)|ξ|) after the r-integral has already been evaluated; these r's should be removed.
  2. [Section 5, multi-scale decomposition] The one-dimensional identity (5.1) is used to produce a tensor-product decomposition over j∈Z^d with j_i≥0, but the bookkeeping for mixed indices (where some coordinates use ψ and others use Ψ) is not written out; please clarify how A^k_j is defined for such mixed vectors.
  3. [Section 4, Eq. (4.7)] The estimate of Term1,3 uses the L^2 boundedness of M^δ_lac, citing Theorem 1.2(1), whose proof is only supplied later in Section 5 as a corollary of Theorem 1.4; the authors should either prove this L^2 bound independently before Section 4 or explicitly state the forward dependency.
  4. [Throughout] There are numerous typos and grammatical slips: “Plancheral” should be “Plancherel”, “do not exists” should be “does not exist”, “the last but second” should be “second to last”, and “Ωk+1” should be “Ω_{κ+1}”; these should be corrected in a revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central estimates rest on external Fourier-decay, Littlewood–Paley, and Seeger–Wright decomposition; the internal use of the Lp bound in the endpoint proof is proved independently in Section 5.

full rationale

The paper's main results are derived from external classical tools rather than from a self-referential definition or fitted input. Lemma 2.1 obtains the annulus Fourier decay via Bessel-function asymptotics; Lemma 2.3 uses the classical Littlewood–Paley square function and Hardy–Littlewood maximal estimates; Theorem 3.4 quotes and reproves the Seeger–Wright atomic decomposition. Section 5 proves Theorem 1.4 by defining the multi-scale decomposition, proving the L2 estimate in Lemma 5.1 by Plancherel and the Fourier decay of the annulus, and then applying interpolation and the multi-parameter Littlewood–Paley inequality. No parameter is fitted to the target bound, and no 'prediction' is a relabeling of an input. The only internal dependence is in Section 4, where the estimate of Term1,3 invokes the Lp boundedness of Theorem 1.2(1); this is not circular because Theorem 1.2(1) is stated as a direct corollary of Theorem 1.4 and is proved independently in Section 5. The reviewer-flagged vector-valued inequality in the bootstrap is a mathematical gap in the proof, not circularity: it asserts a pointwise domination that does not follow from the definitions, but that is a correctness defect rather than a reduction of the conclusion to its own assumption. There is no load-bearing self-citation and no uniqueness theorem imported from the authors' prior work.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper has no fitted constants and postulates no new objects. Its central claims rest on standard tools: Littlewood-Paley theory, H1 atomic decomposition, Fourier/Bessel decay for the annulus, and the strong maximal theorem. The delicate point is that the Fourier decay estimates must be uniform in delta, and the Section 5 bootstrap must yield a positive decay exponent for every p>1.

assumptions (5)
  • standard math Littlewood-Paley theory on R^d with multi-parameter dilations
    Used in Lemma 2.3 and throughout Section 5, including the vector-valued estimates and the final summation over frequency pieces.
  • standard math Seeger-Wright atomic decomposition of H^1(R^d)
    Section 3 restates and proves the special atomic decomposition that is the starting point for the endpoint estimate in Section 4.
  • domain assumption Fourier decay estimates for the normalized annulus measure, with constants uniform in delta
    Lemma 2.1 derives these estimates from Bessel asymptotics; the uniformity in delta is load-bearing for both the Lp and H1 results.
  • standard math Boundedness of the strong maximal function on L^p for p>1
    Used in Section 5 to control the term M_0 by the strong maximal function.
  • standard math Riesz-Thorin and vector-valued interpolation
    Used in the Section 5 bootstrap between L1(l1), L2(l^infinity), and L^(4/3)(l2) to obtain decay estimates for M_j.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Lacunary $\delta$-Discretised Spherical Maximal Operators." pith.science (2026). https://pith.science/paper/YV33BFEH

@misc{pith2026250709962,
  author       = {Pith},
  title        = {Pith review of: Lacunary $\delta$-Discretised Spherical Maximal Operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YV33BFEH}},
  note         = {Machine review of arXiv:2507.09962}
}
abstract

We study the lacunary analogue of the $\delta$-discretised spherical maximal operators introduced by Hickman and Jan\v{c}ar, for $\delta \in (0, 1/2)$, and establish the boundedness on $L^p$ for all $1 < p < \infty$, along with the endpoint weak-type estimate $H^1 \to L^{1,\infty}$. We also prove the corresponding $L^p$ boundedness for the multi-parameter variant. The constants in these bounds are uniform in $\delta$, and thus, by taking the limit $\delta \to 0^+$, our results recover the classical boundedness of the lacunary spherical maximal function.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 26 canonical work pages

  1. [1]

    Bourgain, Averages in the plane over convex curves and maximal operators, J

    J. Bourgain, Averages in the plane over convex curves and maximal operators, J. Analyse Math. 47 (1986), 69–85

    work page 1986

  2. [2]

    C. P. Calderón, Lacunary spherical means, Illinois J. Math.23 (1979), no. 3, 476–484

    work page 1979

  3. [3]

    Chang, G

    A. Chang, G. Dosidis and J. Kim, Nikodym sets and maximal functions associated with spheres, Rev. Mat. Iberoam., 41 (2025), no. 3, 1009–1056

    work page 2025

  4. [4]

    S.-Y. A. Chang and R. Fefferman, A continuous version of duality ofH 1 with BMO on the bidisc, Ann. of Math., (2) 112 (1980), no. 1, 179–201

    work page 1980

  5. [5]

    Chen and S

    M. Chen and S. Guo and T. Yang, A multi-parameter cinematic curvature, preprint: arXiv:2306.01606

    arXiv

  6. [6]

    Christ,Weak type(1, 1) bounds for rough operators, Ann

    M. Christ,Weak type(1, 1) bounds for rough operators, Ann. Math., 128 (1988), 19–42

    work page 1988

  7. [7]

    A.Cordoba, TheKakeyamaximalfunctionandthesphericalsummationmultipliers, Amer. J. Math., 99 (1977), no. 1, 1–22

    work page 1977

  8. [8]

    Duoandikoetxea and J

    J. Duoandikoetxea and J. Rubio de Francia,Maximal and singular integral operators via Fourier transform estimates, Invent. Math., 84 (1986), no. 3, 541–561. 24

    work page 1986

Show all 28 references
  1. [9]

    Fefferman and E.M

    C. Fefferman and E.M. Stein,H p spaces of several variables, Acta Math., 129 (1972), no. 3-4, 137–193

    1972

  2. [10]

    Ganguly and S.Thangavelu, On the lacunary spherical maximal function on the Heisen- berg group., J

    P. Ganguly and S.Thangavelu, On the lacunary spherical maximal function on the Heisen- berg group., J. Funct. Anal. 280 (2021), no. 3, Paper No. 108832, 32 pp

    2021

  3. [11]

    Govindan Sheri, J

    A. Govindan Sheri, J. Hickman and J. Wright, Lacunary maximal functions on homoge- neous groups., J. Funct. Anal., 286 (2024), no. 3, Paper No. 110250, 25 pp

    2024

  4. [12]

    Heo,Weak type estimates for some maximal operators on Hardy spaces, Math

    Y. Heo,Weak type estimates for some maximal operators on Hardy spaces, Math. Nachr., 280 (2007), no. 3, 281–289

    2007

  5. [13]

    Hickman and A

    J. Hickman and A. Jančar, Spherical maximal estimates via geometry, Colloq. Math., 178 (2025), no. 1, 97–112

    2025

  6. [14]

    Hickman and J

    J. Hickman and J. Zahl, ImprovedLp bounds for the strong spherical maximal operator, arXiv:2502.02795

    arXiv

  7. [15]

    J. Lee, S. Lee and S. Oh, The elliptic maximal function, J. Funct. Anal.288 (2025), no. 1, Paper No. 110693, 31 pp

    2025

  8. [16]

    J. Lee, S. Lee and S. Oh,Lp bound on the strong spherical maximal function, Proc. Amer. Math. Soc., 153 (2025), no. 3, 1155–1167

    2025

  9. [17]

    Mattila, Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, 44, Cambridge Univ

    P. Mattila, Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, 44, Cambridge Univ. Press, Cambridge, 1995

    1995

  10. [18]

    Mattila, Fourier analysis and Hausdorff dimension, Cambridge Studies in Advanced Mathematics, 150, Cambridge Univ

    P. Mattila, Fourier analysis and Hausdorff dimension, Cambridge Studies in Advanced Mathematics, 150, Cambridge Univ. Press, Cambridge, 2015

    2015

  11. [19]

    Nevo and S

    A. Nevo and S. Thangavelu, Pointwise ergodic theorems for radial averages on the Heisen- berg group, Adv. Math.127 (1997), no. 2, 307–334

    1997

  12. [20]

    Oberlin,An endpoint estimate for some maximal operators, Rev

    D.M. Oberlin,An endpoint estimate for some maximal operators, Rev. Mat. Iberoam., 12 (1996), No. 3, 641–652

    1996

  13. [21]

    J. Roos, A. Seeger and R. Srivastava,Lebesgue space estimates for spherical maximal func- tions on Heisenberg groups, Int. Math. Res. Not. IMRN, 24 (2022), 19222–19257

    2022

  14. [22]

    Schlag, A generalization of Bourgain’s circular maximal theorem, J

    W. Schlag, A generalization of Bourgain’s circular maximal theorem, J. Amer. Math. Soc., 10 (1997), no. 1, 103–122

    1997

  15. [23]

    Schlag, A geometric proof of the circular maximal theorem, Duke Math

    W. Schlag, A geometric proof of the circular maximal theorem, Duke Math. J., 93 (1998), no. 3, 505–533

    1998

  16. [24]

    Seeger and J

    A. Seeger and J. Wright,Problems on averages and lacunary maximal functions, Polish Acad. Sci. Inst. Math., Warsaw, 95 (2011), 235–250

    2011

  17. [25]

    Srivastava, On the Korányi spherical maximal function on Heisenberg groups, Math

    R. Srivastava, On the Korányi spherical maximal function on Heisenberg groups, Math. Ann., 388 (2024), 191–247

    2024

  18. [26]

    Stein, Maximal functions

    E.M. Stein, Maximal functions. I. Spherical means, Proc. Nat. Acad. Sci. U.S.A.73 (1976), no. 7, 2174–2175

    1976

  19. [27]

    Stein,Harmonic analysis: real-variable methods, orthogonality, and oscillatory inte- grals, Princeton University Press, Princeton, NJ., 43 (1993), xiv+695

    E.M. Stein,Harmonic analysis: real-variable methods, orthogonality, and oscillatory inte- grals, Princeton University Press, Princeton, NJ., 43 (1993), xiv+695

    1993

  20. [28]

    Wolff, A Kakeya-type problem for circles, Amer

    T. Wolff, A Kakeya-type problem for circles, Amer. J. Math., 119 (1997), no. 5, 985–1026. (S. S. Choudhary), National Center for Theoretical Sciences, No. 1 Sec. 4 Roosevelt Rd., National Taiwan University, Taipei, 106, Taiwan. E-mail: surjeet19@ncts.ntu.edu.tw (J. Li) School ...

    1997

Pith tools

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