Pith. sign in

REVIEW 1 major objections 4 minor 1 cited by

$L^p$-improving bounds for spherical maximal operators over restricted dilation sets: radial improvement

T0 review · 1 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 For radial functions, the sharp Lp-improving region of the spherical maximal operator over a restricted dilation set is a triangle fixed by the upper Minkowski dimension in dimensions $d\ge 3$.

desk verdict Detailed and internally coherent radial Lp-improving results whose novelty is substantially conceded in the paper's own acknowledgments; the 2D 'sharpness' claim is also broader than the theorems. read the letter →

arxiv 2412.09882 v1 pith:ORU3G7BX submitted 2024-12-13 math.CA

Shuijiang Zhao This is my paper · ORCID
classification math.CA MSC 42B2528A80
keywords Lp-improvingboundssphericalmaximaloperatorsradialfunctionsrestricteddilationsetsMinkowskidimensionquasi-AssouadAssouadspectrumLorentzspaces
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 asks how much the range of $L^p\to L^q$ bounds for the localized spherical maximal operator $M_E$ improves when the function is radial, with $E\subset[1,2]$ a possibly fractal set of dilation radii. The main answer is a complete characterization in dimensions $d\ge 3$: the radial type set is always the triangle $\Delta(\beta)$ determined by the upper Minkowski dimension $\beta=\dim_M E$, with one side $[Q_1(\beta),Q_2(\beta)]$ removed exactly when the normalized covering count $\sup_{\delta} \delta^{\beta}N(E,\delta)$ is infinite. In two dimensions the paper proves that the region is generally a quadrilateral $Q(\beta,\gamma)$ controlled also by the quasi-Assouad dimension, and for quasi-Assouad regular sets with $2\gamma\ge\beta+1$ this quadrilateral is sharp. The significance is that radial symmetry removes the non-radial Knapp-type obstructions, so the radial type set is strictly larger than the general-function type set and has a different geometric shape.

What carries the argument

The load-bearing object is the one-dimensional reduction of the spherical average on radial functions: $A_t f(x)=c_d\int_{|r-t|}^{r+t}K_t(r,s)f_0(s)\,ds$ with $r=|x|$, and in $d\ge3$ a pointwise inequality bounds $M_E f$ by a one-dimensional maximal operator $M_{E,p}$ together with two simpler remainder operators $R_1,R_2$. The proof then reduces the problem to weighted $L^p$ estimates for these one-dimensional operators, with geometry entering through the Minkowski characteristic $\chi^E_{M,\beta}(\delta)=\delta^\beta N(E,\delta)$ and the distance-to-$E$ layers $D_n=\{r:2^{-n}<\mathrm{dist}(r,E)\le2^{-n+1}\}$. In two dimensions the kernel has square-root singularities, so the decomposition is finer, involving operators $M_{E,p}$, $\widetilde M_{E,p}$, and $R_{1,E},\dots,R_{4,E}$, and local covering numbers $N(E\cap I,\delta)$ bring in the Assouad spectrum; Bourgain's interpolation lemma converts the resulting restricted weak-type endpoints into strong-type conclusions.

What would settle it

Take $d\ge3$ and a concrete set where (1.10) fails, such as $E=\{1+2^{-n}:n\ge1\}$, which has $\beta=0$ and $\sup_\delta N(E,\delta)=\infty$. Theorem 1.2(ii) predicts strong-type bounds exactly on $\Delta(0)\setminus[Q_1(0),Q_2(0)]$; checking the annulus counterexample from Section 4.3 at points inside that triangle and on the missing side would decide whether the predicted boundary is correct. If any point outside the missing side also fails, or a point on the missing side succeeds, the dichotomy in Theorem 1.2 is false.

Watch

Extended reading notes

Core claim

