Pith. sign in

REVIEW 2 major objections 3 minor 20 references

Hardy-Littlewood maximal operator on spaces of exponential volume growth

T0 review · 2 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Every non-elementary hyperbolic group has a weak-type (1,1) Hardy–Littlewood maximal inequality for every word metric.

desk verdict The framework and most applications are solid, but the hyperbolic endpoint relies on an omitted half-integer parity case that must be supplied before the paper's headline result is fully proven. read the letter →

arxiv 2505.07682 v1 pith:TTSJQIGR submitted 2025-05-12 math.DS

Koji Fujiwara , Amos Nevo This is my paper · ORCID
classification math.DS MSC 43A0520F6543A8022E4022F30
keywords Hardy-Littlewoodmaximaloperatorweaktype(11)exponentialvolumegrowthhyperbolicgroupssphericalcoarsemedianinequalityrapiddecayofshellcorrelationsballaverages
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 establishes sufficient conditions under which the Hardy–Littlewood maximal operator for ball averages on a discrete group with exponential volume growth satisfies a weak-type maximal inequality. Its main theorem (Theorem 10) shows that almost-exact polynomial-exponential growth of spherical shells together with rapid decay of spherical shell correlations with parameter $b$ forces a weak-type $L(\log L)^{2b}$ bound for the ball averages. The headline application (Theorem 21) is that for every non-elementary hyperbolic group and every symmetric finite generating set, the word-metric ball averages satisfy the optimal weak-type $(1,1)$ inequality on $\ell^1(\Gamma)$. The same machinery produces $L(\log L)^c$ maximal inequalities for lattices in semisimple Lie groups, right-angled Artin groups, Coxeter groups, and braid groups, and it frames the open question of whether the optimal exponent $c=0$ holds in all these cases.

What carries the argument

The load-bearing object is the spherical shell average $\sigma_r$, the uniform average on the annulus $\{r\le G(\gamma)<r+L\}$, together with the rapid-decay-of-shell-correlations estimate $|\{(u,v)\in A\times B: r\le d_G(u,v)<r+L\}|\le C r^b\sqrt{|A|\,|B|\,|SS_r|}$. Proposition 8 proves a distributional inequality for $\sigma_r$: the measure of the set where $\sigma_r f$ exceeds $\eta$ is controlled by a weighted sum of level sets of $f$, with weights involving $\sqrt{2^n/|SS_r|}$. Summing these bounds over $r$ and using the two-sided growth law $|SS_r|\asymp r^d q^r$ yields Theorem 10. For word metrics, the spherical coarse median inequality—a counting bound for pairs on spheres at a fixed distance—is the tool that verifies the correlation decay; for hyperbolic groups, the $\delta$-thin triangle property supplies it with parameter $b=0$.

What would settle it

Verify the counting bound in Proposition 20, $|\{(x,y)\in E_j\times F_i: d(x,y)=r\}|\le C\min\{q^{r-m}|E_j|,\,q^m|F_i|\}$, for all half-integer values of $m=(j+r-i)/2$; a single Cayley graph of a hyperbolic group where this inequality fails for every constant $C$ would invalidate the proof of Theorem 21. A direct numerical test would compute the distribution of $M(\delta_e)$ on a large ball in such a Cayley graph and compare $|\{M\delta_e\ge \eta\}|$ with $C/\eta$; a violation of the uniform constant would disprove the weak-type $(1,1)$ claim.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is that the weak-type $(1,1)$ maximal inequality for ball averages, long known for the free group with free generators and for symmetric spaces, holds for every non-elementary hyperbolic group with every word metric. The route is a general transfer: Theorem 10 converts rapid decay of spherical shell correlations plus almost-exact polynomial-exponential growth into a weak-type $L(\log L)^{2b}$ maximal inequality for balls; Theorem 18 shows that a spherical coarse median inequality yields the required correlation decay with $b=d_2+\frac12 d$; and Proposition 20 verifies that inequality with $d_2=0$ for every word metric on a hyperbolic group, while the cited growth estimate [Co93] gives $d=0$. The conclusion is $L(\log L)^0=L^1$, i.e., weak type $(1,1)$.

