Minimal gap for higher dimensional sequences

Sintesi Tecnica: Gap Minimo per Sequenze in Dimensioni Superiori

Enunciato del Problema
Il saggio affronta il problema della quantificazione del "gap minimo" per le sequenze in spazi a dimensioni superiori. Per una sequenza $(x_n)$ in $[0, 1)$, il gap minimo è definito come $\delta_{\min}((x_n), N) = \min\{ \|x_n - x_m\| : 1 \le n \neq m \le N \}$, dove $\|x\|$ è la distanza dall'intero più vicino. Mentre il comportamento di questa statistica è ben compreso per le sequenze casuali (ordine asintotico $1/N^2$) e per specifiche sequenze monodimensionali della forma $\{a_n \alpha\}$ (dove $\{ \cdot \}$ indica la parte frazionaria), questo lavoro estende la definizione e l'analisi a sequenze in dimensioni superiori.

Nello specifico, il saggio investiga tre tipi di sequenze per una dimensione fissa $d \ge 2$:

1. Sequenze vettoriali: $\{ \mathbf{a}_n \boldsymbol{\alpha} \} = (\{a_n^{(1)}\alpha_1\}, \dots, \{a_n^{(d)}\alpha_d\})$, dove $\mathbf{a}_n = (a_n^{(1)}, \dots, a_n^{(d)})$ è un vettore di interi distinti.
2. Sequenze per componenti: $\{ \mathbf{a}_n \boldsymbol{\alpha} \}$ interpretata come un vettore di parti frazionarie (simile alla prima, ma la notazione distingue la natura vettoriale).
3. Forme lineari: $\{ \mathbf{a}_n \cdot \boldsymbol{\alpha} \} = \{ \sum_{i=1}^d a_n^{(i)} \alpha_i \}$, che risulta in una sequenza monodimensionale.

L'obiettivo è stabilire limiti superiori e inferiori per questi gap minimi per quasi tutti i $\boldsymbol{\alpha} \in [0, 1]^d$, espressi in termini della cardinalità degli insiemi di differenza delle sequenze intere sottostanti e della loro energia additiva.

Metodologia
Le dimostrazioni si basano su tecniche di approssimazione di Diophantine metrica, adattando specificamente i metodi di Rudnick [13] e Aistleitner, El-Baz e Munsch [2] all'ambito delle dimensioni superiori.

• Definizioni e Norme: L'autore definisce la distanza dall'intero più vicino in $\mathbb{R}^d$ utilizzando la norma $\infty$ ($\| \cdot \|_\infty$). Il gap minimo viene analizzato tramite gli insiemi di differenza $(A_N - A_N)^+$, dove $A_N$ è l'insieme dei primi $N$ termini della sequenza. La cardinalità di questo insieme, indicata con $C_N$, gioca un ruolo centrale nei limiti.
• Lemmi di Borel-Cantelli: Per i limiti inferiori, viene applicato il primo lemma di Borel-Cantelli per dimostrare che per quasi tutti i $\boldsymbol{\alpha}$, il gap non può essere più piccolo di una specifica funzione di $N$ e $C_N$. Per i limiti superiori, viene utilizzato il secondo lemma di Borel-Cantelli (o varianti come la disuguaglianza di Chung-Erdős) per dimostrare che il gap è più piccolo di una certa soglia per infiniti $N$ (i.m.) o per $N$ sufficientemente grandi (s.l.).
• Metodo della Varianza: Per stabilire i limiti superiori per $N$ sufficientemente grandi, il saggio impiega il metodo della varianza. Definisce funzioni di conteggio $D(N, M)$ e $\tilde{D}(N, M)$ che contano le coppie di indici in cui la distanza è piccola. Stimando la varianza di queste funzioni e dimostrando che sono piccole rispetto alle loro medie, l'autore prova che le funzioni di conteggio sono non nulle quasi certamente.
• Energia Additiva: L'analisi incorpora l'energia additiva $E(A_N)$, definita come il numero di soluzioni a $a_{n_1} + a_{n_2} = a_{n_3} + a_{n_4}$. Il saggio utilizza i limiti sulle norme $L^2$ delle funzioni di rappresentazione e sulle energie additive congiunte per sottoinsiemi di coordinate per raffinare i limiti superiori.
• Forme Lineari e Somme GCD: Per le forme lineari, il saggio utilizza risultati sulla distribuzione delle forme lineari modulo 1, incluse le generalizzazioni della congettura di Duffin-Schaeffer e specifici lemmi riguardanti la misura di insiemi definiti da condizioni GCD (seguendo [2] e [5]).

