How many points contain homothetic copies in their Hurwitz continued fraction expansion?

Resumen Técnico: Copias Homotéticas en Expansiones de Fracciones Continuas de Hurwitz

Planteamiento del Problema
El artículo aborda la existencia de estructuras de patrones multidimensionales dentro de expansiones de teoría de números. Si bien el teorema de Szemerédi y sus extensiones multidimensionales por Furstenberg y Katznelson establecen que los subconjuntos de enteros con densidad superior positiva contienen progresiones aritméticas y copias homotéticas de conjuntos finitos, la pregunta sigue siendo si tales patrones emergen en los cocientes parciales de las expansiones de fracciones continuas. Específicamente, los autores investigan la expansión de fracciones continuas de Hurwitz para irracionales complejos. Buscan determinar la dimensión de Hausdorff del conjunto de números complejos cuyos cocientes parciales (vistos como un subconjunto de $\mathbb{Z}^2$ mediante la identificación con los enteros gaussianos) contienen infinitas copias homotéticas de cualquier subconjunto finito de $\mathbb{Z}^2$.

Metodología
Los autores emplean un enfoque constructivo utilizando Sistemas de Funciones Iteradas (IFS) derivados de la fracción continua de Hurwitz. La metodología procede en tres etapas principales:

1. Construcción del Marco de Trabajo: Los autores restringen su análisis al conjunto $E$ de irracionales complejos en un dominio fundamental $U$ cuyos cocientes parciales son distintos. Utilizan el IFS infinito canónico asociado con la expansión de Hurwitz, definido por las aplicaciones $\phi_i(x) = (x + k + i\ell)^{-1}$ para enteros gaussianos $(k, \ell)$ con normas suficientemente grandes. Este sistema satisface la condición de conjunto abierto, la conformidad y las propiedades de contracción uniforme.

2. Construcción del Conjunto Semilla (Límite Inferior): Para establecer un límite inferior para la dimensión, los autores construyen un "conjunto semilla" $S \subset E$. Este conjunto consiste en puntos donde los cocientes parciales $c_n(x)$ crecen de forma rápida y estricta ($3^n \leq \|c_n(x)\|_\infty < 2 \cdot 3^n$). Utilizando un principio de distribución de masa, demuestran que este conjunto semilla tiene una dimensión de Hausdorff de al menos 1. La prueba implica definir una medida de probabilidad sobre el espacio de secuencias simbólicas y estimar la medida de las bolas en el espacio euclidiano en relación con sus radios, utilizando teoremas de distorsión para funciones univalentes.

3. Inserción de Patrones (Modificación): Para asegurar que el conjunto contenga las copias homotéticas requeridas, los autores modifican el conjunto semilla. Insertan "cuadrados de enteros" (bloques finitos de enteros gaussianos que forman rejillas cuadradas) en la secuencia de cocientes parciales en índices específicos y ampliamente espaciados. Estos bloques insertados se eligen para ser lo suficientemente grandes como para contener copias homotéticas de cualquier subconjunto finito de $\mathbb{Z}^2$. La inserción se realiza cuidadosamente para mantener la distinción de los cocientes parciales (manteniendo el conjunto dentro de $E$) asegurando al mismo tiempo que la dimensión de Hausdorff permanezca cercana a 1.

4. Estimación de la Dimensión: Los autores demuestran que la aplicación desde el conjunto modificado $\tilde{S}$ de vuelta al conjunto semilla $S$ (que elimina los bloques insertados) es Hölder continua con un exponente arbitrariamente cercano a 1. Esto les permite transferir el límite inferior de la dimensión de $S$ al conjunto final $H$.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 1.1): Los autores demuestran que la dimensión de Hausdorff del conjunto $H$ (irracionales complejos en $E$ que contienen infinitas copias homotéticas de cualquier subconjunto finito de $\mathbb{Z}^2$) es exactamente 1. Dado que $H \subset E$ y se sabe que la dimensión de $E$ es a lo sumo 1, el resultado es $\dim_H H = \dim_H E = 1$.
• Construcción Explícita: A diferencia de resultados previos sobre fracciones continuas regulares que a menudo producían dimensiones estrictamente menores a 1 (por ejemplo, $1/2$ para cocientes parciales estrictamente crecientes), este trabajo proporciona una construcción donde la dimensión es máxima (1) dentro del conjunto restringido $E$.
• Emergencia de Patrones Multidimensionales: El artículo demuestra que la riqueza combinatoria de los patrones multidimensionales (copias homotéticas) es compatible con la complejidad fractal de la expansión de Hurwitz.

Significancia
El artículo afirma proporcionar un "ejemplo claro y concreto de la emergencia de patrones multidimensionales en expansiones de teoría de números". La significancia radica en mostrar que el conjunto de puntos que exhiben estas complejas estructuras combinatorias no es un conjunto negligible (en términos de dimensión), sino que es un subconjunto de dimensión máxima del espacio naturalmente restringido. Los autores señalan que su método, que implica la construcción de un conjunto semilla y su modificación con grandes cuadrados de enteros, se extiende a otras expansiones, sugiriendo una relevancia más amplia para el estudio de la formación de patrones multidimensionales en sistemas dinámicos. El trabajo une la teoría de números combinatoria (teoremas de tipo Szemerédi) con la geometría fractal (dimensión de Hausdorff) en el contexto de las fracciones continuas complejas.