Transcendence of $p$-adic continued fractions and a quantitative $p$-adic Roth theorem

Este artículo mejora los resultados de trascendencia para las fracciones continuas $p$-ádicas demostrando que las palindrómicas y cuasiperiódicas convergen a números trascendentes o irracionales cuadráticos sin restricciones en la norma $p$-ádica, y establece una versión cuantitativa del teorema de Ridout junto con un análisis del crecimiento de los denominadores de las convergentes de números algebraicos.

Lo esencial

¡Claro que sí! Imagina que este artículo es como un manual de instrucciones para detectar "extraterrestres" en el mundo de los números, pero en lugar de buscar alienígenas en el espacio, los matemáticos buscan números "transcendentes" en un universo matemático muy peculiar llamado números $p$-adicos.

Aquí tienes la explicación, traducida a un lenguaje sencillo y con analogías divertidas:

1. El Escenario: Un Mundo de Números Distinto

Imagina que los números reales (los que usamos en la vida diaria: 1, 2, 3.14...) son como una carretera infinita y recta. Pero los números $p$-adicos son como un árbol gigante o una red de metro muy compleja. En este mundo, la distancia no se mide como en una regla, sino por qué tan "divisible" es un número por un número primo (como el 2, 3, 5...).

En este árbol, los matemáticos usan una herramienta llamada Fracciones Continuas. Piensa en una fracción continua como una torta de capas infinitas.

• La primera capa es un número entero.
• La segunda es "1 dividido entre un número más".
• La tercera es "1 dividido entre otro número más", y así sucesivamente.

Si cortas la torta en un punto, tienes una aproximación (un "convergente"). Si la cortas infinitamente, obtienes el número real.

2. El Problema: ¿Es este número un "Extraterrestre"?

En matemáticas, hay dos tipos de números principales:

1. Números "Algebraicos" (Los Locales): Son números que obedecen reglas simples, como raíces cuadradas o soluciones de ecuaciones básicas. Son predecibles.
2. Números "Transcendentes" (Los Extraterrestres): Son números que no obedecen ninguna regla algebraica simple. El más famoso es $\pi$ o $e$. Son caóticos, infinitamente complejos y no pueden generarse con fórmulas simples.

El objetivo del artículo: Los autores (Anne Kalitzin y Nadir Murru) quieren saber: "Si veo una fracción continua con un patrón específico, ¿puedo asegurar que el número resultante es un 'Extraterrestre' (transcendente) y no un 'Local' (algebraico)?"

3. Las Dos Grandes Descubrimientos (Los "Detectives")

A. El Detective de los Palíndromos (Teorema A)

Imagina que estás leyendo la secuencia de capas de tu torta infinita. De repente, notas que las capas forman un palíndromo (una palabra que se lee igual al revés, como "reconocer" o "radar").

• Si ves palíndromos que se vuelven cada vez más largos (como "ana", luego "reconocer", luego "sometemos", etc.), el artículo dice: "¡Alerta! Este número es casi seguro un Extraterrestre (transcendente) o un Local muy especial (irracional cuadrático)."

La gran mejora: Antes, para hacer esta afirmación, los matemáticos tenían que poner muchas reglas estrictas sobre el tamaño de los números en las capas (como si exigieran que las capas no fueran ni muy grandes ni muy pequeñas).

• La novedad de este papel: ¡Se han quitado esas reglas! Ahora, incluso si las capas son de tamaños locos y desordenados, mientras haya palíndromos largos, el número es especial. Han eliminado las restricciones de tamaño, haciendo el detective mucho más potente.

B. El Detective del Patrón Cuasi-Periódico (Teorema B)

Ahora imagina un patrón que no es un palíndromo perfecto, sino una repetición con variaciones. Como una canción que tiene un estribillo que se repite, pero cada vez el estribillo es un poco más largo o tiene un pequeño cambio.

• El artículo prueba que si estas repeticiones crecen lo suficientemente rápido (como un estribillo que se alarga exponencialmente), el número resultante también es un "Extraterrestre".

4. La Herramienta Secreta: El "Contador de Soluciones" (Teorema de Roth Cuantitativo)

Para probar todo esto, los autores tuvieron que construir una nueva herramienta matemática.
Imagina que tienes un número algebraico (un "Local"). La teoría dice que este número no puede ser aproximado demasiado bien por fracciones simples. Es como si el número tuviera un campo de fuerza que repele a las fracciones simples si se acercan demasiado.

• El problema anterior: Sabíamos que el campo de fuerza existía, pero no sabíamos exactamente cuántas fracciones podían acercarse antes de que el campo las expulsara.
• La solución de este artículo: Han creado un contador preciso. Han demostrado exactamente cuántas "intrusas" (fracciones que se acercan demasiado) pueden existir antes de que se acabe el tiempo.
  • Analogía: Es como decir: "En esta fiesta, solo pueden entrar 5 personas con máscaras antes de que la policía las eche". Antes solo decíamos "no entran muchas", ahora dicen "exactamente menos de $X$".

