Finding all cospectral mates over a number field

あなたは、たった一つの手がかり、すなわち「機械の音」だけを頼りに謎を解こうとしている探偵だと想像してください。数学の世界、特にスペクトルグラフ理論と呼ばれる分野では、この「音」は固有値と呼ばれる数値のリストとして表されます。これらの数値は、楽器を叩いたときに奏でられる独特な音符のようなものです。もし、歯車やバネで構成された複雑な機械（数学者はこれを行列と呼ばれる数字の格子として表現します）があれば、その「歌」を計算することができます。

ここでの大きな問いは、「機械の形を聞き取ることができるか？」ということです。言い換えれば、もし二つの異なる機械が全く同じ歌を奏でたとしたら、それらは単に作り方が違うだけで、実は同じ機械なのでしょうか？ 時には、全く異なる構造を持つものが同じ調べを奏でることがあります。このような現象が起きたとき、それらは「共スペクトルな双子（cospectral mates）」と呼ばれます。何十年もの間、数学者たちは、ある機械が唯一無二のものなのか、それとも双子が存在するのかを見分ける信頼できる方法を見つけ出し、そしてもし双子が存在するならば、その双子を見つけ出すことに苦心してきました。それは、全員が同じマスクを被り、同じ音を歌っている群衆の中から、特定の人物を見つけ出すようなものです。

アレクサンダー・ヴァン・ヴェルデによるこの論文は、これらの双子を探し出すための新しい方法を導入することで、このパズルに取り組んでいます。単に機械が同一かどうかをチェックするのではなく、著者はこう問いかけます。「特殊な数学的な鏡を用いて、一つの機械を別の機械へと変形させることができるだろうか？」 この鏡とは、機械を回転させたり反転させたりしても、その歌を変えないような数字の格子です。ひねりは、この鏡に含まれる数字を特定の「数体（number fields）」に限定している点にあります。数学という広大な都市の中には、異なる「近所」が存在します。ある近所では単純な分数（例えば1/2や3/4）しか許されませんが、別の近所では、$\sqrt{2}$ のような、よりエキゾチックな数字を許容します。

この論文の主な発見は、これらの特定の近所の中で「共スペクトルな双子」を効率的に探し出すための一連のルールとコンピュータ・プログラムです。著者は、もし機械の歌がある特性（具体的には、その歌の「判別式」があまりに乱雑でない場合）を持っているならば、特定の近所において双子は存在しないと証明できます。もし双子が存在する場合、この論文は、たとえその機械が巨大で、扱われる数字が膨大であったとしても、そのすべての双子を見つけ出す手法を提供します。著者は、何千ものランダムな機械を用いてこの手法をテストしました。その結果、単純な近所（分数など）では双子が隠れていることが多い一方で、より複雑な近所（$\sqrt{2}$ などを含むもの）では、さらに多くの隠れたペアが明らかになることが分かりました。これは、単に機械がユニークであるか、あるいは双子を持っているのかを見分けるための、強力な懐中電灯を与えてくれるものです。

音楽的な双子の物語

さらに深く掘り下げてみましょう。巨大で複雑なレゴの構造物を想像してみてください。その構造物の写真を撮ることができますが、それは写真ではなく、その「雰囲気」や「スペクトル」を記述する数値のリストとして得られます。次に、全く違って見える二つ目のレゴ構造物を想像してください。例えば、背が高かったり、色が入れ替わっていたりするかもしれません。しかし、その二つ目の構造物の「雰囲気」の写真を撮ると、数値のリストは全く同一になります。これら二つの構造物は共スペクトルな双子です。彼らは音楽的な双子なのです。

長い間、数学者たちは、こうした双子が存在する場合もあれば、存在しない場合もあることを知っていました。しかし、彼らを見つけることは、銀河系ほどの大きさがある干し草の山の中から針を探すようなものでした。あらゆる可能なレゴの構造物をすべてチェックするのは不可能です。そこで論文はこう問いかけます。「もっと賢い方法はないだろうか？」

著者の素晴らしいアイデアは、一つの構造物を別の構造物へと変える「鏡」に注目することです。もし構造物Aが回転によって構造物Bに変えられるなら、その鏡は数字の格子となります。この論文は、もしその鏡の数字が、数体と呼ばれる特定の数の「近所」に住むように強制したらどうなるかを調査しています。

• 単純な近所（有理数）: これは、1/2、3/4、または -5 のような分数の近所です。もし鏡がこれらの単純な数字のみを使用する場合、私たちは「有理的な共スペクトルな双子」を探していることになります。
• エキゾチックな近所（代数的数体）: これらは、$\sqrt{2}$ や $\sqrt{3}$ を含む近所です。これらは単純な分数としては書けませんが、数学的には依然として「扱いやすい」数字です。

