🔢 mathematics

Parry order of Parry numbers

Cet article introduit l'ordre de Parry pour les nombres de Perron, démontrant que seuls les nombres de Pisot et de Salem possèdent une infinité de puissances de Parry, et établit ainsi une nouvelle partition dynamique de ces nombres avec des bornes explicites et des exemples de familles infinies d'ordres non bornés.

Auteurs originaux : Kevin G Hare, Hachem Hichri

Publié 2026-03-23

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Kevin G Hare, Hachem Hichri

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 les nombres mathématiques ne sont pas de simples chiffres ennuyeux, mais des personnages vivants avec des personnalités très spécifiques. Dans ce papier, les auteurs Kevin G. Hare et Hachem Hichri nous invitent à explorer la vie sociale de ces personnages, en particulier ceux qu'on appelle les nombres de Perron.

Voici une explication simple de leur découverte, imagée pour tout le monde.

1. Les Personnages : Qui est qui ?

Pour comprendre l'histoire, il faut d'abord connaître les trois familles principales de ces nombres :

Les Nombres de Perron (La grande famille) : Ce sont des nombres réels plus grands que 1. Ils sont "dominants", ce qui signifie qu'ils sont plus gros que tous leurs cousins (leurs conjugués mathématiques). C'est la catégorie générale.
Les Nombres de Pisot (Les "Parfaits") : C'est une sous-famille très spéciale. Imaginez un chef d'orchestre qui a un pouvoir absolu : non seulement il est grand, mais ses cousins sont tous très petits (ils vivent à l'intérieur d'une petite bulle de rayon 1). Ces nombres sont "stables" et prévisibles.
Les Nombres de Salem (Les "Équilibristes") : Ils sont aussi dominants, mais leurs cousins sont un peu plus grands que les Pisot. Certains sont juste à la limite de la bulle, comme des équilibristes sur un fil.

2. Le Concept Clé : L'Ordre de Parry

Le cœur du papier tourne autour d'une question : "Si on élève un nombre à la puissance, devient-il 'Parry' ?"

Qu'est-ce qu'un nombre Parry ? C'est un peu comme un nombre qui a une "mémoire courte" ou un "cycle de vie" simple. Si vous essayez de décomposer le nombre 1 en utilisant ce nombre (comme on décompose 1/3 en 0,333...), le résultat finit par se répéter de manière très régulière. C'est un comportement "propre" et ordonné.