The central claim is that for radial functions the sharp $L^p$-improving region of $M_E$ can be read off from the covering numbers $N(E,\delta)$ alone in dimensions $d\ge3$: with $\beta=\dim_M E$, one has $T_E^{\mathrm{rad}}=\Delta(\beta)$ when $\beta<1$ and $\sup_{0<\delta<1}\delta^\beta N(E,\delta)<\infty$, and $T_E^{\mathrm{rad}}=\Delta(\beta)\setminus[Q_1(\beta),Q_2(\beta)]$ otherwise; for $\beta=1$, the endpoint question is settled by the logarithmic condition $\sup (\log(1/\delta))^{q/d}\delta N(E,\delta)<\infty$. In two dimensions, the same radial problem is governed by local covering numbers $N(E\cap I,\delta)$, so the (quasi-)Assouad dimension enters: for quasi-Assouad regular sets with $2\gamma\ge\beta+1$ the sharp region is the quadrilateral $Q(\beta,\gamma)$, which degenerates to $\Delta(\beta)$ when $2\gamma<\beta+1$.

Load-bearing premise

The load-bearing premise is the quoted pointwise inequality (2.1) from [17, Lemma 3.1] that reduces the $d$-dimensional radial spherical maximal operator to one-dimensional integral operators; if that reduction fails for some dilation set $E$ or dimension $d$, the triangle bounds for $d\ge3$ are not established.

Editorial extensions

If this is right

  • For $E=[1,2]$ in all dimensions $d\ge2$, radial functions satisfy strong-type estimates exactly on $\Delta(1)\setminus[Q_1(1),Q_2(1)]$, a strictly larger region than the general-function type set $P(1,1)$.
  • For $d\ge3$, two dilation sets with the same upper Minkowski dimension have identical radial type sets; no Assouad-type information is needed.
  • If $\sup_\delta \delta^\beta N(E,\delta)$ is finite, every point of the triangle $\Delta(\beta)$ is bounded; if it is infinite, the entire closed side $[Q_1(\beta),Q_2(\beta)]$ fails simultaneously.
  • In $d=2$, for a quasi-Assouad regular set with $2\gamma\ge\beta+1$, the sharp radial region is the quadrilateral $Q(\beta,\gamma)$; finite unions of such sets yield the intersection of the corresponding quadrilaterals.
  • At the endpoint $\beta=1$, the radial $L^{d/(d-1)}\to L^q$ boundedness for $d/(d-1)\le q\le d^2/(d-1)$ is equivalent to $\sup_\delta (\log(1/\delta))^{q/d}\delta N(E,\delta)<\infty$.

Reading between the lines

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

  • Editorial inference: Theorem 1.2 makes a sharp dichotomy prediction that can be stress-tested on sets with slowly divergent covering counts, such as $E=\{1+2^{-n}\}$; such examples should lose exactly the side $[Q_1(0),Q_2(0)]$, not a larger set.
  • Editorial inference: The contrast between dimensions suggests that in $d=2$ any complete description of $T_E^{\mathrm{rad}}$ for all $E$ must use a scale-local dimension such as the Assouad spectrum, while in $d\ge3$ the global Minkowski dimension suffices because the kernel lacks the singularities that make local accumulations of $E$ visible.
  • Editorial inference: The same reduction to one-dimensional weighted averages should yield radial $L^p$-improving bounds for spherical maximal operators over other curves or over higher-codimension sets, where no non-radial Knapp obstruction is present; this would be a testable extension beyond the paper's statements.
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

1 major / 4 minor

Summary. The paper studies Lp-improving bounds for the spherical maximal operator M_E over a dilation set E⊂[1,2], restricted to radial functions. In dimensions d≥3, Theorem 1.2 characterizes the radial type set completely in terms of the upper Minkowski dimension β of E: if the β-Minkowski characteristic is bounded, the type set is the full triangle ∆(β), and if not, it is ∆(β) minus the closed vertical segment [Q1(β),Q2(β)]; for β=1, an endpoint characterization on the segment involves a logarithmic Minkowski characteristic. In dimension d=2, the paper shows that the radial type set depends on further fractal information: Theorems 1.4, 1.5, and 1.8 provide lower bounds, necessary conditions, and endpoint estimates in terms of the quasi-Assouad and Assouad dimensions. The proofs use the pointwise reduction of spherical means on radial functions to one-dimensional maximal averages, dyadic decompositions, interpolation arguments, and independent counterexamples for the necessary conditions.

