Large sum-free sets in finite vector spaces II

1. Problématique et Contexte

L'article s'inscrit dans l'étude des ensembles sans somme (sum-free sets) au sein des groupes abéliens finis, et plus spécifiquement des espaces vectoriels finis $\mathbb{F}_5^n$.

• Définition : Un sous-ensemble $A$ d'un groupe abélien $G$ est dit sans somme si l'équation $x + y = z$ n'a aucune solution avec $x, y, z \in A$.
• Invariants :
  • $sf_0(G)$ : La taille maximale d'un ensemble sans somme dans $G$.
  • $\widehat{SF}_0(G)$ : L'ensemble des ensembles sans somme de taille maximale.
  • $sf_1(G)$ : La taille maximale d'un ensemble sans somme qui n'est pas contenu dans un ensemble de $\widehat{SF}_0(G)$.
• État de l'art :
  • Pour les corps finis $\mathbb{F}_p^n$, les valeurs de $sf_0$ et la classification des ensembles maximaux sont connues pour tous les $p$.
  • Pour $p=2$ et $p=3$, la valeur de $sf_1(\mathbb{F}_p^n)$ et la structure des ensembles extrémiaux ont été déterminées (respectivement par Davydov-Tombak et Lev).
  • Pour $p \ge 7$, $sf_1(\mathbb{F}_p^n)$ est également connu.
  • Le cas ouvert : Le cas $p=5$ était la dernière inconnue majeure. Il est connu que $sf_0(\mathbb{F}_5^n) = 2 \cdot 5^{n-1}$ et que les ensembles maximaux sont de la forme $H \cup (-H)$ où $H$ est un hyperplan affine ne contenant pas l'origine. Un ensemble est dit normal s'il est contenu dans un tel ensemble. Le problème consiste à déterminer $sf_1(\mathbb{F}_5^n)$, c'est-à-dire la taille maximale d'un ensemble sans somme non normal.

2. Méthodologie

Les auteurs adoptent une approche combinatoire structurée, divisant la preuve en plusieurs étapes clés reposant sur des outils d'analyse additive et de géométrie discrète :

1. Théorème de Kneser : L'outil central est le théorème de Kneser sur la cardinalité des sommes d'ensembles ($|A+B| \ge |A+K| + |B+K| - |K|$, où $K$ est le groupe de symétrie). Cela permet de déduire des contraintes structurelles sur les ensembles denses.
2. Fonctions « Fishy » (Poisson) : Pour analyser la structure des ensembles denses, les auteurs introduisent une fonction $f: \mathbb{F}_5^2 \to \mathbb{R}_{\ge 0}$ associée à un ensemble $A \subset \mathbb{F}_5^n$ via une projection linéaire $\phi$. Cette fonction compte le nombre d'éléments de $A$ dans les fibres de la projection.
   • Ils définissent une classe de fonctions appelées « fishy » satisfaisant trois conditions (F1, F2, F3) liées aux normes $L^1$ et $L^\infty$ et à des inégalités de somme.
   • L'objectif est de classifier toutes les fonctions « fishy » de grande norme.
3. Classification des configurations en dimension 2 et 3 :
   • Dimension 2 : Classification complète des ensembles sans somme non normaux de taille $\ge 5$ dans $\mathbb{F}_5^2$ (Théorème 1.1).
   • Dimension 3 : Introduction d'un ensemble spécifique $\Lambda \subset \mathbb{F}_5^3$ de taille 28, découvert par Lev et Versteegen, qui est sans somme mais non normal.
4. Induction et Moyennage : La preuve principale utilise une induction sur la dimension $n$. En utilisant des arguments de moyennage, ils montrent qu'un ensemble dense dans $\mathbb{F}_5^n$ doit contenir une intersection significative avec un sous-espace de basse dimension, permettant d'appliquer les résultats de dimension inférieure.

3. Résultats Principaux

Le résultat central de l'article est le Théorème 1.3, qui répond à une question posée par Leo Versteegen :

Théorème 1.3 : Pour tout $n \ge 3$, on a $sf_1(\mathbb{F}_5^n) = 28 \cdot 5^{n-3}$.
De plus, tout ensemble sans somme $A \subset \mathbb{F}_5^n$ de taille $|A| \ge 28 \cdot 5^{n-3}$ est soit :

1. Normal (contenu dans $H \cup (-H)$ pour un hyperplan affine $H$),
2. Soit isomorphe à un VL-set (Vsevolod Lev - Leo Versteegen).

Définition d'un VL-set :
Un VL-set est un ensemble isomorphe à $\Lambda \times \mathbb{F}_5^{n-3}$, où $\Lambda \subset \mathbb{F}_5^3$ est un ensemble spécifique de taille 28.
$\Lambda$ est construit comme suit :
$$\Lambda = \{(1,0), (-1,0), (0,1), (0,-1)\} \times \mathbb{F}_5 \cup \{ \text{8 points spécifiques dans } \mathbb{F}_5^3 \}$$
Cet ensemble est sans somme, non normal, et sa taille est exactement $28 \cdot 5^{n-3}$.

Autres résultats techniques :

• Classification des fonctions fishy (Proposition 2.6) : Toute fonction fishy $f: \mathbb{F}_5^2 \to \mathbb{R}_{\ge 0}$ avec une norme infinie $> 3$ est soit supportée par trois lignes parallèles (ce qui implique que l'ensemble est normal), soit isomorphe à l'une des trois fonctions modèles $f_\alpha, f_\beta, f_\gamma$ (dont $f_\alpha$ correspond à la structure de $\Lambda$).
• Lien entre projections et structure : Ils établissent que si la projection d'un ensemble dense sur un plan $\mathbb{F}_5^2$ ressemble à l'une de ces fonctions modèles, alors l'ensemble original est un VL-set.

4. Signification et Impact

1. Résolution d'un problème ouvert : Ce travail complète la classification des ensembles sans somme de taille maximale et de taille « quasi-maximale » ($sf_1$) pour tous les espaces vectoriels finis $\mathbb{F}_p^n$. Le cas $p=5$ était le dernier cas ouvert.
2. Structure des contre-exemples : Il démontre que pour $p=5$, la seule façon d'obtenir un ensemble sans somme très grand sans être normal est de s'appuyer sur la structure spécifique découverte en dimension 3 ($\Lambda$) et de l'étendre trivialement dans les dimensions supérieures.
3. Outils méthodologiques : L'introduction et l'analyse des « fonctions fishy » offrent une nouvelle méthode puissante pour étudier la structure des ensembles denses dans les groupes abéliens, reliant l'analyse additive (théorème de Kneser) à la géométrie des ensembles discrets.
4. Perspectives futures : Les auteurs soulignent que l'étude de $sf_k(\mathbb{F}_5^n)$ pour $k \ge 2$ (ensembles non contenus dans des ensembles de niveau $k-1$) reste ouverte et pourrait mener à de nouvelles découvertes, notamment concernant l'aperiodicité des ensembles maximaux.

En résumé, cet article clôt une longue série de recherches sur les ensembles sans somme dans les espaces vectoriels finis en fournissant une réponse complète et structurée pour le corps fini $\mathbb{F}_5$, en identifiant une famille unique d'ensembles extrémiaux non normaux.