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

Résumé technique : Sur les matrices magiques d'Euler de tailles 3 et 8

Énoncé du problème
L'article étudie les « matrices magiques d'Euler », une classe spécifique de matrices à coefficients entiers $M \in \mathbb{Z}^{n \times n}$ définies par trois conditions pour une certaine constante non nulle $\gamma$ :

1. Condition de type orthogonalité : $M \cdot M^t = \gamma \cdot I_n$.
2. Condition de la diagonale principale : La somme des carrés des éléments de la diagonale principale est égale à $\gamma$.
3. Condition de la diagonale secondaire : La somme des carrés des éléments de la diagonale secondaire est égale à $\gamma$.

Si les carrés des éléments de $M$ sont deux à deux distincts, la matrice est qualifiée de « matrice magique d'Euler propre ». L'existence de telles matrices est liée à la construction de « carrés magiques de carrés » (matrices dont les éléments sont des carrés distincts et dont les sommes des lignes, colonnes et diagonales sont égales). Alors qu'Euler a construit de telles matrices pour $n=4$, l'existence pour $n=3$ reste un problème ouvert dans le contexte des carrés magiques de carrés. Cet article traite de l'existence des matrices magiques d'Euler spécifiquement pour $n=3$ et $n=8$, et fournit des constructions pour d'autres valeurs de $n$.

Méthodologie

• Cas $n=3$ : L'auteur utilise une réduction vers des matrices orthogonales sur le corps des nombres rationnels ($\mathbb{Q}$). En utilisant le Lemme 2.1, il est établi que pour $n$ impair, toute matrice magique d'Euler $M$ vérifiant $M \cdot M^t = \gamma I$ peut être mise à l'échelle pour devenir orthogonale. La preuve utilise un raffinement de la transformée de Cayley (Proposition 2.2), paramétrant les matrices orthogonales via des matrices antisymétriques $S$. En substituant cette paramétrisation dans les conditions de somme des diagonales principale et secondaire, le problème se réduit à la résolution d'un système d'équations polynomiales portant sur les éléments de $S$. L'auteur démontre que ces équations conduisent à une contradiction sur $\mathbb{Q}$ (impliquant spécifiquement le fait que 3 n'est pas un carré dans $\mathbb{Q}$), prouvant ainsi la non-existence.

• Cas $n=8$ : La construction repose sur l'algèbre des octonions. L'auteur définit $L(a, \dots, h)$ et $R(p, \dots, w)$ comme des matrices représentant respectivement la multiplication à gauche et à droite par des octonions. Le produit $M = L \cdot R$ satisfait automatiquement la condition d'orthogonalité $M \cdot M^t = \gamma I_8$. Le défi consiste à satisfaire les conditions diagonale et anti-diagonale (équations 2 et 3) tout en garantissant la condition de « propreté » (carrés distincts).

  • Stratégie de recherche : L'article détaille une approche de « recherche naïve » qui s'est révélée difficile en raison de la complexité des courbes quartiques résultantes et de la difficulté à trouver des points rationnels.
  • Réduction algébrique : Une stratégie plus fructueuse a consisté à imposer des restrictions algébriques spécifiques aux paramètres de $L$ (spécifiquement $h = \pm a$ et une condition de somme de carrés sur les paramètres restants). Cela a réduit le degré du système polynomial, permettant l'élimination de variables et la dérivation d'une paramétrisation rationnelle.

• Cas général $n \geq 4$ : L'article construit des matrices magiques d'Euler « impropres » (où les éléments ne sont pas nécessairement des carrés distincts) en utilisant des matrices de permutation dérivées de structures de cycles spécifiques dans le groupe symétrique.

Contributions et résultats clés

1. Non-existence pour $n=3$ : L'article démontre le Théorème 1.2, affirmant qu'aucune matrice magique d'Euler n'existe dans $\mathbb{Q}^{3 \times 3}$. Par conséquent, aucune matrice magique d'Euler propre n'existe pour $n=3$. La preuve repose sur la démonstration que le système d'équations dérivé de la transformée de Cayley n'a pas de solutions rationnelles.

2. Existence pour $n=8$ : L'article fournit la première construction explicite d'une matrice magique d'Euler propre pour $n=8$.

   • Le Théorème 1.3 présente une matrice entière spécifique $8 \times 8$, $M = L \cdot R$, avec des éléments carrés distincts, construite à l'aide de paramètres entiers spécifiques pour les matrices de multiplication octonienne.
   • Le Théorème 1.4 généralise ce résultat, fournissant une famille à 4 paramètres de matrices magiques d'Euler propres sur $\mathbb{Q}(q, r, t, u)$. Cela démontre que les solutions ne sont pas isolées mais font partie d'une plus grande famille algébrique.

3. Constructions pour d'autres $n$ :

   • Le Théorème 4.1 construit des matrices magiques d'Euler pour tout $n \geq 4$ (pair et impair) en utilisant des matrices de permutation. Cependant, l'auteur note explicitement qu'elles sont « loin d'être propres » car elles contiennent de nombreuses entrées nulles et des valeurs répétées.
   • Pour $n=5$, l'article rend compte d'une recherche aléatoire ayant produit des matrices satisfaisant les conditions d'Euler mais échouant à la condition de « propreté » (carrés distincts) de peu (par exemple, 24 carrés distincts sur 25 entrées). L'existence d'une matrice propre pour $n=5$ reste une question ouverte.

Portée et affirmations

L'article prétend résoudre la question de l'existence des matrices magiques d'Euler dans les cas spécifiques de $n=3$ et $n=8$.

• Pour $n=3$, il ferme définitivement la porte à l'existence de telles matrices sur les rationnels, suggérant que la difficulté à trouver un carré magique de carrés $3 \times 3$ est plus profonde que soupçonné précédemment, car même la condition relâchée de « matrice magique d'Euler » ne peut être satisfaite.
• Pour $n=8$, il valide une suggestion d'Isabel Pirsic d'utiliser des matrices de multiplication octonienne. Alors que la recherche massive de Pirsic n'avait pas permis de trouver d'exemples, cet article démontre qu'une analyse algébrique soigneuse du système polynomial produit des solutions sans nécessiter de recherche exhaustive.
• Le travail met en évidence que $n=3$ est le seul entier positif pour lequel aucune matrice magique d'Euler n'existe dans $\mathbb{Q}^{n \times n}$, tandis que de telles matrices existent pour tous les autres $n$ (bien que la propreté ne soit garantie que pour $n=4$ et $n=8$ dans ce travail).

L'auteur maintient un ton modeste concernant le cas $n=5$, reconnaissant que bien que des exemples quasi-propres aient été trouvés, l'existence d'une matrice entièrement propre reste non prouvée. L'article souligne l'utilité des structures algébriques (quaternions pour $n=4$, octonions pour $n=8$) dans la génération de ces matrices et la puissance de l'analyse des systèmes polynomiaux par rapport à la recherche par force brute.