Quantitative longest-run laws for partial quotients

1. Planteamiento del Problema

El artículo se sitúa en la intersección de la teoría de la probabilidad, los sistemas dinámicos y la teoría métrica de números. El foco principal es el estudio de las estadísticas de la carrera más larga (longest-run statistics) en el contexto de los cocientes parciales de las expansiones en fracciones continuas.

Para un número irracional $x \in [0, 1)$, su expansión en fracción continua es $x = [a_1, a_2, a_3, \dots]$, donde $a_n \in \mathbb{N}$ son los cocientes parciales. El problema aborda dos funciones estadísticas fundamentales:

1. Carrera fija ($L_n(x, \lambda)$): La longitud máxima de una secuencia consecutiva de un valor fijo $\lambda$ dentro de los primeros $n$ cocientes parciales.
2. Carrera maximizada ($R_n(x)$): La longitud máxima de una secuencia consecutiva de cualquier valor entero positivo dentro de los primeros $n$ cocientes.

El vacío en la literatura:
Trabajos previos (Song y Zhou, Wang y Wu) habían establecido leyes logarítmicas de primer orden para estas estadísticas, demostrando que $L_n$ y $R_n$ crecen asintóticamente como $\frac{\log n}{2 \log \tau}$ y $\frac{\log n}{2 \log \varphi}$ respectivamente (donde $\tau$ y $\varphi$ son constantes relacionadas con el valor fijo y el número áureo). Sin embargo, estos resultados anteriores carecían de:

• Tasas de convergencia cuantitativas.
• Acotaciones explícitas de dos lados (superior e inferior) con términos de error precisos.
• Una generalización bajo condiciones de mezcla verificables para procesos simbólicos con alfabetos infinitos.

2. Metodología

El autor emplea un enfoque que combina la teoría ergódica con técnicas probabilísticas avanzadas para sistemas dependientes.

A. Marco Teórico General

Se establece un teorema general para procesos simbólicos $(\Omega, \mathcal{F}, \mu, T)$ que satisfacen tres hipótesis clave:

1. Condiciones de Mezcla Cuantitativa (Assumption 1): Se requiere una condición de mezcla exponencial (específicamente $\psi$-mezcla o mezcla con brecha) que permita tratar bloques separados por una brecha $g$ como casi independientes. Esto se formaliza mediante una desigualdad que acota la diferencia entre la probabilidad conjunta y el producto de las probabilidades marginales por un término $C_0 \theta^g$.
2. Estimaciones Exponenciales para Palabras Constantes (Assumption 2): Para un símbolo fijo $m^*$, la medida del cilindro $\Delta_k(m^*)$ (la probabilidad de observar $k$ repeticiones consecutivas de $m^*$) debe decaer exponencialmente como $\rho^{-2k}$.
3. Cota Uniforme Sumada (Assumption 3): La suma de las medidas de los cilindros de palabras constantes sobre todo el alfabeto debe estar acotada uniformemente por una constante multiplicada por $\rho^{-2k}$.

B. Herramientas Probabilísticas

• Lema de Borel-Cantelli: Se utiliza tanto para establecer cotas superiores (probabilidad de que ocurran carreras muy largas) como para cotas inferiores (probabilidad de que ocurran carreras de cierta longitud).
• Bloques Separados: Para la cota inferior, se construyen ensayos separados por brechas $g_j$ que garantizan la independencia aproximada necesaria para aplicar el lema de Borel-Cantelli en la dirección inversa.
• Escalas Logarítmicas y Doble-Logarítmicas: El análisis se centra en refinar la escala principal $\log n$ añadiendo términos de corrección del orden de $\log \log n$.

C. Aplicación al Sistema de Gauss

El autor verifica las hipótesis anteriores para el sistema de Gauss (el mapa $T(x) = \{1/x\}$ con la medida de Gauss $\mu$), que es el sistema dinámico natural asociado a las fracciones continuas.

