Khintchine dichotomy and Schmidt estimates for self-similar measures on $\mathbb{R}^d$

Aquí presento un resumen técnico detallado del artículo "Khintchine Dichotomy and Schmidt Estimates for Self-Similar Measures on $\mathbb{R}^d$" de Timothée Bénard, Weikun He y Han Zhang.

1. Problema y Contexto

El artículo aborda un problema fundamental en la aproximación diofántica métrica: extender los teoremas clásicos de Khintchine y Schmidt desde la medida de Lebesgue estándar en $\mathbb{R}^d$ al contexto de medidas auto-similares (fractales).

• El Teorema de Khintchine Clásico: Establece una dicotomía para el conjunto de vectores $\psi$-aproximables $W(\psi)$. Si $\sum \psi(q)^d < \infty$, la medida de Lebesgue de $W(\psi)$ es 0; si la suma diverge, la medida es 1.
• La Conjetura de Mahler: Preguntó cómo se aproximan los puntos en conjuntos fractales (como el conjunto de Cantor) por racionales.
• Estado del Arte: Trabajos previos (Kleinbock-Lindenstrauss-Weiss, Khalil-Luethi, Simmons-Weiss) habían logrado resultados parciales, pero a menudo requerían restricciones severas:
  • Dimensión $d=1$.
  • Funciones de aproximación $\psi$ que decaen muy rápido.
  • Medidas con "dimensiones grandes" o que satisfacen condiciones de "conjunto abierto" (Open Set Condition).
  • Restricción a soluciones primitivas en el conteo de Schmidt.

El objetivo principal de este trabajo es establecer la dicotomía de Khintchine y las estimaciones de conteo de Schmidt para cualquier medida auto-similar en $\mathbb{R}^d$ (para cualquier $d \ge 1$), sin restricciones sobre la función $\psi$ ni sobre la primitividad de las soluciones.

2. Metodología y Enfoque Técnico

Los autores utilizan una combinación profunda de teoría ergódica, dinámica en espacios homogéneos y geometría de números. La estrategia se basa en la correspondencia de Dani, que traduce problemas de aproximación diofántica en el comportamiento de trayectorias en el espacio de retículos $X = \text{SL}_{d+1}(\mathbb{R})/\text{SL}_{d+1}(\mathbb{Z})$.

A. Correspondencia de Dani y Flujos Expansivos

La aproximación diofántica de un vector $s \in \mathbb{R}^d$ se relaciona con la órbita del retículo $a(t)u(s)\mathbb{Z}^{d+1}$ bajo el flujo diagonal expansivo $a(t)$ y el flujo unipotente $u(s)$.

• Teorema 1.2 (Equidistribución Efectiva): El núcleo de la prueba es demostrar que la medida auto-similar $\sigma$, cuando se empuja a lo largo de la órbita unipotente y se expande mediante $a(t)$, se equidistribuye exponencialmente rápido en el espacio homogéneo $X$ con respecto a la medida de Haar $m_X$.
  $$\left| \int_{\mathbb{R}^d} f(a(t)u(s)x) d\sigma(s) - m_X(f) \right| \le C S_{\infty,l}(f) \text{inj}(x)^{-1} t^{-c}$$
  Donde $\text{inj}(x)$ es el radio de inyectividad.

B. Caminatas Aleatorias y "Dimensional Bootstrap"

Para probar la equidistribución, los autores interpretan la medida $\sigma$ a lo largo del flujo como una caminata aleatoria asociada a una medida $\mu$ en $\text{SL}_{d+1}(\mathbb{R})$.

• Obstáculo Algebraico: En dimensiones $d \ge 2$, los métodos anteriores (como los de [5] y [7]) fallan debido a obstrucciones algebraicas que impiden que las subespacios aleatorios satisfagan la hipótesis de "no-concentración" fuerte necesaria para los teoremas de proyección.
• Solución Innovadora:
  1. Regularidad Hölder: Demuestran que las medidas auto-similares tienen propiedades de regularidad Hölder cerca de subvariedades algebraicas propias (Teorema 4.4), evitando que se concentren en subespacios lineales.
  2. Hipótesis de No-Concentración Suave (MNC): Introducen una hipótesis de no-concentración más débil pero suficiente, que permite superar las obstrucciones algebraicas en $d \ge 2$.
  3. Esquema de Bootstrap Dimensional: Utilizan un esquema iterativo que "eleva" la dimensión de la distribución de la caminata aleatoria paso a paso hasta acercarse a la dimensión del espacio ambiente, utilizando técnicas de multicorte (multislicing) y teoremas de proyección supercríticos/subcríticos.

