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

1. Probleemstelling en Context

Het paper adresseert twee fundamentele problemen die met elkaar verbonden zijn:

1. Het tellen van roosterpunten in hoge dimensies: Het vinden van uniforme (dimensie-onafhankelijke) boven- en ondergrenzen voor het aantal roosterpunten in een $d$-dimensionale $\ell_1$-bol (ook wel een cross-polytope, hyper-octaëder of orthoplex genoemd) met straal $n$. Het aantal van deze punten correspondeert met de Delannoy-getallen $D(d, n)$.
2. Discrete Maximaal Functies: Het bewijzen van dimensie-vrije $L^p$-schattingsvoorwaarden voor discrete maximaal functies gedefinieerd over deze cross-polytopes in het rooster $\mathbb{Z}^d$.

In de continue setting (over $\mathbb{R}^d$) zijn dimensie-vrije schattingen voor Hardy-Littlewood maximaal operatoren over convexe lichamen (zoals ballen en cross-polytopes) al lang bekend (werk van Stein, Müller, Bourgain, etc.). In de discrete setting ($\mathbb{Z}^d$) is dit echter aanzienlijk moeilijker en minder goed begrepen. Het doel is om te bepalen of en onder welke voorwaarden de discrete maximaal operator $M^*_d$ een operatornorm heeft die onafhankelijk is van de dimensie $d$.

2. Methodologie

De auteurs hanteren een tweeledige aanpak die wiskundige combinatoriek, asymptotische analyse en harmonische analyse combineert:

• Asymptotische Analyse van Delannoy-getallen:

  • De auteurs gebruiken de representatie van Delannoy-getallen als het aantal roosterpunten in een cross-polytope: $D(d, n) = |B^d_n \cap \mathbb{Z}^d|$.
  • Ze vertalen dit probleem naar een complex integraalprobleem via de genererende functie van de reeks. De genererende functie wordt uitgedrukt als $h(z)^d / (1-z)$, waarbij $h(z) = \sum z^{|k|}$.
  • Om de asymptotische gedrag te analyseren, passen ze de sadelpunt-methode (saddle point method) toe. Dit stelt hen in staat om een uniforme schatting te vinden voor het aantal punten, afhankelijk van de verhouding $\alpha = n/d$.
  • Ze definiëren een parameter $r = \frac{\sqrt{1+\alpha^2}-1}{\alpha}$ en gebruiken complexe Taylor-ontwikkelingen rond het saalpunt om de integraal nauwkeurig te benaderen.

• Overdracht van Continue naar Discrete Schattingen:

  • Voor de maximaal functies maken ze gebruik van een vergelijkingsprincipe met de continue setting.
  • Ze partitioneren de cross-polytope in subgroepen gebaseerd op het aantal coördinaten dat gelijk is aan nul.
  • Ze passen de Centrale Limietstelling toe op de verdeling van de coördinaten om te laten zien dat voor grote stralen de discrete bol en de continue bol van vergelijkbare grootte zijn.
  • Voor kleine stralen gebruiken ze concentratie-resultaten afgeleid van hun nieuwe schattingen voor de Delannoy-getallen en combineren ze deze met bestaande resultaten over multi-parameter combinatorische maximaal functies.

3. Belangrijkste Bijdragen en Resultaten

A. Uniforme Schattingen voor Delannoy-getallen (Stelling 1.4)

De auteurs bewijzen een uniforme schatting voor $D(d, n)$ die geldig is voor alle $n \le d$. Ze tonen aan dat:
$$D(d, n) \approx \left(\frac{1+r}{1-r}\right)^d r^{-n} \frac{1}{\sqrt{n}}$$
waarbij $r$ afhangt van de verhouding $\alpha = n/d$.

• Gevolg voor kleine $n$ ($n \ll d$): Het aantal punten wordt gedomineerd door de rand van de polytope en gedraagt zich als $2^n \binom{d}{n}$.
• Gevolg voor grote $n$ ($n \gg d$): Het aantal punten benadert het Lebesgue-maat (volume) van de bol, vermenigvuldigd met een correctiefactor. Specifiek, voor $n \gtrsim d^{3/2}$, geldt $|B^d_n \cap \mathbb{Z}^d| \approx \text{Vol}(B^d_n)$.

