On the maximal run-length function in the Lüroth expansion

El artículo determina la dimensión de Hausdorff del conjunto de números en el intervalo (0,1] cuya expansión de Lüroth presenta un crecimiento lineal en su función de longitud de racha máxima, caracterizando multifractalmente los casos donde los límites inferior y superior de dicha razón son $\alpha$ y $\beta$ respectivamente.

Lo esencial

Imagina que tienes un número mágico entre 0 y 1, como un punto en una línea infinita. Ahora, imagina que tienes una máquina especial (llamada expansión de Lüroth) que toma ese número y lo descompone en una secuencia interminable de números enteros, como si fuera un código de barras o una canción infinita compuesta por notas.

Por ejemplo, tu número podría convertirse en una secuencia como: 3, 5, 5, 5, 2, 7, 7, 2, 2, 2, 2...

El Juego de las "Rachas" (Run-Length)

En este código, a veces verás que el mismo número se repite varias veces seguidas.

• Si ves 5, 5, 5, tienes una racha de longitud 3.
• Si luego ves 2, 2, 2, 2, tienes una racha de longitud 4.

Los matemáticos Dingding Yu y sus colegas se preguntaron: ¿Qué tan largas pueden ser estas rachas de números repetidos a medida que leemos más y más del código?

Lo que ya sabíamos (La Regla General)

Antes de este trabajo, ya sabíamos que para la inmensa mayoría de los números, estas rachas crecen de forma muy lenta, como si fuera el crecimiento de un árbol joven: crecen logarítmicamente. Es decir, si lees un millón de dígitos, la racha más larga que encontrarás será de unos pocos cientos. Es un crecimiento "normal" y predecible.

El Misterio de los "Excepcionales"

Pero, ¿qué pasa con esos números raros, esos "excéntricos" matemáticos? ¿Qué pasa si existe un número cuyo código tiene rachas que crecen linealmente?

Imagina que en lugar de una racha de 100 dígitos, cada vez que lees el doble de código, encuentras una racha que es el doble de larga. Si lees 1000 dígitos, encuentras una racha de 500. Si lees 1 millón, encuentras una racha de 500,000. ¡Eso es crecimiento lineal! Es como si el código estuviera gritando: "¡Mírame, soy una racha gigante!".

El papel de Dingding Yu investiga qué tan "grande" es el grupo de estos números excéntricos.

La Analogía del Fractal (La Dimensión de Hausdorff)

Para medir el tamaño de este grupo de números raros, no podemos usar una regla normal (como medir en centímetros), porque estos números son tan esquivos que su "longitud" es cero. En su lugar, usamos una medida llamada Dimensión de Hausdorff.

Piensa en la Dimensión de Hausdorff como un termómetro de complejidad:

• Si la dimensión es 1, significa que el grupo es tan grande y denso como toda la línea de números (es "gordo").
• Si la dimensión es 0, significa que el grupo es tan pequeño que es casi inexistente (como un solo punto o un conjunto de polvo).
• Si la dimensión es 0.5, es como un fractal: más grande que un punto, pero más pequeño que una línea.

El Hallazgo Principal: La Receta del Caos

Los autores descubrieron una fórmula exacta para calcular la "complejidad" (dimensión) de estos grupos de números, dependiendo de dos cosas:

1. $\alpha$ (Alfa): La velocidad mínima a la que crecen las rachas.
2. $\beta$ (Beta): La velocidad máxima a la que crecen las rachas.

Imagina que $\alpha$ y $\beta$ son los límites de velocidad en una autopista de números.

• Si quieres que las rachas crezcan muy rápido (cerca de la velocidad máxima posible, $\beta=1$), el grupo de números que cumple esto es tan pequeño que su dimensión es 0. Son como agujas en un pajar; existen, pero son casi invisibles.
• Si quieres que las rachas crezcan a una velocidad moderada (por ejemplo, $\beta = 0.5$), el grupo de números se vuelve más "grueso" y complejo.
• La fórmula que encontraron es como una receta secreta: te dice exactamente qué tan "grueso" es el grupo de números para cualquier combinación de velocidad mínima y máxima que elijas.

En Resumen

