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

技术摘要：关于 3 阶与 8 阶欧拉幻方矩阵

问题陈述
本文研究了“欧拉幻方矩阵”，这是一类特定的整数矩阵 $M \in \mathbb{Z}^{n \times n}$，其定义需满足针对某个非零常数 $\gamma$ 的三个条件：

1. 类正交条件： $M \cdot M^t = \gamma \cdot I_n$。
2. 主对角线条件： 主对角线上元素的平方和等于 $\gamma$。
3. 副对角线条件： 副对角线上元素的平方和等于 $\gamma$。

如果矩阵 $M$ 中元素的平方两两互异，则该矩阵被称为“正规”欧拉幻方矩阵。此类矩阵的存在性与“平方幻方”（即元素为互异平方数，且行、列、对角线之和相等的矩阵）的构造相关。虽然欧拉已构造出 $n=4$ 的情况，但在平方幻方的语境下，$n=3$ 的存在性仍是一个未解之谜。本文专门探讨了 $n=3$ 和 $n=8$ 时欧拉幻方矩阵的存在性，并为其他 $n$ 值提供了构造方法。

方法论

• $n=3$ 情形： 作者采用将有理数域 ($\mathbb{Q}$) 上的欧拉幻方矩阵归约至正交矩阵的方法。利用引理 2.1 确立，对于奇数 $n$，任何满足 $M \cdot M^t = \gamma I$ 的欧拉幻方矩阵 $M$ 均可缩放为正交矩阵。证明过程使用了凯莱变换（Cayley transform）的改进形式（命题 2.2），通过斜对称矩阵 $S$ 对正交矩阵进行参数化。将此参数化代入主对角线和副对角线的求和条件后，问题转化为求解 $S$ 中元素的多项式方程组。作者证明，这些方程在有理数域 $\mathbb{Q}$ 上会导致矛盾（具体涉及 3 在 $\mathbb{Q}$ 中非平方的性质），从而证明了不存在性。

• $n=8$ 情形： 构造依赖于八元数代数。作者定义 $L(a, \dots, h)$ 和 $R(p, \dots, w)$ 分别为表示八元数左乘和右乘的矩阵。乘积 $M = L \cdot R$ 自动满足正交条件 $M \cdot M^t = \gamma I_8$。挑战在于在满足“正规性”条件（平方数互异）的同时，满足对角线和副对角线条件（方程 2 和 3）。

  • 搜索策略： 论文详述了一种“朴素搜索”方法，但由于生成的四次曲线的复杂性以及寻找有理点的困难，该方法被证明难以奏效。
  • 代数归约： 更成功的策略涉及对 $L$ 的参数施加特定的代数限制（具体为 $h = \pm a$ 以及剩余参数的平方和条件）。这降低了多项式方程组的次数，使得能够消去变量并推导出有理参数化。

• 一般 $n \geq 4$： 本文利用源自对称群中特定循环结构的置换矩阵，构造了“非正规”欧拉幻方矩阵（即元素不必是互异平方数）。

主要贡献与结果

1. $n=3$ 的不存在性： 本文证明了定理 1.2，即在 $\mathbb{Q}^{3 \times 3}$ 中不存在欧拉幻方矩阵。因此，$n=3$ 时不存在正规的欧拉幻方矩阵。该证明依赖于表明由凯莱变换导出的方程组没有有理数解。

2. $n=8$ 的存在性： 本文提供了首个 $n=8$ 的正规欧拉幻方矩阵的显式构造。

   • 定理 1.3 展示了一个具体的 $8 \times 8$ 整数矩阵 $M = L \cdot R$，其平方元素互异，该矩阵是利用八元数乘法矩阵的特定整数参数构造的。
   • 定理 1.4 推广了这一结果，提供了一个定义在 $\mathbb{Q}(q, r, t, u)$ 上的含四个参数的正规欧拉幻方矩阵族。这表明解并非孤立的，而是属于一个更大的代数族。

3. 其他 $n$ 值的构造：

   • 定理 4.1 利用置换矩阵为所有 $n \geq 4$（包括偶数和奇数）构造了欧拉幻方矩阵。然而，作者明确指出这些矩阵“远非正规”，因为它们包含许多零元素和重复值。
   • 对于 $n=5$，论文报告了一次随机搜索的结果，该搜索找到了满足欧拉条件但未能满足“正规”条件（平方数互异）的矩阵（例如，25 个元素中仅有 24 个互异平方数）。$n=5$ 时是否存在正规矩阵仍是一个未解之谜。

意义与主张

本文声称解决了 $n=3$ 和 $n=8$ 特定情形下欧拉幻方矩阵的存在性问题。

• 对于 $n=3$，它彻底关闭了在有理数域上存在此类矩阵的大门，这表明寻找 $3 \times 3$ 平方幻方的困难可能比此前预想的更深，因为即使放宽到“欧拉幻方矩阵”的条件也无法满足。
• 对于 $n=8$，它验证了 Isabel Pirsic 关于使用八元数乘法矩阵的建议。虽然 Pirsic 的大规模搜索未能找到实例，但本文表明，对多项式方程组进行仔细的代数分析可以在无需穷举搜索的情况下得出解。
• 该工作强调，$n=3$ 是唯一一个在 $\mathbb{Q}^{n \times n}$ 中不存在欧拉幻方矩阵的正整数，而对于所有其他 $n$ 值，此类矩阵均存在（尽管在本工作中，正规性仅对 $n=4$ 和 $n=8$ 得到保证）。

作者在 $n=5$ 的情形上保持了谦逊的态度，承认虽然发现了近乎正规的例子，但完全正规矩阵的存在性仍未得到证明。论文强调了代数结构（$n=4$ 时的四元数，$n=8$ 时的八元数）在生成这些矩阵方面的效用，以及多项式方程组分析相较于暴力搜索的优势。