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

Resumo Técnico: Sobre as Matrizes Mágicas de Euler dos Tamanhos 3 e 8

Enunciado do Problema
O artigo investiga "matrizes mágicas de Euler", uma classe específica de matrizes inteiras $M \in \mathbb{Z}^{n \times n}$ definida por três condições para alguma constante não nula $\gamma$:

1. Condição semelhante à ortogonalidade: $M \cdot M^t = \gamma \cdot I_n$.
2. Condição da diagonal principal: A soma dos quadrados dos elementos na diagonal principal é igual a $\gamma$.
3. Condição da diagonal secundária: A soma dos quadrados dos elementos na diagonal secundária é igual a $\gamma$.

Se os quadrados dos elementos em $M$ forem distintos dois a dois, a matriz é denominada uma "matriz mágica de Euler própria". A existência de tais matrizes relaciona-se à construção de "quadrados mágicos de quadrados" (matrizes cujos elementos são quadrados distintos e as somas das linhas, colunas e diagonais são iguais). Embora Euler tenha construído tais matrizes para $n=4$, a existência para $n=3$ permanece um problema em aberto no contexto dos quadrados mágicos de quadrados. Este artigo aborda a existência de matrizes mágicas de Euler especificamente para $n=3$ e $n=8$, e fornece construções para outros $n$.

Metodologia

• Caso $n=3$: O autor emprega uma redução a matrizes ortogonais sobre o corpo dos números racionais ($\mathbb{Q}$). Utilizando o Lema 2.1, estabelece-se que, para $n$ ímpar, qualquer matriz mágica de Euler $M$ com $M \cdot M^t = \gamma I$ pode ser escalada para ser ortogonal. A prova utiliza um refinamento da transformada de Cayley (Proposição 2.2), parametrizando matrizes ortogonais via matrizes antissimétricas $S$. Ao substituir essa parametrização nas condições de soma da diagonal principal e da diagonal secundária, o problema reduz-se a resolver um sistema de equações polinomiais nos elementos de $S$. O autor demonstra que essas equações levam a uma contradição sobre $\mathbb{Q}$ (envolvendo especificamente a natureza não quadrada de 3 em $\mathbb{Q}$), provando a não existência.

• Caso $n=8$: A construção baseia-se na álgebra dos octônios. O autor define $L(a, \dots, h)$ e $R(p, \dots, w)$ como matrizes representando a multiplicação à esquerda e à direita por octônios, respectivamente. O produto $M = L \cdot R$ satisfaz automaticamente a condição de ortogonalidade $M \cdot M^t = \gamma I_8$. O desafio reduz-se a satisfazer as condições da diagonal principal e da diagonal secundária (equações 2 e 3) enquanto se garante a condição de "propriedade" (quadrados distintos).

  • Estratégia de Busca: O artigo detalha uma abordagem de "busca ingênua" que provou ser difícil devido à complexidade das curvas quarticas resultantes e à dificuldade de encontrar pontos racionais.
  • Redução Algébrica: Uma estratégia mais bem-sucedida envolveu impor restrições algébricas específicas aos parâmetros de $L$ (especificamente $h = \pm a$ e uma condição de soma de quadrados nos parâmetros restantes). Isso reduziu o grau do sistema polinomial, permitindo a eliminação de variáveis e a derivação de uma parametrização racional.

• $n \geq 4$ Geral: O artigo constrói "matrizes mágicas de Euler impróprias" (onde os elementos não são necessariamente quadrados distintos) usando matrizes de permutação derivadas de estruturas de ciclos específicas no grupo simétrico.

Contribuições e Resultados Principais

1. Não existência para $n=3$: O artigo prova o Teorema 1.2, afirmando que nenhuma matriz mágica de Euler existe em $\mathbb{Q}^{3 \times 3}$. Consequentemente, nenhuma matriz mágica de Euler própria existe para $n=3$. A prova baseia-se em mostrar que o sistema de equações derivado da transformada de Cayley não possui soluções racionais.

2. Existência para $n=8$: O artigo fornece a primeira construção explícita de uma matriz mágica de Euler própria para $n=8$.

   • O Teorema 1.3 apresenta uma matriz inteira específica $8 \times 8$, $M = L \cdot R$, com elementos quadrados distintos, construída usando parâmetros inteiros específicos para as matrizes de multiplicação por octônios.
   • O Teorema 1.4 generaliza este resultado, fornecendo uma família de 4 parâmetros de matrizes mágicas de Euler próprias sobre $\mathbb{Q}(q, r, t, u)$. Isso demonstra que as soluções não são isoladas, mas parte de uma família algébrica maior.

3. Construções para outros $n$:

   • O Teorema 4.1 constrói matrizes mágicas de Euler para todo $n \geq 4$ (tanto pares quanto ímpares) usando matrizes de permutação. No entanto, o autor observa explicitamente que estas estão "longe de serem próprias", pois contêm muitas entradas zero e valores repetidos.
   • Para $n=5$, o artigo relata uma busca aleatória que produziu matrizes satisfazendo as condições de Euler, mas falhando na condição de "propriedade" (quadrados distintos) por uma pequena margem (por exemplo, 24 quadrados distintos entre 25 entradas). A existência de uma matriz própria para $n=5$ permanece uma questão em aberto.

Significância e Afirmações

O artigo afirma resolver a questão da existência de matrizes mágicas de Euler nos casos específicos de $n=3$ e $n=8$.

• Para $n=3$, fecha-se definitivamente a porta à existência de tais matrizes sobre os racionais, sugerindo que a dificuldade em encontrar um quadrado mágico de quadrados $3 \times 3$ pode ser mais profunda do que se suspeitava anteriormente, já que até mesmo a condição relaxada de "matriz mágica de Euler" não pode ser satisfeita.
• Para $n=8$, valida-se uma sugestão de Isabel Pirsic de usar matrizes de multiplicação por octônios. Embora a busca massiva de Pirsic tenha falhado em encontrar exemplos, este artigo demonstra que uma análise algébrica cuidadosa do sistema polinomial produz soluções sem a necessidade de busca exaustiva.
• O trabalho destaca que $n=3$ é o único inteiro positivo para o qual nenhuma matriz mágica de Euler existe em $\mathbb{Q}^{n \times n}$, enquanto tais matrizes existem para todos os outros $n$ (embora a propriedade seja garantida apenas para $n=4$ e $n=8$ neste trabalho).

O autor mantém um tom modesto em relação ao caso $n=5$, reconhecendo que, embora exemplos quase próprios tenham sido encontrados, a existência de uma matriz totalmente própria permanece não provada. O artigo enfatiza a utilidade de estruturas algébricas (quaternions para $n=4$, octônios para $n=8$) na geração dessas matrizes e o poder da análise de sistemas polinomiais sobre a busca por força bruta.