Significance. Theorem 1.2 gives a clean and apparently complete description of radial Lp-improving bounds for higher-dimensional restricted dilation sets, depending only on the upper Minkowski dimension; this is a substantial complement to the general-function theory of Anderson–Hughes–Roos–Seeger and Roos–Seeger. The two-dimensional results are also interesting because they reveal that Assouad-type dimensions enter the radial problem in a way that they do not in higher dimensions, and the quadrilateral region Q(β,γ) provides a genuinely new shape for the radial type set. The proofs are detailed, the necessary conditions come from explicit counterexamples rather than from the positive estimates, and the load-bearing reduction from [17, Lemma 3.1] appears to be applied correctly. The main caveats are that the abstract overstates the two-dimensional sharpness for arbitrary quasi-Assouad regular sets, and the acknowledgment indicates that the overlapping preprint [6] may subsume parts of the results; these affect framing and novelty rather than the correctness of the stated theorems.

major comments (1)
  1. [Abstract and Theorems 1.4, 1.5, 1.8] The abstract claims that sharp results are obtained in two dimensions for quasi-Assouad regular sets, but this is not established for all such sets. When 2γ≥β+1, Theorem 1.5 supplies the upper bound T^rad_E⊂Q(β,γ) and Theorem 1.4(ii) supplies the matching lower bound, so equality follows. When 2γ<β+1, however, only the inclusions of Theorem 1.4(i) and the necessary conditions of Theorem 1.5 are proved; full sharpness on the boundary requires the additional characteristic assumptions of Theorem 1.8. The abstract and Remark 1.6 should be qualified to state precisely in which cases the two-dimensional characterization is complete.
minor comments (4)
  1. [Lemma 2.2, proof] The first sentence of the proof says 'Since R2 is bounded on L∞(µ_d)' but the lemma concerns R1 alone; it should read 'Since R1 is bounded on L∞(µ_d)'.
  2. [Corollary 3.12] In the displayed inclusion after (3.16), '(O.Q2(2γ∗−1))' contains a period instead of a comma and should be '(O, Q2(2γ∗−1))'.
  3. [Acknowledgments and References] The acknowledgment states that Beltran–Roos–Seeger [6] has obtained similar high-dimensional results and a complete two-dimensional characterization; the introduction should explicitly explain which theorems in the present paper are new relative to [6] and what differences remain, so that the reader can assess the incremental contribution.
  4. [Abstract and Introduction] There are several minor typographical issues, such as 'OPERA TORS' in the title and inconsistent formatting of 'Lp−' instead of 'Lp-'; these do not affect the mathematics but should be corrected in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the radial type-set characterizations are derived from stated fractal-characteristic assumptions via explicit estimates and independent counterexamples.

full rationale

Score 0. The derivation chain is self-contained in the sense required by the circularity check. The main high-dimensional result, Theorem 1.2, rests on the pointwise reduction (2.1) quoted from [17, Lemma 3.1]; that lemma is a published reduction from (1.14)-(1.15) and does not assume any of the Lp-improving type-set conclusions, so it is independent support rather than a self-citation or a smuggled ansatz. The sufficiency directions are proved by explicit dyadic estimates (Propositions 2.8, 2.11, 3.8, 3.10) whose hypotheses are exactly the stated Minkowski and Assouad characteristics, and the endpoints p0, p1 are computed from β rather than fitted to match the claimed triangle; no parameter is renamed as a prediction. The necessity directions come from independent counterexamples: Stein's radial example, annulus characteristic-function examples, and δ-separated set constructions, all of which genuinely constrain the type set and do not presuppose the theorem's conclusion. The two-dimensional quasi-Assouad regularity condition is imported as a hypothesis from [12], not as a proof of the conclusion, and the paper supplies proofs for the operators it introduces rather than hiding them behind a chain of self-citations. The acknowledgment that Beltran–Roos–Seeger [6] obtained overlapping high-dimensional results and a complete two-dimensional characterization is a novelty and framing caveat, not evidence of circular reasoning. No step in the paper reduces to its own input by definition, and no fitted quantity is later relabeled as a sharp endpoint.

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