Deze resultaten worden verfijnd met asymptotische expansies die een holomorf functie $b(z)$ bevatten, wat een zeer precieze beschrijving geeft van de overgang tussen de twee regimes.

B. Dimensie-vrije Schattingen voor Discrete Maximaal Functies

Op basis van de bovenstaande tellingen bewijzen de auteurs dimensie-vrije $L^p$-schattingen ($p \in (1, \infty)$) voor de maximaal operator $M^*_d$ in drie verschillende regimes voor de straal $R$:

1. Grote Stralen ($R \ge c d^{3/2}$):

   • Resultaat (Stelling 1.14): Er bestaat een constante $C(c, p)$ onafhankelijk van $d$ zodanig dat $\|M^*_{d, [cd^{3/2}, \infty)} f\|_{\ell^p} \le C \|f\|_{\ell^p}$.
   • Betekenis: Dit verbetert eerdere resultaten die alleen golden voor $R \ge d^2$. De exponent $3/2$ wordt geïdentificeerd als de scherpst mogelijke drempel voor deze methode, gebaseerd op de geometrie van de $\ell_1$-bol.

2. Kleine Stralen ($R \le d^{1-\varepsilon}$):

   • Resultaat (Stelling 1.15): Voor $p \in [2, \infty)$ en kleine stralen geldt een dimensie-vrije schatting voor de sferische (rand) maximaal functie en daarmee ook voor de volledige maximaal functie.
   • Methode: Dit maakt gebruik van concentratie-eigenschappen van de roosterpunten (Stelling 4.3 en Corollarium 4.4), die aantonen dat de massa van de verdeling zich concentreert in een specifieke regio van de polytope.

3. Dyadische Stralen:

   • Resultaat (Stelling 1.17): Voor alle $p \in [2, \infty)$ en stralen $R$ die een macht van 2 zijn, geldt een dimensie-vrije schatting.
   • Methode: Dit resultaat combineert de resultaten voor kleine en grote stralen en maakt gebruik van een nieuwe schatting voor de "isotrope constante" van de cross-polytope (Corollarium 5.2), die een bovengrens geeft voor het tweede moment van de coördinaten.

4. Significatie en Impact

• Oplossing van een open probleem: Het paper maakt aanzienlijke vooruitgang in het bewijzen van de volledige dimensie-vrije conjectuur voor discrete maximaal functies over $\ell_1$-ballen. Hoewel de volledige conjectuur voor alle $R$ en alle $p \in (1, \infty)$ nog niet volledig is opgelost, dekken de resultaten van de auteurs nu de meeste relevante regimes (zeer kleine en zeer grote stralen, plus dyadische stralen).
• Universele Schattingen: De afgeleide formules voor Delannoy-getallen zijn vanzelfsprekend waardevol voor de combinatoriek en de theorie van roosterpunten, omdat ze een uniforme beschrijving bieden die eerder ontbrak, vooral in het overgangsgebied tussen $n \ll d$ en $n \gg d$.
• Methodologische Innovatie: De toepassing van de sadelpunt-methode op de genererende functie van Delannoy-getallen, gecombineerd met een verfijnde analyse van de overgangsfase, biedt een nieuw gereedschapskist voor het bestuderen van discrete geometrische problemen in hoge dimensies.
• Verbinding tussen Discreet en Continu: Het paper verduidelijkt de relatie tussen discrete en continue maximaal operatoren, en toont aan dat de discrete setting inderdaad "moeilijker" is, maar dat de dimensie-vrije eigenschappen behouden blijven onder specifieke geometrische voorwaarden.

Samenvattend biedt dit werk een grondige analyse van de asymptotische gedrag van Delannoy-getallen en gebruikt deze inzichten om sterke, dimensie-vrije resultaten te bewijzen voor een belangrijke klasse van discrete maximaal operatoren, wat een belangrijke stap is in de harmonische analyse in hoge dimensies.