Load-bearing premise

The load-bearing premise in the hyperbolic-group proof is the spherical coarse median inequality of rank $1$ for every word metric; the proof sets $m=(j+r-i)/2$ and omits the half-integer case, saying only that a minor modification is needed, so the entire Theorem 21 depends on that case being handled with constants independent of $r$.

Editorial extensions

If this is right

  • Every non-elementary hyperbolic group, with any symmetric finite generating set, has a Hardy–Littlewood maximal operator of weak type $(1,1)$ on $\ell^1(\Gamma)$, so the operator is bounded from $\ell^1$ to weak $\ell^1$—the best possible endpoint.
  • For any lattice in a connected semisimple Lie group with finite center, the ball averages defined by the Riemannian distance restricted to the lattice satisfy a weak-type $L(\log L)^c$ inequality, with $c$ an explicit function of the root system.
  • Right-angled Artin groups, exponential-growth Coxeter groups, braid groups, and extra-large type Artin groups satisfy $L(\log L)^c$ maximal inequalities for their standard or stated generating sets.
  • An $\ell^1$-product of two non-elementary hyperbolic groups satisfies a weak-type $L(\log L)^3$ inequality when the growth parameters coincide and $L(\log L)^4$ when they differ.
  • The Hardy–Littlewood problem for ball averages on these groups is reduced to two checkable conditions: almost-exact polynomial-exponential growth of spherical shells and rapid decay of spherical shell correlations.

Reading between the lines

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

  • If the omitted half-integer case in Proposition 20 can be handled uniformly, the same weak-type $(1,1)$ argument would apply to arbitrary hyperbolic left-invariant integer-valued metrics, provided their spherical growth is almost-exact exponential.
  • The exponent $2b$ in Theorem 10 may be far from sharp; a testable conjecture, raised as an open problem in the paper, is that all groups treated here satisfy the optimal $c=0$ endpoint.
  • The spherical coarse median inequality could serve as a sufficient condition for other classes with rational growth and rapid decay, for instance graph products or relatively hyperbolic groups with suitable generating sets, where both ingredients are already known.
  • A concrete numerical check on a small RAAG or hyperbolic Cayley graph, using finitely supported $f$ and comparing the distribution of $Mf$ with $C/\eta$, could indicate whether the maximal inequality is sharp or whether $c>0$ is genuinely needed.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper develops a general framework for weak-type maximal inequalities for ball averages on discrete groups with exponential volume growth. It introduces three rough radial structure conditions: almost exact polynomial-exponential growth of spherical shells, rapid decay of spherical shell correlations, and a spherical coarse median inequality. The main conditional theorem (Theorem 10) shows that rapid decay of spherical shell correlations with polynomial parameter b, together with almost exact growth, implies a weak-type L(log L)^{2b} maximal inequality for ball averages; Theorem 18 gives a variant under the spherical coarse median inequality. Applications are given to lattices in connected semisimple Lie groups, RAAGs, Coxeter groups, braid groups, and products of hyperbolic groups. The headline result is Theorem 21: for every non-elementary hyperbolic group and every finite symmetric generating set, the Hardy-Littlewood operator for word-metric balls satisfies the weak-type (1,1) maximal inequality. The proof of the hyperbolic case passes through Proposition 20, which asserts the spherical coarse median inequality of rank 1 for every word metric on a non-elementary hyperbolic group.

Significance. If Theorem 21 is established with a complete proof, it is a significant advance: it extends the known weak-type (1,1) results for free groups and trees to all non-elementary hyperbolic groups, which is the optimal result in this setting. The conditional engine provided by Theorem 10 is elegant and is supported by a wide range of examples, and the paper is careful to delineate open problems and to credit earlier methods, especially those of Naor-Tao and the authors' earlier transfer and counting framework. The conditional theorems and the non-hyperbolic applications appear coherent. However, the explicit gap in Proposition 20 leaves the endpoint statement for hyperbolic groups unproved as it stands, and this is the central advertised achievement. The manuscript therefore needs a substantial repair before the main theorem can be accepted.

