pith. sign in

arxiv: 2604.27839 · v1 · submitted 2026-04-30 · 🧮 math.FA

Uncentred maximal operators with respect to half balls on Damek--Ricci spaces

Nikolaos Chalmoukis , Stefano Meda , Effie Papageorgiou , Federico Santagati This is my paper

Pith reviewed 2026-05-07 05:46 UTC · model grok-4.3

classification 🧮 math.FA
keywords maximal operatorsDamek-Ricci spaceshalf ballsuncentred operatorsL^p boundednessHardy-Littlewood maximal functionendpoint estimatesLie groups
0
0 comments X

The pith

Replacing full balls with suitable half balls in the uncentred maximal operator on Damek-Ricci spaces yields boundedness on every L^p for p greater than 1, including an L log L endpoint estimate.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines a modified version of the uncentred Hardy-Littlewood maximal operator on Damek-Ricci spaces, using half balls instead of full balls. This variant turns out to have stronger boundedness properties than the standard operator. It is bounded on L^p spaces for all p between 1 and infinity, and it satisfies a weak-type estimate at the endpoint involving L log L. A reader might care because maximal operators are fundamental tools in harmonic analysis for controlling averages and proving differentiation theorems, and improved bounds on these non-Euclidean spaces could extend such results to more general geometric settings.

Core claim

On Damek-Ricci spaces, the uncentred maximal operator defined using suitable half balls is bounded on L^p for every p in (1, ∞] and satisfies an L log L endpoint estimate, in contrast to the classical uncentred operator with full balls which does not enjoy these properties.

What carries the argument

The uncentred maximal operator with respect to suitable half balls, which exploits the geometry of Damek-Ricci spaces to achieve improved integrability bounds.

If this is right

  • The operator is bounded on L^∞ and on all L^p for 1 < p < ∞.
  • It satisfies an L log L endpoint estimate that controls the measure of sets where the operator exceeds a level.
  • The boundedness holds with constants independent of the choice of half ball in the family.
  • This improves on the classical full-ball uncentred operator, which lacks the endpoint bound.
  • The result applies uniformly across the class of Damek-Ricci spaces due to their shared solvable Lie group structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The half-ball construction could be tested on other solvable groups or rank-one symmetric spaces to see if similar improvements appear.
  • These bounds might allow stronger control in proving pointwise ergodic theorems or differentiation of integrals on Damek-Ricci spaces.
  • The geometric choice of half balls may connect to other one-sided operators studied in Euclidean or hyperbolic settings.
  • One could check whether the same modification yields weak-type bounds for related singular integrals on these spaces.

Load-bearing premise

The half balls must be chosen in a way that respects the specific geometry of Damek-Ricci spaces to produce the improved bounds over full balls.

What would settle it

A direct computation or counterexample showing that the half-ball operator fails to be bounded on some L^p space for p > 1 on a particular Damek-Ricci space would disprove the claim.

Figures

Figures reproduced from arXiv: 2604.27839 by Effie Papageorgiou, Federico Santagati, Nikolaos Chalmoukis, Stefano Meda.

