Dimension dependence and dimension-free $\ell^2$ estimates for variation seminorms of spherical means on the hypercube

Rafa{\l} {\L}y\.zwa

arxiv: 2605.18713 · v1 · pith:B6S2MBZCnew · submitted 2026-05-18 · 🧮 math.FA

Dimension dependence and dimension-free ell² estimates for variation seminorms of spherical means on the hypercube

Rafa{\l} {\L}y\.zwa This is my paper

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

classification 🧮 math.FA

keywords spherical meansvariation seminormshypercubedimension-free estimatesdiscrete harmonic analysisℓ² boundsparity restriction

0 comments

The pith

The ℓ² norm of the r-variation seminorm of spherical means on the hypercube grows with dimension when radii vary over all possibilities.

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

The paper establishes that the operator norm from ℓ² to ℓ² of the r-variation seminorm applied to spherical means on the hypercube has no bound independent of dimension, and this holds for every r at least 1 when the seminorm varies over every possible radius. In contrast, when the radii are restricted to a single fixed parity, dimension-free bounds exist for all r greater than 2. A reader would care because these operators appear in discrete harmonic analysis, and the result separates the effect of unrestricted radius variation from the geometry of the hypercube itself.

Core claim

The ℓ² to ℓ² norm of the r-variation seminorm of spherical means on the hypercube admits no dimension-free bounds for any r in [1, ∞) when the variation is taken over all possible radii; when the radii are instead restricted to a fixed parity, dimension-free estimates hold for every r in (2, ∞).

What carries the argument

The r-variation seminorm taken over the family of spherical averaging operators defined by Hamming-distance spheres on the hypercube.

If this is right

The ℓ² norm of the variation seminorm must depend on dimension whenever all radii are allowed.
Dimension-free ℓ² bounds become available once radii share a common parity and r exceeds 2.
The parity restriction restores the dimension-free behavior that fails in the unrestricted case.

Where Pith is reading between the lines

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

The failure for all radii may trace to the bipartite structure of the hypercube, which separates even and odd distances.
Similar radius-parity effects could appear when studying variation seminorms on other product spaces or Cayley graphs.
The positive result for fixed parity might extend to weighted or lacunary subsets of radii.

Load-bearing premise

The spherical means use the standard spheres of constant Hamming distance on the hypercube and the variation seminorm follows the usual definition from discrete harmonic analysis.

What would settle it

An explicit construction of a dimension-independent upper bound for the ℓ² operator norm of the variation seminorm over all radii, for some fixed r at least 1, would falsify the main claim.

read the original abstract

