Intrinsic Diophantine approximation: a solution to Mahler's problem

Este artículo corrige una prueba anterior para calcular la dimensión de Hausdorff de los elementos de un conjunto auto-similar racional (como el conjunto de Cantor) que son $\psi$-aproximables por racionales dentro del mismo conjunto y cuyo numerador tiene un número acotado de divisores primos distintos, resolviendo así el problema de Mahler para esta clase de conjuntos.

Lo esencial

¡Claro que sí! Imagina que este artículo es como un viaje de exploración matemática, pero en lugar de buscar tesoros en una isla, los matemáticos están buscando "puntos de encuentro" entre dos mundos muy diferentes: el mundo de los números fraccionarios (como 1/2, 3/4) y el mundo de las formas fractales (figuras geométricas que se repiten a sí mismas infinitamente, como el famoso "Conjunto de Cantor").

Aquí tienes la explicación de este trabajo, traducida a un lenguaje sencillo y con analogías creativas:

1. El Gran Misterio: ¿Qué tan cerca podemos llegar?

Imagina que tienes un mapa muy extraño, un "fractal" (llamémosle El Laberinto Cantor). Este laberinto no es una línea recta; es un conjunto de puntos que se han ido rompiendo y reorganizando infinitas veces, dejando muchos huecos.

El problema que estudia el autor, E. Daviaud, es el siguiente:
Si estás parado en un punto dentro de este laberinto, ¿qué tan cerca puedes acercarte a él usando solo números fraccionarios (como 1/3, 2/5, etc.)?

• El desafío: No todos los números fraccionarios son válidos. El autor pone una regla especial: solo podemos usar fracciones cuyo denominador (el número de abajo) tenga un número limitado de "ingredientes primos".
  • Analogía: Imagina que los números primos son los "bloques de Lego" básicos. El número 12 está hecho de 2, 2 y 3 (tres bloques). El número 7 es solo un bloque. La regla dice: "Solo puedes usar fracciones hechas con, por ejemplo, máximo 5 bloques de Lego".

2. La Meta: Medir el "Caos" (Dimensión de Hausdorff)

En matemáticas, cuando hablamos de fractales, no usamos la regla normal para medir. Usamos algo llamado Dimensión de Hausdorff.

• Analogía: Piensa en una línea (dimensión 1) y una superficie (dimensión 2). Un fractal es como una "nube" que está entre una línea y una superficie. Su dimensión podría ser 0.63, por ejemplo.
• El autor quiere saber: ¿Qué tan grande es el conjunto de puntos dentro del laberinto que pueden ser "atrapados" o aproximados muy bien por nuestras fracciones especiales?

3. El Descubrimiento Principal: La Regla de Oro

El autor descubre una fórmula mágica que funciona casi siempre. Dice que la "tamaño" (dimensión) de esos puntos atrapados depende de dos cosas:

1. El tamaño original del laberinto (el fractal).
2. Qué tan rápido se hacen pequeñas las fracciones que usamos para acercarnos.

La analogía del embudo:
Imagina que el fractal es un embudo gigante. Tú intentas llenarlo con agua (los puntos aproximados).

• Si el agua cae muy rápido (las fracciones son muy precisas), llenas casi todo el embudo.
• Si el agua cae muy lento, solo llenas una parte.
• El autor demuestra que, sin importar qué tan lento o rápido caiga el agua (siempre que sigas la regla de los "bloques de Lego" limitados), el tamaño de lo que llenas sigue una ley matemática muy precisa. Es como si el embulo tuviera un "grifo" que siempre gotea al mismo ritmo predecible.

4. Dos Escenarios: El Fractal "Hueco" vs. El "Lleno"

El artículo hace una distinción importante, como si hubiera dos tipos de laberintos:

• Escenario A: El Laberinto con Huecos (Interior vacío).
  Aquí, el fractal es muy "delgado" y tiene muchos agujeros (como el Conjunto de Cantor clásico). En este caso, la fórmula del autor funciona perfectamente. La "densidad" de los puntos que puedes encontrar depende directamente de la precisión de tus fracciones.

  • Analogía: Es como intentar encontrar agujas en un pajar. Si las agujas (fracciones) son muy finas, solo encuentras algunas. La fórmula te dice exactamente cuántas.

• Escenario B: El Laberinto Lleno (Interior no vacío).
  Aquí, el fractal es tan denso que parece una línea sólida o un bloque.

  • Analogía: Es como intentar encontrar agujas en un bloque de gelatina. ¡Hay agujas por todas partes! En este caso, la fórmula cambia un poco porque el "pajar" es tan grande que casi cualquier aproximación funciona.

5. El Secreto de los Números: La Conjetura