major comments (2)
  1. [Section 7, Proposition 20 (proof leading to inequality (58))] The proof fixes m=(j+r-i)/2 and states that the half-integer case is a minor modification that is omitted. This omission is load-bearing. In Proposition 19 the decomposition into the lines i=j+r-2m only covers pairs with i-j congruent to r modulo 2; pairs in the complementary parity class require half-integer m. A uniform bound of the form (58) for those pairs, with constants independent of r, is exactly what is needed to obtain rapid decay of spherical correlations with parameter b=0 in Proposition 19, and Theorem 21 then follows via Theorem 18 only in that case. The geometric construction in the proof chooses points z,w,v at distance m from e or x or y; if m is half an integer, such points do not exist in the 1-skeleton, so a rounding argument is needed and its effect on the constants must be quantified. If the half-integer class only satisfies (58) with an additional factor q^{r/2} or a power of r, the exponent in the hyperbolic theorem would become positive and the weak-type (1,1) conclusion would not follow. This gap must be repaired before Theorem 21 can be accepted.
  2. [Section 6, Definition 17 and Proposition 19] The spherical coarse median inequality (55) is stated with quantities S_{r-m} and S_m, which are only meaningful for integer radii. The definition should say explicitly that m ranges over integers, and then the half-integer case must be handled separately in Proposition 19 or by an extension of (55). As written, the statement of Proposition 19 presupposes the integer case and leaves the complementary parity class uncovered. This is not merely a notational issue: the proof of Proposition 20 explicitly acknowledges the missing case, and the endpoint theorem depends on it.
minor comments (3)
  1. [Section 1.1, first paragraph] The phrase 'for alx 0∈X' should read 'for all x_0∈X'.
  2. [Section 7, Proposition 20 statement] The statement says 'Let E_j⊂S_j, F_j⊂S_j' but the proof uses F_i⊂S_i; the notation for the two sets should be made consistent.
  3. [Section 5.1, inequality (45)] Inequality (45) is a key transfer estimate for the lattice subgroup applications, but it is only cited via a discussion following Lemma 7.3 of [BS93]. Please state the inequality and its hypotheses explicitly, or give a precise page-level reference, so that the reader can verify the normalization and the applicability to the spherical shells used here.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; the central claims are derived from independently stated and verified hypotheses.

full rationale

The paper's derivation chain is not circular. Theorem 10 takes two explicitly stated assumptions—rapid decay of spherical shell correlations (14) and almost exact polynomial-exponential growth (7)—and derives a weak-type L(logL)^{2b} bound via the distributional estimate in Proposition 8; the parameter b is an input exponent, not a fitted value chosen to force the maximal inequality. Theorem 18 then shows that the spherical coarse median inequality (55) plus growth implies (14) through the counting argument in Proposition 19, which is a genuine quantitative reduction rather than a restatement of the target. For hyperbolic groups, Proposition 20 verifies (55) with parameter d_2 = 0 using delta-hyperbolicity and Coornaert's sphere-growth estimate (57), and Theorem 21 applies Theorem 18; the endpoint weak-type (1,1) is not assumed in any of these hypotheses. The self-citations ([N98], [GN10], [GN12a]) are used only for transfer principles, coarse admissibility, and lattice-point counting, all of which are external prior results rather than the maximal inequality itself; they do not carry the conclusion by self-reference. The one explicit gap in the manuscript is Proposition 20's statement, 'We need a minor modification in the case that m is an half integer, which we omit.' This is a completeness or correctness issue for the endpoint theorem, not a circularity, because the omitted half-integer case is not an input being relabelled as a conclusion. No equation in the paper is equivalent to its own conclusion by construction.

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

No numbers are fitted to data. The exponents c are computed in closed form from input parameters (b, d, d2). The central claim rests on new geometric/analytic assumptions that the paper introduces and partially verifies. No new physical entities are postulated; the spherical coarse median inequality is a property, not an entity.

