On Euler's magic matrices of sizes $3$ and $8$

Technische Zusammenfassung: Über Eulers magische Matrizen der Größen 3 und 8

Problemstellung
Der Artikel untersucht „Eulers magische Matrizen", eine spezifische Klasse ganzzahliger Matrizen $M \in \mathbb{Z}^{n \times n}$, die durch drei Bedingungen für eine Konstante $\gamma \neq 0$ definiert sind:

1. Orthogonalitätsähnliche Bedingung: $M \cdot M^t = \gamma \cdot I_n$.
2. Hauptdiagonalen-Bedingung: Die Summe der Quadrate der Einträge auf der Hauptdiagonale ist gleich $\gamma$.
3. Nebendiagonalen-Bedingung: Die Summe der Quadrate der Einträge auf der Nebendiagonale ist gleich $\gamma$.

Wenn die Quadrate der Einträge in $M$ paarweise verschieden sind, wird die Matrix als „eigentliche" (proper) Eulersche magische Matrix bezeichnet. Die Existenz solcher Matrizen hängt mit der Konstruktion von „magischen Quadraten aus Quadraten" (Matrizen, deren Einträge verschiedene Quadrate sind und bei denen die Zeilen-, Spalten- und Diagonalsummen gleich sind) zusammen. Während Euler solche Matrizen für $n=4$ konstruierte, bleibt die Existenz für $n=3$ im Kontext der magischen Quadrate aus Quadraten ein offenes Problem. Dieser Artikel behandelt die Existenz Eulerscher magischer Matrizen speziell für $n=3$ und $n=8$ und liefert Konstruktionen für andere $n$.

Methodik

• Fall $n=3$: Der Autor verwendet eine Reduktion auf orthogonale Matrizen über dem Körper der rationalen Zahlen ($\mathbb{Q}$). Unter Verwendung von Lemma 2.1 wird gezeigt, dass für ungerades $n$ jede Eulersche magische Matrix $M$ mit $M \cdot M^t = \gamma I$ so skaliert werden kann, dass sie orthogonal ist. Der Beweis nutzt eine Verfeinerung der Cayley-Transformation (Proposition 2.2), um orthogonale Matrizen über schiefsymmetrische Matrizen $S$ zu parametrisieren. Durch Einsetzen dieser Parametrisierung in die Bedingungen für die Summen der Haupt- und Nebendiagonale reduziert sich das Problem auf die Lösung eines Systems polynomialer Gleichungen in den Einträgen von $S$. Der Autor zeigt, dass diese Gleichungen zu einem Widerspruch über $\mathbb{Q}$ führen (insbesondere bezogen auf die Nicht-Quadrathaftheit der 3 in $\mathbb{Q}$), was die Nichtexistenz beweist.

• Fall $n=8$: Die Konstruktion basiert auf der Algebra der Oktonionen. Der Autor definiert $L(a, \dots, h)$ und $R(p, \dots, w)$ als Matrizen, die die linke bzw. rechte Multiplikation mit Oktonionen darstellen. Das Produkt $M = L \cdot R$ erfüllt automatisch die Orthogonalitätsbedingung $M \cdot M^t = \gamma I_8$. Die Herausforderung besteht darin, die Bedingungen für Haupt- und Nebendiagonale (Gleichungen 2 und 3) zu erfüllen und gleichzeitig die Bedingung der „Eigentlichkeit" (verschiedene Quadrate) sicherzustellen.

  • Suchstrategie: Der Artikel beschreibt einen „naiven Suchansatz", der sich aufgrund der Komplexität der resultierenden quartischen Kurven und der Schwierigkeit, rationale Punkte zu finden, als schwierig erwies.
  • Algebraische Reduktion: Eine erfolgreichere Strategie bestand darin, spezifische algebraische Einschränkungen für die Parameter von $L$ vorzunehmen (insbesondere $h = \pm a$ und eine Summen-von-Quadraten-Bedingung für die verbleibenden Parameter). Dies reduzierte den Grad des polynomialen Systems, ermöglichte die Elimination von Variablen und führte zu einer rationalen Parametrisierung.

