A zero-one law for improvements to Dirichlet's theorem in arbitrary dimension

Titel en Context

Het artikel behandelt een veralgemening van Dirichlet's stelling over diophantische benadering in willekeurige dimensies ($m \times n$ matrices). De auteurs bewijzen een nul-een wet (zero-one law) voor de Lebesgue-maat van de verzameling matrices die een specifieke verbetering van Dirichlet's stelling toelaten, onder zwakkere voorwaarden dan eerder bekend was.

1. Het Probleem

Dirichlet's stelling stelt dat voor elke reële $m \times n$ matrix $A$ en elke $t > 1$, er een niet-nul vector $q \in \mathbb{Z}^n$ en een vector $p \in \mathbb{Z}^m$ bestaan zodanig dat:
$$\|Aq - p\| \leq \frac{1}{t} \quad \text{en} \quad \|q\| < t$$
waarbij $\|\cdot\|$ de supremum-norm is.

De centrale vraag is of men deze ongelijkheid kan verbeteren door $1/t$ te vervangen door een sneller afnemende functie $\psi(t)$ (waarbij $\psi(t) < 1/t$). Men noemt een matrix $A$ $\psi$-Dirichlet als het stelsel
$$\|Aq - p\| < \psi(t) \quad \text{en} \quad \|q\| < t$$
oplosbaar is voor alle voldoende grote $t$.

Het doel van het artikel is om de Lebesgue-maat van de verzameling $DI_{\alpha,\beta}(\psi)$ van zulke matrices te bepalen. Specifiek zoeken de auteurs naar een criterium op basis van de convergentie of divergentie van een bepaalde reeks, dat bepaalt of de maat 0 of 1 is (een nul-een wet).

Eerdere resultaten (zoals in [KSY22]) vereisten een technische aanname over de limietinfimum van partiële sommen (vergelijking 1.8 in de tekst) om de divergentiegeval te behandelen. Deze paper verwijdert die technische beperking.

2. Methodologie

De auteurs gebruiken een dynamische aanpak via de correspondentie van Dani, die het probleem van diophantische benadering reduceert tot een krimpend doel-probleem (shrinking target problem) in de ruimte van roosters (lattices).

Belangrijke stappen in de methode:

1. Reductie tot Dynamica:

   • Ze beschouwen de ruimte van unimodulaire roosters $X_d = SL_d(\mathbb{R})/SL_d(\mathbb{Z})$ met $d=m+n$.
   • Een matrix $A$ wordt geassocieerd met een rooster $\Lambda_A$.
   • De voorwaarde dat $A$ $\psi$-Dirichlet is, wordt vertaald naar het gedrag van de baan van $\Lambda_A$ onder een een-parameter diagonale subgroep $g_s$ (afhankelijk van gewichten $\alpha, \beta$).
   • Het probleem wordt gereduceerd tot het analyseren van de verzameling punten die oneindig vaak een krimpend doel $e\Delta'_r$ binnenkomen.

2. Nieuwe Doelverzamelingen:

   • In tegenstelling tot eerdere werken die gebruik maakten van de niveauverzamels $\Delta^{-1}[0, r]$, introduceren de auteurs een zorgvuldig gekozen deelverzameling $\Delta'_r = \Delta^{-1}[0, r] \cap H(R_r)$.
   • $H(R_r)$ is de verzameling roosters die een niet-nul punt bevatten in een specifiek rechthoekig gebied $R_r$.
   • Deze extra restrictie is cruciaal voor het bewijzen van een disjointheidseigenschap (zie hieronder).

3. Mixing en Equidistributie:

   • Ze maken gebruik van effectieve equidistributie en dubbel-mixing (doubly mixing) resultaten voor de $g_s$-translaties van de subvariëteit $Y \cong \mathbb{T}^{mn}$ in $X_d$.
   • Deze resultaten (gebaseerd op Kleinbock-Margulis en Kleinbock-Shi-Weiss) geven fouttermen die exponentieel afnemen, wat essentieel is voor het schatten van correlaties tussen hitting-events op verschillende tijdstippen.

