Metric results for dyadic approximation on the middle-third Cantor set

Resumen Técnico: Resultados Métricos para la Aproximación Diádica en el Conjunto de Cantor de Tercio Medio

Planteamiento del Problema
Este artículo aborda el problema de la aproximación diofántica en fractales, centrándose específicamente en el conjunto de Cantor de tercio medio $C$. El objeto central de estudio es el conjunto $W_2(\tau)$, definido como la colección de puntos $x \in [0, 1]$ tales que $\|2^n x\| < n^{-\tau}$ para infinitos $n \in \mathbb{N}$, donde $\|\cdot\|$ denota la distancia a la parte entera más cercana. Los autores investigan la medida de este conjunto con respecto a la medida de Cantor-Lebesgue $\mu$ (la medida de Hausdorff $\gamma$-dimensional restringida a $C$, donde $\gamma = \log 2 / \log 3$).

El trabajo se centra en una conjetura atribuida a Velani, la cual postula una ley de cero-uno para $\mu(W_2(\tau))$: la medida debería ser 0 si $\tau > 1$ y 1 si $0 < \tau \le 1$. Aunque esta conjetura sigue abierta en su totalidad, investigaciones previas habían establecido resultados parciales. Notablemente, Allen, Baker, Chow y Yu [1] demostraron el caso nulo para $\tau > \approx 1.552$, y Baker [3] demostró el caso de medida completa para $0 < \tau \le 0.01$. La dificultad del problema radica en que las expansiones en base 2 y base 3 de los números en $C$ no son ambas estructuradas, un principio relacionado con la conjetura de $\times 2, \times 3$ de Furstenberg, pero la comprensión cuantitativa actual de esta independencia es limitada.

Metodología
Los autores emplean un enfoque de análisis de Fourier, basándose en las técnicas desarrolladas en [1] y [3]. Una obstrucción primaria en este campo es que la medida de Cantor-Lebesgue $\mu$ carece de decaimiento global de Fourier (es decir, $|\hat{\mu}(\xi)|$ no tiende a 0 cuando $|\xi| \to \infty$). Los trabajos previos se apoyaron en el Lema de Baker [3], el cual establecía que $|\hat{\mu}(h2^n)|$ decae polinómicamente para la mayoría de los casos, excepto para un pequeño conjunto de $n$.

La innovación metodológica clave en este artículo es el establecimiento de estimaciones precisas para las sumas parciales de los coeficientes de Fourier de $\mu$ a lo largo de la secuencia $h2^n$. Específicamente, los autores demuestran estimaciones uniformes para las sumas de $|\hat{\mu}(h2^n)|$ y $|\hat{\mu}(h2^n)|^2$. Estas estimaciones se derivan de propiedades de teoría de números de las potencias de 2 módulo potencias de 3, aprovechando específicamente la valoración 3-ádica y la distribución de residuos.

Las herramientas técnicas centrales incluyen:

1. Nuevas Estimaciones de Fourier: Demostrar que $\sum_{n=1}^N |\hat{\mu}(h2^n)|^2 \ll N^{1-\gamma}$ y $\sum_{n=1}^N |\hat{\mu}(h2^n)| \ll N^{(1-\gamma)/2}$ de manera uniforme en $h \in \mathbb{Z} \setminus \{0\}$.
2. Suavizado y Estimaciones de Integrales: Utilizar la desigualdad de Jackson para construir aproximaciones suaves de las funciones indicadoras de los objetivos decrecientes. Estas se combinan con las nuevas estimaciones de Fourier para derivar cotas sobre los primeros y segundos momentos de la función de conteo.
3. Argumentos de Borel-Cantelli: Aplicar las cotas de los momentos para establecer la ley de cero-uno mediante el lema de Borel-Cantelli.

Contribuciones Clave y Resultados
El artículo proporciona mejoras en los límites de convergencia y divergencia de la conjetura de Velani:

1. Parte Nula (Convergencia): Los autores demuestran que $\mu(W_2(\tau)) = 0$ para $\tau > \frac{1}{\gamma} - \frac{1-\gamma}{3-\gamma} \approx 1.429$. Esto mejora el mejor resultado previo de $\tau > \approx 1.552$ de Allen, Baker, Chow y Yu [1].
2. Parte de Medida Completa (Divergencia): Los autores demuestran que $\mu(W_2(\tau)) = 1$ para $0 < \tau < \frac{\gamma}{12} \approx 0.052$. Esto mejora el mejor resultado previo de $\tau \le 0.01$ de Baker [3].
3. Resultado de Conteo General: Para la parte de medida completa, los autores establecen un resultado de conteo más fuerte (Teorema 1.4). Para cualquier secuencia $(x_n)$ en $[0, 1]$ y $0 < \tau < \gamma/12$, para $\mu$-casi todo $x \in C$:
   $$\lim_{N \to \infty} \frac{\#\{1 \le n \le N : \|2^n x - x_n\| < n^{-\tau}\}}{2 \sum_{n=1}^N n^{-\tau}} = 1.$$
   Esto generaliza el resultado de Baker a entornos inhomogéneos y secuencias arbitrarias.
4. Extensión a Conjuntos de Dígitos Faltantes: La metodología se extiende a una clase más amplia de medidas autosemejantes en conjuntos de dígitos faltantes $K_{b,D}$ (donde $b$ es un primo y $D$ es un conjunto de dígitos). El Teorema 1.7 proporciona un resultado de conteo similar para estos conjuntos, con un umbral $\kappa$ que depende del vector de probabilidad y la base.

Significancia y Reivindicaciones
El artículo afirma que su principal contribución reside en el refinamiento del aporte de Fourier utilizado en el mecanismo de [1] y [3]. Al establecer las estimaciones más agudas sobre las sumas parciales de los coeficientes de Fourier (específicamente las cotas $L^1$ y $L^2$ a lo largo de la secuencia $h2^n$), los autores son capaces de acercar los umbrales conocidos de la conjetura de Velani al valor conjeturado de $\tau = 1$.

Los autores declaran explícitamente que su enfoque se generaliza a medidas autosemejantes en conjuntos de dígitos faltantes, demostrando la robustez de su técnica de análisis de Fourier más allá del caso específico del conjunto de Cantor de tercio medio. Reconocen que, si bien estos resultados representan un progreso significativo, la conjetura permanece abierta para el rango $0.052 \le \tau \le 1.429$. El trabajo no propone nuevas aplicaciones o marcos experimentales, sino que se enfoca estrictamente en avanzar en la comprensión teórica de la aproximación diofántica métrica en fractales.