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

Titel: Er zijn oneindig veel Hilbert-kubussen van dimensie 3 in de verzameling van kwadraten

1. Probleemstelling en Achtergrond

Het artikel onderzoekt de aanwezigheid van Hilbert-kubussen binnen de verzameling van gehele kwadraten $S = \{n^2 : n \in \mathbb{N}\}$. Een Hilbert-kubus van dimensie $d$ wordt gedefinieerd als de verzameling:
$$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\}$$
De kernvraag, oorspronkelijk gesteld door Brown, Erdős en Freedman, is of de maximale dimensie $d$ van een Hilbert-kubus in $S$ absoluut begrensd is.

• Het is bekend dat er geen oneindige Hilbert-kubus in $S$ bestaat (omdat het verschil tussen kwadraten niet constant kan blijven).
• Eerdere resultaten (Dietmann en Elsholtz) toonden aan dat als een kubus in het interval $[0, N]$ ligt, de dimensie begrensd is door $d \le 7 \log \log N$.
• De Bombieri-Lang-conjectuur impliceert dat $d$ absoluut begrensd is, maar een bewijs ontbreekt.
• Voor $d=2$ zijn er veel oplossingen. Voor $d=3$ was het onduidelijk of er oneindig veel oplossingen bestaan, en of er oplossingen zijn voor $d \ge 4$.

2. Methodologie

De auteurs combineren geavanceerde algebraïsche meetkunde met computationele getaltheorie:

• Parametrisatie via Elliptische Krommen:
  Om Hilbert-kubussen van dimensie 3 te construeren, moeten 8 specifieke lineaire combinaties van $a_0, \dots, a_3$ kwadraten zijn. Dit leidt tot een stelsel van Diophantische vergelijkingen. De auteurs reduceren dit stelsel tot het vinden van rationale punten op een elliptische kromme (of een familie daarvan).
  Ze gebruiken de structuur van de Mordell-Weil-groep van deze krommen. Door punten van oneindige orde te nemen en deze terug te projecteren (pull-back), genereren ze parametrische families van oplossingen $(a_0, a_1, a_2, a_3)$.

• Computationele Zoektocht:
  De auteurs ontwikkelen een efficiënt algoritme (geïmplementeerd in Pari GP) om kleine oplossingen te vinden. Het algoritme baseert zich op het feit dat als $a_0$ en $a_1$ vaststaan, de mogelijke waarden voor $a_2$ en $a_3$ beperkt zijn tot de delers van specifieke uitdrukkingen. Ze doorzochten systematisch het bereik tot $N \approx 10^8$.

• Analyse van Dichtheid:
  Om de dichtheid van verhoudingen tussen de parameters te bewijzen, analyseren ze de parametrische polynomen als rationale functies en tonen ze aan dat deze functies continue intervallen overstreken op de reële lijn, wat de dichtheid in de Euclidische topologie garandeert.

3. Belangrijkste Bijdragen en Resultaten

A. Oneindigheid van Dimensie 3 Kubussen
Het meest significante resultaat is het bewijs dat er oneindig veel gereduceerde Hilbert-kubussen van dimensie 3 in de verzameling van kwadraten bestaan.

• Ze construeren een expliciete parametrische familie van oplossingen.
• Stelling 1.5: Het aantal gereduceerde Hilbert-kubussen $H_3(N)$ met elementen $\le N$ voldoet aan de ondergrens:
  $$H_3(N) \gg N^{1/8}$$
  Dit betekent dat het aantal oplossingen polynomiaal groeit met $N$, wat aantoont dat ze niet zeldzaam zijn.

B. Specifieke Gevallen en Symmetrie

• Gelijke Elementen: Ze bewijzen (Stelling 1.6) dat er oneindig veel oplossingen zijn waarbij $a_1 = a_2 < a_3$ (en permutaties daarvan). Dit levert kubussen op met slechts drie verschillende waarden.
• Verhoudingen: Stelling 1.7 en Corollary 1.8 tonen aan dat de verzameling van verhoudingen $\{a_i / a_j\}$ voor alle $i < j$ dicht ligt in de positieve reële getallen $\mathbb{R}^+$. Dit betekent dat men voor elke gewenste verhouding tussen de parameters een Hilbert-kubus kan vinden die hier zeer dicht bij ligt.

C. Computationele Vondsten

• Ze vonden 4644 gereduceerde kubussen met $a_0, a_1 < 10^8$.
• Geen enkele van deze kubussen kon worden uitgebreid tot een kubus van dimensie 4.
• Ze identificeerden paren van kubussen die de eerste drie parameters ($a_0, a_1, a_2$) delen maar verschillende $a_3$ hebben, en bewezen dat er oneindig veel van zulke paren bestaan (Stelling 6.1).
• Ze vonden "pseudo-4-kubussen" waarbij 13 van de 16 sommen kwadraten zijn, maar geen volledige 4-kubus.

D. Vermoedens en Open Vragen

• Conjecture 7.1: Voor elk $n \in \mathbb{N}^+$ bestaat er een gereduceerde Hilbert-kubus met $a_0 = n^2$. De auteurs vonden oplossingen voor alle $n \le 100$, behalve voor $n = 42, 44, 56, 80$ binnen hun zoekbereik.
• Dimensie 4: Het bestaan van een Hilbert-kubus van dimensie 4 in de kwadraten blijft een open probleem. De auteurs konden geen enkel voorbeeld vinden, wat suggereert dat $d=3$ mogelijk de maximale dimensie is, of dat $d=4$ uiterst zeldzaam is.
• Groei van $H_3(N)$: Op basis van curve-fitting suggereren ze dat de werkelijke orde van grootte van $H_3(N)$ waarschijnlijk $N^b$ is met $b \approx 0.62$, wat aanzienlijk hoger is dan hun bewezen ondergrens van $N^{1/8}$.

4. Significatie

Dit artikel is een mijlpaal in de combinatorische getaltheorie:

1. Oplossing van een open probleem: Het weerlegt de hypothese dat Hilbert-kubussen van dimensie 3 in kwadraten zeldzaam of eindig zouden zijn. Het bewijst hun overvloed.
2. Technische doorbraak: Het koppelt het probleem van sommen van kwadraten aan de theorie van elliptische krommen en rationele punten, wat een krachtige methode biedt voor het genereren van Diophantische oplossingen.
3. Verband met andere problemen: De resultaten hebben implicaties voor gerichte problemen zoals het "Perfect Euler Brick"-probleem (een kubus met $a_0=0$ en $d=3$) en het bestaan van magische vierkanten van kwadraten.
4. Computationele Inzicht: De combinatie van theoretische parametrisatie en brute-force zoektocht biedt een blauwdruk voor het bestuderen van andere verzamelingen met somstructuur.

Samenvattend bewijzen de auteurs dat de verzameling van kwadraten, ondanks hun "ruwe" structuur, rijk is aan complexe additieve patronen (Hilbert-kubussen van dimensie 3), en dat deze patronen een zeer rijke en dichte structuur hebben.