🔢 mathematics

Computational Evidence Against Quadratic-Cubic Factorization for the Second Cuboid Quintic

Diese Arbeit liefert starke computergestützte Belege dafür, dass Sharipovs zweite kubische Quintic-Polynom-Form für keinen rationalen Parameter $s>0$ (außer $s=1$ ) eine quadratisch-kubische Faktorisierung über den Rationalen zulässt, basierend auf einer strukturellen Reduktion auf eine Hinderniskurve und einer erschöpfenden höhenbeschränkten Suche nach rationalen Punkten bis zu $10^9$ .

Ursprüngliche Autoren: Valery Asiryan, Randall L. Rathbun

Veröffentlicht 2026-01-23

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Valery Asiryan, Randall L. Rathbun

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

Stellen Sie sich vor, Sie versuchen, einen perfekten rechteckigen Kasten (einen „Quader“) zu bauen, bei dem jedes einzelne Maß eine ganze Zahl ist. Sie möchten, dass die Länge, die Breite und die Höhe ganze Zahlen sind. Aber Sie möchten auch, dass die Diagonalen über jede Fläche und die Diagonale, die mitten durch das Zentrum des Kastens verläuft, ebenfalls ganze Zahlen sind.

Dies ist das Problem des perfekten Quaders (Perfect Cuboid Problem). Es ist ein berühmtes Rätsel der Mathematik, das Mathematiker seit Jahrhunderten vor Rätsel stellt. Niemand hat jemals einen solchen Kasten gefunden, und niemand konnte beweisen, dass es unmöglich ist, einen zu bauen.

Dieses Papier ist wie ein Team von Detektiven (Valery Asiryan und Randall Rathbun), das einen Supercomputer benutzt, um eine ganz bestimmte Art und Weise zu prüfen, wie man einen solchen Kasten bauen könnte. Sie bauen nicht den Kasten selbst; sie prüfen die Baupläne, um zu sehen, ob eine bestimmte Art von Bauplan überhaupt möglich ist.

Hier ist ihre Vorgehensweise, einfach erklärt:

1. Der Bauplan (Das Polynom)

Mathematiker haben die Regeln des Kastens in eine riesige algebraische Gleichung (ein Polynom) umgewandelt. Denken Sie an diese Gleichung als ein komplexes Rezept. Wenn Sie eine bestimmte Zutat (eine Zahl) finden können, die das Rezept funktionieren lässt, könnten Sie Ihren Kasten finden.

Die Autoren konzentrierten sich auf eine spezifische Version dieses Rezepts, die sie eine „Quintik“ (eine Gleichung 5. Grades) nennen. Sie wollten wissen: Kann dieses Rezept in kleinere, einfachere Rezepte zerlegt werden? Speziell: Kann es in einen „quadratischen“ (2. Grades) Teil und einen „kubischen“ (3. Grades) Teil aufgeteilt werden?

Wenn die Antwort Ja lautet, bedeutet das, dass der Kasten mit dieser speziellen Methode vielleicht baubar ist. Wenn die Antwort Nein lautet, ist dieser spezielle Weg zum Bau des Kastens eine Sackgasse.

2. Die Detektivarbeit (Der Rest)

Um zu sehen, ob das Rezept aufgeteilt werden kann, versuchten die Autoren, die große Gleichung durch ein generisches „quadratisches“ Stück zu dividieren. In der Mathematik, wenn man Dinge dividiert, erhält man normalerweise ein Ergebnis und einen „Rest“ (das, was übrig bleibt).

Das Ziel: Damit die Aufteilung funktioniert, muss der Rest exakt Null sein.
Der Trick: Die Autoren entdeckten, dass der „Rest“ nicht nur ein chaotisches Durcheinander war. Er hatte eine besondere Struktur. Er hing von zwei Variablen ab, nennen wir sie $a$ und $b$ .
Der Durchbruch: Sie erkannten, dass, wenn sie einen Teil des Rests auf Null setzten, der andere Teil zu einer einfachen, geradlinigen Gleichung für $b$ wurde. Dies ermöglichte es ihnen, $b$ vollständig zu eliminieren und sich nur auf $a$ und eine andere Variable $s$ (die die Form des Kastens repräsentiert) zu konzentrieren.

