🔢 mathematics

If a machine did it, it is probably transcendental (even $p$ -adically)

Dit artikel stelt vast dat $p$ -adische getallen met doorgekomen breuken gegenereerd door gegeneraliseerde automatische, periodieke of palindromische woorden ofwel algebraïsch zijn van graad hoogstens 2 ofwel transcendent, waarmee belangrijke resultaten uit de reële setting uitbreiden naar de $p$ -adische context.

Oorspronkelijke auteurs: Laura Capuano, Sara Checcoli, Marzio Mula, Lea Terracini

Gepubliceerd 2026-07-14

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Laura Capuano, Sara Checcoli, Marzio Mula, Lea Terracini

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een magische machine hebt die een getal neemt en het afbreekt in een lange, eindeloze reeks symbolen, zoals een geheime code. In de wereld van de reële getallen (de soort die we gebruiken om het aantal pizzastukjes te meten), weten wiskundigen al heel lang dat als deze code een eenvoudig, herhalend patroon volgt, het getal meestal "speciaal" is (zoals een wortel van 2). Maar als de code rommelig en chaotisch is, is het getal waarschijnlijk "transcendent"—een chique woord voor een getal dat zo wild en complex is dat het niet beschreven kan worden door een eenvoudige algebraïsche vergelijking.

Stel je nu een ander soort getallensysteem voor, de p-adische getallen. Denk aan deze als getallen die leven in een vreemd, ondersteboven universum waar de "grootte" van een getal afhangt van hoe deelbaar het is door een specifiek priemgetal (zoals 3, 5 of 7), in plaats van hoe groot het lijkt op een liniaal. In dit universum zijn de regels voor het afbreken van getallen in codes (genoemd doorstervende breuken) veel vager. Er is niet slechts één manier om dit te doen; er zijn oneindig veel manieren, en voor een lange tijd wist niemand of dezelfde regel ("eenvoudige code = speciaal getal") ook hier van toepassing was.

De Grote Ontdekking
In dit artikel hebben Laura Capuano en haar team een brug geslagen tussen de rommelige wereld van p-adische codes en de strikte wereld van de algebra. Ze stelden een eenvoudige vraag: "Als een machine een p-adisch getal genereert met een code die een specifiek, gestructureerd patroon heeft (zoals herhalende blokken of gespiegelde secties), is dat getal dan een simpel 'kwadratisch' getal of een wild 'transcendent' getal?"

Hun antwoord is een luidruchtig ja. Ze bewezen dat als de code deze specifieke patronen volgt (die ze "eigenschap ♠" en "eigenschap ♣" noemen), het resulterende getal niet een complex algebraïsch getal van graad 3 of hoger kan zijn. Het is een alles-of-niets situatie: het getal is ofwel simpel (graad 2 of lager) ofwel transcendent. Er is geen middenweg.

Wat Ze Hebben Uitgesloten
Het artikel betoogt expliciet tegen het idee dat je "complexe" algebraïsche getallen (die ingewikkelde vergelijkingen nodig hebben om opgelost te worden) kunt vinden die zich verstoppen binnen deze gestructureerde codes.

Het argument van de "Onwaarschijnlijke Doorsnede": De auteurs leggen uit dat gestructureerde codes zeldzaam zijn, zoals het vinden van een specifieke zin in een bibliotheek vol met alle mogelijke wartaal. Algebraïsche getallen van hoge graad zijn ook zeldzaam. Het artikel suggereert dat het zeer onwaarschijnlijk is dat deze twee zeldzame groepen elkaar ooit zouden ontmoeten, tenzij de code extreem eenvoudig (eindig of perfect herhalend) is.
De "Machine"-limiet: Ze laten zien dat zelfs als je een machine (een eindige toestandsautomaat) gebruikt om de code te genereren, of als de code "lage complexiteit" heeft (wat betekent dat het niet te veel verschillende patronen heeft), je nog steeds die verraderlijke, hoog-graads algebraïsche getallen niet zult vinden. Als de code gestructureerd genoeg is om interessant te zijn, is het getal dat het produceert ofwel te simpel ofwel te wild om dat specifieke "midden"-type algebraïsche getal te zijn.

Hoe Zeker Zijn Ze?
De auteurs hebben niet alleen gegokt of simulaties gedraaid; ze hebben het bewezen.

Ze gebruikten een krachtig wiskundig instrument genaamd het Subspace Theorem (een p-adische versie van een beroemd stelling van Schmidt). Zie dit theorem als een supergevoelige detector die kan detecteren of een getal "te goed" wordt benaderd door eenvoudige breuken.
Ze toonden aan dat als de code de juiste structuur heeft, het getal zo perfect wordt benaderd door een reeks eenvoudigere getallen dat het moet ofwel kwadratisch ofwel transcendent zijn.
Hun bewijs geldt voor elke p-adische vloerfunctie (de regel die de machine gebruikt om het volgende symbool in de code te kiezen), mits de symbolen niet te klein zijn in een specifieke p-adische zin. Ze gaven zelfs exacte formules voor hoe groot die symbolen moeten zijn (waarbij constanten zoals $p^k$ betrokken zijn) om het bewijs te laten werken.

