🔢 mathematics

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

Die Arbeit beweist, dass es unendlich viele Hilbert-Würfel der Dimension 3 in der Menge der Quadratzahlen gibt, deren Anzahl mindestens von der Größenordnung $N^{1/8}$ ist und deren Parameterverhältnisse dicht in den positiven reellen Zahlen liegen.

Ursprüngliche Autoren: Andrew Bremner, Christian Elsholtz, Maciej Ulas

Veröffentlicht 2026-04-08

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Andrew Bremner, Christian Elsholtz, Maciej Ulas

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Das große Puzzle aus Quadratzahlen

Stellen Sie sich vor, Sie haben einen riesigen Korb voller Quadratzahlen (1, 4, 9, 16, 25, 36, ...). Das sind Zahlen, die man erhält, wenn man eine ganze Zahl mit sich selbst multipliziert.

Die Mathematiker in diesem Papier (Bremner, Elsholtz und Ulas) haben sich eine sehr spezielle Frage gestellt: Kann man aus diesen Quadratzahlen einen „Hilbert-Würfel" bauen?

Was ist ein Hilbert-Würfel? (Die Lego-Analogie)

Ein Hilbert-Würfel ist wie ein Lego-Baukasten, der aus einer Startzahl und ein paar „Bausteinen" besteht.

Sie haben eine Startzahl ( $a_0$ ).
Sie haben drei Bausteine ( $a_1, a_2, a_3$ ).
Der Würfel besteht aus allen möglichen Kombinationen, die man bilden kann, indem man die Startzahl nimmt und dazu entweder keinen oder einen der Bausteine addiert.

Wenn Sie das mit drei Bausteinen machen, erhalten Sie $2^3 = 8$ verschiedene Zahlen.
Ein Hilbert-Würfel der Dimension 3 ist also eine Gruppe von 8 Zahlen, die alle gleichzeitig Quadratzahlen sein müssen.

Beispiel:
Wenn Sie eine Zahl finden, bei der:

Die Startzahl ein Quadrat ist.
Startzahl + Baustein 1 ein Quadrat ist.
Startzahl + Baustein 2 ein Quadrat ist.
Startzahl + Baustein 3 ein Quadrat ist.
... und alle 8 Kombinationen sind Quadrate.

Dann haben Sie einen perfekten „Hilbert-Würfel" gefunden.

Das Problem: Ist das überhaupt möglich?

Früher wussten die Mathematiker nicht, wie groß so ein Würfel maximal sein kann.

Man wusste schon, dass man keine unendlich großen Würfel bauen kann (die Abstände zwischen Quadratzahlen werden immer größer, wie eine Treppe, deren Stufen immer höher werden).
Aber wie viele Bausteine ( $a_1, a_2, a_3$ ) kann man maximal hinzufügen, damit alles noch ein Quadrat bleibt?

Bisher war man sich unsicher, ob es vielleicht gar keine Würfel mit 3 Bausteinen gibt oder ob es nur sehr wenige gibt.

Die Entdeckung: Es gibt unendlich viele!

Die Autoren dieses Papiers haben etwas Großartiges bewiesen:
Es gibt unendlich viele dieser 3-dimensionalen Hilbert-Würfel in der Welt der Quadratzahlen.

Sie haben nicht nur bewiesen, dass sie existieren, sondern sie haben sogar eine Formel (eine Art Bauplan) gefunden, mit der man unendlich viele davon konstruieren kann.

Die Metapher:
Stellen Sie sich vor, die Quadratzahlen sind ein riesiger Wald. Früher dachten die Forscher, es gäbe dort vielleicht nur ein paar verstreute, kleine Lichtungen, auf denen man einen solchen Würfel bauen könnte.
Diese Forscher haben nun gezeigt: Es gibt ganze Lichtungswälder! Man kann einen Weg finden, der zu unendlich vielen solcher Lichtungen führt.

Wie haben sie das gemacht? (Die Magie der Kurven)

Das ist der schwierigste Teil, aber hier ist die einfache Erklärung:
Um diese 8 Zahlen zu finden, müssen sie bestimmte Gleichungen lösen. Das ist wie das Lösen eines riesigen Rätsels.
Die Autoren haben dieses Rätsel in die Sprache der elliptischen Kurven übersetzt.

Stellen Sie sich eine elliptische Kurve als eine geschwungene, schlaue Linie im Raum vor.
Auf dieser Linie gibt es bestimmte Punkte, die wie „Schlüssel" funktionieren.
Wenn man diese Schlüssel dreht und kombiniert (mathematisch: Punkte addiert), erhält man neue Lösungen.

