🔢 mathematics

On a question of Gowers related to Littlewood's conjecture

Questo articolo fornisce una costruzione esplicita che risponde alla domanda di Gowers del 2009, dimostrando l'esistenza di un numero sufficientemente elevato di punti nel cubo unitario con grandi distanze iperboliche, mostrando così che il suo approccio proposto per dimostrare la congettura di Littlewood è insufficiente senza ulteriori raffinamenti.

Autori originali: Frederik Broucke, Máté Matolcsi, Szilárd Gy. Révész

Pubblicato 2026-07-31

📖 5 min di lettura🧠 Approfondimento

CC0 1.0

Autori originali: Frederik Broucke, Máté Matolcsi, Szilárd Gy. Révész

Articolo originale dedicato al pubblico dominio sotto CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immaginate una vasta griglia invisibile che si estende in ogni direzione, come il pavimento di un gigantesco magazzino infinito. In questo magazzino, stiamo giocando a "nascondino" con i numeri. Il gioco si chiama approssimazione di Diophantine, ed è tutto incentrato su quanto bene possiamo approssimare numeri irrazionali "disordinati" (come la radice quadrata di 2 o Pi greco) usando semplici frazioni. L'obiettivo è trovare frazioni che si avvicinino incredibilmente a questi numeri complicati senza mai esserne effettivamente sopra.

Per decenni, i matematici sono stati ossessionati da un enigma specifico chiamato Congettura di Littlewood. Pensatelo come una regola su quanto due numeri diversi possano avvicinarsi all'essere "interi" contemporaneamente quando vengono moltiplicati per un numero intero. La regola suggerisce che, qualunque coppia di numeri scegliate, se continuate a moltiplicarli per 1, 2, 3 e così via, ci sarà sempre un momento in cui entrambi saranno estremamente vicini a un numero intero simultaneamente. È come cercare di trovare un momento in cui due ruote che girano, una con un motivo strano e l'altra con un diverso motivo strano, si fermino entrambe sul segno dello "zero" nello stesso momento. La regola dice che questo accadrà, ma nessuno è ancora riuscito a dimostarlo per ogni singola coppia di numeri.

Nel 2009, un famoso matematico di nome Timothy Gowers ha avuto un'idea geniale. Pensò: "E se potessimo dimostrare che questa regola è vera mostrando che non possiamo incastrare troppi punti in una forma specifica senza farli diventare troppo vicini tra loro?". Immaginò un cubo 3D e si chiese se avremmo potuto disperdere un certo numero di punti all'interno di esso in modo che la "distanza" tra due punti qualsiasi fosse sempre grande. Ma ecco il colpo di scena: in questo gioco la "distanza" non viene misurata con un righello. Viene misurata moltiplicando le differenze tra le posizioni dei punti attraverso tutte e tre le dimensioni. Se avete due punti, e le loro differenze sono piccole in una direzione ma enormi in un'altra, il prodotto potrebbe essere comunque grande. Gowers si chiese se ci fosse un limite al numero di punti che si potevano inserire prima che fossero costretti a essere troppo vicini secondo questa speciale "distanza iperbolica".

Questo ci porta al nuovo articolo di Frederik Broucke, Máté Matolcsi e Szilárd Gy. Révész. Hanno deciso di prendere la domanda di Gowers e costruire una soluzione, ma non il tipo di soluzione che Gowers sperava. Invece di trovare un modo per dimostrare la Congettura di Littlewood usando questo metodo, hanno costruito una "trappola" matematica che mostra che il metodo in realtà fallisce.

Ecco come hanno fatto. Hanno utilizzato un concetto della teoria algebrica dei numeri, che è come un codice segreto nascosto all'interno dei numeri. Hanno costruito una griglia di punti molto specifica e perfettamente organizzata (chiamata reticolo) usando un tipo speciale di campo algebrico. Immaginate questa griglia come un insieme di perni invisibili, perfettamente allineati, che spuntano dal pavimento. Gli autori hanno dimostrato che, se si osserva la "distanza iperbolica" tra due di questi perni, essa non è mai zero a meno che i perni non siano esattamente nello stesso punto. In effetti, hanno dimostrato che è possibile disporre questi punti in modo che siano tutti lontani tra loro secondo la speciale regola della distanza di Gowers.

