Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Spherical maximal estimates via geometry

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

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

Pith's one-line read A Fourier-free geometric proof yields the sharp L^p range for the discretized spherical maximal operator, up to logarithmic losses.

desk verdict A genuinely Fourier-free geometric proof of a weak discretized spherical maximal bound, held back by one load-bearing reduction that is asserted rather than proved. read the letter →

arxiv 2412.13315 v1 pith:ZWKALPLL submitted 2024-12-17 math.CA

Jonathan Hickman , Ajša Jančar This is my paper · ORCID
classification math.CA MSC 42B25
keywords sphericalmaximaloperatordiscretizedpurelygeometricproofpolarcapssphereintersectionestimatesduality-pigeonholingreductionlogarithmiclossessharpexponentrange
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 for every dimension $n \ge 2$ and every exponent $p \ge p_n = n/(n-1)$, the $\delta$-discretized local spherical maximal operator $M^\delta$ satisfies an $L^p \to L^p$ bound with a loss of at most $(\log \delta^{-1})^{n/p}$. The proof is purely geometric: it does not use the Fourier transform or Plancherel's theorem, and instead slices the spheres into small polar caps, fixes a horizontal slice, and controls overlaps of thickened caps by volume and angular-separation estimates. A sympathetic reading is that this recovers a weak form of the spherical maximal theorem, namely the sharp range of exponents with logarithmic losses and with radii restricted to $[1,2]$. The authors state explicitly that the interest lies in the method rather than the result itself, since the logarithmic losses prevent any genuine $L^p$ conclusion for the non-discretized operator.

What carries the argument

The load-bearing object is the polar cap $C^{\delta,\star}(x,r)$, the $\delta$-neighbourhood of a small cap on the sphere centred on the horizontal hyperplane, together with the variable slicing step that restricts attention to one horizontal slice. Each pair of thickened spheres is contained in a thin slab whose normal is the unit direction between the two centres; intersecting these slabs projects onto a parallelepiped in $\mathbb{R}^{n-1}$ whose volume is computed from the wedge-product identity $|x_1 \wedge \cdots \wedge x_\ell| = |x_1| \prod_{j=2}^\ell |\operatorname{proj}_{\operatorname{span}\{x_1,\dots,x_{j-1}\}^\perp} x_j|$, the generalized base-times-height formula. Because the caps are polar, a vertical line meets the first cap transversally in length at most $\delta$, and this is what converts the projected volume into the intersection volume bound of Lemma 3.2.

What would settle it

