Transcendence and measures via the refined Diophantine exponent

Technische Samenvatting: Transcendentie en Maten via de Verfijnde Diofantische Exponent

Probleemstelling
Het artikel behandelt de Diofantische eigenschappen van reële getallen $\xi = \sum_{i \ge 0} a_i \beta^{-i}$, waarbij de coëfficiënten $a_i$ een oneindig woord vormen over een eindige verzameling gehele getallen (of $S$-integers) en $\beta$ een algebraisch getal is met $|\beta| > 1$. Het centrale probleem is het bepalen van de transcendentie van $\xi$ en het vaststellen van kwantitatieve transcendentie-maten (grenzen aan hoe goed $\xi$ benaderd kan worden door algebraïsche getallen).

Klassieke benaderingen, met name die van Adamczewski en Bugeaud, maken gebruik van de Diofantische exponent ($Dio(a)$) om de periodiciteit van het coëfficiëntwoord $a$ te meten. Als $Dio(a)$ voldoende groot is ten opzichte van de hoogte van $\beta$, is $\xi$ ofwel algebraïsch (van een beperkte vorm) ofwel transcendent. Echter, de klassieke exponent vereist exacte herhaling van subwoorden. Deze rigiditeit beperkt de toepasbaarheid op woorden waarbij de herhaling "verduisterd" wordt door ruis of waar de herhaling slechts benadering is (bijvoorbeeld in bepaalde dynamische systemen of woorden met specifieke combinatorische structuren zoals lacunaire sequenties). Hoewel eerdere werken (Corvaja-Zannier, Bell-Diller-Jonsson, Kebis-Luca-Ouaknine-Scoones-Worrell) specifieke gevallen hebben behandeld met behulp van hogere-dimensionale Subspace Theorem-toepassingen, ontbrak een verenigd kader dat in staat is om "ruizige" herhaling te verwerken terwijl de kracht van de klassieke dichotomie behouden blijft.

Methodologie
De auteur introduceert een nieuwe combinatorische invariant, de Verfijnde Diofantische Exponent ($Rdio(a)$), die de klassieke $Dio(a)$ generaliseert.

1. Definitie van $(\epsilon, \delta)$-geslotenheid: In plaats van te vereisen dat twee subwoorden identiek zijn, staat de nieuwe definitie toe dat ze verschillen op een verzameling indices die gedekt kunnen worden door $\delta$ intervallen met een totale lengte van maximaal $\epsilon$ keer de woordlengte. Dit modelleert "ruis" of mismatches.
2. Verfijnde exponent: $Rdio(a)$ is het supremum van $\rho$ waarvoor het woord $a$ subwoorden bevat die aan deze benaderende herhalingsconditie voldoen met een groeisnelheid $t_n \ge \rho s_n$.
3. Toepassing van het Subspace Theorem:
   • Kwalitatief (Stelling A): Het bewijs past het $p$-adische Subspace Theorem aan. De "mismatches" (ruis) worden behandeld als extra variabelen in de lineaire vormen. Door een systeem van lineaire vormen te construeren dat $\xi$, zijn rationale benaderingen en de mismatch-termen omvat, toont de auteur aan dat als $\xi$ algebraïsch is, de coëfficiënten van de mismatch-termen moeten verdwijnen, wat $\xi$ dwingt in een beperkte algebraïsche vorm.
   • Kwantitatief (Stelling B): Om transcendentie-maten af te leiden, gebruikt de auteur de kwantitatieve Subspace Theorem van Evertse. Dit vereist het controleren van de groei van de sequenties $(r_n, s_n, t_n)$ en de hoogte van de benaderingen. Het bewijs omvat het construeren van dichte rationale benaderingen en het begrenzen van het aantal oplossingen voor de resulterende ongelijkheden, wat leidt tot expliciete ondergrenzen voor $|\xi - \alpha|_v$.
4. Mahler's Classificatie: De resultaten worden geïnterpreteerd binnen de classificatie van Mahler voor transcendente getallen ($A, S, T, U$-getallen), waarbij onderscheid wordt gemaakt tussen getallen met eindige of oneindige benaderingsexponenten.