この論文は、これらの近所の周りに数学的な「フェンス（柵）」を築きます。もし機械の歌が十分に「きれい」であれば（判別式が平方自由であるという特性）、その機械が単なる自分自身の自明なコピー（例えば、二つの同一なレゴブロックを入れ替えただけのもの）でない限り、単純な近所には双子は存在しないことを証明します。これは、あらゆる可能性を一つずつチェックすることなく、双子の存在を排除できるという点で、非常に重要なことです。

しかし、もし歌がきれいではなかったら？ もしフェンスが壊れていたら？ ここからがこの論文の最もエキサイティングな部分です。著者は、スーパー・スマートな探偵として機能するコンピュータ・アルゴリズム（コンピュータへの指示セット）を開発しました。この探偵は、あらゆる可能性をチェックするわけではありません。代わりに、「フェンス」のルールを利用して、探索範囲を極めて小さな、管理可能な容疑者のリストへと絞り込みます。

探偵の仕組みは以下の通りです：

1. 歌を聴く: 機械の歌を分析し、「トラブルの種（歌の判別式を割り切る素数）」を見つけ出します。
2. 罠を作る: これらのトラブルの種を用いて、罠を仕掛けます。もし双子が存在するなら、機械を変形させるために使われる鏡は、これらのトラブルの種に関連する特定の性質を持っていなければならないことを、探偵は知っています。
3. 候補者をチェックする: その罠に適合する可能性のある鏡の短いリストを作成します。
4. 双子をテストする: それらの鏡のうち、実際に機械を新しい、有効な双子へと変形させるものがどれかをチェックします。

著者は、パーツ数が最大100個に達する何千ものランダムな機械に対して、この探偵をテストしました。結果は非常に興味深いものでした。

• 単純な近所（分数）では、小さな機械（パーツ数7前後）では双子が頻繁に見つかりましたが、機械が大きくなるにつれて、双子は非常に稀になりました。
• エキゾチックな近所（$\sqrt{2}$ を含むものなど）では、この探偵は、単純な近所が見逃していた新しい双子を発見しました。例えば、パーツ数4の機械において、このアルゴリズムは、分数の近所には存在しなかった、$\sqrt{2}$ の近所における数百もの双子を見つけ出したのです。

また、この論文は、自身が「できないこと」についても明確にしています。すべての存在する機械についての謎を解くことを主張しているわけではありません。もし機械の歌が「乱雑」な場合（固有値が重複している場合）、探偵は混乱する可能性があり、そのケースにおける双子の発見は依然として未解決の問題であると認めています。また、アルゴリズムは「トラブルの種」が大きすぎないという仮定に基づいています。もし数字が大きくなりすぎると、コンピュータの処理に時間がかかりすぎる可能性があります。

なぜこれを知っておく必要があるのか？

「レゴの機械とその歌なんて、誰が気にするのか？」と思うかもしれません。しかし、これは単なる数学パズルの話ではありません。これらの「機械」は、現実世界のネットワークを表しています。ソーシャルメディアのつながり、分子内の化学結合、あるいはインターネットそのものです。二つのネットワークが本当に異なるのか、それとも単なる「双子」なのかを知ることは、科学者がこれらのシステムがどのように機能しているかを理解する助けになります。もし二つのネットワークが外見は違っても、同じように振る舞うのであれば、それはまだ発見されていない隠れた対称性や根本的なルールが存在することを示唆しているのかもしれません。

この論文は、こうした隠れた対称性を探索するための新しい道具を与えてくれます。真実を見つけるためには、単純な近所だけでなく、数学のエキゾチックな近所を見なければならないこともある、ということを教えてくれます。そして、迷うことなくそれらの近所をナビゲートするための地図（アルゴリズム）を提供してくれます。

著者は、誰でも使えるように、この探偵のコードを公開しています。ですから、もし手元に大きく乱雑な機械があり、それに双子がいるかどうかを知りたいなら、今やプログラムを実行して、コンピュータに重労働を任せることができます。それは、二つの異なる世界が、実は単に装いを変えただけの同じものであることを、瞬時に教えてくれる魔法の杖を持っているようなものです。

結局のところ、この論文は、数学的な双子の宇宙は広大で複雑ですが、決してランダムな混沌ではないことを示唆しています。そこにはパターンがあり、ルールがあり、適切な道具さえあれば、私たちは聞いたこともない歌を歌っているドラムの形を、聞き取ることができるようになるのです。