🔢 mathematics

On a problem of minimal additive complements for not eventually periodic $S$ -difference sets

Cet article apporte une réponse affirmative à un problème spécifique concernant les compléments additifs minimaux pour les ensembles de différences $S$ qui ne sont pas éventuellement périodiques, tel que posé par Ma et Chen.

Auteurs originaux : Min Tang, Wenjing He

Publié 2026-07-30

📖 7 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Min Tang, Wenjing He

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous vous tenez dans un couloir infini composé de carreaux entiers, s'étendant à l'infini dans les deux directions. Vous possédez un ensemble spécial de « pierres de saut » appelé $W$ . Si vous vous tenez sur n'importe quelle pierre de $W$ et que vous faites un pas à partir d'une collection spécifique de « pierres d'aide » appelée $C$ , vous voulez pouvoir atteindre absolument tous les carreaux du couloir. Dans le langage mathématique, si la somme de vos pierres d'aide et de vos pierres de saut couvre l'ensemble des nombres, nous disons que $C$ est un « complément additif » de $W$ .

Mais voici le rebondissement : et si votre collection d'aide était trop grande ? Et si vous pouviez jeter quelques pierres tout en continuant à atteindre chaque carreau ? Un « complément additif minimal » est le plus petit groupe possible d'aide que vous pouvez utiliser — un groupe si restreint que si vous en retirez ne serait-ce qu'une seule, vous créerez un vide dans le couloir qui sera inaccessible. Les mathématiciens sont fascinés par ce casse-tête depuis plus d'une décennie, essayant de découvrir quels motifs de pierres de saut permettent d'obtenir ce groupe d'aide parfait et minuscule. La grande question était : si vos pierres de saut suivent un motif qui ne se répète jamais (un ensemble « non périodique à terme ») mais que les écarts entre elles sont toujours petits et choisis dans une liste spécifique de nombres, pouvez-vous toujours trouver ce groupe d'aide minimal ?

Cet article, écrit par Min Tang et Wenjing He, répond à cette question par un « oui » retentissant. Les auteurs s'attaquent à une version spécifique et délicate du problème où les écarts entre les pierres de $W$ sont choisis dans une liste finie d'entiers positifs, $S$ , et où chaque nombre de cette liste apparaît comme un écart une infinité de fois. Ils prouvent que quel que soit le menu $S$ que vous choisissez (tant qu'il contient au moins deux nombres différents), vous pouvez toujours construire une séquence de pierres qui ne se répète jamais et qui possède un complément additif minimal. Ils ne se contentent pas de deviner ; ils construisent une recette détaillée, étape par étape, pour créer ces séquences et prouvent mathématiquement que l'équipe d'aide résultante est effectivement la plus petite possible.

L'histoire des remplisseurs de vides

Pour comprendre ce que Tang et He ont fait, imaginons le problème comme un jeu consistant à remplir une immense mosaïque infinie.

Les Joueurs

Le Motif ( $W$ ) : Imaginez une ligne de pierres de saut. La distance entre une pierre et la suivante n'est jamais aléatoire ; c'est toujours un nombre issu d'un « menu » de tailles spécifiques, appelons-le $S$ . Par exemple, votre menu pourrait être $\{3, 5\}$ . Ainsi, vous pourriez sauter de 3 pas, puis 5, puis 3, puis 3, puis 5 à nouveau. La règle est que vous devez utiliser chaque taille du menu une infinité de fois, et le motif des sauts ne doit jamais se stabiliser dans une boucle répétitive et ennuyeuse (comme 3-5-3-5-3-5 pour toujours). C'est ce que les mathématiciens appellent un « ensemble de différences INEP S » (Infini, Non Périodique à Terme).
Les Aides ( $C$ ) : Ce sont les pierres que vous placez dans les interstices. Si vous vous tenez sur une pierre d'aide et que vous sautez vers une pierre de votre motif $W$ , vous devriez pouvoir atteindre chaque entier sur la droite numérique.
L'Objectif : Trouver le groupe d'aide minimal. Cela signifie trouver la plus petite équipe d'aide où chaque membre est absolument essentiel. Si vous en licenciez un seul, la couverture est rompue.

Le Mystère Précédent
Avant cet article, les mathématiciens connaissaient la réponse pour certains menus spécifiques. Si votre menu n'était composé que de $\{1, 2\}$ , ou si les nombres avaient des relations spéciales (comme l'un étant un multiple de l'autre), ils pouvaient construire la solution. Mais pour un menu général comme $\{3, 7, 11\}$ , ou n'importe quel mélange aléatoire de nombres, la question restait en suspens : Un groupe minimal existe-t-il toujours ? Certains travaux antérieurs suggéraient que si les écarts étaient trop réguliers, vous ne trouveriez peut-être pas de complément additif minimal, mais que si les écarts étaient assez chaotiques, vous le pourriez. Les auteurs de cet article voulaient trancher pour n'importe quel menu fini d'écarts.

Le Plan de Maître : Construire le Pont
Tang et He ne se sont pas contentés de dire « il existe ». Ils l'ont construit. Leur preuve est comme un plan architectural pour construire un pont qui traverse un canyon infini. Ils ont divisé leur construction en deux scénarios principaux, selon le plus petit nombre de leur menu $S$ .

Scénario 1 : Le Menu Inclut le Nombre 1
Si votre plus petit écart est 1, la construction ressemble un peu à la pose d'un chemin long et sinueux. Les auteurs commencent par un petit morceau de pierres gérable. Ensuite, ils utilisent une méthode inductive astucieuse (construction étape par étape) pour étendre le chemin à l'infini.

Ils créent des « blocs » de pierres.
À l'intérieur de ces blocs, ils utilisent un outil mathématique (lié au « Problème de la monnaie de Frobenius », qui demande comment faire de la monnaie avec des dénominations de pièces spécifiques) pour garantir que les écarts entre les pierres correspondent aux nombres de leur menu $S$ .
Ils placent soigneusement des « pierres d'aide » (l'ensemble $C$ ) à des intervalles spécifiques.
La magie opère dans les « transitions » entre les blocs. Ils disposent les écarts de sorte que les pierres d'aide puissent atteindre chaque entier, mais si vous en retirez une seule, un « trou » spécifique apparaît que aucune autre aide ne peut combler. Ils prouvent que les écarts entre les pierres dans leur construction deviennent de plus en plus grands d'une manière spécifique, garantissant que le motif ne se répète jamais, tout en permettant à l'équipe d'aide minimale de fonctionner parfaitement.

