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

Resumen Técnico: Sobre las Matrices Mágicas de Euler de Tamaños 3 y 8

Enunciado del Problema
El artículo investiga las "matrices mágicas de Euler", una clase específica de matrices de enteros $M \in \mathbb{Z}^{n \times n}$ definidas por tres condiciones para alguna constante no nula $\gamma$:

1. Condición similar a la ortogonalidad: $M \cdot M^t = \gamma \cdot I_n$.
2. Condición de la diagonal principal: La suma de los cuadrados de los elementos en la diagonal principal es igual a $\gamma$.
3. Condición de la diagonal secundaria: La suma de los cuadrados de los elementos en la diagonal secundaria es igual a $\gamma$.

Si los cuadrados de los elementos en $M$ son distintos dos a dos, la matriz se denomina "matriz mágica de Euler propia". La existencia de tales matrices se relaciona con la construcción de "cuadrados mágicos de cuadrados" (matrices donde los elementos son cuadrados distintos y las sumas de filas/columnas/diagonales son iguales). Mientras que Euler construyó tales matrices para $n=4$, la existencia para $n=3$ sigue siendo un problema abierto en el contexto de los cuadrados mágicos de cuadrados. Este artículo aborda la existencia de matrices mágicas de Euler específicamente para $n=3$ y $n=8$, y proporciona construcciones para otros valores de $n$.

Metodología

• Caso $n=3$: El autor emplea una reducción a matrices ortogonales sobre el campo de los números racionales ($\mathbb{Q}$). Utilizando el Lema 2.1, se establece que para $n$ impar, cualquier matriz mágica de Euler $M$ con $M \cdot M^t = \gamma I$ puede escalarse para ser ortogonal. La prueba utiliza un refinamiento de la transformación de Cayley (Proposición 2.2), parametrizando las matrices ortogonales mediante matrices antisimétricas $S$. Al sustituir esta parametrización en las condiciones de suma de la diagonal principal y secundaria, el problema se reduce a resolver un sistema de ecuaciones polinómicas en los elementos de $S$. El autor demuestra que estas ecuaciones conducen a una contradicción sobre $\mathbb{Q}$ (específicamente involucrando la naturaleza no cuadrada de 3 en $\mathbb{Q}$), probando la no existencia.

• Caso $n=8$: La construcción se basa en el álgebra de los octoniones. El autor define $L(a, \dots, h)$ y $R(p, \dots, w)$ como matrices que representan la multiplicación izquierda y derecha por octoniones, respectivamente. El producto $M = L \cdot R$ satisface automáticamente la condición de ortogonalidad $M \cdot M^t = \gamma I_8$. El desafío se reduce a satisfacer las condiciones de la diagonal principal y secundaria (ecuaciones 2 y 3) mientras se asegura la condición de "propiedad" (cuadrados distintos).

  • Estrategia de Búsqueda: El artículo detalla un enfoque de "búsqueda ingenua" que resultó difícil debido a la complejidad de las curvas cuárticas resultantes y la dificultad de encontrar puntos racionales.
  • Reducción Algebraica: Una estrategia más exitosa implicó imponer restricciones algebraicas específicas a los parámetros de $L$ (específicamente $h = \pm a$ y una condición de suma de cuadrados sobre los parámetros restantes). Esto redujo el grado del sistema polinómico, permitiendo la eliminación de variables y la derivación de una parametrización racional.

• $n \geq 4$ General: El artículo construye matrices mágicas de Euler "impropias" (donde los elementos no son necesariamente cuadrados distintos) utilizando matrices de permutación derivadas de estructuras de ciclos específicas en el grupo simétrico.

Contribuciones y Resultados Clave

1. No existencia para $n=3$: El artículo demuestra el Teorema 1.2, que establece que no existe ninguna matriz mágica de Euler en $\mathbb{Q}^{3 \times 3}$. En consecuencia, no existe ninguna matriz mágica de Euler propia para $n=3$. La prueba se basa en demostrar que el sistema de ecuaciones derivado de la transformación de Cayley no tiene soluciones racionales.

2. Existencia para $n=8$: El artículo proporciona la primera construcción explícita de una matriz mágica de Euler propia para $n=8$.

   • El Teorema 1.3 presenta una matriz entera específica $8 \times 8$, $M = L \cdot R$, con elementos al cuadrado distintos, construida utilizando parámetros enteros específicos para las matrices de multiplicación de octoniones.
   • El Teorema 1.4 generaliza este resultado, proporcionando una familia de 4 parámetros de matrices mágicas de Euler propias sobre $\mathbb{Q}(q, r, t, u)$. Esto demuestra que las soluciones no están aisladas, sino que forman parte de una familia algebraica más grande.

3. Construcciones para otros $n$:

   • El Teorema 4.1 construye matrices mágicas de Euler para todo $n \geq 4$ (tanto pares como impares) utilizando matrices de permutación. Sin embargo, el autor nota explícitamente que estas están "lejos de ser propias", ya que contienen muchas entradas cero y valores repetidos.
   • Para $n=5$, el artículo informa sobre una búsqueda aleatoria que produjo matrices que satisfacen las condiciones de Euler pero que fallan en la condición de "propiedad" (cuadrados distintos) por un margen pequeño (por ejemplo, 24 cuadrados distintos de 25 entradas). La existencia de una matriz propia para $n=5$ sigue siendo una pregunta abierta.

Significado y Afirmaciones

El artículo afirma resolver la cuestión de la existencia de matrices mágicas de Euler en los casos específicos de $n=3$ y $n=8$.

• Para $n=3$, cierra definitivamente la puerta a la existencia de tales matrices sobre los racionales, sugiriendo que la dificultad en encontrar un cuadrado mágico de cuadrados $3 \times 3$ puede ser más profunda de lo que se sospechaba anteriormente, ya que incluso la condición relajada de "matriz mágica de Euler" no puede cumplirse.
• Para $n=8$, valida una sugerencia de Isabel Pirsic de utilizar matrices de multiplicación de octoniones. Mientras que la búsqueda masiva de Pirsic no logró encontrar ejemplos, este artículo demuestra que un análisis algebraico cuidadoso del sistema polinómico produce soluciones sin necesidad de una búsqueda exhaustiva.
• El trabajo destaca que $n=3$ es el único entero positivo para el cual no existe ninguna matriz mágica de Euler en $\mathbb{Q}^{n \times n}$, mientras que tales matrices existen para todos los demás $n$ (aunque la propiedad solo está garantizada para $n=4$ y $n=8$ en este trabajo).

El autor mantiene un tono modesto respecto al caso $n=5$, reconociendo que, aunque se encontraron ejemplos casi propios, la existencia de una matriz completamente propia sigue sin estar demostrada. El artículo enfatiza la utilidad de las estructuras algebraicas (cuaterniones para $n=4$, octoniones para $n=8$) en la generación de estas matrices y el poder del análisis de sistemas polinómicos frente a la búsqueda por fuerza bruta.