Technische Samenvatting: Positieve Logaritmische Hausdorff-maten van uitzonderlijke verzamelingen voor de $p$-adische en $t$-adische Littlewood-conjecturen

1. Probleemstelling

Het artikel behandelt de metrische eigenschappen van de uitzonderlijke verzamelingen geassocieerd met twee belangrijke conjecturen in de Diophantische benadering: de $p$-adische Littlewood-conjectuur en de $t$-adische Littlewood-conjectuur.

• De $p$-adische Littlewood-conjectuur: Geïntroduceerd door de Mathan en Teulié, stelt dat voor elk reëel getal $x \in \mathbb{R}$ en priemgetal $p$,
  $$\liminf_{q \to \infty} q |q|_p \|qx\| = 0,$$
  waarbij $| \cdot |_p$ de genormaliseerde $p$-adische absolute waarde is en $\| \cdot \|$ de afstand tot het dichtstbijzijnde geheel getal.
• De $t$-adische Littlewood-conjectuur: Een functieveld-analoog over een eindig veld $\mathbb{F}_q$, die stelt dat voor elke formele Laurent-reeks $\Theta \in \mathbb{F}_q((t^{-1}))$,
  $$\inf_{0 \neq Q \in \mathbb{F}_q[t]} |Q| |Q|_t |\langle Q\Theta \rangle| = 0,$$
  waarbij $|Q| = q^{\deg Q}$, $|Q|_t = q^{-v_t(Q)}$, en $\langle \cdot \rangle$ het breukdeel is.

Het is bekend dat als er tegenvoorbeelden bestaan, deze tot de verzameling slecht benaderbare getallen moeten behoren, die een Lebesgue-maat nul heeft. Bovendien hebben eerdere resultaten van Einsiedler, Katok, Lindenstrauss en Kleinbock vastgesteld dat de Hausdorff-dimensie van deze uitzonderlijke verzamelingen nul is. De centrale vraag die dit artikel adresseert is: Als deze uitzonderlijke verzamelingen niet leeg zijn, hoe "groot" zijn ze dan in een fijnere metrische zin? Specifiek onderzoekt de auteur hun grootte met betrekking tot logaritmische Hausdorff-maten, die gevoeliger zijn dan standaard machtswet-maten wanneer de dimensie nul is.

2. Methodologie

De auteurs maken gebruik van een combinatie van dynamische systementheorie, symbolische dynamica en massaverdelingsprincipes om ondergrenzen af te leiden voor de Hausdorff-maten van de uitzonderlijke verzamelingen.

2.1 Dynamische Formulering

Het probleem wordt geherformuleerd in termen van de banen van specifieke dynamische afbeeldingen:

• Voor het $p$-adische geval is de afbeelding $T_p(y) = py \pmod 1$ op de cirkel $\mathbb{T} = \mathbb{R}/\mathbb{Z}$. De uitzonderlijke verzameling $E_p$ is gerelateerd aan de baan-sluitingen $F_p(x)$ van tegenvoorbeelden.
• Voor het $t$-adische geval is de afbeelding de eenzijdige linkerverschuiving $T$ op de ruimte van Laurent-reeksen $I_q = t^{-1}\mathbb{F}_q[[t^{-1}]]$. De uitzonderlijke verzameling $E_q^{(t)}$ wordt geanalyseerd via de baan-sluitingen $K(\Theta)$.

2.2 Uniforme Diophantische Schattingen

Een kerntechnische stap is het vaststellen van een uniforme ondergrens op de kwaliteit van de benadering voor alle punten in de baan-sluiting van een tegenvoorbeeld.

• Als $x$ een tegenvoorbeeld is met $m_p(x) > 0$, bewijzen de auteurs dat voor alle $y$ in de sluiting van de baan van $x$, en voor alle gehele getallen $q$, de hoeveelheid $q|q|_p \|qy\|$ onder een positieve constante $\beta$ wordt begrensd.
• Similair wordt voor het $t$-adische geval een uniforme ondergrens $c$ vastgesteld voor de baan van elk tegenvoorbeeld $\Theta$.

2.3 Terugkeertijden en Cilinder-scheiding

De uniforme Diophantische grenzen worden vertaald naar beperkingen op de terugkeertijden naar cilinders in de symbolische representatie (basis-$p$ expansie of Laurent-reeks coëfficiënten).

• Lemma 2.7 (Terugkeertijden): Als een punt $y$ en zijn iteratie $T^d y$ in dezelfde cilinder van orde $n$ vallen, moet de verschuiving $d$ voldoen aan $n < d + \text{const}$.
• Dit impliceert dat de pre-afbeeldingen van een cilinder onder de afbeelding paarwijs disjunct zijn voor een voldoende groot aantal iteraties. Deze scheiding voorkomt dat de massa van de baan te zwaar concentreert op kleine intervallen.

2.4 Massaverdelingsprincipe

De auteurs construeren invariante Borel-kansmaten ondersteund op de baan-sluitingen (gebruikmakend van zwakke limieten van empirische maten). Door de disjointheid van pre-afbeeldingen te combineren met de uniforme grenzen, leiden zij een bovengrens af op de maat van elke verzameling $U$ met een kleine diameter $r$:
$$\mu(U) \lesssim \frac{1}{\log(1/r)}.$$
Het toepassen van het Massaverdelingsprincipe (Lemma 2.1), deze bovengrens op de maat impliceert een ondergrens op de Hausdorff-maat met betrekking tot de gaugefunctie $h(r) = 1/\log(1/r)$.