3. Der Hindernisparcours (Die Kurve)

Durch das Eliminieren von $b$ erstellten sie eine neue Karte, die eine „Obstruktionskurve“ genannt wird. Denken Sie an diesen Hindernisparcours wie an einen Zaun, der auf ein Blatt Papier gezeichnet wurde.

Wenn Sie einen Punkt auf diesem Zaun finden können, an dem beide Koordinaten ganze Zahlen (oder einfache Brüche) sind, dann könnte der Kasten existieren.
Wenn der Zaun keine solchen Punkte hat, dann ist dieser spezifische Weg zum Bau des Kastens unmöglich.

Dieser Zaun ist eine sehr komplexe, verdrehte Form (mathematisch gesehen eine Kurve mit einem hohen „Genus“, was bedeutet, dass sie viele Löcher und Windungen hat). Das Finden von ganzzahligen Punkten auf solchen Formen ist notorisch schwierig, vergleichbar mit der Suche nach einem bestimmten Sandkorn auf einem riesigen Strand.

4. Die Computersuche (Die Suche mit Höhenbeschränkung)

Da die Kurve so komplex ist, konnten die Autoren nicht jeden einzelnen Punkt überprüfen. Stattdessen verwendeten sie ein leistungsfähiges Computerprogramm namens Magma, um eine „Höhenbeschränkte Suche“ (Height-Bounded Search) durchzuführen.

Die Analogie: Stellen Sie sich vor, Sie suchen nach einem bestimmten Haus in einer Stadt. Sie können nicht jedes Haus auf der Welt überprüfen, also entscheiden Sie sich, nur nach Häusern innerhalb eines Radius von 1 Milliarde Meilen vom Zentrum zu suchen.
Die Suche: Sie sagten dem Computer, er solle nach allen „rationalen“ Punkten (einfachen Brüchen) auf ihrer Kurve innerhalb eines massiven, aber endlichen Bereichs (einer „Höhe“ von $10^9$ ) suchen.

5. Die Ergebnisse

Der Computer schloss die Suche ab und fand nur 8 Punkte auf der gesamten Kurve.

Die meisten dieser Punkte waren „im Unendlichen“ (mathematische Grenzfälle, die keine echten Kästen repräsentieren).
Die wenigen Punkte, die „reale“ Punkte waren (auf dem flachen Teil der Karte), hatten Koordinaten, bei denen die Formvariable $s$ entweder 0, 1 oder -1 war.
Der Haken: In der Welt des perfekten Quaders muss die Formvariable $s$ eine positive Zahl sein, die nicht gleich 1 ist.

Das Fazgest:
Der Computer fand null Punkte auf der Kurve, die den Regeln für einen echten, nicht-trivialen Kasten entsprachen.

Was dies bedeutet:
Die Autoren geben an, dass dies starke computergestützte Hinweise darauf liefert, dass diese spezifische Art, einen perfekten Quader zu bauen (das Aufteilen der Gleichung in einen quadratischen und einen kubischen Teil), unmöglich ist.

Sie haben nicht bewiesen, dass das Problem des perfekten Quaders für immer unmöglich ist.
Sie haben nicht bewiesen, dass keine andere Methode existiert.
Sie haben jedoch bewiesen, dass für diesen spezifischen mathematischen Pfad der „Zaun“ keine gültigen Trittsteine hat, auf denen man gehen könnte, zumindest innerhalb des massiven Bereichs, den der Computer überprüft hat.