Scénario 2 : Le Menu Commence par un Nombre Supérieur à 1
C'est la partie la plus délicate. Si votre plus petit écart est, par exemple, 3 ou 5, vous ne pouvez pas simplement combler les vides avec des pas uniques. Les auteurs ont dû faire preuve de créativité.

Ils ont réalisé que si les nombres du menu ne partagent pas de diviseur commun (ils sont « premiers entre eux » dans un certain sens de groupe), vous pouvez quand même construire le chemin.
Ils ont construit une structure plus complexe où les « pierres d'aide » arrivent sous forme de petits groupes ou de grappes.
Ils ont utilisé un argument de comptage sophistiqué pour montrer que même si les écarts sont plus grands, l'arrangement des grappes d'aide crée un « filet » qui attrape chaque entier.
Crucialement, ils ont prouvé que les « trous » laissés par le retrait d'une aide sont uniques à cette aide spécifique. C'est comme un système de serrure et de clé : l'Aide A ouvre une serrure spécifique, et aucune autre aide n'a la clé. Si vous retirez l'Aide A, cette serrure reste fermée, et la couverture échoue.

Le Verdict
La construction des auteurs est rigoureuse. Ils n'ont pas simulé cela sur un ordinateur ou suggéré que cela pourrait être vrai ; ils ont fourni une preuve mathématique. Ils ont montré que pour n'importe quel ensemble fini d'entiers positifs $S$ possédant au moins deux éléments, vous pouvez créer une séquence d'écarts qui ne se répète jamais en utilisant uniquement les nombres de $S$ , et que pour cette séquence, un complément additif minimal existe toujours.

Ils ont effectivement clos le chapitre sur cette version spécifique du problème. La réponse à la question « Est-il vrai que pour tout ensemble fini $S$ ... » est un « oui » définitif. L'article confirme que la nature chaotique et non répétitive des écarts n'empêche pas l'existence d'une équipe d'aide parfaite et minimale. En fait, c'est le chaos même du motif qui permet aux auteurs d'élaborer la solution, garantissant que chaque aide est indispensable et que l'ensemble de la droite numérique est couvert.

