🔢 mathematics

On the Frobenius Number of Quotients of Numerical Semigroups

Cet article résout un problème ouvert de longue date concernant le nombre de Frobenius des quotients de semi-groupes numériques en prouvant qu'aucune formule polynomiale ou rationnelle uniforme n'existe pour $g(\langle a,b\rangle/p)$ , tout en démontrant que pour un $p$ fixé, la fonction devient un quasi-polynôme quadratique et ne satisfait aucune relation polynomiale non triviale lorsque $b=a+1$ .

Auteurs originaux : Feihu Liu

Publié 2026-07-28

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Feihu Liu

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

La Grande Chasse aux Nombres : Pourquoi certains motifs refusent d'être domptés

Imaginez que vous êtes un chef essayant de fabriire un nombre précis de biscuits en utilisant seulement deux tailles d'emporte-pièces, disons des cercles de 7 pouces et 11 pouces. Vous pouvez les empiler, les superposer ou les combiner comme bon vous semble, mais vous ne pouvez pas les couper en morceaux plus petits. Le « nombre de Frobenius » est le plus grand nombre de biscuits que vous ne pouvez pas réaliser avec ces deux emporte-pièces. Par exemple, si vous avez des emporte-pièces de 3 et 5 pouces, vous pouvez faire 3, 5, 6, 8, 9, 10, etc., mais vous ne pouvez pas faire 7. Ainsi, 7 est votre nombre de Frobenius. Les mathématiciens savent depuis plus d'un siècle comment calculer ce nombre si l'on n'a que deux emporte-pièces, mais les choses deviennent complexes si l'on ajoute un troisième ou plus.

Maintenant, imaginez une variante de la recette. Au lieu de simplement demander ce que vous pouvez fabriquer, vous demandez : « Si je ne compte que chaque $p$ -ième biscuit que je fabrique, quel est le plus grand nombre que je ne peux pas atteindre ? » Cela crée un nouvel ensemble de nombres légèrement différent appelé « semi-groupe quotient ». La grande question de cet article est la suivante : existe-t-il une formule unique et élégante (comme un sortilège magique) qui nous donne la réponse pour n'importe quelle paire d'emporte-pièces et n'importe quel pas de comptage ? C'est comme demander s'il existe une équation universelle capable de prédire le nombre de biscuits impossibles pour chaque configuration de cuisine possible. Il ne s'agit pas seulement de biscuits ; il s'agit de comprendre les règles cachées des nombres, ce qui aide en cryptographie, en théorie du codage et même pour comprendre comment les systèmes complexes s'organisent.

La découverte de l'article : Pas de sortilège magique

Dans cet article, Feihu Liu s'attaque à un problème ouvert tenace : peut-on écrire une formule simple, sous forme fermée, pour le nombre de Frobenius de ces « semi-groupes quotients » ? Plus précisément, l'auteur étudie deux scénarios : l'un où vous avez deux emporte-pièces arbitraires (appelons-les $a$ et $b$ ) et un autre où les emporte-pièces sont des nombres consécutifs (comme $a$ et $a+1$ ).

