Stein’s dimension-free maximal inequality problem for discrete Euclidean balls

For every 1<p≤∞1<p\le\infty, does there exist a constant Cp<∞C_p<\infty, independent of the dimension dd, such that for every f∈ℓp(Zd)f\in\ell^p(\mathbb{Z}^d), ∥sup⁡R>0∣1∣BRd∣∑y∈BRdf( ⋅−y )∣∥ℓp(Zd)≤Cp∥f∥ℓp(Zd)\left\|\sup_{R>0}\left|\frac{1}{|B_R^d|}\sum_{y\in B_R^d}f(\,\cdot-y\,)\right|\right\|_{\ell^p(\mathbb{Z}^d)}\le C_p\|f\|_{\ell^p(\mathbb{Z}^d)}, where BRd={x∈Zd:∥x∥2≤R}B_R^d=\{x\in\mathbb{Z}^d:\|x\|_2\le R\}?

References

Progress summary

Refreshed
Claimed solved

An unrefereed September 2026 preprint claims to solve Stein’s discrete Euclidean-ball maximal inequality problem in the full radius range.

Stein’s problem asks whether the discrete Hardy–Littlewood maximal operator over Euclidean balls has bounds independent of the dimension, including the full supremum over radii. The newly reported claim addresses Stein’s explicitly identified ℓ2\ell^2 question and extends it across the stated exponent range.

Known results

  • Earlier work established dimension-free bounds for dyadic radii and p∈[2,∞]p\in[2,\infty], but not the full-radius inequality.
  • Subsequent work treated small dyadic scales and related ℓq\ell^q balls, without resolving the full Euclidean-ball problem.

September 2026 claimed solution

A September 2026 arXiv preprint, Full-radius dimension-free maximal inequalities for discrete Euclidean balls, claims the full-radius dimension-free inequality across the entire stated exponent range. It is presented as an unrefereed preprint, and no independent verification or reported correction was found.

Current status (as of September 2026): The full-radius problem is claimed solved by an unrefereed preprint, but the claim remains unverified.

Sources

Solutions 0

No solutions have been posted yet.