On some results of Korobov and Larcher and Zaremba's conjecture

1. Il Problema: La Congettura di Zaremba e Discrepanza

Il paper si concentra sulla Congettura di Zaremba, un problema fondamentale nella teoria delle frazioni continue e nell'analisi numerica.

• Enunciato: La congettura afferma che esiste una costante assoluta $M$ tale che per ogni intero positivo $q$, esiste un intero $a$ coprimo con $q$ ($1 \le a < q$) tale che tutti i quozienti parziali $c_j$ dello sviluppo in frazione continua di $a/q = [0; c_1, \dots, c_s]$ siano limitati da $M$ (cioè $c_j \le M$).
• Motivazione: Questo problema è strettamente legato alla costruzione di sequenze a bassa discrepanza per l'integrazione numerica (metodo di Koksma-Hlawka). Una discrepanza bassa per la sequenza $X(a, q) = \{(j/q, aj/q)\}_{j=1}^q$ è garantita se i quozienti parziali di $a/q$ sono piccoli.
• Stato dell'arte: Korobov (1960) aveva dimostrato che per $q$ primo esiste un $a$ con $M(a) \ll \log q$. Risultati successivi (Bourgain-Kontorovich) hanno risolto la congettura per "quasi tutti" i denominatori, ma il caso per ogni $q$ fissato rimaneva aperto con limiti superiori meno ottimali.

2. Metodologia e Strumenti Matematici

Shkredov combina tecniche avanzate di teoria dei numeri, combinatoria moltiplicativa e geometria frattale. I pilastri metodologici sono:

• Struttura di Cantor e Insiemi Ahlfors-David: L'autore analizza l'insieme $Z_M(t)$ dei numeratori $a$ i cui quozienti parziali sono limitati da $M$ fino a una certa convergente. Dimostra che questo insieme ha una struttura frattale (tipo Cantor) e possiede proprietà di invarianza scalare tipiche degli insiemi di Ahlfors-David.
• Macchina di Bourgain-Gamburd e Setaccio Affine: Vengono utilizzati risultati profondi sulla crescita nei gruppi modulari $SL_2(\mathbb{Z}/q\mathbb{Z})$ (Helfgott, Bourgain-Gamburd) per dimostrare la distribuzione uniforme di certi insiemi di inversi modulari. In particolare, si studia l'intersezione $A \cap A^{-1}$ dove $A$ è l'insieme dei numeratori con quozienti limitati.
• Indipendenza dei Denominatori Critici: Un contributo originale è l'introduzione del concetto di "dipendenza" e "indipendenza" tra i denominatori delle convergenti di frazioni vicine. L'autore dimostra che, all'interno di certi intervalli dell'insieme di Cantor, i denominatori critici (quelli vicini a $\sqrt{q}$) si comportano in modo "indipendente" in senso lineare, permettendo di eliminare le configurazioni che violano i limiti desiderati.
• Approssimazione Diofantea: Si utilizzano stime su equazioni diofantee lineari per mostrare che non possono esistere troppi denominatori critici che soddisfano certe condizioni di repulsione, portando a una contraddizione se si assume che la maggior parte degli elementi abbia quozienti parziali troppo grandi.

3. Risultati Chiave e Teoremi Principali

Il paper presenta tre risultati principali che migliorano significativamente le stime precedenti di Korobov e Larcher.

Teorema 6: Limite Superiore per la Somma dei Quozienti

Per $q$ sufficientemente grande (primo o senza fattori quadrati con fattori primi grandi), esiste un numero di numeratori $a$ tali che la somma dei quozienti parziali $S(a) = \sum c_j$ è limitata da:
$$S(a) \ll \log q \cdot \sqrt{\log \log q}$$
Inoltre, viene fornita una limitazione inferiore asintoticamente stretta per il numero di tali $a$:
$$\text{Numero di } a \ge q^{2w_M - 1} \cdot \exp\left(\Omega\left(\frac{\log q}{\log \log q}\right)\right)$$
dove $w_M$ è la dimensione di Hausdorff dell'insieme dei numeri reali con quozienti parziali $\le M$. Questo migliora i risultati di Larcher sulla somma dei quozienti.

Teorema 7: Miglioramento del Limite per $M(a)$

Per $q \in \mathcal{Z}$ (insieme di denominatori con fattori primi grandi), se si sceglie $M \ge C\sqrt{\log q}$, allora esiste un numero di $a$ coprimi a $q$ con $M(a) \le M+2$ che è:
$$\gg q^{2w_M - 1 - o(1)}$$
Questo risultato conferma che la soglia $\sqrt{\log q}$ è accessibile con un numero di soluzioni che segue l'aspettativa probabilistica (basata sulla dimensione di Hausdorff).

Teorema 8: Risoluzione della Congettura di Zaremba per $q$ Primo

Il risultato più forte: Esistono due costanti assolute $M \ge 2$ e $\mathcal{M}$ tali che per ogni $q \in \mathcal{Z}$ (in particolare per ogni numero primo $p$ sufficientemente grande), esiste un numero di $a$ coprimi a $q$ con tutti i quozienti parziali limitati da $\mathcal{M}$:
$$\text{Numero di } a \ge q^{1 - O(1/M)}$$
Sebbene la costante $M$ sia grande (ma calcolabile), questo dimostra la congettura di Zaremba per ogni denominatore primo, fornendo una stima quantitativa del numero di soluzioni.

4. Contributi Tecnici Specifici

• Stima Asintotica del Numero di Soluzioni: A differenza di lavori precedenti che si concentravano solo sull'esistenza, Shkredov fornisce stime quantitative precise sul numero di numeratori $a$ che soddisfano i vincoli, collegandoli alla dimensione di Hausdorff $w_M$.
• Analisi degli Insiemi "Cattivi": L'autore sviluppa un metodo per rimuovere sistematicamente gli intervalli "cattivi" (dove i quozienti parziali sono grandi) mantenendo una densità positiva dell'insieme residuo, sfruttando la struttura di Ahlfors-David.
• Riduzione della Dipendenza dalla Combinatoria Moltiplicativa: Il paper nota che per dimostrare il Teorema 8 (esistenza di almeno un $a$), non è necessaria la piena potenza della macchina di Bourgain-Gamburd (che richiede intervalli lunghi), ma è sufficiente lavorare con intervalli di lunghezza specifica e breve, semplificando parzialmente l'approccio rispetto ai teoremi precedenti.

5. Significato e Impatto

• Avanzamento sulla Congettura di Zaremba: Questo lavoro rappresenta un passo cruciale verso la risoluzione completa della congettura, dimostrandola rigorosamente per tutti i numeri primi (e numeri senza fattori quadrati), un caso che era stato solo parzialmente affrontato o con limiti superiori più deboli.
• Ottimalità dei Limiti: L'autore discute come il limite $M \sim \sqrt{\log q}$ sia probabilmente ottimale per il metodo utilizzato, basandosi su considerazioni probabilistiche sulla dimensione dell'insieme.
• Applicazioni: I risultati hanno implicazioni dirette nella costruzione di reticoli per l'integrazione numerica (quasi-Monte Carlo) con discrepanza ottimale, e trovano applicazioni in combinatoria pura (es. numero di alberi ricoprenti in grafi semplici, estensioni lineari).

In sintesi, il paper di Shkredov unisce la teoria delle frazioni continue con la teoria dei gruppi modulari e la geometria frattale per fornire i risultati quantitativi più forti finora noti sulla Congettura di Zaremba, dimostrando l'esistenza di un gran numero di numeratori con quozienti parziali limitati per denominatori primi.