Figure 1
Figure 1. Figure 1: The infinite rectangle QR(z) For any Q in Q∞ we denote by β(Q) its base. For each nonnegative integer k we define βk(Q) by βk(Q) :=  w ∈ Q : k < d w, β(Q)  ≤ k + 1 . Clearly Q = [∞ k=0 βk(Q). Notice that β(Q) is contained in the “lower bound￾ary” of β0(Q). A straightforward computation shows that |Q| ≍ view at source ↗
Figure 2
Figure 2. Figure 2: A packing of half balls at height e−2 ℓ . Moreover, (2.2) and (2.3) imply that each half ball with centre at height e−2 ℓ and radius 2ℓ contains a Euclidean segment of Euclidean length ρℓ := 2 e−2 ℓ tanh 2ℓ . Clearly 2 (tanh 1) e−2 ℓ ≤ ρℓ ≤ 2 e−2 ℓ ∀ℓ ≥ 0. This and a straightforward calculation yield nℓ =  1 ρℓ  + 1 ≍ exp(2ℓ ) view at source ↗
read the original abstract

In this paper we study a variant of the uncentred Hardy--Littlewood maximal operator on Damek--Ricci spaces in which balls are replaced by suitable half balls. Perhaps surprisingly, such modified maximal operator has better boundedness properties than the classical one. In particular, it satisfies an $L\log L$ endpoint estimate and it is bounded on $L^p$ for every $p$ in $(1,\infty]$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces a variant of the uncentred Hardy-Littlewood maximal operator on Damek-Ricci spaces in which the usual balls are replaced by suitable half balls adapted to the solvable Lie group structure. The central claim is that this modified operator satisfies a weak-type (1,1) bound with an L log L factor and is strong-type bounded on L^p for every p in (1, ∞], thereby improving upon the classical uncentred maximal operator.

Significance. If the stated bounds hold, the result is of interest in harmonic analysis on non-compact Riemannian manifolds and solvable Lie groups. Damek-Ricci spaces possess exponential volume growth and a left-invariant metric that can be exploited by directional half balls; the improvement to an L log L endpoint (rather than the usual weak (1,1) without logarithmic correction) suggests that the geometry permits better control than isotropic averaging. The argument appears to rest on intrinsic geometric properties without free parameters or ad-hoc fitting, which is a positive feature.

major comments (2)
  1. §3, Theorem 3.2 (L log L estimate): the proof reduces the maximal inequality to a covering argument using the half-ball volume growth, but the constant in the resulting estimate appears to depend on the choice of the half-ball direction; it is not shown that this dependence can be absorbed uniformly for the uncentred supremum over all centers and radii.
  2. §2, Definition 2.3 (half balls): the precise relation between the half ball B^+(x,r) and the underlying left-invariant vector fields or the Iwasawa decomposition is stated only descriptively; without an explicit formula or verification that the half balls satisfy a uniform doubling condition independent of the base point, the passage from the classical operator to the half-ball version cannot be fully checked.
minor comments (2)
  1. The introduction cites several works on maximal operators on Damek-Ricci spaces but omits the precise reference to the classical uncentred operator whose failure of the L log L bound is being improved upon.
  2. Notation: the symbol M^+ for the half-ball maximal operator is introduced in §2 but occasionally written as M in the statements of corollaries in §4; consistent use would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive evaluation of its significance. We address each major comment below and describe the revisions we will incorporate to strengthen the exposition and verifiability of the arguments.

read point-by-point responses

  1. Referee: §3, Theorem 3.2 (L log L estimate): the proof reduces the maximal inequality to a covering argument using the half-ball volume growth, but the constant in the resulting estimate appears to depend on the choice of the half-ball direction; it is not shown that this dependence can be absorbed uniformly for the uncentred supremum over all centers and radii.

    Authors: The half-ball direction is canonically fixed by the Iwasawa decomposition of the Damek-Ricci space and does not vary with the center or radius; it is the same global direction for every half ball appearing in the uncentred supremum. Because the underlying left-invariant metric and Haar measure are homogeneous, the volume-growth constants for these half balls are independent of base point. The Vitali-type covering argument in the proof of Theorem 3.2 therefore employs a single overlap constant that depends only on the dimension and the fixed curvature parameters of the space. We will add a clarifying paragraph immediately after the covering lemma, explicitly stating that all constants are uniform and independent of the (fixed) direction, thereby confirming that the L log L bound holds for the full uncentred operator. revision: yes

  2. Referee: §2, Definition 2.3 (half balls): the precise relation between the half ball B^+(x,r) and the underlying left-invariant vector fields or the Iwasawa decomposition is stated only descriptively; without an explicit formula or verification that the half balls satisfy a uniform doubling condition independent of the base point, the passage from the classical operator to the half-ball version cannot be fully checked.

    Authors: We agree that the current description of B^+(x,r) in Definition 2.3 is primarily geometric and would benefit from an explicit coordinate expression. In the revised manuscript we will add an explicit formula in Iwasawa coordinates: writing points as n exp(tH) with H the fixed generator of the A-factor, the half ball centered at x consists of those group elements y = x · n' exp(sH) satisfying s ≥ 0 and d(n',e) + |s| ≤ r (adjusted by the left translation). We will also insert a new short lemma (Lemma 2.4) proving the uniform doubling property μ(B^+(x,2r)) ≤ C μ(B^+(x,r)) with C independent of x and r; the proof uses the explicit exponential volume growth formula on Damek-Ricci spaces, which is translation-invariant, together with the fact that half balls are comparable in measure to full balls by a fixed factor. These additions will make the relation to the left-invariant structure and the passage to the half-ball operator fully explicit and checkable. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via geometry

full rationale

The paper introduces a half-ball variant of the uncentred maximal operator on Damek-Ricci spaces and establishes its improved boundedness (L log L endpoint and L^p for p>1) directly from the solvable Lie group structure and volume growth properties of these spaces. No load-bearing step reduces by definition, fitted parameter, or self-citation chain to the target result itself; the central claims rest on explicit geometric comparisons between half balls and full balls, with proofs proceeding via covering lemmas and weak-type estimates that are independent of the final boundedness statements. External benchmarks such as one-sided maximal operators in Euclidean and other non-isotropic settings provide consistent context without circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities. The result appears to rely on the standard definition of Damek-Ricci spaces and the geometry of half balls, both of which are drawn from prior literature in the field.