Este papel es como un mapa de tesoro para los matemáticos. Nos dice que, aunque la mayoría de los números se comportan de forma aburrida y lenta, existe un universo oculto y fascinante de números "excéntricos" que tienen rachas de repetición gigantescas.

La gran contribución es que ya no solo sabemos que estos números existen; ahora tenemos la fórmula exacta para medir cuán abundantes y complejos son, dependiendo de qué tan rápido queramos que crezcan sus rachas. Es como pasar de decir "hay peces raros en el océano" a poder calcular exactamente cuántos hay y qué tan grandes son, basándonos en la velocidad a la que nadan.

La moraleja: Incluso en el caos aparente de los números infinitos, hay patrones profundos y medibles que definen la belleza de lo excepcional.

Resumen técnico

Resumen Técnico: Función de Longitud de Ejecución Máxima en la Expansión de Lüroth

1. Planteamiento del Problema

El artículo investiga el comportamiento asintótico de la función de longitud de ejecución máxima ($\ell_n(x)$) en la expansión de Lüroth de números reales $x \in (0, 1]$.

• Contexto: La expansión de Lüroth es una representación de números reales análoga a las expansiones en fracciones continuas o binarias, donde $x = \sum \frac{1}{d_1(d_1-1)\dots d_{n-1}(d_{n-1}-1)d_n}$. Los dígitos $d_n(x)$ son enteros $\ge 2$.
• Definición de $\ell_n(x)$: Se define como la longitud del bloque más largo de dígitos idénticos consecutivos entre los primeros $n$ dígitos de la expansión de $x$.
• Estado del Arte: Se sabe que para casi todo $x$, $\ell_n(x)$ crece logarítmicamente ($\sim \log_2 n$). Estudios previos (Sun y Xu, 2026) han analizado el conjunto excepcional donde el crecimiento es diferente respecto a funciones logarítmicas o sublineales, demostrando que dichos conjuntos tienen dimensión de Hausdorff 1.
• Objetivo Principal: El autor se centra en un régimen de crecimiento lineal, es decir, donde $\ell_n(x)$ es proporcional a $n$. El problema consiste en determinar la dimensión de Hausdorff del conjunto excepcional $E(\alpha, \beta)$ definido por:
  $$E(\alpha, \beta) = \left\{ x \in (0, 1] : \liminf_{n\to\infty} \frac{\ell_n(x)}{n} = \alpha, \quad \limsup_{n\to\infty} \frac{\ell_n(x)}{n} = \beta \right\}$$
  para $0 \le \alpha \le \beta \le 1$.

2. Metodología

El artículo emplea herramientas de la teoría métrica de los números y la teoría multifractal. La metodología se divide en dos partes principales: cotas superiores e inferiores para la dimensión de Hausdorff.

• Herramientas Teóricas:

  • Cilindros de Lüroth: Se utiliza la estructura de intervalos (cilindros) $I_n(d_1, \dots, d_n)$ generados por secuencias de dígitos.
  • Principio de Distribución de Masa (Mass Distribution Principle): Para establecer la cota inferior, se construye una medida de probabilidad específica sobre un subconjunto fractal.
  • Funciones Hölder: Se utiliza el lema de que la dimensión de Hausdorff de la imagen de un conjunto bajo una función Hölder $\eta$ es al menos $1/\eta$ veces la dimensión del conjunto original.
  • Fórmula de Moran: Se adapta para calcular dimensiones de conjuntos con restricciones en los dígitos.

• Estrategia de Prueba:

  1. Cota Superior: Se cubre el conjunto $E(\alpha, \beta)$ con una colección de cilindros. Se estima la suma de las longitudes de estos cilindros elevadas a una potencia $s$. Si la suma converge, la dimensión es $\le s$. Se analizan casos según los valores de $\alpha$ y $\beta$, especialmente la relación crítica entre ellos.
  2. Cota Inferior: Se construye un subconjunto $G(M) \subset E(\alpha, \beta)$ mediante una selección cuidadosa de secuencias de dígitos que fuerzan las tasas de crecimiento deseadas.
     • Se define una aplicación de "borrado" de dígitos en posiciones específicas para mapear $G(M)$ a un conjunto con estructura más simple.
     • Se demuestra que esta aplicación es Hölder continua.
     • Se construye una medida de probabilidad sobre el conjunto imagen y se verifica la condición de regularidad local para acotar la dimensión desde abajo.

