Parry order of Parry numbers

Titolo: L'Ordine di Parry dei Numeri di Perron

1. Il Problema e il Contesto

Lo studio si inserisce nell'intersezione tra teoria dei numeri, approssimazione diofantea e teoria ergodica, focalizzandosi sulle proprietà aritmetiche e dinamiche dei numeri algebrici reali maggiori di 1.
I numeri chiave in questo ambito sono:

• Numeri di Perron ($P$): Interi algebrici reali $\beta > 1$ il cui modulo è strettamente maggiore di quello di tutti i suoi coniugati di Galois.
• Numeri di Pisot ($S$): Interi algebrici reali $\theta > 1$ i cui coniugati giacciono strettamente all'interno del disco unitario aperto ($|z| < 1$).
• Numeri di Salem ($T$): Interi algebrici reali $\tau > 1$ i cui coniugati giacciono nel disco unitario chiuso, con almeno uno sulla frontiera ($|z|=1$).

Il problema centrale riguarda la classificazione dei numeri di Perron in base alla loro natura di Numeri di Parry. Un numero $\beta > 1$ è un numero di Parry se l'orbita di 1 sotto la trasformazione $\beta$ ($T_\beta(x) = \beta x \mod 1$) è finita (ovvero, l'espansione $\beta$-greedy di 1 è finita o periodicamente finita).
Mentre è noto che tutti i numeri di Pisot sono numeri di Parry, la caratterizzazione algebrica completa dei numeri di Parry rimane un problema aperto. La congettura di Schmidt suggerisce che anche i numeri di Salem siano tutti Parry, mentre Boyd ha ipotizzato l'esistenza di numeri di Salem di grado superiore che non lo sono.

L'obiettivo del lavoro è analizzare il comportamento dinamico delle potenze di un numero di Perron: quando una potenza $\beta^n$ diventa un numero di Parry e quando cessa di esserlo?

2. Metodologia

Gli autori combinano strumenti teorici e computazionali:

• Criteri di Non-Parry: Utilizzano il criterio di Solomyak (se un coniugato ha modulo $> \theta_0 = \frac{1+\sqrt{5}}{2}$, il numero non è Parry) e il criterio di Boyd (basato sui coefficienti del polinomio compagno).
• Analisi delle Potenze: Sfruttano il fatto che le potenze di un numero di Perron rimangono numeri di Perron dello stesso grado. Analizzano come la distribuzione dei coniugati di Galois cambi con l'elevamento a potenza.
• Definizione di Ordine di Parry: Introducono una nuova metrica, l'Ordine di Parry ($\text{Ord}_P(\beta)$), definita come il massimo intero $n$ tale che $\beta^n$ sia un numero di Parry.
• Calcolo Computazionale: Implementano algoritmi per calcolare le espansioni $\beta$-greedy e verificare i criteri di non-Parry per famiglie specifiche di polinomi (es. $x^d - x - 1$, $x^d - x^{d-1} - 1$ e polinomi cubici).

3. Contributi Chiave e Risultati Principali

A. Caratterizzazione Dinamica dei Numeri di Pisot e Salem
Il risultato teorico fondamentale è la Proposizione 1.2:

Un numero di Perron $\beta$ ha infinite potenze $\beta^n$ che sono numeri di Parry se e solo se $\beta$ è un numero di Pisot o un numero di Salem.

Per tutti gli altri numeri di Perron (quelli che non sono né Pisot né Salem), l'insieme delle potenze che sono numeri di Parry è finito. Questo stabilisce una connessione diretta tra una proprietà dinamica (la finitudine delle potenze Parry) e la natura algebrica dei coniugati.

B. Stima Superiore per l'Ordine di Parry
Per i numeri di Perron non-Pisot/non-Salem, gli autori forniscono un limite superiore esplicito per $\text{Ord}_P(\beta)$ in termini della misura di Mahler $M(\beta)$ e del grado $d$:
$$\text{Ord}_P(\beta) \leq \frac{d \log(\theta_0)}{\log(M(\beta)) - \log(\beta)}$$
Dove $\theta_0$ è il rapporto aureo. Questo limite garantisce che, oltre una certa potenza, il numero cessa di essere Parry a causa della crescita del modulo dei suoi coniugati.

C. Nuova Partizione dell'Insieme dei Numeri di Perron
Il lavoro introduce una partizione naturale dell'insieme $P$ basata sull'ordine di Parry:
$$P = \left( \bigcup_{n \geq 0} H_n \right) \cup H_\infty$$
Dove:

• $H_n = \{ \beta \in P \mid \text{Ord}_P(\beta) = n \}$ (numeri di Perron con ordine di Parry finito $n$).
• $H_\infty = S \cup T$ (numeri di Pisot e Salem, con ordine infinito).

Questa partizione offre una prospettiva dinamica sulla distribuzione dei numeri di Parry e non-Parry.

D. Esempi Espliciti e Famiglie Infinite

• Primi Esempi di Potenze Parry: Gli autori forniscono i primi esempi conosciuti di numeri di Perron non-Parry ($\beta \in P_a$) le cui potenze diventano Parry (es. $\beta \notin P$ ma $\beta^2 \in P$). Questo dimostra che gli insiemi $H_n \cap P_a$ sono non vuoti per $n \geq 2$.
• Famiglia Cubica: Analizzano i numeri cubici reali. Dimostrano che esistono famiglie di numeri cubici non-Pisot con ordine di Parry arbitrariamente grande. In particolare, per certi polinomi $x^3 - dx^2 - 2x + d$, l'ordine di Parry cresce con $d$.
• Congetture Verificate: Forniscono supporto computazionale (fino a grado 100) per le congetture riguardanti le radici di $x^d - x - 1$ (tutte non-Parry per $d \geq 4$) e $x^d - x^{d-1} - 1$ (Parry per $d \geq 6$, ma le loro potenze superiori diventano non-Parry).

D. Congettura Dinamica di Lehmer
Basandosi sui risultati, gli autori propongono una versione dinamica della forte congettura di Lehmer:

Se $\beta < \tau_{10}$ (il più piccolo numero di Salem noto, $\approx 1.176$) è un numero di Perron, allora $\beta^n$ può essere un numero di Parry solo per un numero finito di interi $n$.

4. Significato e Implicazioni

Questo lavoro stabilisce un nuovo quadro dinamico per lo studio dei numeri di Perron:

1. Collegamento Teoria Algebrica-Dinamica: Collega la struttura delle espansioni $\beta$ (teoria di Parry) con la geometria aritmetica dei coniugati di Galois.
2. Risoluzione di Questioni Aperte: Risponde alla domanda su quanto a lungo le potenze di un numero di Perron possano mantenere la proprietà di Parry, fornendo limiti quantitativi precisi.
3. Nuova Prospettiva sulla Congettura di Lehmer: Trasforma il problema della misura di Mahler minima in un problema di dinamica delle potenze, suggerendo che la ricerca del più piccolo numero di Salem è legata alla ricerca di numeri di Perron con ordine di Parry infinito.
4. Struttura degli Insiemi: Dimostra che la classe dei numeri di Perron non è omogenea rispetto alla proprietà di Parry, ma possiede una struttura stratificata ricca (gli insiemi $H_n$) che è densa in intervalli specifici, offrendo nuovi spunti per la ricerca sulla densità dei numeri di Salem e Pisot.

In sintesi, il paper definisce un invariante dinamico (l'ordine di Parry) che classifica i numeri di Perron, dimostrando che la proprietà di essere un numero di Parry è transitoria per la maggior parte di essi, eccetto per le classi speciali di Pisot e Salem.