🔢 mathematics

Stern polynomials and algebraic independence

In dit artikel bewijzen de auteurs met behulp van Mahler's methode dat de waarden van de limietfuncties $H_k(z)$ en $H_k(z^{t^k})$ van de Stern-polynomen algebraïsch onafhankelijk zijn op niet-nul algebraïsche punten.

Oorspronkelijke auteurs: Daniel Duverney, Iekata Shiokawa

Gepubliceerd 2026-03-27

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Daniel Duverney, Iekata Shiokawa

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

De Magische Stern-rijst: Hoe Wiskundigen Bewijzen dat Getallen "Onvermengbaar" zijn

Stel je voor dat je een enorme, oneindige rijstkorrel hebt. Deze rijstkorrel is niet zomaar rijst; het is een wiskundig mysterie dat is opgebouwd uit alleen maar nullen en enen. In dit artikel, geschreven door Daniel Duverney en Iekata Shiokawa, kijken de auteurs diep in deze rijstkorrel om een heel specifiek geheim te onthullen: hoe twee getallen die hieruit voortkomen, volledig onafhankelijk van elkaar zijn.

Hier is de uitleg, vertaald naar alledaagse taal met een paar creatieve vergelijkingen.

1. De Basis: Een Speelse Bouwregel

De reis begint met iets dat de "Stern-rijst" wordt genoemd (in het Engels: Stern polynomials). Stel je een bouwpakket voor met een heel simpele regel:

Als je een even nummer hebt, doe je er een stukje bij.
Als je een oneven nummer hebt, tel je twee vorige stukjes bij elkaar op.

De auteurs van dit artikel hebben een speciale versie van dit bouwpakket gemaakt, waarbij ze een magische knop $t$ en een stapgrootte $k$ toevoegen. Hierdoor ontstaat er een reeks getallen die steeds complexer worden naarmate je verder bouwt.

2. De Oneindige Trap (De Breuk)

Als je oneindig lang doorbouwt met deze regels, krijg je een "limiet". In de wiskunde is dit een punt waar de constructie stabiliseert. De auteurs noemen dit punt $H_k(z)$ .

Je kunt dit zien als een oneindige trap.

Je begint met een eerste tree.
Dan komt er een tweede tree, die op de eerste staat.
Dan een derde, die op de tweede staat, en zo verder tot in het oneindige.

Elke tree in deze trap is een klein stukje van de grote constructie. De vraag die de auteurs stellen is: Als we deze trap nemen en hem omzetten in een getal (door een speciaal getal $\alpha$ in de constructie te steken), wat is dan de relatie tussen de ene trap en een andere, iets verschoven trap?

3. Het Geheim: "Onvermengbare" Getallen

Het centrale doel van het artikel is om te bewijzen dat twee specifieke getallen, die uit deze trap komen, algebraïsch onafhankelijk zijn.

Wat betekent dat in gewone taal?
Stel je voor dat je twee kleuren verf hebt: Blauw en Geel.

Als je ze mengt, krijg je Groen. Ze zijn "afhankelijk" van elkaar; je kunt de ene maken met de andere.
Algebraïsche onafhankelijkheid betekent dat deze twee getallen als twee volledig verschillende, onmengbare kleuren zijn. Je kunt ze nooit met elkaar vermenigvuldigen, optellen of delen om een "smaak" te krijgen die eruit springt als een gewoon, rationeel getal (zoals 1/2 of 3). Ze zijn fundamenteel verschillend.

De auteurs bewijzen dat voor bijna elk getal $\alpha$ (dat niet 0 of 1 is), de waarde van je eerste trap ( $H_k(\alpha)$ ) en de waarde van je tweede trap ( $H_k(\alpha^{t^k})$ ) nooit met elkaar te "verwarren" zijn. Ze zijn losse entiteiten.

4. De Magische Sleutel: Mahler's Methode

Hoe bewijzen ze dit? Ze gebruiken een techniek die "Mahler's methode" heet.
Stel je voor dat je een detective bent die een verdachte (het getal) achtervolgt.

De verdachte probeert zich te verstoppen in een complex systeem van vergelijkingen.
Mahler's methode is als een spiegelkast. Als je de verdachte in de kast zet en hem laat bewegen volgens de regels van de Stern-rijst, dan zie je dat hij op een heel specifieke manier beweegt.
Als de twee getallen (de verdachte en zijn spiegelbeeld) afhankelijk zouden zijn, zouden ze in de spiegelkast op een rare, onmogelijke manier moeten bewegen (bijvoorbeeld: ze zouden moeten verdwijnen of zich moeten herhalen op een manier die niet past bij de regels).

