🔢 mathematics

Parry order of Parry numbers

Dit artikel introduceert de Parry-orde voor Perron-getallen, bewijst dat een Perron-getal oneindig veel Parry-poten heeft dan en slechts dan als het een Pisot- of Salem-getal is, en biedt een nieuwe dynamische perspectief op deze getallen door de theorie van $\beta$ -ontwikkelingen te verbinden met klassieke vraagstukken rondom Salem-getallen en Lehmer-achtige conjecturen.

Oorspronkelijke auteurs: Kevin G Hare, Hachem Hichri

Gepubliceerd 2026-03-23

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Kevin G Hare, Hachem Hichri

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

🌟 De Dans van de Getallen: Een Reis door de Wiskundige Wereld

Stel je voor dat wiskundige getallen niet statisch zijn, maar levende wezens die een dans uitvoeren. In dit artikel kijken twee onderzoekers, Kevin en Hachem, naar een speciale groep getallen die ze Perron-getallen noemen. Ze vragen zich af: Hoe gedragen deze getallen zich als we ze steeds in zichzelf vermenigvuldigen (krijgen we dan $x^2, x^3, x^4$ , enzovoort)?

Om dit te begrijpen, moeten we eerst een paar karakters leren kennen in deze wiskundige wereld.

1. De Drie Hoofdpersoonnen

In de wereld van deze getallen zijn er drie belangrijke types:

De Perron-getallen (De Algemeenheden): Dit zijn de hoofdrolspelers. Ze zijn groter dan 1 en hebben een "sterke" kracht die groter is dan al hun buren (hun wiskundige "koppels" of geconjugeerden).
De Pisot-getallen (De Perfecte Dansers): Dit zijn de sterren. Als je ze vermenigvuldigt met zichzelf, blijven ze perfect in de dans. Ze gedragen zich altijd netjes en voorspelbaar.
De Salem-getallen (De Moeilijke Dansers): Dit zijn de mysterieuze figuren. Ze staan precies op de rand van de chaos. Soms dansen ze perfect, soms niet.

2. De "Parry"-Regel: De Danspas

De onderzoekers gebruiken een speciale test, de Parry-regel, om te zien of een getal een "goede danser" is.

Als een getal deze test haalt, noemen we het een Parry-getal.
Als het de test faalt, is het een niet-Parry-getal.

De grote vraag is: Wat gebeurt er als we een getal steeds in zichzelf vermenigvuldigen?

3. De Ontdekking: De "Parry-Orde"

De onderzoekers ontdekten iets fascinerends. Ze introduceerden een nieuw concept: de Parry-Orde.

Stel je voor dat je een getal hebt dat niet goed danst (geen Parry-getal is). Maar als je het twee keer in zichzelf vermenigvuldigt ( $x^2$ ), dan begint het plotseling perfect te dansen! En als je het drie keer doet ( $x^3$ ), dan stopt het weer met goed dansen.

De Parry-Orde is gewoon het hoogste getal waarbij een getal nog wel goed kan dansen.

Als een getal nooit goed danst, is de orde 0.
Als een getal altijd goed danst (zoals de Pisot-getallen), is de orde oneindig ( $\infty$ ).
Als een getal soms goed danst, maar na een bepaalde macht stopt, hebben we een eindige orde (bijvoorbeeld 5).

4. De Grote Regel (Het Nieuwe Inzicht)

Het belangrijkste resultaat van dit artikel is een simpele regel die de chaos ordent:

Alleen de Pisot-getallen en de Salem-getallen kunnen oneindig lang goed dansen.

Als een getal geen Pisot- of Salem-getal is, dan is er een punt waarop het dansen stopt. Hoe groter de macht ( $x^n$ ), hoe groter de kans dat het getal de Parry-regel breekt.

Voorbeeld: Stel je hebt een getal dat "moeilijk" is. Je kunt het misschien 10 keer in zichzelf vermenigvuldigen en het blijft een Parry-getal. Maar zodra je het 11 keer doet, is het plotseling "gebroken" en kan het nooit meer een Parry-getal worden.

5. De "Orde" als een Lijst

De onderzoekers hebben de hele wereld van Perron-getallen opgedeeld in groepen, gebaseerd op hun Parry-Orde:

Groep H0: Getallen die nooit goed dansen.
Groep H1: Getallen die alleen bij $x^1$ goed dansen, maar bij $x^2$ falen.
Groep H5: Getallen die tot $x^5$ goed dansen, maar daarna falen.
Groep H∞: De Pisot- en Salem-getallen (de eeuwige dansers).

Ze hebben bewezen dat deze groepen bestaan en dat ze vol zitten met interessante getallen. Ze hebben zelfs voorbeelden gevonden van getallen die geen Parry-getal zijn, maar waarvan de kwadraat ( $x^2$ ) wel een Parry-getal is. Dit was een verrassing!

