Minimal gap for higher dimensional sequences

Résumé Technique : Écart Minimal pour les Suites de Dimension Supérieure

Énoncé du Problème
Le document traite du problème de la quantification de l'« écart minimal » pour les suites dans des espaces de dimension supérieure. Pour une suite $(x_n)$ dans $[0, 1)$, l'écart minimal est défini par $\delta_{\min}((x_n), N) = \min\{ \|x_n - x_m\| : 1 \le n \neq m \le N \}$, où $\|x\|$ est la distance à l'entier le plus proche. Bien que le comportement de cette statistique soit bien compris pour les suites aléatoires (ordre asymptotique $1/N^2$) et pour certaines séquences unidimensionnelles de la forme $\{a_n \alpha\}$ (où $\{ \cdot \}$ désigne la partie fractionnaire), ce travail étend la définition et l'analyse à des suites de dimension supérieure.

Plus précisément, l'article étudie trois types de suites pour une dimension $d \ge 2$ fixée :

1. Suites vectorielles : $\{ \mathbf{a}_n \boldsymbol{\alpha} \} = (\{a_n^{(1)}\alpha_1\}, \dots, \{a_n^{(d)}\alpha_d\})$, où $\mathbf{a}_n = (a_n^{(1)}, \dots, a_n^{(d)})$ est un vecteur d'entiers distincts.
2. Suites par composantes : $\{ \mathbf{a}_n \boldsymbol{\alpha} \}$ interprété comme un vecteur de parties fractionnaires (similaire au premier cas, mais la notation distingue la nature vectorielle).
3. Formes linéaires : $\{ \mathbf{a}_n \cdot \boldsymbol{\alpha} \} = \{ \sum_{i=1}^d a_n^{(i)} \alpha_i \}$, ce qui résulte en une suite unidimensionnelle.

L'objectif est d'établir des bornes supérieures et inférieures pour ces écarts minimaux pour presque tous les $\boldsymbol{\alpha} \in [0, 1]^d$, exprimées en fonction de la cardinalité des ensembles de différences des suites d'entiers sous-jacentes et de leur énergie additive.

Méthodologie
Les preuves reposent sur des techniques d'approximation diophantienne métrique, adaptant spécifiquement les méthodes de Rudnick [13] et d'Aistleitner, El-Baz et Munsch [2] au cadre de dimension supérieure.

• Définitions et Normes : L'auteur définit la distance à l'entier le plus proche dans $\mathbb{R}^d$ en utilisant la norme $\infty$ ($\| \cdot \|_\infty$). L'écart minimal est analysé via les ensembles de différences $(A_N - A_N)^+$, où $A_N$ est l'ensemble des $N$ premiers termes de la suite. La cardinalité de cet ensemble, notée $C_N$, joue un rôle central dans les bornes.
• Lemmes de Borel-Cantelli : Pour les bornes inférieures, le premier lemme de Borel-Cantelli est appliqué pour montrer que pour presque tout $\boldsymbol{\alpha}$, l'écart ne peut être plus petit qu'une fonction spécifique de $N$ et $C_N$. Pour les bornes supérieures, le second lemme de Borel-Cantelli (ou des variantes comme l'inégalité de Chung-Erdős) est utilisé pour démontrer que l'écart est plus petit qu'un certain seuil pour une infinité de $N$ (i.m.) ou pour $N$ suffisamment grand (s.l.).
• Méthode de la Variance : Pour établir des bornes supérieures pour $N$ suffisamment grand, l'article emploie la méthode de la variance. Il définit des fonctions de comptage $D(N, M)$ et $\tilde{D}(N, M)$ qui comptent les paires d'indices où la distance est petite. En estimant la variance de ces fonctions et en montrant qu'elles sont petites par rapport à leurs moyennes, l'auteur prouve que les fonctions de comptage sont non nulles presque sûrement.
• Énergie Additive : L'analyse incorpore l'énergie additive $E(A_N)$, définie comme le nombre de solutions à $a_{n_1} + a_{n_2} = a_{n_3} + a_{n_4}$. L'article utilise des bornes sur la norme $L^2$ des fonctions de représentation et les énergies additives conjointes pour des sous-ensemts de coordonnées afin d'affiner les bornes supérieures.
• Formes Linéaires et Sommes GCD : Pour les formes linéaires, l'article utilise des résultats sur la distribution des formes linéaires modulo 1, incluant des généralisations de la conjecture de Duffin-Schaeffer et des lemmes spécifiques concernant la mesure d'ensembles définis par des conditions de PGCD (suivant [2] et [5]).

Contributions Clés et Résultats

1. Extension aux Dimensions Supérieures : La principale contribution est la définition formelle et l'analyse des écarts minimaux pour les suites de dimension $d$, étendant ainsi les résultats unidimensionnels précédents.
2. Bornes pour les Suites Vectorielles ($\{ \mathbf{a}_n \boldsymbol{\alpha} \}$) :
   • Borne Inférieure : Pour presque tout $\boldsymbol{\alpha}$, $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \ge \frac{1}{C_N^{1/d} (\log N)^{1/d} (\log_2 N)^{1/d + \epsilon}}$ pour $N$ suffisamment grand.
   • Borne Supérieure (i.m.) : $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \le \frac{1}{(C_N \log N \log_2 N)^{1/d}}$ pour une infinité de $N$.
   • Borne Supérieure (s.l.) : Sous les conditions où l'énergie additive conjointe est faible ($E(A_N^{D'}) \ll N^{2+o(1)}$ pour des sous-ensembles de taille $> d/2$), la borne s'améliore en $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \le \frac{N^\delta}{N^{2/d}}$.
