The Bombieri--van der Poorten Formula for Partial Quotients of Higher Degree Algebraic Irrationals

Titel: De Bombieri–van der Poorten-formule voor partiële quotiënten van algebraïsche irrationale getallen met hogere graad

Auteur: Karsten Müller
Datum: Maart 2026 (voorgesteld)
Vakgebied: Getaltheorie (Diophantische benadering, Continue breuken)

1. Het Probleem

Het paper adresseert de fundamentele relatie tussen de partiële quotiënten ($b_{n+1}$) van de continue breukontwikkeling van een algebraïsch irrationaal getal $\alpha = \sqrt[m]{k}$ (waarbij $m \ge 3$) en de bijbehorende algebraïsche afstand $d_n = |p_n^m - k q_n^m|$.

Hoewel Bombieri en van der Poorten een elegante relatie hebben voorgesteld, ontbrak er een expliciete analytische uitwerking voor graden $m \ge 3$. Specifiek is de vraag of de benadering van de volgende partiële quotiënt $b_{n+1}$ door een hoofdterm $H_n$ (gebaseerd op de algebraïsche structuur) altijd nauwkeurig is, of dat de restterm $R_n$ groot genoeg kan worden om de afronding (het "floor"-functie) te beïnvloeden. Voor kwadratische irrationaals ($m=2$) is dit gedrag goed begrepen, maar voor hogere graden is de stabiliteit van deze formule minder duidelijk.

2. Methodologie

De auteur gebruikt een combinatie van de theorie van continue breuken en algebraïsche identiteiten om een exacte decompositie van de volledige kwosiënt $\theta_n$ af te leiden.

• Definitie van variabelen:

  • $\alpha = \sqrt[m]{k}$: Algebraïsch irrationaal getal van graad $m$.
  • $p_n/q_n$: De $n$-de convergente van de continue breuk van $\alpha$.
  • $x_n = p_n/q_n$: De rationale benadering.
  • $d_n = |p_n^m - k q_n^m|$: De algebraïsche afstand (een geheel getal).
  • $\theta_n$: De volledige kwosiënt, gedefinieerd via $\alpha = \frac{p_n \theta_n + p_{n-1}}{q_n \theta_n + q_{n-1}}$.

• Afleiding van de formule:
  De auteur gebruikt de identiteit voor het verschil van $m$-de machten om de relatie tussen de benaderingsfout $|x_n - \alpha|$ en $d_n$ te koppelen. Hieruit wordt een hoofdterm $H_n$ gedefinieerd als de linearisatie van de som van machten:
  $$H_n = \frac{m p_n^{m-1}}{d_n q_n}$$
  De volledige kwosiënt wordt vervolgens ontbonden in:
  $$\theta_n = b_{n+1} + \delta_n = H_n + R_n$$
  waarbij $R_n$ de exacte restterm is die de afwijking tussen de lineaire benadering en de werkelijke algebraïsche structuur weergeeft.

• Analyse van de restterm:
  De kern van de analyse ligt in het bewijzen dat $|R_n| < 1$. Als dit geldt, dan is $b_{n+1} = \lfloor H_n + R_n \rfloor$ uniek bepaald door $H_n$ binnen een venster van grootte twee.

3. Belangrijkste Bijdragen en Resultaten

A. Globale Stabiliteit voor Kubische Irrationaals ($m=3$)

Het paper levert een strikt bewijs voor het geval $m=3$ (derde graads wortels).

• Stelling 2.1: Voor $\alpha = \sqrt[3]{k}$ en elke convergente met $q_n \ge 2$, geldt dat de restterm strikt begrensd is: $|R_n| < 1$.
• Gevolg: De volgende partiële quotiënt $b_{n+1}$ wordt uniek bepaald door de hoofdterm $H_n$. Specifiek geldt voor convergenten van boven ($x_n > \alpha$):
  $$H_n - 2 < b_{n+1} \le H_n$$
• Exacte Formule: De auteur leidt een exacte "floor"-formule af waarbij de onzekerheid (een correctie $\varepsilon_n \in \{0, 1\}$) verdwijnt zolang het fractionele deel van de hoofdterm niet nul is.

B. Generalisatie naar Hogere Graden ($m > 3$)

Voor graden $m > 3$ is de situatie complexer.

• Stelling 3.1: De restterm $R_n$ gedraagt zich als $O(q_n^{-2})$, wat impliceert dat de stabiliteit ($|R_n| < 1$) behouden blijft voor voldoende grote $q_n$. Er bestaat een graad-afhankelijke ondergrens voor $q_n$ waarboven de formule geldig is.
• Grenzen van Stabiliteit (Tegenvoorbeeld): In Sectie 5 presenteert de auteur een cruciaal tegenvoorbeeld voor $m=10$ ($\alpha = \sqrt[10]{50}$).
  • Voor de eerste convergente ($n=1$, $q_1=2$) wordt gevonden dat $|R_1| \approx 1.27$.
  • Hierdoor is $|R_1| > 1$, wat betekent dat de voorspelling $b_2 \approx \lfloor H_1 \rfloor$ faalt (de voorspelling was 12, het werkelijke quotiënt is 11).
  • Dit bewijst dat de universele stabiliteit voor $q_n \ge 2$ specifiek is voor kubische irrationaals en niet automatisch geldt voor hogere graden.

C. De Exacte Formule voor Partiële Quotiënten

De paper definieert een algemene formule (Definitie 4.1) die de partiële quotiënten exact berekent zolang de stabiliteitscriterium ($|R_n| < 1$) wordt voldaan:
$$b_{n+1} = \lfloor H_n + R_n \rfloor$$
waarbij $R_n$ expliciet wordt uitgedrukt in termen van $x_n, \alpha, d_n$ en $q_n$.

4. Significantie en Impact

1. Methodologische Vooruitgang: Het paper vult een gat in de literatuur door de Bombieri–van der Poorten-formule van een kwalitatieve schatting naar een kwantitatief, bewezen instrument te tillen voor $m \ge 3$.
2. Efficiëntie in Berekeningen: Voor kubische irrationaals elimineert het resultaat de noodzaak voor exhaustieve numerieke verificaties voor kleine noemers ($q_n \ge 2$). Men kan de partiële quotiënten direct afleiden uit de algebraïsche vorm.
3. Diophantische Benadering: De resultaten versterken de theoretische basis voor effectieve constanten in Diophantische benadering. Het biedt een robuust raamwerk voor het begrijpen van hoe algebraïsche structuren de continue breukexpansie bepalen.
4. Nuance in Hogere Graden: Door het tegenvoorbeeld voor $m=10$ te tonen, waarschuwt de auteur voor het blind toepassen van de formule op hogere graden zonder eerst de grootte van de noemer te controleren. Dit is cruciaal voor algoritmen die de continue breuk van hoge-graads algebraïsche getallen berekenen.
5. Toekomstgericht: De bevindingen zijn relevant voor verdere onderzoeken naar effectieve versies van Roth's Theorem en de algorithmische bepaling van continue breuken voor complexe algebraïsche getallen.

Conclusie

Karsten Müller heeft bewezen dat de Bombieri–van der Poorten-formule voor kubische irrationaals ($m=3$) een uitzonderlijke stabiliteit bezit waarbij de restterm altijd kleiner is dan 1 voor niet-triviale convergenten. Voor graden $m > 3$ geldt deze stabiliteit alleen voor voldoende grote noemers, waarbij de restterm voor kleine noemers de voorspelling kan verstoren. Dit werk biedt een rigoureuze analytische onderbouwing die de brug slaat tussen algebraïsche getaltheorie en de numerieke eigenschappen van continue breuken.