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

Sintesi Tecnica: Sulle Matrici Magiche di Eulero di Dimensioni 3 e 8

Enunciato del Problema
Il lavoro indaga le "matrici magiche di Eulero", una specifica classe di matrici intere $M \in \mathbb{Z}^{n \times n}$ definite da tre condizioni per una costante non nulla $\gamma$:

1. Condizione simile all'ortogonalità: $M \cdot M^t = \gamma \cdot I_n$.
2. Condizione sulla diagonale principale: La somma dei quadrati degli elementi sulla diagonale principale è uguale a $\gamma$.
3. Condizione sulla diagonale secondaria: La somma dei quadrati degli elementi sulla diagonale secondaria è uguale a $\gamma$.

Se i quadrati degli elementi in $M$ sono distinti a due a due, la matrice è definita una "matrice magica di Eulero propria". L'esistenza di tali matrici è correlata alla costruzione di "quadrati magici di quadrati" (matrici in cui gli elementi sono quadrati distinti e le somme di riga/colonna/diagonale sono uguali). Mentre Eulero costruì tali matrici per $n=4$, l'esistenza per $n=3$ rimane un problema aperto nel contesto dei quadrati magici di quadrati. Questo lavoro affronta l'esistenza delle matrici magiche di Eulero specificamente per $n=3$ e $n=8$, e fornisce costruzioni per altri $n$.

Metodologia

• Caso $n=3$: L'autore impiega una riduzione a matrici ortogonali sul campo dei numeri razionali ($\mathbb{Q}$). Utilizzando il Lemma 2.1, si stabilisce che per $n$ dispari, qualsiasi matrice magica di Eulero $M$ con $M \cdot M^t = \gamma I$ può essere scalata per diventare ortogonale. La dimostrazione utilizza un affinamento della trasformata di Cayley (Proposizione 2.2), parametrizzando le matrici ortogonali tramite matrici antisimmetriche $S$. Sostituendo questa parametrizzazione nelle condizioni di somma sulla diagonale principale e secondaria, il problema si riduce alla risoluzione di un sistema di equazioni polinomiali negli elementi di $S$. L'autore dimostra che queste equazioni portano a una contraddizione su $\mathbb{Q}$ (specificamente coinvolgendo la natura non quadratica di 3 in $\mathbb{Q}$), provando la non esistenza.

• Caso $n=8$: La costruzione si basa sull'algebra degli ottettoni. L'autore definisce $L(a, \dots, h)$ e $R(p, \dots, w)$ come matrici che rappresentano la moltiplicazione a sinistra e a destra per ottettoni, rispettivamente. Il prodotto $M = L \cdot R$ soddisfa automaticamente la condizione di ortogonalità $M \cdot M^t = \gamma I_8$. La sfida si riduce al soddisfacimento delle condizioni sulla diagonale principale e secondaria (equazioni 2 e 3) garantendo al contempo la condizione di "proprietà" (quadrati distinti).

  • Strategia di Ricerca: Il lavoro dettaglia un approccio di "ricerca ingenua" che si è rivelato difficile a causa della complessità delle curve quartiche risultanti e della difficoltà nel trovare punti razionali.
  • Riduzione Algebrica: Una strategia più efficace ha comportato l'imposizione di specifiche restrizioni algebriche sui parametri di $L$ (specificamente $h = \pm a$ e una condizione di somma di quadrati sui parametri rimanenti). Ciò ha ridotto il grado del sistema polinomiale, permettendo l'eliminazione delle variabili e la derivazione di una parametrizzazione razionale.

• $n \geq 4$ generale: Il lavoro costruisce matrici magiche di Eulero "improprie" (dove gli elementi non sono necessariamente quadrati distinti) utilizzando matrici di permutazione derivate da specifiche strutture cicliche nel gruppo simmetrico.

Contributi e Risultati Chiave

1. Non esistenza per $n=3$: Il lavoro dimostra il Teorema 1.2, affermando che nessuna matrice magica di Eulero esiste in $\mathbb{Q}^{3 \times 3}$. Di conseguenza, nessuna matrice magica di Eulero propria esiste per $n=3$. La dimostrazione si basa sul mostrare che il sistema di equazioni derivato dalla trasformata di Cayley non ha soluzioni razionali.

2. Esistenza per $n=8$: Il lavoro fornisce la prima costruzione esplicita di una matrice magica di Eulero propria per $n=8$.

   • Il Teorema 1.3 presenta una specifica matrice intera $8 \times 8$ $M = L \cdot R$ con elementi quadrati distinti, costruita utilizzando specifici parametri interi per le matrici di moltiplicazione per ottettoni.
   • Il Teorema 1.4 generalizza questo risultato, fornendo una famiglia a 4 parametri di matrici magiche di Eulero proprie su $\mathbb{Q}(q, r, t, u)$. Ciò dimostra che le soluzioni non sono isolate ma fanno parte di una più ampia famiglia algebrica.

3. Costruzioni per altri $n$:

   • Il Teorema 4.1 costruisce matrici magiche di Eulero per tutti gli $n \geq 4$ (sia pari che dispari) utilizzando matrici di permutazione. Tuttavia, l'autore nota esplicitamente che queste sono "lontane dall'essere proprie" poiché contengono molti elementi nulli e valori ripetuti.
   • Per $n=5$, il lavoro riporta una ricerca casuale che ha prodotto matrici che soddisfano le condizioni di Eulero ma falliscono la condizione di "proprietà" (quadrati distinti) di poco (ad esempio, 24 quadrati distinti su 25 elementi). L'esistenza di una matrice propria per $n=5$ rimane una domanda aperta.

Significato e Affermazioni

Il lavoro afferma di risolvere la questione dell'esistenza delle matrici magiche di Eulero nei casi specifici di $n=3$ e $n=8$.

• Per $n=3$, chiude definitivamente la porta all'esistenza di tali matrici sui razionali, suggerendo che la difficoltà nel trovare un quadrato magico $3 \times 3$ di quadrati potrebbe essere più profonda del sospettato, poiché anche la condizione rilassata di "matrice magica di Eulero" non può essere soddisfatta.
• Per $n=8$, convalida un suggerimento di Isabel Pirsic di utilizzare matrici di moltiplicazione per ottettoni. Sebbene la massiccia ricerca di Pirsic non abbia trovato esempi, questo lavoro dimostra che un'attenta analisi algebrica del sistema polinomiale produce soluzioni senza la necessità di una ricerca esaustiva.
• Il lavoro evidenzia che $n=3$ è l'unico intero positivo per cui non esiste una matrice magica di Eulero in $\mathbb{Q}^{n \times n}$, mentre tali matrici esistono per tutti gli altri $n$ (sebbene la proprietà sia garantita solo per $n=4$ e $n=8$ in questo lavoro).

L'autore mantiene un tono modesto riguardo al caso $n=5$, riconoscendo che, sebbene siano stati trovati esempi quasi propri, l'esistenza di una matrice completamente propria rimane non dimostrata. Il lavoro sottolinea l'utilità delle strutture algebriche (quaternioni per $n=4$, ottettoni per $n=8$) nella generazione di queste matrici e la potenza dell'analisi dei sistemi polinomiali rispetto alla ricerca per forza bruta.