6. Waarom is dit belangrijk?

Dit klinkt misschien als droge wiskunde, maar het helpt ons om diepe mysteries op te lossen.

Het verbindt wiskundige formules (hoe getallen eruitzien) met dynamica (hoe ze zich gedragen als je ze vermenigvuldigt).
Het helpt bij het zoeken naar de kleinste Salem-getallen, een probleem dat al decennia wiskundigen uitdaagt (bekend als het probleem van Lehmer).
Het geeft ons een "kaart" van de getallenwereld. We weten nu precies welke getallen "veilig" zijn en welke "gevaarlijk" worden als je ze te vaak in zichzelf vermenigvuldigt.

Samenvatting in één zin

Dit artikel laat zien dat de meeste "moeilijke" getallen uiteindelijk hun dansstijl verliezen als je ze te vaak vermenigvuldigt, en dat alleen de allerbeste dansers (Pisot en Salem) voor altijd in de dans kunnen blijven.

Het is alsof je een groep mensen hebt die dansen: de meesten struikelen na een paar minuten, maar een heel speciale groep blijft eeuwig in de pas lopen. De onderzoekers hebben nu precies uitgelegd wie tot die speciale groep hoort en waarom de anderen stoppen.

Titel: De Parry-orde van Perron-getallen

Auteurs: Kevin G. Hare en Hachem Hichri

1. Probleemstelling en Context

Het artikel onderzoekt de interactie tussen de algebraïsche eigenschappen van algebraïsche gehele getallen en hun dynamische gedrag binnen de theorie van $\beta$ -expansies. De focus ligt op Perron-getallen (reële algebraïsche gehele getallen $\beta > 1$ die strikt groter zijn in modulus dan hun andere geconjugeerden).

De centrale vraag is hoe het eigendom "Parry-getal" zich gedraagt onder machtsverheffing. Een getal $\beta$ is een Parry-getal als de $\beta$ -expansie van 1 (de rij van cijfers gegenereerd door de $\beta$ -transformatie $T_\beta(x) = \beta x \mod 1$ ) eindig of uiteindelijk periodiek is.

Bekende feiten: Alle Pisot-getallen en alle Salem-getallen (van graad 4) zijn Parry-getallen. Het is een open probleem of alle Salem-getallen Parry-getallen zijn (de conjectuur van Schmidt).
Het probleem: Wat gebeurt er met de Parry-eigenschap als we een Perron-getal dat geen Pisot- of Salem-getal is, tot een macht verheffen? Worden de machten dan Parry-getallen, en zo ja, hoe vaak?

2. Methodologie

De auteurs combineren technieken uit de getaltheorie, de theorie van $\beta$ -expansies en de dynamische systemen:

Definitie van Parry-orde: Ze introduceren de Parry-orde, genoteerd als $\text{Ord}_P(\beta)$ $Ord_{P} (β)$ , gedefinieerd als het grootste gehele getal $n$ $n$ waarvoor $\beta^n$ $β^{n}$ een Parry-getal is.
- Als $\beta^n$ voor oneindig veel $n$ een Parry-getal is, wordt de orde $\infty$ gesteld.
- Als $\beta^n$ nooit een Parry-getal is, is de orde 0.
Criteriën voor niet-Parry-getallen: Ze maken gebruik van bestaande criteria om te bepalen wanneer een getal geen Parry-getal is:
- Solomyak's criterium: Als een Perron-getal een geconjugeerde heeft met modulus $> \theta_0 = \frac{1+\sqrt{5}}{2}$ (de gulden snede), is het geen Parry-getal.
- Boyd's criterium: Gebaseerd op de coëfficiënten van de companion-polynoom van de expansie.
- Akiyama's test: Een test die gebruikmaakt van Galois-acties op de orbit van 1 om te bewijzen dat een getal niet Parry is.
Analyse van Mahler-maat: Ze gebruiken de Mahler-maat $M(\beta)$ en de graad $d$ van het getal om bovengrenzen af te leiden voor de Parry-orde.
Numerieke experimenten: Ze berekenen de Parry-spectra (de verzameling van machten die Parry zijn) voor specifieke families van polynomen, waaronder kubische polynomen en polynomen van de vorm $x^d - x - 1$ en $x^d - x^{d-1} - 1$ .

3. Belangrijkste Bijdragen en Resultaten

A. Karakterisering van oneindige Parry-orde

Het artikel bewijst een fundamenteel resultaat (Propositie 1.2):

Een Perron-getal $\beta$ heeft oneindig veel machten die Parry-getallen zijn dan en slechts dan als $\beta$ een Pisot-getal of een Salem-getal is.

