Quasipolynomial density bounds for $K$-point configurations in $\mathbb{Z}^d$

Résumé Technique : Bornes de Densité Quasi-polynomiales pour les Configurations de $K$-points dans $\mathbb{Z}^d$

Énoncé du Problème
L'article traite d'un problème quantitatif en combinatoire additive concernant l'existence de copies similaires d'un $(K-1)$-simplex non dégénéré fixé $\Delta$ au sein de sous-ensembles denses du réseau d'entiers $\mathbb{Z}^d$. Bien que l'existence qualitative de telles configurations dans des ensembles de densité de Banach supérieure positive soit garantie par le théorème de Szemerédi multidimensionnel de Furstenberg et Katznelson, la dépendance quantitative de la densité requise sur la taille de l'ensemble ambiant $[N]^d$ demeure un problème ouvert difficile.

Plus précisément, les auteurs cherchent à borner la taille d'un sous-ensemble $A \subseteq [N]^d$ qui ne contient aucune copie similaire non triviale de $\Delta$. Un ensemble $\Delta' \subset \mathbb{Z}^d$ est une copie similaire de $\Delta = \{v_0, \dots, v_{K-1}\}$ s'il existe un facteur d'échelle $t > 0$ tel que $|x_i - x_j|^2 = t|v_i - v_j|^2$ pour toutes les paires. Les résultats quantitatifs précédents pour des simplexes arbitraires étaient limités à des bornes polylogarithmiques (par exemple, $|A| \ll N^d (\log N)^{-c}$), ce qui est nettement plus faible que les bornes quasi-polynomiales connues pour des configurations spécifiques comme les angles ou les progressions arithmétiques.

Méthodologie
La preuve emploie une stratégie d'incrément de densité combinée à la méthode du cercle de Hardy-Littlewood. L'innovation centrale est l'introduction d'une technique d'« opérateur de coupe » (cut operator) pour découpler les sommes exponentielles pondérées associées au système de formes quadratiques définissant le simplex.

1. Forme de Comptage et Incrément de Densité :
   Les auteurs définissent une forme de comptage pondérée $\Lambda_N$ pour détecter les copies similaires. Si un ensemble $A$ est exempt de telles copies, $\Lambda_N(1_A, \dots, 1_A) = 0$. En décomposant la fonction indicatrice $1_A = \alpha 1_{[N]^d} + g$ (où $\alpha$ est la densité et $g$ est la fonction équilibrée), les auteurs dérivent une borne inférieure pour la contribution de la fonction équilibrée à la forme de comptage. L'objectif est de montrer que si l'ensemble est exempt de $\Delta$, la densité augmente sur une sous-progression, menant à une contradiction à moins que l'ensemble initial ne soit petit.

2. Décomposition par la Méthode du Cercle :
   La forme de comptage est exprimée comme une intégrale sur le tore $\mathbb{T}^L$ (où $L = \binom{K}{2}$ est le nombre d'arêtes). L'intégrale est divisée en arcs majeurs (proches des points rationnels avec de petits dénominateurs) et arcs mineurs (le reste).

   • Arcs Majeurs : Ils contribuent au terme principal, qui conserve les informations combinatoires sur la densité de $A$ sur les progressions arithmétiques.
   • Arcs Mineurs : Ils doivent être montrés comme étant négligeables. Cela nécessite de borner la somme exponentielle $S_\beta$ associée à la phase quadratique.

3. Réduction par l'Opérateur de Coupe :
   Une contribution technique centrale est la réduction de la somme exponentielle $S_\beta$ en utilisant une partition de l'ensemble des sommets du simplex en deux ensembles équilibrés $S$ et $T$ (une « coupe »). La fonction de phase est décomposée en termes dépendant de $S$, en termes dépendant de $T$, et un terme de « croisement » couplant $S$ et $T$.
   Le terme de croisement est traité comme le noyau d'un opérateur linéaire (l'opérateur de coupe) agissant entre des espaces $\ell^2$. Les auteurs prouvent que l'amplitude de la somme exponentielle est contrôlée par la norme d'opérateur de cet opérateur de coupe.

   • Tensorisation : L'opérateur de coupe en $d$ dimensions est montré comme étant le produit tensoriel $d$-fois du produit tensoriel d'un opérateur de coupe unidimensionnel.
   • Réduction de Norme : La norme de l'opérateur est ensuite réduite à la norme d'une matrice à un seul arête $K_R(\theta)$, permettant d'analyser le problème via des estimations scalaires.

