A Hadamard Cube of Order 22

数学の静かな片隅に、完璧な均衡に関するパズルが存在します。すべてのセルにプラスまたはマイナスの記号が入った、数字のグリッドを想像してみてください。目標は、どの行も列も決して衝突しないように、これらの記号を配置することです。それらは、単一の意見において決して一致しない二人の人間のようにならなければなりません。このようなグリッドが見つかったとき、それはアダマール行列と呼ばれます。これらの構造は単なる抽象的な好奇心の対象ではありません。これらは、私たちのデジタル通信を明瞭に保ち、深宇宙探査機の信号がノイズの中に消えてしまうのを防ぐための、誤り訂正符号のバックボーンなのです。何十年もの間、数学者たちは多くのサイズに対してこれらのグリッドを構築する方法を知ってきましたが、執拗な空白が残っていました。彼らは4の倍数のサイズや、いくつかの特定の奇数のサイズについては構築できましたが、ある種のサイズ、つまり4の倍数より2大きいサイズは、大部分が謎のままでした。これらの捉えどころのないサイズの中で、22という数字は、誰も解決できなかった最も小さく、かつ最も手強いケースとして際立っていました。

研究チームはついにこの空白を埋め、サイズ22のグリッドに関する具体的な解を提示しました。彼らの研究は、平坦な二次元のシートにとどまりません。その代わりに、彼らは22の層が上に積み重なった、22層からなる立方体、すなわち三次元の物体を構築しました。各層は22×22の記号のグリッドであり、構造全体は、水平、垂直、または奥行きのいずれかの方向にスライスしたとき、得られるスライスがすべて互いに完璧に均衡するように設計されています。これは、この特定のサイズにおいて、そのような複雑で多層的な構造が存在することを証明しているため、重要な成果です。なぜなら、同じサイズのより単純な平坦なバージョンは存在し得ないことが知られているからです。研究者たちは単にそれが存在すると主張しただけでなく、すべての層におけるすべての記号を記述し、解の完全な地図を書き出し、オブジェクト全体を記述しました。

この発見への道のりは、長年の未解決問題の認識から始まりました。以前の三次元グリッドの構築の試みは多くのサイズで成功してきましたが、22に達するとすべて失敗しました。研究者たちは、二次元の平坦なグリッドがこのサイズでは存在できないという事実を、先行する数学的証明によって確立していました。これは、彼らの新しいオブジェクトが、本質的に異なる性質を持たなければならないことを意味していました。それは、彼らが慣れ親しんできた平坦なグリッドの単純な拡張であってはならないのです。彼らは、三次元において同時に直交性、すなわち完璧な不一致が成立する構成を見つけ出すために出発しました。これには、膨大な可能性の風景の中を探索する必要があり、それは人間が手作業でチェックするにはあまりにも大きなタスクでした。

この膨大な空間をナビゲートするために、チームは強力な計算ツールを利用しました。彼らは人工知能システムを使用して探索をガイドし、記号を配置する無数の方法を絞り込むことに役立てました。コンピュータは単に推測したのではなく、進行しながら層のバランスを厳密にチェックするという、厳格な経路に従いました。システムが候補を提案すると、研究者たちは問題の厳格なルールに照らして直接検証しました。彼らは、どのような切り方をしたとしても、すべてのスライスが要求される均衡を維持していることを確認しました。その結果、サイズ22の三次元アダマール・キューブの完全で明示的な例が得られました。論文はこのオブジェクトを全面的に提示しており、22個の異なる層、それぞれがプラスとマイナスの巨大なグリッドとして、そのすべてが書き出されています。

この発見の意義は、その具体性とその限界にあります。研究者たちは、このサイズの三次元構造が可能であることを示しましたが、同時に一つの境界線も浮き彫りにしました。平坦な二次元のグリッドがサイズ22では存在できないため、彼らの新しいオブジェクトは、単純な平坦なグリッドを三次元に拡張したものにはなり得ません。それは、真に新しい種類の構造であり、二次元では不可能である均衡を達成するために、余剰な次元に依存しています。論文は、この方法が他のすべての欠落したサイズの問題を解決すると主張しているわけでも、平坦なグリッドを構築する新しい方法を示唆しているわけでもありません。それは、この特定の、手強いケースが解決されたという、単一の、確固たる証明です。この研究は、特定の数学的オブジェクトの記録であり、かつては混沌としているように見えた空間の中に秩序を見出すための、人間の洞察力と計算による探索の組み合わせの力の証です。

パズルの最後のピースは、オブジェクトそのものです。それは、幅22、高さ22、奥行き22の記号の立方体です。その中には22の層があり、各層には484個の記号が含まれています。研究者たちは、最初の層から最後の層に至るまで、これらすべての記号をリストアップしました。もし誰かがこのキューブの真ん中をスライスしたり、横から切り取ったりすれば、得られるパターンは互いに完全に異なり、ルールを破るような重複は決して起こりません。この明示的な記述は、究極の証明として機能します。オブジェクトはそこに、完全に形成され、検証されるのを待っているのです。それは、数学の最も抽象的な領域においてさえ、答えは時に、一つ一つの記号を書き記していくことによって見出されることがあるのだということを思い出させてくれます。