Parry order of Parry numbers

Resumo Técnico: A Ordem de Parry de Números de Perron

1. Problema e Contexto

O artigo investiga a natureza aritmética e dinâmica dos números de Perron (inteiros algébricos reais $\beta > 1$ estritamente maiores em módulo do que seus outros conjugados) através da teoria das expansões $\beta$. O foco central é entender o comportamento das potências de um número de Perron sob a propriedade de ser um número de Parry.

• Números de Parry: Um número $\beta > 1$ é um número de Parry se a expansão $\beta$-greedy do número 1 é finita ou eventualmente periódica.
• A Questão Central: Dado um número de Perron $\beta$, quantas das suas potências $\beta^n$ (para $n \in \mathbb{N}$) são números de Parry?
• Conjecturas Relacionadas: O trabalho conecta-se a problemas clássicos como a conjectura de Schmidt (sobre números de Salem serem Parry), a conjectura de Lehmer e a densidade de números de Parry e não-Parry.

2. Metodologia

Os autores combinam ferramentas de teoria dos números algébricos, teoria ergódica e análise computacional:

• Critérios de Não-Parry: Utilizam critérios estabelecidos por Solomyak (baseado no módulo dos conjugados) e Boyd (baseado no polinômio companheiro e coeficientes da expansão) para identificar quando uma potência $\beta^n$ não pode ser um número de Parry.
• Definição de Ordem de Parry ($Ord_P(\beta)$): Introduzem um novo invariante para classificar números de Perron que não são Pisot ou Salem. Define-se $Ord_P(\beta)$ como o maior inteiro $n$ tal que $\beta^n$ é um número de Parry. Se todas as potências forem Parry, a ordem é infinita.
• Análise Espectral: Definem o "Espectro de Parry" ($Spec_P(\beta)$) como o conjunto de inteiros $n$ para os quais $\beta^n$ é Parry.
• Estudos Computacionais e Exemplos Concretos: Realizam buscas exaustivas em famílias de polinômios (especialmente cúbicos e polinômios do tipo $x^d - x - 1$) para calcular ordens de Parry, verificar conjecturas e encontrar exemplos de números não-Parry cujas potências se tornam Parry.

3. Principais Contribuições e Resultados

A. Caracterização Dinâmica de Números de Pisot e Salem
O resultado mais fundamental (Proposição 1.2) estabelece uma equivalência rigorosa:

Um número de Perron $\beta$ tem infinitas potências que são números de Parry se e somente se $\beta$ é um número de Pisot ou um número de Salem.

Para qualquer outro número de Perron (não-Pisot e não-Salem), o conjunto de potências Parry é finito.

B. Limites Superiores para a Ordem de Parry
Para números de Perron que não são Pisot ou Salem, os autores derivam limites explícitos para $Ord_P(\beta)$ baseados na medida de Mahler ($M(\beta)$) e no grau ($d$) do número:
$$Ord_P(\beta) \leq \frac{d \log(\theta_0)}{\log(M(\beta)) - \log(\beta)}$$
onde $\theta_0 = \frac{1+\sqrt{5}}{2}$ é a razão áurea. Isso implica que, se a medida de Mahler for suficientemente próxima do próprio $\beta$, a ordem de Parry é zero (nenhuma potência é Parry).

C. Nova Partição do Conjunto de Números de Perron
O artigo propõe uma nova partição do conjunto $\mathcal{P}$ de números de Perron baseada na ordem de Parry:
$$\mathcal{P} = \left( \bigcup_{n \geq 0} H_n \right) \cup H_\infty$$
Onde:

• $H_n$: Classe de números de Perron com ordem de Parry finita $n$.
• $H_\infty = \mathcal{S} \cup \mathcal{T}$: A união de todos os números de Pisot e Salem (ordem infinita).
• $H_0$: Números de Perron onde nenhuma potência é Parry.

Os autores demonstram que $H_1$ é um subconjunto estrito de $\mathcal{P}$ e discutem a densidade dessas classes.

D. Exemplos e Famílias Concretas

• Primeiros Exemplos de "Transição": O artigo fornece os primeiros exemplos conhecidos de números de Perron que não são Parry, mas cujas potências (especificamente $\beta^2$) são Parry. Isso demonstra que as classes $H_n$ para $n \geq 2$ não são vazias.
• Família Cúbica Não-Pisot: Os autores constroem uma família infinita de números cúbicos não-Pisot (raízes de $x^3 - dx^2 - 2x + d$) que possuem ordem de Parry finita, mas onde a ordem pode ser arbitrariamente grande à medida que o parâmetro $d$ aumenta.
• Polinômios Específicos: Analisam as raízes de $x^d - x - 1$ e $x^d - x^{d-1} - 1$, propondo conjecturas sobre quando suas potências deixam de ser Parry.

E. Conjectura Dinâmica de Lehmer
Com base nos resultados, os autores propõem uma versão dinâmica da forte conjectura de Lehmer:

Se $\beta < \tau_{10}$ (o menor número de Salem conhecido, $\approx 1.176$) é um número de Perron, então $\beta^n$ pode ser um número de Parry apenas para um número finito de inteiros $n$.

4. Significância e Impacto

• Ponte entre Dinâmica e Álgebra: O trabalho conecta a estrutura combinatória das expansões $\beta$ (dinâmica) com propriedades aritméticas profundas dos inteiros algébricos (geometria aritmética).
• Classificação Refinada: A introdução da "Ordem de Parry" oferece uma ferramenta de classificação mais granular para números de Perron, indo além da simples distinção entre Parry e não-Parry.
• Desafio à Conjectura de Schmidt: Ao sugerir que existem números de Salem de grau alto que podem não ser Parry (baseado no modelo de Boyd), o artigo coloca em xeque a generalidade da conjectura de Schmidt, incentivando novas investigações computacionais.
• Problema Aberto: O artigo destaca a dificuldade de determinar a ordem exata de Parry para um número arbitrário, devido à falta de limites conhecidos para o comprimento da expansão periódica, mas fornece métodos práticos para casos específicos.

Em suma, o artigo estabelece uma nova perspectiva dinâmica sobre os números de Perron, demonstrando que a propriedade de ser um número de Parry é transitória para a maioria dos números de Perron, exceto para a classe especial dos números de Pisot e Salem, e fornece ferramentas quantitativas para medir essa transitoriedade.