pith. sign in

arxiv: 2604.15844 · v1 · submitted 2026-04-17 · 🧮 math.NT · math.CA· math.CO

Uniform estimates for Delannoy numbers and dimension-free estimates for discrete maximal functions over cross-polytopes

Dariusz Kosz , Jakub Niksi\'nski , B{\l}a\.zej Wr\'obel This is my paper

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

classification 🧮 math.NT math.CAmath.CO
keywords dimension-freemaximalcross-polytopesdelannoyestimatesnumbersradiiuniform
0
0 comments X

The pith

Delannoy numbers admit uniform dimension-free upper and lower bounds via lattice-point counts in cross-polytopes, which yield dimension-free bounds for the associated discrete maximal functions.

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

The paper establishes uniform upper and lower bounds on Delannoy numbers that remain independent of dimension. It does so by expressing these numbers as the count of lattice points inside scaled cross-polytopes and proving that this count stays comparable to the continuous volume with constants that do not grow with dimension. The resulting count is applied to the discrete maximal operator that averages over cross-polytopes centered at lattice points. A comparison between the discrete and continuous versions of the operator then produces dimension-free bounds on every ell^p(Z^d) space once the radius exceeds a multiple of d to the three-halves. Separate arguments give bounds on ell^2 for radii up to order d to the power 1-epsilon and handle the dyadic version for every radius.

Core claim

We prove a uniform upper and lower bound for Delannoy numbers. This is achieved by using the representation of Delannoy numbers as the number of lattice points in high-dimensional cross-polytopes and proving a uniform dimension-free count for these lattice points. Using this count, we establish dimension-free estimates for discrete maximal functions over cross-polytopes. By proving a comparison principle with the continuous setting, we obtain a dimension-free estimate on all ell^p(Z^d) spaces for radii R greater than C d to the 3/2. We also treat the full maximal function on ell^2(Z^d) for small radii R less than or equal to d to the 1-epsilon and the dyadic maximal function for any radii.

What carries the argument

The dimension-free uniform estimate on the number of lattice points inside a scaled cross-polytope, which equals the Delannoy number and controls the size of the discrete maximal averages.

If this is right

  • Delannoy numbers satisfy two-sided bounds with constants independent of dimension.
  • The discrete maximal operator over cross-polytopes is bounded on every ell^p(Z^d) with constants independent of dimension whenever the radius exceeds C d^{3/2}.
  • The full maximal operator is bounded on ell^2(Z^d) with dimension-free constants for all radii up to d^{1-epsilon}.
  • The dyadic maximal operator over cross-polytopes is bounded on ell^p(Z^d) with dimension-free constants for every radius.

Where Pith is reading between the lines

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

  • The same lattice-point comparison may be tried on other symmetric convex bodies to obtain dimension-free discrete maximal bounds beyond the ell^1 case.
  • The explicit radius threshold d^{3/2} marks a transition between regimes; checking whether a smaller power of d suffices would test the sharpness of the comparison argument.
  • The uniform Delannoy bounds supply a model case for controlling maximal operators in discrete settings where the underlying geometry changes with dimension.
  • keywords

Load-bearing premise

The comparison principle between the discrete maximal function over cross-polytopes and its continuous counterpart holds uniformly in high dimensions.

What would settle it

A numerical computation, for dimension d=100 and radius R=10 d^{3/2}, showing that the ratio of Delannoy number to the Euclidean volume of the cross-polytope grows or shrinks without bound would falsify the uniform count; likewise, an explicit function on Z^d whose discrete maximal average exceeds the continuous one by a factor that grows with d would falsify the comparison principle.

read the original abstract

We prove a uniform upper and lower bound for Delannoy numbers. This is achieved by using the representation of Delannoy numbers as the number of lattice points in high-dimensional cross-polytopes (also known as hyper-octahedrons or $\ell^1$ balls) and proving a uniform (dimension-free) count for these lattice points. Using this count, we establish dimension-free estimates for discrete maximal functions over cross-polytopes. By proving a comparison principle with the continuous setting, we obtain a dimension-free estimate on all $\ell^p(\mathbb{Z}^d)$ spaces for radii $R>C d^{3/2}.$ We also treat the full maximal function on $\ell^2(\mathbb{Z}^d)$ for small radii $R\le d^{1-\varepsilon}$ and the dyadic maximal function for any radii.

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

1 major / 2 minor