pith-pipeline@v0.9.0 · 5373 in / 1169 out tokens · 50704 ms · 2026-05-07T05:46:07.471054+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    Anker, E

    J-Ph. Anker, E. Damek, C. Yacoub, Spherical analysis on harmonic AN groups. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 23 (1996), 643--679

    work page 1996

  2. [2]

    D.Celotto and S. Meda,

    work page

  3. [3]

    Chalmoukis, S

    N. Chalmoukis, S. Meda, F. Santagati, Spider’s webs and sharp L^p bounds for the Hardy--Littlewood maximal operator on Gromov hyperbolic spaces, http://arxiv.org/abs/2502.14640v1

    work page arXiv

  4. [4]

    Cygan, Subaddivity of homogeneous norms on certain nilpotent Lie groups, Proc

    J. Cygan, Subaddivity of homogeneous norms on certain nilpotent Lie groups, Proc. Amer. Math. Soc. 83 (1981), 69--70

    work page 1981

  5. [5]

    Cordoba and R

    A. Cordoba and R. Fefferman, A geometric proof of the strong maximal theorem, Ann. of Math. 102 (1975), 95--100

    work page 1975

  6. [6]

    Cowling, A

    M. Cowling, A. Dooley, A. Kor\'anyi, F. Ricci, H -Type Groups and Iwasawa Decompositions, Adv. Math. 87 (1991), 1--41

    work page 1991

  7. [7]

    Cowling, A

    M. Cowling, A. Dooley, A. Kor\'anyi, F. Ricci, An Approach to Symmetric Spaces of Rank One via Groups of Heisenberg Type, J. Geom. Anal. 8 (1998), 199--237

    work page 1998

  8. [8]

    Cowling, S

    M. Cowling, S. Meda, A. G. Setti, A weak type (1, 1) estimate for a maximal operator on a group of isometries of homogeneous trees, Coll. Math. 118 (2010), 223--232

    work page 2010

  9. [9]

    Cowling, S

    M. Cowling, S. Meda, A. G. Setti,

    work page

  10. [10]

    Damek and F

    E. Damek and F. Ricci, Harmonic Analysis on Solvable Extensions of H -type Groups, J. Geom. Anal. 2 (1992), 213--248

    work page 1992

  11. [11]

    Dodziuk and W.S

    J. Dodziuk and W.S. Kendall,

    work page

  12. [12]

    Fig\`a-Talamanca and C

    A. Fig\`a-Talamanca and C. Nebbia, Harmonic Analysis and

    work page

  13. [13]

    Heinonen, Lectures on Analysis on Metric Spaces Springer Verlag, 2001

    J. Heinonen, Lectures on Analysis on Metric Spaces Springer Verlag, 2001

    work page 2001

  14. [14]

    Kosz, On relations between weak and strong type inequalities for maximal operators on non-doubling

    D. Kosz, On relations between weak and strong type inequalities for maximal operators on non-doubling

    work page

  15. [15]

    Kosz, On relations between weak and restricted weak type inequalities for maximal operators on

    D. Kosz, On relations between weak and restricted weak type inequalities for maximal operators on

    work page

  16. [16]

    Kosz, Maximal operators on Lorentz spaces in non-doubling setting,

    D. Kosz, Maximal operators on Lorentz spaces in non-doubling setting,

    work page

  17. [17]

    Ionescu, Singular integrals on symmetric spaces

    A.D. Ionescu, Singular integrals on symmetric spaces

    work page

  18. [18]

    Ionescu, An endpoint estimate for the Kunze–Stein phenomenon and related maximal operators, Ann

    A.D. Ionescu, An endpoint estimate for the Kunze–Stein phenomenon and related maximal operators, Ann. of Math. 152 (2000), 259--275

    work page 2000

  19. [19]

    Ionescu, A maximal operator and a covering lemma on non-compact symmetric spaces Math

    A.D. Ionescu, A maximal operator and a covering lemma on non-compact symmetric spaces Math. Res. Lett. 7 (2000), 83--93

    work page 2000

  20. [20]

    Ionescu, Fourier integral operators on noncompact

    A.D. Ionescu, Fourier integral operators on noncompact

    work page

  21. [21]

    Kanai, Rough isometries, and combinatorial approximation of non-compact

    M. Kanai, Rough isometries, and combinatorial approximation of non-compact

    work page

  22. [22]

    M. Levi, S. Meda, F. Santagati and M. Vallarino, Hardy--Littlewood maximal operators on trees with bounded geometry, Trans. Amer. Math. Soc. 378 (2025), 3951--3979

    work page 2025

  23. [23]

    Levi and F

    M. Levi and F. Santagati, Hardy--Littlewood fractional maximal operators on homogeneous trees, Math. Z. 308, 28 (2024), https://doi.org/10.1007/s00209-024-03574-w

    work page doi:10.1007/s00209-024-03574-w 2024

  24. [24]

    Li, La fonction maximale de Hardy--Littlewood sur une classe d'espaces m\'etriques measurables, C

    H.-Q. Li, La fonction maximale de Hardy--Littlewood sur une classe d'espaces m\'etriques measurables, C. R. Acad. Sci. Paris, Ser. I 338 (2004), 31--34

    work page 2004

  25. [25]

    Li, La fonction maximale non centr\'ee sur les vari\'et\'es de type cuspidale, J

    H.-Q. Li, La fonction maximale non centr\'ee sur les vari\'et\'es de type cuspidale, J. Funct. Anal. 229 (2005), 155--183

    work page 2005

  26. [26]

    Li, Les fonctions maximales de Hardy--Littlewood pour des measures sur les vari\'et\'es de type cuspidale, J

    H.-Q. Li, Les fonctions maximales de Hardy--Littlewood pour des measures sur les vari\'et\'es de type cuspidale, J. Math. Pures Appl. 88 (2007), 261--275

    work page 2007

  27. [27]

    A. M. Mantero and A. Zappa, The Poisson transform on free

    work page

  28. [28]

    S. Meda, S. Pigola, A.G. Setti, G. Veronelli, Hardy–Littlewood maximal opera- tors on certain manifolds with bounded geometry, available at arXiv:2502.13109

    work page arXiv

  29. [29]

    Meda and F

    S. Meda and F. Santagati, Triangular maximal operators on locally finite trees, Mathematika 70 (2024), https://doi.org/10.1112/mtk.12253

    work page doi:10.1112/mtk.12253 2024

  30. [30]

    Meda and M

    S. Meda and M. Vallarino, Weak type estimates for spherical

    work page

  31. [31]

    Meda and S

    S. Meda and S. Volpi, Spaces of Goldberg type on

    work page

  32. [32]

    Mitrinovi\'c, J.E

    D.S. Mitrinovi\'c, J.E. Pe cari\'c, A.M. Fink, Classical and New Inequalities in Analysis, Mathematics and its Applications, No. 61, Springer Science & Business Media, 2013

    work page 2013

  33. [33]

    Naor and T

    A. Naor and T. Tao, Random martingales and localization of maximal inequalities, J. Funct. Anal. 259 (2010), 731--779

    work page 2010

  34. [34]

    Ombrosi, I.P

    S. Ombrosi, I.P. Rivera-Rios and M.D. Safe, Fefferman--Stein inequalities for the Hardy--Litllewood maximal function

    work page

  35. [35]

    Ombrosi and I.P

    S. Ombrosi and I.P. Rivera-Rios, Weighted Lp estimates on the infinite rooted k-ary tree,

    work page

  36. [36]

    Rochberg and M

    R. Rochberg and M. Taibleson, Factorization of the Green's operator and weak-type estimates for a random walk on a tree,

    work page

  37. [37]

    Rouvi\`ere, Espaces de Damek-Ricci, g\'eom\'etrie et analyse, \'Ecole d’\'et\'e du C.I.M.P.A., Kenitra 1999 (Version revue le 17 juin 2008)

    F. Rouvi\`ere, Espaces de Damek-Ricci, g\'eom\'etrie et analyse, \'Ecole d’\'et\'e du C.I.M.P.A., Kenitra 1999 (Version revue le 17 juin 2008)

    work page 1999

  38. [38]

    Stein, Topics in Harmonic Analysis Related to

    E.M. Stein, Topics in Harmonic Analysis Related to

    work page

  39. [39]

    Stein, Harmonic Analysis

    E.M. Stein, Harmonic Analysis. Real variable

    work page

  40. [40]

    Stein and G

    E.M. Stein and G. Weiss,

    work page

  41. [41]

    Str\"omberg, Weak type L^1 estimates for maximal functions on non-compact symmetric spaces, Ann

    J.-O. Str\"omberg, Weak type L^1 estimates for maximal functions on non-compact symmetric spaces, Ann. of Math. 114 (1981), 115--126

    work page 1981

  42. [42]

    Veca, The Kunze--Stein phenomenon on the isometry group of a tree, Bull

    A. Veca, The Kunze--Stein phenomenon on the isometry group of a tree, Bull. Austral. Math. Soc. 65 (2002), 153--174

    work page 2002