assumptions (7)
  • domain assumption Almost exact polynomial-exponential growth of spherical shells (Eq. (7)): C^{-1} r^d q^r ≤ |SS_r| ≤ C r^d q^r for all r ≥ 1.
    This growth regularity is assumed in Theorems 10, 18, and 26 and verified later for examples via Coornaert's theorem, rationality of growth series, and lattice point counting.
  • domain assumption Rapid decay of spherical shell correlations (Definition 4, inequality (14)).
    Key analytic assumption for Proposition 8 and Theorem 10; shown to follow from rapid decay of shell averages, and verified in specific groups, but unproved in full generality.
  • domain assumption Spherical coarse median inequality (Definition 17, inequality (55)).
    New geometric property introduced here; used in Theorem 18 and verified for hyperbolic groups (with a gap), median spaces, and RAAGs.
  • standard math Coornaert's sphere growth estimate for hyperbolic groups: C^{-1} q^r ≤ |S_r| ≤ C q^r ([Co93]).
    Used in Proposition 20 to supply almost exact exponential growth with d=0 for hyperbolic groups.
  • standard math Transfer inequality (45) from [BS93] and [CS96] bounding periodized convolution operators on G/Γ.
    Used in Theorem 14 to transfer rapid decay of spherical shells from G to the lattice Γ.
  • standard math Harish-Chandra estimates for Ξ_G and polar coordinate integration on symmetric spaces ([GV88], [An87]).
    Used in Theorem 15 to establish rapid decay of spherical shell averages on G.
  • standard math Rationality of a regular geodesic normal form implies rationality of the growth function and almost exact polynomial-exponential growth (Proposition 25).
    Used to verify growth for RAAGs, Coxeter groups, braid groups, and Artin groups.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hardy-Littlewood maximal operator on spaces of exponential volume growth." pith.science (2026). https://pith.science/paper/TTSJQIGR

@misc{pith2026250507682,
  author       = {Pith},
  title        = {Pith review of: Hardy-Littlewood maximal operator on spaces of exponential volume growth},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TTSJQIGR}},
  note         = {Machine review of arXiv:2505.07682}
}
abstract

We consider the Hardy-Littlewood maximal function associated with ball averages on spaces with exponential volume growth. We focus on discrete groups with balls defined by invariant metrics associated with a variety of length functions. Under natural assumptions on the rough radial structure of the group in question, we establish a weak-type $\mathcal{L}\left(\log \mathcal{L}\right)^{\bf c}$ maximal inequality for the Hardy-Littlewood maximal function. We give a variety of examples where the rough radial structure assumptions hold, based on considerations from geometric group theory, or on analytic considerations related to the regular representation of the group. We elucidate the connections of these assumptions to a spherical coarse median inequality, to almost exact polynomial-exponential growth of balls, and to the radial rapid decay property. In particular, the weak-type maximal inequality in $\mathcal{L}\left(\log \mathcal{L}\right)^{\bf c}$ is established for any lattice in a connected semisimple Lie group with finite center, with respect to the distance function restricted from the Riemannian distance on symmetric space to an orbit of the lattice. It is also established for right-angled Artin groups, Coxeter groups and braid groups, for a suitable choice of word metric. For non-elementary word-hyperbolic group we establish that the Hardy-Littlewood maximal operator with respect to balls defined by a word length satisfies the weak-type $(1,1)$ maximal inequality, which is the optimal result.

Figures

Figures reproduced from arXiv: 2505.07682 by the authors.

