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

Technische Samenvatting: Over Euler's Magische Matrices van Grootte 3 en 8

Probleemstelling
Het artikel onderzoekt "Euler's magische matrices", een specifieke klasse van geheeltallige matrices $M \in \mathbb{Z}^{n \times n}$ die worden gedefinieerd door drie voorwaarden voor een zekere niet-nul constante $\gamma$:

1. Orthogonaliteits-achtige voorwaarde: $M \cdot M^t = \gamma \cdot I_n$.
2. Hoofddiagonaalvoorwaarde: De som van de kwadraten van de elementen op de hoofddiagonaal is gelijk aan $\gamma$.
3. Tegendiagonaalvoorwaarde: De som van de kwadraten van de elementen op de tegendiagonaal is gelijk aan $\gamma$.

Als de kwadraten van de elementen in $M$ paarsgewijs verschillend zijn, wordt de matrix een "proper" Euler's magische matrix genoemd. Het bestaan van dergelijke matrices hangt samen met de constructie van "magische vierkanten van kwadraten" (matrices waarbij de elementen verschillende kwadraten zijn en de sommen van rijen, kolommen en diagonalen gelijk zijn). Hoewel Euler dergelijke matrices construeerde voor $n=4$, blijft het bestaan voor $n=3$ een open probleem in de context van magische vierkanten van kwadraten. Dit artikel behandelt het bestaan van Euler's magische matrices specifiek voor $n=3$ en $n=8$, en biedt constructies voor andere $n$.

Methodologie

• Geval $n=3$: De auteur maakt gebruik van een reductie tot orthogonale matrices over het lichaam van de rationale getallen ($\mathbb{Q}$). Met behulp van Lemma 2.1 wordt vastgesteld dat voor oneven $n$, elke Euler's magische matrix $M$ met $M \cdot M^t = \gamma I$ kan worden geschaald om orthogonaal te zijn. Het bewijs maakt gebruik van een verfijning van de Cayley-transformatie (Propositie 2.2), waarbij orthogonale matrices worden geparametriseerd via schuifsymmetrische matrices $S$. Door deze parametrizatie in de voorwaarden voor de sommen van de diagonaal en tegendiagonaal te substitueren, reduceert het probleem zich tot het oplossen van een stelsel polynoomvergelijkingen in de elementen van $S$. De auteur toont aan dat deze vergelijkingen leiden tot een contradictie over $\mathbb{Q}$ (specifiek met betrekking tot het feit dat 3 geen kwadraat is in $\mathbb{Q}$), waardoor het niet-bestaan wordt bewezen.

• Geval $n=8$: De constructie rust op de algebra van de octonionen. De auteur definieert $L(a, \dots, h)$ en $R(p, \dots, w)$ als matrices die respectievelijk links- en rechtsvermenigvuldiging met octonionen voorstellen. Het product $M = L \cdot R$ voldoet automatisch aan de orthogonaliteitsvoorwaarde $M \cdot M^t = \gamma I_8$. De uitdaging wordt gereduceerd tot het voldoen aan de diagonaal- en tegendiagonaalvoorwaarden (vergelijkingen 2 en 3) terwijl de "proper"-voorwaarde (verschillende kwadraten) wordt gewaarborgd.

  • Zoekstrategie: Het artikel beschrijft een "naive search"-benadering die moeilijk bleek vanwege de complexiteit van de resulterende quartische krommen en de moeilijkheid om rationale punten te vinden.
  • Algebraïsche reductie: Een succesvollere strategie bestond uit het opleggen van specifieke algebraïsche restricties aan de parameters van $L$ (specifiek $h = \pm a$ en een som-van-kwadratenvoorwaarde voor de overige parameters). Dit verlaagde de graad van het polynoomstelsel, waardoor eliminatie van variabelen mogelijk werd en het afleiden van een rationale parametrizatie.