Résumé Technique : Sur un problème de compléments additifs minimaux pour les ensembles de différences $S$ non périodiques à l'infini

Énoncé du Problème
Le document traite d'un problème spécifique en théorie additive des nombres concernant l'existence de compléments additifs minimaux pour des ensembles infinis d'entiers. Soient $C$ et $W$ deux sous-ensembles d'entiers. $C$ est un complément additif de $W$ si $C + W = \mathbb{Z}$ . $C$ est un complément additif minimal si aucun de ses sous-ensembles propres ne satisfait cette condition.

Alors que l'existence de compléments minimaux pour des ensembles finis et certains ensembles infinis (tels que ceux ayant des écarts non bornés ou des structures périodiques spécifiques) a été établie par Nathanson, Chen, Yang, Kiss, Sándor et d'autres, le cas des ensembles non périodiques à l'infini avec des écarts bornés reste moins bien compris. Plus précisément, Ma et Chen [14] ont posé le problème suivant (Problème 1.3 dans leur travail) :

Soit $S$ un ensemble fini d'entiers positifs avec $|S| \ge 2$ . Existe-t-il un ensemble infini, non périodique à l'infini $W = \{w_1 < w_2 < \dots\} \subseteq \mathbb{N}$ tel que :

$W$ possède un complément additif minimal ;

La différence entre deux éléments consécutifs $w_{i+1} - w_i$ appartient à $S$ pour tout $i$ ;

Chaque élément $s \in S$ apparaît comme une différence $w_{i+1} - w_i$ pour une infinité d'indices $i$ ?

