On Base , Normal and Near-normal Sequences

組合せ数学という静かで抽象的な世界において、研究者たちは単純な数字のリストの中に隠されたパターンをしばしば探し求めています。スイッチが「オン」または「オフ」のいずれかに設定された、長い一列のスイッチを想像してみてください。もしあなたがそのような2つの列を持ち、それらを比較するために、一方をもう一方に対してスライドさせると、あらゆるステップにおいてどれほど一致し、あるいは衝突しているかを測定することができます。この測定値は自己相関と呼ばれます。数十年にわたり、数学者たちはある特定のパズルに魅了されてきました。それは、異なる長さを持つ2組のペアとして、4つのこのようなスイッチの列を見つけられるかというものです。これら4つの列をスライドさせ、一致と衝突のすべてを合計したとき、最初の一点を除いて、全域でノイズが完全にゼロに相殺されるような配置です。これが「ベースシーケンス（基底数列）」の探求です。

これらのシーケンスは単なる数字の遊びではありません。これらは「アダマール行列」として知られる特別な正方行列を構築するための、隠された設計図なのです。これらの行列は、エンジニアリングや物理学において、騒がしい環境の中でも信号が乱されることなく伝わるようにするために不可欠なツールであり、それはまるで、雑踏の中で澄んだ声が通り抜けていくかのようです。グリッドが大きければ大きいほど、信号はより強力になりますが、これらのグリッドを構築するためのスイッチの列の適切な配置を見つけることは、サイズが増すにつれて指数関数的に困難になります。長年、数学者たちは、これらすべてのサイズに対してこのような完璧な配置が見つかるはずだという、ある「予想（コンジェクチャー）」を持っていましたが、彼らは特定の地点までのサイズについてしか証明できていませんでした。

南京情報科学技術大学の研究チームは、この探索の境界をかつてないほど押し広げました。彼らは、何十億もの組み合わせの中から、これら4つのスイッチの列をふるい分けるための、非常に効率的な新しい手法を開発しました。4つの行を一度に推測しようとするのではなく、彼らのアルゴルズムは、まず互いに適合する行のペアを構築し、それからセットを完成させるための残りの2つを探索します。このアプローチを用いることで、彼らは歴史上初めて、サイズ41、42、および43におけるこれらの完璧なシーケンスの構築に成功しました。この成果は、これらのシーケンスが存在するという長年の予想が、サイズ43までのすべてのサイズにおいて真であることを裏付け、これらの数学的構造の既知の領域を拡張しました。

しかし、研究者たちが「ニアノーマル（準正規）」シーケンスとして知られる、より厳格な2つの特定のバージョンのシーケンスに目を向けたとき、物語は意外な展開を見せます。これらについては、すべての偶数に対して存在するという同様の信念がありました。チームは、次のいくつかの偶数について検証するために、徹底的なコンピュータ探索を実行しました。その結果、これらのシーケンスは多くのサイズでは存在するものの、42および44においては単純に存在しないことが判明しました。この発見は重要です。なぜなら、これは「ニアノーマル」シーケンスに関する信念が、単に証明されていないだけでなく、失敗する特定のケースを見つけることによって、明確に誤りであることが示された最初の具体的な証拠を提供したからです。これは、長年の考えが単に未解明であるだけでなく、具体的に間違っていることが示された、数学における稀な瞬間です。

研究者たちはまた、「ノーマル（正規）」シーケンスと呼ばれる別の厳格なバージョンについても調査しました。彼らは、特定の数のパターン、具体的には8の倍数より2少ない数に対して、これらのシーケンスが存在し得ないことを数学的に証明しました。彼らのコンピュータ探索は、これらのシーケンスが41から46の範囲には存在しないことをさらに裏付けました。彼らが一般的なシーケンスを新しいサイズで構築することには成功した一方で、より厳格なバージョンの存在については、依然として謎のままです。彼らの研究は、単にリストに新しい例を追加するだけではありません。それは、パターンがどこで崩れ、どこで継続するのかを正確に示すことで、何が可能であるかという景観を再形成しています。

これらの発見の影響は、冒頭で述べたアダマール行列の構築へと波及します。これらの行列は、堅牢な通信システムや誤り訂正符号を作成するために不可欠であるため、どのサイズが構築可能で、どのサイズが不可能であるかを知ることは極めて重要です。研究者たちの新しいアルゴリズムは、深い数学的規則と強力なコンピュータ探索を組み合わせたものであり、将来への明確な道筋を示しています。これにより、科学者は不可能な組み合わせを迅速に排除する方法を知った上で、自信を持ってさらに大きなサイズをテストできるようになります。厳格なタイプのシーケンスについてはばらまらされた全てのサイズに対して存在するという問いは、今や否定されていますが、一般的な探求は続いており、研究者たちはこの複雑な分野における次世代の発見のための道を切り拓いたのです。