Well and badly approximable sets, and rapid winning

Resumo Técnico: Conjuntos Bem e Mal Aproximáveis, e Vitória Rápida

Enunciado do Problema
O artigo aborda uma questão fundamental na aproximação de Diofante métrica: pode um conjunto de dimensão de Hausdorff genuinamente fracionária carregar uma propriedade natural de "vitória" (winning)?

Classicamente, o conjunto dos números $\psi$-aproximáveis, $W(\psi)$, e o conjunto dos números mal aproximáveis, $Bad$, representam comportamentos opostos.

• $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$), o teorema de Jarník–Besicovitch estabelece que $\dim_H W(\tau) = \frac{2}{\tau+1}$, um valor estritamente menor que 1.
• $Bad = \{x \in \mathbb{R} : \inf_{q \ge 1} q\|qx\|_{\mathbb{Z}} > 0\}$. Este conjunto possui dimensão de Hausdorff plena ($\dim_H Bad = 1$) e possui propriedades de magnitude fortes, especificamente sendo "vencedor" (winning) no sentido dos jogos de Schmidt.

A interseção $W(\tau) \cap Bad$ é vazia para $\tau > 1$. No entanto, o 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$) é não vazio e também possui dimensão plena. O problema central é determinar a dimensão de Hausdorff da interseção $W(\tau) \cap Bad_\gamma$. Embora o limite superior seja trivialmente $\frac{2}{\tau+1}$ (já que o conjunto está contido em $W(\tau)$), estabelecer o limite inferior correspondente requer provar que este conjunto de dimensão fracionária é "grande" em um sentido teórico de jogo.

Metodologia
Os autores introduzem um novo arcabouço teórico de jogo chamado Jogo Rápido Forte $\Psi$ (Strong $\Psi$-Rapid Game), que serve como um refinamento sensível à escala do "jogo rápido" introduzido por Hatefi e Simmons.

1. A Estrutura do Jogo:

   • O jogo é jogado em um espaço métrico completo (especificamente intervalos em $\mathbb{R}$).
   • Bob escolhe bolas aninhadas $B_n$ e parâmetros $\alpha_n$. Alice escolhe sub-bolas $A_n \subseteq B_n$.
   • Condição de Vitória: Alice vence se o ponto de interseção estiver no conjunto alvo $S$, ou se Bob falhar em jogar "rapidamente com $\Psi$" ($\Psi$-rapidly).
   • Rapidez $\Psi$: Bob é obrigado a jogar de tal forma que $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} = 0$. Se esta condição falhar (isto é, $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} > 0$), Bob perde por padrão.
   • Diferente dos jogos de Schmidt clássicos (onde a vitória implica dimensão total), o jogo rápido $\Psi$ é calibrado para uma escala de Diofante específica. A calibração $\Psi$ é escolhida para corresponder ao decaimento da função de aproximação $\psi$.

2. Reformulação Dinâmica:

   • A prova utiliza a correspondência de Dani, traduzindo o problema de Diofante para a dinâmica de fluxos no espaço de redes unimodulares ($X = SL_2(\mathbb{R})/SL_2(\mathbb{Z})$) e grades (grids) ($Y$).
   • $Bad_\gamma$ corresponde a órbitas de grades que permanecem afastadas da origem (evitando um cossalte/cusp).
   • $W(\psi)$ corresponde a órbitas que entram em regiões específicas de cossalte (representando boas aproximações).

3. Decomposição Estratégica:
   Os autores constroem a estratégia vencedora de Alice alternando entre dois mecanismos distintos:

   • A Estratégia Padrão: Garante que a grade inhomogênea permaneça uniformemente longe da origem (mantendo a membresia em $Bad_\gamma$) e recupera a rede homogênea a partir de excursões profundas de cossalte de volta a uma região compacta.
   • A Estratégia Auxiliar: Um movimento de entrada em cossalte de "via única". Alice força a rede homogênea a entrar em um cossalte para gerar uma aproximação específica $q$ que satisfaz $\|qx\| < \psi(q)$. Crucialmente, esta estratégia não tenta retornar a rede para uma região limitada; essa tarefa é deixada para a estratégia padrão em rodadas subsequentes. Essa separação elimina uma "perda de raiz quadrada" presente em argumentos anteriores de jogos rápidos, permitindo o limite de dimensão agudo (sharp).

