Biangular lines with angles arccos(1/5) and arccos(3/5)

あなたは、巨大で見えない部屋の中心に立っているところを想像してください。あなたは、手から壁に向かって伸びる、細くて長い棒を一本持っています。さて、その棒が、あらゆる方向に手から伸びている様子を想像してみてください。これは、数学の世界では「線系（line system）」と呼ばれます。通常、数学者はすべてが完璧に等しい状態を好みます。もし、すべての棒のペアが全く同じ角度を成しているなら、それは「等角線（equiangular lines）」と呼ばれ、天井から吊るされた完璧にバランスの取れたモビールのようなものです。

しかし、人生はそれほど完璧ではありません。時には、一つの角度ではなく、二つの異なる角度を許容したいこともあります。これは「二角線（biangular lines）」の世界です。それは、パートナーが二つの特定のステップしか踏めないダンスのようなものです。例えば、ゆったりとした、だらりとした傾きか、あるいは鋭く素早い回転か。数学者が問いかけるのは、「これ以上ダンサーを部屋に入れると、お互いにぶつかってしまうのはいつか？」ということです。部屋（次元）が大きくなればなるほど、より多くのダンサーを入れられるように思えるかもしれませんが、幾何学のルールは厳格です。二つの角度のルールを破らずに、どれだけの数の棒を詰め込めるかには限界があります。

この論文は、次元7から10、さらには次元15までを覗き込みながら、特定のサイズの部屋におけるこれらの棒の絶対的な最大数を探る、探偵物語です。著者であるポール・トリコットは、非常に具体的な種類のダンスを調査しています。それは、角度が1/5と3/5という二つの非常に正確な値によって決定されるダンスです。彼らは単に推測しているわけではありません。彼らは、これらの踊る棒と「整数格子（integral lattices）」を結びつける巧妙なトリックを使用しています。格子とは、グラフ用紙のように無限に広がる、点がつながった巨大で見えないグリッドのようなものです。著者は、もし棒を適切に配置すれば、それらがこれらのグリッドの「ルート（根）」、つまり特別なベクトルと完璧に整列することを発見しました。このつながりを利用することで、彼らは部屋に入る棒の数を正確に証明し、既知の配置が実際に最善のものであることを示しています。

棒の詰め込みコンテスト

この論文は、特定のパズルに焦点を当てています。7次元空間（視覚化するのが難しいので、7つの異なる方向に動ける部屋だと想像してください）において、すべてのペアの線が $\arccos(1/5)$ または $\arccos(3/5)$ の角度で交わる場合、中心を通る線の最大数はいくらでしょうか？

この論文より前、数学者たちはいくつかの大きな数を知っていました。次元7から20にかけて、最大の既知の線群のサイズは72、126、240といったものでした。これらは、ルート格子（具体的には $E_6$、$E_7$、$E_8$）と呼ばれる特別なグリッドを用いた巧妙な方法によって構築されました。しかし、これらが本当に「最大」のグループなのか、あるいはもっと巧妙になれば、あと数本棒を詰め込めるのではないのか、誰も確信を持っていませんでした。

トリコットの論文はこう言います。「もっとうまくやれるかチェックしてみよう」。そして、次元7、8、9に対する答えは、断固とした「ノー」です。

以下は、部屋のサイズごとの論文の発見です：

• 次元 7: 論文は、線の最大数がちょうど 72 であることを証明しています。もし73本入れようとすれば、幾何学が崩壊します。72本を実現する唯一の方法は、$E_6$ 格子から構築された特定の配置を用いることです。それが唯一の解です。
• 次元 8: 限界は 126 本です。ここでも、これ以上は入らないことが論文によって証明されています。この数に達する唯一の方法は、$E_7$ 格子から導出された配置を用いることです。
• 次元 9: 限界は 240 本です。証明によれば、$E_8$ 格子による配置が唯一の勝者です。241本目をねじ込むことはできません。
• 次元 10: 論文は、より低い次元で使用されたのと同じ厳格なプロセスに従って、この次元における最大の線系の分類も試みています。しかし、提供された論文のテキストは、次元10に関する最終的な証明が完了する前に途切れており、この特定の限界については、この文書内では進行中の課題として残されています。

著者たちは単にこれらの数字を推測したのではなく、論理的な演繹とコンピュータ探索を組み合わせて、他のあらゆる可能性を排除しました。もし、より大きなグループが存在すると仮定すれば、最終的に数学的な矛盾に突き当たることを彼らは示しました。それは、丸い穴に四角い杭を打ち込もうとするようなものですが、その穴は純粋な数学で作られているのです。

「特別な三角形」の手がかり

どのようにして彼らはこれを証明したのでしょうか？ 彼らは「特別な三角形」という探偵ツールを使用しました。あなたの手の中に三本の棒があると想像してください。もし二本が「広い」角度（$\arccos(3/5)$）で傾き、三本目が「鋭い」角度（$\arccos(-1/5)$、つまり広い角度の反対）で傾いているなら、それらは特別な三角形を形成します。

論文は、どのような大きな線のグループ（72本以上）においても、これらの特別な三角形が必ず存在することを証明しています。一度それらが存在すると分かれば、数学は非常に硬直したものになります。著者たちは、これらの三角形が存在する場合、線群全体が特定の格子（ラティス）に沿うことを強制されることを示しました。一度、線を格子に合わせるように強制すると、コンピュータプログラムを使用して、その格子上のあらゆる配置方法をチェックすることができました。コンピュータは何百万もの組み合わせをチェックしましたが、あらゆるケースにおいて、既知の数（72、126、240）よりも多くは取れないことが分かりました。

次元15における新しい発見

メインの仕事は次元7から9の限界を証明すること（および10の開始）でしたが、この論文には楽しいサプライズもありました。次元15において、著者たちは 456 本の線からなる新しいシステムを構築しました。これは、他の数学者（ガンジノフとツォロシ）によって発見された最良の既知のシステムのサイズと一致しますが、この論文はそれを構築するための新鮮な方法を提供しています。それは、全く同じ美味しいケーキを作るための、少し異なる新しいレシピを見つけたようなものです。これにより、456が次元15における最大数の非常に強力な候補であることが確認されましたが、この論文は、それが絶対的な限界であると証明したとは主張していません（高次元では、それはより困難な作業です）。

結論

この論文は、確実性への勝利です。次元7、8、9については、角度 $\arccos(1/5)$ と $\arccos(3/5)$ の調べに合わせて踊ることができる線の正確な最大数が判明しました。その数は 72、126、そして 240 です。論文は、私たちがすでに知っていた配置が、単に優れたものであるだけでなく、これらの最大値に達する「唯一の」方法であることを証明しています。

著者たちは、これらの線と整数格子（目に見えないグリッド）とのつながりを「スーパーパワー」として使用しました。問題を「棒を詰め込むこと」から「格子上の点を詰め込むこと」へと変換することで、コンピュータを使ってあらゆる可能性をチェックし、これ以上は不可能であることを証明できたのです。これは、高次元幾何学という広大で抽象的な世界において、時として最も美しいパターンこそが、唯一適合するものなのです。