Kurz gesagt: Sie haben eine sehr spezifische, komplizierte Tür überprüft, um zu sehen, ob sie zum perfekten Quader führt. Ihre Computersuche deutet darauf hin, dass die Tür fest verschlossen ist und sich in dem untersuchten Gebiet keine Schlüssel (rationale Punkte) verstecken.

Technisches Resümee: Kompütationelle Evidenz gegen die quadratisch–kubische Faktorisierung für den zweiten Cuboid-Quintischen

Problemstellung
Die Arbeit befasst sich mit einem spezifischen algebraischen Aspekt des Problems des perfekten Quaders (Perfect Cuboid), welches nach einem Quader mit ganzzahligen Kanten sucht, bei dem auch alle Seiten- und Raumdiagonalen ganzzahlig sind. Im Anschluss an den von R. A. Sharipov etablierten Rahmen reduziert sich das Problem auf den Nachweis der Irreduzibilität einer Familie von grad-10-geraden Polynomen, $Q_{p,q}(t)$ , über den ganzen Zahlen für koprimen Parametern $p \neq q > 0$ .

Die Autoren konzentrieren sich auf den „quadratisch–kubischen“ (2+3) Faktorisierungsfall. Durch Normalisierung der Variablen wird das grad-10-Polynom $Q_{p,q}(t)$ in eine ein-parameter-Familie von monischen quintischen Polynomen $P_s(x)$ transformiert, wobei $s = (p/q)^2$ gilt. Die zentrale Frage ist, ob $P_s(x)$ für ein beliebiges rationales $s > 0$ mit $s \neq 1$ eine Faktorisierung in ein quadratisches und ein kubisches Polynom über $\mathbb{Q}$ zulässt. Eine positive Antwort würde die Existenz eines geraden Quartik-Faktors im ursprünglichen Polynom implizieren, was die Irreduzibilitätshypothese behindern könnte.

Methodik
Die Autoren verwenden einen direkten algebraischen Ansatz kombiniert mit komputationeller Zahlentheorie:

Algebraische Reduktion:
- Sie betrachten einen generischen monischen quadratischen Divisor $D(x) = x^2 + ax + b$ mit $a, b \in \mathbb{Q}$ .
- Unter Verwendung der euklidischen Division berechnen sie den Rest $R(x) = R_1(s, a, b)x + R_0(s, a, b)$ , wenn $P_s(x)$ durch $D(x)$ geteilt wird.
- Eine zentrale strukturelle Beobachtung ist, dass sowohl $R_1$ als auch $R_0$ quadratisch in dem Parameter $b$ sind.
- Durch Aufprägen der Bedingung $R_1 = 0$ zeigen die Autoren, dass die zweite Bedingung $R_0 = 0$ linear in $b$ wird. Dies ermöglicht die Eliminierung von $b$ , um eine einzelne Polynomgleichung $F(s, a) = 0$ in der $(s, a)$ -Ebene abzuleiten, welche als „Obstruction Curve“ (Hinderniskurve) bezeichnet wird.
Fallanalyse:
- Nicht-degenerierter Fall ( $L \neq 0$ ): Wenn der lineare Koeffizient $L(s, a)$ nicht null ist, ist $b$ eindeutig bestimmt als $b = C(s, a)/L(s, a)$ . Die Substitution zurück liefert die Hindernis-Polynomgleichung $F(s, a) = 0$ .
- Degenerierter Fall ( $L = C = 0$ ): Die Autoren analysieren separat den Locus, an dem die Linearisierung fehlschlägt. Sie beweisen mittels Resultanten, dass die einzigen rationalen Lösungen für $L(s, a) = C(s, a) = 0$ die Punkte $(s, a) = (1, 2)$ und $(-1, 2)$ sind. Da der Problembereich $s > 0$ und $s \neq 1$ erfordert, liefert dieser degenerierte Locus keine gültigen Lösungen.
Komputationelle Suche:
- Das Hindernis-Polynom $F(s, a)$ definiert eine projektive Ebene-Kurve $C$ vom Grad 17 mit dem geometrischen Geschlecht (Genus) 7.
- Die Bestimmung aller rationalen Punkte auf solchen Kurven ist ein schwieriges diophantisches Problem. Anstatt den Versuch einer vollständigen theoretischen Bestimmung (z. B. via Chabauty–Coleman-Methoden) zu unternehmen, führen die Autoren eine höhenbeschränkte Suche mit dem Computer-Algebrasystem Magma durch.
- Sie suchen nach rationalen Punkten auf der projektiven Hülle von $C$ mit einer Höhenbeschränkung von $H = 10^9$ .