Belangrijkste Bijdragen en Resultaten

• Stelling A (Transcendentie Dichotomie): Als $Rdio(a) > \frac{\log H(\beta)}{\log |\beta|_v}$, dan is $\xi$ ofwel in het getallenveld $K$ (en van een zeer beperkte vorm) of transcendent. Dit verenigt en breidt eerdere resultaten van Adamczewski-Bugeaud, Corvaja-Zannier en anderen uit, waarbij wordt aangetoond dat "ruis" in de herhaling de detectie van transcendentie niet verhindert.
• Stelling B (Transcendentie Maat): Onder sterkere asymptotische condities (Conditie $(**)_\rho$) stelt de auteur een kwantitatieve ondergrens vast voor $|\xi - \alpha|_v$. Specifiek, voor algebraïsch $\alpha \notin K$ van graad $d$ en hoogte $H(\alpha)$, geldt $|\xi - \alpha|_v \ge H(\alpha)^{-(2d)^c (\log 4d)(\log \log 4d)}$. Dit impliceert dat $\xi$ ofwel een $U_d$-getal is (voor kleine $d$) of een $S$- of $T$-getal.
• Stelling C (Lacunaire Getallen): Voor lacunaire reeksen $\xi = \sum a_i \beta^{-u_i}$ biedt het artikel een dichotomie gebaseerd op de groei van de gaten $u_{i+1}/u_i$. Als de gaten super-exponentieel groeien, is $\xi$ een $U_d$-getal; anders is het een $S$- of $T$-getal. Dit verbetert eerdere grenzen door de vereiste dat coëfficiënten $S$-integers moeten zijn, weg te nemen.
• Stelling D (Sturmian en $k$-bonacci Woorden): Voor $\beta$ zij een Pisot-getal van graad maximaal 2, bewijst het artikel dat getallen gegenereerd door Sturmian woorden (met begrensde partiële breuken) en $k$-bonacci woorden $S$- of $T$-getallen zijn. Dit wordt bereikt door de resultaten van de verfijnde exponent te combineren met dichte rationale benaderingen die via de eigenschappen van deze woorden worden geconstrueerd.

Betekenis en Claims
Het artikel claimt een verenigd kader te bieden dat bestaande transcendentie-resultaten voor diverse klassen van oneindige woorden (lacunaire, stuttering, echoing, en die uit algebraïsche dynamica) herstelt en uitbreidt.

• Robuustheid: De primaire betekenis is het vermogen om "ruisige" herhaling te verwerken. De verfijnde exponent $Rdio(a)$ detecteert periodiciteit zelfs wanneer subwoorden niet identiek zijn, een scenario waarin de klassieke $Dio(a)$ zou kunnen falen (bijv. $Dio(a)=1$ terwijl $Rdio(a)=\infty$).
• Kwantitatieve Verfijning: Het werk gaat verder dan louter kwalitatieve transcendentie door expliciete transcendentie-maten te leveren, waarmee de resulterende getallen binnen Mahler's hiërarchie worden geclassificeerd.
• Verbinding met Dynamica: De methodologie wordt gemotiveerd door en verbindt met recente doorbraken in algebraïsche dynamica (Bell, Diller, Jonsson), specifiek met betrekking tot de transcendentie van dynamische graden.
• Beperkingen: De auteur merkt bescheiden op dat hoewel de methode zwakkere resultaten oplevert dan de klassieke Padé-benadering (die functionele vergelijkingen vereist), deze wel toepasbaar is op onaftelbare families van functies en robuust is onder perturbaties. Bovendien, hoewel de methode vaststelt dat getallen in bepaalde gevallen geen $U_1$ of $U_2$ zijn, blijft het bepalen of ze $U_d$ zijn voor hogere $d$ moeilijk wanneer de klassieke Diofantische exponent eindig is.

Samenvattend brengt het artikel het veld vooruit door de combinatorische criteria voor transcendentie te generaliseren naar benaderende herhalingen, waardoor de reikwijdte van getallen waarvoor transcendentie en transcendentie-maten effectief kunnen worden vastgesteld, wordt vergroot.