Para probar su teoría, el autor necesita confiar en una suposición sobre los números primos (una conjetura de la teoría de números).

• Analogía: Imagina que los números primos son como "guardianes" de las puertas. El autor necesita saber si estos guardianes se abren de una manera predecible cuando intentas entrar con tus fracciones.
• Aunque no puede probar la conjetura al 100% (porque es un problema muy difícil que otros matemáticos llevan años intentando resolver), demuestra que su teoría funciona si esa conjetura es cierta. Y, de paso, prueba una versión más débil de la conjetura que es suficiente para su trabajo.

6. ¿Por qué importa esto?

Este trabajo es importante porque:

1. Unifica conceptos: Conecta la geometría de formas extrañas (fractales) con la teoría de números (cómo se comportan las fracciones).
2. Resuelve un misterio: Antes, los matemáticos tenían conjeturas sobre esto, pero no tenían una prueba sólida para el caso de los fractales "homogéneos" (los que se ven igual en todas partes).
3. Abre nuevas puertas: El autor no solo resuelve el problema para el Conjunto de Cantor, sino que crea una herramienta general que sirve para cualquier fractal hecho con reglas simples.

En resumen

El autor E. Daviaud ha demostrado que, si intentas "tocar" un fractal usando solo fracciones con ingredientes simples (pocos números primos), la cantidad de puntos que logras tocar sigue una ley matemática elegante y predecible. Es como descubrir que, aunque el universo fractal parezca un caos infinito, si usas las herramientas correctas (las fracciones adecuadas), puedes medir su estructura con una precisión asombrosa.

La moraleja: Incluso en los lugares más extraños y fragmentados de las matemáticas, hay un orden oculto esperando a ser descifrado por quien sepa qué "llave" (qué tipo de fracción) usar.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Intrinsic Diophantine Approximation by Rationals of Height with a Bounded Number of Distinct Prime Factors" (Aproximación Diofántica Intrínseca por Racionales de Altura con un Número Acotado de Factores Primos Distintos), escrito por E. Daviaud.

1. El Problema y el Contexto

El artículo aborda un problema central en la teoría de números y la geometría fractal: la aproximación diofántica intrínseca en conjuntos auto-similares.

• Contexto Histórico: En los años 80, K. Mahler planteó la cuestión de qué tan bien se pueden aproximar los números del conjunto de Cantor ternario ($K_{1/3}$) por números racionales, y específicamente por racionales que también pertenecen a $K_{1/3}$.
• Definición del Problema: Dado un conjunto auto-similar $K$ (atractor de un Sistema de Funciones Iteradas o IFS) y una función de aproximación $\psi$, se busca determinar la dimensión de Hausdorff del conjunto de puntos $x \in K$ que pueden ser aproximados infinitamente a menudo por racionales $r \in \mathbb{Q} \cap K$ con una precisión $\psi(h(r))$, donde $h(r)$ es la altura del racional.
• La Conjetura: Se ha conjeturado (Bugeaud, Durand, Fishman, Simmons, Tan, Wang, Wu) que para el conjunto de Cantor ternario, la dimensión de Hausdorff de tales conjuntos de aproximación sigue una fórmula específica que depende de la tasa de decrecimiento de $\psi$ y de la dimensión del conjunto fractal.
• La Restricción de los Factores Primos: El artículo introduce una restricción novedosa: considerar solo aquellos racionales $p/q$ cuya denominación $q$ tiene un número acotado de factores primos distintos ($\omega(q) \le N$). El objetivo es verificar si la fórmula de dimensión se mantiene bajo esta restricción aritmética.

2. Metodología

El autor emplea una combinación de herramientas de teoría geométrica de la medida, teoría ergódica y teoría de números analítica:

1. Sistemas de Funciones Iteradas (IFS) Racionales: Se trabaja con IFS homogéneos de la forma $f_i(x) = \frac{x + p_i}{b}$, donde $b \ge 2$ y $p_i \in \mathbb{Z}$. El atractor $K_T$ es un conjunto auto-similar.
2. Condición de Separación Débil (WSC): Se utiliza el hecho de que los IFS con parámetros racionales satisfacen la Condición de Separación Débil (Weak Separation Condition), lo que implica que el atractor es regular en el sentido de Ahlfors.
3. Teoría de la Distribución Equitativa (Equidistribution): Un componente crucial es el análisis de la distribución de las secuencias $b^k p \pmod q$. Se demuestra que si un racional $p/q$ pertenece al conjunto fractal, el orden multiplicativo de $b$ módulo $q$ debe ser "pequeño" en relación con $q$, a menos que el conjunto fractal tenga interior no vacío.
4. Principio de Transmisión de Masa (Mass Transference Principle): Se aplica este principio (de Beresnevich y Velani) para pasar de resultados de medida completa a resultados de dimensión de Hausdorff.
5. Cotas Superiores e Inferiores:
   • Cota Superior: Se construyen cubrimientos eficientes basados en la densidad de los racionales con $\omega(q) \le N$ y su orden multiplicativo.
   • Cota Inferior: Se utiliza la estructura de los números racionales dentro del fractal (codificaciones periódicas) para construir subconjuntos de dimensión conocida.

