A structure theorem for sets with doubling $4+\delta$

1. Énoncé du problème et contexte

Le problème central :
L'article aborde une question centrale en combinatoire additive concernant la classification structurelle des ensembles finis d'entiers $A$ à « doublement » faible. La constante de doublement est définie par $\sigma[A] = |A+A|/|A|$.

• Le théorème de Freiman : Établit que les ensembles à faible doublement sont contenus dans des progressions arithmétiques généralisées (GAP) de dimension bornée. Cependant, la dépendance quantitative de la dimension et de la taille par rapport à la constante de doublement $K$ constitue un domaine majeur non résolu.
• La question de Green (Question 1.1) : Green a demandé si, pour un ensemble $A$ tel que $|A-A| \le K|A|$, on peut trouver un sous-ensemble structuré $A' \subseteq A$ qui évidemment satisfait $|A'-A'| \le (K+\epsilon)|A'|$.
• Le fossé à $K=4$ :
  • Pour $K < 3$, le théorème $3k-3$ de Freiman implique que $A$ est contenu dans une progression de dimension 1.
  • Pour $K < 4$, Eberhard, Green et Manners (EGM) ont prouvé que $A$ contient un grand sous-ensemble de densité $> 1/2$ à l'intérieur d'une progression de dimension 1.
  • Le défi : Lorsque $K \ge 4$, deux types structurels distincts émergent :
    1. Un sous-ensemble dense d'une progression de dimension 1 (doublement $\approx 4$).
    2. Un sous-ensemble dense d'une progression de dimension 2 (doublement $\approx 4$).
  • L'article vise à prouver que pour $K = 4 + \delta$ (avec $\delta$ suffisamment petit), seules ces deux structures existent.

2. Résultats principaux

Théorème 1.2 (Théorème structurel principal) :
Soient $\epsilon', \delta > 0$ avec $\delta$ suffisamment petit. Si $A \subset \mathbb{Z}$ est un ensemble fini non vide tel que $|A+A| \le (4+\delta)|A|$, alors l'une des affirmations suivantes est vraie :

1. Cas 1D : Il existe une progression arithmétique de dimension 1 $P$ telle que $|P| \gg_\delta |A|$ et $|A \cap P|/|P| \ge 1/2 - \epsilon'$.
2. Cas 2D : Il existe une progression arithmétique propre de dimension 2 $Q$ telle que $|Q| \gg_\delta |A|$ et $|A \cap Q|/|Q| \ge 1 - \epsilon'$.

Note : Le même résultat vaut pour les ensembles de différences $A-A$.