C. Conteo de Schmidt y Transformadas de Siegel

Para la parte divergente (conteo de soluciones), deben manejar transformadas de Siegel que no son acotadas ni siquiera en $L^2$ (especialmente en $d=1$).

• Desarrollan estrategias de truncamiento y estimación de momentos para estas transformadas.
• Distinguen entre casos $d \ge 2$ (donde la transformada tiene segundo momento finito) y $d=1$ (donde requieren transformadas restringidas a puntos primitivos o con GCD acotado para controlar los momentos).

3. Contribuciones Clave

1. Generalización a Dimensión Arbitraria: Extienden la dicotomía de Khintchine a $\mathbb{R}^d$ para cualquier $d \ge 1$, eliminando la restricción $d=1$ presente en trabajos anteriores.
2. Teorema de Schmidt Completo: Proporcionan una estimación asintótica para el número de soluciones (no solo primitivas) a la desigualdad diofántica, sin restricciones en la función de aproximación $\psi$.
   $$\#\{(p, q) : \|qs - p\| < \psi(q)\} \sim \sum_{q=1}^N \psi(q)^d$$
3. Nuevas Técnicas de No-Concentración: Resuelven el problema de las obstrucciones algebraicas en dimensiones superiores mediante la introducción de la hipótesis MNC y la demostración de regularidad Hölder de medidas auto-similares cerca de subvariedades algebraicas.
4. Equidistribución Efectiva: Establecen un teorema de equidistribución efectiva con tasa exponencial para medidas fractales en espacios homogéneos, que es de interés independiente en teoría ergódica.

4. Resultados Principales

• Teorema 1.1 (Dicotomía de Khintchine y Schmidt): Para una medida auto-similar $\sigma$ irreducible con momento exponencial finito en $\mathbb{R}^d$:
  • Si $\sum \psi(q)^d < \infty$, entonces $\sigma(W(\psi)) = 0$.
  • Si $\sum \psi(q)^d = \infty$, entonces $\sigma(W(\psi)) = 1$ y se cumple la ley asintótica de conteo de Schmidt mencionada arriba.
• Teorema 1.2 (Equidistribución Efectiva): La medida $\sigma$ se equidistribuye exponencialmente rápido bajo el flujo expansivo en el espacio de retículos, con un error controlado por el radio de inyectividad y la tasa de contracción.
• Teorema 1.3 (Equidistribución de la Caminata Aleatoria): La distribución de la caminata aleatoria asociada a la medida auto-similar en $\text{SL}_{d+1}(\mathbb{R})$ converge a la medida de Haar con una tasa exponencial.

5. Significancia e Impacto

Este trabajo representa un avance significativo en la intersección entre la teoría de números, la teoría de sistemas dinámicos y la geometría fractal:

• Resolución de una Conjetura Abierta: Cierra la brecha entre los resultados conocidos para $d=1$ y el caso general de dimensión superior, proporcionando una respuesta afirmativa y completa a la pregunta de Mahler en su formulación moderna.
• Herramientas Nuevas: Las técnicas desarrolladas para manejar obstrucciones algebraicas en el "bootstrap dimensional" y el tratamiento de transformadas de Siegel no acotadas abren nuevas vías para estudiar medidas singulares en espacios homogéneos más generales.
• Aplicabilidad: Los resultados son aplicables a una amplia gama de fractales clásicos (conjuntos de Cantor, triángulos de Sierpiński, alfombras, convoluciones de Bernoulli) sin necesidad de condiciones de separación fuerte (como la condición de conjunto abierto) ni restricciones en la dimensión de Hausdorff.

En resumen, el artículo unifica y generaliza la teoría de aproximación diofántica métrica para fractales, demostrando que, desde la perspectiva de la medida auto-similar, el comportamiento es tan "típico" como el de la medida de Lebesgue, siempre que se cumplan las condiciones básicas de irreducibilidad y contracción.