🔢 mathematics

Short Salem polynomials

Ce papier fournit une classification complète des polynômes de Salem de longueur 5 et, en supposant la conjecture de Lehmer, caractérise tous sauf un nombre fini de polynômes de Salem de longueur 6 en identifiant 12 familles infinies et en énumérant 126 exceptions spécifiques, accompagnées d'un tableau exhaustif de polynômes courts pour les nombres de Salem inférieurs au plus petit nombre de Pisot.

Auteurs originaux : James McKee, Chris Smyth

Publié 2026-05-20

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : James McKee, Chris Smyth

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 êtes un détective cherchant à trouver les codes secrets les plus "courts" possibles qui déverrouillent un type très spécifique de verrou mathématique. Ces verrous sont appelés des nombres de Salem.

Dans cet article, les auteurs James McKee et Chris Smyth agissent en tant que maîtres décrypteurs. Ils ont passé leur temps à traquer ces nombres, mais avec une règle très précise : ils ne recherchent que des codes (polynômes) qui sont "courts".

Qu'est-ce qu'un code "court" ?

Dans le monde des mathématiques, un polynôme est comme une recette composée de nombres et de variables (comme $z$ ). La "longueur" de cette recette ne dépend pas du nombre d'ingrédients qu'elle contient, mais de la somme des valeurs absolues de ses nombres.

Imaginez une recette : $z^{12} - z^7 - z^6 - z^5 + 1$ .
Les nombres sont $1, -1, -1, -1, 1$.
Si vous ignorez les signes moins et les additionnez ( $1+1+1+1+1$ ), la longueur est 5.

Les auteurs veulent trouver chaque nombre de Salem unique qui peut être déverrouillé par un code d'une longueur de 5 ou 6.

Le mystère de la longueur 5 : le "Parfait 17"

D'abord, les auteurs ont abordé les codes les plus courts possibles : Longueur 5.

La Règle : Ils ont prouvé qu'il est impossible de créer un nombre de Salem avec un code plus court que 5. C'est comme essayer de construire une maison avec seulement 3 briques ; elle ne tiendra tout simplement pas debout.
La Découverte : Ils ont trouvé exactement 17 codes uniques de longueur 5.
Le Résultat : Ces 17 codes déverrouillent 13 nombres de Salem différents. L'un de ces nombres est célèbre : c'est le plus petit nombre de Salem jamais découvert (connu sous le nom de nombre de Lehmer). Les auteurs ont confirmé qu'il n'existe aucun autre nombre de Salem "caché" avec un code aussi court. Ils ont une liste complète, et la liste est terminée.

Le mystère de la longueur 6 : les "Familles infinies" et les "Excentriques"

Ensuite, ils ont examiné les codes de Longueur 6. C'est là que l'intrigue s'épaissit.

1. Les Familles infinies (Les rails de train)
Ils ont découvert que la plupart des codes de longueur 6 ne sont pas aléatoires. Ils appartiennent à 12 familles infinies.

L'Analogie : Imaginez une voie ferrée. Une fois que vous avez trouvé le motif des rails, vous savez que le train peut continuer indéfiniment. Ces 12 familles sont comme 12 voies ferrées différentes qui s'étendent à l'infini. Vous pouvez générer un nombre infini de nombres de Salem en suivant ces motifs spécifiques.

2. Les Excentriques sporadiques (Les chats errants)
Cependant, tous les codes de longueur 6 ne s'inscrivent pas sur ces rails. Certains sont "sporadiques" : ce sont des codes uniques, ponctuels, qui ne suivent pas les motifs infinis.

Le Défi : Puisqu'il existe une infinité de nombres, comment savoir que vous n'avez pas manqué un chat égaré ?
La Solution : Les auteurs ont utilisé de puissants outils mathématiques pour prouver qu'il n'existe qu'un nombre fini de ces excentriques.
La Liste : Ils ont réussi à trouver et à lister 126 de ces codes de "chats errants".
- Note : Ils en ont trouvé 116 qui correspondent à des nombres de Salem plus petits qu'un nombre célèbre appelé le "plus petit nombre de Pisot" (considérez cela comme une limite de vitesse spécifique sur la droite numérique).
- Ils en ont trouvé 10 autres qui sont légèrement plus grands.
- La Mise en garde : Ils disent : "Si une célèbre conjecture mathématique appelée 'Conjecture de Lehmer' est vraie (ce que la plupart des gens croient), alors notre liste de 126 est complète à 100 %." Si cette conjecture est fausse, il pourrait y avoir quelques autres nombres très minuscules qui se cachent là-bas, mais ils sont si petits qu'ils sont pratiquement invisibles.

