Restricted sums of sets of cardinality $2p + 1$ in $\mathbb{Z}_p^2$

Résumé Technique : Sommes restreintes d'ensembles de cardinalité $2p + 1$ dans $\mathbb{Z}_2^p$

1. Problématique

L'article s'inscrit dans le domaine de la combinatoire additive, et plus précisément dans l'étude des sommes restreintes. Soit $G$ un groupe abélien et $A \subseteq G$. On définit l'ensemble des sommes restreintes par $2\hat{A} = \{a_1 + a_2 \mid a_1, a_2 \in A, a_1 \neq a_2\}$.

L'objectif est de déterminer la valeur de la fonction $\rho(G, m)$, qui représente la taille minimale de $2\hat{A}$ pour tout ensemble $A$ de taille $m$ dans $G$. Bien que le cas des sommes non restreintes soit résolu, le cas restreint reste ouvert pour de nombreux groupes. L'auteur se concentre sur le groupe élémentaire abélien $\mathbb{Z}_p^2$ (où $p \geq 5$ est un nombre premier) pour le cas spécifique où la taille de l'ensemble est $m = 2p + 1$. Ce cas représentait la plus petite valeur de $m$ non résolue depuis les travaux d'Eliahou et Kervaire.

2. Méthodologie

L'approche repose sur une décomposition structurelle de l'ensemble $A$ par rapport aux cosets d'un sous-groupe propre non trivial $H \cong \mathbb{Z}_p$. L'auteur partitionne $A$ en intersections avec les cosets $H_i$, notées $A_i$, et analyse les intersections des sommes restreintes avec ces mêmes cosets, notées $B_i$.

La démonstration est divisée en deux grandes stratégies basées sur la taille de l'intersection de $A$ avec le sous-groupe $H_0$ (notée $|A_0|$) :

• Cas 1 ($|A_0| \leq \frac{p+1}{2}$) : L'auteur subdivise ce cas en deux sous-cas :
  • Cas 1A ($m \geq \frac{p+1}{2}$) : Utilisation de la théorie des progressions arithmétiques et du théorème de Vosper. L'auteur démontre que si la taille de la somme est inférieure à $4p$, alors $A$ doit posséder une structure extrêmement rigide (presque des progressions arithmétiques avec une différence commune $d$). Une réduction est ensuite opérée pour montrer que ce cas se ramène aux cas 1B ou 2.
  • Cas 1B ($m \leq \frac{p-1}{2}$) : Utilisation de l'inégalité de Cauchy-Davenport et de la méthode des comptes de cosets pour prouver que la taille minimale est atteinte.
• Cas 2 ($|A_0| \geq \frac{p+3}{2}$) : Ici, la taille de la somme dans le sous-groupe est maximale ($|2\hat{A}_0| = p$). L'auteur utilise une analyse par le nombre de cosets "remplis" (noté $\ell$) pour montrer que la somme totale dépasse nécessairement $4p$.

Les outils fondamentaux utilisés sont le théorème de Cauchy-Davenport (pour les sommes d'ensembles) et le théorème de Dias Da Silva et Hamidoune (pour les sommes restreintes).

3. Contributions clés et Résultats

La contribution principale est la résolution d'un problème ouvert depuis plus de deux décennies.

• Théorème principal : Pour tout nombre premier $p \geq 5$, $\rho(\mathbb{Z}_p^2, 2p + 1) = 4p$.
• Résultat de structure (Conjecture) : L'auteur propose une conjecture sur la structure des ensembles atteignant cette borne minimale (le "problème inverse"). Il suggère que si $|2\hat{A}| = 4p$, alors l'image de $A$ par le morphisme canonique vers le groupe quotient $\mathbb{Z}_p^2/Z$ est une progression arithmétique de longueur 3, et que $A$ est constitué de deux cosets d'un sous-groupe, plus un élément isolé.

4. Signification

Ce travail est une avancée majeure dans la théorie des sommes restreintes. Il comble un vide dans la classification des tailles minimales de sommes dans les groupes de type $\mathbb{Z}_p^r$.

Bien que la méthode utilisée (notamment pour le Cas 1A) soit très spécifique à la structure de $\mathbb{Z}_p^2$, elle ouvre la voie à une généralisation vers $\mathbb{Z}_p^r$ et vers des ensembles de taille $kp+1$. L'article pose les bases pour une future théorie plus générale de la combinatoire additive dans les groupes abéliens élémentaires.