Figure 1
Figure 1. δ-thin triangle. 1 is the identity element e. Theorem 21 (Hyperbolic groups). Let Γ be a non-elementary hyperbolic group and S any symmetric finite generating set, and let GS = |·|S denote the length-function associated to the word metric. Then, the Hardy-Littlewood operator associated with the balls defined by GS sat￾isfies the weak-type (1, 1)-maximal inequality in ℓ 1 (Γ). Proof. The Cayley graph for Γ w.r.t. S s… view at source ↗
Figure 2
Figure 2. Schematic pictures for the δ-thin triangles Thus the possibilities for such y = (y1, y2) is at most C 2B 2 q r1−m1 1 q r2−m2 2 ≤ C 2B 2 q r1+r2−m1−m2 = C 2B 2 q r−m Therefore [PITH_FULL_IMAGE:figures/full_fig_p037_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 19 canonical work pages

  1. [1]

    Anker,La forme exacte de l’estimation fondamentale de Harish-Chandra, C

    [An87] J.-P. Anker,La forme exacte de l’estimation fondamentale de Harish-Chandra, C. R. Acad. Sci. Paris Ser. I Math. 305 (1987), 371-

    work page 1987

  2. [9]

    Gorodnik and A

    [GN12a] A. Gorodnik and A. Nevo,Counting lattice points, J. Reine Angew. Math. 663 (2012), pp. 127–176. [GO07] A. Gorodnik and H. Oh,Orbits of discrete subgroups on a symmetric space and the Furstenberg boundary. Duke Mathematical Journal Vol. 139, Issue 3, (2007) , pp. 483-

    work page 2012

  3. [12]

    Weak type $(1, 1)$ of Riesz transform on some direct product manifolds with exponential volume growth

    [LZ23] H-Q Li and J-X Zhu,Weak-type(1,1)of Riesz transform os some direct product man- ifolds with exponential volume growth. Math ArXiv:2304.04335v1, April

    work page Pith review arXiv

  4. [374]

    Some ergodic properties of metrics on hyperbolic groups

    [ADY96] J-P. Anker, E. Damek and Ch. Yacoub,Spherical analysis on harmonicANgroup. Annali Scuola Nor. Sup. di Pisa, vol. 23, pp. 643-679 (1996). [BF17] U. Bader , and A. Furman,Some ergodic properties of metrics on hyperbolic groups. Math. ArXiv:1707.02020, August

    work page Pith review arXiv 1996

  5. [525]

    Hardy-Littlewood maximal operators on trees with bounded geometry

    [GW07] A. Gorodnik and B. Weiss,Distribution of lattice orbits on homogeneous varieties. Geom. Funct. Anal. 17 (2007), no. 1, pp. 58–115. [Gu73] Y. Guivarc’h,Croissance polynomiale et periodes des fonctions harmoniques. Bull. Soc. Math. France, 101 (1973) pp. 353-379. [HL30] G. H. Hardy and J. E. Littlewood,A maximal theorem with function theoretic applic...

    work page Pith review arXiv 2007

  6. [1968]

    L.,Weak-typeL 1-estimates for maximal functions on non-compact sym- metric spaces

    42 KOJI FUJIWARA AND AMOS NEVO [Str81] Str¨ omberg, J. L.,Weak-typeL 1-estimates for maximal functions on non-compact sym- metric spaces. Ann. Math. vol.114, pp. 115-126 (1981). [Sw] Swiatkowski, Jacek.Regular path systems and (bi)automatic groups. Geom. Dedicata 118 (2006), 23–48. [Va97] A. Valette,On the Haagerup inequality and group acting on ˜An-build...

    work page 1981

  7. [1991]

    [MPSV] S. Meda, S. Pigola, A. G. Setti, and G. Veronelli,Hardy-Littleewood maximal operators on certain manifoldwith bounded geometry. Math. ArXiv:2502.13109.v1, February

    arXiv

  8. [2000]

    Loeffler, J

    [LMW] J. Loeffler, J. Meier and J. Worthington,Graph products and Cannon pairs. Internat. J. Algebra Comput. 12 (2002), no. 6, 747—754. [LMR00] A. Lubotzky, S. Mozes, and M.S. Raghunathan,The word and Riemannian metrics on lattices of semisimple groups. Publications Matematiques de l’Institut des Hautes Scientifiques, vol. 91, pp. 5-53,

    work page 2002

Show all 20 references
  1. [2002]

    Math., vol

    Contemp. Math., vol. 347, pp. 221-244 (2004) [N06] A. Nevo,Pointwise ergodic theorems for actions of Lie groups. Handbook of Dynamical systems, vol. 1B, pp. 871-972 , Eds. A. Katok and B. Hasselblatt, Elsevier, Amsterdam

    2004

  2. [2006]

    [NR] G. A. Niblo, L. D. Reeves,The geometry of cube complexes and the complexity of their fundamental groups. Topology 37 (1998), no. 3, 621—633. [Ni10] B. Nica,On the degree of rapid decay. Proc. Amer. Math. Soc. 138 (2010), no. 7, pp. 2341-2347 [Ni17] B. Nica,On operators no...

    1998 arXiv

  3. [2009]

    [Fa72] A. N. Fava,Weak type inequalities for product operators. Studia Math., vol. XLIL, pp. 271-288 (1972). [Fa84] A. N. Fava,Mapping properties of maximal operators. Studia Math. vol. LXXVIII, pp. 1-6 (1984). [GV88] R. Gangolli and V. S. Varadarajan,Harmonic Analysis of Sphe...

    1972

  4. [2010]

    Chatterji, C

    [CPSC] I. Chatterji, C. Pittet and L. Saloff Coste,Conected Lie groups and Property RD. Duke Math. Jnl. Vol. 138 (2007), pp. 511-536. [CR05] I. Chatterji, K. Ruane,Some geometric groups with rapid decay. Geom. Funct. Anal. vol. 15 (2005), no. 2, 311—339. [CHR] L. Ciobanu, D. H...

    2007

  5. [2013]

    Boyer, G

    [BLP17] A. Boyer, G. Link, and C. Pittet,Ergodic properties of boundary representations. Ergod. Th. and Dynam. Sys., 39:2023–2047,

    2023

  6. [2014]

    [BK] Button, J. O. ; Kropholler, R. P.,Nonhyperbolic free-by-cyclic and one-relator groups. New York J. Math. 22 (2016), pp. 755–774. [C53] Calderon, A.,A general ergodic theorem. Ann. of Math. 57 (1953), pp. 182-191. [Ca11] Calegari, D.,The ergodic theory of hyperbolic groups...

    2016

  7. [2017]

    [BM] J. A. Behrstock and Y. N. Minsky,Centroids and the rapid decay property in mapping class groups. J. Lond. Math. Soc. (2) 84 (2011), no. 3, 765-–784. [BR] J. Berstel and Ch. Reutenauer,Another proof of Soittola’s theorem. Theoret. Comput. Sci. 393 (2008), no. 1–3, 196—203....

    2011

  8. [2021]

    [Pa83] Pansu, P.,Croissance des boules et des geodesiques fermes dans les nilvarietes. Erg. Th. Dyn. Sys. 3 (1983), pp. 415-445. [Pe09] Perrone, M.Radial rapid decay property for co-compact lattices. Journal of Functional Analysis, vol. 256, pp. 3471-3489 (2009). [RT91] R. Roc...

    1983

  9. [2023]

    Macpherson,Infinite distance-transitive graphs of finite valency, Combinatorics 2 (1982) 63-69

    [Mac82] H.D. Macpherson,Infinite distance-transitive graphs of finite valency, Combinatorics 2 (1982) 63-69. [Ma91] G. A. Margulis, Discrete Subgroups of Semisimple Lie Groups , Ergeb. Math. Grenzgeb. (3) 17, Springer, Berlin,

    1982

  10. [2024]

    Ombrosi, I.P

    [ORRS] S. Ombrosi, I.P. Rivera-Rios, and M. D. Safe,Fefferman-Stein inequalities for the Hardy- Littlewood maximal function of the infinite rootedk-ary tree. IMRN, vol. 2021, pp. 2736-2762,

    2021

  11. [2025]

    and Tao, T.,Random Martingales and localization of maximal inequalities

    [NT09] Naor, A. and Tao, T.,Random Martingales and localization of maximal inequalities. J. Funct. Analysis, 2009 [NS] W. D. Neumann and M. Shapiro,Automatic structures, rational growth, and geometri- cally finite hyperbolic groups. Invent. Math. 120 (1995), no. 2, 259-–287. [...

    1995

  12. [2401]

    2024 [Bo13] B

    16962, Jan. 2024 [Bo13] B. H. Bowditch,Coarse median spaces and groups. Pacific Journal of Mathematics, vol. 261, pp. 53-93,

    2024

Pith tools

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