Principais Contribuições e Resultados

1. Definição de Vitória Rápida Forte $\Psi$:
   O artigo define um conjunto $S$ como sendo de vitória rápida forte $\Psi$ se Alice tiver uma estratégia para vencer o jogo para qualquer parâmetro de contração $\beta$ suficientemente pequeno. O Teorema 1.9 prova que $W(\psi) \cap Bad_\gamma$ é vitória rápida forte $\Psi_\psi$, onde a calibração $\Psi_\psi$ é derivada de $\psi$ através da relação $\Psi_\psi(\rho) \asymp \rho^{-1/2}\psi(\rho^{-1/2})$.

2. Proposição de Dimensão (Proposição 2.1):
   Os autores provam que, se um conjunto $S$ é vitória rápida $(\Psi_\omega, \alpha, \beta)$ forte (onde $\Psi_\omega(\rho) = \rho^\omega$), então sua dimensão de Hausdorff satisfaz:
   $$\dim_H S \ge \frac{1}{1+\omega}$$
   Esta proposição vincula a taxa de decaimento da função de calibração $\Psi$ diretamente ao limite inferior da dimensão de Hausdorff.

3. Teorema Principal (Teorema 1.3):
   Para $\psi(q) = q^{-\tau}$ com $\tau \ge 1$ e $\gamma \not\equiv 0 \pmod 1$, o artigo estabelece a dimensão exata da interseção:
   $$\dim_H (W(\tau) \cap Bad_\gamma) = \frac{2}{\tau + 1}$$
   Isso recupera a dimensão de Jarník–Besicovitch para a interseção, confirmando que a restrição "mal aproximável" não reduz a dimensão do conjunto bem aproximável no caso inhomogêneo.

Significância e Alegações
O artigo afirma responder à questão se conjuntos de Diofante genuinamente de dimensão fracionária podem possuir uma propriedade de vitória natural. Ao introduzir o jogo rápido $\Psi$, os autores demonstram que a "vitória" pode ser definida em relação a uma escala específica, em vez de implicar dimensão total.

• Refinamento da Teoria Existente: O trabalho refina o jogo rápido de Hatefi e Simmons. A inovação chave é a separação do movimento de "aproximação" (forçar a entrada em um cossalte) do movimento de "recuperação" (retornar a uma região limitada). Essa separação é explicitamente creditada por eliminar a perda de raiz quadrada que anteriormente impedia limites de dimensão agudos em argumentos de jogos rápidos.
• Universalidade: O resultado vale para qualquer função de aproximação $\psi$, com a propriedade de vitória calibrada para o decaimento específico de $\psi$.
• Limitações e Direções Futuras: Os autores observam que a prova é intrinsecamente assimétrica (rede homogênea para aproximação, grade inhomogênea para evitar a origem). Eles identificam que reverter esses papéis (aproximar um deslocamento inhomogêneo enquanto evita a origem) enfrenta obstruções aritméticas relacionadas à dependência racional de deslocamentos. Eles sugerem que estender este arcabouço para configurações de múltiplas grades ou dimensões superiores exigirá novos "lémas de entrada em cossalte afim" que possam lidar com limites inferiores uniformes em determinantes envolvendo múltiplos deslocamentos.

Em resumo, o artigo fornece uma caracterização teórica de jogo rigorosa para a interseção de números bem e mal aproximáveis inhomogênios, provando que esta interseção retém a dimensão de Jarník–Besicovitch completa através de uma nova estratégia de vitória sensível à escala.