Zentrale Ergebnisse

Struktur des Hindernisses: Die Autoren leiten die Polynome $u, v, m, n, L, C$ und das Hindernis-Polynom $F(s, a)$ explizit her. Sie verifizieren, dass $F(s, a)$ den Grad 16 in $s$ und den Grad 10 in $a$ besitzt.
Degenerierter Locus: Es wird gezeigt, dass das System $L=C=0$ nur die rationalen Lösungen $(1, 2)$ und $(-1, 2)$ besitzt. Folglich ist der degenerierte Fall für den relevanten Bereich $s \in \mathbb{Q}_{>0}, s \neq 1$ leer.
Suche nach rationalen Punkten: Die Magma-Suche mit der Beschränkung $H = 10^9$ liefert exakt 8 rationale Punkte auf der Kurve $C$ . Der affine Teil dieser Punkte entspricht $s \in \{-1, 0, 1\}$ .
Ausschluss der Faktorisierung: Entscheidend ist, dass kein affiner rationaler Punkt mit $s > 0$ und $s \neq 1$ innerhalb der Suchbeschränkung gefunden wurde.

Behauptungen und Bedeutung
Das Paper behauptet starke komputationelle Evidenz anstelle eines definitiven, bedingungslosen Beweises. Die Bedeutung der Arbeit wird wie folgt gerahmt:

Bedingter Ausschluss: Die Autoren stellen ein bedingtes Theorem auf: Angenommen, die Liste der 8 gefundenen rationalen Punkte ist vollständig (Konjektur 1), dann besitzt das Quintische $P_s(x)$ für jedes rationale $s > 0$ mit $s \neq 1$ keinen quadratischen Faktor über $\mathbb{Q}$ .
Implikation für das Cuboid-Problem: Unter dieser Annahme besitzt das zweite Cuboid-Polynom $Q_{p,q}(t)$ für koprime $p \neq q$ keinen geraden Quartik-Faktor über $\mathbb{Q}$ .
Bescheidenheit der Ansprüche: Die Autoren räumen explizit ein, dass eine vollständige Bestimmung der rationalen Punkte $C(\mathbb{Q})$ für ein unbedingtes Theorem erforderlich ist. Sie merken an, dass die Kurve das geometrische Geschlecht 7 besitzt, was die Enumeration der rationalen Punkte zu einem subtilen Problem macht, bei dem die Endlichkeit zwar durch Faltings' Theorem garantiert ist, die explizite Bestimmung jedoch typischerweise fortgeschrittene Techniken erfordert, die über eine einfache Höhensuche hinausgehen.

Zusammenfassend reduziert das Paper das Faktorisierungsproblem auf das Finden rationaler Punkte auf einer spezifischen Hochgeschlechts-Kurve und liefert umfangreiche komputationelle Daten, die darauf hindeuten, dass keine solchen Punkte im relevanten Bereich existieren, was die Vermutung der Irreduzibilität für das zweite Cuboid-Polynom stützt.

1. Der Bauplan (Das Polynom)

2. Die Detektivarbeit (Der Rest)

3. Der Hindernisparcours (Die Kurve)

4. Die Computersuche (Die Suche mit Höhenbeschränkung)

5. Die Ergebnisse

Mehr davon