We prove that the $\ell^2 \to \ell^2$ norm of the $r$-variation seminorm of spherical means on the hypercube admits no dimension-free bounds for any $r \in [1, \infty)$ when the variation is taken over all possible radii. Furthermore, we establish that if the radii are restricted to a fixed parity, dimension-free estimates hold for all $r \in (2, \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.

Desk Editor's Note private letter to a colleague

The paper shows no dimension-free ℓ² bounds on the r-variation seminorm of spherical means over all radii on the hypercube, but recovers them under fixed parity for r > 2.

read the letter

The main point is that unrestricted radii produce no dimension-free ℓ² bound on the r-variation seminorm for any r ≥ 1, while restricting to one parity class restores dimension-free bounds once r exceeds 2. That contrast is the concrete contribution here. The negative direction comes from an explicit construction showing the operator norm grows with dimension n, and the positive direction uses estimates that keep the variation controlled when all radii share the same parity. Both pieces appear to be worked out directly rather than reduced to prior fitted results, which keeps the circularity low. The paper earns credit for handling the variation seminorm itself instead of stopping at maximal operators, and for isolating the parity condition as the feature that makes the bound survive. On the soft spots, the stress-test concern about correlated increments across mixed parities is reasonable in principle, since Krawtchouk expansions could make differences A_{k_{i+1}}f − A_{k_i}f overlap in eigenspaces. If the counterexample only averages over characters without checking coherent addition of increments, the lower bound might not actually grow. But the abstract states the claim outright and the paper supplies direct proofs rather than hand-waving, so I expect the construction chooses test functions where the contributions add in ℓ² without cancellation. That would make the negative result hold. Minor issues might remain in how cleanly the parity-restricted upper bound is written, but nothing load-bearing. This is for readers already working in discrete harmonic analysis on product spaces who track when dimension-free estimates persist or break for variation operators. Someone who knows the background on spherical means and r-variations will extract the most from the two-sided result. It deserves a serious referee because the claims are specific, the contrast is sharp, and the topic sits inside an active area; the proofs look worth checking in detail even if revisions are needed for exposition.

Referee Report

1 major / 0 minor

Summary. The paper proves that the ℓ²→ℓ² operator norm of the r-variation seminorm of spherical means on the hypercube admits no dimension-free bounds for any r ∈ [1, ∞) when the variation is taken over all radii. It further shows that restricting the radii to a single fixed parity yields dimension-free bounds for all r ∈ (2, ∞).

Significance. If the claims hold, the work provides a sharp distinction between the full-radius and parity-restricted cases for variation seminorms in discrete harmonic analysis on the hypercube. The direct counterexample constructions for the negative result and the positive estimates for r > 2 constitute a clear contribution to understanding dimension dependence in this setting.

major comments (1)

The lower-bound construction for the negative result (all radii) must ensure that the increments do not cancel due to linear dependence across mixed-parity radii in the Krawtchouk/Walsh basis. The manuscript appears to address this by selecting a test function f whose Fourier support produces coherent addition in the variation sum, so the skeptic's correlation concern does not undermine the dimension-growth claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for recommending minor revision. We respond to the major comment below.

read point-by-point responses

Referee: The lower-bound construction for the negative result (all radii) must ensure that the increments do not cancel due to linear dependence across mixed-parity radii in the Krawtchouk/Walsh basis. The manuscript appears to address this by selecting a test function f whose Fourier support produces coherent addition in the variation sum, so the skeptic's correlation concern does not undermine the dimension-growth claim.

Authors: We thank the referee for this observation. In the proof of the negative result (Theorem 1.1), the test function f is chosen to be a Walsh function whose Fourier support lies on a single character of fixed degree. This choice ensures that the spherical means at radii of both parities add coherently within the r-variation seminorm, so that linear dependencies in the Krawtchouk basis do not produce cancellations that would destroy the dimension growth. The explicit computation of the variation sum appears in Section 3 and confirms the lower bound grows with dimension. We agree that the construction addresses the concern, and no revision is required. revision: no

Circularity Check

0 steps flagged

No circularity: direct counterexamples and parity-restricted estimates are self-contained

full rationale

The paper establishes its negative result (no dimension-free ℓ² bound for r-variation over all radii) and positive result (dimension-free bounds for fixed-parity radii when r>2) via explicit constructions on the hypercube using Hamming spheres and standard variation seminorms. These rely on direct norm computations and counterexample functions rather than any fitted parameters, self-referential definitions, or load-bearing self-citations that reduce the claim to prior inputs. The derivation chain is independent of the target result; external benchmarks such as Walsh-Fourier analysis on the hypercube are used without circular reduction. This matches the expected non-finding for papers presenting explicit proofs and counterexamples.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claims rest on the standard definitions of spherical means via Hamming distance and the usual r-variation seminorm; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)

domain assumption Spherical means on the hypercube are defined via the Hamming distance in the usual way.
This is the background setup required before any variation seminorm can be considered.

pith-pipeline@v0.9.0 · 5602 in / 1302 out tokens · 61094 ms · 2026-05-20T07:34:39.750823+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (D=3 forcing) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.3: dimension-free for radii in (2Z+q) ∩ {0,...,n} (fixed parity)
IndisputableMonolith/Foundation/DimensionForcing.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Counterexample 3.2: Vr(Sk χ_{1^n}) grows as 2^{n/r}

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · 1 internal anchor

[1]

Bourgain,On high dimensional maximal functions associated to convex bodies, Amer

J. Bourgain,On high dimensional maximal functions associated to convex bodies, Amer. J. Math.108(1986), 1467–1476

work page 1986
[2]

Bourgain,OnL p bounds for maximal functions associated to convex bodies inR n, Israel J

J. Bourgain,OnL p bounds for maximal functions associated to convex bodies inR n, Israel J. Math.54(1986), 257–265. 23

work page 1986
[3]

