Transcendence of $p$-adic continued fractions and a quantitative $p$-adic Roth theorem

In dit artikel worden de transcendentie-resultaten voor $p$-adische kettingbreuken verbeterd door te bewijzen dat palindromische en quasi-periodieke kettingbreuken convergeren naar transcendente getallen of kwadratische irrationals zonder restricties op de $p$-adische norm, terwijl er bovendien een kwantitatieve versie van Ridout's stelling wordt geleverd en de groei van de noemers van convergenten van algebraïsche getallen wordt onderzocht.

De kern

Stel je voor dat getallen niet alleen bestaan als gewone breuken (zoals 1/2 of 3/4), maar dat ze ook een heel eigen, oneindige "verhaalstructuur" hebben. In de wiskunde noemen we dit kettingbreuken. Je kunt je een kettingbreuk voorstellen als een reeks blokken die je op elkaar stapelt om een getal te bouwen.

Deze paper, geschreven door Anne Kalitzin en Nadir Murru, gaat over een heel speciaal soort getallen: de p-adische getallen.

De Verbinding: Een Spiegeltje in een andere Wereld

Om dit te begrijpen, moeten we eerst kijken naar de "normale" wereld (de reële getallen, zoals we die op school leren) en de "p-adische" wereld.

• De Reële Wereld: Hier tel je blokken op. Hoe verder je in je kettingbreuk komt, hoe preciezer je bent.
• De p-adische Wereld: Hier is de logica anders. Het is alsof je naar een getal kijkt door een kaleidoscoop die draait rond een specifiek priemgetal (de 'p'). In deze wereld tellen niet de grootte van de getallen, maar hoe ze zich gedragen ten opzichte van dat priemgetal.

De auteurs van dit artikel onderzoeken wat er gebeurt als je in deze p-adische wereld een kettingbreuk bouwt die patronen volgt.

Het Grote Geheim: Patronen en "Spiegelbeeld" Getallen

Stel je voor dat je een kettingbreuk bouwt en je merkt dat de blokken een spiegelbeeld vormen.

• Je legt blokken: 1, 2, 3, 2, 1.
• Dan weer: 5, 6, 7, 6, 5.
• Of misschien zelfs: 1, 2, 3, 4, 3, 2, 1.

Dit noemen wiskundigen palindromen (woorden die voor en achter hetzelfde zijn, zoals "radar").

De oude theorie:
Vroeger dachten wiskundigen dat je om te bewijzen dat zo'n getal "transcendent" is (een heel raar, onvoorspelbaar getal dat je niet kunt beschrijven met een simpele vergelijking), je strenge regels moest hebben. Je mocht bijvoorbeeld niet toestaan dat de blokken te groot werden in de p-adische wereld. Het was alsof je alleen mag bouwen als je blokken niet te zwaar zijn.

De nieuwe doorbraak (Theorema A):
Kalitzin en Murru zeggen: "Nee, dat hoeft niet meer!" Ze bewijzen dat als je een kettingbreuk hebt met willekeurig lange spiegelbeelden (palindromen), het eindresultaat bijna altijd ofwel een transcendent getal is, ofwel een kwadratisch irrationaal getal (een getal dat je wel kunt beschrijven, maar niet als een breuk).

• De metafoor: Het maakt niet uit hoe zwaar of groot je blokken zijn. Als het patroon maar lang genoeg spiegelbeeldig is, is het resultaat ofwel een "magisch" getal, ofwel een "bekend" getal. Er is geen derde optie.

Het "Quasi-Periodieke" Dansje

Dan kijken ze naar een ander patroon: Quasi-periodiek.
Stel je een dans voor. Een danseres doet een stapje, dan een herhaling, dan weer een herhaling, maar elke keer wordt de herhaling iets langer of iets anders.

• Stap, stap, stap.
• Stap, stap, stap, stap, stap.
• Stap, stap, stap, stap, stap, stap, stap...

De auteurs bewijzen dat als deze danspatronen (de herhalingen) snel genoeg groeien, het eindgetal ook weer ofwel transcendent is of een kwadratisch irrationaal getal. Ze hebben de regels voor deze dans losser gemaakt dan voorheen.

De "Politie" van de Wiskunde: De Roth-stelling

Hoe weten ze dit? Ze gebruiken een wiskundige "politie" genaamd de Roth-stelling.

• De taak van de politie: Deze stelling zegt dat algebraïsche getallen (getallen die uit vergelijkingen komen) niet te goed benaderd kunnen worden door breuken. Als iemand probeert een algebraïsch getal te "nabootsen" met een breuk, moet die breuk erg ver weg blijven.
• Het probleem: In de p-adische wereld was er geen "quantitatieve" versie van deze politie. Ze wisten dat de politie er was, maar niet precies hoe streng ze was. Ze konden niet zeggen: "Er zijn maximaal X breuken die te dichtbij komen."