• Se demuestra que el sistema de Gauss es exponencialmente $\psi$-mezclante.
• Se calculan estimaciones precisas de la medida de los cilindros $\Delta_k(\lambda)$ utilizando las propiedades de los denominadores de las convergentes de las fracciones continuas y el número áureo $\varphi$.

3. Contribuciones Clave y Resultados Principales

El trabajo logra dos hitos principales: un teorema general abstracto y su aplicación concreta a los cocientes parciales.

Teorema 1 (Marco General)

Demuestra que bajo las tres hipótesis de mezcla y estimación de cilindros, para casi todo $\omega$:

• La longitud de la carrera fija $L_n(\omega, m^*)$ satisface:
  $$\left| L_n(\omega, m^*) - \frac{\log n}{2 \log \rho} \right| \leq c \frac{\log \log n}{\log \rho}$$
• La longitud de la carrera maximizada $R_n(\omega)$ satisface una relación análoga.
• Innovación: Se obtiene una refinación aditiva eventual con un término de error explícito de orden doble-logarítmico ($\log \log n$), superando las leyes de primer orden anteriores.

Teorema 2 (Resultados para Cocientes Parciales)

Al aplicar el Teorema 1 al sistema de Gauss, se obtienen resultados explícitos para casi todo $x \in [0, 1) \setminus \mathbb{Q}$ (respecto a la medida de Gauss y, por equivalencia absoluta, a la medida de Lebesgue):

1. Para un valor fijo $\lambda$:
   $$\left| L_n(x, \lambda) - \frac{\log n}{2 \log \tau(\lambda)} \right| \leq c \frac{\log \log n}{\log \tau(\lambda)}$$
   Donde $\tau(\lambda) = \frac{\lambda + \sqrt{\lambda^2 + 4}}{2}$.

2. Para el máximo sobre todos los valores:
   $$\left| R_n(x) - \frac{\log n}{2 \log \varphi} \right| \leq c \frac{\log \log n}{\log \varphi}$$
   Donde $\varphi = \frac{1+\sqrt{5}}{2}$ es el número áureo.

Significado de las constantes:

• La constante $\varphi$ en la carrera maximizada indica que el comportamiento está dominado por el dígito 1, que es el cociente parcial más probable en la medida de Gauss.
• La constante $\tau(\lambda)$ depende del valor específico $\lambda$ elegido.

4. Significado e Impacto

1. Cuantificación de la Convergencia: El artículo transforma leyes asintóticas cualitativas en leyes cuantitativas precisas. Proporciona no solo el límite, sino la velocidad a la que se alcanza y la magnitud de las fluctuaciones alrededor de ese límite.
2. Manejo de Alfabetos Infinitos: A diferencia de muchos resultados clásicos en procesos i.i.d. (independientes e idénticamente distribuidos) que asumen alfabetos finitos, este trabajo maneja rigurosamente el caso de un alfabeto contable infinito (los enteros positivos), abordando la dificultad adicional de maximizar sobre un conjunto infinito de valores.
3. Conexión entre Mezcla y Estadística de Extremos: Establece un vínculo claro entre la tasa de mezcla exponencial del sistema de Gauss y la estructura de las carreras más largas, validando que las propiedades de mezcla fuerte permiten tratar las secuencias de fracciones continuas de manera análoga a procesos independientes para este tipo de observables no aditivos.
4. Precisión en la Teoría de Números: Ofrece una comprensión más profunda de la "persistencia" de los dígitos en las expansiones de fracciones continuas, complementando la información basada en la magnitud de los cocientes parciales con información sobre su repetición consecutiva.

En resumen, Ying Wai Lee proporciona una teoría unificada y rigurosa que refina las leyes de crecimiento de las carreras más largas en fracciones continuas, pasando de una descripción logarítmica básica a una descripción asintótica cuantitativa con errores controlados de orden $\log \log n$.