3. Contribuciones Clave

• Generalización de Resultados Previos: Mientras que la literatura anterior se centraba en el crecimiento logarítmico o funciones $\phi(n)$ con $\phi(n)/n \to 0$, este trabajo aborda el régimen lineal ($\phi(n) = n$), que es cualitativamente diferente y más restrictivo.
• Determinación Exacta de la Dimensión: Se proporciona una fórmula explícita para la dimensión de Hausdorff de $E(\alpha, \beta)$ en todos los casos posibles de $\alpha$ y $\beta$.
• Descubrimiento de una Condición de Existencia: Se identifica que el conjunto $E(\alpha, \beta)$ es no trivial (tiene dimensión positiva) solo si $\alpha$ y $\beta$ satisfacen una condición de desigualdad estricta relacionada con la estructura de los bloques repetidos. Específicamente, si $\alpha > \frac{\beta}{1+\beta}$, el conjunto es contable (dimensión 0).

4. Resultados Principales

El Teorema 1.2 establece la dimensión de Hausdorff $\dim_H E(\alpha, \beta)$ como sigue:

1. Caso Trivial ($\beta = 0$): Si $\beta = 0$, entonces $\alpha = 0$ y $\dim_H E(0, 0) = 1$.
2. Caso de Crecimiento Máximo ($\beta = 1$): Si $\beta = 1$, entonces $\dim_H E(\alpha, 1) = 0$ para cualquier $\alpha$.
3. Caso General ($0 < \beta < 1$):
   • Si $0 < \frac{\beta}{1+\beta} < \alpha \le \beta < 1$: El conjunto es contable y$\dim_H E(\alpha, \beta) = 0$.
   • Si $0 \le \alpha < \frac{\beta}{1+\beta} < \beta < 1$: La dimensión es positiva y viene dada por:
     $$\dim_H E(\alpha, \beta) = s\left( \frac{\beta^2(1-\alpha)}{(1-\beta)[\beta - \alpha(1+\beta)]} \right)$$
     Donde $s(u)$ es la solución única de la ecuación:
     $$\sum_{t=2}^{\infty} \left( \frac{1}{2^u t(t-1)} \right)^s = 1$$
   • En cualquier otro caso, la dimensión es 0.

Interpretación de la fórmula:
La función $s(u)$ es decreciente y continua. El argumento dentro de $s(\cdot)$ representa una "tasa efectiva" de repetición de dígitos necesaria para mantener los límites inferior y superior dados por $\alpha$ y $\beta$. La condición $\alpha < \frac{\beta}{1+\beta}$ es necesaria porque la estructura de los bloques repetidos en la expansión de Lüroth impone restricciones geométricas sobre cuán rápido puede crecer la longitud de los bloques en relación con el total de dígitos.

5. Significado e Impacto

• Avance en Teoría Métrica: Este trabajo cierra una brecha importante en la comprensión de las propiedades multifractales de las expansiones de Lüroth, extendiendo el análisis más allá del comportamiento típico (logarítmico) hacia el comportamiento extremo (lineal).
• Analogía con Otras Expansiones: El problema tiene paralelos con expansiones dyádicas (Erdős y Rényi), fracciones continuas y expansiones $\beta$, pero la estructura específica de la transformación de Lüroth (donde los dígitos son independientes e idénticamente distribuidos bajo la medida de Lebesgue) permite derivar resultados precisos que en otros sistemas podrían ser más difíciles de obtener.
• Herramientas Metodológicas: La construcción de la medida de probabilidad en la sección 4, que maneja la eliminación de dígitos y la estimación de huecos (gaps) entre intervalos fundamentales, ofrece un marco robusto para futuros estudios sobre conjuntos excepcionales en sistemas dinámicos con dígitos independientes.

En conclusión, el artículo demuestra que la existencia de números con crecimiento lineal de longitudes de ejecución máxima en la expansión de Lüroth es un fenómeno altamente restringido, cuya "riqueza" (dimensión de Hausdorff) depende delicadamente de la relación entre los límites inferior y superior de dicha tasa de crecimiento.