There are infinitely many Hilbert cubes of dimension 3 in the set of squares

1. Il Problema di Ricerca

Il lavoro si concentra sulla presenza di cubi di Hilbert all'interno dell'insieme dei quadrati perfetti $S = \{n^2 : n \in \mathbb{N}\}$.
Un cubo di Hilbert di dimensione $d$ è definito come l'insieme:
$$H(a_0; a_1, \dots, a_d) = a_0 + \{0, a_1\} + \dots + \{0, a_d\} = \left\{ a_0 + \sum_{i=1}^d \varepsilon_i a_i : \varepsilon_i \in \{0, 1\} \right\}$$
dove tutti gli elementi del cubo devono appartenere a $S$.

Il problema centrale, sollevato da Brown, Erdős e Freedman, chiede se la dimensione massima $d$ di un tale cubo contenuto nei quadrati sia limitata assolutamente (cioè esista un $D$ tale che per ogni cubo $d \le D$) o se possa crescere arbitrariamente.

• È noto che cubi di dimensione infinita non esistono nei quadrati.
• Risultati precedenti (Dietmann e Elsholtz) hanno dimostrato che se un cubo è contenuto in $S \cap [0, N]$, allora $d \le 7 \log \log N$.
• La congettura di Bombieri-Lang implicherebbe che $d$ è assolutamente limitato.
• Il caso $d=4$ è un problema aperto: non è noto se esistano cubi di dimensione 4 nei quadrati.

L'obiettivo specifico di questo articolo è dimostrare l'esistenza di infiniti cubi di Hilbert di dimensione 3 (con elementi positivi e ridotti) e fornire stime quantitative sulla loro densità.

2. Metodologia

Gli autori combinano approcci computazionali, teoria dei numeri e geometria algebrica (curve ellittiche e curve razionali).

• Algoritmi Computazionali:

  • Viene sviluppato un algoritmo efficiente (implementato in Pari GP) per trovare cubi di dimensione 3 con $a_0, a_1 \le N$.
  • L'algoritmo sfrutta la struttura delle equazioni diofantee: fissando $a_0 = p^2$ e $a_1 = q^2 - p^2$, la ricerca di $a_2$ e $a_3$ si riduce a trovare divisori specifici di $a_1$ che soddisfano condizioni di quadrato perfetto.
  • Vengono eseguite ricerche sistematiche fino a $N \approx 10^8$ per raccogliere dati empirici e verificare congetture.

• Costruzione Parametrica tramite Curve Ellittiche:

  • Per dimostrare l'esistenza infinita, gli autori trasformano il sistema di equazioni che definisce il cubo in un problema geometrico.
  • Le condizioni che i 16 elementi del cubo siano quadrati portano a un sistema di equazioni che può essere interpretato come l'intersezione di varietà algebriche.
  • Il sistema viene ridotto allo studio di una curva ellittica $E$ definita su un campo di funzioni.
  • Gli autori dimostrano che questa curva ha rango positivo (esistono punti di ordine infinito). Utilizzando la legge di gruppo sulla curva ellittica, generano infinite soluzioni parametriche per $(a_0, a_1, a_2, a_3)$.

• Analisi Asintotica:

  • Vengono analizzati i polinomi generati dalla parametrizzazione per stimare il numero di soluzioni ridotte (dove $\gcd(a_0, \dots, a_d) = 1$) nell'intervallo $[0, N]$.

3. Contributi Chiave e Risultati Principali

A. Esistenza Infinita di Cubi di Dimensione 3

Il risultato principale è la dimostrazione che esistono infiniti cubi di Hilbert ridotti di dimensione 3 contenuti nell'insieme dei quadrati.

• Teorema 1.5: Il numero $H_3(N)$ di cubi ridotti di dimensione 3 con elementi $\le N$ soddisfa la stima inferiore:
  $$H_3(N) \gg N^{1/8}$$
  Questo dimostra che tali oggetti non sono eventi isolati ma formano una famiglia infinita con una densità polinomiale.

B. Casi Speciali con Elementi Uguali

Gli autori costruiscono famiglie infinite di cubi dove due degli incrementi sono uguali ($a_1 = a_2$ o $a_2 = a_3$).

• Teorema 1.6: Esistono infiniti cubi ridotti con $a_1 = a_2 < a_3$. Il numero di tali cubi è almeno $c N^{1/10}$.
• Questo risultato è ottenuto trovando punti di ordine infinito su una curva ellittica specifica derivata dal sistema con vincoli di uguaglianza.

C. Densità dei Rapporti

Un risultato sorprendente riguarda la distribuzione dei valori degli elementi del cubo.

• Corollario 1.8: Per ogni coppia di indici $i < j$, l'insieme dei rapporti $\{ a_i / a_j \}$ derivati dai cubi di Hilbert di dimensione 3 è denso nell'insieme dei numeri reali positivi $\mathbb{R}^+$ (nella topologia euclidea).
• Questo implica che, variando i parametri, si possono ottenere rapporti tra gli elementi del cubo che approssimano arbitrariamente qualsiasi numero reale positivo.

D. Risultati Computazionali e Congetture

• Tabulazione: Vengono presentate tabelle estese con centinaia di esempi di cubi ridotti di dimensione 3, inclusi quelli con $a_0 = n^2$ per $n$ fino a 100.
• Congettura 7.1: Sulla base dei dati computazionali, gli autori congetturano che per ogni $n \in \mathbb{N}^+$, esista un cubo di dimensione 3 con $a_0 = n^2$.
• Analisi della Densità: L'analisi dei dati suggerisce che la crescita di $H_3(N)$ potrebbe essere più rapida della stima teorica $N^{1/8}$, con un esponente empirico vicino a $0.62$ (sebbene la prova rigorosa attuale garantisca solo $1/8$).
• Dimensione 4: Nonostante gli sforzi, non è stato trovato alcun cubo di dimensione 4. Gli autori hanno costruito "pseudo-cubi" di dimensione 4 dove 14 dei 16 elementi sono quadrati, ma non tutti.

4. Significato e Implicazioni

1. Progresso sulla Congettura di Brown-Erdős-Freedman: Sebbene non risolvano la questione se la dimensione massima sia limitata (rimane aperta la possibilità che $d=4$ non esista), dimostrano che la dimensione 3 è "abbondante" e non rara, fornendo una struttura parametrica completa.
2. Connessione con la Geometria Algebrica: Il lavoro illustra efficacemente come problemi combinatori sui numeri interi (somme di quadrati) possano essere risolti mappandoli su curve ellittiche di rango positivo.
3. Struttura dei Quadrati: La densità dei rapporti $a_i/a_j$ rivela una ricchezza strutturale nell'insieme dei quadrati che permette di "modellare" rapporti arbitrari all'interno di configurazioni additive complesse.
4. Impatto Futuro: I metodi sviluppati e le congetture formulate (sulla dimensione 4 e sui cubi con $a_0$ fissato) forniscono una roadmap chiara per la ricerca futura in teoria dei numeri additiva e geometria diofantea.

In sintesi, il paper risolve definitivamente la questione dell'esistenza infinita per la dimensione 3, fornendo stime quantitative e costruzioni parametriche esplicite, mentre lascia aperta (ma rende più probabile l'esistenza) la questione della dimensione 4.