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

技術的サマリー：3 次および 8 次のオイラーのマジック行列について

問題提起
本論文は、「オイラーのマジック行列」と呼ばれる特定の整数行列 $M \in \mathbb{Z}^{n \times n}$ のクラスを調査する。これは、ある非零定数 $\gamma$ に対して以下の 3 つの条件を満たすように定義される。

1. 直交性類似条件: $M \cdot M^t = \gamma \cdot I_n$。
2. 主対角条件: 主対角線上の成分の二乗和が $\gamma$ に等しい。
3. 副対角条件: 副対角線上の成分の二乗和が $\gamma$ に等しい。

$M$ の成分の二乗が互いに異なる場合、その行列は「真の（proper）」オイラーのマジック行列と呼ばれる。そのような行列の存在は、「二乗のマジック正方形」（成分が異なる二乗数であり、行・列・対角線の和が等しい行列）の構成と関連している。オイラーは $n=4$ のような行列を構成したが、$n=3$ における存在は、二乗のマジック正方形の文脈において未解決の問題である。本論文は、特に $n=3$ および $n=8$ に対するオイラーのマジック行列の存在に焦点を当て、他の $n$ に対する構成も提供する。

手法

• ケース $n=3$: 著者は、有理数体 ($\mathbb{Q}$) 上の直交行列への帰着を採用する。補題 2.1 を用いて、$M \cdot M^t = \gamma I$ を満たす奇数次 $n$ の任意のオイラーのマジック行列 $M$ は、直交行列となるようにスケーリング可能であることが確立される。証明は、ケイリー変換の改良（命題 2.2）を利用し、斜対称行列 $S$ を通じて直交行列をパラメータ化する。このパラメータ化を対角および副対角の和の条件に代入することで、問題は $S$ の成分に関する多項式方程式系を解くことに帰着される。著者は、これらの方程式が $\mathbb{Q}$ 上で矛盾（具体的には $\mathbb{Q}$ における 3 が平方数でないことに関連する）を導くことを示し、非存在を証明する。

• ケース $n=8$: 構成は八元数の代数に依存する。著者は、それぞれ八元数による左乗算と右乗算を表す行列を $L(a, \dots, h)$ および $R(p, \dots, w)$ と定義する。積 $M = L \cdot R$ は自動的に直交性条件 $M \cdot M^t = \gamma I_8$ を満たす。課題は、対角および副対角の条件（式 2 と 3）を満たしつつ、「真の（proper）」条件（異なる二乗数）を確保することに帰着される。

  • 探索戦略: 論文は「単純な探索（naive search）」アプローチを詳述しているが、結果として生じる四次曲線の複雑さと有理点の発見の難しさにより、困難であることが判明した。
  • 代数的帰着: より成功した戦略は、$L$ のパラメータ（具体的には $h = \pm a$ および残りのパラメータに関する二乗和の条件）に特定の代数的制限を課すことであった。これにより多項式系の次数が低下し、変数の消去と有理パラメータ化の導出が可能になった。

• 一般の $n \geq 4$: 論文は、対称群内の特定の巡回構造に由来する置換行列を用いて、「偽の（improper）」オイラーのマジック行列（成分が必ずしも異なる二乗数ではない）を構成する。

主要な貢献と結果

1. $n=3$ における非存在: 論文は、$\mathbb{Q}^{3 \times 3}$ においてオイラーのマジック行列が存在しないことを示す定理 1.2を証明する。したがって、$n=3$ に対する真のオイラーのマジック行列は存在しない。証明は、ケイリー変換から導かれた方程式系に有理数解が存在しないことを示すことに依存している。

2. $n=8$ における存在: 論文は、$n=8$ に対する真のオイラーのマジック行列の最初の明示的な構成を提供する。

   • 定理 1.3 は、八元数乗算行列の特定の整数パラメータを用いて構成された、異なる二乗成分を持つ特定の $8 \times 8$ 整数行列 $M = L \cdot R$ を提示する。
   • 定理 1.4 はこの結果を一般化し、$\mathbb{Q}(q, r, t, u)$ 上の 4 パラメータ族の真のオイラーのマジック行列を提供する。これにより、解が孤立したものではなく、より大きな代数的家族の一部であることが示される。

3. 他の $n$ に対する構成:

   • 定理 4.1 は、置換行列を用いて、すべての $n \geq 4$（偶数および奇数）に対してオイラーのマジック行列を構成する。ただし、著者はこれらには多くのゼロ成分と繰り返し値が含まれており、「真の条件からは程遠い」ことを明示的に指摘している。
   • $n=5$ については、論文はオイラーの条件を満たすが「真の」条件（異なる二乗数）をわずかに満たさない（例えば、25 個の成分のうち 24 個が異なる二乗数）行列をもたらすランダム探索について報告している。$n=5$ に対する真の行列の存在は、未解決の問題のままである。

意義と主張

本論文は、特に $n=3$ および $n=8$ のケースにおいて、オイラーのマジック行列の存在に関する問いを解決したと主張する。

• $n=3$ については、有理数体上でのそのような行列の存在の可能性を決定的に閉ざし、$3 \times 3$ の二乗のマジック正方形を見つけることの困難さは、以前考えられていたよりも深層にある可能性を示唆している。なぜなら、緩和された「オイラーのマジック行列」の条件さえも満たすことができないからである。
• $n=8$ については、イザベル・ピアシックによる八元数乗算行列の使用という提案を検証する。ピアシックの大規模な探索は例を見つけられなかったが、本論文は、多項式系の慎重な代数的分析が、網羅的な探索なしに解をもたらすことを実証している。
• この研究は、$n=3$ が $\mathbb{Q}^{n \times n}$ においてオイラーのマジック行列が存在しない唯一の正の整数であることを浮き彫りにしている。一方、他のすべての $n$ についてはそのような行列が存在する（ただし、本論文において「真の」性質が保証されるのは $n=4$ と $n=8$ の場合のみである）。

著者は $n=5$ のケースについて控えめなトーンを維持しており、真の条件に近い例は見つかったものの、完全に真の行列の存在は証明されていないことを認めている。論文は、これらの行列を生成する際の代数的構造（$n=4$ に対する四元数、$n=8$ に対する八元数）の有用性と、総当たり探索に対する多項式系分析の力を強調している。