De auteurs tonen aan dat deze "onmogelijke bewegingen" inderdaad onmogelijk zijn. De getallen bewegen te vrij en te onafhankelijk van elkaar om ooit een verborgen relatie te hebben.

5. Het Resultaat: Een Transcendente Trap

Een mooi neveneffect van dit bewijs is dat de hele oneindige trap (de breuk) die ze hebben gebouwd, een transcendent getal is.

Een transcendent getal is een getal dat niet de oplossing is van een simpele vergelijking met gehele getallen (zoals $\pi$ of $e$ ). Het is een getal dat "te gek" is om door simpele formules te worden gevangen.
De auteurs zeggen dus: "Kijk naar deze oneindige breuk. Omdat de twee delen ervan zo onafhankelijk zijn, is het hele getal dat je hieruit haalt, een van die mysterieuze, onbegrijpelijke getallen."

Samenvatting in één zin

De auteurs hebben bewezen dat als je een specifieke, oneindig complexe wiskundige constructie (de Stern-rijst) neemt en hem op twee verschillende manieren bekijkt, de resultaten ervan zo fundamenteel verschillend zijn dat ze nooit met elkaar kunnen worden "vermengd" tot een simpel getal; ze zijn elkaars spiegelbeeld, maar nooit elkaars kopie.

Dit is een mooi voorbeeld van hoe wiskundigen met abstracte regels (zoals het bouwen van een trap) kunnen bewijzen dat de natuur van getallen dieper en mysterieuzer is dan het oog kan zien.

Titel: Stern-polynomen en algebraïsche onafhankelijkheid

Auteurs: Daniel Duverney en Iekata Shiokawa
Trefwoorden: Kettingbreuken, Stern-polynomen, Algebraïsche onafhankelijkheid, Transcendentie, Mahler-methode.

1. Probleemstelling en Context

Het artikel richt zich op de studie van Stern-polynomen, een generalisatie van de beroemde Stern-diatomische rij (OEIS A002487).

Achtergrond: In 2007 introduceerden Klavzar, Milutinovic en Petr de polynomen $a(n; z)$ $a (n; z)$ . In 2018 breidden Dilcher en Eriksen dit uit tot Type 1 Stern-polynomen $a_t(n; z)$ $a_{t} (n; z)$ , gedefinieerd door de recurrente relaties:
- $a_t(2n; z) = z a_t(n; z^t)$
- $a_t(2n + 1; z) = a_t(n + 1; z^t) + a_t(n; z^t)$
  met beginwaarden $a_t(0; z) = 0$ en $a_t(1; z) = 1$ .
De Limiet: De auteurs bestuderen een specifieke deelrij van deze polynomen, geïndexeerd door $n_k = \frac{2^k n - (-1)^n}{2^k + 1}$ . De limiet van deze deelrij definieert een machtreeks $H_k(z)$ die convergeert voor $|z| < 1$ en alleen coëfficiënten 0 of 1 heeft.
De Vraag: Het centrale probleem is het bepalen van de algebraïsche onafhankelijkheid van de waarden $H_k(\alpha)$ en $H_k(\alpha^{t^k})$ voor algebraïsche getallen $\alpha$ met $0 < |\alpha| < 1$ . Met andere woorden: bestaan er geen niet-triviale polynomen met rationale coëfficiënten die deze twee waarden tegelijkertijd tot nul reduceren?

2. Methodologie: Mahler's Methode

De bewijsvoering is gebaseerd op Mahler's methode, een krachtige techniek in de getaltheorie om de transcendentie en algebraïsche onafhankelijkheid van waarden van functies te bewijzen die voldoen aan specifieke functionele vergelijkingen.

De aanpak verloopt als volgt:

Functionele Vergelijkingen: De auteurs tonen aan dat $H_k(z)$ voldoet aan een lineaire functionele vergelijking die een systeem vormt met $H_k(z^{t^k})$ . Dit wordt geschreven als een matrixvergelijking:
$\begin{pmatrix} f_1(z^{t^k}) \\ f_2(z^{t^k}) \end{pmatrix} = A(z) \begin{pmatrix} f_1(z) \\ f_2(z) \end{pmatrix}$
waarbij $f_1(z) = H_k(z)$ en $f_2(z) = H_k(z^{t^k})$ , en $A(z)$ een matrix is die afhangt van de Stern-polynomen.
Analyse van de Matrix: Ze analyseren de poolpunten en de determinant van de matrix $A(z)$ en de bijbehorende productmatrices $G^{(n)}(z)$ .
Toepassing van Stellingen: Ze maken gebruik van een stelling van Nishioka (uit Mahler Functions and Transcendence, 1996) die stelt dat als een systeem van functies algebraïsch afhankelijk is, er specifieke structurele voorwaarden moeten gelden (zoals het bestaan van een rationale relatie die onder de iteraties van de matrix behouden blijft).
Contradictie: Het bewijs bestaat eruit aan te tonen dat geen van deze voorwaarden kan worden vervuld, wat leidt tot de conclusie dat de functies algebraïsch onafhankelijk moeten zijn.