Les auteurs se demandent : Si je prends un nombre de Perron (qui n'est pas forcément Parry) et que je le multiplie par lui-même (β², β³, β⁴...), à quel moment devient-il "propre" (Parry) ?

Ils définissent l'Ordre de Parry comme le plus grand nombre de fois où l'on peut multiplier ce nombre par lui-même avant qu'il ne perde son "ordre".

Si l'Ordre est infini (∞) : Le nombre est un Pisot ou un Salem. Peu importe combien de fois vous le multipliez, il reste "propre" et ordonné. C'est comme un arbre qui garde toujours ses feuilles, même en hiver.
Si l'Ordre est fini : Le nombre est un "Perron ordinaire". Au début, ses puissances peuvent être ordonnées, mais après un certain point (par exemple, après la puissance 10 ou 50), il devient "chaotique" et perd son statut de nombre Parry. C'est comme un feu d'artifice : il y a une belle explosion au début, mais après, il ne reste que de la fumée.

3. La Grande Découverte : Une Carte de la Dynamique

Les auteurs ont créé une nouvelle façon de classer ces nombres, comme une carte géographique :

La région des "Éternels" (H∞) : C'est là que vivent les Pisot et les Salem. Ils sont éternellement Parry.
La région des "Temporaires" (H₀, H₁, H₂...) : C'est ici que vivent les autres nombres de Perron.
- H₀ : Ceux qui ne sont jamais Parry, même à la puissance 1.
- H₁ : Ceux qui sont Parry à la puissance 1, mais plus à la puissance 2.
- H₁₀₀ : Ceux qui sont Parry jusqu'à la puissance 100, mais qui deviennent chaotiques à la puissance 101.

L'analogie du métro :
Imaginez que chaque nombre de Perron est un passager dans un métro.

Les Pisot/Salem sont des passagers VIP qui peuvent rester dans le métro pour toujours (ordre infini).
Les autres passagers doivent descendre à une certaine station. L'Ordre de Parry indique à quelle station ils doivent descendre.
- Si vous êtes dans la classe H₅, vous pouvez monter dans le train (être Parry) pour les stations 1, 2, 3, 4 et 5. Mais à la station 6, le train vous expulse (vous devenez non-Parry).

4. Les Résultats Surprenants

Les chercheurs ont trouvé des choses fascinantes :

La règle d'or : Si un nombre n'est pas un Pisot ou un Salem, il a une "date de péremption". Il ne peut pas rester Parry éternellement. Il y a une limite mathématique précise (basée sur sa taille et ses cousins) au-delà de laquelle il devient chaotique.
Des exemples inédits : Ils ont découvert des nombres qui ne sont pas Parry au début, mais qui le deviennent quand on les élève à une certaine puissance (comme β²), avant de redevenir chaotiques plus tard. C'est comme un fruit qui est vert, devient rouge et mûr à un moment précis, puis pourrit. C'est la première fois qu'on voit ce phénomène clairement.
La conjecture de Lehmer : Ce papier relie ce problème à une vieille énigme mathématique (la conjecture de Lehmer) qui cherche le plus petit nombre "spécial" possible. Ils suggèrent que si un nombre est trop petit, il ne peut pas rester Parry très longtemps.

5. En Résumé

Ce papier nous dit que la vie des nombres de Perron est une course contre la montre.

Les Pisot et Salem sont les vainqueurs de la course : ils courent pour l'éternité.
Les autres courent aussi, mais ils ont un compte à rebours. Plus ils sont "complexes" (leurs cousins sont grands), plus ils perdent vite leur statut de nombre "propre" (Parry).

Les auteurs ont dressé une carte de cette course, montrant exactement combien de temps chaque type de nombre peut rester "propre" avant de devenir "chaotique". C'est une nouvelle façon de voir les mathématiques, où l'on regarde non seulement ce qu'est un nombre, mais comment il évolue quand on le manipule.

1. Problématique et Contexte

L'article s'inscrit dans l'étude des nombres algébriques réels, en particulier les nombres de Perron, de Pisot et de Salem, à travers le prisme de la théorie des développements en base $\beta$ (introduite par Rényi et Parry).

Définitions clés :
- Un nombre de Perron $\beta > 1$ est un entier algébrique réel dont le module est strictement supérieur à celui de tous ses conjugués de Galois.
- Un nombre de Pisot a tous ses conjugués à l'intérieur du disque unité ouvert.
- Un nombre de Salem a ses conjugués dans le disque unité fermé, avec au moins un sur le bord.
- Un nombre de Parry est un nombre $\beta > 1$ tel que l'orbite de 1 sous la transformation $\beta$ -t ( $T_\beta(x) = \beta x \mod 1$ ) est finie (développement $\beta$ -adique de 1 fini ou périodique).
Le problème central : La caractérisation algébrique complète des nombres de Parry reste un problème ouvert. Bien que tous les nombres de Pisot soient des nombres de Parry (Schmidt), et que la conjecture de Schmidt suggère que tous les nombres de Salem le soient aussi, la relation exacte entre les nombres de Perron non-Pisot/non-Salem et la propriété de Parry est mal comprise.
Question de recherche : Comment se comporte la propriété « être un nombre de Parry » lorsqu'on élève un nombre de Perron à des puissances entières ? Un nombre de Perron non-Parry peut-il devenir Parry après élévation à une puissance ?

2. Méthodologie

Les auteurs combinent l'analyse dynamique, la théorie des nombres algébriques et des calculs numériques exhaustifs pour aborder ce problème.

Critères de non-Parry : Ils utilisent deux critères principaux pour exclure un nombre de la classe des nombres de Parry :
1. Critère de Solomyak : Si un nombre de Perron possède un conjugué de module supérieur à $\theta_0 = \frac{1+\sqrt{5}}{2}$ (le nombre d'or), il n'est pas un nombre de Parry.
2. Critère de Boyd : Basé sur les coefficients du polynôme compagnon de l'expansion $\beta$ -adique.
Analyse des puissances : L'étude se concentre sur l'ensemble des entiers $n$ tels que $\beta^n$ est un nombre de Parry. Les auteurs exploitent le fait que si $\beta$ est un nombre de Perron, alors $\beta^n$ l'est aussi (théorème de Lind).
Calculs numériques : Ils développent des algorithmes pour calculer les développements $\beta$ -adiques et vérifier les conditions de Parry pour des familles de polynômes spécifiques (cubiques, polynômes de la forme $x^d - x - 1$ , etc.).

3. Contributions Clés et Résultats

A. L'Ordre de Parry ( $Ord_P(\beta)$ )

Les auteurs introduisent une nouvelle notion fondamentale : l'ordre de Parry d'un nombre de Perron $\beta$ , noté $Ord_P(\beta)$ .

Définition : C'est le plus grand entier $n$ tel que $\beta^n$ soit un nombre de Parry.
Cas infini : Si $\beta^n$ est un nombre de Parry pour une infinité d'entiers $n$ , alors $Ord_P(\beta) = \infty$ .
Caractérisation des nombres de Pisot et Salem :
- Théorème 1.2 : Un nombre de Perron $\beta$ a une infinité de puissances de Parry si et seulement si $\beta$ est un nombre de Pisot ou un nombre de Salem.
- Conséquence : Pour tout autre nombre de Perron (ni Pisot, ni Salem), l'ensemble des puissances de Parry est fini.

B. Bornes Supérieures et Partition

Borne explicite : Pour un nombre de Perron $\beta$ (ni Pisot, ni Salem) de degré $d$ , les auteurs établissent une borne supérieure pour $Ord_P(\beta)$ en fonction de la mesure de Mahler $M(\beta)$ et du degré :
$Ord_P(\beta) \leq \frac{d \log(\theta_0)}{\log(M(\beta)) - \log(\beta)}$
Cela implique que si cette borne est inférieure à 1, $\beta$ n'est jamais un nombre de Parry.
Nouvelle partition de l'ensemble des nombres de Perron ( $\mathcal{P}$ ) :
L'ensemble $\mathcal{P}$ est partitionné en classes $H_n$ selon l'ordre de Parry :
$\mathcal{P} = \left( \bigcup_{n \geq 0} H_n \right) \cup H_\infty$
Où $H_\infty = S \cup T$ (Pisot et Salem) et $H_n$ contient les nombres de Perron dont l'ordre de Parry est exactement $n$ .

C. Exemples et Densité

Premiers exemples de transition : L'article fournit les premiers exemples connus de nombres de Perron non-Parry dont certaines puissances deviennent des nombres de Parry. Par exemple, pour certains $\beta$ , $\beta^2$ est Parry alors que $\beta$ et $\beta^k$ ( $k \geq 3$ ) ne le sont pas.
Famille cubique non-Pisot : Les auteurs construisent une famille infinie de nombres cubiques non-Pisot ayant un ordre de Parry fini mais arbitrairement grand. Ils montrent que pour des polynômes de la forme $x^3 - dx^2 - 2x + d$ , l'ordre de Parry peut être aussi grand que l'on souhaite en augmentant $d$ .
Densité : Ils discutent de la densité des ensembles $H_n$ . Ils conjecturent que $H_1$ est dense dans $(1, \infty)$ , ce qui suggère une richesse structurelle de ces classes.

D. Conjectures et Liens avec Lehmer

Version dynamique de la conjecture de Lehmer : En lien avec le plus petit nombre de Salem connu $\tau_{10} \approx 1.176$ , ils formulent la conjecture suivante : Si $\beta < \tau_{10}$ est un nombre de Perron, alors $\beta^n$ ne peut être un nombre de Parry que pour un nombre fini d'entiers $n$ .
Conjectures sur les polynômes spécifiques : Ils émettent des conjectures sur les racines des polynômes $x^d - x - 1$ (tous non-Parry pour $d \ge 4$ ) et $x^d - x^{d-1} - 1$ (Parry pour $d \ge 2$ , mais leurs puissances deviennent non-Parry pour $k \ge 2$ ).

4. Signification et Impact

Ce travail apporte une perspective dynamique nouvelle à l'étude des nombres de Perron :

Unification : Il relie la théorie des développements $\beta$ -adiques (dynamique) aux propriétés arithmétiques classiques (nombres de Pisot/Salem, conjecture de Lehmer).
Classification fine : La notion d'« ordre de Parry » permet de classer les nombres de Perron au-delà de la simple dichotomie Parry/non-Parry, révélant une structure hiérarchique complexe.
Nouveaux exemples : La découverte de nombres non-Parry dont les puissances sont Parry comble un vide dans la littérature et remet en question l'intuition selon laquelle la propriété de Parry serait préservée ou perdue de manière monotone.
Approche du problème de Lehmer : En reliant la taille des nombres de Salem à la finitude de leurs puissances de Parry, l'article offre une nouvelle voie potentielle pour aborder le problème de la mesure de Mahler minimale.

En résumé, cet article établit que la propriété de Parry pour les puissances d'un nombre de Perron est un invariant dynamique puissant qui distingue fondamentalement les nombres de Pisot/Salem des autres nombres de Perron, tout en révélant une richesse structurelle insoupçonnée dans les classes intermédiaires.