Well and badly approximable sets, and rapid winning

Technische Samenvatting: Goed en Slecht Benaderbare Verzamelingen, en Snelle Winstgevendheid

Probleemstelling
Het artikel behandelt een fundamentele vraag in de metrische Diofantische benadering: Kan een verzameling met een werkelijk fractale Hausdorff-dimensie een natuurlijke "winstgevende" eigenschap bezitten?

Klassiek gezien vertegenwoordigen de verzameling $\psi$-benaderbare getallen, $W(\psi)$, en de verzameling slecht benaderbare getallen, $Bad$, tegenovergestelde gedragingen.

• $W(\psi) = \{x \in \mathbb{R} : \|qx\|_{\mathbb{Z}} < \psi(q) \text{ voor oneindig veel } q \in \mathbb{N}\}$. Voor $\psi(q) = q^{-\tau}$ ($\tau \ge 1$) stelt de Jarník–Besicovitch-stelling vast dat $\dim_H W(\tau) = \frac{2}{\tau+1}$, een waarde die strikt kleiner is dan 1.
• $Bad = \{x \in \mathbb{R} : \inf_{q \ge 1} q\|qx\|_{\mathbb{Z}} > 0\}$. Deze verzameling heeft een volledige Hausdorff-dimensie ($\dim_H Bad = 1$) en bezit sterke grootsheidseigenschappen, specifiek zijnde "winstgevend" in de zin van Schmidt-spellen.

De intersectie $W(\tau) \cap Bad$ is leeg voor $\tau > 1$. Echter, de inhomogene analogon $Bad_\gamma = \{x \in \mathbb{R} : \inf_{q \ge 1} q\|qx - \gamma\|_{\mathbb{Z}} > 0\}$ (voor $\gamma \not\equiv 0 \pmod 1$) is niet leeg en heeft eveneens een volledige dimensie. Het centrale probleem is het bepalen van de Hausdorff-dimensie van de intersectie $W(\tau) \cap Bad_\gamma$. Hoewel de bovengrens triviaal $\frac{2}{\tau+1}$ is (aangezien de verzameling deel uitmaakt van $W(\tau)$), vereist het vaststellen van de bijbehorende ondergrens bewijzen dat deze fractale verzameling "groot" is in een speltheoretische zin.

Methodologie
De auteurs introduceren een nieuw speltheoretisch kader genaamd het Sterke $\Psi$-Snelle Spel, dat dient als een schaalgevoelige verfijning van het "snelle spel" geïntroduceerd door Hatefi en Simmons.

1. De Spelstructuur:

   • Het spel wordt gespeeld op een voltooide metriek ruimte (specifiek intervallen in $\mathbb{R}$).
   • Bob kiest geneste bollen $B_n$ en parameters $\alpha_n$. Alice kiest sub-bollen $A_n \subseteq B_n$.
   • Winstvoorwaarde: Alice wint als het snijpunt in de doelverzameling $S$ ligt, of als Bob niet "$\Psi$-snel" speelt.
   • $\Psi$-Snelheid: Bob is verplicht te spelen zodanig dat $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} = 0$. Als deze voorwaarde niet wordt gehaald (d.w.z. als $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} > 0$), verliest Bob standaard.
   • In tegenstelling tot klassieke Schmidt-spellen (waar winst volledige dimensie impliceert), is het $\Psi$-snelle spel gekalibreerd aan een specifieke Diofantische schaal. De gauge $\Psi$ wordt gekozen om overeen te komen met de verval van de benaderingsfunctie $\psi$.

2. Dynamische Herformulering:

   • Het bewijs maakt gebruik van de Dani-correspondentie, waarbij het Diofantische probleem wordt vertaald naar de dynamica van stromingen op de ruimte van unimodulaire roosters ($X = SL_2(\mathbb{R})/SL_2(\mathbb{Z})$) en roosters ($Y$).
   • $Bad_\gamma$ komt overeen met roosterbanen die ver weg blijven van de oorsprong (het vermijden van een cusp).
   • $W(\psi)$ komt overeen met banen die specifieke cusp-regio's binnengaan (wat goede benaderingen vertegenwoordigt).

