Resumen Técnico: Medidas de Hausdorff Logarítmicas Positivas de Conjuntos Excepcionales para las Conjeturas de Littlewood $p$-ádica y $t$-ádica

1. Planteamiento del Problema

El artículo aborda las propiedades métricas de los conjuntos excepcionales asociados con dos conjeturas importantes en la aproximación diofántica: la conjetura de Littlewood $p$-ádica y la conjetura de Littlewood $t$-ádica.

• La conjetura de Littlewood $p$-ádica: Introducida por de Mathan y Teulié, postula que para cada número real $x \in \mathbb{R}$ y primo $p$,
  $$\liminf_{q \to \infty} q |q|_p \|qx\| = 0,$$
  donde $| \cdot |_p$ es el valor absoluto $p$-ádico normalizado y $\| \cdot \|$ es la distancia a la parte entera más cercana.
• La conjetura de Littlewood $t$-ádica: Un análogo de cuerpo de funciones sobre un cuerpo finito $\mathbb{F}_q$, que afirma que para cada serie de Laurent formal $\Theta \in \mathbb{F}_q((t^{-1}))$,
  $$\inf_{0 \neq Q \in \mathbb{F}_q[t]} |Q| |Q|_t |\langle Q\Theta \rangle| = 0,$$
  donde $|Q| = q^{\deg Q}$, $|Q|_t = q^{-v_t(Q)}$, y $\langle \cdot \rangle$ denota la parte fraccionaria.

Se sabe que si existen contraejemplos, estos deben pertenecer al conjunto de números mal aproximables, el cual tiene medida de Lebesgue cero. Además, resultados previos de Einsiedler, Katok, Lindenstrauss y Kleinbock establecieron que la dimensión de Hausdorff de estos conjuntos excepcionales es cero. La cuestión central que aborda este artículo es: Si estos conjuntos excepcionales son no vacíos, ¿qué tan "grandes" son en un sentido métrico más fino? Específamente, los autores investigan su tamaño con respecto a las medidas de Hausdorff logarítmicas, que son más sensibles que las medidas estándar de ley de potencia cuando la dimensión es cero.

2. Metodología

Los autores emplean una combinación de teoría de sistemas dinámicos, dinámica simbólica y principios de distribución de masa para derivar cotas inferiores de las medidas de Hausdorff de los conjuntos excepcionales.

2.1 Formulación Dinámica

El problema se reformula en términos de las órbitas de mapas dinámicos específicos:

• Para el caso $p$-ádico, el mapa es $T_p(y) = py \pmod 1$ en el círculo $\mathbb{T} = \mathbb{R}/\mathbb{Z}$. El conjunto excepcional $E_p$ está relacionado con los cierres de órbita $F_p(x)$ de los contraejemplos.
• Para el caso $t$-ádico, el mapa es el desplazamiento a la izquierda de una sola dirección $T$ en el espacio de series de Laurent $I_q = t^{-1}\mathbb{F}_q[[t^{-1}]]$. El conjunto excepcional $E_q^{(t)}$ se analiza mediante los cierres de órbita $K(\Theta)$.

2.2 Estimaciones Diofánticas Uniformes

Un paso técnico central consiste en establecer una cota inferior uniforme sobre la calidad de la aproximación para todos los puntos en el cierre de la órbita de un contraejemplo.

• Si $x$ es un contraejemplo con $m_p(x) > 0$, los autores demuestran que para todo $y$ en el cierre de la órbita de $x$, y para todo entero $q$, la cantidad $q|q|_p \|qy\|$ está acotada inferiormente por una constante positiva $\beta$.
• Del mismo modo, para el caso $t$-adic, se establece una cota inferior uniforme $c$ para la órbita de cualquier contraejemplo $\Theta$.

2.3 Tiempos de Retorno y Separación de Cilindros

Las cotas diofánticas uniformes se traducen en restricciones sobre los tiempos de retorno a los cilindros en la representación simbólica (expansión en base-$p$ o coeficientes de la serie de Laurent).

• Lema 2.7 (Tiempos de Retorno): Si un punto $y$ y su iterado $T^d y$ caen en el mismo cilindro de orden $n$, el desplazamiento $d$ debe satisfacer $n < d + \text{constante}$.
• Esto implica que las preimágenes de un cilindro bajo el mapa son disjuntas entre sí para un número suficientemente grande de iteraciones. Esta separación evita que la masa de la órbita se concentre demasiado en intervalos pequeños.

2.4 Principio de Distribución de Masa

Los autores construyen medidas de probabilidad de Borel invariantes soportadas en los cierres de las órbitas (usando límites débiles de medidas empíricas). Combinando la disyunción de las preimágenes con las cotas uniformes, derivan una cota superior para la medida de cualquier conjunto $U$ de diámetro pequeño $r$:
$$\mu(U) \lesssim \frac{1}{\log(1/r)}.$$
Aplicando el Principio de Distribución de Masa (Lema 2.1), esta cota superior de la medida implica una cota inferior en la medida de Hausdorff con respecto a la función de medida $h(r) = 1/\log(1/r)$.

