Decomposition of real numbers into sums of Lüroth sets

Aquí presento un resumen técnico detallado del artículo "Decomposition of real numbers into sums of Luroth sets" (Descomposición de números reales en sumas de conjuntos de Lüroth), escrito por Maiken Gravgaard y Ying Wai Lee, publicado en el International Journal of Number Theory.

1. Planteamiento del Problema

El artículo aborda el problema de la descomposición aditiva de números reales utilizando conjuntos fractales definidos por restricciones en sus expansiones de dígitos. Específicamente, los autores estudian la suma de conjuntos de números cuyas expansiones de Lüroth tienen dígitos acotados.

• Contexto: Se basa en resultados clásicos de la teoría de números y geometría fractal, como el hecho de que la suma de dos copias del conjunto de Cantor ternario ($C_{1/3} + C_{1/3}$) cubre un intervalo completo. También se inspira en resultados sobre fracciones continuas (conjuntos $F_{\leq k}$ y $F_{\geq k}$), donde se ha demostrado que ciertas sumas de estos conjuntos son congruentes con $\mathbb{R}$ módulo 1 (es decir, cualquier número real puede escribirse como la suma de un entero y elementos de dichos conjuntos).
• Objetivo: Establecer análogos para las expansiones de Lüroth. Dado que la expansión de Lüroth es una representación de números en $(0, 1]$ mediante una serie de enteros positivos ($d_n \geq 2$), los autores definen conjuntos $L_A$ donde los dígitos pertenecen a un subconjunto $A \subset \mathbb{N} \setminus \{1\}$.
• Pregunta central: ¿Bajo qué condiciones la suma de conjuntos de Lüroth (ej. $L_{\leq k} + L_{\leq m}$ o $L_{\geq k} + L_{\geq m}$) cubre todo el intervalo $[0, 1]$ módulo 1? Además, se investiga la dimensión de Hausdorff de estas sumas.

2. Metodología

Los autores emplean una combinación de teoría de sistemas dinámicos, teoría de conjuntos de Cantor generalizados y análisis de dimensiones fractales.

• Construcción de Conjuntos de Cantor Generalizados:

  • Modelan los conjuntos de Lüroth ($L_{\leq k}$, $L_{\geq k}$, etc.) como conjuntos de Cantor generalizados.
  • Introducen una construcción específica llamada Construcción Completa Paso a Paso (SCC - Stepwise Complete Construction) para definir la estructura de los intervalos y las brechas (gaps) en cada nivel de aproximación del conjunto.
  • Demuestran que estas construcciones son "ordenadas" (las brechas se reducen monótonamente), lo cual es crucial para aplicar teoremas existentes sobre sumas de conjuntos de Cantor.

• Herramientas Teóricas Clave:

  • Teoremas de Hall, Hlavka y Astels: Utilizan resultados previos sobre la suma de conjuntos de Cantor. Específicamente, emplean las nociones de grosor (thickness) $\tau$ y la cantidad $\gamma = \tau / (1+\tau)$.
  • Criterio de Suma: Si la suma de los valores $\gamma$ de varios conjuntos es mayor o igual a 1 ($S_\gamma \geq 1$) y se cumplen ciertas condiciones sobre los tamaños de los intervalos y las brechas, entonces la suma de los conjuntos contiene un intervalo (y por tanto es congruente con $\mathbb{R}$ módulo 1).
  • Teorema de Peres-Shmerkin: Para los resultados de dimensión, utilizan un teorema sobre la dimensión de Hausdorff de sumas de sistemas de funciones iteradas (IFS) cuando las razones de contracción son incommensurables (logaritmos de las razones son irracionales).

• Análisis Asintótico y Cálculo de Grosor:

  • Derivan fórmulas cerradas para el grosor $\tau$ de los conjuntos $L_{N_1, N_2}$ (dígitos entre $N_1$ y $N_2$).
  • Realizan estimaciones precisas de la dimensión de Hausdorff para conjuntos con dígitos acotados inferiormente ($L_{\geq k}$).

3. Contribuciones Clave y Resultados Principales

El artículo presenta dos tipos principales de resultados: congruencia módulo 1 y dimensión de Hausdorff.

A. Congruencia Módulo 1 (Sumas que cubren $\mathbb{R}$)