3. Contribuciones Clave y Resultados Principales

El artículo establece varios teoremas que avanzan significativamente en la comprensión de la aproximación intrínseca:

A. Teorema Principal (Teorema 1.1)

Para un IFS homogéneo $T$ con parámetros enteros y un atractor $K_T$ de interior vacío, el autor demuestra que para cualquier función no decreciente $\psi$ y para cualquier $N$ suficientemente grande (específicamente $N \ge \omega(b) + \omega(b-1)$), la dimensión de Hausdorff del conjunto de puntos aproximables por racionales con denominadores de $\le N$ factores primos distintos es:

$$\dim_H E_{\psi, T, N} = \frac{\dim_H K_T}{\max\{1, \delta_\psi\}}$$

Donde $\delta_\psi = \liminf_{q \to \infty} \frac{-\log \psi(q)}{\log q}$ es la tasa de decrecimiento de $\psi$.

• Significado: Esto confirma la conjetura de Bugeaud-Durand para el caso de racionales con un número acotado de factores primos. La restricción aritmética no altera la dimensión del conjunto de aproximación siempre que $N$ sea lo suficientemente grande.
• Caso Especial: Si el atractor tiene interior no vacío, la fórmula cambia y depende de la medida de Lebesgue, mostrando una dicotomía clara entre fractales "delgados" (interior vacío) y "gruesos" (interior no vacío).

B. Conexión con la Teoría de Números (Conjetura 1.4 y Teorema 1.5)

El autor conecta el problema de la dimensión con una conjetura sobre el orden multiplicativo de $b$ módulo $q$.

• Conjetura 1.4: Propone que el número de enteros $q$ tales que el orden de $b$ módulo $q$ es muy pequeño ($O_q(b) \le q f(q)$) es despreciable en términos logarítmicos.
• Teorema 1.5: Si la Conjetura 1.4 es cierta, entonces la fórmula de dimensión se cumple para todos los racionales en el fractal (sin restricción en el número de factores primos), es decir, para $N \to \infty$.
• Teorema 1.6: Se prueba una versión débil de esta conjetura restringiendo el número de factores primos ($\omega(q) \le N$), lo cual es suficiente para probar el Teorema 1.1.

C. Aproximación Intrínseca General (Teorema 1.8)

El artículo extiende los resultados a IFS racionales no homogéneos (donde los denominadores $q_i$ pueden variar).

• Se introduce una altura intrínseca $h_{int}(r)$, que es generalmente mayor que la altura estándar $h(r) = q$.
• Se demuestra que la dimensión de Hausdorff del conjunto de puntos aproximados por racionales usando esta altura intrínseca sigue la misma fórmula universal:
  $$\dim_H E_{\psi, T, int} = \frac{\dim_H K_T}{\max\{1, \delta_\psi\}}$$
• Esto proporciona una descripción métrica completa para la aproximación intrínseca en fractales racionales generales.

4. Significado e Impacto

1. Resolución Parcial de Conjeturas: El trabajo valida la fórmula de dimensión propuesta por Bugeaud y Durand para una clase significativa de racionales (con factores primos acotados), acercándose a la resolución completa del problema para el conjunto de Cantor.
2. Puente entre Áreas: El artículo une de manera elegante la teoría de números (orden multiplicativo, distribución de primos) con la geometría fractal (dimensión de Hausdorff, condiciones de separación).
3. Generalización: Al tratar IFS no homogéneos y definir una altura intrínseca adecuada, el autor proporciona un marco teórico más robusto que el existente para estudiar la aproximación diofántica en fractales complejos.
4. Dicotomía Interior/Exterior: Se clarifica la diferencia fundamental en el comportamiento de la aproximación diofántica dependiendo de si el fractal tiene interior no vacío o no, mostrando cómo la medida de Lebesgue y la dimensión de Hausdorff interactúan de manera distinta en cada caso.

En resumen, el artículo de Daviaud es un avance fundamental en la teoría de la aproximación diofántica intrínseca, proporcionando fórmulas precisas para la dimensión de Hausdorff de conjuntos de aproximación en fractales auto-similares bajo restricciones aritméticas y generales, y estableciendo conexiones profundas con problemas abiertos en la teoría de números.