Die Autoren haben gezeigt, dass diese Kurven so „reichhaltig" sind, dass sie unendlich viele neue Baupläne für unsere Hilbert-Würfel liefern. Sie haben sogar eine Formel entwickelt, die wie ein Generator funktioniert: Geben Sie eine Zahl ein, und sie spuckt einen neuen, gültigen Würfel aus.

Was bedeutet das für die Zukunft?

Die Menge: Sie haben geschätzt, wie viele dieser Würfel es bis zu einer bestimmten Größe gibt. Es sind sehr viele (mehr als man dachte), aber sie werden immer seltener, je größer die Zahlen werden.
Die Dichte: Ein sehr spannendes Ergebnis ist, dass die Verhältnisse zwischen den Bausteinen ( $a_1$ geteilt durch $a_2$ ) fast jede beliebige Zahl annehmen können. Das bedeutet, diese Würfel sind sehr „flexibel" und nicht starr.
Die nächste Frage: Die Forscher haben jetzt bewiesen, dass Würfel mit 3 Bausteinen (Dimension 3) unendlich oft vorkommen. Die nächste große Frage ist: Gibt es einen Würfel mit 4 Bausteinen (Dimension 4)?
- Bisher haben sie keinen gefunden.
- Es könnte sein, dass Dimension 4 das absolute Limit ist (wie eine unsichtbare Decke).
- Oder es gibt sie, aber sie sind so extrem selten, dass man sie noch nicht gefunden hat.

Zusammenfassung in einem Satz

Die Autoren haben bewiesen, dass man aus den Quadratzahlen unendlich viele komplexe 8-teilige Muster (Hilbert-Würfel der Dimension 3) bauen kann, indem sie eine mathematische „Maschine" (basierend auf elliptischen Kurven) erfunden haben, die diese Muster automatisch erzeugt, und sie hoffen nun, herauszufinden, ob man noch größere Muster (Dimension 4) bauen kann.

1. Problemstellung

Das Paper untersucht die Existenz und die Anzahl von Hilbert-Würfeln in der Menge der Quadratzahlen $S = \{n^2 : n \in \mathbb{N}\}$ .
Ein Hilbert-Würfel der Dimension $d$ ist definiert als die Menge:
$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\}.$
Die zentrale Frage, die auf Brown, Erdős und Freedman zurückgeht, lautet: Ist die maximale Dimension $d$ eines Hilbert-Würfels in $S$ absolut beschränkt?

Bisherige Ergebnisse zeigen:

Unendliche Hilbert-Würfel existieren in $S$ nicht.
Für Intervalle $[0, N]$ wurde die Dimension durch $d \le O(\log \log N)$ beschränkt (Dietmann & Elsholtz).
Die Vermutung von Bombieri-Lang impliziert eine absolute Beschränkung von $d$ .
Es ist bekannt, dass keine arithmetische Progression der Länge 4 in $S$ existiert.
Für $d=2$ existieren unendlich viele Lösungen. Für $d=3$ war die Existenz unendlich vieler reduzierter Lösungen (mit $\gcd(a_0, \dots, a_3)=1$ ) bisher offen.

Das Hauptziel des Papers ist es, zu beweisen, dass es unendlich viele reduzierte Hilbert-Würfel der Dimension 3 in den Quadratzahlen gibt, und quantitative sowie qualitative Eigenschaften dieser Mengen zu untersuchen.

2. Methodik

Die Autoren kombinieren analytische Zahlentheorie, die Theorie elliptischer Kurven und computergestützte Suche.

Parametrisierung und elliptische Kurven:
Um Hilbert-Würfel der Dimension 3 zu konstruieren, wird das System der Gleichungen betrachtet, bei dem alle $2^3 = 8$ Elemente des Würfels Quadratzahlen sein müssen. Dies führt zu einem System von Diophantischen Gleichungen.
Die Autoren reduzieren dieses System auf die Suche nach Punkten auf einer elliptischen Kurve $E$ . Durch die Wahl geeigneter Parameter (z.B. $u, x, z$ oder $c, d$ ) und die Nutzung von Punkten unendlicher Ordnung auf dieser Kurve (Mordell-Weil-Gruppe) können sie explizite parametrische Familien von Lösungen $(a_0, a_1, a_2, a_3)$ konstruieren.
Spezielle Fälle ( $a_1 = a_2$ ):
Ein Teil der Konstruktion konzentriert sich auf den Fall, wo zwei Basisvektoren gleich sind ( $a_1 = a_2$ ). Dies vereinfacht das Gleichungssystem und führt zu einer anderen elliptischen Kurve, deren Punkte ebenfalls parametrisiert werden können.
Algorithmische Suche:
Die Autoren entwickelten einen effizienten Algorithmus (implementiert in Pari GP), der auf der Faktorisierung von Differenzen von Quadratzahlen basiert. Für gegebene $a_0$ und $a_1$ werden die Teiler von $a_1$ genutzt, um mögliche Kandidaten für $a_2$ und $a_3$ zu generieren und zu prüfen, ob die restlichen Summen Quadrate sind. Dies diente zur Validierung der theoretischen Ergebnisse und zur Entdeckung von Beispielen.
Dichte-Analyse:
Um die Verteilung der Verhältnisse $a_i/a_j$ zu untersuchen, analysieren die Autoren die parametrischen Polynome als Funktionen reeller Variablen. Sie zeigen, dass diese Funktionen auf bestimmten Intervallen stetig sind und das gesamte Intervall $(0, \infty)$ überdecken, was die Dichte der Verhältnisse in den reellen Zahlen beweist.