3. Belangrijkste Bijdragen en Bewijsstappen

De auteurs leveren vier cruciale lemmata die de basis vormen voor het hoofdbewijs:

Lemma 2.1 (Pole-analyse): Bewijst dat $z=0$ het enige poolpunt is van de matrix $A(z)$ . Dit is essentieel om te garanderen dat de waarden op algebraïsche punten (die niet 0 zijn) goed gedefinieerd zijn binnen de methode.
Lemma 2.2 (Irrationaliteit): Bewijst dat de verhouding $H_k(1/2) / H_k(1/2^{t^k})$ irrationaal is. Dit wordt gedaan door de uitdrukking te herschrijven als een oneindige reguliere kettingbreuk.
Lemma 2.3 (Transcendentie over $\mathbb{C}(z)$ ): Gebruikmakend van een stelling van Fatou, wordt aangetoond dat $H_k(z)$ transcendent is over de veld van rationale functies $\mathbb{C}(z)$ . Omdat de coëfficiënten slechts 0 en 1 zijn, zou rationaliteit leiden tot een contradictie met Lemma 2.2.
Lemma 2.4 (Algebraïsche Onafhankelijkheid over $\mathbb{C}(z)$ ): Dit is het kernbewijs. De auteurs nemen aan dat $f_1(z)$ en $f_2(z)$ algebraïsch afhankelijk zijn. Ze tonen aan dat dit zou impliceren dat er een rationale relatie bestaat die voldoet aan een specifieke recurrente relatie onder de matrixiteraties. Door de asymptotische gedragingen van de matrixelementen (gebaseerd op de wortels van de karakteristieke vergelijking $X^2 + kX - 1 = 0$ ) te analyseren, tonen ze aan dat deze relatie alleen mogelijk is als de coëfficiënten nul zijn, wat een contradictie is.

4. Hoofdresultaten

Stelling 1.1 (Hoofdstelling):
Voor elk algebraïsch getal $\alpha$ met $0 < |\alpha| < 1$ , zijn de getallen $H_k(\alpha)$ en $H_k(\alpha^{t^k})$ algebraïsch onafhankelijk.
Dit betekent dat er geen polynoom $P(X, Y) \in \mathbb{Q}[X, Y]$ bestaat (niet de nul-polynoom) zodanig dat $P(H_k(\alpha), H_k(\alpha^{t^k})) = 0$ .

Corollary 1.1 (Toepassing op Kettingbreuken):
De oneindige kettingbreuk die ontstaat uit de verhouding $H_k(\alpha) / H_k(\alpha^{t^k})$ is transcendent voor elke algebraïsche $\alpha$ in het bereik $(0, 1)$ .
De auteurs geven specifieke voorbeelden voor $k=1, 2, 3$ waarbij de kettingbreuken transcendent zijn, zoals:
$\frac{H_1(\alpha)}{H_1(\alpha^t)} = 1 + \frac{\alpha^t}{1 + \frac{\alpha^{t^2}}{1 + \dots}}$

5. Significatie en Impact

Uitbreiding van de theorie: Het artikel breidt de toepassing van Mahler's methode uit naar een nieuwe klasse van functies die voortkomen uit Stern-polynomen, een gebied dat eerder voornamelijk in de combinatoriek en getaltheorie werd bestudeerd.
Verbinding tussen structuren: Het legt een diepe connectie bloot tussen de structurele eigenschappen van Stern-polynomen (die vaak voorkomen in de studie van binaire representaties en diatomische rijen) en de transcendentie-theorie.
Generieke methode: De aanpak biedt een model voor het bewijzen van algebraïsche onafhankelijkheid voor andere machtreeksen die gedefinieerd zijn door lineaire recurrente relaties met variabele coëfficiënten (zoals $z^t$ ).
Nieuwe transcendenten getallen: Het resultaat levert een nieuwe familie van transcendenten getallen op, specifiek de waarden van deze limietfuncties op algebraïsche punten, en bevestigt de transcendentie van de bijbehorende oneindige kettingbreuken.

Samenvattend biedt dit werk een rigoureus wiskundig bewijs dat de waarden van deze specifieke Stern-gerelateerde functies fundamenteel onafhankelijk zijn van elkaar in de algebraïsche zin, wat een belangrijke stap is in het begrijpen van de meetkundige en getaltheoretische eigenschappen van deze reeksen.