De grote prestatie (Theorema 8):
De auteurs hebben een quantitatieve versie van deze politie bedacht voor de p-adische wereld. Ze hebben een formule gemaakt die precies vertelt hoeveel "verkeerde" breuken er maximaal kunnen zijn.

• De analogie: Het is alsof ze eerder alleen wisten dat er "een paar" dieven waren, maar nu hebben ze een lijst gemaakt: "Er kunnen maximaal 1000 dieven zijn, en als je meer ziet, is het getal zeker geen gewone dief (transcendent)."

Waarom is dit belangrijk?

1. Minder regels: Ze hoeven niet meer te kijken naar de "grootte" van de getallen in de p-adische wereld. Het patroon (spiegelbeeld of herhaling) is genoeg.
2. Nieuw gereedschap: Ze hebben een nieuw wiskundig gereedschap (de quantitative Roth-stelling) gemaakt dat anderen nu kunnen gebruiken om andere raadsels op te lossen.
3. Groeisnelheid: Ze hebben ook gekeken hoe snel de noemers (de onderkant van de breuken) groeien. Ze bewijzen dat als een getal "gewoon" is (algebraïsch), de noemers niet te snel kunnen groeien. Als ze te snel groeien, is het getal zeker transcendent.

Samenvatting in één zin

De auteurs hebben bewezen dat in de vreemde wereld van p-adische getallen, als je een getal bouwt met lange spiegelbeeld-patronen of snelle herhalingen, het resultaat bijna zeker een heel speciaal, onvoorspelbaar getal is, en ze hebben de wiskundige regels (de "politie") verscherpt om dit exact te kunnen bewijzen zonder strenge beperkingen op de grootte van de getallen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Transcendence of p-adic Continued Fractions and a Quantitative p-adic Roth Theorem" van Anne Kalitzin en Nadir Murru, geschreven in het Nederlands.

Titel

Transcendentie van p-adische Kettingbreuken en een Kwantitatieve p-adische Roth-stelling

1. Probleemstelling en Context

Het artikel richt zich op de theorie van de Diophantische benadering in het veld van de p-adische getallen ($\mathbb{Q}_p$). Specifiek onderzoeken de auteurs de voorwaarden waaronder een p-adische kettingbreuk convergeert naar een transcendente getal of een kwadratisch irrationaal getal.

• Achtergrond: In de klassieke reële theorie (over $\mathbb{R}$) zijn er sterke resultaten die aantonen dat kettingbreuken met bepaalde patronen (zoals palindromen of quasi-periodieke structuren) transcendent zijn, vaak gebaseerd op de stelling van Roth en de Subruimte-stelling.
• Huidige beperkingen: Bestaande resultaten voor p-adische kettingbreuken (zoals die van Ooto, en recentelijk Kalitzin en Murru in [15] en [10]) vereisten vaak restricties op de grootte van de partiële quotiënten ($b_i$) in termen van de p-adische norm ($|b_i|_p$). Bijvoorbeeld, er werd vaak vereist dat $|b_i|_p \geq p^k$ voor een bepaalde constante $k$.
• Het doel: De auteurs willen deze restricties op de p-adische norm verwijderen en een meer algemene stelling bewijzen die geldt voor zowel de Browkin- als de Ruban-definitie van p-adische kettingbreuken. Daarnaast willen ze een kwantitatieve versie van de p-adische Roth-stelling (de stelling van Ridout) leveren, die essentieel is voor het analyseren van de groei van de noemers van de benaderingen.

2. Methodologie

De auteurs combineren technieken uit de Diophantische benadering, de theorie van lineaire vormen, en de specifieke eigenschappen van p-adische kettingbreuken.

• Definities: Ze werken met twee veelvoorkomende definities van p-adische kettingbreuken: die van Ruban (waarbij de cijfers in $\{0, \dots, p-1\}$ liggen) en Browkin (waarbij de cijfers in $\{-\frac{p-1}{2}, \dots, \frac{p-1}{2}\}$ liggen).
• Palindromen en Quasi-periodiciteit:
  • Een kettingbreuk bevat "willekeurig lange palindromen" als de reeks van partiële quotiënten oneindig vaak begint met een symmetrische reeks.
  • Een kettingbreuk is "quasi-periodiek" als de reeks van partiële quotiënten lange herhalingen bevat met specifieke structuren (gedefinieerd door parameters $\lambda_i, k_i, n_i$).
• Kwantitatieve Diophantische Benadering:
  • De kern van hun methode is het afleiden van een kwantitatieve versie van Ridout's stelling (het p-adische equivalent van Roth's stelling). Omdat er geen geschikte bestaande kwantitatieve versie was, construeren ze deze zelf door Ridout's bewijs te analyseren en te optimaliseren.
  • Ze gebruiken de Subruimte-stelling van Schlickewei (het p-adische equivalent van de Subruimte-stelling van Schmidt) om aan te tonen dat als een getal algebraïsch is van graad $\geq 3$, het niet te goed benaderd kan worden door rationale getallen die uit de kettingbreukstructuur voortvloeien.