De "Machine"-Metafoor
Stel je het p-adische getal voor als een lied.

Als het lied een simpele, herhalende loop is, is het een "kwadratisch" getal.
Als het lied pure chaos is, is het "transcendent".
Het artikel bewijst dat je niet een complex, niet-herhalend melodie (zoals een jazzimprovisatie die een strikte regel volgt) kunt hebben en toch een "middenweg" algebraïsch getal kunt zijn. Als de melodie de specifieke "gestructureerde" regels volgt die de auteurs vonden, stort het lied ofwel in tot een simpele loop, ofwel tot totale chaos.

Waarom Dit Belangrijk Is
Vóór dit moment kenden we deze regel alleen voor reële getallen. In de p-adische wereld was het rommelig omdat er zoveel verschillende manieren zijn om de "vloerfunctie" (het regelboek van de machine) te bouwen. Dit artikel zegt: "Het maakt niet uit welk regelboek je kiest; zolang de code deze specifieke patronen heeft, is het resultaat hetzelfde." Het breidt een beroemd resultaat van Bugeaud uit de reële wereld uit naar de p-adische wereld, en sluit daarmee een gat in ons begrip van hoe getallen en patronen interageren in deze vreemde wiskundige universums.

Kortom: Als een machine een p-adisch getal bouwt met een gestructureerde, herhalende of gespiegelde code, is dat getal ofwel simpel of transcendent. Er is daar geen "tussenin" algebraïsch getal te vinden.

Technische Samenvatting: "Als een machine het deed, is het waarschijnlijk transcendent (zelfs p-adisch)"

Probleemstelling
Het artikel onderzoekt de algebraïsche aard van $p$ -adische getallen waarvan de doorlopende breuken overeenkomen met specifieke klassen van woorden. Hoewel doorlopende breuken in de reële setting ( $\mathbb{R}$ ) een goed gevestigde brug vormen tussen de combinatorische structuur van woorden en de algebraïsche eigenschappen van getallen (bijv. de stelling van Lagrange die periodieke woorden koppelt aan kwadratische irrationale getallen), presenteert de $p$ -adische setting ( $\mathbb{Q}_p$ ) aanzienlijke structurele uitdagingen.

De centrale vraag die wordt behandeld, is of families van "gestructureerde" woorden (generalisaties van periodieke, automatische of palindromische woorden) overeenkomen met algebraïsche getallen van graad groter dan 2 in $\mathbb{Q}_p$ . In het reële geval suggereren resultaten door Bugeaud en Adamczewski-Bugeaud dat dergelijke gestructureerde woorden over het algemeen transcendente getallen opleveren, waarbij de enige algebraïsche uitzonderingen kwadratisch (periodiek) of rationeel (eindig) zijn. De auteurs streven ernaar een analoog resultaat voor $p$ -adische getallen vast te stellen, waarbij zij de afwezigheid van een canonieke vloerfunctie en de afwezigheid van een volledig $p$ -adisch analoog aan de stelling van Lagrange overwinnen.

Methodologie
De auteurs passen de strategie toe die door Bugeaud in de reële setting werd gebruikt, waarbij zij de $p$ -adische Subspace Theorem (specifiek de versie van Schlickewei) als het primaire instrument gebruiken. De methodologie verloopt als volgt:

Woordklassen: De studie richt zich op twee generalisaties van periodieke woorden gedefinieerd door Bugeaud:
- $\spadesuit$ -woorden: Woorden die prefixes bevatten van de vorm $W_n U_n V_n U_n$ (herhaalde blokken).
- $\clubsuit$ -woorden: Woorden die prefixes bevatten van de vorm $W_n U_n V_n \tilde{U}_n$ (palindromische blokken, waarbij $\tilde{U}_n$ de omkering van $U_n$ is).
  Deze klassen omvatten automatische woorden en woorden met een lage complexiteit.
Benaderingsstrategie: De kern van het idee is het benutten van de repetitieve of palindromische structuur van het woord om een sequentie van benaderende getallen ( $\alpha_n$ ) te construeren die ofwel kwadratisch of rationeel zijn.
- Voor $\spadesuit$ -woorden construeren de auteurs $\alpha_n$ met periodieke doorlopende breuken.
- Voor $\clubsuit$ -woorden construeren de auteurs $\alpha_n$ met palindromische doorlopende breuken.
  Omdat het oorspronkelijke getal $\alpha$ en de benaderingen $\alpha_n$ een lang gemeenschappelijk prefix delen in hun doorlopende breukontwikkeling, zijn ze extreem dicht bij elkaar in de $p$ -adische metriek.