Summary. The paper proves uniform (dimension-free) upper and lower bounds on Delannoy numbers D(d,R) by establishing a lattice-point count for the cross-polytope {x : ||x||_1 ≤ R} that is independent of dimension d. This count is then used to obtain dimension-free bounds for the associated discrete maximal operators on ℓ^p(ℤ^d) when R > C d^{3/2}, via a comparison principle transferring continuous maximal-function estimates to the discrete setting; separate arguments are given for the full maximal operator on ℓ^2(ℤ^d) when R ≤ d^{1-ε} and for the dyadic maximal operator at all radii.

Significance. If the comparison principle holds uniformly, the results would be significant: dimension-free estimates for discrete maximal functions are rare in high dimensions, and the uniform Delannoy bound supplies a clean combinatorial application of the same lattice-counting technique. The paper supplies explicit radius thresholds and treats both large-radius and small-radius regimes, which strengthens the contribution.

major comments (1)
  1. [§4] §4 (Comparison principle): The transfer from continuous to discrete maximal functions relies on controlling the discrepancy between the two operators uniformly in d. Because the cross-polytope has 2^d simplicial facets, the boundary error term is potentially of size O(2^d R^{d-1}) while the volume is Θ((2R)^d / d!); the manuscript must exhibit an explicit bound showing that this ratio remains o(1) (or at worst bounded by a d-independent constant) precisely when R > C d^{3/2}. Without a quantitative estimate of this form, the claimed dimension-free operator norm on ℓ^p(ℤ^d) is not yet secured.
minor comments (2)
  1. [Abstract and §1] The constant C in the threshold R > C d^{3/2} is not numerically specified; an explicit value (or at least its dependence on p) would make the statement sharper.
  2. [§3] Notation for the discrete maximal function M_R f should be introduced once and used consistently; the current alternation between M_R and the continuous analogue occasionally obscures which operator is under discussion.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We are grateful to the referee for the thorough review and positive assessment of the paper's significance. We address the major comment regarding the comparison principle in Section 4 below. We will incorporate the requested quantitative bound into the revised manuscript.

read point-by-point responses

  1. Referee: [§4] §4 (Comparison principle): The transfer from continuous to discrete maximal functions relies on controlling the discrepancy between the two operators uniformly in d. Because the cross-polytope has 2^d simplicial facets, the boundary error term is potentially of size O(2^d R^{d-1}) while the volume is Θ((2R)^d / d!); the manuscript must exhibit an explicit bound showing that this ratio remains o(1) (or at worst bounded by a d-independent constant) precisely when R > C d^{3/2}. Without a quantitative estimate of this form, the claimed dimension-free operator norm on ℓ^p(ℤ^d) is not yet secured.

    Authors: We thank the referee for highlighting the need for an explicit bound on the discrepancy in the comparison principle. We agree that this is essential for securing the dimension-free estimates. In the revision, we will include a precise calculation demonstrating that the boundary-to-volume ratio is in fact O(d/R), as the factor of 2^d appears in both the surface measure (due to the 2^d facets) and the volume, and thus cancels. This yields a ratio of order d/R. For R > C d^{3/2} with C chosen sufficiently large (e.g., C ≥ 2), the ratio is at most 1/2 uniformly in d. Consequently, the error in transferring the continuous maximal function bounds to the discrete setting is controlled by a d-independent constant, establishing the claimed operator norm bounds on ℓ^p(ℤ^d). We believe this resolves the concern. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on independent lattice-point estimates and comparison principle

full rationale

The paper derives uniform Delannoy bounds from a new dimension-free lattice-point count inside cross-polytopes, then transfers continuous maximal-function bounds via a separately proved comparison principle for R > C d^{3/2}. No equations reduce a claimed prediction to a fitted input by construction, no self-citation is load-bearing for the central count or comparison, and the Delannoy representation is used only as a starting point for an explicit counting argument rather than a tautology. The derivation chain is therefore self-contained against external volume and surface-measure benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the combinatorial identification of Delannoy numbers with lattice points in cross-polytopes and on an unstated comparison principle between discrete and continuous maximal operators.

axioms (2)
  • domain assumption Delannoy numbers equal the number of lattice points in high-dimensional cross-polytopes
    Invoked to convert the enumeration problem into a geometric counting problem.
  • domain assumption A comparison principle holds between the discrete maximal function over cross-polytopes and its continuous analogue
    Used to transfer dimension-free bounds from the continuous to the discrete setting.