Compute the multiplicity sum $\sum_{C_1,\dots,C_n \in \mathcal{C}} |\bigcap_{j=1}^n C_j^{\delta,\star}|$ for a family of spheres with $\delta$-separated centres in $Q^{n-1} \times \{0\}$ and radii in $[1,2]$, and compare it with the claimed bound $O((\log \delta^{-1}) \delta^{n-(n-1)^2} \#\mathcal{C})$. In particular, for $n=3$ one can try to arrange three polar caps centred on the horizontal plane so that their pairwise intersection circles are tangent inside the polar regions; if such a configuration produces a $\delta^{5/2}$ overlap, Lemma 3.2 is false as stated and Proposition 3.1 collapses.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: for all $n \ge 2$ and $p \ge p_n = n/(n-1)$, the inequality $\|M^\delta f\|_{L^p(\mathbb{R}^n)} \le C_{n,p} (\log \delta^{-1})^{n/p} \|f\|_{L^p(\mathbb{R}^n)}$ holds for the local operator whose radii lie in $[1,2]$. The proof reduces this inequality to a multiplicity bound, Proposition 3.1, controlling the $L^n$ norm of the sum of indicators of $\delta$-neighbourhoods of polar caps. The geometric heart of the paper is the observation that, after slicing, the only serious obstruction to clean intersection estimates -- tangencies between the circles where two spheres cut a third sphere -- is forced out of the polar caps and stops contributing. The volume of an $m$-fold intersection of polar caps is then bounded by $\delta^m / (\prod_{j=2}^m t_j \prod_{j=3}^m \theta_j)$, where $t_j$ records distance and $\theta_j$ angular separation from previously chosen centres, and this bound is sharp enough to close the proof.

Load-bearing premise

The whole result rests on the claim, cited to references [3] and [12] but not proved in the paper, that the $L^p$ inequality for the maximal operator follows from the multiplicity bound through a standard discretization and duality--pigeonholing argument, and that an 'effective' variant of that argument produces exactly the stated $(\log \delta^{-1})^{(n-1)/n}$ loss; if this reduction is invalid or the logarithmic exponent is wrong, the geometric estimates do not imply Theorem 1.2.

Editorial extensions

If this is right

  • For every $p \ge p_n$, the $\delta$-discretized local spherical maximal operator has an $L^p$ bound with a logarithmic loss, so the sharp exponent range of the spherical maximal theorem is accessible without frequency analysis.
  • The paper's multiplicity estimate gives a quantitative statement about overlaps of $\delta$-neighbourhoods of polar caps that is independent of the maximal operator formulation and could be quoted as a lemma elsewhere.
  • The proof is local: it covers radii $1 \le r \le 2$, so recovering a global statement for all radii requires an additional covering or scaling argument.
  • For $p < p_n$, no bound by a fixed power of $\log \delta^{-1}$ is possible; the operator norm must grow polynomially in $\delta^{-1}$, confirming that the exponent range in Theorem 1.2 is the natural one.

Reading between the lines

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

  • If the logarithmic losses arise only from the final dyadic summations (the distance parameter in $n=2$ and the top angular parameter in $n\ge 3$), a refined two-parameter summation might remove them; testing that would show whether the method can be upgraded to the full spherical maximal theorem.
  • The polar-cap slicing trick should transfer to other one-parameter maximal averages over hypersurfaces, such as elliptic surfaces or graphs with a distinguished normal direction, where the same tangency configuration is the main enemy.
  • A concrete corollary not stated in the paper: the geometric argument yields explicit dimensional constants for the discretized operator, which could be useful in applications where Fourier-based constants are ineffective or unavailable.
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 gives a Fourier-free, geometric proof of a discretized weak form of Stein's spherical maximal theorem. Theorem 1.2 asserts that for every n≥2 and p≥p_n=n/(n−1), the δ-annulus spherical maximal operator M^δ satisfies ∥M^δ f∥_{L^p} ≤ C_{n,p} (log δ^{-1})^{n/p} ∥f∥_{L^p} with a logarithmic loss. The proof reduces the operator to averages over polar caps, applies a slicing argument, and then converts the desired L^{p_n} bound into a multiplicity bound (Proposition 3.1) for families of δ-separated spheres. The main geometric work is an intersection volume bound (Lemma 3.2), proved via a pair-intersection lemma (Lemma 3.4) and a Fubini/slicing estimate, combined with cardinality estimates (Corollary 3.6). The paper concludes with a dyadic summation and an induction in Section 3.6 that handles degenerate configurations. The claimed endpoint bound carries one logarithm, and interpolation with L∞ then yields the stated range.

Significance. If Theorem 1.2 is established, the paper provides a genuinely geometric alternative to the Fourier-analytic proofs of the spherical maximal theorem, recovering a weak form for all n≥2. The core geometric lemmas (3.2, 3.4, 3.5) are proved in detail, and the exponent bookkeeping in Proposition 3.7 and Section 3.6 is coherent; I verified, for example, that the exponent a(ℓ,n)−(n−2)(n−ℓ) in the induction step simplifies exactly to n−(n−1)^2. The main risk is not the geometry but the reduction in Section 3.2, where the Córdoba-duality step is delegated to references and an unspecified 'effective variant' of a pigeonholing argument. Because the logarithmic exponents in that reduction are load-bearing, the proof of Theorem 1.2 is not yet fully self-contained. The paper is honest about the limitations of the method and about the fact that the logarithmic losses prevent recovery of Stein's theorem itself.

major comments (2)
  1. [§3.2] The assertion that (3.1) is 'equivalent' to Proposition 3.1 is load-bearing and is not proved in the manuscript. The text cites [3] and [12, Propositions 22.4 and 22.6] and then states that an 'effective variant' of the pigeonholing argument, with an additional Hölder step, produces a (log δ^{-1})^{(n−1)/n} loss. Since Theorem 1.2 follows from Proposition 3.1 only through this reduction, the full discretization and Córdoba-duality argument must be supplied. In particular, the authors should specify exactly how the level-set/Vitali selection works for families of polar caps whose centres are δ-separated and lie on the slice R^{n−1}×{0}, and should verify that the adaptation from the Kakeya setting introduces no additional δ^{-c} factor and no additional logarithm. The difference is not purely cosmetic: in the Kakeya setting the tubes contain the evaluation point, whereas here the caps are centred at the evaluation point, so the standard reduction does not transfer verbatim without a separate check.
  2. [§3.6] The treatment of the first term in (3.17) is asserted in a single sentence: 'The first term is easily treated using the δ-separation of the centres and our induction hypothesis (3.15).' This term involves all tuples in which at least one pair of centres is within distance 2δ, and it is part of the proof of Proposition 3.1. The authors should provide the missing argument, for instance by choosing a minimal close pair, expanding one annulus to thickness O(δ), and bounding the number of remaining centres via δ-separation. Without this detail, the induction in Section 3.6 is not fully verified.
minor comments (4)
  1. [§3.4 / §3.6] There is a typographical inconsistency in the dimension of the subspace E in Corollary 3.6 and in the surrounding text: the text says dim E = (n−1)−(j−2) = n−j−1, but the correct value is n−j+1, and the exponent θ^{n−j+1} in Corollary 3.6 corresponds to the corrected dimension.
  2. [§3.2] The notation 'δ1´pn´1q2{n' in Proposition 3.1 is hard to read and should be typeset as δ^{1−(n−1)^2/n}; similarly, the definitions involving t_j and θ_j in (3.3)–(3.5) would benefit from clearer exponents.
  3. [§3.6] When bounding the t_j factors, the text passes from t_j^{n−2} to t_j for n≥3 without comment; this uses t_j≤1 and is correct, but a short parenthetical remark would help the reader.
  4. [§3.1] The reduction from M^δ to the polar-cap operator M^{δ,*} is described as following by pigeonholing and rotational symmetry, but no proof is given. Since this reduction is elementary, a brief explanation of how the average over the full sphere is controlled by averages over one fixed cap direction would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the geometric estimates are derived from first principles and external standard tools, without fitting parameters or assuming the target estimate.

full rationale

The paper's derivation chain is self-contained against external benchmarks. Theorem 1.2 is reduced via standard discretization and Córdoba duality arguments cited to Carbery [3] and Mattila [12] to the multiplicity bound in Proposition 3.1. This reduction is external, not derived from the target result, and the paper does not fit any parameter to the data it later claims to predict. The core geometric content, Lemma 3.2 and Proposition 3.7, is proved directly from elementary sphere-intersection and volume estimates; Lemma 3.4 is explicitly proved in the paper. The only self-citation in the references, [1] (Beltran, Guo, Hickman, Seeger), appears in the Introduction as an example of Fourier-analytic methods and is not load-bearing for any theorem. The skeptical concern that Section 3.2's reduction is asserted rather than fully demonstrated is a question of proof completeness or verification, not circularity: no equation is defined in terms of the claimed conclusion, and no prior result by the same authors is invoked to force the argument. The logarithmic-loss exponents are obtained by explicit dyadic summation in Section 3.6, not by assuming the desired bound. The claim is a weak recovery of Stein's theorem, explicitly weaker than the known result, so there is no renaming of a known result presented as a new prediction. Verdict: score 0, no significant circularity.

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

The proof rests on standard harmonic analysis reductions (duality, discretization, interpolation), elementary geometric facts (hyperplane intersections, determinant identities, polar coordinates), and the finite-cover property of the polar cap. No free parameters or invented entities appear.

assumptions (6)
  • domain assumption Standard discretization and Córdoba-type duality reduce the L^p bound for M^{δ,*} to the multiplicity estimate Proposition 3.1 (via [3,12]).
    Invoked in Section 3.2; the paper does not prove this reduction, only cites it. The log loss from the effective pigeonholing is asserted.
  • domain assumption The sphere can be covered by a finite number of rotations of the polar cap C^{δ,*}, so bounding the cap operator suffices.
    Section 3.1: 'By pigeonholing and the rotational symmetry of the problem, it suffices to show Theorem 1.2 holds with M^δ replaced by M^{δ,*}'.
  • standard math The determinant identity (3.9): |x1 ∧ ... ∧ xℓ| = |x1| ∏_{j=2}^ℓ |proj_{span{x1,...,xj−1}}^⊥ xj|.
    Used in Lemma 3.2, equation (3.10).
  • standard math Polar-coordinate volume estimate Lemma 3.5: volume of thick spherical shells with projection constraints is ~ θ^m t^d.
    Used for cardinality bounds in Corollary 3.6.
  • standard math Fubini theorem and the fact that vertical lines intersect the polar cap C_1^{δ,*} in length O(δ).
    Final step of Lemma 3.2.
  • standard math Interpolation with the trivial L^∞ estimate to pass from endpoint p = p_n to all p ≥ p_n.
    Section 3.1: 'By interpolation with the trivial L^∞ estimate, the full range of estimates follows once we have established the endpoint case p = p_n.'

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spherical maximal estimates via geometry." pith.science (2026). https://pith.science/paper/ZWKALPLL

@misc{pith2026241213315,
  author       = {Pith},
  title        = {Pith review of: Spherical maximal estimates via geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZWKALPLL}},
  note         = {Machine review of arXiv:2412.13315}
}
abstract