Un tel ensemble $W$ est appelé un ensemble de différences $S$ INEP (Infinite, Not Eventually Periodic — Infini, Non Périodique à l'Infini). Des résultats antérieurs avaient résolu des sous-cas spécifiques (par exemple, lorsque les éléments de $S$ se divisent mutuellement, ou lorsque $\gcd(s_1, s_2)=1$ avec des contraintes modulaires spécifiques), mais une solution générale pour un $S$ arbitraire faisait défaut.

Méthodologie
Les auteurs, Tang et He, apportent une réponse affirmative au Problème 2 en construisant de tels ensembles et leurs compléments minimaux correspondants. La méthodologie repose sur une construction inductive de l'ensemble $W$ et d'un ensemble $C$ soigneusement conçu.

Réduction par mise à l'échelle : Les auteurs utilisent d'abord le Lemme 2.2 pour réduire le cas général au scénario où $\gcd(s_1, \dots, s_l) = 1$ . Ils prouvent que si un complément minimal existe pour un ensemble réduit par un facteur d'échelle, un complément minimal peut être construit pour l'ensemble $dW$ mis à l'échelle.
Construction Inductive : La preuve est divisée en deux cas basés sur le plus petit élément de $S$ $S$ , noté $s_1$ $s_{1}$ :
- Cas 1 ( $s_1 = 1$ ) : Les auteurs construisent des séquences $\{d_i\}$ ${d_{i}}$ , $\{W_i\}$ ${W_{i}}$ , et $\{c_i\}$ ${c_{i}}$ de manière inductive. L'ensemble $W$ $W$ est construit par étapes, où chaque étape $W_i$ $W_{i}$ ajoute trois sous-ensembles disjoints ( $V^{(1)}_{i-1}, V^{(2)}_{i-1}, V^{(3)}_{i-1}$ $V_{i - 1}^{(1)}, V_{i - 1}^{(2)}, V_{i - 1}^{(3)}$ ) à l'ensemble précédent $W_{i-1}$ $W_{i - 1}$ .
  - Étape 1 : Remplit un intervalle spécifique en utilisant des pas de taille 1 (puisque $s_1=1$ ) et l'élément maximal $s_l$ .
  - Étapes 2 & 3 : Utilise le Lemme 2.1 (un résultat sur le problème de Frobenius) pour exprimer les longueurs d'intervalles comme des combinaisons linéaires positives des éléments de $S$ . Cela permet aux auteurs de remplir les lacunes avec des pas appartenant strictement à $S$ , garantissant la propriété de l'ensemble de différences.
  - L'ensemble $C$ est construit comme $\{c_i\}_{i=1}^\infty$ , où les $c_i$ sont choisis pour satisfaire des inégalités spécifiques garantissant que $C$ couvre $\mathbb{Z}$ lorsqu'il est ajouté à $W$ , mais qu'aucun élément ne peut être retiré sans rompre cette couverture.
- Cas 2 ( $s_1 \ge 2$ ) : Ce cas est plus complexe car le pas de taille 1 n'est pas disponible. Les auteurs construisent des séquences $\{d_i\}$ ${d_{i}}$ , $\{W_i\}$ ${W_{i}}$ , et un ensemble de paramètres $\{c^{(1)}_i, \dots, c^{(s_1)}_i\}$ ${c_{i}^{(1)}, \dots, c_{i}^{(s_{1})}}$ .
  - Ils définissent une fonction $h(s_1; r)$ basée sur le reste $r$ de la division d'un $s_j$ spécifique par $s_1$ .
  - La construction implique la création de blocs d'éléments possédant des propriétés modulaires spécifiques. L'ensemble $C$ est construit comme une union de $s_1$ progressions arithmétiques (décalées) à chaque étape.
  - Similairement au Cas 1, le Lemme 2.1 est employé pour remplir les intervalles avec des pas issus de $S$ . La construction garantit que les « vides » entre les blocs construits sont comblés par la structure spécifique de $C$ , tandis que les écarts internes de $W$ restent dans $S$ .
Vérification de la Minimalité : Pour les deux cas, les auteurs prouvent rigoureusement que le $C$ construit est un complément minimal. Cela implique de démontrer que pour tout $n \in \mathbb{Z}$ , $n \in W+C$ , et pour tout élément spécifique $c \in C$ , il existe un entier $n$ tel que $n \in W+c$ mais $n \notin W + (C \setminus \{c\})$ . Ceci est réalisé en analysant les « trous » spécifiques créés dans l'ensemble somme lorsqu'un élément est retiré, en exploitant les définitions inductives de $d_i$ et la disjointure des ensembles construits.

Résultats Clés
Le papier établit le théorème principal suivant :

Théorème 1.1 : Soit $l \ge 2$ un entier positif et $S = \{s_1, s_2, \dots, s_l\}$ un ensemble d'entiers positifs avec $1 \le s_1 < s_2 < \dots < s_l$ . Il existe un ensemble de différences $S$ INEP $W$ et il existe un complément minimal à $W$ .

Ce résultat généralise les théorèmes précédents (Théorèmes E, F et G dans l'introduction) qui étaient limités à des relations spécifiques entre les éléments de $S$ (par exemple, divisibilité ou conditions de coprimarité). Le présent travail lève ces restrictions, prouvant l'existence pour tout ensemble fini $S$ avec $|S| \ge 2$ .

Signification et Revendications
Les auteurs affirment que leur travail fournit un cadre de preuve unifié qui étend la portée des résultats connus à des ensembles de différences $S$ arbitraires. En résolvant le Problème 2 posé par Ma et Chen, ce papier tranche la question de l'existence de compléments additifs minimaux dans le contexte d'ensembles infinis, non périodiques à l'infini, avec des écarts bornés définis par un ensemble de différences $S$ arbitraire.

Le papier ne prétend pas résoudre le problème pour les ensembles où $|S|=1$ (ce qui est trivial ou impossible selon la périodicité) ni prétend caractériser tous ces ensembles, mais cherche plutôt à prouver l'existence d'au moins un tel ensemble pour tout $S$ valide. Le travail s'appuie sur les idées constructives des Théorèmes F et G mais les synthétise pour traiter le cas général.

Conclusion
Le papier répond avec succès au problème ouvert concernant l'existence de compléments additifs minimaux pour les ensembles de différences $S$ non périodiques à l'infini. À travers une construction inductive sophistiquée utilisant le problème de Frobenius (Lemme 2.1) et un contrôle méticuleux de l'arithmétique modulaire, les auteurs démontrent que pour tout ensemble fini d'entiers positifs $S$ de cardinalité au moins 2, on peut construire un ensemble $W$ infini et non périodique dont les différences sont dans $S$ , et qui admet un complément additif minimal.

L'histoire des remplisseurs de vides

Articles similaires