Inhomogeneous Approximation by Sums of Roots

Sintesi Tecnica: Approssimazione Inomogenea per Somme di Radici

Enunciato del Problema
Il lavoro affronta il problema dell'approssimazione diofantea inomogenea che coinvolge somme di radici $d$-esime. Nello specifico, dati interi fissi $d \ge 2$ e $k \ge 1$, un target reale $\beta$ e un limite elevato $N$, l'obiettivo è trovare interi $1 \le b_1, \dots, b_k \le N$ tali che la distanza dalla somma delle loro radici $d$-esime a $\beta$ sia minimizzata:
$$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\|$$
dove $\|x\|$ denota la distanza da $x$ all'intero più vicino. Il lavoro mira a stabilire l'esponente ottimale $\gamma$ tale che questa distanza sia limitata da $O(N^{-\gamma})$.

Il lavoro precedente di Iyer (2025) ha stabilito un esponente inomogeneo effettivo di almeno $(k-d+1)/d^2$ e un esponente "full-basis" più preciso $\gamma_{k,d} = d^{\lfloor \log_d(k+1) \rfloor - 1}/d$. Quest'ultimo raggiunge il valore $k/d$ solo quando $k+1$ è una potenza di $d$. Il lavoro mira a migliorare questi esponenti per $k$ e $d$ generici, in particolare nei casi in cui $k+1$ non è una potenza di $d$, sebbene a scapito dell'effettività.

Metodologia
La dimostrazione del teorema principale si basa su due componenti primarie:

1. Limite Inferiore Duale tramite il Teorema dei Sottospazi di Schmidt:
   Gli autori utilizzano il Teorema dei Sottospazi di Schmidt per stabilire un limite inferiore duale per forme lineari che coinvolgono radicali primi distinti. Selezionando numeri primi distinti $p_1, \dots, p_k$ e ponendo $\theta_i = p_i^{1/d}$, essi invocano l'indipendenza lineare di $1, \theta_1, \dots, \theta_k$ su $\mathbb{Q}$ (un risultato dovuto a Besicovitch). Ciò produce un limite inferiore della forma:
   $$\max_{1 \le i \le k} \| h \theta_i \| \gg_{d,k,\eta} |h|^{-1/k - \eta}$$
   per ogni $\eta > 0$ e intero non nullo $h$. Questo passaggio non è effettivo, poiché si basa sul Teorema dei Sottospazi.

2. Trasferimento Inomogeneo:
   Gli autori impiegano un argomento di trasferimento per ricoprimento (Lemma 3.2) per convertire il limite inferiore duale in un risultato di approssimazione inomogenea. Utilizzando la geometria dei numeri (in particolare il principio di trasferimento di Mahler e il raggio di ricoprimento di un reticolo), mostrano che se il limite duale vale con esponente $\sigma$, allora per ogni target $\beta$ e parametro $Q$, esistono interi $q_1, \dots, q_k$ con $|q_i| \le Q$ tali che:
   $$\left\| \sum_{i=1}^k q_i \theta_i - \beta \right\| \ll Q^{-1/\sigma}$$
   Spostando i coefficienti per renderli positivi e ridefinendo i radicandi come $b_i = p_i c_i^d$ (dove $c_i$ sono derivati dai $q_i$), il problema viene trasformato nuovamente in una somma di radici $d$-esime con radicandi limitati da $N$.

Risultati Chiave

• Teorema 1.1 (Teorema Principale): Per ogni $d \ge 2$, $k \ge 1$ e $\varepsilon > 0$ fissati, esiste una costante $C_{d,k,\varepsilon}$ tale che per ogni $N \ge 2$ e $\beta \in \mathbb{R}$, esistono interi $1 \le b_1, \dots, b_k \le N$ che soddisfano:
  $$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \le C_{d,k,\varepsilon} N^{-k/d + \varepsilon}$$
  Questo risultato fornisce un esponente di $k/d - \varepsilon$. Migliora l'esponente di Iyer $(k-d+1)/d^2$ e l'esponente full-basis $\gamma_{k,d}$ ogni volta che $k+1$ non è una potenza di $d$. Nel caso specifico in cui $k+1$ è una potenza di $d$, la costruzione effettiva di Iyer raggiunge già $k/d$, mentre questo teorema perde un arbitrario $\varepsilon$ ed è ineffettivo.

• Congettura 1.2 (Esponente Uniforme): Gli autori propongono una congettura più forte secondo cui l'esponente uniforme ottimale è $k - 1/d$. Ciò suggerisce che il risultato attuale di $k/d$ non è il limite finale, ma piuttosto una conseguenza della specifica struttura algebrica (famiglia sparsa di radicandi) utilizzata nella dimostrazione. La congettura postula:
  $$\sup_{\beta \in \mathbb{R}/\mathbb{Z}} \min_{1 \le b_1, \dots, b_k \le N} \left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \ll_{d,k,\varepsilon} N^{-(k-1/d) + \varepsilon}$$

• Costruzioni Esplicite per $d=2$: Nella Sezione 5, il lavoro fornisce costruzioni esplicite per target interi nel caso della radice quadrata ($d=2$) con $k=2, 3, 4$. Utilizzando sviluppi di Taylor e cancellazione dei coefficienti, gli autori costruiscono somme di radici quadrate che approssimano un intero con un errore dell'ordine di $M^{-(2k-1)}$, dove i radicandi sono di grandezza $M^2$. Ciò produce un esponente di $N^{-(k-1/2)}$, che corrisponde al valore congetturato per questi casi specifici.

Significato e Affermazioni
Il lavoro afferma di fornire una dimostrazione diversa per gli esponenti inomogenei nelle somme di radici, spostando la metodologia dall'approccio "full radical basis" di Iyer a un quadro generale di approssimazione diofantea algebrica che utilizza il Teorema dei Sottospazi di Schmidt.

Il significato primario risiede nel miglioramento dell'esponente per i casi in cui $k+1$ non è una potenza di $d$. Gli autori notano che, sebbene il loro risultato sia ineffettivo (a causa del Teorema dei Sottospazi), raggiunge un esponente migliore rispetto alle costruzioni effettive precedenti in quei regimi specifici. Il lavoro evidenzia anche il divario tra l'esponente dimostrato ($k/d$) e l'esponente ottimale congetturato ($k-1/d$), suggerendo che quest'ultimo richiede lo sfruttamento di una maggiore "libertà locale" nella scelta dei radicandi oltre la famiglia sparsa utilizzata nella dimostrazione principale. Le costruzioni esplicite per $d=2$ servono come evidenza a supporto dell'esponente uniforme congetturato.