3. Bornes pour les Formes Linéaires ($\{ \mathbf{a}_n \cdot \boldsymbol{\alpha} \}$) :
   • Borne Inférieure : $\delta_{\min}(\boldsymbol{\alpha}, N) \ge \frac{1}{C_N \log N (\log_2 N)^{1+\epsilon}}$.
   • Borne Supérieure : L'article supprime le terme dépendant de la suite présent dans les travaux précédents (comme [12]), prouvant que pour presque tout $\boldsymbol{\alpha}$, $\delta_{\min}(\boldsymbol{\alpha}, N) \le \frac{1}{C_N}$ pour une infinité de $N$.
   • Borne Supérieure Affinée : Si l'énergie additive minimale des suites composantes est faible, $\delta_{\min}(\boldsymbol{\alpha}, N) \le \frac{N^\delta}{N^2}$.
4. Suites Spécifiques :
   • Suite de Van der Corput : L'écart minimal est borné par $\frac{1}{bN} \le \delta_{\min} \le \frac{b}{N}$ pour $b \ge 3$, et $\delta_{\min} \le \frac{1}{N}$ pour $b=2$.
   • Suite de Halton : L'auteur conjecture (sans preuve) que l'écart minimal pour la suite de Halton de dimension $d$ se comporte comme $\frac{1}{N^{1/d}}$.

Signification et Revendications
L'article affirme avoir réussi à généraliser la théorie des écarts minimaux des suites unidimensionnelles vers les dimensions supérieures. Il démontre que la cardinalité de l'ensemble de différences ($C_N$) est un paramètre critique, analogue au rôle de l'énergie additive dans les cas unidimensionnels.

L'auteur note que les résultats pour les formes linéaires améliorent le travail récent de Reghvim [12] en supprimant un facteur logarithmique dépendant de la suite de la borne supérieure. Le papier souligne également que pour des suites spécifiques comme $n^2 \alpha_2 + n \alpha_1$, l'écart minimal est de l'ordre de $O(1/N^2)$ (à des facteurs logarithmiques près) pour presque tout $\alpha$, ce qui est cohérent avec un comportement aléatoire, à condition que l'énergie additive soit faible.

Le travail est présenté comme une extension théorique au sein de l'approximation diophantienne métrique, s'appuyant sur des outils probabilistes et de théorie des nombres établis plutôt que sur la proposition de nouvelles applications expérimentales. L'auteur note modestement que bien que des preuves soient fournies pour les suites d'entiers, l'extension aux suites de nombres réels positifs avec des conditions de croissance est possible via des arguments similaires à ceux de [12].