No new physical entities or fitted constants are introduced. The paper relies on standard analytic tools and explicit fractal-geometric assumptions on E. The type set T^rad_E is a definition, not an invented entity.

assumptions (3)
  • standard math The pointwise inequality (2.1) for M_E on radial functions (Lemma 2.1, quoted from [17, Lemma 3.1])
    This reduction to one-dimensional operators underlies all positive high-dimensional results; a failure here would invalidate them.
  • domain assumption Finiteness assumptions sup_{0<δ<1} χ^E_{M,β}(δ) < ∞ and sup_{0<δ<1} χ^E_{A,γ}(δ) < ∞
    These are hypotheses in Theorems 1.2, 1.8, and Proposition 3.10; the results are conditional on them.
  • standard math Real interpolation and Bourgain's interpolation trick (Lemma 3.11)
    Used to derive strong type bounds from endpoint restricted weak type estimates.

how reviews work

0 comments
Cite this review

Pith. "Pith review of $L^p$-improving bounds for spherical maximal operators over restricted dilation sets: radial improvement." pith.science (2026). https://pith.science/paper/ORU3G7BX

@misc{pith2026241209882,
  author       = {Pith},
  title        = {Pith review of: $L^p$-improving bounds for spherical maximal operators over restricted dilation sets: radial improvement},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ORU3G7BX}},
  note         = {Machine review of arXiv:2412.09882}
}
abstract

In this paper, we study the spherical maximal operator $ M_E $ over $ E\subset [1,2]$, restricted to radial functions. In higher dimensions $ d\geq 3$, we establish a complete range of $ L^p-$improving estimates for $ M_E $. In two dimensions, sharp results are also obtained for quasi-Assouad regular sets $E$. A notable feature is that the high-dimensional results depend solely on the upper Minkowski dimension, while the two-dimensional results also involve other concepts in fractal geometry such as the Assouad spectrum. Additionally, the geometric shapes of the regions corresponding to the sharp $ L^p-$improving bounds differ significantly between the two cases.

Figures

Figures reproduced from arXiv: 2412.09882 by the authors.