3. Strategische Decompositie:
   De auteurs construeren de winnende strategie van Alice door af te wisselen tussen twee verschillende mechanismen:

   • De Standaardstrategie: Zorgt ervoor dat het inhomogene rooster uniform ver van de oorsprong blijft (behoud van lidmaatschap in $Bad_\gamma$) en herstelt het homogene rooster vanuit diepe cusp-excursies terug naar een compact gebied.
   • De Hulppstrategie: Een "éénrichtings" cusp-entry zet. Alice dwingt het homogene rooster in een cusp om een specifieke benadering $q$ te genereren die voldoet aan $\|qx\| < \psi(q)$. Cruciaal is dat deze strategie niet probeert het rooster terug te brengen naar een begrensd gebied; die taak wordt overgelaten aan de standaardstrategie in opeenvolgende rondes. Deze scheiding elimineert een "wortelverlies" die aanwezig was in eerdere snelle spel-argumenten, wat een scherpe dimensie-ondergrens mogelijk maakt.

Belangrijkste Bijdragen en Resultaten

1. Definitie van Sterk $\Psi$-Snel Winstgevend:
   Het artikel definieert een verzameling $S$ als sterk $\Psi$-snel winstgevend als Alice een strategie heeft om te winnen voor elke voldoende kleine contractieparameter $\beta$. Stelling 1.9 bewijst dat $W(\psi) \cap Bad_\gamma$ sterk $\Psi_\psi$-snel winstgevend is, waarbij de gauge $\Psi_\psi$ afgeleid is van $\psi$ via de relatie $\Psi_\psi(\rho) \asymp \rho^{-1/2}\psi(\rho^{-1/2})$.

2. Dimensie-propositie (Propositie 2.1):
   De auteurs bewijzen dat als een verzameling $S$ sterk $(\Psi_\omega, \alpha, \beta)$-snel winstgevend is (waarbij $\Psi_\omega(\rho) = \rho^\omega$), dan voldoet de Hausdorff-dimensie aan:
   $$\dim_H S \ge \frac{1}{1+\omega}$$
   Deze propositie koppelt de vervalsnelheid van de gauge-functie $\Psi$ direct aan de ondergrens van de Hausdorff-dimensie.

3. Hoofdstelling (Stelling 1.3):
   Voor $\psi(q) = q^{-\tau}$ met $\tau \ge 1$ en $\gamma \not\equiv 0 \pmod 1$, stelt het artikel de exacte dimensie van de intersectie vast:
   $$\dim_H (W(\tau) \cap Bad_\gamma) = \frac{2}{\tau + 1}$$
   Dit herstelt de Jarník–Besicovitch-dimensie voor de intersectie, waarmee wordt bevestigd dat de "slecht benaderbare" beperking de dimensie van de goed benaderbare verzameling in het inhomogene geval niet vermindert.

Betekenis en Claims
Het artikel beweert antwoord te geven op de vraag of werkelijk fractale-dimensionale Diofantische verzamelingen een natuurlijke winnende eigenschap kunnen bezitten. Door het $\Psi$-snelle spel te introduceren, tonen de auteurs aan dat "winnen" kan worden gedefinieerd relatief aan een specifieke schaal, in plaats van dat het volledige dimensie impliceert.

• Verfijning van Bestaande Theorie: Het werk verfijnt het snelle spel van Hatefi en Simmons. De belangrijkste innovatie is de scheiding van de "benaderingszet" (het forceren van de entree in een cusp) van de "herstelzet" (het terugkeren naar een begrensd gebied). Deze scheiding wordt expliciet toegeschreven aan het elimineren van het wortelverlies dat voorheen scherpe dimensie-ondergrenzen in snelle spel-argumenten verhinderde.
• Universaliteit: Het resultaat geldt voor elke benaderingsfunctie $\psi$, waarbij de winnende eigenschap gekalibreerd is aan de specifieke verval van $\psi$.
• Beperkingen en Toekomstige Richtingen: De auteurs merken op dat het bewijs inherent asymmetrisch is (homogeen rooster voor benadering, inhomogeen rooster voor vermijding). Zij identificeren dat het omkeren van deze rollen (het benaderen van een inhomogene verschuiving terwijl de oorsprong wordt vermeden) staat voor aritmetische obstructies gerelateerd aan de rationale afhankelijkheid van verschuivingen. Zij suggereren dat het uitbreiden van dit kader naar multi-grid instellingen of hogere dimensies nieuwe "affine cusp-entry lemma's" vereist die uniforme ondergrenzen op determinanten met meerdere verschuivingen kunnen hanteren.

Samenvattend biedt het artikel een rigoureuze speltheoretische karakterisering van de intersectie van goed en inhomogeen slecht benaderbare getallen, waarbij bewezen wordt dat deze intersectie de volledige Jarník–Besicovitch-dimensie behoudt door middel van een nieuw, schaalgevoelig winnend strategie.