Cosa significa questo per il quadro generale? Significa che l'approccio proposto da Gowers per dimostrare la Congettura di Littlewood incontra un vicolo cieco. Gli autori hanno dimostrato che è possibile trovare un enorme numero di punti nel cubo che soddisfano la condizione di "grande distanza". Questo è l'opposto di ciò che sarebbe necessario se si volesse usare questo metodo per dimostrare l'esistenza di un controesempio alla Congettura di Littlewood. In termini semplici, hanno costruito una struttura che dimostra che la "trappola" che Gowers ha impostato è in realtà piena di buchi.

L'articolo non si limita a dire "non funziona"; fornisce una ricetta esplicita per costruire questi punti. Hanno utilizzato uno strumento matematico chiamato embedding di Minkowski, che prende numeri da un mondo algebrico complesso e li mappa nel nostro spazio regolare 3D (o di dimensioni superiori). Hanno dimostrato che, per qualsiasi dimensione, è possibile creare una griglia dove il "prodotto delle differenze" tra due punti qualsiasi è sempre maggiore di un numero specifico, seppur minuscolo. Questo dimostra che la risposta alla domanda di Gowers è "Sì, potete trovare tali punti", il che purtroppo significa che questo specifico percorso non può essere usato per risolvere l'originale mistero di Littlewood.

Gli autori hanno anche collegato le loro scoperte a un classico problema dell'analisi di Fourier chiamato problema di Delsarte, che è come cercare di incastrare il maggior numero possibile di forme non sovrapponibili in una scatola. Hanno dimostrato che la costruzione del loro reticolo è correlata al modo migliore per incastrare queste forme, fornendo un numero preciso di quanti punti si possono inserire. Sebbene questo non risolva la Congettura di Littlewood, risolve la specifica domanda di Gowers con un "sì" definitivo e una chiara costruzione matematica. È un po' come trovare una chiave che si adatta perfettamente a una serratura, solo per rendersi conto che la serratura apre una porta verso una stanza che sapevamo già essere vuota. La matematica è solida, la costruzione è esplicita e la conclusione è chiara: questa specifica strategia ha bisogno di un importante ripensamento prima di poter aiutare a decifrare il codice di Littlewood.

Sintesi Tecnica: Su una questione di Gowers relativa alla Congettura di Littlewood

Enunciato del Problema
Il saggio affronta una questione posta da Timothy Gowers in un suo post del 2009 riguardante la potenziale risoluzione della congettura di Littlewood nella teoria dell'approssimazione di Diophante. La congettura di Littlewood afferma che per ogni numero reale $\alpha$ e $\beta$ , $\liminf_{n\to\infty} n\|n\alpha\|\|n\beta\| = 0$ , dove $\|x\|$ indica la distanza di $x$ dall'intero più vicino.

Gowers propose una strategia per dimostrare la congettura per contraddizione: se la congettura fosse falsa, esisterebbe un controesempio $(\alpha, \beta)$ tale che l'insieme di punti $X_n = \{(k/n, k\alpha \pmod 1, k\beta \pmod 1) : 1 \le k \le n\}$ nel cubo unitario $[0,1]^3$ esibirebbe una specifica proprietà di separazione. Nello specifico, Gowers chiese se esistesse una costante $c > 0$ tale che, per ogni numero intero positivo $n$ , sia possibile trovare $n$ punti in $[0,1]^3$ dove la "distanza iperbolica" tra due punti distinti $(x_1, x_2, x_3)$ e $(y_1, y_2, y_3)$ , definita come $|(x_1-y_1)(x_2-y_2)(x_3-y_3)|$ , sia almeno $c/n$ .

Metodologia
Gli autori forniscono una risposta affermativa incondizionata alla domanda di Gowers (e alla sua generalizzazione a qualsiasi dimensione $d$ ) attraverso una costruzione esplicita basata sulla teoria dei numeri algebrici.