4. Estimations Analytiques :

   • Arcs Mineurs : Les auteurs utilisent le grand criblage analytique (analytic large sieve) pour établir des bornes ponctuelles pour les normes des opérateurs de coupe lorsque les fréquences sont éloignées des rationnels. Ces bornes ponctuelles sont combinées avec une estimation de moment élevé utilisant l'inégalité de Hölder sous forme fractionnaire de Finner.
   • Estimation de Moment Élevé : La preuve de la borne de moment élevé repose sur le comptage de solutions à une équation matricielle spécifique $UV^T = 0$ avec des entrées entières bornées. Ce comptage est réduit à l'énumération de flags de réseaux primitifs à 2 étapes dans $\mathbb{Z}^{K+1}$. Les auteurs appliquent la formule de valeur moyenne de Kim pour les flags de réseaux primitifs afin d'obtenir la borne supérieure nécessaire, ce qui est crucial pour maintenir un seuil de dimension linéaire ($d \ge 4K+4$).
   • Arcs Majeurs : L'analyse implique l'estimation de sommes complètes sur des corps finis et le bornage des normes d'opérateurs des opérateurs de coupe discrets. Cela conduit à un incrément de densité sur une progression de raison $q$.

Contributions Clés et Résultats

• Borne Quasi-polynomiale : Le résultat principal (Théorème 1.1) établit que pour $d \ge 4K + 4$, tout sous-ensemble $A \subseteq [N]^d$ ne contenant aucune copie similaire non triviale d'un $(K-1)$-simplex intégral non dégénéré fixé satisfait :
  $$|A| \ll_{\Delta, d} N^d \exp\left(-c_{\Delta, d} \sqrt{\log N}\right)$$
  Ceci améliore la borne polylogarithmique précédente $|A| \ll N^d (\log N)^{-c}$ de Magyar.
• Seuil de Dimension : Le résultat est valable pour les dimensions $d \ge 4K + 4$. Les auteurs notent que les approches précédentes utilisant des matrices de Hurwitz-Radon pour paramétrer les copies similaires nécessiteraient des dimensions exponentiellement grandes ($d \sim \exp(\Omega(K))$), tandis que leur méthode maintient un seuil de dimension linéaire en $K$.
• Corollaires :
  • Réseau de Primes : Le résultat implique une borne quasi-polynomiale similaire pour les sous-ensembles du réseau de nombres premiers $(P \cap [N])^d$.
  • Cadre Euclidien : Le résultat se traduit par un énoncé quantitatif pour les ensembles mesurables dans $[0, 1]^d$, garantissant l'existence d'une copie similaire avec un facteur d'échelle $\lambda \ge \exp(-C(1+\log(1/\alpha))^2)$.
• Innovation Méthodologique : Le papier introduit la méthode de l'« opérateur de coupe », qui découple les formes quadratiques décrivant le simplex. Cette technique, combinée à la géométrie des nombres (flags de réseaux) et aux inégalités de Hölder fractionnaires, permet de traiter plus efficacement le système d'équations singulier par rapport aux approches traditionnelles de la méthode du cercle.

Signification et Revendications
L'article prétend fournir le premier résultat quantitatif pour les copies similaires d'un simplex intégral non dégénéré arbitraire atteignant une borne de densité quasi-polynomiale. Les auteurs soulignent que leur approche évite le coût dimensionnel exponentiel associé aux paramétrages algébriques (comme les constructions de Hurwitz-Radon) utilisés dans les travaux précédents.

La signification réside dans le fait de combler le fossé entre les théorèmes d'existence qualitative et les bornes quantitatives pour des configurations géométriques générales dans des réseaux de haute dimension. Les auteurs suggèrent que la méthode de l'opérateur de coupe peut offrir une voie vers des résultats quantitatifs pour des configurations plus complexes, telles que les simplexes avec leurs barycentres, bien qu'ils laissent cela comme une direction pour des travaux futurs. Ils précisent explicitement que, bien que leur méthode améliore la dépendance vis-à-vis de $N$, elle n'atteint pas encore les bornes optimales conjecturées pour les progressions de matrices, et qu'un argument d'incrément de densité localisé multidimensionnel serait toujours nécessaire pour de nouvelles améliorations.