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

1. Problématique et Contexte

L'article s'attaque à deux problèmes interconnectés en analyse harmonique discrète et en combinatoire :

1. Estimation uniforme des nombres de Delannoy : Les nombres de Delannoy $D(d, n)$ comptent le nombre de chemins sur une grille de taille $d \times n$ ou, de manière équivalente, le nombre de points entiers dans une boule $\ell_1$ (cross-polytope) de rayon $n$ en dimension $d$. Bien que des asymptotiques soient connues pour des régimes spécifiques (par exemple, $n \approx d$ ou $n \gg d$), il manquait une estimation uniforme et précise couvrant tout le spectre des rapports entre $n$ et $d$, en particulier pour les applications aux opérateurs maximaux.
2. Estimations sans dimension pour les fonctions maximales discrètes : L'objectif principal est d'établir des bornes uniformes (indépendantes de la dimension $d$) pour les opérateurs maximaux discrets associés aux moyennes sur les cross-polytopes (boules $\ell_1$) dans $\mathbb{Z}^d$. Contrairement au cas continu (où les résultats de Stein, Müller et al. sont bien établis), le cas discret présente des difficultés supplémentaires, notamment pour les petites et grandes échelles.

Le défi central réside dans la transition entre deux comportements asymptotiques : lorsque $n$ est petit par rapport à $d$, la structure discrète domine (comportement de surface), tandis que lorsque $n$ est grand, le volume continu domine. Comprendre précisément cette transition est crucial pour prouver l'indépendance vis-à-vis de la dimension.

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse complexe, la méthode du point col (saddle point method) et l'analyse harmonique discrète.

• Représentation intégrale et Méthode du point col :
  Les auteurs expriment le nombre de points entiers $|B_n^d \cap \mathbb{Z}^d|$ via une intégrale de contour de la fonction génératrice univariée $h(z)^d / (1-z)$, où $h(z) = \sum z^{|k|} = (1+z)/(1-z)$.
  $$|B_n^d \cap \mathbb{Z}^d| = \frac{1}{2\pi i} \oint_{\Gamma_s} \frac{h(z)^d}{1-z} \frac{dz}{z^{n+1}}$$
  Ils appliquent la méthode du point col pour évaluer cette intégrale. La particularité de leur travail réside dans l'analyse explicite du point col $r$ (solution de $z h'(z)/h(z) = n/d$) et la gestion rigoureuse des erreurs pour couvrir tout le régime $n \le d$ et $n \ge d$, ce qui permet d'obtenir des estimations uniformes.

• Principe de comparaison (Cas continu vs Discret) :
  Pour les grandes échelles, ils utilisent un principe de comparaison permettant de transférer les bornes de l'opérateur maximal continu (défini sur $\mathbb{R}^d$) vers le cas discret. La clé de voûte de cette étape est de montrer que pour des rayons suffisamment grands ($R \gtrsim d^{3/2}$), la géométrie de la boule $\ell_1$ discrète est suffisamment proche de la boule continue pour que le théorème central limite s'applique efficacement, garantissant que les deux volumes sont du même ordre de grandeur.

• Analyse de concentration et fonctions maximales multiparamétrées :
  Pour les petites échelles ($R \lesssim d^{1-\varepsilon}$), ils exploitent des résultats de concentration de la mesure sur les cross-polytopes (dérivés de leurs estimations sur les nombres de Delannoy) et réduisent le problème à l'étude d'une fonction maximale combinatoire multiparamétrée, dont les bornes sans dimension sont déjà connues dans la littérature récente.

3. Contributions et Résultats Clés

A. Estimations Uniformes pour les Nombres de Delannoy (Théorème 1.4)

Les auteurs établissent une estimation asymptotique uniforme pour $D(d, n) = |B_n^d \cap \mathbb{Z}^d|$ en fonction du rapport $\alpha = n/d$.

• Ils introduisent une quantité $r = (\sqrt{1+\alpha^2}-1)/\alpha$.
• Pour $n \le d$, ils prouvent que :
  $$D(d, n) \approx \left(\frac{1+r}{1-r}\right)^d r^{-n} \frac{1}{\sqrt{n}}$$