Esta herramienta les permite decir: "Si tu fracción continua tiene un patrón tan complejo, viola las reglas de este contador, por lo tanto, ¡no puede ser un número algebraico!"

5. El Crecimiento de los Números (Teorema 12)

Finalmente, miran cómo crecen los denominadores de las capas de la torta.

• Si el número fuera un "Local" (algebraico), sus denominadores no pueden crecer demasiado rápido de una manera específica.
• El artículo establece un límite de velocidad para este crecimiento. Si los denominadores crecen más rápido de lo permitido por este límite, ¡el número es un Extraterrestre!

En Resumen

Este artículo es como una actualización del software de un radar de seguridad:

1. Elimina falsas alarmas: Ya no necesita que los números sean "bonitos" o de tamaño controlado para funcionar.
2. Mejora la detección: Puede identificar números "transcendentes" (los más misteriosos) simplemente viendo si tienen patrones de espejo (palíndromos) o repeticiones que crecen rápido.
3. Crea nuevas reglas: Establece un límite exacto de cuántas aproximaciones pueden existir, lo que ayuda a distinguir entre números comunes y números extraordinarios en el extraño mundo de los números $p$-adicos.

Es un trabajo que hace que la matemática sea más flexible y potente para descubrir la naturaleza oculta de los números.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Transcendencia de fracciones continuas $p$-ádicas y un teorema de Roth $p$-ádico cuantitativo", escrito por Anne Kalitzin y Nadir Murru.

1. Planteamiento del Problema

El artículo aborda la cuestión de la transcendencia de números en el campo de los números $p$-ádicos ($\mathbb{Q}_p$) generados por fracciones continuas. Históricamente, en el contexto real ($\mathbb{R}$), se han establecido criterios para demostrar que ciertas fracciones continuas (como las cuasi-periódicas o aquellas que comienzan con palíndromos arbitrariamente largos) representan números trascendentes o irracionales cuadráticos. Estos resultados dependen de teoremas profundos de aproximación diofántica, como el Teorema de Roth y el Teorema del Subespacio.

Sin embargo, en el contexto $p$-ádico, los resultados existentes (como los de Ooto, y posteriormente Kalitzin y Murru en trabajos previos [10, 15]) requerían restricciones estrictas sobre la norma $p$-ádica de los cocientes parciales ($|b_i|_p$) o de los denominadores de los convergentes. Específicamente, se exigía que $|b_i|_p$ fuera suficientemente grande (e.g., $\ge p^2$ o $p^4$) o que los denominadores crecieran de manera controlada.

El problema central que este trabajo resuelve es: ¿Es posible eliminar estas restricciones sobre la norma $p$-ádica y demostrar la trascendencia para una clase más amplia de fracciones continuas $p$-ádicas (palindrómicas y cuasi-periódicas) sin asumir condiciones de crecimiento específicas en la norma $p$-ádica?

2. Metodología

Los autores emplean una combinación de teoría de números algebraica, propiedades de las fracciones continuas $p$-ádicas (definiciones de Ruban y Browkin) y una nueva herramienta analítica: una versión cuantitativa del Teorema de Ridout (la versión $p$-ádica del Teorema de Roth).

La metodología se divide en tres pilares principales:

1. Análisis de Fracciones Continuas $p$-ádicas:

   • Utilizan las definiciones de Ruban y Browkin, que difieren en la elección de los dígitos pero comparten propiedades estructurales similares.
   • Estudian las propiedades de los convergentes $A_n/B_n$, estableciendo identidades clave sobre sus normas $p$-ádicas y arquimedianas.
   • Para el caso palindrómico, utilizan la simetría de las matrices de convergentes para construir aproximaciones algebraicas específicas ($\alpha^2 - A_{n-1}/B_n$).

2. Desarrollo de un Teorema de Roth $p$-ádico Cuantitativo (Sección 3.2):

   • Identifican que la literatura carecía de una versión cuantitativa del Teorema de Ridout adecuada para sus propósitos.
   • Adaptan la prueba de Ridout (basada en el método de Roth clásico) para obtener un límite explícito en el número de soluciones de la desigualdad de aproximación:
     $$\left| \alpha - \frac{A}{B} \right|_p < \frac{1}{|B|_\infty^{2+\epsilon}}$$
   • Demuestran que el número de soluciones es acotado por una función exponencial que depende de $\epsilon$ y del grado del número algebraico $\alpha$.

3. Estudio del Crecimiento de Denominadores (Sección 3.3):

   • Establecen un análogo $p$-ádico de un resultado clásico de Davenport y Roth.
   • Demuestran que para números algebraicos, el crecimiento de la norma $p$-ádica de los denominadores de los convergentes ($|B_k|_p$) no puede ser arbitrariamente rápido; está limitado por una función que crece más lentamente que exponencialmente en relación con el índice $k$.

3. Contribuciones Clave y Resultados Principales