Figure 1
Figure 1. The radial improvement for M[1,2] in higher dimensions (d ≥ 3) is represented by the gray triangle. For better demonstra￾tion, we choose the case d = 3 here. 1 q 1 p O P1/P2/Q1 Q2 P3 /5 1/22 1/2 1/4 1/5 [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. The gray triangle illustrates the radial improvement for the circular maximal operators M[1,2]. estimates at the points P1(β), P2(β) and P3(γ), and then proved the endpoint result (1.8) P(β, γ) \ {P1(β), P2(β), P3(γ)} ⊂ TE by interpolation. For a generic E ⊂ [1, 2] with β = dimME, γ = dimqAE and γ∗ = dimAE, the non-endpoint result (1.9) int(P(β, γ)) ∪ (O, P1(β)) ∪ (O, P3(γ∗)) ⊂ TE was also essentially established in… view at source ↗
Figure 3
Figure 3. When d ≥ 3, the gray triangle shows the distinction between TE and T rad E for a quasi-Assouad regular set E. (i) Suppose that β < 1 and (1.10) sup 0<δ<1 χ E M,β(δ) < ∞. Then T rad E = ∆(β). (ii) Suppose that (1.10) does not hold true. Then T rad E = ∆(β) \ [Q1(β), Q2(β)]. (iii) Suppose that d d−1 ≤ q ≤ d 2 d−1 . Then ME is bounded L d d−1 rad → L q if and only if (1.11) sup 0<δ<1 (log( 1 δ )) q d χ E M,1 (δ) < ∞. R… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: For a quasi-Assouad regular set E with 2γ > β + 1, the red triangle is excluded from the radial improvement for the circular maximal operator ME, highlighting the difference between two-dimensional and higher-dimensional cases [PITH_FULL_IMAGE:figures/full_fig_p006_4.png]

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. Endpoint estimates for the fractal circular maximal function and related local smoothing

    math.CA 2025-06 conditional novelty 7.0 of 10

    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.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 1 Pith paper

  1. [6]

    Spherica l maximal operators with fractal sets of dilation on radial functions

    Beltran David, Joris Roos, and Andreas Seeger. Spherica l maximal operators with fractal sets of dilation on radial functions. Preprint, 2024. 26

    work page 2024

  2. [17]

    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:241–265, 1997. 2, 8, 10, 17, 18, 19, 20, 23

    work page 1997

  3. [1]

    Anderson, Kevin

    Theresa. Anderson, Kevin. Hughes, Joris. Roos, and Andr eas Seeger. Lp → Lq bounds for spherical maximal operators. Math. Z. , 297(3-4):1057–1074, 2021. 3, 4, 5, 23

    work page 2021

  4. [2]

    ´ etude d’une dimension m´ etrique li´ ee ` a la possibilit´ e de plongements dans Rn

    Patrice Assouad. ´ etude d’une dimension m´ etrique li´ ee ` a la possibilit´ e de plongements dans Rn. C. R. Acad. Sci. Paris S´ er. A-B , 288(15):A731–A734, 1979. 2

    work page 1979

  5. [3]

    Estimations de certaines fonctions maxi males

    Jean Bourgain. Estimations de certaines fonctions maxi males. C. R. Acad. Sci. Paris S´ er. I Math., 301(10):499–502, 1985. 1, 21

    work page 1985

  6. [4]

    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. 1

    work page 1986

  7. [5]

    Classes of singular integral operators along variable lines

    Anthony Carbery, Andreas Seeger, Stephen W ainger, and J ames W right. Classes of singular integral operators along variable lines. J. Geom. Anal. , 9(4):583–605, 1999. 21

    work page 1999

  8. [7]

    Fraser, Kathryn E

    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., 44(1):379–387, 2019. 2

    work page 2019

Show all 18 references
  1. [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. 23

    1960

  2. [9]

    A note on the spherical maximal operator f or radial functions

    Mark Leckband. A note on the spherical maximal operator f or radial functions. Proc. Amer. Math. Soc. , 100(4):635–640, 1987. 1, 7, 10

    1987

  3. [10]

    Endpoint estimates for the circular maxi mal function

    Sanghyuk Lee. Endpoint estimates for the circular maxi mal function. Proc. Amer. Math. Soc., 131(5):1433–1442, 2003. 3 SPHERICAL MAXIMAL OPERATORS ON RADIAL FUNCTIONS 27

    2003

  4. [11]

    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. 14

    2023

  5. [12]

    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. 2, 3, 5, 7

    2023

  6. [13]

    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. 3, 23

    1997

  7. [14]

    Wilhelm Schlag and Christopher D. Sogge. Local smoothi ng estimates related to the circular maximal theorem. Math. Res. Lett. , 4(1):1–15, 1997. 3, 23

    1997

  8. [15]

    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. 1, 2

    2003

  9. [16]

    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. 2

    1995

  10. [18]

    Elias M. Stein. Maximal functions. I. Spherical means. Proc. Nat. Acad. Sci. U.S.A. , 73(7):2174–2175, 1976. 1, 10 School of Mathematical Sciences, Zhejiang University, Hangz hou 310058, P. R. China Email address : zhaoshuijiang@zju.edu.cn

    1976

Pith tools

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