• Allgemeines $n \geq 4$: Der Artikel konstruiert „uneigentliche" (improper) Eulersche magische Matrizen (bei denen die Einträge nicht notwendigerweise verschiedene Quadrate sind) unter Verwendung von Permutationsmatrizen, die aus spezifischen Zykelstrukturen in der symmetrischen Gruppe abgeleitet sind.

Hauptbeiträge und Ergebnisse

1. Nichtexistenz für $n=3$: Der Artikel beweist Satz 1.2, wonach keine Eulersche magische Matrix in $\mathbb{Q}^{3 \times 3}$ existiert. Folglich existiert keine eigentliche Eulersche magische Matrix für $n=3$. Der Beweis stützt sich darauf, dass das aus der Cayley-Transformation abgeleitete Gleichungssystem keine rationalen Lösungen besitzt.

2. Existenz für $n=8$: Der Artikel liefert die erste explizite Konstruktion einer eigentlichen Eulerschen magischen Matrix für $n=8$.

   • Satz 1.3 stellt eine spezifische $8 \times 8$-ganzzahlige Matrix $M = L \cdot R$ mit verschiedenen quadrierten Einträgen vor, die unter Verwendung spezifischer ganzzahliger Parameter für die Oktonionsmultiplikationsmatrizen konstruiert wurde.
   • Satz 1.4 verallgemeinert dieses Ergebnis und liefert eine 4-parametrische Familie eigentlicher Eulerscher magischer Matrizen über $\mathbb{Q}(q, r, t, u)$. Dies zeigt, dass die Lösungen nicht isoliert sind, sondern Teil einer größeren algebraischen Familie bilden.

3. Konstruktionen für andere $n$:

   • Satz 4.1 konstruiert Eulersche magische Matrizen für alle $n \geq 4$ (sowohl gerade als auch ungerade) unter Verwendung von Permutationsmatrizen. Der Autor weist jedoch ausdrücklich darauf hin, dass diese „weit entfernt von eigentlichen" Matrizen sind, da sie viele Nulleinträge und wiederholte Werte enthalten.
   • Für $n=5$ berichtet der Artikel über eine zufällige Suche, die Matrizen ergab, die die Eulerschen Bedingungen erfüllten, aber die Bedingung der „Eigentlichkeit" (verschiedene Quadrate) knapp verfehlten (z. B. 24 verschiedene Quadrate aus 25 Einträgen). Die Existenz einer eigentlichen Matrix für $n=5$ bleibt eine offene Frage.

Bedeutung und Behauptungen

Der Artikel behauptet, die Existenzfrage für Eulersche magische Matrizen in den spezifischen Fällen $n=3$ und $n=8$ zu klären.

• Für $n=3$ schließt er die Existenz solcher Matrizen über den rationalen Zahlen endgültig aus und legt nahe, dass die Schwierigkeit, ein $3 \times 3$-magisches Quadrat aus Quadraten zu finden, tiefer liegen könnte als bisher vermutet, da selbst die gelockerte Bedingung der „Eulerschen magischen Matrix" nicht erfüllt werden kann.
• Für $n=8$ validiert er einen Vorschlag von Isabel Pirsic, Oktonionsmultiplikationsmatrizen zu verwenden. Während Pirsics massive Suche keine Beispiele fand, zeigt dieser Artikel, dass eine sorgfältige algebraische Analyse des polynomialen Systems Lösungen liefert, ohne dass eine erschöpfende Suche notwendig ist.
• Die Arbeit hebt hervor, dass $n=3$ die einzige positive ganze Zahl ist, für die keine Eulersche magische Matrix in $\mathbb{Q}^{n \times n}$ existiert, während solche Matrizen für alle anderen $n$ existieren (wobei die Eigentlichkeit in dieser Arbeit nur für $n=4$ und $n=8$ garantiert ist).

Der Autor bewahrt bezüglich des Falls $n=5$ einen bescheidenen Ton und räumt ein, dass zwar nahezu eigentliche Beispiele gefunden wurden, die Existenz einer vollständig eigentlichen Matrix jedoch unbewiesen bleibt. Der Artikel betont die Nützlichkeit algebraischer Strukturen (Quaternionen für $n=4$, Oktonionen für $n=8$) bei der Generierung dieser Matrizen sowie die Kraft der Analyse polynomialer Systeme gegenüber der Brute-Force-Suche.