4. Korte-afstand Mixing en Disjointheid:

   • Het kernnieuws is het bewijs dat voor bepaalde intervallen van tijdstippen, de getransformeerde doelverzamelingen $g^k e\Delta'_r$ paarsgewijs disjunct zijn.
   • Dit wordt mogelijk gemaakt door de specifieke geometrie van $R_r$ in de definitie van $\Delta'_r$. Zonder deze specifieke keuze zou de overlap tussen de doelverzamelingen te groot zijn om de technische voorwaarde (1.8) uit te sluiten.

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 3):
Laat $\psi$ een continue, dalende functie zijn met $\psi(t) < 1/t$. Stel dat er een constante $C_\psi \geq 1$ en $\eta \in (0,1)$ bestaan zodat voor alle $t_0 \leq t_1 \leq t_2 \leq t_1 e^{(\log t_1)^\eta}$ geldt:
$$F_\psi(t_2) \leq C_\psi F_\psi(t_1)$$
waarbij $F_\psi(t) = 1 - t\psi(t)$. (Dit is een zwakkere voorwaarde dan strikte monotonie van $t\psi(t)$).

Dan geldt voor de Lebesgue-maat van de verzameling $\psi$-Dirichlet matrices:
$$\text{Leb}(DI_{\alpha,\beta}(\psi)) = \begin{cases} 1 & \text{als } \sum_{k} k^{-1} F_\psi(k)^{\kappa_d} \log^{\lambda_d}\left(1 + \frac{1}{F_\psi(k)}\right) < \infty \\ 0 & \text{als } \sum_{k} k^{-1} F_\psi(k)^{\kappa_d} \log^{\lambda_d}\left(1 + \frac{1}{F_\psi(k)}\right) = \infty \end{cases}$$
waarbij $\kappa_d = \frac{d^2+d-4}{2}$ en $\lambda_d = \frac{d(d-1)}{2}$.

Convergentiegeval:
Wordt bewezen via de Borel-Cantelli lemma, gebruikmakend van de maat-schattingen van de doelverzamelingen en de effectieve equidistributie.

Divergentiegeval:
Dit is het moeilijkste deel. De auteurs bewijzen dat de verzameling matrices die oneindig vaak het doel raken, maat 1 heeft, zelfs zonder de technische limietinfimum-voorwaarde (1.8) uit [KSY22].

• Ze gebruiken een divergent Borel-Cantelli lemma (Kochen-Stone type).
• Ze schatten de tweedemomenten (correlaties) van de hitting-functies.
• Door de disjointheid van de doelverzamelingen op korte tijdsintervallen (Propositie 4.4) kunnen ze de correlaties voldoende klein houden om de divergentie van de som van de maten te garanderen, zelfs als de functie $\psi$ niet monotoon is in de strikte zin.

4. Bijdragen en Innovatie

• Verwijdering van een technische voorwaarde: De belangrijkste bijdrage is het verwijderen van de voorwaarde (1.8) uit het vorige werk [KSY22]. Deze voorwaarde was nodig om de correlaties tussen hitting-events te beheersen, maar beperkte de toepasbaarheid van de wet.
• Verzwakking van monotonie: De auteurs vervangen de eis dat $t\psi(t)$ stijgend is door een "quasi-dalende" voorwaarde op $F_\psi(t)$, wat een veel bredere klasse van functies $\psi$ toelaat.
• Nieuwe meettechniek: De introductie van de deelverzameling $\Delta'_r$ (gebaseerd op een specifiek rechthoekig gebied $R_r$) is de sleutel tot het bewijzen van de disjointheidseigenschap. Dit stelt hen in staat om de "short-range mixing" schattingen te verbeteren.
• Gewogen probleem: De resultaten gelden voor het gewogen geval met vectoren $\alpha$ en $\beta$, wat een veralgemening is van het standaard geval.

5. Betekenis

Dit artikel sluit een belangrijke lacune in de metriektheorie van diophantische benadering. Het toont aan dat de nul-een wet voor verbeteringen van Dirichlet's stelling in willekeurige dimensies geldt onder zeer algemene voorwaarden, zonder de noodzaak van specifieke limietgedragingen van de partiële sommen.

De methode combineert diepe resultaten uit homogene dynamica (equidistributie, mixing) met zorgvuldige meetkundige constructies van doelverzamelingen in de ruimte van roosters. Dit biedt een krachtig nieuw kader voor het bestuderen van shrinking target problemen in de getaltheorie en kan mogelijk worden toegepast op andere verwante problemen in de metriektheorie.