Voor alle andere Perron-getallen (die noch Pisot noch Salem zijn) is de set van machten die Parry-getallen zijn, eindig. Dit betekent dat er een bovengrens bestaat voor de Parry-orde.

B. De Parry-orde en de nieuwe partitie

De auteurs definiëren de Parry-orde $\text{Ord}_P(\beta)$ en introduceren een nieuwe partitie van de verzameling van Perron-getallen $\mathcal{P}$ :
$\mathcal{P} = \left( \bigcup_{n \ge 0} H_n \right) \cup H_\infty$
Waarbij:

$H_n$ : De klasse van Perron-getallen met Parry-orde $n$ .
$H_\infty = S \cup T$ : De verzameling van alle Pisot- en Salem-getallen.
$H_0$ : De verzameling van Perron-getallen waarvan geen enkele macht (behalve misschien de 0-de macht, maar hier bedoeld als geen enkele positieve macht) een Parry-getal is.

Dit biedt een dynamisch perspectief op de verdeling van deze getallen.

C. Bovengrenzen voor de Parry-orde

Voor Perron-getallen die niet Pisot of Salem zijn, geven de auteurs een expliciete bovengrens voor $\text{Ord}_P(\beta)$ in termen van de graad $d$ en de Mahler-maat $M(\beta)$ :
$\text{Ord}_P(\beta) \le \frac{d \log(\theta_0)}{\log(M(\beta)) - \log(\beta)}$
Hieruit volgt dat als de Mahler-maat groot genoeg is ten opzichte van $\beta$ , de Parry-orde snel naar 0 gaat. Ze geven ook een scherpere schatting $K(\beta)$ gebaseerd op de grootste geconjugeerde met modulus $>1$ .

D. Constructie van voorbeelden en families

Eerste voorbeelden: De auteurs leveren de eerste bekende voorbeelden van Perron-getallen die zelf geen Parry-getallen zijn, maar waarvan bepaalde machten (bijv. $\beta^2$ ) wel Parry-getallen zijn.
Kubische niet-Pisot getallen: Ze analyseren kubische polynomen en tonen aan dat er een oneindige familie bestaat van niet-Pisot getallen met een onbegrensde Parry-orde. Dat wil zeggen, voor elke $N$ bestaat er een Perron-getal met $\text{Ord}_P(\beta) > N$ .
Specifieke polynomen: Ze bestuderen de wortels van $x^d - x - 1$ en $x^d - x^{d-1} - 1$ . Ze concluderen dat voor $d \ge 4$ de wortels van de eerste familie waarschijnlijk nooit Parry zijn (conjectuur), terwijl de tweede familie Parry-getallen zijn waarvan de machten (voor $k \ge 2$ ) waarschijnlijk niet Parry zijn.

E. Dichtheidsresultaten

Ze tonen aan dat de verzameling $H_0$ (niet-Parry getallen zonder Parry-machten) dicht ligt in $(1, \infty)$ . Ze conjectureren ook dat $H_1$ (getallen waarvan alleen de eerste macht Parry is) ook dicht ligt.

4. Significatie en Implicaties

Dynamisch perspectief op Lehmer's probleem: De resultaten bieden een nieuw dynamisch kader voor het beroemde probleem van Lehmer (over de Mahler-maat van niet-cyclotomische polynomen). Ze formuleren een "dynamische versie" van de sterke conjectuur van Lehmer: Als $\beta < \tau_{10}$ (de kleinste bekende Salem-getal) een Perron-getal is, dan kan $\beta^n$ slechts voor eindig veel $n$ een Parry-getal zijn.
Verband tussen algebra en dynamica: Het werk verbindt de locatie van Galois-geconjugeerden (algebraïsche eigenschap) direct met het gedrag van $\beta$ -expansies (dynamische eigenschap). Het toont aan dat hoe verder de geconjugeerden van de eenheidscirkel afwijken, hoe sneller de Parry-eigenschap verloren gaat bij machtsverheffing.
Structuur van de verzameling Parry-getallen: Door de verzameling Perron-getallen te partitioneren op basis van hun Parry-orde, krijgen onderzoekers een fijner instrument om de structuur van deze getallen te analyseren, wat relevant is voor de conjecturen van Schmidt en Boyd over de aard van Salem-getallen.

Conclusie

Het artikel vestigt dat de eigenschap "Parry-getal" voor niet-Pisot/Salem-getallen een tijdelijk fenomeen is bij machtsverheffing: na een zekere macht (bepaald door de Mahler-maat en de geconjugeerden) zullen alle hogere machten niet-Parry zijn. Dit biedt een nieuwe, kwantitatieve manier om de "dynamische dispersie" van Perron-getallen te begrijpen en plaatst klassieke problemen in de getaltheorie in een nieuw licht.