Nine-distance theorem and growth of best-approximation denominators

Sintesi Tecnica: Teorema dei Nove Distanze e Crescita dei Denominatori delle Migliori Approssimazioni

Enunciato del Problema
Il saggio affronta l'analogo multidimensionale del classico teorema delle tre distanze (congettura di Steinhaus). In una dimensione, il teorema afferma che i gap tra i primi $N$ punti di una sequenza di Kronecker $\{n\alpha \pmod 1\}_{n=1}^N$ sul cerchio assumono al massimo tre valori distinti. L'autore investiga il numero di distanze distinte tra i vicini più prossimi, denotato con $g_N(\alpha, L)$, generati dai primi $N$ punti dell'orbita di una sequenza di Kronecker su un toro piatto $d$-dimensionale $V/L$.

Prima di questo lavoro, Haynes e Marklof hanno stabilito un limite superiore di 5 per il caso planare ($d=2$) e ne hanno dimostrato l'ottimalità. Per la dimensione $d=3$, hanno fornito un limite di 13 e hanno congetturato che il limite universale ottimale sia 9. Dettmann aveva precedentemente dimostrato un esempio su un toro cubico a tre dimensioni in cui si verificano 9 distanze distinte, suggerendo che 9 sia il limite ottimale per $d=3$. Il problema centrale è determinare il limite superiore ottimale indipendente dalla dimensione per $g_N(\alpha, L)$ e risolvere la congettura per $d=3$.

Metodologia
Lo strumento principale sviluppato è un nuovo teorema di crescita per i denominatori delle migliori approssimazioni simultanee in uno spazio interno $d$-dimensionale. Sia $q_1 < q_2 < \dots$ la sequenza di interi dove la distanza $\rho(q) = \text{dist}(q\alpha, L)$ raggiunge un nuovo minimo stretto.

L'autore dimostra un teorema strutturale (Teorema 1.4) riguardante la crescita di questi denominatori. Specificamente, per $M=2d$, ogni volta che $q_{n+M}$ è definito, deve verificarsi una delle due condizioni:

1. Crescita Rapida: $q_{n+2d} \ge 2q_{n+1}$.
2. Struttura Additiva: L'insieme degli indici $\{1, \dots, 2d\}$ può essere partizionato in coppie disgiunte $\{j, k\}$ con $j < k$ tali che $q_{n+k} = q_n + q_{n+j}$.

Questo risultato è derivato utilizzando una combinazione di:

• Teoria degli insiemi sum-free: Applicazione di un classico limite sugli sottoinsiemi sum-free in $\mathbb{F}_2^{d+1}$ (Lemma 3.1) alle classi di parità dei vettori di coordinate delle migliori approssimazioni.
• Identità Geometriche: Utilizzo di una legge del parallelogramma generalizzata (Lemma 3.2) per derivare contraddizioni qualora la struttura additiva fallisse, forzando così la condizione di crescita rapida.

Il saggio rivisita anche la relazione tra le distanze tra vicini più prossimi e i denominatori delle migliori approssimazioni, seguendo il quadro di riferimento di Chevallier e Haynes-Marklof. Stabilisce che il numero di distanze distinte è limitato dal numero di denominatori delle migliori approssimazioni che cadono entro un intervallo specifico rispetto a $N$.

Risultati Chiave

1. Il Teorema dei Nove Distanze (Teorema 1.2): Per ogni spazio con prodotto interno reale a tre dimensioni, reticolo a rango pieno e vettore di rotazione, il numero di distanze tra vicini più prossimi tra i primi $N$ punti dell'orbita è al massimo 9. Ciò conferma la congettura di Haynes e Marklof.
2. Limite Indipendente dalla Dimensione (Teorema 1.1): Per ogni dimensione $d \ge 1$, il numero di distanze distinte soddisfa $g_N(\alpha, L) \le 2d + 1$.
3. Ottimalità: L'ottimalità del limite è dimostrata per le dimensioni $d=1, 2$ e $3$. Il caso $d=3$ è ottimale grazie all'esempio di Dettmann che produce esattamente 9 distanze.
4. Corollario sul Tasso di Crescita (Corollario 3.3): L'autore deriva un limite inferiore per il tasso di crescita esponenziale dei denominatori delle migliori approssimazioni. Per $d \ge 2$, $\liminf_{n \to \infty} q_n^{1/n} \ge 2^{1/(2d-1)}$. Questo migliora i precedenti limiti inferiori per $d=2$ (migliorando il limite di Ermakov da $\approx 1.228$ a $\approx 1.260$).

Confronto con i Limiti Esistenti
Il saggio confronta il suo nuovo limite ($2d+1$) con il limite derivato dal numero di kissing (o numero di contatto) $\sigma_d$, che produce $g_N \le \sigma_d + 1$.

• Per $d=3$, il limite del numero di kissing è 13, mentre il nuovo limite è 9.
• Per $d=8$, il nuovo limite è 17, mentre il limite del numero di kissing (usando la definizione di disuguaglianza stretta $\sigma^>_d$) è 240.
  L'autore osserva che, sebbene il limite del numero di kissing sia storicamente significativo e implicito nel precedente lavoro che combina i risultati di Chevallier e Romanov, il nuovo limite $2d+1$ è superiore per piccole dimensioni e fornisce un limite lineare indipendente dalla dimensione, laddove il limite del numero di kissing cresce esponenzialmente.

Significatività
Il saggio afferma di risolvere la specifica congettura riguardante il teorema delle nove distanze in dimensione tre e fornisce un limite superiore generale, indipendente dalla dimensione, per il numero di distanze tra vicini più prossimi nei tori piatti. La significatività risiede nell'introduzione di un nuovo teorema di crescita per i denominatori delle migliori approssimazioni che si applica a ogni norma di prodotto interno (non solo alla norma del supremo) e include una descrizione precisa del caso eccezionale in cui la crescita rapida non si verifica. Questa intuizione strutturale permette un controllo più stretto sulla distribuzione dei punti dell'orbita rispetto a quanto precedentemente disponibile tramite soli argomenti di reticoli geometrici. I risultati sono presentati come definitivi per il problema enunciato, con i limiti dimostrati essere ottimali nelle prime tre dimensioni.