REVIEW 2 major objections 3 minor 4 cited by
Spherical maximal operators with fractal sets of dilations on radial functions
T0 review · 2 major / 3 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper determines, for every dilation set E⊂[1,2] and every dimension d≥2, the complete Lp→Lq mapping picture of the spherical maximal operator on radial functions.
desk verdict A strong paper with a real endpoint flaw: Theorem 1.2 overclaims exact equality at p=2 when β=1, at least for E=[1,2]. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the radial type set $T^{\rm rad}_E$ together with the covering number $N(E,\delta)$ and its local refinement $\nu^\sharp(\alpha)=\limsup_{\delta\to0}\log\sup_{\delta\le|J|\le1}|J|^{-\alpha}N(E\cap J,\delta)/\log(1/\delta)$, an Assouad-type spectrum of local dilation density. The proof route is the reduction of spherical averages on radial functions to one-dimensional weighted integral transforms with kernel $K_t(r,s)$; in $d\ge3$ the operator is pointwise controlled by $M_p,R_1,R_2$, and in $d=2$ by $M^\pm_p,R^\pm_1,R^\pm_2$. The matching of necessary and sufficient estimates is carried by Lemma 3.5's radial test function $g_\delta$ supported in a $\delta$-neighborhood of a dilation $t_L$, where the spherical average is bounded below by $(\delta/|x|)^{(d-1)/2}$ on appropriate annuli, and by Proposition 5.4's decomposition of $R^\pm_2$ using a dyadic resolution of the identity; the latter converts the local counting quantity $\omega^{p,q}_m(E,k)$ into the $\nu^\sharp$ boundary.
What would settle it
Take $d=2$ and an $E$ for which $\nu^\sharp$ is known exactly, such as the Assouad-regular examples used in the sharpness discussion, and choose $(1/p,1/q)$ on the boundary $(1/q)\nu^\sharp(q/2-1)+1/p-1/q=1/2$. Apply the lower-bound test of Lemma 3.5 to $g_\delta(x)=\mathbf{1}_{[t_L-\delta,t_L+\delta]}(|x|)$ with $t_L\in E$ and $\delta$ comparable to $|t-t_L|$: the theorem requires $|A_{t(x)}g_\delta(x)|\gtrsim(\delta/|x|)^{1/2}$ for radii in the interval $I_t=[t-t_L-\delta/10,t-t_L+\delta/10]$. A direct computation showing any additional $\delta^\varepsilon$ decay there would push the necessary condition inward and falsify the two-dimensional formula; showing the lower bound is attained supports it.
Extended reading notes
Core claim
On its own terms, the paper's claim is that the radial type set $T^{\rm rad}_E=\{(1/p,1/q): M_E:L^p_{\rm rad}\to L^q\text{ is bounded}\}$ is now known for every $E\subset[1,2]$ and every $d\ge2$. For $d\ge3$, $T^{\rm rad}_E$ equals the triangle $\Delta_\beta$ with vertices $P_1=(0,0)$, $P_{2,\beta}=((d-1)/(d-1+\beta),(d-1)/(d-1+\beta))$, and $P^{\rm rad}_{3,\beta}=(d(d-1)/(d^2-1+\beta),(d-1)/(d^2-1+\beta))$; when $\sup_{0<\delta<1}\delta^\beta N(E,\delta)=\infty$ the side $[P_{2,\beta},P^{\rm rad}_{3,\beta}]$ is removed, and when $\beta=1$ the endpoint at $p=d/(d-1)$ is governed by $\sup_{\delta<1/2}\delta(\log 1/\delta)^{q/d}N(E,\delta)<\infty$. For $d=2$, $T^{\rm rad}_E=\Delta_\beta\cap\{(1/p,1/q):(1/q)\nu^\sharp(q/2-1)+1/p-1/q\le1/2\}$. The boundary is made concrete by Corollary 1.3 and Theorem 1.4: if $2\gamma-\beta\le1$ with $\gamma$ the quasi-Assouad dimension of $E$, the whole triangle is the type set; if $2\gamma-\beta>1$, the quadrangle $Q^{\rm rad}_{\beta,\gamma}$ is contained, and there are sets $E$ for which this inclusion is an equality.
Load-bearing premise
The load-bearing premise is that the cap computation in Lemma 3.5 gives the exact order of magnitude of the spherical average on the radial test function, namely $|A_{t(x)}g_\delta(x)|\gtrsim(\delta/|x|)^{(d-1)/2}$ on the annuli where $|x|$ lies in $I_t$; if this lower bound were weaker by any power of $\delta$, or if the pointwise reduction Lemma 5.1 failed to capture $M_E$ on radial functions, the boundary curve in Theorem 1.2 would shift and the equality would fail.
Editorial extensions
If this is right
- In dimensions $d\ge3$ with $\beta<1$, the side $[P_{2,\beta},P^{\rm rad}_{3,\beta}]$ is bounded exactly when $\sup_\delta\delta^\beta N(E,\delta)<\infty$; when this supremum is infinite, that whole side is removed from the type set.
- For $\beta=1$ in $d\ge3$, the endpoint $p=d/(d-1)$ is bounded into $L^q$ precisely for those $q$ satisfying $\sup_{\delta<1/2}\delta(\log 1/\delta)^{q/d}N(E,\delta)<\infty$, so the endpoint condition depends on $q$ logarithmically.
- In two dimensions, if the quasi-Assouad dimension $\gamma$ satisfies $2\gamma-\beta\le1$, the radial type set is exactly $\Delta_\beta$; if $2\gamma-\beta>1$, the quadrangle $Q^{\rm rad}_{\beta,\gamma}$ is a sharp lower bound for some $E$.
- For self-similar dilation sets, where $\beta=\gamma<1$, the theorem gives $T^{\rm rad}_E=\Delta_\beta$, so the Minkowski dimension alone fixes all radial $L^p\to L^q$ bounds.
- The necessary condition of Lemma 3.5 shows no $L^p_{\rm rad}\to L^q$ bound can hold outside the $\nu^\sharp$-cut triangle in $d=2$, so the formula in Theorem 1.2 is the largest possible type set.
Reading between the lines
- A natural testable extension is to Lorentz spaces: the proof of Proposition 5.4 has room in its exponents, so the same $\nu^\sharp$ boundary likely controls $L^{p,r}\to L^{q,s}$ refinements of the type set.
- The two-dimensional theorem effectively identifies a Legendre-type transform of the Assouad spectrum as the operative invariant; similar formulas could be expected for other averaging operators, such as variable-coefficient circular means, with $N(E\cap J,\delta)$ replaced by an appropriate wave-packet count.
- One could isolate the sharpness of Lemma 3.5 by computing $\nu^\sharp$ for a concrete Moran or self-similar set and checking the boundary pair on the test family $g_\delta$; this would separate the lower-bound mechanism from the sufficiency arguments.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the spherical maximal operator with dilations restricted to a set E⊂[1,2], acting on radial functions in R^d. For d≥3, Theorem 1.1 asserts that the radial type set T^rad_E is exactly the triangle Δ_β determined by the upper Minkowski dimension β of E, with a side removed when sup δ^β N(E,δ) is infinite and with a refined boundary description when β=1. For d=2, Theorem 1.2 claims a complete description of T^rad_E in terms of a new dimensional spectrum ν♯(α) defined from local covering numbers of E. Corollary 1.3 and Theorem 1.4 give consequences involving the quasi-Assouad and Assouad dimensions. The proof combines necessary conditions from test-function constructions (Lemma 3.4, Lemma 3.5) with sufficient estimates for the operators R^±_1, R^±_2, M^±_p in Propositions 5.2–5.5, following the reduction of Lemma 5.1.
Significance. If the stated theorems are correct, the paper would completely determine the radial L^p→L^q type set for every dilation set E in every dimension, including endpoints, and would introduce a new dimensional quantity ν♯ that appears naturally from the operator estimates. The logical architecture is careful: the necessary lower bound of Lemma 3.5 and the sufficient estimates of Propositions 5.4–5.5 are matched at the same boundary, and the quantity ν♯ is defined directly from covering numbers rather than fitted to operator bounds. The paper also gives a sharpness discussion for Corollary 1.3. However, the main theorem as stated overclaims the p=2 endpoint when β=1, a point that is internally inconsistent with Lemma 3.4 and Theorem 1.4(v). This issue is load-bearing and must be resolved before the claims can be accepted as stated.
major comments (2)
- [§1, Theorem 1.2; §3, Lemma 3.4; §5.4] Theorem 1.2 is false as stated at the p=2 endpoint for β=1. For E=[1,2], an elementary computation gives ν♯(α)=α, so every point on the vertical side 1/p=1/2, 1/4≤1/q≤1/2 satisfies the displayed inequality in Theorem 1.2; in particular (1/2,1/2) is claimed to lie in T^rad_E. But Lemma 3.4 with d=2 requires sup_{0<δ<1/2} N(E,δ)^{1/q}δ^{1/q}[log(1/δ)]^{1/2}<∞ for any L^2_rad→L^q bound; for E=[1,2] this supremum is infinite, so no such bound holds. This is not a technical gap: Theorem 1.4(v) of the same paper states that for β=1 with sup δ log(1/δ)N(E,δ)=∞, boundedness holds iff p>2 and p≤q≤2p, which excludes p=2. The theorem can at best describe the closure of T^rad_E, as the abstract itself says; the equality claim must be amended or the endpoint supplied with a genuine argument.
- [§5.4, proof of Theorem 1.2, β=1 case] The sufficiency part for β=1 treats only the interior p>2. For R^±_2 the argument uses the strict inequality 1/p−1/2 < (1/q)(1−ν♯(q/2−1)), and for M^±_p it invokes Proposition 5.5(i) which requires p>2. No argument covers the equality case 1/p=1/2. Since the necessary condition of Lemma 3.4 is not reflected in the statement of Theorem 1.2, the proof does not establish the claimed equality at that boundary. The statement should be changed to describe the closure, or an endpoint argument must be added that explains which q (if any) survive at p=2.
minor comments (3)
- [Abstract and §1] The abstract says the paper determines the closure of the L^p→L^q type set in two dimensions, while Theorem 1.2 states an exact equality. This mismatch should be resolved in the revision; if the closure is the correct statement, the theorem and its proof should be adjusted accordingly.
- [§5.3] There is a typo in the proof of Proposition 5.5: "we can assume without loss of generaltiy" should read "without loss of generality".
- [§1, definition of ν♯] In the sentence following (1.2), the observation that ν♯(α)=β for α≤0 is stated without proof; while it is a quick exercise from the definition, a one-sentence justification would improve readability.
Circularity Check
No significant circularity: the dimensional quantity ν♯ is defined from covering data, and the matching necessary and sufficient estimates are independent; the endpoint inconsistency is a correctness issue, not a circularity.
full rationale
ν♯ is defined in (1.2) directly from the covering numbers N(E∩J,δ), with no parameter fitted to operator bounds. The necessary half of Theorem 1.2 uses Corollary 3.3 and Lemma 3.5, where the lower bound (3.3) is obtained from the independent test-function argument culminating in claim (3.4). The sufficient half proceeds separately: Lemma 5.1 reduces to the operators R±1, R±2 and M±p, and Propositions 5.2, 5.4 and 5.5 prove Lp→Lq estimates whose sharp constants involve exactly the same ν♯-exponent. The fact that the lower and upper bounds meet at the same condition is the content of sharpness, not a restatement of the definition of ν♯. The citations to [20] and [13] are prior technical lemmas and constructions with overlapping authorship, but they are explicit, parameter-free, and do not assume the target equality; they are ordinary self-citations rather than a load-bearing circular chain. The apparent p=2 boundary inconsistency between Theorem 1.2 for β=1 and Theorem 1.4(v)/Lemma 3.4 is an endpoint overclaim or correctness concern, not a circularity, and does not affect the circularity score.
Assumptions & free parameters
assumptions (6)
- standard math Representation formula (4.1)-(4.2) for spherical averages acting on radial functions (Leckband [9])
- domain assumption Pointwise reductions Lemma 4.1 (d ≥ 3) and Lemma 5.1 (d = 2), cited from [20]
- standard math Resolution of identity (5.7) with moment conditions (Seeger-Tao [17, Lemma 2.1])
- standard math Littlewood-Paley square-function inequalities and Marcinkiewicz interpolation
- domain assumption Fractal geometry background: upper Assouad spectrum, quasi-Assouad dimension, attainable spectra (Fraser-Yu, Lü-Xi, Rutar)
- domain assumption Sharpness examples: (β,γ)-Assouad regular sets constructed in [13, §6.2] and convex sequences
invented entities (1)
-
ν♯(α), the dilation-set spectrum defined in (1.2)
independent evidence
Cite this review
Pith. "Pith review of Spherical maximal operators with fractal sets of dilations on radial functions." pith.science (2026). https://pith.science/paper/E66VPWWP
@misc{pith2026241209390,
author = {Pith},
title = {Pith review of: Spherical maximal operators with fractal sets of dilations on radial functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/E66VPWWP}},
note = {Machine review of arXiv:2412.09390}
}
abstract
For a given set of dilations $E\subset [1,2]$, Lebesgue space mapping properties of the spherical maximal operator with dilations restricted to $E$ are studied when acting on radial functions. In higher dimensions, the type set only depends on the upper Minkowski dimension of $E$, and in this case complete endpoint results are obtained. In two dimensions we determine the closure of the $L^p\to L^q$ type set for every given set $E$ in terms of a dimensional spectrum closely related to the upper Assouad spectrum of $E$.
Figures
Forward citations
Cited by 4 Pith papers
-
Power weight inequalities for spherical maximal functions
The weighted L^p(|x|^alpha) type set of the spherical maximal operator with dilation set E is characterized, up to endpoints, by the Legendre-Assouad function of E.
-
Endpoint estimates for the fractal circular maximal function and related local smoothing
For dilation sets with bounded Assouad dimension α, the circular maximal function is proven of restricted weak type at the endpoint Q_{4,α}, and the fractal local smoothing estimate holds for an extended range of q.
-
On the Marstrand projection theorem for the Assouad spectrum
Marstrand's projection theorem fails for the Assouad spectrum and quasi-Assouad dimension, with new almost-sure lower bounds from capacity profiles and upper bounds from tube-counting for planar sets.
-
Applications of dimension interpolation to orthogonal projections
This survey shows how the Assouad spectrum, intermediate dimensions, and Fourier spectrum yield sharper projection theorems for fractal sets.
Reference graph
Works this paper leans on
-
[1]
Lp → Lq bounds for spherical maximal operators
Theresa Anderson, Kevin Hughes, Joris Roos, and Andreas Seeger. Lp → Lq bounds for spherical maximal operators. Math. Z. , 297(3-4):1057–1074, 2021
work page 2021
-
[2]
Attainable forms of interme diate dimensions
Amlan Banaji and Alex Rutar. Attainable forms of interme diate dimensions. Ann. Fenn. Math., 47:939–960, 2022
work page 2022
-
[3]
Averages in the plane over convex curves a nd maximal operators
Jean Bourgain. Averages in the plane over convex curves a nd maximal operators. J. Analyse Math., 47:69–85, 1986
work page 1986
-
[4]
Jonathan M. Fraser. Assouad dimension and fractal geometry , volume 222 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2021
work page 2021
-
[5]
Jonathan M. Fraser, Kathryn E. Hare, Kevin G. Hare, Sasch a Troscheit, and Han Yu. The assouad spectrum and the quasi-assouad dimension: a tale of two spectra. Ann. Acad. Sci. Fenn. Math., 4:379–387, 2019
work page 2019
-
[6]
Jonathan M. Fraser and Han Yu. Assouad-type spectra for s ome fractal families. Indiana Univ. Math. J. , 67(5):2005–2043, 2018
work page 2005
-
[7]
Jonathan M. Fraser and Han Yu. New dimension spectra: fine r information on scaling and homogeneity. Adv. Math. , 329:273–328, 2018
work page 2018
-
[8]
Estimates for translation invariant o perators in Lp spaces
Lars H¨ ormander. Estimates for translation invariant o perators in Lp spaces. Acta Math. , 104:93–140, 1960
work page 1960
Show all 23 references
-
[9]
Leckband
Mark A. Leckband. A note on the spherical maximal operato r for radial functions. Proc. Amer. Math. Soc. , 100:635–640, 1987
1987
-
[10]
Lp − Lq-estimates for singular integral operators arising from hy perbolic equations
W alter Littman. Lp − Lq-estimates for singular integral operators arising from hy perbolic equations. In Partial differential equations (Proc. Sympos. Pure Math., V ol. XXIII, Univ. California, Berkeley, Calif., 1971) , pages 479–481, 1973
1971
-
[11]
Quasi-assouad dimension of frac tals
Fan L¨ u and Li-Feng Xi. Quasi-assouad dimension of frac tals. J. Fractal Geom. , 3:187–215, 2016
2016
-
[12]
Adam Nowak, Luz Roncal, and Tomasz Z. Szarek. Endpoint e stimates and optimality for the generalized spherical maximal operator on radial funct ions. Commun. Pure Appl. Anal. , 22(7):2233–2277, 2023
2023
-
[13]
Spherical maximal funct ions and fractal dimensions of dilation sets
Joris Roos and Andreas Seeger. Spherical maximal funct ions and fractal dimensions of dilation sets. Amer. J. Math. , 145(4):1077–1110, 2023
2023
-
[14]
Attainable forms of Assouad spectra
Alex Rutar. Attainable forms of Assouad spectra. Indiana Univ. Math. J. , 73:1331–1356, 2024
2024
-
[15]
A generalization of Bourgain’s circul ar maximal theorem
Wilhelm Schlag. A generalization of Bourgain’s circul ar maximal theorem. J. Amer. Math. Soc., 10(1):103–122, 1997
1997
-
[16]
Wilhelm Schlag and Christopher D. Sogge. Local smoothi ng estimates related to the circular maximal theorem. Math. Res. Lett. , 4(1):1–15, 1997
1997
-
[17]
Sharp Lorentz space est imates for rough operators
Andreas Seeger and Terence Tao. Sharp Lorentz space est imates for rough operators. Math. Ann., 320(2):381–415, 2001
2001
-
[18]
Endpoin t mapping properties of spherical maximal operators
Andreas Seeger, Terence Tao, and James W right. Endpoin t mapping properties of spherical maximal operators. J. Inst. Math. Jussieu , 2(1):109–144, 2003
2003
-
[19]
Poi ntwise convergence of spherical means
Andreas Seeger, Stephen W ainger, and James W right. Poi ntwise convergence of spherical means. Math. Proc. Cambridge Philos. Soc. , 118(1):115–124, 1995
1995
-
[20]
Sph erical maximal operators on radial functions
Andreas Seeger, Stephen W ainger, and James W right. Sph erical maximal operators on radial functions. Math. Nachr. , 187:95–105, 1997
1997
-
[21]
Elias M. Stein. Maximal functions. I. Spherical means. Proc. Nat. Acad. Sci. U.S.A. , 73(7):2174–2175, 1976
1976
-
[22]
Elias M. Stein. Harmonic analysis: real-variable methods, orthogonality , and oscillatory integrals, volume 43 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 1993. With the assistance of Timothy S. Murphy, Monograp hs in Harmonic Analysis, III
1993
-
[23]
Lp improving bounds for spherical maximal operators over rest ricted dilation sets: radial improvements
Shuijiang Zhao. Lp improving bounds for spherical maximal operators over rest ricted dilation sets: radial improvements. Preprint, 2024. 28 D. BELTRAN, J. ROOS, A. SEEGER Departament d’An`alisi Matem `atica, Universitat de V al`encia, Burjassot, Spain Email address : david.bel...
2024
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.