2.5 Construcciones Explícitas (Característica Impar)

Para la conjetura $t$-ádica sobre cuerpos con característica impar, los autores refinan sus resultados utilizando la construcción explícita de contraejemplos de Lai y Sprang. Esta construcción permite un análisis más preciso de la "ramificación" del conjunto en diferentes escalas, lo que conduce a una función de medida más fuerte con un exponente mayor.

3. Contribuciones Clave y Resultados

3.1 Resultados para la Conjetura de Littlewood $p$-ádica

Teorema 2.2: Si el conjunto de contraejemplos $E_p$ es no vacío, entonces para cualquier $x \in E_p$, el cierre de la órbita $F_p(x)$ tiene medida de Hausdorff logarítmica positiva con respecto a la función de medida $h_1(r) = 1/\log(1/r)$.

• Corolario 2.3: Consecuentemente, si $E_p$ es no vacío, tiene la cardinalidad del continuo.
• Corolario 2.4: La dimensión de Hausdorff logarítmica de $E_p$ es al menos 1 ($\dim_{\log} E_p \ge 1$).

Los autores señalan que esto no contradice los resultados de dimensión de Hausdorff cero de Einsiedler et al., ya que un conjunto puede tener dimensión cero pero medida positiva con respecto a una medida logarítmica.

3.2 Resultados para la Conjetura de Littlewood $t$-ádica

Teorema 3.1: Para cualquier potencia de un primo $q$, si el conjunto excepcional $E_q^{(t)}$ es no vacío, entonces:

1. El cierre de la órbita de cualquier contraejemplo tiene medida $h_1$-positiva.
2. El conjunto excepcional completo $E_q^{(t)}$ tiene medida $h_1$ infinita.
3. $E_q^{(t)}$ tiene la cardinalidad del continuo y dimensión logarítmica al menos 1.

Teorema 3.2 (Resultado más fuerte para $q$ impar): Utilizando la construcción de Lai-Sprang para $q$ impar, los autores demuestran un resultado significativamente más fuerte. Sea $A_q = \frac{q-1}{2} \log_2(q-1)$.

• Existe un subconjunto $C_q \subset E_q^{(t)}$ tal que $0 < H_{h_{A_q}}(C_q) < \infty$, donde $h_{A_q}(r) = 1/(\log(1/r))^{A_q}$.
• El conjunto excepcional completo satisface $H_{h_{A_q}}(E_q^{(t)}) = \infty$.
• Esto implica $\dim_{\log} E_q^{(t)} \ge A_q$.
• Nota: Para $q=3$, $A_3=1$. Para $q \ge 5$, $A_q > 1$.

Característica 2: El artículo señala que para la característica 2, la conclusión con exponente 1 permanece condicionada a la existencia de un contraejemplo, ya que la construcción específica utilizada para las características impares no se aplica directamente.

4. Significado y Reivindicaciones

El artículo afirma abordar las conjeturas de Littlewood desde una perspectiva "métrica", complementando los resultados de "dimensión" existentes.

• Refinando la "pequeñez" de los contraejemplos: Mientras que trabajos previos mostraron que, si existen contraejemplos, estos forman un conjunto de dimensión de Hausdorff cero, este artículo demuestra que tal conjunto no puede ser "demasiado pequeño". Específicamente, no puede ser contable, y debe portar medida positiva (o infinita) bajo medidas logarítmicas.
• Cardinalidad: Los resultados establecen definitivamente que cualquier conjunto excepcional no vacío debe tener la cardinalidad del continuo.
• Posible camino hacia la demostración: Los autores sugieren una estrategia potencial para probar las conjeturas mismas. Si se pudiera probar que el conjunto excepcional tiene medida cero con respecto a una función de medida $h$ específica (mediante métodos de cota superior) mientras que simultáneamente se prueba que la no vacuidad implica medida positiva (o infinita) con respecto a la misma función de medida (mediante métodos de cota inferior), el conjunto se vería forzado a estar vacío. El artículo proporciona la maquinaria de cota inferior necesaria para las medidas logarítmicas.
• Optimidad: El artículo enmarca modestamente sus resultados como cotas inferiores. Plantea la pregunta de si estas cotas pueden fortalecerse (por ejemplo, aumentando el exponente $A$ en la función de medida) o si resultados análogos se mantienen para la conjetura de Littlewood clásica.

En resumen, el artículo establece que los conjuntos excepcionales para las conjeturas de Littlewood $p$-ádica y $t$-ádica, si existen, son métricamente sustanciales en el sentido de las medidas de Hausdorff logarítmicas, poseyendo una cardinalidad infinita y cotas inferiores específicas sobre su dimensión logarítmica.