• Ils dérivent des développements asymptotiques précis utilisant une fonction holomorphe $b(z)$ :
  • Pour $n \le d/2$ : $D(d, n) \approx (2e/\alpha)^n n^{-1/2} \exp(n b(\alpha))$.
  • Pour $n \ge 2d$ : $D(d, n) \approx \text{Vol}(B_n^d) \exp(d/(12\alpha^2))$.
• Résultat crucial : Ils identifient que pour $n \gtrsim d^{3/2}$, le nombre de points entiers est asymptotiquement équivalent au volume de la boule continue ($|B_n^d \cap \mathbb{Z}^d| \approx \text{Vol}(B_n^d)$). Cette transition à l'exposant $3/2$ est fondamentale pour la suite.

B. Estimations Sans Dimension pour les Fonctions Maximales

En s'appuyant sur les estimations de comptage, ils prouvent trois résultats majeurs pour l'opérateur maximal $M_R^d$ (moyenne sur la boule $\ell_1$ de rayon $R$) :

1. Grandes échelles ($R \ge c d^{3/2}$) :
   Pour tout $p \in (1, \infty)$, il existe une constante $C(c, p)$ telle que :
   $$\| M_{*, [cd^{3/2}, \infty)}^d f \|_{\ell^p(\mathbb{Z}^d)} \le C(c, p) \| f \|_{\ell^p(\mathbb{Z}^d)}$$
   Ce résultat améliore les travaux antérieurs (qui nécessitaient $R \ge d^2$) en abaissant le seuil à $d^{3/2}$, grâce à la géométrie spécifique du $\ell_1$ et au théorème central limite appliqué à la partition de la boule.

2. Petites échelles ($R \le d^{1-\varepsilon}$) :
   Pour $p \in [2, \infty)$ et $\varepsilon \in (0, 1)$, il existe $C(\varepsilon)$ tel que :
   $$\| M_{*, (0, d^{1-\varepsilon}]}^d f \|_{\ell^p(\mathbb{Z}^d)} \le C(\varepsilon) \| f \|_{\ell^p(\mathbb{Z}^d)}$$
   La preuve repose sur la concentration de la masse sur la surface du cross-polytope et la comparaison avec des moyennes combinatoires.

3. Rayons dyadiques (Toutes les échelles) :
   Pour les rayons dyadiques $R \in \{2^k\}$, ils établissent une borne uniforme pour tout $p \in [2, \infty)$ :
   $$\| M_{*, \mathcal{D}}^d f \|_{\ell^p(\mathbb{Z}^d)} \le C \| f \|_{\ell^p(\mathbb{Z}^d)}$$
   Cela couvre l'intervalle intermédiaire difficile ($d < R < d^{3/2}$) en utilisant des estimations de la constante isotrope discrète (Corollaire 5.2) et des techniques de multiplieurs.

4. Signification et Impact

• Résolution partielle d'une conjecture majeure : L'article fait progresser la conjecture selon laquelle l'opérateur maximal discret sur les boules $\ell_1$ admet des bornes sans dimension pour tout $p \in (1, \infty)$, analogue au résultat célèbre de Müller pour le cas continu. Bien que le cas complet ne soit pas résolu, les auteurs couvrent trois régimes distincts qui, combinés, couvrent presque toute l'échelle des rayons.
• Précision asymptotique : La dérivation d'estimations uniformes pour les nombres de Delannoy est un résultat en soi, comblant un vide dans la littérature sur la transition entre les régimes de points discrets et de volume continu pour les polytopes de haute dimension.
• Optimalité de l'exposant : Les auteurs suggèrent que l'exposant $3/2$ dans le résultat des grandes échelles est probablement optimal pour leur méthode de transfert, car c'est le point où le volume discret et le volume continu deviennent comparables.
• Outils méthodologiques : L'approche combinant l'analyse complexe (point col) avec l'analyse harmonique discrète offre un modèle pour l'étude d'autres opérateurs maximaux sur des ensembles convexes symétriques en haute dimension.

En résumé, ce papier fournit des outils analytiques puissants pour comprendre la géométrie des points entiers dans les cross-polytopes et utilise ces connaissances pour établir des bornes robustes et indépendantes de la dimension pour des opérateurs fondamentaux en analyse discrète.