Well and badly approximable sets, and rapid winning

Resumen Técnico: Conjuntos Bien y Mal Aproximables, y la Victoria Rápida

Planteamiento del Problema
El artículo aborda una pregunta fundamental en la aproximación diofántica métrica: ¿Puede un conjunto que posee una dimensión de Hausdorff genuinamente fraccionaria poseer una propiedad natural de "victoria"?

Clásicamente, el conjunto de números $\psi$-aproximables, $W(\psi)$, y el conjunto de números mal aproximables, $Bad$, representan comportamientos opuestos.

• $W(\psi) = \{x \in \mathbb{R} : \|qx\|_{\mathbb{Z}} < \psi(q) \text{ para infinitos } q \in \mathbb{N}\}$. Para $\psi(q) = q^{-\tau}$ ($\tau \ge 1$), el teorema de Jarník–Besicovitch establece que $\dim_H W(\tau) = \frac{2}{\tau+1}$, un valor estrictamente menor que 1.
• $Bad = \{x \in \mathbb{R} : \inf_{q \ge 1} q\|qx\|_{\mathbb{Z}} > 0\}$. Este conjunto tiene dimensión de Hausdorff completa ($\dim_H Bad = 1$) y posee propiedades de magnitud fuertes, específicamente siendo "ganador" en el sentido de los juegos de Schmidt.

La intersección $W(\tau) \cap Bad$ es vacía para $\tau > 1$. Sin embargo, el análogo inhomogéneo $Bad_\gamma = \{x \in \mathbb{R} : \inf_{q \ge 1} q\|qx - \gamma\|_{\mathbb{Z}} > 0\}$ (para $\gamma \not\equiv 0 \pmod 1$) es no vacío y también tiene dimensión completa. El problema central es determinar la dimensión de Hausdorff de la intersección $W(\tau) \cap Bad_\gamma$. Aunque el límite superior es trivialmente $\frac{2}{\tau+1}$ (ya que el conjunto está contenido en $W(\tau)$), establecer el límite inferior correspondiente requiere demostrar que este conjunto de dimensión fraccionaria es "grande" en un sentido teórico de juegos.

Metodología
Los autores introducen un nuevo marco teórico de juegos llamado Juego Rápido Fuerte-$\Psi$ (Strong $\Psi$-Rapid Game), que sirve como un refinamiento sensible a la escala del "juego rápido" introducido por Hatefi y Simmons.

1. La Estructura del Juego:

   • El juego se juega en un espacio métrico completo (específicamente intervalos en $\mathbb{R}$).
   • Bob elige bolas anidadas $B_n$ y parámetros $\alpha_n$. Alice elige sub-bolas $A_n \subseteq B_n$.
   • Condición de Victoria: Alice gana si el punto de intersección pertenece al conjunto objetivo $S$, o si Bob no juega de forma "$\Psi$-rápida".
   • $\Psi$-Rapidez: Se requiere que Bob juegue de tal manera que $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} = 0$. Si esta condición falla (es decir, si $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} > 0$), Bob pierde por defecto.
   • A diferencia de los juegos de Schmidt clásicos (donde la victoria implica dimensión completa), el juego rápido-$\Psi$ está calibrado para una escala diofántica específica. La función de medida $\Psi$ se elige para coincidir con el decaimiento de la función de aproximación $\psi$.

2. Reformulación Dinámica:

   • La prueba utiliza la correspondencia de Dani, traduciendo el problema diofántico a la dinámica de flujos en el espacio de redes unimodulares ($X = SL_2(\mathbb{R})/SL_2(\mathbb{Z})$) y mallas ($Y$).
   • $Bad_\gamma$ corresponde a órbitas de mallas que permanecen alejadas del origen (evitando un cúspide).
   • $W(\psi)$ corresponde a órbitas que entran en regiones de cúspide específicas (representando buenas aproximaciones).