• Algemene $n \geq 4$: Het artikel construeert "improper" Euler's magische matrices (waarbij de elementen niet noodzakelijk verschillende kwadraten zijn) met behulp van permutatiematrices die zijn afgeleid van specifieke cykelstructuren in de symmetrische groep.

Belangrijkste Bijdragen en Resultaten

1. Niet-bestaan voor $n=3$: Het artikel bewijst Stelling 1.2, waarin wordt gesteld dat er geen Euler's magische matrix bestaat in $\mathbb{Q}^{3 \times 3}$. Bijgevolg bestaat er geen proper Euler's magische matrix voor $n=3$. Het bewijs berust op het aantonen dat het stelsel vergelijkingen afgeleid uit de Cayley-transformatie geen rationale oplossingen heeft.

2. Bestaan voor $n=8$: Het artikel biedt de eerste expliciete constructie van een proper Euler's magische matrix voor $n=8$.

   • Stelling 1.3 presenteert een specifieke $8 \times 8$ geheeltallige matrix $M = L \cdot R$ met verschillende gekwadrateerde elementen, geconstrueerd met specifieke geheeltallige parameters voor de octonion-vermenigvuldigingsmatrices.
   • Stelling 1.4 generaliseert dit resultaat en biedt een 4-parametrische familie van proper Euler's magische matrices over $\mathbb{Q}(q, r, t, u)$. Dit toont aan dat oplossingen niet geïsoleerd zijn, maar deel uitmaken van een grotere algebraïsche familie.

3. Constructies voor andere $n$:

   • Stelling 4.1 construeert Euler's magische matrices voor alle $n \geq 4$ (zowel even als oneven) met behulp van permutatiematrices. De auteur merkt echter expliciet op dat deze "ver van proper" zijn, aangezien ze veel nul-elementen en herhaalde waarden bevatten.
   • Voor $n=5 rapporteert het artikel over een willekeurige zoektocht die matrices opleverde die voldeden aan de Euler-voorwaarden, maar de "proper"-voorwaarde (verschillende kwadraten) net misten (bijvoorbeeld 24 verschillende kwadraten van de 25 elementen). Het bestaan van een proper matrix voor $n=5$ blijft een open vraag.

Betekenis en Aanspraken

Het artikel claimt de vraag naar het bestaan van Euler's magische matrices op te lossen voor de specifieke gevallen van $n=3$ en $n=8$.

• Voor $n=3 sluit het definitief de deur voor het bestaan van dergelijke matrices over de rationale getallen, wat suggereert dat de moeilijkheid om een $3 \times 3$ magisch vierkant van kwadraten te vinden dieper ligt dan eerder werd vermoed, aangezien zelfs de versoepelde "Euler's magische matrix"-voorwaarde niet kan worden voldaan.
• Voor $n=8 valideert het een suggestie van Isabel Pirsic om octonion-vermenigvuldigingsmatrices te gebruiken. Hoewel Pirsic's massale zoektocht geen voorbeelden vond, toont dit artikel aan dat een zorgvuldige algebraïsche analyse van het polynoomstelsel oplossingen oplevert zonder de noodzaak van exhaustief zoeken.
• Het werk benadrukt dat $n=3$ het unieke positieve gehele getal is waarvoor geen Euler's magische matrix bestaat in $\mathbb{Q}^{n \times n}$, terwijl dergelijke matrices bestaan voor alle andere $n$ (hoewel properheid in dit werk alleen wordt gegarandeerd voor $n=4$ en $n=8$).

De auteur behoudt een bescheiden toon met betrekking tot het geval $n=5$, waarbij wordt erkend dat hoewel bijna-proper voorbeelden werden gevonden, het bestaan van een volledig proper matrix onbewezen blijft. Het artikel benadrukt de bruikbaarheid van algebraïsche structuren (kwaternionen voor $n=4$, octonionen voor $n=8$) bij het genereren van deze matrices en de kracht van analyse van polynoomstelsels boven brute-force zoeken.