English

Kissing numbers and the centered maximal operator

Classical Analysis and ODEs 2020-03-11 v2

Abstract

We prove that in a metric measure space XX, if for some p(1,)p \in (1,\infty) there are uniform bounds (independent of the measure) for the weak type (p,p)(p,p) of the centered maximal operator, then XX satisfies a certain geometric condition, the Besicovitch intersection property, which in turn implies the uniform weak type (1,1)(1,1) of the centered operator. Thus, the following characterization is obtained: the centered maximal operator satisfies uniform weak type (1,1)(1,1) bounds if and only if the space XX has the Besicovitch intersection property. In Rd\mathbb{R}^d with any norm, the constants coming from the Besicovitch intersection property are bounded above by the translative kissing numbers. The extensive literature on kissing numbers allows us to obtain, first, sharp estimates on the uniform bounds satisfied by the centered maximal operators defined by arbitrary norms on the plane, second, sharp estimates in every dimension when the \ell_\infty norm is used, and third, improved estimates in all dimensions when considering euclidean balls, as well as the sharp constant in dimension 3. Additionally, we prove that the existence of uniform L1L^1 bounds for the averaging operators associated to arbitrary measures and radii, is equivalent to a weaker variant of the Besicovitch intersection property.

Keywords

Cite

@article{arxiv.1811.10478,
  title  = {Kissing numbers and the centered maximal operator},
  author = {J. M. Aldaz},
  journal= {arXiv preprint arXiv:1811.10478},
  year   = {2020}
}

Comments

20 pages, minor changes, save that it adds as a last section another ms of the author, namely arXiv:1902.11080

R2 v1 2026-06-23T06:20:25.508Z