Costruzione del Reticolo: Il nucleo del metodo consiste nel costruire un reticolo a rango pieno $\Lambda$ in $\mathbb{R}^d$ che intersechi trivialmente la regione iperbolica $H_d = \{x \in \mathbb{R}^d : |x_1 \cdots x_d| < 1\}$ (ovvero $\Lambda \cap H_d = \{0\}$ ).
Teoria dei Numeri Algebrici: Per ottenere questo, gli autori utilizzano l'embedding di Minkowski dell'anello degli interi $\mathcal{O}_K$ di un campo numerico totalmente reale $K$ di grado $d$ . Siano $\sigma_1, \dots, \sigma_d$ gli embedding di $K$ in $\mathbb{R}$ . Il reticolo è definito come $\Lambda = \{(\sigma_1(\alpha), \dots, \sigma_d(\alpha)) : \alpha \in \mathcal{O}_K\}$ .
Argomento del Normale: Per ogni elemento non nullo $\lambda = (\sigma_1(\alpha), \dots, \sigma_d(\alpha)) \in \Lambda$ , il prodotto delle sue coordinate è il valore assoluto della norma del campo $|N_{K/\mathbb{Q}}(\alpha)|$ . Poiché $\alpha$ è un intero algebrico, questa norma è un intero non nullo, il che implica $|N_{K/\mathbb{Q}}(\alpha)| \ge 1$ . Di conseguenza, nessun punto non nullo del reticolo giace all'interno di $H_d$ .
Scalatura: Scalando i punti del reticolo $\lambda$ per un fattore $R^{-1/d}$ e restringendoli a un box $[0, R^{1/d}]^d$ , gli autori generano un insieme di punti $Y_R$ nel cubo unitario. La proprietà di separazione è preservata da questa scalatura, producendo una distanza iperbolica di almeno $1/R$ tra punti distinti.

Contributi Chiave e Risultati

Esistenza di Punti Separati: Il saggio dimostra che per ogni dimensione $d$ , esiste una costante $c > 0$ tale che, per $n$ sufficientemente grandi, si possano trovare $n$ punti in $[0,1]^d$ con distanze iperboliche a coppie almeno pari a $c/n$ . Ciò conferma in modo affermativo la domanda di Gowers.
Costanti Esplicite: La costruzione fornisce una costante asintotica $c_d = (\min \{\Delta_K : K \text{ è un campo totalmente reale di grado } d\})^{-1/2}$ $c_{d} = (min {Δ_{K} : K \overset{e}{ˋ} un campo totalmente reale di grado d})^{- 1/2}$ , dove $\Delta_K$ $Δ_{K}$ è il discriminante del campo.
- Per $d=2$ , utilizzando $K=\mathbb{Q}(\sqrt{5})$ , la costante è $c_2 = 1/\sqrt{5}$ .
- Per $d=3$ , utilizzando il campo cubico con discriminante 49, la costante è $c_3 = 1/7$ .
Connessione con il Problema di Delsarte: Gli autori collegano il problema al problema di Delsarte nell'analisi di Fourier. Definiscono $N_d(\varepsilon)$ come la dimensione massima di un sottoinsieme nel toro $T^d$ con vincoli di separazione. Dimostrano che $N_d(\varepsilon) \asymp 1/\varepsilon$ e stabiliscono i limiti per le costanti di Delsarte $D(H_d^\varepsilon)$ e $D'(H_d^\varepsilon)$ utilizzando la costruzione del reticolo.

Significato e Implicazioni
Il significato primario del saggio risiede nel suo risultato negativo riguardo alla specifica strategia per affrontare la congettura di Littlewood suggerita da Gowers. Poiché gli autori hanno costruito insiemi di punti soddisfacenti la condizione di separazione (che sarebbe una conseguenza necessaria di un controesempio alla congettura di Littlewood) in modo incondizionato, l'esistenza di tali insiemi non implica l'esistenza di un controesempio.

Gli autori concludono che l'approccio di dimostrare la congettura di Littlewood mostrando che tali insiemi di punti separati non possono esistere è invalido, poiché tali insiemi esistono. Pertanto, a meno che non vengano aggiunti ulteriori raffinamenti alla strategia, questa specifica linea di ricerca non può avere successo nel dimostrare la congettura di Littlewood. Il saggio nota anche una curiosa connessione: gli insiemi costruiti, che fungono da "controesempi" al problema di separazione generalizzato, consistono di elementi derivati da fissi estensioni di campi numerici totalmente reali, un contesto in cui la congettura di Littlewood è già nota per essere vera per coppie specifiche.

Articoli simili