We present a simple geometric approach to studying the $L^p$ boundedness properties of Stein's spherical maximal operator, which does not rely on the Fourier transform. Using this, we recover a weak form of Stein's spherical maximal theorem.

Figures

Figures reproduced from arXiv: 2412.13315 by the authors.

Figure 1
Figure 1. The enemy scenario for n “ 3. Here we have a fixed sphere C1 which is intersected by two further spheres C2 and C3 (not shown in the figure). The intersections C1 X C2 and C1 X C3 form a pair of tangent circles on C1, leading to an unfavourable volume bound of |C δ 1 X C δ 2 X C δ 3 | „ δ 5{2 . Note if the centres of C1, C2, C3 all lie on the horizontal coordinate plane, then the point of tangency necessarily lies o… view at source ↗

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. Improved $L^p$ bounds for the strong spherical maximal operator

    math.CA 2025-02 accept novelty 8.0 of 10

    For all n≥3 and p>2, the strong spherical maximal operator is bounded on Lp, resolving the sharp n=3 case of the strong spherical maximal conjecture.

Reference graph

Works this paper leans on

20 extracted references · 15 canonical work pages · cited by 1 Pith paper

  1. [20]

    Joshua Zahl, On maximal functions associated to families of curves in the plane , preprint: arXiv:2307.05894. Jonathan Hickman: School of Mathematics and Maxwell Institute for Mathematical Sciences, James Clerk Maxwell Building, The King’s Buildings, Peter Guthrie Tait Road, Edinburgh, EH9 3FD, UK. Email address : jonathan.hickman@ed.ac.uk Ajˇsa Jan ˇcar:...

    arXiv

  2. [3]

    Edinburgh Math

    Anthony Carbery, Covering lemmas revisited , Proc. Edinburgh Math. Soc. (2) 31 (1988), no. 1, 145–150. MR 930022

    1988

  3. [12]

    150, Cambridge University Press, Cambridge, 2015

    Pertti Mattila, Fourier analysis and Hausdorff dimension , Cambridge Studies in Advanced Mathematics, vol. 150, Cambridge University Press, Cambridge, 2015. MR 3617376

    work page 2015

  4. [1]

    David Beltran, Shaoming Guo, Jonathan Hickman, and Andreas Seeger, Sharp Lp bounds for the helical maximal function , to appear Amer. J. Math

    work page

  5. [2]

    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. MR 874045

    work page 1986

  6. [4]

    Alan Chang, Georgios Dosidis, and Jongchon Kim, Nikodym sets and maximal functions associated with spheres, to appear Rev. Mat. Iberoam

    work page

  7. [5]

    Mingfeng Chen, Shaoming Guo, and Tongou Yang, A multi-parameter cinematic curvature , preprint: arXiv:2306.01606

    arXiv

  8. [6]

    Antonio Cordoba, The Kakeya maximal function and the spherical summation multipliers , Amer. J. Math. 99 (1977), no. 1, 1–22. MR 447949

    work page 1977

Show all 20 references
  1. [7]

    Hyerim Ko, Sanghyuk Lee, and Sewook Oh, Maximal estimates for averages over space curves, Invent. Math. 228 (2022), no. 2, 991–1035. MR 4411734

    2022

  2. [8]

    Lawrence Kolasa and Thomas Wolff, On some variants of the Kakeya problem , Pacific J. Math. 190 (1999), no. 1, 111–154. MR 1722768

    1999

  3. [9]

    K¨ ovari, V

    T. K¨ ovari, V. T. S´ os, and P. Tur´ an,On a problem of K. Zarankiewicz , Colloq. Math. 3 (1954), 50–57. MR 65617

    1954

  4. [10]

    Juyoung Lee, Sanghyuk Lee, and Sewook Oh, The elliptic maximal function , J. Funct. Anal. 288 (2025), no. 1, Paper No. 110693, 31. MR 4800578

    2025

  5. [11]

    J. M. Marstrand, Packing circles in the plane , Proc. London Math. Soc. (3) 55 (1987), no. 1, 37–58. MR 887283

    1987

  6. [13]

    Sogge, Wave front sets, local smoothing and Bourgain ’s circular maximal theorem , Ann

    Gerd Mockenhaupt, Andreas Seeger, and Christopher D. Sogge, Wave front sets, local smoothing and Bourgain ’s circular maximal theorem , Ann. of Math. (2) 136 (1992), no. 1, 207–218. MR 1173929

    1992

  7. [14]

    Rubio de Francia, Maximal functions and Fourier transforms , Duke Math

    Jos´ e L. Rubio de Francia, Maximal functions and Fourier transforms , Duke Math. J. 53 (1986), no. 2, 395–404. MR 850542

    1986

  8. [15]

    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. MR 1388870

    1997

  9. [16]

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

    1998

  10. [17]

    Stein, Maximal functions

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

    1976

  11. [18]

    Wolff, Local smoothing type estimates on Lp for large p, Geom

    T. Wolff, Local smoothing type estimates on Lp for large p, Geom. Funct. Anal. 10 (2000), no. 5, 1237–1288. MR 1800068

    2000

  12. [19]

    Thomas Wolff, A Kakeya-type problem for circles , Amer. J. Math. 119 (1997), no. 5, 985–

    1997

Pith tools

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