A proper Euler magic matrix of order 6

数学という広大な風景の中に、厳格で隠された規則に従う数字の格子に対する特有の魅力が存在します。整数の平方表を想像してみてください。もし、どの行、どの列、そして二つの主要な対角線に沿って数字を足しても、その合計が常に同じであるならば、それはマジックスクエア（魔法陣）です。これは何世紀にもわたって思想家たちを魅了してきたパズルです。しかし、数学者たちはさらに先へと進み、その中の数字が単なる整数ではなく、一、四、九、あるいは十六のような「完全平方数」自身である場合はどうなるのか、と問いかけます。さらに困難なのは、行と列が単に和において均衡しているだけでなく、数学的に互いに独立しており、冗長性を生むような重なりを持たない特定の種類の格子です。この要件の組み合わせは、「オイラー・マジック・マトリックス」として知られる稀有で困難な対象を生み出します。数学者たちは、四行四列や八行八列といった特定のサイズではこのような格子が存在することを知っていましたが、特定の真ん中のサイズは謎のままでした。問いは単純ながらも頑固でした。六行六列のグリッドを構築できるのだろうか、という問いです。

サンジット・シン・メハットという研究者が、今、その問いに決定的な「イエス」で答えました。最近の研究において、メハットは、既知の正当な六次のオイラー・マジック・マトリックスの最初の例を構築しました。その重要性を理解するには、要求される厳格な条件に目を向ける必要があります。この格子には三十六個の整数が含まれていなければなりません。これらの数を二乗したとき、六つの数字のすべての行における和は、特定の合計値と等しくなければなりません。同じ合計値がすべての列に現れる必要があります。さらに、左上隅から右下隅へと走る六つの二乗された数の和がその合計値と一致し、右上隅から左下隅へと走る六つの二乗された数の和もまた、その合計値と一致しなければなりません。最後に、そしておそらく最も重要なこととして、三十六個のすべての数の絶対値が完全に異なっている場合にのみ、この格子は「正当（プロパー）」であると見なされます。たとえ一方が正で他方が負であっても、二つの数は同じ大きさを持ってはなりません。

数十年にわたり、このような六行六列のレイアウトにおける格子の存在は不明でした。以前の研究では、より小さなグリッドに関するケースを解決しており、三次のバージョンは不可能であることを証明し、一、二、四、五、および八のサイズにおけるバージョンが存在することを確認していました。六次のケースは、パズルの欠けている最小のピースとして残っていました。メハットの仕事は、二つの明確で具体的な例を提示することで、この空白を埋めました。第一の例は、二乗された項の特定の合計和として18,500を使用しています。第二の例は、独立して発見されたもので、異なる合計和43,290を使用しています。どちらのマトリックスも、それらのルールに従って二乗して足し合わせると、まさにこれらの合計値になる整数で満たされています。研究者は、両方のケースにおいて、行と列が数学的に独立しており、対角線の和が正しく、かつ格子のすべての数字が固有の大きさを持つことを検証しました。

これらの格子を見つけ出す道筋は、単純な試行錯誤によるものではありませんでした。探索空間があまりに広大であるため、標準的な計算手法や手作業ですべての可能性をチェックすることは不可能です。メハットは、探索を絞り込むための特殊な手法を開発しました。格子全体を一度に構築しようとするのではなく、まず行と列のルールを満たす方法で、より小さな構成要素を生成し、それらを組み合わせるというアプローチをとりました。候補となる格子が見つかったとき、研究者は、対角線のルールも満たすような行と列の特定の配置を探しました。この戦略は効果的であり、検索プログラムを実行してから数分以内に、二つの例を発見することを可能にしました。研究はまた、このような格子における合計和の数学的な下限を確立し、二乗された項の和は少なくとも2,485である必要があることを証明しました。この境界線は探索の指針となりました。

結果に疑いの余地がないことを確実にするため、発見は厳格な検証に供されました。計算は、丸め誤差の余地を残さない手法である、厳密な整数演算を用いてチェックされました。別の、独立して書かれたプログラムが結果を確認し、さらに、数学的論理をチェックするために設計されたコンピュータシステムによって、証明全体も検証されました。この三重のチェックプロセスにより、これらの格子が実在し、要求されるすべての条件を満たしていることが確認されました。この研究は複雑な理論や未証明の仮定に依存するものではなく、提示された数字そのものの明示に基づいています。誰でも計算機を使えば、提供された格子の行、列、および対角線が正しく加算されていること、そして二つの数が同じ大きさを持っていないことを検証できます。

この発見は、組合せ数学の分野における特定の、長年の疑問を解決するものです。平方数を用いたマジックスクエアの存在は、六次のグリッドにおいてもすでに知られていましたが、それらの以前の結果は、オイラー・マジック・マトリックスに求められる行と列の厳格な独立性を保証するものではありませんでした。メハットの仕事は、そのような構造が実際に可能であることを示し、これらの特別な格子を構築できるサイズの中に「六」という数字を加えたのです。この研究は、二つのそのような格子の実際の数値を提供し、開かれたままだった問題に対する具体的な解を提示しています。これは、巧妙な数学的戦略に導かれた現代の計算手法がいかにして長年研究者を悩ませてきた問題を解決し、理論的な可能性を具体的な現実へと変えることができるかを示す、明確な例となっています。