Corollaire 1.3 (Version « presque tous ») :
Si une grande proportion de paires dans $A \times A$ (spécifiquement $(1-\delta')|A|^2$ paires) a une taille d'ensemble de sommes restreinte $\le (4+\delta)|A|$, alors les mêmes conclusions structurelles s'appliquent. Cela généralise le théorème de Balog–Szemerédi–Gowers.

Corollaire 1.4 (Lemme de type Bogolyubov–Ruzsa) :
Sous les mêmes hypothèses, l'ensemble $41A - 40A$ contient une progression propre de dimension $d$ avec $d \le 2$ et de taille $\gg_\delta |A|$. Cela fournit une borne tranchante sur la dimension ($d \le 2$) au prix d'une combinaison linéaire plus grande ($41A - 40A$).

3. Méthodologie et stratégie de preuve

La preuve est une synthèse sophistiquée de combinatoire additive, d'analyse harmonique et de géométrie des nombres. Elle procède par plusieurs étapes :

A. Réduction aux ensembles denses (Lemme du modèle dense)

Les auteurs réduisent d'abord le cas général au cas où $A$ est un sous-ensemble dense d'un intervalle $[N]$. Ils utilisent :

• Isomorphismes de Freiman : Pour mapper $A$ vers un sous-ensemble d'un groupe cyclique ou d'un intervalle tout en préservant la structure additive.
• Lemmes de type Bogolyubov : En utilisant les résultats de Lev et EGM pour montrer que si $A$ a un faible doublement, certaines combinaisons linéaires (comme $9A-8A$ ou $41A-40A$) contiennent de grandes progressions.

B. Lemme de régularité arithmétique

L'outil analytique central est le Lemme de régularité arithmétique abélien (suivant EGM). Cela décompose la fonction caractéristique $1_A$ en trois parties :

1. Structurée ($f_{struct}$) : Une fonction dépendant d'une nil-suite (spécifiquement une fonction lipschitzienne sur un tore $T^d$).
2. Petite ($f_{sml}$) : Une fonction avec une petite norme $L^2$.
3. Uniforme ($f_{unf}$) : Une fonction avec une petite norme de Gowers $U^2$ (pseudo-aléatoire).

Cela permet de transférer le problème des entiers $\mathbb{Z}$ vers un cadre continu : des sous-ensembles de $\mathbb{Z}/q\mathbb{Z} \times [M] \times T^d$.

C. Analyse des fibres et inégalités de type Kneser

L'ensemble $A$ est partitionné en « fibres » au-dessus du tore $T^d$. Les auteurs analysent l'ensemble de sommes de ces fibres en utilisant :

• Théorème inverse de Kneser (Tao) : Si l'ensemble de sommes de deux ensembles dans $T^d$ est petit, les ensembles doivent être proches de l'image réciproque d'intervalles sous un homomorphisme.
• Inégalités de Kneser pondérées : Utilisées pour gérer les poids spécifiques résultant de la densité des fibres.

La preuve se divise en trois cas basés sur la densité de ces fibres :

1. Cas structuré de dimension 1 : Une fibre a une densité $\ge 1/2$. Cela donne directement le résultat de progression 1D.
2. Cas structuré de dimension 2 : Les fibres sont bien approchées par l'image réciproque d'un intervalle sous un homomorphisme $\phi: T^d \to T$. Cela mène au résultat de progression 2D.
3. Cas d'expansion : Si aucun des deux cas ci-dessus ne s'applique, les auteurs prouvent que l'ensemble de sommes doit s'étendre significativement.

D. Le cas d'expansion (Brunn-Minkowski)

Dans le cas d'expansion, les auteurs supposent que l'ensemble n'a pas la structure 1D ou 2D. Ils appliquent une inégalité de Brunn-Minkowski planaire (via un lemme d'EGM) aux densités des fibres.

• Ils montrent que si les fibres ne sont pas structurées, l'ensemble de sommes des fibres doit avoir une mesure strictement supérieure à la somme des mesures.
• Cela conduit à une contradiction avec l'hypothèse que $|A+A| \le (4+\delta)|A|$, prouvant que le « cas d'expansion » ne peut pas se produire pour $\delta$ suffisamment petit.

E. Des ensembles de Bohr aux progressions

Dans le cas structuré 2D, il est démontré que l'ensemble $A$ a une haute densité sur un ensemble de Bohr inhomogène $B = \{n : n\theta \in I\}$.

• Les auteurs utilisent la géométrie des nombres (théorèmes de Minkowski sur les minima successifs) et les fractions continues pour prouver que de tels ensembles de Bohr contiennent de grandes progressions propres de dimension 2.
• Cette étape est cruciale pour traduire la structure continue du tore en une progression d'entiers discrète.

4. Contributions clés

1. Résolution du seuil $K=4$ : L'article confirme que pour un doublement légèrement supérieur à 4, les seules structures possibles sont des sous-ensembles denses de progressions 1D ou 2D. Cela règle une variation spécifique de la question de Green pour $K=4+\delta$.
2. Optimalité : Le résultat est démontré comme optimal jusqu'à la dépendance quantitative entre $\delta$ et $\epsilon'$. Les exemples fournis (sous-ensembles denses de progressions 1D et 2D) sont les seuls cas extrémaux.
3. Innovation méthodologique :
   • Raffinement d'EGM : Les auteurs étendent le cadre EGM (qui fonctionnait pour $K<4$) pour gérer le régime $K \ge 4$ en introduisant une classification plus fine des tailles de fibres (petites, moyennes, grandes) et en utilisant plus agressivement les théorèmes inverses de Kneser.
   • Gestion du « fossé » : Ils naviguent avec succès la transition où la structure passe de 1D à 2D, un régime où les méthodes précédentes échouaient.
4. Bornes de dimension tranchantes : Le lemme Bogolyubov-Ruzsa dérivé fournit une borne tranchante sur la dimension ($d \le 2$) de la progression résultante, une amélioration significative par rapport aux résultats généraux de type Freiman qui donnent souvent des dimensions beaucoup plus grandes.

5. Signification

• Combinatoire additive : Ce travail représente une avancée majeure dans la compréhension quantitative du théorème de Freiman. Il comble le fossé entre les régimes bien compris $K < 3$ et $K < 4$ et le régime plus complexe $K \ge 4$.
• Applications : Les résultats structurels ont des implications pour la conjecture d'Erdős sur les ensembles sans somme et d'autres problèmes impliquant des ensembles sans somme et l'énergie additive.
• Transfert de technique : La combinaison du lemme de régularité arithmétique avec des inégalités géométriques continues (Brunn-Minkowski) et la géométrie discrète des nombres démontre une méthodologie puissante pour aborder les problèmes inverses en théorie des nombres additive.
• Perspectives futures : L'article suggère que l'extension de ces résultats à un $K$ arbitraire (répondant à la question de Green pour tout $K$) est extrêmement difficile et nécessitera probablement de nouvelles idées au-delà du cadre actuel de la conjecture polynomiale de Freiman-Ruzsa.

En résumé, Jing et Mudgal fournissent une classification structurelle définitive pour les ensembles à doublement juste au-dessus de 4, prouvant que de tels ensembles sont essentiellement soit « demi-denses » dans une ligne, soit « presque pleins » dans un plan, et ce en tissant ensemble des outils profonds de l'analyse, de la combinatoire et de la géométrie.