Le lien avec les "Pisot"

Pour comprendre comment ils ont trouvé ces familles infinies, les auteurs ont utilisé un auxiliaire appelé un nombre de Pisot.

L'Analogie : Considérez un nombre de Pisot comme une "graine". Si vous plantez cette graine et faites pousser un type spécifique de plante mathématique (en utilisant une méthode découverte par un mathématicien nommé Salem), elle se transforme en un nombre de Salem.
Les auteurs ont montré que pour chaque "graine" (polynôme de Pisot) d'un certain type, vous pouvez faire pousser une ligne infinie de nombres de Salem. Ils ont catalogué exactement quelles graines font pousser quelles lignes.

La carte au trésor finale

L'article se termine par un tableau massif (Tableau 4).

C'est un "Qui est Qui" de tous les nombres de Salem connus qui sont plus petits que le plus petit nombre de Pisot.
Pour chaque nombre, ils fournissent le "code le plus court" (le polynôme) qui le déverrouille.
Ils indiquent également le "degré" (la complexité du code) et la "courteur" (la somme des nombres).

Résumé

En termes simples, McKee et Smyth ont :

Terminé le travail pour les codes les plus courts (Longueur 5) : Il y en a exactement 17.
Cartographié le paysage pour les codes suivants les plus courts (Longueur 6) : Ils ont trouvé 12 motifs infinis et une liste spécifique de 126 exceptions uniques.
Créé un guide de référence pour tous les petits nombres de Salem actuellement connus de l'humanité.

Ils n'ont pas trouvé de nouvelle utilisation pour ces nombres dans le monde réel (comme la médecine ou l'ingénierie) ; au contraire, ils ont simplement résolu une énigme massive en mathématiques pures, s'assurant que pour ces codes "courts" spécifiques, la liste est aussi complète qu'il est possible de l'être.

Résumé technique : Polynômes de Salem courts

Énoncé du problème
L'article traite de la classification des polynômes de Salem basée sur leur « longueur », définie comme la somme des valeurs absolues de leurs coefficients. Un nombre de Salem $\tau > 1$ est un entier algébrique réel dont les conjugués de Galois (à l'exception de $\tau$ ) ont un module au plus égal à 1, avec au moins un ayant un module exactement égal à 1. Un polynôme de Salem est le polynôme minimal d'un nombre de Salem, éventuellement multiplié par des polynômes cyclotomiques. Les auteurs se concentrent sur les polynômes de courte longueur, spécifiquement de longueur 5 et de longueur 6. Alors qu'il est établi que les polynômes entiers réciproques unitaires de longueur $\le 4$ sont cyclotomiques, la longueur minimale pour un polynôme de Salem est 5. L'article vise à fournir une énumération complète des polynômes de Salem de longueur 5 et une classification structurelle de ceux de longueur 6.

Méthodologie
Les auteurs emploient une combinaison de théorie analytique des nombres, de manipulation algébrique et d'algorithmes de recherche computationnelle :

Bornes analytiques et entrelacement : Pour la longueur 5, les auteurs analysent la fonction $s(\theta)$ dérivée du polynôme évalué sur le cercle unité ( $z = e^{i\theta}$ ). Ils utilisent le Lemme 2.1 concernant l'entrelacement des zéros de $f(\theta)$ et $f'(\theta)$ pour borner le nombre de solutions de $s(\theta)=1$ . Cela leur permet de prouver que, pour des degrés suffisamment grands, le polynôme ne peut pas satisfaire les conditions pour être un polynôme de Salem, restreignant ainsi la recherche à un ensemble fini de paramètres.
Construction de Salem et suites de Pisot : Pour la longueur 6, l'article s'appuie sur la méthode de Salem de construction de suites de nombres de Salem convergents vers des nombres de Pisot. Spécifiquement, pour un polynôme de Pisot irréductible $P(z)$ et $\epsilon \in \{-1, 1\}$ , la suite $P_n(z) = z^n P(z) + \epsilon P^*(z)$ est analysée. La Proposition 2.5, largement basée sur les travaux de Boyd, établit les conditions sous lesquelles ces polynômes possèdent un zéro unique à l'extérieur du cercle unité (les rendant de Salem ou de Pisot) et caractérise leurs facteurs cyclotomiques.
Recherche computationnelle avec bornes d'écarts : Pour trouver des polynômes de Salem de longueur 6 sporadiques (non familiaux), les auteurs adaptent un algorithme de [10] pour rechercher des polynômes réciproques dans des intervalles spécifiques $[a, b]$ . Ils utilisent l'inégalité de Gonçalves et les bornes inférieures de Dobrowolski pour contraindre l'espace de recherche. La recherche consiste à borner les « écarts » entre les coefficients non nuls. Lorsqu'un écart ne peut être borné en raison d'un zéro d'un polynôme intermédiaire dans l'intervalle, les auteurs identifient cela comme un point limite correspondant à une famille infinie ou à un cas sporadique spécifique.
Analyse des facteurs cyclotomiques : Les auteurs calculent explicitement les facteurs cyclotomiques des familles infinies en utilisant des résultants et des propriétés des racines de l'unité (Lemme 2.3), leur permettant de déterminer les polynômes minimaux et les degrés des nombres de Salem résultants.