El artículo presenta cuatro contribuciones teóricas fundamentales:

A. Eliminación de Restricciones en la Norma $p$-ádica (Teorema A)

Los autores prueban que si una fracción continua $p$-ádica $\alpha = [0, b_1, b_2, \dots]$ comienza con palíndromos arbitrariamente largos, entonces $\alpha$ es o bien trascendente o bien un irracional cuadrático.

• Innovación: A diferencia de trabajos anteriores, no se requiere ninguna condición sobre la magnitud de $|b_i|_p$.
• Condición suficiente: Solo se exige que las normas arquimedianas de los numeradores y denominadores crezcan suficientemente lento:
  $$\max(|A_n|_\infty^{1/n}, |B_n|_\infty^{1/n}) < p^{1/4} \quad \text{para } n \gg 0.$$
  Esto es un avance significativo porque permite tratar casos donde la norma $p$-ádica de los cocientes podría ser pequeña o variable.

B. Versión Cuantitativa del Teorema de Ridout (Teorema 8 y Corolario 9)

Proveen un límite explícito para el número de soluciones de la desigualdad de aproximación diofántica en $\mathbb{Q}_p$.

• Resultado: Para un número algebraico $\alpha$ de grado $n \ge 2$, el número de soluciones enteras $(A, B)$ de:
  $$\left| \alpha - \frac{A}{B} \right|_p < \frac{1}{|B|_\infty^{2+\epsilon}}$$
  es menor que $4\epsilon^{-1} \log \hat{C} + \exp(C_1 n^2 \epsilon^{-2})$.
• Significado: Esta cuantificación es esencial para controlar la densidad de las aproximaciones "buenas" y es la herramienta técnica que permite eliminar las restricciones de crecimiento en los teoremas de trascendencia.

C. Crecimiento de Denominadores para Números Algebraicos (Teorema 12)

Establecen una cota superior para el crecimiento de la norma $p$-ádica de los denominadores de los convergentes de un número algebraico.

• Resultado: Bajo ciertas condiciones técnicas sobre la descomposición de $A_k$ y $B_k$, se demuestra que:
  $$\log \log |B_k|_p < \frac{c(\alpha) k}{(\log k)^{1/2}}$$
• Implicación: Esto generaliza un resultado de Davenport y Roth al contexto $p$-ádico, mostrando que los denominadores de los convergentes de números algebraicos no pueden crecer tan rápido como en el caso trascendente "típico".

D. Trascendencia de Fracciones Cuasi-Periódicas (Teorema B)

Generalizan los resultados para fracciones continuas cuasi-periódicas (que contienen repeticiones arbitrariamente largas).

• Condiciones: Se asume que los cocientes parciales forman repeticiones con longitudes $\lambda_i$ y periodos $k_i$ que crecen de manera controlada ($k_i < C n_i$) y que la longitud de las repeticiones crece suficientemente rápido:
  $$\lim_{i \to \infty} \frac{\log \lambda_i (\log n_i)^{1/2}}{n_i} = \infty.$$
• Conclusión: Bajo estas condiciones, la fracción continua converge a un número trascendente o irracional cuadrático. Este resultado mejora las condiciones de acotación de normas presentes en trabajos previos.

4. Significado e Impacto

Este trabajo representa un avance sustancial en la teoría de números $p$-ádica y la teoría de aproximación diofántica:

1. Unificación y Generalización: Al eliminar las restricciones sobre la norma $p$-ádica ($|b_i|_p$), los autores unifican y generalizan resultados previos de Ruban y Browkin, haciendo que los criterios de trascendencia sean aplicables a una gama mucho más amplia de secuencias de coeficientes.
2. Herramienta Fundamental: La derivación de una versión cuantitativa del Teorema de Ridout llena un vacío en la literatura. Esta herramienta no solo es crucial para los resultados de este artículo, sino que es de utilidad potencial para otros problemas de trascendencia y aproximación en $\mathbb{Q}_p$.
3. Analogía Real-$p$-ádica: El trabajo refuerza la analogía profunda entre la teoría de fracciones continuas en $\mathbb{R}$ y en $\mathbb{Q}_p$, demostrando que fenómenos como la trascendencia de secuencias palindrómicas o cuasi-periódicas son robustos independientemente de la norma utilizada, siempre que se controlen adecuadamente las normas arquimedianas de los convergentes.
4. Aplicabilidad: Los resultados proporcionan métodos constructivos para generar nuevos números trascendentes en $\mathbb{Q}_p$ sin necesidad de imponer condiciones artificiales de crecimiento en los coeficientes, lo cual es vital para la comprensión de la estructura algebraica de los números $p$-ádicos.

En resumen, Kalitzin y Murru han logrado desvincular la trascendencia de las restricciones de norma $p$-ádica mediante el desarrollo de nuevas cotas cuantitativas en la aproximación diofántica, consolidando así la teoría de fracciones continuas $p$-ádicas.