La réponse courte est un non retentissant. L'article prouve qu'aucune formule polynomiale unique (un type standard d'équation mathématique impliquant des puissances et des multiplications) ne peut décrire ce nombre pour tous les cas. En fait, l'auteur démontre que vous ne pouvez même pas vous contenter d'une liste finie de différentes formules qui changent selon les nombres que vous choisissez.

Pour comprendre comment ils ont prouvé cela, imaginez que vous essayez d'ajuster un moule en plastique rigide sur une forme qui change constamment de taille et de forme. L'auteur démontre qu'à mesure que vous modifiez les nombres $a$ , $b$ et le pas $p$ , la « forme » de la réponse se déplace d'une manière qu'aucun moule algébrique fixe ne peut capturer.

Voici ce que l'article exclut explicitement :

Pas de formule universelle : Il n'existe pas d'équation polynomiale unique $F(a, b, p, \text{Réponse}) = 0$ qui fonctionne pour toutes les combinaisons de nombres possibles.
Pas de liste finie : Vous ne pouvez pas résoudre cela en faisant une liste de, disons, 10 formules différentes et en disant : « Utilisez la formule n°1 si $a$ est premier, la formule n°2 si $p$ est pair », etc. L'article prouve que peu importe la longueur de votre liste, elle finira par échouer pour certains nombres.
Pas de raccourci rationnel : Même si vous autorisez les fractions (fonctions rationnelles) au lieu de simples polynômes de nombres entiers, le résultat est le même. Il n'existe pas de collection finie de ces formules qui couvre tous les cas.

Quelle est leur certitude ?
L'article fournit une preuve mathématique, et non une simple supposition ou une simulation informatique. L'auteur utilise un outil puissant appelé le théorème de Dirichlet (qui garantit que certains motifs de nombres contiennent une infinité de nombres premiers) pour construire des exemples spécifiques où la réponse se comporte d'une manière qui brise toute formule potentielle. La logique est implacable : si une formule existait, elle devrait satisfaire une condition qui est mathématiquement impossible étant donné l'infinie variété des nombres premiers disponibles.

Le rebondissement : Une solution locale contre un échec global

Bien que l'article dise « non » à une formule universelle, il ne nous laisse pas les mains vides. Il trouve une manière très spécifique et ingénieuse de résoudre le problème si l'on fixe l'une des variables.

Si vous décidez de garder le pas de comptage $p$ fixe (disons, vous comptez toujours chaque 5ème biscuit), l'auteur montre que la réponse suit effectivement un motif. Ce n'est pas une courbe lisse unique, mais un « quasi-polynôme ». Pensez à cela comme un caméléon : si vous regardez les nombres où $a$ laisse un reste de 1 lorsqu'il est divisé par 5, la réponse suit une formule quadratique spécifique. Si $a$ laisse un reste de 2, elle suit une formule quadratique différente. Il y a au plus $p$ de ces différentes « branches ».

Ainsi, pour un $p$ fixé, le problème est résolu ! Il vous suffit de vérifier sur quelle « branche » vous vous trouvez et de l'injecter dans la bonne formule. Cependant, l'article prouve qu'à mesure que vous faites varier $p$ (en changeant le pas de comptage), ces branches se multiplient et se déplacent de manière chaotique. Le nombre de branches nécessaires croît avec $p$ , et les formules elles-mêmes changent si radicalement qu'aucune formule maîtresse unique ne peut jamais les lier toutes.

Le verdict

L'article conclut que le nombre de Frobenius pour ces semi-groupes quotients est algébriquement sauvage. Il résiste à l'apprivoisement par les outils standards des formules algébriques. Bien que nous puissions calculer la réponse pour tout cas spécifique en utilisant un algorithme étape par étape (comme la vérification des restes), le rêve d'une équation simple et englobante est impossible. L'auteur prouve que la complexité de ces nombres est intrinsèque ; ils sont trop flexibles pour être fixés par un ensemble fini de règles polynomiales. Ce résultat est significatif car il fixe une limite stricte sur ce qui est possible en théorie des nombres, montrant que certains motifs sont simplement trop riches et variés pour être capturés par une seule et unique phrase mathématique nette.

Résumé technique : Sur le nombre de Frobenius des quotients de semi-groupes numériques

Énoncé du problème
L'article traite de la détermination de formules explicites pour le nombre de Frobenius des quotients de semi-groupes numériques. Étant donné un semi-groupe numérique $S$ et un entier positif $p$ , le quotient $S/p = \{n \in \mathbb{N} \mid pn \in S\}$ est également un semi-groupe numérique. Le problème ouvert central, précédemment noté dans la littérature (par exemple, [24, 8, 4]), est de trouver une formule de forme fermée pour le nombre de Frobenius $g(\langle a, b \rangle / p)$ où $\gcd(a, b) = 1$ . Un sous-cas spécifique d'intérêt particulier est lorsque les générateurs sont des entiers consécutifs, c'est-à-dire $S = \langle a, a+1 \rangle$ . Bien que des formules existent pour des cas spécifiques (par exemple, $p=2$ , $p=5$ , ou quand $p$ divise $a$ ), une expression générale de forme fermée demeure insaisissable.

Méthodologie
L'auteur emploie une combinaison de la théorie des semi-groupes, de la géométrie algébrique et de la théorie analytique des nombres pour étudier l'existence de formules polynomiales.

Structure et symétrie des semi-groupes : L'article utilise la propriété selon laquelle $\langle a, b \rangle$ est un semi-groupe numérique symétrique. En appliquant un résultat de [28], le nombre de Frobenius du quotient $g(S/p)$ est exprimé en termes du nombre de Frobenius de $S$ et du plus petit élément $\omega_p(S)$ de $S$ congru à $g(S) \pmod p$ . Pour le cas $S = \langle a, a+1 \rangle$ , cela revient à minimiser une forme linéaire $ia + j$ sur une classe de congruence spécifique.
Approximation arithmétique et théorème de Dirichlet : Pour prouver les théorèmes de non-existence, l'auteur construit des séquences de paramètres $(a, b, p)$ ou $(a, p)$ où le nombre de Frobenius suit des modèles linéaires ou quadratiques spécifiques. Le Lemme 4.1 utilise le théorème de Dirichlet sur les nombres premiers dans les progressions arithmétiques pour générer des séquences infinies de nombres premiers $a$ et d'entiers $b$ possédant des propriétés modulaires prescrites et des pentes limites.
Géométrie algébrique (Densité de Zariski) : Le cœur des preuves de non-existence repose sur le concept de densité de Zariski. L'article soutient que si une relation polynomiale $F(a, b, p, g) = 0$ existait, le graphe du nombre de Frobenius ne serait pas dense dans Zariski. En montrant que le graphe est dense (ou que le degré requis de tout tel polynôme croît de manière non bornée avec $p$ ), l'existence d'une telle relation est réfutée.
Analyse des quasi-polynômes : Pour le cas $S = \langle a, a+1 \rangle$ , l'auteur dérive une formule exacte par classes de résidus. Cela implique de définir des fonctions spécifiques $I_p(r)$ et $J_p(r)$ basées sur le résidu de $a$ modulo $p$ , démontrant que pour un $p$ fixé, le nombre de Frobenius est un quasi-polynôme quadratique.

Contributions clés et résultats

L'article établit trois résultats principaux concernant la nature algébrique du nombre de Frobenius pour ces quotients :

Non-existence de formules polynomiales uniformes (Cas général) :
Le Théorème 1.2 prouve qu'il n'existe pas de polynôme non nul $F \in \mathbb{C}[X_1, X_2, X_3, Y]$ tel que $F(a, b, p, g(\langle a, b \rangle / p)) = 0$ pour tous les triplets $(a, b, p)$ valides. Par conséquent, le nombre de Frobenius ne peut être représenté par aucune collection finie de formules polynomiales ou rationnelles qui soient uniformes en $a, b,$ et $p$ . Ce résultat est dérivé en montiant que pour un nombre premier $p$ fixé, le nombre de Frobenius prend sur $(p-1)/2$ formes linéaires distinctes dépendant du rapport $b/a$ , et que le nombre de ces formes croît avec $p$ , dépassant tout degré polynomial fixé.
Structure de quasi-polynôme pour les générateurs consécutifs :
Pour le cas spécifique $S = \langle a, a+1 \rangle$ , le Théorème 1.4 fournit une formule exacte pour $G(a, p) = g(\langle a, a+1 \rangle / p)$ . La formule est :
$G(a, p) = \frac{a^2 - (I_p(r) + 1)a - (J_p(r) + 1)}{p}$
où $r = a \pmod p$ , et $I_p(r), J_p(r)$ sont déterminés par une procédure de minimisation finie sur les résidus. Le Théorème 1.4 conclut que pour tout $p$ fixé, la fonction $a \mapsto G(a, p)$ est un quasi-polynôme quadratique dont la période divise $p$ .
Non-existence de formules polynomiales (Cas des consécutifs) :
Malgré la structure de quasi-polynôme pour un $p$ fixé, le Théorème 1.5 prouve qu'aucun polynôme non nul unique $F \in \mathbb{C}[X_1, X_2, X_3]$ ne satisfait $F(a, p, G(a, p)) = 0$ pour tous les couples $(a, p)$ où $a$ et $p$ sont premiers (ou même simplement $p$ est premier et $a > p$ ). La preuve démontre que le degré minimum d'une relation polynomiale pour un $p$ fixé croît linéairement avec $p$ (spécifiquement au moins $\lceil p/2 \rceil$ ). Puisqu'un polynôme global doit avoir un degré fixé, il ne peut pas accommoder les exigences de degré non borné à mesure que $p$ varie.

Signification et affirmations
L'article positionne ses conclusions comme une réponse négative au problème ouvert de la recherche de formules de forme fermée pour ces nombres de Frobenius, inspirée par les travaux antérieurs de Curtis sur la non-existence de formules pour $g(\langle a, b, c \rangle)$ .

Complexité algébrique : La principale signification est la démonstration que le nombre de Frobenius de ces quotients possède une complexité algébrique qui empêche une description par des familles finies d'expressions polynomiales ou rationnelles indépendantes des paramètres.
Distinction entre local et global : L'article met en évidence un contraste entre le comportement local et global. Localement (pour un $p$ fixé), la fonction est bien structurée (quasi-polynôme quadratique). Globalement (lorsque $p$ varie), la fonction est trop complexe pour être capturée par une relation algébrique unique de degré borné.
Rôle des nombres premiers : Les résultats tiennent même sous la condition restrictive que $a$ et $p$ soient premiers, en utilisant le théorème de Dirichlet pour assurer la densité de tels cas.
Clarification de la « non-existence » : L'auteur note explicitement que ces résultats n'impliquent pas que le nombre de Frobenius est incalculable. Des algorithmes et des formules explicites impliquant des fonctions partie entière, l'arithmétique modulaire et des minimisations finies (comme vu dans le Théorème 5.3) existent. Les théorèmes de non-existence excluent spécifiquement les formules polynomiales ou rationnelles de degré borné qui seraient uniformes à travers l'espace des paramètres.

L'article conclut que bien que la recherche de formules de forme fermée pour des sous-classes spécifiques reste une direction de recherche valide, le cas général des quotients de semi-groupes numériques résiste à une caractérisation algébrique simple.

La Grande Chasse aux Nombres : Pourquoi certains motifs refusent d'être domptés

La découverte de l'article : Pas de sortilège magique

Le rebondissement : Une solution locale contre un échec global

Le verdict

Articles similaires