A further investigation on covering systems with odd moduli

Résumé technique : Une investigation supplémentaire sur les systèmes de couverture à modules impairs

Énoncé du problème
L'article traite du « problème de couverture impaire », une question ouverte centrale en théorie des nombres introduite par Paul Erdős en 1950. Un système de couverture impaire est défini comme une collection finie de congruences telle que tout entier satisfait au moins une congruence, et tous les modules sont des entiers impairs distincts supérieurs à 1. L'existence d'un tel système reste non prouvée.

Des recherches récentes se sont concentrées sur des variantes de ce problème, investiguant spécifiquement combien de fois un entier impair spécifique $k$ peut être répété comme module tandis que tous les autres modules restent des entiers impairs distincts supérieurs à 1. Soit $t_k$ le plus petit entier non négatif tel qu'il existe un système de couverture où $k$ apparaît comme module dans $t_k$ congruences, et tous les autres modules sont des entiers impairs distincts $>1$. Si un système de couverture impaire existe, alors $t_k \le 1$ pour tout $k$ impair. Des travaux antérieurs de Harrington, Sun et Wong ont établi des bornes supérieures pour $t_p$ où $p$ est un nombre premier (par exemple, $t_p \le p-4$ pour $11 \le p \le 19$).

Méthodologie
Les auteurs emploient une combinaison de combinatoire constructive et d'arithmétique modulaire pour améliorer les bornes existantes sur $t_k$.

1. Construction récursive (Théorème 2.2) : L'article introduit une méthode pour générer des systèmes de couverture avec des modules répétés basés sur des systèmes existants. Si un système existe où le module $k$ est répété $t$ fois, les auteurs démontrent comment construire un système où le module $km$ est répété au plus $m(t-1)+1$ fois (ou $(m-1)(t-1)+1$ fois si $\gcd(k,m)=1$). Cela permet d'étendre les bornes des nombres premiers aux nombres composés.
2. Notation des diagrammes en arbre : Pour présenter des systèmes de couverture complexes, les auteurs utilisent et affinent la notation des diagrammes en arbre établie par Harrington, Sun et Wong. Cette notation liste systématiquement les modules comme produits de sous-ensembles d'un ensemble de base de nombres premiers, triés dans un ordre spécifique pour assurer la couverture.
3. Construction directe : Pour des nombres composés spécifiques ($9, 15, 21, 25$) et de grands nombres premiers ($p \ge 17$), les auteurs fournissent des constructions explicites de systèmes de couverture utilisant des diagrammes en arbre. Ces constructions reposent sur la sélection de nombres premiers spécifiques $q$ (où $q$ est suffisamment grand) pour générer les congruences nécessaires.
4. Application de la couverture de sous-ensembles : L'article applique le concept de modules répétés pour dériver des couvertures impaires pour des sous-ensembles spécifiques d'entiers. En construisant un système de couverture avec des modules répétés $k$ à des résidus spécifiques, les auteurs montrent que le complément de ces résidus peut être couvert par des modules impairs distincts.

Contributions et résultats clés
La contribution principale de l'article est l'amélioration des bornes supérieures connues pour $t_k$ pour divers entiers impairs $k$. Les résultats sont résumés comme suit :

• Nombres composés :
  • $t_9 \le 3$ (Théorème 2.5)
  • $t_{15} \le 4$ (Théorème 2.6)
  • $t_{21} \le 5$ (Théorème 2.7)
  • $t_{25} \le 8$ (Théorème 2.8)
  • Pour $k=p^2$ où $11 \le p \le 13$, $t_k \le p(p-5)$ (Corollaire 2.3).
  • Pour $k=p^2$ où $p \ge 17$, $t_k \le p(p-6)$ (Théorèmes 2.2 et 2.4).
• Grands nombres premiers :
  • Pour tout nombre premier $p \ge 17$, $t_p \le p-5$ (Théorème 2.4). Cela améliore la borne précédente de $p-4$ pour cette plage.
  • Crucialement, les constructions pour $p \ge 17$ n'utilisent pas $p^2$ comme module, permettant l'application récursive du Théorème 2.2.

Applications aux sous-ensembles d'entiers
Une application significative de ces résultats est la démonstration que l'union de plusieurs sous-ensembles spécifiques d'entiers possède une couverture impaire. En utilisant le système de couverture pour $t_9 \le 3$ (spécifiquement les résidus $0, 3, 6 \pmod 9$), les auteurs prouvent que tout sous-ensemble d'entiers avec seulement un nombre fini de termes en dehors de l'ensemble $S = \{a \in \mathbb{Z} : \text{si } 3|a \text{ alors } 9|a\}$ possède une couverture impaire.

Par conséquent, l'article établit que les ensembles suivants (et leurs unions) ont des couvertures impaires :

• Sommes de deux carrés
• Sommes de deux cubes
• Nombres puissants
• Nombres premiers et puissances de nombres premiers
• Nombres de dérangements
• Nombres de Fermat
• Nombres parfaits

Signification et limites
L'article revendique une importance dans le resserrement des bornes sur la variante « module répété » du problème de couverture impaire, se rapprochant du seuil où $t_k=1$ pour tout $k$. Les constructions explicites pour $t_9 \le 3$ sont particulièrement notables car elles permettent la couverture de séquences combinatoires complexes comme les dérangements et les sommes de cubes.

Les auteurs restent modestes concernant la résolution ultime du problème de couverture impaire. Ils notent que bien que leurs résultats couvrent de nombreux sous-ensembles, ils ne prouvent pas encore l'existence d'un système de couverture impaire pour l'ensemble entier des entiers. De plus, ils soulignent des directions ouvertes, telles que savoir si $t_9$ peut être réduit à 2 (ce qui couvrirait les nombres de Bell) ou si des systèmes de couverture existent pour d'autres configurations de résidus spécifiques (par exemple, sommes de trois cubes). Le travail est présenté comme un pas en avant dans la compréhension des contraintes structurelles des systèmes de couverture à modules impairs.