3. Descomposición Estratégica:
   Los autores construyen la estrategia ganadora de Alice alternando entre dos mecanismos distintos:

   • La Estrategia por Defecto: Asegura que la malla inhomogénea permanezca uniformemente alejada del origen (manteniendo la membresía en $Bad_\gamma$) y recupera la red homogénea desde excursiones profundas de cúspide de vuelta a una región compacta.
   • La Estrategia Auxiliar: Un movimiento de entrada a la cúspide de "una sola vía". Alice fuerza a la red homogénea hacia una cúspide para generar una aproximación específica $q$ que satisfaga $\|qx\| < \psi(q)$. Crucialmente, esta estrategia no intenta devolver la red a una región acotada; esa tarea se deja a la estrategia por defecto en rondas subsecuentes. Esta separación elimina una "pérdida de raíz cuadrada" presente en argumentos previos de juegos rápidos, permitiendo el límite de dimensión agudo.

Contribuciones Clave y Resultados

1. Definición de Victoria Rápida Fuerte-$\Psi$:
   El artículo define un conjunto $S$ como ganador rápido fuerte $\Psi$ si Alice tiene una estrategia para ganar el juego para cualquier parámetro de contracción $\beta$ suficientemente pequeño. El Teorema 1.9 demuestra que $W(\psi) \cap Bad_\gamma$ es ganador rápido fuerte $\Psi_\psi$, donde la función de medida $\Psi_\psi$ se deriva de $\psi$ mediante la relación $\Psi_\psi(\rho) \asymp \rho^{-1/2}\psi(\rho^{-1/2})$.

2. Proposición de Dimensión (Proposición 2.1):
   Los autores demuestran que si un conjunto $S$ es ganador rápido fuerte $(\Psi_\omega, \alpha, \beta)$ (donde $\Psi_\omega(\rho) = \rho^\omega$), entonces su dimensión de Hausdorff satisface:
   $$\dim_H S \ge \frac{1}{1+\omega}$$
   Esta proposición vincula la tasa de decaimiento de la función de medida $\Psi$ directamente con el límite inferior de la dimensión de Hausdorff.

3. Teorema Principal (Teorema 1.3):
   Para $\psi(q) = q^{-\tau}$ con $\tau \ge 1$ y $\gamma \not\equiv 0 \pmod 1$, el artículo establece la dimensión exacta de la intersección:
   $$\dim_H (W(\tau) \cap Bad_\gamma) = \frac{2}{\tau + 1}$$
   Esto recupera la dimensión de Jarník–Besicovitch para la intersección, confirmando que la restricción "mal aproximable" no reduce la dimensión del conjunto bien aproximable en el caso inhomogéneo.

Significado y Reivindicaciones
El artículo afirma responder a la pregunta de si los conjuntos diofánticos de dimensión genuinamente fraccionaria pueden poseer una propiedad de victoria natural. Al introducir el juego rápido-$\Psi$, los autores demuestran que la "victoria" puede definirse en relación con una escala específica, en lugar de implicar dimensión completa.

• Refinamiento de la Teoría Existente: El trabajo refina el juego rápido de Hatefi y Simmons. La innovación clave es la separación del movimiento de "aproximación" (forzar la entrada en una cúspide) del movimiento de "recuperación" (regresar a una región acotada). Esta separación se atribuye explícitamente a la eliminación de la pérdida de raíz cuadrada que anteriormente impedía obtener límites de dimensión agudos en los argumentos de juegos rápidos.
• Universalidad: El resultado se sostiene para cualquier función de aproximación $\psi$, con la propiedad de victoria calibrada al decaimiento específico de $\psi$.
• Limitaciones y Direcciones Futuras: Los autores señalan que la prueba es intrínsecamente asimétrica (red homogénea para la aproximación, malla inhomogénea para la evitación). Identifican que revertir estos roles (aproximar un desplazamiento inhomogéneo mientras se evita el origen) enfrenta obstrucciones aritméticas relacionadas con la dependencia racional de los desplazamientos. Sugieren que extender este marco a entornos de múltiples mallas o dimensiones superiores requiere nuevos "lemas de entrada a la cúspide afín" que puedan manejar límites inferiores uniformes sobre determinantes que involucran múltiples desplazamientos.

En resumen, el artículo proporciona una caracterización teórica de juegos rigurosa de la intersección de los números bien y mal inhomogéneamente aproximables, demostrando que esta intersección retiene la dimensión completa de Jarník–Besicovitch a través de una novedosa estrategia de victoria sensible a la escala.