1. Conjuntos con dígitos acotados superiormente ($L_{\leq k}$):

   • Se demuestra que:
     • $L_{\leq 3} + L_{\leq 5} \equiv \mathbb{R} \pmod 1$.
     • $L_{\leq 4} + L_{\leq 4} \equiv \mathbb{R} \pmod 1$.
     • $L_{\leq 3} + L_{\leq 3} + L_{\leq 3} \equiv \mathbb{R} \pmod 1$.
   • Se prueba que $L_{\leq 3} + L_{\leq 3} \not\equiv \mathbb{R} \pmod 1$ (la suma no cubre todo, deja huecos).
   • Se deja como conjetura que $L_{\leq 3} + L_{\leq 4} \equiv \mathbb{R} \pmod 1$, aunque no se ha demostrado rigurosamente aún.

2. Conjuntos con dígitos acotados inferiormente ($L_{\geq k}$):

   • Se generaliza un resultado de Cusick-Lee para fracciones continuas. Se prueba que para cualquier $k \geq 2$:
     $$k L_{\geq k} \equiv \mathbb{R} \pmod 1$$
     (La suma de $k$ copias de $L_{\geq k}$ cubre $\mathbb{R}$ módulo 1).
   • Se establece un teorema general (Teorema 2.3) para sumas de $n$ conjuntos $L_{\geq k_i}$ bajo condiciones específicas sobre los valores de $k_i$ y la suma de sus diámetros.

3. Mezcla de acotaciones (Superior e Inferior):

   • Se demuestra que $L_{\leq k+2} + L_{\geq k} \equiv \mathbb{R} \pmod 1$.
   • Se conjetura que incluso $L_{\leq k} + L_{\geq k} \equiv \mathbb{R} \pmod 1$.

B. Dimensión de Hausdorff

1. Fórmula para sumas de conjuntos finitos:

   • Para conjuntos finitos $A, B$, se demuestra que:
     $$\dim(L_A + L_B) = \min\{1, \dim(L_A) + \dim(L_B)\}$$
     Esto confirma que la dimensión se comporta aditivamente hasta el límite de 1, similar a lo que ocurre en sistemas dinámicos con propiedades de no superposición.

2. Cotas inferiores para $L_{\geq k}$:

   • Se mejora la cota inferior conocida para la dimensión de $L_{\geq k}$, demostrando que:
     $$\dim L_{\geq k} > \frac{1}{2} + \frac{1}{2 \log(\max\{16, k\})}$$
   • Se calculan valores numéricos específicos (ej. $\dim L_{\geq 3} > 0.8209$).

3. Dimensión de sumas dobles:

   • Se prueba que para cualquier $k \geq 2$, $\dim(L_{\geq k} + L_{\geq k}) = 1$.
   • Se conjetura que $L_{\geq k} + L_{\geq k}$ contiene un intervalo de longitud positiva (no solo dimensión 1, sino estructura de intervalo).

4. Significado e Impacto

• Extensión de la Teoría Clásica: El trabajo extiende exitosamente resultados profundos de la teoría de fracciones continuas (como los de Hall, Hlavka y Astels) al contexto de las expansiones de Lüroth. Esto valida que las propiedades aditivas de los sistemas de dígitos restringidos son robustas a través de diferentes representaciones numéricas.
• Puente entre Dinámica y Teoría de Números: Refuerza la conexión entre los sistemas dinámicos (mapa de Lüroth, que es lineal por partes pero con infinitos segmentos) y la estructura aditiva de los números reales.
• Nuevas Conjeturas: El artículo no solo resuelve casos específicos, sino que plantea conjeturas importantes sobre la optimalidad de los límites (ej. ¿es $L_{\leq 3} + L_{\leq 4}$ suficiente para cubrir $\mathbb{R}$?) y la estructura de los conjuntos de suma (¿contienen intervalos?).
• Herramientas Metodológicas: La derivación de fórmulas exactas para el grosor ($\tau$) y el uso de construcciones ordenadas (SCC) proporcionan un marco metodológico que puede ser aplicado a otros conjuntos fractales definidos por restricciones de dígitos.

En resumen, el artículo establece que los conjuntos de Lüroth, a pesar de ser fractales de medida cero, poseen una riqueza estructural tal que sus sumas pueden generar intervalos completos o cubrir todo el espacio real módulo 1, dependiendo de las restricciones de sus dígitos, generalizando así fenómenos conocidos en la teoría de fracciones continuas.