Contributions et résultats clés

Classification de la longueur 5 (Théorème 1) : L'article fournit une liste complète de tous les polynômes de Salem de longueur 5. Il existe exactement 17 tels polynômes associés à 13 nombres de Salem distincts. Ces résultats confirment qu'aucun nombre de Salem de longueur 5 n'existe en dessous du nombre de Lehmer ( $\lambda_0 \approx 1,176$ ), confirmant les résultats précédents de [7] mais fournissant une preuve rigoureuse de l'exhaustivité.
Classification de la longueur 6 (Théorème 2) : Les auteurs démontrent que tous, sauf un nombre fini, des polynômes de Salem de longueur 6 appartiennent à l'une des 12 familles infinies. Ces familles sont générées par la construction de Salem utilisant des polynômes de Pisot spécifiques (trinômes et $z-2$ $z - 2$ ).
- L'article identifie 126 polynômes de Salem de longueur 6 « sporadiques » avec des nombres de Salem $\ge 1,01$ .
- Parmi ceux-ci, 116 correspondent à des nombres de Salem inférieurs au plus petit nombre de Pisot $\theta_0 \approx 1,3247$ , et 10 sont supérieurs à $\theta_0$ .
- L'existence de ces familles et la finitude de l'ensemble sporadique sont prouvées, bien que l'exhaustivité de la liste sporadique en dessous de 1,01 repose sur l'hypothèse que la recherche peut être étendue arbitrairement près de 1 (ce qui est computationnellement peu pratique) ou sur la véracité de la conjecture de Lehmer.
Facteurs cyclotomiques dans les familles (Théorème 3 et Proposition 5.1) : L'article détaille les facteurs cyclotomiques pour les 12 familles infinies. Il fournit des formules explicites pour les polynômes minimaux des nombres de Salem dans ces familles, montrant que pour $n$ grand, le degré du polynôme minimal croît linéairement avec $n$ , moins un terme de correction périodique déterminé par les facteurs cyclotomiques.
Tableaux complets : Les auteurs fournissent :
- Tableau 1 : Les 17 polynômes de Salem de longueur 5 et leurs nombres correspondants.
- Tableau 2 : Les 126 polynômes de Salem de longueur 6 sporadiques connus (pour les nombres $\ge 1,01$ ).
- Tableau 4 : Une compilation de tous les nombres de Salem connus inférieurs au plus petit nombre de Pisot $\theta_0$ , listant leurs degrés, leur longueur et leurs polynômes courts de degré minimal. Cela inclut la suite $\tau_n$ convergeant vers $\theta_0$ et 53 nombres sporadiques.

Signification
L'article prétend fournir la première classification complète des polynômes de Salem de longueur 5. Pour la longueur 6, il établit une dichotomie structurelle : l'ensemble de tels polynômes se compose d'un nombre fini d'exemples sporadiques et d'un ensemble dénombrable de familles infinies. Les auteurs notent que leur liste de polynômes de Salem de longueur 6 sporadiques est complète pour les nombres de Salem $\ge 1,01$ . Ils indiquent que, bien que l'extension de cette liste à des nombres arbitrairement proches de 1 soit peu pratique, la liste serait complète si la conjecture de Lehmer (que $\lambda_0$ est le plus petit nombre de Salem) était vraie. Ce travail affine la compréhension de la distribution des nombres de Salem près de 1 et clarifie la relation entre les nombres de Salem, les nombres de Pisot et les facteurs cyclotomiques grâce à des constructions polynomiales explicites.