Problems on spherical maximal functions
Pith reviewed 2026-05-17 22:34 UTC · model grok-4.3
The pith
Spherical maximal functions face open conjectures when dilations form fractal sets.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors survey old and new conjectures and results on various types of spherical maximal functions, emphasizing problems with a fractal dilation set.
What carries the argument
Spherical maximal functions, which take the supremum of spherical averages over a set of radii that may be fractal, and whose boundedness properties depend on the geometry of that set.
If this is right
- Boundedness of the maximal operator holds or fails according to the dimension and the Hausdorff dimension of the fractal dilation set.
- Pointwise convergence of spherical means occurs almost everywhere under restrictions on the fractal properties of the radius set.
- The survey organizes results that link geometric properties of the dilation set to analytic behavior of the operators.
Where Pith is reading between the lines
- Resolving the surveyed conjectures could inform similar questions about maximal averages over other curved surfaces or manifolds.
- Numerical checks on specific fractal sets such as Cantor sets of radii might offer evidence supporting or challenging the stated open problems.
- The emphasis on fractal dilations suggests that techniques from geometric measure theory could be adapted to settle some of the listed conjectures.
Load-bearing premise
The survey accurately represents the current state of conjectures and results in the literature without significant omissions or misstatements.
What would settle it
A new theorem or counterexample resolving one of the emphasized open conjectures on fractal spherical maximal functions would test whether the survey's account of the open problems is complete and accurate.
Figures
read the original abstract
We survey old and new conjectures and results on various types of spherical maximal functions, emphasizing problems with a fractal dilation set.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript surveys old and new conjectures and results on various types of spherical maximal functions, with emphasis on problems involving fractal dilation sets.
Significance. If the survey accurately captures the literature, it offers a useful compilation of open problems in harmonic analysis. Highlighting fractal dilation sets may direct attention to under-explored variants of the spherical maximal operator and related questions.
minor comments (2)
- [Abstract/Introduction] The abstract and introduction should explicitly delineate the scope of the survey (e.g., which classes of spherical maximal functions are included or excluded) to help readers evaluate completeness.
- Ensure that citations to recent preprints or updates on the listed conjectures are current, as the field evolves quickly.
Simulated Author's Rebuttal
We thank the referee for their review and positive recommendation of minor revision. The assessment that the survey compiles open problems in harmonic analysis and highlights fractal dilation sets is appreciated. No specific major comments were provided in the report, so we interpret the minor revision as a general request to ensure accuracy and clarity in the literature survey.
Circularity Check
No significant circularity in survey of conjectures
full rationale
The paper is a survey that collects and highlights existing conjectures and results on spherical maximal functions with fractal dilation sets, without presenting any new derivations, proofs, parameter fittings, or predictions. No equations or load-bearing claims appear that could reduce to self-citations or inputs by construction. The content draws from external cited literature in a standard descriptive manner, making the paper self-contained against external benchmarks with no internal circular steps.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard boundedness results and techniques for maximal functions in harmonic analysis.
Forward citations
Cited by 1 Pith paper
-
Boundary estimates for the fractional spherical maximal function
The fractional spherical maximal function and its lacunary counterpart satisfy restricted weak type estimates at the boundary of their L^p-L^q boundedness regions.
Reference graph
Works this paper leans on
-
[1]
J. F. Adams, Peter D. Lax, and Ralph S. Phillips. On matrices whose real linear combinations are non-singular.Proc. Amer. Math. Soc., 16:318–322, 1965. Correc- tion in Proc. Amer. Math. Soc. 17 (1966) 945–947
work page 1965
-
[2]
Theresa Anderson, Kevin Hughes, Joris Roos, and Andreas Seeger.L p →L q bounds for spherical maximal operators.Math. Z., 297(3-4):1057–1074, 2021
work page 2021
-
[3]
On the maximal function associated to the spherical means on the Heisenberg group.New York J
Sayan Bagchi, Sourav Hait, Luz Roncal, and Sundaram Thangavelu. On the maximal function associated to the spherical means on the Heisenberg group.New York J. Math., 27:631–675, 2021
work page 2021
-
[4]
Off-diagonal estimates for the helical maximal function.Proc
David Beltran, Jennifer Duncan, and Jonathan Hickman. Off-diagonal estimates for the helical maximal function.Proc. Lond. Math. Soc. (3), 128(4):Paper No. e12594, 36, 2024
work page 2024
-
[5]
Sobolev improving for averages over curves inR 4.Adv
David Beltran, Shaoming Guo, Jonathan Hickman, and Andreas Seeger. Sobolev improving for averages over curves inR 4.Adv. Math., 393:Paper No. 108089, 85, 2021
work page 2021
-
[6]
The circular maximal operator on Heisenberg radial functions.Ann
David Beltran, Shaoming Guo, Jonathan Hickman, and Andreas Seeger. The circular maximal operator on Heisenberg radial functions.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 23(2):501–568, 2022
work page 2022
-
[7]
SharpL p bounds for the helical maximal function.Amer
David Beltran, Shaoming Guo, Jonathan Hickman, and Andreas Seeger. SharpL p bounds for the helical maximal function.Amer. J. Math., 147(1):149–234, 2025
work page 2025
-
[8]
David Beltran, Jonathan Hickman, and Christopher D. Sogge. Variable coefficient Wolff-type inequalities and sharp local smoothing estimates for wave equations on manifolds.Anal. PDE, 13(2):403–433, 2020
work page 2020
-
[9]
Variation bounds for spherical averages.Math
David Beltran, Richard Oberlin, Luz Roncal, Andreas Seeger, and Betsy Stovall. Variation bounds for spherical averages.Math. Ann., 382(1-2):459–512, 2022. PROBLEMS ON SPHERICAL MAXIMAL FUNCTIONS 25
work page 2022
-
[10]
A fractal local smooth- ing problem for the wave equation
David Beltran, Joris Roos, Alex Rutar, and Andreas Seeger. A fractal local smooth- ing problem for the wave equation. arXiv:2501.12805, published online in Bull. Lond. Math. Soc
-
[11]
David Beltran, Joris Roos, and Andreas Seeger. Multi-scale sparse domination. Mem. Amer. Math. Soc., 298(1491):v+104, 2024
work page 2024
-
[12]
Spherical maximal operators with fractal sets of dilations on radial functions
David Beltran, Joris Roos, and Andreas Seeger. Spherical maximal operators with fractal sets of dilations on radial functions. Preprint, arXiv:2412.09390, 2024
-
[13]
Sharp weighted norm estimates beyond Calder´ on-Zygmund theory.Anal
Fr´ ed´ eric Bernicot, Dorothee Frey, and Stefanie Petermichl. Sharp weighted norm estimates beyond Calder´ on-Zygmund theory.Anal. PDE, 9(5):1079–1113, 2016
work page 2016
- [14]
-
[15]
Estimations de certaines fonctions maximales.C
Jean Bourgain. Estimations de certaines fonctions maximales.C. R. Acad. Sci. Paris S´ er. I Math., 301(10):499–502, 1985
work page 1985
-
[16]
The proof of thel 2 decoupling conjecture
Jean Bourgain and Ciprian Demeter. The proof of thel 2 decoupling conjecture. Ann. of Math. (2), 182(1):351–389, 2015
work page 2015
-
[17]
Calixto P. Calder´ on. Lacunary spherical means.Illinois J. Math., 23(3):476–484, 1979
work page 1979
-
[18]
Nikodym sets and maximal func- tions associated with spheres.Rev
Alan Chang, Georgios Dosidis, and Jongchon Kim. Nikodym sets and maximal func- tions associated with spheres.Rev. Mat. Iberoam., 41(3):1009–1056, 2025
work page 2025
-
[19]
A multi-parameter cinematic curvature
Mingfeng Chen, Shaoming Guo, and Tongou Yang. A multi-parameter cinematic curvature. Preprint, arXiv:2306.01606, 2023
-
[20]
Multiparameter maximal operators and square functions on prod- uct spaces.Indiana Univ
Yong-Kum Cho. Multiparameter maximal operators and square functions on prod- uct spaces.Indiana Univ. Math. J., 43(2):459–491, 1994
work page 1994
-
[21]
Weak type (1,1) bounds for rough operators.Ann
Michael Christ. Weak type (1,1) bounds for rough operators.Ann. of Math. (2), 128(1):19–42, 1988
work page 1988
-
[22]
Michael Christ and Elias M. Stein. A remark on singular Calder´ on-Zygmund theory. Proc. Amer. Math. Soc., 99(1):71–75, 1987
work page 1987
-
[23]
Improved endpoint bounds for the lacunary spherical maximal operator.Anal
Laura Cladek and Benjamin Krause. Improved endpoint bounds for the lacunary spherical maximal operator.Anal. PDE, 17(6):2011–2032, 2024
work page 2011
-
[24]
Ronald R. Coifman and Guido Weiss. Extensions of Hardy spaces and their use in analysis.Bull. Amer. Math. Soc., 83(4):569–645, 1977
work page 1977
-
[25]
Ronald R. Coifman and Guido Weiss. Book Review: Littlewood-Paley and multiplier theory.Bull. Amer. Math. Soc., 84(2):242–250, 1978
work page 1978
-
[26]
Radial solutions to the wave equation.Ann
Leonardo Colzani, Alice Cominardi, and Krzysztof Stempak. Radial solutions to the wave equation.Ann. Mat. Pura Appl. (4), 181(1):25–54, 2002
work page 2002
-
[27]
Conde-Alonso, Francesco Di Plinio, Ioannis Parissis, and Manasa N
Jos´ e M. Conde-Alonso, Francesco Di Plinio, Ioannis Parissis, and Manasa N. Vempati. A metric approach to sparse domination.Ann. Mat. Pura Appl. (4), 201(4):1639–1675, 2022
work page 2022
-
[28]
Conde-Alonso and Guillermo Rey
Jos´ e M. Conde-Alonso and Guillermo Rey. A pointwise estimate for positive dyadic shifts and some applications.Math. Ann., 365(3-4):1111–1135, 2016
work page 2016
-
[29]
Michael G. Cowling. On Littlewood-Paley-Stein theory.Rend. Circ. Mat. Palermo (2), Suppl. 1:21–55, 1981
work page 1981
-
[30]
Domination of multilinear singular integrals by positive sparse forms.J
Amalia Culiuc, Francesco Di Plinio, and Yumeng Ou. Domination of multilinear singular integrals by positive sparse forms.J. Lond. Math. Soc. (2), 98(2):369–392, 2018
work page 2018
-
[31]
Weighted inequalities for some spherical maximal operators.Illinois J
Javier Duoandikoetxea and Edurne Seijo. Weighted inequalities for some spherical maximal operators.Illinois J. Math., 46(4):1299–1312, 2002
work page 2002
-
[32]
Spherical means and weighted inequalities
Javier Duoandikoetxea and Luis Vega. Spherical means and weighted inequalities. J. London Math. Soc. (2), 53(2):343–353, 1996
work page 1996
-
[33]
M. Burak Erdo˘ gan. Mapping properties of the elliptic maximal function.Rev. Mat. Iberoamericana, 19(1):221–234, 2003
work page 2003
-
[34]
Fraser.Assouad dimension and fractal geometry, volume 222 ofCam- bridge Tracts in Mathematics
Jonathan M. Fraser.Assouad dimension and fractal geometry, volume 222 ofCam- bridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2021. 26 J. ROOS AND A. SEEGER
work page 2021
-
[35]
Jonathan M. Fraser, Kathryn E. Hare, Kevin G. Hare, Sascha 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
work page 2019
-
[36]
Jonathan M. Fraser and Han Yu. Assouad-type spectra for some fractal families. Indiana Univ. Math. J., 67(5):2005–2043, 2018
work page 2005
-
[37]
Jonathan M. Fraser and Han Yu. New dimension spectra: finer information on scaling and homogeneity.Adv. Math., 329:273–328, 2018
work page 2018
-
[38]
On local smoothing estimates for wave equations
Shengwen Gan and Shukun Wu. On local smoothing estimates for wave equations. Preprint, arXiv:2502.05973, 2025
-
[39]
On the lacunary spherical maximal function on the Heisenberg group.J
Pritam Ganguly and Sundaram Thangavelu. On the lacunary spherical maximal function on the Heisenberg group.J. Funct. Anal., 280(3):Paper No. 108832, 32, 2021
work page 2021
-
[40]
Jos´ e Garc´ ıa-Cuerva and Jos´ e L. Rubio de Francia.Weighted norm inequalities and related topics, volume 116 ofNorth-Holland Mathematics Studies. North-Holland Publishing Co., Amsterdam, 1985. Notas de Matem´ atica, 104. [Mathematical Notes]
work page 1985
-
[41]
Improvements in Wolff’s inequality for decompositions of cone multipliers
Gustavo Garrig´ os, Wilhelm Schlag, and Andreas Seeger. Improvements in Wolff’s inequality for decompositions of cone multipliers. Unpublished manuscript, available at https://webs.um.es/gustavo.garrigos/research.html, 2008
work page 2008
-
[42]
Fourier integral operators with fold singulari- ties.J
Allan Greenleaf and Andreas Seeger. Fourier integral operators with fold singulari- ties.J. Reine Angew. Math., 455:35–56, 1994
work page 1994
-
[43]
Oscillatory and Fourier integral operators with degenerate canonical relations
Allan Greenleaf and Andreas Seeger. Oscillatory and Fourier integral operators with degenerate canonical relations. InProceedings of the 6th International Conference on Harmonic Analysis and Partial Differential Equations (El Escorial, 2000), pages 93–141, 2002
work page 2000
-
[44]
Gressman.L p-nondegenerate Radon-like operators with vanishing rota- tional curvature.Proc
Philip T. Gressman.L p-nondegenerate Radon-like operators with vanishing rota- tional curvature.Proc. Amer. Math. Soc., 143(4):1595–1604, 2015
work page 2015
-
[45]
A sharp square function estimate for the cone inR 3.Ann
Larry Guth, Hong Wang, and Ruixiang Zhang. A sharp square function estimate for the cone inR 3.Ann. of Math. (2), 192(2):551–581, 2020
work page 2020
-
[46]
Radial Fourier multipliers in high dimensions.Acta Math., 206(1):55–92, 2011
Yaryong Heo, F¨ edor Nazarov, and Andreas Seeger. Radial Fourier multipliers in high dimensions.Acta Math., 206(1):55–92, 2011
work page 2011
-
[47]
Spherical maximal estimates via geometry
Jonathan Hickman and Ajˇ sa Janˇ car. Spherical maximal estimates via geometry. Colloq. Math., 178(1):97–112, 2025
work page 2025
-
[48]
ImprovedL p bounds for the strong spherical maximal operator
Jonathan Hickman and Joshua Zahl. ImprovedL p bounds for the strong spherical maximal operator. arXiv:2502.02795, to appear in Isr. J. Math
-
[49]
Aroldo Kaplan. Fundamental solutions for a class of hypoelliptic PDE generated by composition of quadratic forms.Trans. Amer. Math. Soc., 258(1):147–153, 1980
work page 1980
-
[50]
Robert Kesler, Michael T. Lacey, and Dar´ ıo Mena. Sparse bounds for the discrete spherical maximal functions.Pure Appl. Anal., 2(1):75–92, 2020
work page 2020
-
[51]
Annulus maximal averages on variable hyperplanes
Joonil Kim. Annulus maximal averages on variable hyperplanes. Unpublished, arXiv:1906.03797v2
-
[52]
Spherical averages on nilpotent groups.Studia Math., 282(1):25–67, 2025
Joonil Kim. Spherical averages on nilpotent groups.Studia Math., 282(1):25–67, 2025
work page 2025
-
[53]
S. Klainerman and M. Machedon. Space-time estimates for null forms and the local existence theorem.Comm. Pure Appl. Math., 46(9):1221–1268, 1993
work page 1993
-
[54]
Maximal estimates for averages over space curves.Invent
Hyerim Ko, Sanghyuk Lee, and Sewook Oh. Maximal estimates for averages over space curves.Invent. Math., 228(2):991–1035, 2022
work page 2022
-
[55]
Sharp smoothing properties of averages over curves.Forum Math
Hyerim Ko, Sanghyuk Lee, and Sewook Oh. Sharp smoothing properties of averages over curves.Forum Math. Pi, 11:Paper No. e4, 33, 2023
work page 2023
-
[56]
A local smoothing estimate in higher dimensions
Izabella Laba and Thomas Wolff. A local smoothing estimate in higher dimensions. J. Anal. Math., 88:149–171, 2002. Dedicated to the memory of Tom Wolff
work page 2002
-
[57]
Michael T. Lacey. An elementary proof of theA 2 bound.Israel J. Math., 217(1):181– 195, 2017. PROBLEMS ON SPHERICAL MAXIMAL FUNCTIONS 27
work page 2017
-
[58]
Michael T. Lacey. Sparse bounds for spherical maximal functions.J. Anal. Math., 139(2):613–635, 2019
work page 2019
-
[59]
A note on the spherical maximal operator for radial functions.Proc
Mark Leckband. A note on the spherical maximal operator for radial functions.Proc. Amer. Math. Soc., 100(4):635–640, 1987
work page 1987
-
[60]
The critical weighted inequalities of the spherical maximal function
Juyoung Lee. The critical weighted inequalities of the spherical maximal function. J. Geom. Anal., 35(8):Paper No. 220, 17, 2025
work page 2025
-
[61]
Ann., 385(3-4):1521–1544, 2023
Juyoung Lee and Sanghyuk Lee.L p −L q estimates for the circular maximal operator on Heisenberg radial functions.Math. Ann., 385(3-4):1521–1544, 2023
work page 2023
-
[62]
The elliptic maximal function.J
Juyoung Lee, Sanghyuk Lee, and Sewook Oh. The elliptic maximal function.J. Funct. Anal., 288(1):Paper No. 110693, 31, 2025
work page 2025
-
[63]
Juyoung Lee, Sanghyuk Lee, and Sewook Oh.L p bound on the strong spherical maximal function.Proc. Amer. Math. Soc., 153(3):1155–1167, 2025
work page 2025
-
[64]
Endpoint estimates for the circular maximal function.Proc
Sanghyuk Lee. Endpoint estimates for the circular maximal function.Proc. Amer. Math. Soc., 131(5):1433–1442, 2003
work page 2003
-
[65]
Endpoint estimates for the fractal circular maximal function and related local smoothing
Sanghyuk Lee, Luz Roncal, Feng Zhang, and Shuijiang Zhao. Endpoint estimates for the fractal circular maximal function and related local smoothing. Preprint, arXiv:2506:20390
-
[66]
Andrei K. Lerner. On an estimate of Calder´ on-Zygmund operators by dyadic positive operators.J. Anal. Math., 121:141–161, 2013
work page 2013
-
[67]
Andrei K. Lerner. A simple proof of theA 2 conjecture.Int. Math. Res. Not. IMRN, 2013(14):3159–3170, 2013
work page 2013
-
[68]
Andrei K. Lerner. On pointwise estimates involving sparse operators.New York J. Math., 22:341–349, 2016
work page 2016
-
[69]
Andrei K. Lerner and Fedor Nazarov. Intuitive dyadic calculus: the basics.Expo. Math., 37(3):225–265, 2019
work page 2019
-
[70]
InPartial differential equations (Proc
Walter Littman.L p −L q-estimates for singular integral operators arising from hy- perbolic equations. InPartial differential equations (Proc. Sympos. Pure Math., Vol. XXIII, Univ. California, Berkeley, Calif., 1971), pages 479–481, 1973
work page 1971
-
[71]
Singular spherical maximal operators on a class of degen- erate two-step nilpotent Lie groups.Math
Naijia Liu and Lixin Yan. Singular spherical maximal operators on a class of degen- erate two-step nilpotent Lie groups.Math. Z., 304(1):Paper No. 16, 27, 2023
work page 2023
-
[72]
Quasi-Assouad dimension of fractals.J
Fan L¨ u and Li-Feng Xi. Quasi-Assouad dimension of fractals.J. Fractal Geom., 3(2):187–215, 2016
work page 2016
-
[73]
On some estimates for the wave equation inL p andH p.J
Akihiko Miyachi. On some estimates for the wave equation inL p andH p.J. Fac. Sci. Univ. Tokyo Sect. IA Math., 27(2):331–354, 1980
work page 1980
-
[74]
Gerd Mockenhaupt, Andreas Seeger, and Christopher D. Sogge. Wave front sets, local smoothing and Bourgain’s circular maximal theorem.Ann. of Math. (2), 136(1):207–218, 1992
work page 1992
-
[75]
Gerd Mockenhaupt, Andreas Seeger, and Christopher D. Sogge. Local smoothing of Fourier integral operators and Carleson-Sj¨ olin estimates.J. Amer. Math. Soc., 6(1):65–130, 1993
work page 1993
-
[76]
Inequalities for spherically symmetric solutions of the wave equation.Math
Detlef M¨ uller and Andreas Seeger. Inequalities for spherically symmetric solutions of the wave equation.Math. Z., 218(3):417–426, 1995
work page 1995
-
[77]
Detlef M¨ uller and Andreas Seeger. Regularity properties of wave propagation on conic manifolds and applications to spectral multipliers.Adv. Math., 161(1):41–130, 2001
work page 2001
-
[78]
Singular spherical maximal operators on a class of two step nilpotent Lie groups.Israel J
Detlef M¨ uller and Andreas Seeger. Singular spherical maximal operators on a class of two step nilpotent Lie groups.Israel J. Math., 141:315–340, 2004
work page 2004
-
[79]
E. K. Narayanan and S. Thangavelu. An optimal theorem for the spherical maximal operator on the Heisenberg group.Israel J. Math., 144:211–219, 2004
work page 2004
-
[80]
Pointwise ergodic theorems for radial aver- ages on the Heisenberg group.Adv
Amos Nevo and Sundaram Thangavelu. Pointwise ergodic theorems for radial aver- ages on the Heisenberg group.Adv. Math., 127(2):307–334, 1997
work page 1997
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.