Toepassing van de Subspace Theorem: De auteurs definiëren specifieke lineaire vormen die $\alpha$ en de continuanten ( $A_n, B_n$ ) van de doorlopende breuk involveren. Zij tonen aan dat als $\alpha$ algebraïsch zou zijn van graad $\ge 3$ , de kwaliteit van de benadering door de gestructureerde woorden de grenzen van de $p$ -adische Subspace Theorem zou schenden. Dit leidt tot een contradictie, wat impliceert dat $\alpha$ niet van graad 3 of hoger kan zijn.
Afhandeling van $p$ -adische specificaties: Een aanzienlijk deel van het technische werk betreft het beheren van de niet-canonieke aard van $p$ -adische vloerfuncties ( $s: \mathbb{Q}_p \to \mathbb{Z}[1/p]$ ). De auteurs leggen milde voorwaarden op aan de partiële breuken (specifiek grenzen aan hun $p$ -adische en Euclidische normen) om de convergentie en toepasbaarheid van de Subspace Theorem te waarborgen.

Belangrijkste Bijdragen en Resultaten
De belangrijkste bijdrage van het artikel is Theorem 1.4 (en de expliciete versies, Theorems 4.1 en 4.3), die stelt:

Laat $p$ een oneven priemgetal zijn en $s$ een $p$ -adische vloerfunctie zijn. Als $\alpha = [0, a_1, a_2, \dots]_s$ een $p$ -adisch getal is waarvan het geassocieerde woord voldoet aan conditie $\spadesuit$ of $\clubsuit$ (met specifieke grenzen op de groei van de continuanten en de grootte van de partiële breuken), dan is $\alpha$ ofwel rationeel, kwadratisch, of transcendent.

Specifieke bevindingen omvatten:

Generalisatie van Reële Resultaten: Dit biedt een $p$ -adisch analoog aan Bugeuds Theorem 1.3 voor reële getallen, en breidt de filosofie van "onwaarschijnlijke intersecties" uit naar de niet-archimedische setting.
Corollary 1.5: Het resultaat is van toepassing op klassieke $p$ -adische doorlopende breukalgoritmen van Ruban en Browkin, mits de partiële breuken voldoen aan specifieke ondergrenzen op hun $p$ -adische absolute waarden (bijv. $|a_n|_p \ge p^4$ voor de Ruban-functie met herhalingen).
Corollary 1.6: Het resultaat is van toepassing op automatische sequenties op eindige alfabetten (specifiek $\{n/p, m/p\}$ ), waarbij wordt aangetoond dat voor voldoende grote $p$ , de resulterende $p$ -adische getallen ofwel rationeel, kwadratisch, of transcendent zijn.
Verfijning van Condities: De auteurs leveren expliciete constanten ( $C_\infty, C_p, k$ ) in Theorems 4.1 en 4.3 die de precieze drempels definiëren voor de partiële breuken die vereist zijn om transcendentie te garanderen.

Betekenis en Claims
De auteurs claimen dat dit werk Vraag 1.1 (of gestructureerde woorden kunnen corresponderen met algebraïsche getallen van graad $>2$ ) in negatieve zin oplost voor een brede klasse van woorden in de $p$ -adische setting.

Overwinnen van Structurele Moeilijkheden: Het artikel benadrukt dat de $p$ -adische casus complexer is dan de reële casus vanwege de oneindige keuzes van vloerfuncties en het gebrek aan een universele Lagrange-stelling. De resultaten van de auteurs zijn significant omdat ze gelden voor elke $p$ -adische vloerfunctie die voldoet aan milde begrensdheidscondities, in plaats van beperkt te zijn tot specifieke constructies.
Overbruggen van Velden: Het werk versterkt de diepe verbinding tussen woordcombinatoriek en getaltheorie, en laat zien dat de "kloof" tussen periodieke woorden (algebraïsche graad 2) en algemene woorden (transcendent) ook in de $p$ -adische sfeer standhoudt, zelfs zonder de canonieke eigenschappen van de reële vloerfunctie.
Bescheidenheid: De auteurs merken op dat hoewel hun resultaten $\spadesuit$ en $\clubsuit$ woorden dekken (die automatische woorden omvatten), de vraag of alle woorden met een lage complexiteit transcendente getallen opleveren, algemeen nog openstaat, aangezien een direct analoog aan Theorem 2.1 (dat de link legt tussen lage complexiteit en $\spadesuit$ ) voor $\clubsuit$ -woorden nog niet is vastgesteld.

Samenvattend stelt het artikel vast dat "machines" (eindige toestandsautomaten die automatische woorden genereren) die gestructureerde $p$ -adische doorlopende breuken produceren, over het algemeen transcendente getallen produceren, waarbij de enige algebraïsche uitzonderingen die van graad maximaal 2 zijn.

Meer zoals dit