• Growth Analysis: Ze analyseren de groei van de noemers ($B_n$) van de convergenten. Ze bewijzen een bovengrens voor de p-adische norm van deze noemers voor algebraïsche getallen, wat een p-adisch equivalent is van een resultaat van Davenport en Roth.

3. Belangrijkste Bijdragen en Resultaten

A. Verwijdering van restricties op de p-adische norm (Theorema A)

De auteurs bewijzen dat voor een p-adische kettingbreuk $\alpha = [0, b_1, b_2, \dots]$ die begint met willekeurig lange palindromen, de transcendentie of kwadratische irrationaliteit geldt zonder restricties op $|b_i|_p$.

• Voorwaarde: Het enige vereiste is dat de Archimedische normen van de tellers ($A_n$) en noemers ($B_n$) van de convergenten niet te snel groeien:
  $$\max(|A_n|_\infty^{1/n}, |B_n|_\infty^{1/n}) < p^{1/4}$$
  voor voldoende grote $n$.
• Resultaat: Als aan deze voorwaarde wordt voldaan, is $\alpha$ óf transcendent óf een kwadratisch irrationaal getal. Dit is een significant verbetering ten opzichte van eerdere werken die $|b_i|_p \geq p^4$ (of vergelijkbaar) vereisten.

B. Kwantitatieve p-adische Roth-stelling (Theorema 8 en Corollary 9)

Dit is een fundamenteel nieuw resultaat. De auteurs leveren een expliciete bovengrens voor het aantal oplossingen van de ongelijkheid:
$$\left| \alpha - \frac{A}{B} \right|_p < \frac{1}{|B|_\infty^{2+\epsilon}}$$
waarbij $\alpha$ een algebraïsch getal van graad $n \geq 2$ is.

• Resultaat: Het aantal oplossingen is begrensd door een functie die exponentieel afhangt van $\epsilon^{-2}$ en de graad $n$:
  $$\text{Aantal oplossingen} < 4\epsilon^{-1} \log \hat{C} + \exp(C_1 n^2 \epsilon^{-2})$$
  waarbij $\hat{C}$ afhangt van de coëfficiënten van het minimale polynoom van $\alpha$.
• Betekenis: Deze kwantitatieve schatting is noodzakelijk om de groei van de noemers in quasi-periodieke kettingbreuken te controleren en is een zelfstandig waardevol resultaat in de Diophantische benadering.

C. Groei van noemers voor algebraïsche getallen (Theorema 12)

Voor een algebraïsch getal $\alpha$ in $\mathbb{Q}_p$ bewijzen ze een limiet op de groei van de p-adische norm van de noemers van de convergenten ($B_k$).

• Resultaat: Onder bepaalde voorwaarden geldt:
  $$\log \log |B_k|_p < \frac{c(\alpha) k}{(\log k)^{1/2}}$$
  Dit betekent dat de noemers niet "te snel" kunnen groeien in de p-adische norm als het getal algebraïsch is.

D. Quasi-periodieke kettingbreuken (Theorema 15)

Ze passen hun kwantitatieve resultaten toe op quasi-periodieke kettingbreuken.

• Resultaat: Als een quasi-periodieke kettingbreuk voldoet aan de voorwaarde dat de parameters van de herhaling ($\lambda_i$) voldoende snel groeien ten opzichte van de index ($n_i$), specifiek:
  $$\lim_{i \to \infty} \frac{\log \lambda_i (\log n_i)^{1/2}}{n_i} = \infty$$
  dan is het getal transcendent of kwadratisch irrationaal.
• Voordeel: Deze voorwaarde is minder restrictief dan eerdere resultaten en vereist geen specifieke ondergrenzen voor de p-adische norm van de partiële quotiënten.

4. Significatie en Impact

• Generalisatie: Het artikel verwijdert de noodzaak om restricties op te leggen aan de grootte van de partiële quotiënten in de p-adische norm, wat de theorie van p-adische kettingbreuken aanzienlijk generaliseert.
• Nieuw Instrument: De afgeleide kwantitatieve versie van Ridout's stelling is een krachtig nieuw instrument dat waarschijnlijk toepasbaar zal zijn op andere problemen in de p-adische Diophantische benadering.
• Unificatie: De resultaten gelden voor zowel de Browkin- als de Ruban-definitie, wat suggereert dat de onderliggende structurele eigenschappen van p-adische kettingbreuken (zoals palindromen) een universele rol spelen bij het genereren van transcendentie, ongeacht de specifieke keuze van de "floor"-functie.
• Verbinding met Klassieke Theorie: Het werk sluit naadloos aan bij klassieke resultaten van Maillet, Baker, Davenport en Roth, maar past deze succesvol toe in het complexe landschap van de p-adische getallen.

Samenvattend biedt dit artikel een doorbraak in het begrijpen van de transcendentie van p-adische getallen gedefinieerd door kettingbreuken, door de barrière van p-adische norm-restricties te doorbreken en een robuust kwantitatief raamwerk te bieden.