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

Titolo e Contesto

Titolo: La Formula di Bombieri–van der Poorten per i Quozienti Parziali di Irrazionali Algebrici di Grado Superiore
Autore: Karsten Müller
Data: Marzo 2026 (Preprint arXiv)
Ambito: Teoria dei Numeri (Approssimazione Diofantea, Frazioni Continue)

---

1. Il Problema

Il lavoro si concentra sulla relazione fondamentale tra i quozienti parziali ($b_{n+1}$) della frazione continua regolare di un numero irrazionale algebrico $\alpha = \sqrt[m]{k}$ (dove $m \ge 3$) e una specifica quantità algebrica intera $d_n = |p_n^m - k q_n^m|$, dove $p_n/q_n$ sono i convergenti della frazione continua.

Bombieri e van der Poorten avevano proposto elegantemente una relazione strutturale tra questi termini. Tuttavia, mancava una derivazione analitica esplicita e rigorosa dei dettagli per gradi $m \ge 3$, in particolare per quanto riguarda:

• La derivazione esatta del termine di errore (resto) $R_n$.
• La prova della stabilità globale di tale formula (cioè quando il termine di errore è sufficientemente piccolo da permettere la determinazione univoca del quoziente parziale tramite la parte intera).
• La validità di queste proprietà per gradi superiori al cubico ($m > 3$).

2. Metodologia

L'autore sviluppa un quadro analitico basato sulla decomposizione del quoziente completo $\theta_n$.

• Definizione di $\theta_n$: Partendo dall'identità universale delle frazioni continue, $\theta_n$ è espresso in termini della distanza di approssimazione $|x_n - \alpha|$ e del denominatore $q_n$.
• Collegamento con la distanza algebrica: Utilizzando l'identità per la differenza di potenze $m$-esime, l'autore esprime la distanza $|x_n - \alpha|$ in funzione della distanza algebrica intera $d_n = |p_n^m - k q_n^m|$.
• Linearizzazione e Termine Principale ($H_n$): Viene definito un termine principale $H_n$ come la linearizzazione della somma di potenze nella formula di differenza, assumendo $x_n \approx \alpha$. Per il caso cubico ($m=3$), $H_n = \frac{3p_n^2}{d_n q_n}$.
• Analisi del Resto ($R_n$): Il quoziente completo viene decomposto come $\theta_n = H_n + R_n$. L'autore deriva una rappresentazione esatta per $R_n$, isolando i termini di correzione algebrica e il termine geometrico $-q_{n-1}/q_n$.
• Stima Asintotica: Viene analizzato il comportamento asintotico di $R_n$, dimostrando che decresce come $O(q_n^{-2})$ per gradi sufficientemente alti, a condizione che $q_n$ sia abbastanza grande.

3. Contributi Chiave e Risultati

A. Caso Cubico ($m=3$): Stabilità Globale

Il contributo più significativo riguarda il caso dei numeri irrazionali cubici ($\alpha = \sqrt[3]{k}$).

• Teorema 2.1 (Stabilità Globale): Viene provato che per ogni convergente con $q_n \ge 2$, il termine di resto soddisfa rigorosamente $|R_n| < 1$.
• Determinazione Unica: Poiché $|R_n| < 1$, il quoziente parziale successivo $b_{n+1}$ è univocamente determinato dalla parte intera di $H_n + R_n$.
• Limiti Precisi: Per convergenti che approssimano da sopra ($x_n > \alpha$), si dimostra che:
  $$H_n - 2 < b_{n+1} \le H_n$$
  Questo permette di calcolare $b_{n+1}$ quasi esattamente tramite la formula di Bombieri-van der Poorten, con un'ambiguità residua di al massimo 1.

B. Generalizzazione per Gradi Superiori ($m > 3$)

• Teorema 3.1: Per gradi $m > 3$, la stabilità non è garantita per tutti i convergenti, ma solo per quelli con denominatore $q_n$ sufficientemente grande ($q_n^2 \ge C(m, \alpha)$).
• Formula di Pavimento Condizionata: Viene fornita una formula esatta per $b_{n+1}$ valida quando $|R_n| < 1$:
  $$b_{n+1} = \lfloor H_n + R_n \rfloor$$
  dove $H_n = \frac{m p_n^{m-1}}{d_n q_n}$.

C. Controesempio e Limiti di Stabilità

• Sezione 5: L'autore dimostra che la stabilità globale non si estende automaticamente a gradi superiori. Viene presentato un controesempio per $m=10$ ($\alpha = \sqrt[10]{50}$).
• Per il primo convergente non banale ($q_1 = 2$), il termine di resto risulta $|R_1| \approx 1.27 > 1$.
• Implicazione: In questo caso, la previsione euristica basata su $\lfloor H_n \rfloor$ fallisce (prevede 12, il valore reale è 11). Questo conferma che la proprietà di stabilità "globale" per $q_n \ge 2$ è una caratteristica specifica e strutturale dei numeri cubici, non universale per tutti i gradi.

4. Significato e Impatto

1. Rigore Analitico: Il lavoro fornisce la prima derivazione analitica completa e chiusa del termine di errore per la formula di Bombieri-van der Poorten, trasformando un'osservazione strutturale in uno strumento computazionale preciso.
2. Efficienza Computazionale: Per i casi cubici, il risultato elimina la necessità di verifiche numeriche esaustive caso per caso per i denominatori piccoli, permettendo di calcolare i quozienti parziali direttamente dalle forme algebriche.
3. Nuove Frontiere per l'Approssimazione Diofantea: La distinzione tra il comportamento stabile dei cubici e l'instabilità potenziale per gradi superiori apre nuove direzioni di ricerca per le versioni efficaci del Teorema di Roth e per gli algoritmi di determinazione delle frazioni continue di numeri algebrici di alto grado.
4. Correzione di Ipotesi: Il paper chiarisce che l'applicabilità della formula non è universale per ogni grado e ogni convergente, ma dipende criticamente dalla relazione tra il grado $m$ e la grandezza del denominatore $q_n$.

Conclusione

Karsten Müller ha stabilito che la formula di Bombieri-van der Poorten è uno strumento potente e stabile per i numeri irrazionali cubici, con un errore strettamente limitato a 1 per tutti i convergenti non banali. Per gradi superiori, la formula rimane valida ma richiede condizioni più stringenti sul denominatore, e la stabilità globale non è garantita, come dimostrato dal controesempio di grado 10. Questo lavoro fornisce un quadro teorico solido per future investigazioni sull'efficienza degli algoritmi di approssimazione diofantea.