2.5 Expliciete Constructies (Oneven Karakteristiek)

Voor de $t$-adische conjectuur over velden met een oneven karakteristiek verfijnen de auteurs hun resultaten door gebruik te maken van de expliciete tegenvoorbeeld-constructie door Lai en Sprang. Deze constructie maakt een nauwkeurigere analyse mogelijk van de "vertakking" van de verzameling op verschillende schalen, wat leidt tot een sterkere gaugefunctie met een hogere exponent.

3. Belangrijkste Bijdragen en Resultaten

3.1 Resultaten voor de $p$-adische Littlewood-conjectuur

Stelling 2.2: Als de verzameling tegenvoorbeelden $E_p$ niet leeg is, dan heeft voor elke $x \in E_p$ de baan-sluiting $F_p(x)$ een positieve logaritmische Hausdorff-maat met betrekking tot de gauge $h_1(r) = 1/\log(1/r)$.

• Corollary 2.3: Bijgevolg heeft $E_p$, indien niet leeg, de cardinaliteit van het continuüm.
• Corollary 2.4: De logaritmische Hausdorff-dimensie van $E_p$ is minstens 1 ($\dim_{\log} E_p \ge 1$).

De auteurs merken op dat dit niet in strijd is met de resultaten van Einsiedler et al. over een nul Hausdorff-dimensie, aangezien een verzameling een nul dimensie kan hebben maar een positieve maat met betrekking tot een logaritmische gauge.

3.2 Resultaten voor de $t$-adische Littlewood-conjectuur

Stelling 3.1: Voor elke macht van een priemgetal $q$, indien de uitzonderlijke verzameling $E_q^{(t)}$ niet leeg is, geldt:

1. De baan-sluiting van elk tegenvoorbeeld heeft een positieve $h_1$-maat.
2. De volledige uitzonderlijke verzameling $E_q^{(t)}$ heeft een oneindige $h_1$-maat.
3. $E_q^{(t)}$ heeft de cardinaliteit van het continuüm en een logaritmische dimensie van minstens 1.

Theorem 3.2 (Sterker Resultaat voor Oneven $q$): Door gebruik te maken van de Lai-Sprang constructie voor oneven $q$, bewijzen de auteurs een aanzienlijk sterker resultaat. Laat $A_q = \frac{q-1}{2} \log_2(q-1)$.

• Er bestaat een deelverzameling $C_q \subset E_q^{(t)}$ zodanig dat $0 < H_{h_{A_q}}(C_q) < \infty$, waarbij $h_{A_q}(r) = 1/(\log(1/r))^{A_q}$.
• De volledige uitzonderlijke verzameling voldoet aan $H_{h_{A_q}}(E_q^{(t)}) = \infty$.
• Dit impliceert $\dim_{\log} E_q^{(t)} \ge A_q$.
• Noot: Voor $q=3$, $A_3=1$. Voor $q \ge 5$, $A_q > 1$.

Karakteristiek 2: Het artikel merkt op dat voor karakteristiek 2 de conclusie met exponent 1 voorwaardelijk blijft aan de existentie van een tegenvoorbeeld, aangezien de specifieke constructie gebruikt voor oneven karakteristieken niet direct van toepassing is.

4. Betekenis en Claims

Het artikel claimt de Littlewood-conjecturen vanuit een "metrisch" perspectief te benaderen, als aanvulling op de bestaande "dimensie" resultaten.

• Verfijning van de "kleinheid" van Tegenvoorbeelden: Terwijl eerder werk aantoonde dat als tegenvoorbeelden bestaan, zij een verzameling van Hausdorff-dimensie nul vormen, laat dit artikel zien dat een dergelijke verzameling niet "te klein" kan zijn. Specifiek kan zij niet aftelbaar zijn, en moet zij een positieve (of oneindige) maat dragen onder logaritmische gauges.
• Cardinaliteit: De resultaten stellen definitief vast dat elke niet-lege uitzonderlijke verzameling de cardinaliteit van het continuüm heeft.
• Potentieel Pad naar Bewijs: De auteurs suggereren een mogelijke strategie voor het bewijzen van de conjecturen zelf. Indien men zou kunnen bewijzen dat de uitzonderlijke verzameling een maat nul heeft met betrekking tot een specifieke gauge $h$ (via methoden voor bovengrenzen), terwijl men tegelijkertijd bewijst dat niet-leegheid een positieve (of oneindige) maat impliceert met betrekking tot dezelfde gauge (via methoden voor ondergrenzen), dan zou de verzameling gedwongen worden leeg te zijn. Dit artikel levert de noodzakelijke ondergrens-machinerie voor logaritmische gauges.
• Optimaliteit: Het artikel kadert de resultaten bescheiden als ondergrenzen. Er wordt de vraag gesteld of deze grenzen versterkt kunnen worden (bijvoorbeeld door de exponent $A$ in de gaugefunctie te vergroten) of dat analoge resultaten gelden voor de klassieke Littlewood-conjectuur.

Samenvattend stelt het artikel vast dat de uitzonderlijke verzamelingen voor de $p$-adische en $t$-adische Littlewood-conjecturen, indien zij bestaan, metrisch substantieel zijn in de zin van logaritmische Hausdorff-maten, waarbij zij oneindige cardinaliteit en specifieke ondergrenzen op hun logaritmische dimensie bezitten.