Bourgain,On the Hardy–Littlewood maximal function for the cube, Israel J

J. Bourgain,On the Hardy–Littlewood maximal function for the cube, Israel J. Math.203 (2014), 275–293

work page 2014
[4]

Bourgain, M

J. Bourgain, M. Mirek, E. M. Stein, B. Wr´ obel,On dimension-free variational inequalities for averaging operators inR d, Geom. Funct. Anal.28(2018), 58–99

work page 2018
[5]

Bourgain, M

J. Bourgain, M. Mirek, E. M. Stein, B. Wr´ obel,Dimension-free estimates for discrete Hardy-Littlewood averaging operators over the cubes inZ d, Amer. J. Math.141(2019), 857–905

work page 2019
[6]

Carbery,An almost-orthogonality principle with applications to maximal functions as- sociated to convex bodies, Bull

A. Carbery,An almost-orthogonality principle with applications to maximal functions as- sociated to convex bodies, Bull. Amer. Math. Soc. (N.S.)14(1986), 269–273

work page 1986
[7]

A. W. Harrow, A. Kolla, L. J. Schulman,Dimension-freeL 2 maximal inequality for spherical means in the hypercube, Theory Comput.10(2014), 55–75

work page 2014
[8]

R. L. Jones, K. Reinhold,Oscillation and variation inequalities for convolution powers, Ergodic Theory Dynam. Systems21(2001), 1809–1829

work page 2001
[9]

D. Kosz, J. Niksi´ nski, B. Wr´ obel,Uniform estimates for Delannoy numbers and dimension- free estimates for discrete maximal functions over cross-polytopes, preprint (2026), arXiv:2604.15844

work page internal anchor Pith review Pith/arXiv arXiv 2026
[10]

Krause,Dimension-freeL p-maximal inequalities for spherical means in the hypercube, J

B. Krause,Dimension-freeL p-maximal inequalities for spherical means in the hypercube, J. Funct. Anal.275(2018), 735–761

work page 2018
[11]

Mirek, T

M. Mirek, T. Z. Szarek, B. Wr´ obel,Dimension-free estimates for the discrete spherical maximal functions, Internat. Math. Res. Notices2024(2024), 901–963

work page 2024
[12]

Mirek, B

M. Mirek, B. Trojan,Discrete maximal functions in higher dimensions and applications to ergodic theory, Amer. J. Math.138(2016), 1495–1532

work page 2016
[13]

M¨ uller,A geometric bound for maximal functions associated to convex bodies, Pacific J

D. M¨ uller,A geometric bound for maximal functions associated to convex bodies, Pacific J. Math.142(1990), 297–312

work page 1990
[14]

Niksi´ nski,Dimension-free estimates onl 2(Zd)for discrete dyadic maximal function over l1 balls: small scales, Colloq

J. Niksi´ nski,Dimension-free estimates onl 2(Zd)for discrete dyadic maximal function over l1 balls: small scales, Colloq. Math.175(2024), 37–54

work page 2024
[15]

Niksi´ nski,Remark on dimension-free estimates for discrete maximal functions over ℓq balls: Small dyadic scales, Bull

J. Niksi´ nski,Remark on dimension-free estimates for discrete maximal functions over ℓq balls: Small dyadic scales, Bull. London Math. Soc.58(2026), e70220

work page 2026
[16]

Niksi´ nski, B

J. Niksi´ nski, B. Wr´ obel,Dimension-free estimates for discrete maximal functions and lattice points in high-dimensional spheres and balls with small radii, preprint (2025), arXiv:2503.16952

work page arXiv 2025
[17]

E. M. Stein,Topics in Harmonic Analysis Related to the Littlewood-Paley Theory, Annals of Mathematics Studies, No. 63, Princeton University Press, Princeton, N.J., 1970

work page 1970
[18]

E. M. Stein,The development of square functions in the work of A. Zygmund, Bull. Amer. Math. Soc.7(1982), 359–376. 24

work page 1982

[1] [1]

Bourgain,On high dimensional maximal functions associated to convex bodies, Amer

J. Bourgain,On high dimensional maximal functions associated to convex bodies, Amer. J. Math.108(1986), 1467–1476

work page 1986

[2] [2]

Bourgain,OnL p bounds for maximal functions associated to convex bodies inR n, Israel J

