Parry order of Parry numbers

Aquí presento un resumen técnico detallado del artículo "The Parry Order of Perron Numbers" (El Orden de Parry de los Números de Perron) de Kevin G. Hare y Hachem Hichri.

1. Planteamiento del Problema

El artículo aborda la relación entre la teoría de números algebraicos (específicamente números de Perron, Pisot y Salem) y la teoría dinámica de las expansiones $\beta$ (introducidas por Rényi y Parry).

• Contexto: Los números de Perron son enteros algebraicos reales $\beta > 1$ que son estrictamente mayores en módulo que sus otros conjugados. Los números de Pisot y Salem son subconjuntos especiales de los números de Perron con propiedades dinámicas específicas (todos los Pisot son números de Parry; la relación con los Salem es un problema abierto, conocido como la conjetura de Schmidt).
• El Problema Central: Se sabe que la propiedad de ser un "número de Parry" (aquel cuyo desarrollo $\beta$-de 1 es finito o eventualmente periódico) no se preserva necesariamente bajo potencias. La pregunta clave es: ¿Bajo qué condiciones las potencias $\beta^n$ de un número de Perron $\beta$ son números de Parry?
• Objetivo: Definir y estudiar el "Orden de Parry" ($Ord_P(\beta)$), que es el mayor entero $n$ tal que $\beta^n$ es un número de Parry, y utilizar esta noción para clasificar la estructura dinámica de los números de Perron.

2. Metodología

Los autores emplean una combinación de teoría algebraica de números, análisis dinámico y verificación computacional:

1. Definición de Nuevos Invariantes: Introducen el Espectro de Parry ($Spec_P(\beta)$), el conjunto de enteros $n$ tales que $\beta^n$ es Parry, y el Orden de Parry ($Ord_P(\beta)$), definido como el máximo de dicho conjunto (o $\infty$ si el conjunto es infinito).
2. Criterios Existentes y Nuevos Acotamientos:
   • Utilizan el Criterio de Solomyak: Un número de Perron no es Parry si tiene un conjugado con módulo mayor que la razón áurea $\theta_0 = \frac{1+\sqrt{5}}{2}$.
   • Utilizan el Criterio de Boyd: Relaciona el coeficiente de cola del polinomio mínimo con la propiedad de ser Parry.
   • Derivan cotas superiores explícitas para $Ord_P(\beta)$ basadas en la medida de Mahler ($M(\beta)$) y el grado del número.
3. Análisis de Conjugados Galois: Demuestran que si $\beta$ no es Pisot ni Salem, tiene al menos un conjugado $\gamma$ con $|\gamma| > 1$. Al elevar $\beta$ a la potencia $n$, el conjugado $\gamma^n$ crece exponencialmente. Cuando $|\gamma^n| > \theta_0$, $\beta^n$ deja de ser Parry.
4. Estudios Computacionales y Ejemplos:
   • Analizan familias de polinomios cúbicos y de grado superior (como $x^d - x - 1$ y $x^d - x^{d-1} - 1$).
   • Generan ejemplos explícitos de números de Perron que no son Parry, pero cuyas potencias sí lo son (un fenómeno previamente no documentado con ejemplos explícitos).
   • Realizan búsquedas exhaustivas en familias de polinomios de bajo grado para mapear la distribución de los órdenes de Parry.

3. Contribuciones Clave y Resultados Principales

A. Caracterización Dinámica de Números de Pisot y Salem

El resultado más fundamental es la Proposición 1.2, que establece una equivalencia dinámica:

Un número de Perron $\beta$ tiene infinitas potencias que son números de Parry si y solo si $\beta$ es un número de Pisot o un número de Salem.

Para cualquier otro número de Perron (ni Pisot ni Salem), el conjunto de potencias Parry es finito.

B. Definición del Orden de Parry y Nueva Partición

Definen una nueva partición del conjunto de números de Perron $\mathcal{P}$:
$$\mathcal{P} = \left( \bigcup_{n \ge 0} H_n \right) \cup H_\infty$$
Donde:

• $H_\infty = S \cup T$ (Números de Pisot y Salem).
• $H_n$ es la clase de números de Perron con Orden de Parry exactamente $n$.
• $H_0$ contiene a los números de Perron cuyas potencias nunca son Parry.

C. Cotas Superiores Explícitas

El Teorema 2.2 proporciona una cota superior para el orden de Parry de un número que no es Pisot ni Salem:
$$Ord_P(\beta) \le \frac{d \log(\theta_0)}{\log(M(\beta)) - \log(\beta)}$$
Donde $d$ es el grado y $M(\beta)$ la medida de Mahler. Esto demuestra que cuanto más "grande" es la medida de Mahler en relación con el número, más rápido se pierde la propiedad de Parry al elevarlo a potencias.

D. Ejemplos y Estructura de los Conjuntos $H_n$

• Existencia de $H_n$ no vacíos: Presentan la primera familia conocida de números de Perron no Parry que tienen potencias Parry. Por ejemplo, para ciertos polinomios, $\beta \notin \mathcal{P}$ (no es Parry), pero $\beta^2 \in \mathcal{P}$.
• Familias Cúbicas: Analizan números cúbicos totalmente reales. Demuestran que si un número cúbico no es Pisot, su orden de Parry es 0 o impar.
• Orden No Acotado: Construyen una familia infinita de números cúbicos no Pisot donde el orden de Parry puede hacerse arbitrariamente grande (Teorema 3.13), demostrando que los conjuntos $H_n$ son estructuralmente ricos.

E. Conjeturas y Conexiones

• Versión Dinámica de la Conjetura de Lehmer: Proponen que si $\beta < \tau_{10}$ (el número de Salem más pequeño conocido) es un número de Perron, entonces solo tiene un número finito de potencias Parry.
• Densidad: Discuten la densidad de los conjuntos $H_n$ en $(1, \infty)$, sugiriendo que $H_1$ podría ser denso.

4. Significado e Impacto

Este trabajo establece un puente fundamental entre la teoría de números algebraica y la teoría ergódica/dinámica:

1. Nueva Perspectiva sobre Problemas Abiertos: Ofrece un enfoque dinámico para problemas clásicos como la Conjetura de Schmidt (sobre si todos los Salem son Parry) y el Problema de Lehmer (sobre la medida de Mahler mínima). La propiedad de tener un orden de Parry infinito se convierte en una caracterización dinámica de los números de Pisot y Salem.
2. Clasificación Fina: La introducción del "Orden de Parry" permite una clasificación mucho más granular de los números de Perron que la distinción binaria simple de "Parry vs. No Parry". Revela una jerarquía dinámica donde los números "casi" Parry (con órdenes altos) juegan un papel crucial.
3. Herramientas Computacionales: Proporciona algoritmos y criterios (como el uso de la acción de Galois sobre la transformación $\beta$) para determinar computacionalmente si una potencia específica es Parry, algo que antes era difícil de verificar para casos generales.
4. Implicaciones para la Conjetura de Lehmer: Al vincular el orden de Parry con la medida de Mahler, sugiere que los números con órdenes de Parry infinitos (Pisot/Salem) son extremadamente "raros" o estructurados en comparación con el resto de los números de Perron, lo cual es consistente con la dificultad de encontrar números de Salem pequeños.

En resumen, el artículo redefine la comprensión de la dinámica de las potencias de los números algebraicos, demostrando que la propiedad de ser un número de Parry es transitoria para casi todos los números de Perron, excepto para las clases especiales de Pisot y Salem, y cuantifica exactamente cuánto tiempo dura esta propiedad antes de extinguirse.