pith-pipeline@v0.9.0 · 5463 in / 1163 out tokens · 55196 ms · 2026-05-10T07:50:02.123066+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.FA 2026-05 unverdicted novelty 7.0

    The l2 norm of the r-variation seminorm of spherical means on the hypercube has no dimension-free bound for any r when radii are unrestricted, but admits such bounds for r greater than 2 when radii are restricted to f...

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · cited by 1 Pith paper

  1. [1]

    Banderier, S

    C. Banderier, S. Schwer,Why Delannoy numbers?, J. Statist. Plann. Inference135(2005), 40–54

    work page 2005

  2. [2]

    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

  3. [3]

    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

    work page 1986

  4. [4]

    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

  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]

    Bourgain, M

    J. Bourgain, M. Mirek, E.M. Stein, B. Wr´ obel,On Discrete Hardy–Littlewood Maximal Functions over the Balls inZ d: dimension-free estimates, Geometric Aspects of Functional Analysis. Lecture Notes in Mathematics2256, Springer, 2020, 127–169

    work page 2020

  7. [7]

    Carbery,An almost-orthogonality principle with applications to maximal functions asso- ciated to convex bodies, Bull

    A. Carbery,An almost-orthogonality principle with applications to maximal functions asso- ciated to convex bodies, Bull. Amer. Math. Soc.14(1986), 269–274

    work page 1986

  8. [8]

    Delannoy,Emploi de l’´ echiquier pour la r´ esolution de divers probl` emes de probabilit´ e, Assoc

    H. Delannoy,Emploi de l’´ echiquier pour la r´ esolution de divers probl` emes de probabilit´ e, Assoc. Fran¸ c. Paris18(1889), 43–52

    work page

  9. [9]

    Ehrhart,Sur les poly` edres rationnels homoth´ etiques ` andimensions, C

    E. Ehrhart,Sur les poly` edres rationnels homoth´ etiques ` andimensions, C. R. Acad. Sci. Paris254(1962), 616–618

    work page 1962

  10. [10]

    Kiselman,Asymptotic properties of the Delannoy numbers and similar arrays, preprint, 2012

    C.O. Kiselman,Asymptotic properties of the Delannoy numbers and similar arrays, preprint, 2012

    work page 2012

  11. [11]

    D. Kosz, M. Mirek, P. Plewa, B. Wr´ obel,Some remarks on dimension-free estimates for the discrete Hardy–Littlewood maximal functions, Israel J. Math.254(2023), 1–38

    work page 2023

  12. [12]

    Liu,On positivity of Ehrhart polynomials, in: H

    F. Liu,On positivity of Ehrhart polynomials, in: H. Barcelo, G. Karaali, R. Orellana (eds), Recent Trends in Algebraic Combinatorics, Association for Women in Mathematics Series16, Springer, Cham, 2019, 189–237

    work page 2019

  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]

    Pemantle, M.C

    R. Pemantle, M.C. Wilson,Asymptotics of multivariate sequences: I. Smooth points of the singular variety, J. Combin. Theory Ser. A97(2002), 129–161

    work page 2002

  15. [15]

    Pemantle, M.C

    R. Pemantle, M.C. Wilson, S. Melczer,Analytic Combinatorics in Several Variables, 2nd ed. Cambridge University Press, 2024

    work page 2024

  16. [16]

    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

  17. [17]

    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

  18. [18]

    Niksi´ nski,High-dimensional discrete super-symmetric convex bodies and dimension-free estimates for maximal functions, in preparation

    J. Niksi´ nski,High-dimensional discrete super-symmetric convex bodies and dimension-free estimates for maximal functions, in preparation

    work page

  19. [19]

    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, accepted for publication in J. Math. Pures Appl. (2026), arXiv:2503.16952

    work page arXiv 2026

  20. [20]

    Robins,A friendly introduction to Fourier analysis on polytopes, arXiv:2104.06407

    S. Robins,A friendly introduction to Fourier analysis on polytopes, arXiv:2104.06407

    work page arXiv

  21. [21]

    Stein,The development of square functions in the work of A

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

    work page 1982

  22. [22]

    Stein, J.O

    E.M. Stein, J.O. Str¨ omberg,Behavior of maximal functions inR n for largen, Ark. Mat.21 (1983), 259–269. Dariusz Kosz (dariusz.kosz@pwr.edu.pl) Faculty of Pure and Applied Mathematics, Wroc law University of Science and Tech- nology, 50-370 Wroc law, Poland Jakub Niksi´nski (trolek1130@gmail.com) Department of Mathematics, Rutgers University, Piscataway,...

    work page 1983