3. Hauptergebnisse

Das Paper liefert mehrere fundamentale Sätze:

1. Unendliche Existenz und quantitative Abschätzung (Theorem 1.5 & 1.6):

Es gibt unendlich viele reduzierte Hilbert-Würfel der Dimension 3 in den Quadratzahlen.
Die Anzahl $H_3(N)$ solcher reduzierter Würfel mit $0 \le a_i \le N$ wächst mindestens wie $\gg N^{1/8}$ .
Selbst unter der zusätzlichen Bedingung $a_1 = a_2 < a_3$ (oder $a_1 < a_2 = a_3$ ) gibt es unendlich viele Lösungen, mit einer unteren Schranke von $\gg N^{1/10}$ .

2. Dichte der Verhältnisse (Corollary 1.8):

Für jedes Paar von Indizes $i, j \in \{0, 1, 2, 3\}$ mit $i < j$ ist die Menge der Verhältnisse $\{ a_i / a_j \}$ , die aus reduzierten Hilbert-Würfeln der Dimension 3 stammen, dicht in den positiven reellen Zahlen $\mathbb{R}^+$ (bezüglich der euklidischen Topologie). Dies bedeutet, dass man durch Wahl geeigneter Parameter beliebige positive Verhältnisse zwischen den Komponenten approximieren kann.

3. Verhalten bei festem $a_0$ (Theorem 1.4 & Section 7):

Für ein festes Quadrat $a_0 = n^2$ existieren unendlich viele Hilbert-Würfel der Dimension 2.
Für festes $a_1$ gibt es nur endlich viele Würfel der Dimension $d \ge 2$ .
Computergestützte Experimente (bis $n=100$ ) deuten stark darauf hin, dass für jedes $n \in \mathbb{N}$ ein reduzierter Hilbert-Würfel der Dimension 3 mit $a_0 = n^2$ existiert (Konjektur 7.1).

4. Nicht-Existenz von Dimension 4 (aktuell):

Trotz intensiver Suche und der Nutzung der parametrischen Familien konnte kein Hilbert-Würfel der Dimension 4 in den Quadratzahlen gefunden werden.
Es wurden jedoch „Pseudo-4-Würfel" konstruiert, bei denen 13 von 16 Summen Quadrate sind. Dies unterstreicht die Schwierigkeit, die vierte Dimension zu erreichen.

4. Signifikanz und Bedeutung

Lösung eines offenen Problems: Das Paper beweist erstmals, dass Hilbert-Würfel der Dimension 3 in den Quadratzahlen nicht nur sporadisch vorkommen, sondern in unendlicher Anzahl existieren. Dies widerlegt die Möglichkeit, dass $d=2$ die maximale Dimension für unendliche Familien sei.
Quantitative Fortschritte: Die untere Schranke $N^{1/8}$ ist ein signifikanter Schritt über die bisherigen reinen Existenzbeweise hinaus und gibt Aufschluss über die Dichte dieser Strukturen.
Verbindung zu elliptischen Kurven: Die Arbeit demonstriert eindrucksvoll, wie moderne Techniken der algebraischen Geometrie (elliptische Kurven, Torsionspunkte, Punkte unendlicher Ordnung) zur Lösung klassischer Probleme der additiven Zahlentheorie eingesetzt werden können.
Offene Fragen: Das Paper schärft die Grenzen des Wissens. Während $d=3$ als „reichlich vorhanden" etabliert wurde, bleibt die Existenz von $d=4$ (selbst für unendlich viele oder auch nur ein einziges Beispiel) eine der großen offenen Fragen, die vermutlich mit der Bombieri-Lang-Vermutung zusammenhängt.

Zusammenfassend etabliert das Paper die Dimension 3 als eine „große" Dimension für Hilbert-Würfel in Quadratzahlen und liefert sowohl konstruktive Beweise als auch tiefgehende analytische Einblicke in die Struktur dieser Mengen.