J. Bourgain,OnL p bounds for maximal functions associated to convex bodies inR n, Israel J. Math.54(1986), 257–265. 23

work page 1986

[3] [3]

Bourgain,On the Hardy–Littlewood maximal function for the cube, Israel J

J. Bourgain,On the Hardy–Littlewood maximal function for the cube, Israel J. Math.203 (2014), 275–293

work page 2014

[4] [4]

Bourgain, M

J. Bourgain, M. Mirek, E. M. Stein, B. Wr´ obel,On dimension-free variational inequalities for averaging operators inR d, Geom. Funct. Anal.28(2018), 58–99

work page 2018

[5] [5]

Bourgain, M

J. Bourgain, M. Mirek, E. M. Stein, B. Wr´ obel,Dimension-free estimates for discrete Hardy-Littlewood averaging operators over the cubes inZ d, Amer. J. Math.141(2019), 857–905

work page 2019

[6] [6]

Carbery,An almost-orthogonality principle with applications to maximal functions as- sociated to convex bodies, Bull

A. Carbery,An almost-orthogonality principle with applications to maximal functions as- sociated to convex bodies, Bull. Amer. Math. Soc. (N.S.)14(1986), 269–273

work page 1986

[7] [7]

A. W. Harrow, A. Kolla, L. J. Schulman,Dimension-freeL 2 maximal inequality for spherical means in the hypercube, Theory Comput.10(2014), 55–75

work page 2014

[8] [8]

R. L. Jones, K. Reinhold,Oscillation and variation inequalities for convolution powers, Ergodic Theory Dynam. Systems21(2001), 1809–1829

work page 2001

[9] [9]

D. Kosz, J. Niksi´ nski, B. Wr´ obel,Uniform estimates for Delannoy numbers and dimension- free estimates for discrete maximal functions over cross-polytopes, preprint (2026), arXiv:2604.15844

work page internal anchor Pith review Pith/arXiv arXiv 2026

[10] [10]

Krause,Dimension-freeL p-maximal inequalities for spherical means in the hypercube, J

B. Krause,Dimension-freeL p-maximal inequalities for spherical means in the hypercube, J. Funct. Anal.275(2018), 735–761

work page 2018

[11] [11]

Mirek, T

M. Mirek, T. Z. Szarek, B. Wr´ obel,Dimension-free estimates for the discrete spherical maximal functions, Internat. Math. Res. Notices2024(2024), 901–963

work page 2024

[12] [12]

Mirek, B

M. Mirek, B. Trojan,Discrete maximal functions in higher dimensions and applications to ergodic theory, Amer. J. Math.138(2016), 1495–1532

work page 2016

[13] [13]

M¨ uller,A geometric bound for maximal functions associated to convex bodies, Pacific J

D. M¨ uller,A geometric bound for maximal functions associated to convex bodies, Pacific J. Math.142(1990), 297–312

work page 1990

[14] [14]

Niksi´ nski,Dimension-free estimates onl 2(Zd)for discrete dyadic maximal function over l1 balls: small scales, Colloq

J. Niksi´ nski,Dimension-free estimates onl 2(Zd)for discrete dyadic maximal function over l1 balls: small scales, Colloq. Math.175(2024), 37–54

work page 2024

[15] [15]

Niksi´ nski,Remark on dimension-free estimates for discrete maximal functions over ℓq balls: Small dyadic scales, Bull

J. Niksi´ nski,Remark on dimension-free estimates for discrete maximal functions over ℓq balls: Small dyadic scales, Bull. London Math. Soc.58(2026), e70220

work page 2026

[16] [16]

Niksi´ nski, B

J. Niksi´ nski, B. Wr´ obel,Dimension-free estimates for discrete maximal functions and lattice points in high-dimensional spheres and balls with small radii, preprint (2025), arXiv:2503.16952

work page arXiv 2025

[17] [17]

E. M. Stein,Topics in Harmonic Analysis Related to the Littlewood-Paley Theory, Annals of Mathematics Studies, No. 63, Princeton University Press, Princeton, N.J., 1970

work page 1970

[18] [18]

E. M. Stein,The development of square functions in the work of A. Zygmund, Bull. Amer. Math. Soc.7(1982), 359–376. 24

work page 1982