Contributi Chiave e Risultati

1. Estensione alle Dimensioni Superiori: Il contributo primario è la definizione formale e l'analisi dei gap minimi per sequenze $d$-dimensionali, estendendo i precedenti risultati monodimensionali.
2. Limiti per Sequenze Vettoriali ($\{ \mathbf{a}_n \boldsymbol{\alpha} \}$):
   • Limite Inferiore: Per quasi tutti i $\boldsymbol{\alpha}$, $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \ge \frac{1}{C_N^{1/d} (\log N)^{1/d} (\log_2 N)^{1/d + \epsilon}}$ per $N$ sufficientemente grande.
   • Limite Superiore (i.m.): $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \le \frac{1}{(C_N \log N \log_2 N)^{1/d}}$ per infiniti $N$.
   • Limite Superiore (s.l.): Sotto condizioni in cui l'energia additiva congiunta è piccola ($E(A_N^{D'}) \ll N^{2+o(1)}$ per sottoinsiemi di dimensione $> d/2$), il limite migliora in $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \le \frac{N^\delta}{N^{2/d}}$.
3. Limiti per Forme Lineari ($\{ \mathbf{a}_n \cdot \boldsymbol{\alpha} \}$):
   • Limite Inferiore: $\delta_{\min}(\boldsymbol{\alpha}, N) \ge \frac{1}{C_N \log N (\log_2 N)^{1+\epsilon}}$.
   • Limite Superiore: Il saggio rimuove il termine dipendente dalla sequenza presente in lavori precedenti (come [12]), provando che per quasi tutti i $\boldsymbol{\alpha}$, $\delta_{\min}(\boldsymbol{\alpha}, N) \le \frac{1}{C_N}$ per infiniti $N$.
   • Limite Superiore Raffinato: Se l'energia additiva minima delle sequenze componenti è piccola, $\delta_{\min}(\boldsymbol{\alpha}, N) \le \frac{N^\delta}{N^2}$.
4. Sequenze Specifiche:
   • Sequenza di Van der Corput: Il gap minimo è limitato da $\frac{1}{bN} \le \delta_{\min} \le \frac{b}{N}$ per $b \ge 3$, e $\delta_{\min} \le \frac{1}{N}$ per $b=2$.
   • Sequenza di Halton: L'autore congettura (senza dimostrazione) che il gap minimo per la sequenza di Halton $d$-dimensionale si comporti come $\frac{1}{N^{1/d}}$.

Significato e Rivendicazioni

Il saggio sostiene di aver esteso con successo la teoria dei gap minimi dalle sequenze monodimensionali alle dimensioni superiori. Dimostra che la cardinalità dell'insieme di differenza ($C_N$) è un parametro critico, analogo al ruolo dell'energia additiva nei casi monodimensionali.

L'autore osserva che i risultati per le forme lineari migliorano il lavoro recente di Reghvim [12] rimuovendo un fattore logaritmico dipendente dalla sequenza dal limite superiore. Il saggio evidenzia inoltre che per sequenze specifiche come $n^2 \alpha_2 + n \alpha_1$, il gap minimo è dell'ordine di $O(1/N^2)$ (salvo fattori logaritmici) per quasi tutti i $\alpha$, in modo coerente con il comportamento casuale, a condizione che l'energia additiva sia bassa.

Il lavoro è presentato come un'estensione teorica all'interno dell'approssimazione di Diophantine metrica, basandosi su consolidati strumenti probabilistici e numerici piuttosto che proporre nuove applicazioni sperimentali. L'autore nota con modestia che, sebbene siano fornite dimostrazioni per sequenze intere, l'estensione a sequenze reali positive con condizioni di crescita è possibile tramite argomentazioni simili a quelle di [12].