Mixed volumes of zonoids and the absolute value of the Grassmannian

魔法の積み木箱を想像してみてください。幾何学の世界では、これらのブロックは**ゾノイド（zonoid）と呼ばれます。これらは、さまざまな方向を向いた多くの薄くて平らな棒（線分）を積み重ねることで作ることができる、特別な形です。もしこれらを絶妙に積み重ねれば、ゴツゴツとした多面体であるゾノトープ（zonotope）**が出来上がります。さらに、より多くの極めて小さな棒を足し続けていくと、エッジを滑らかにすることができ、完璧に丸く滑らかな形になります。これらの滑らかな形がゾノイドです。

さて、これらの形を混ぜ合わせたときに、どれくらいの「空間」を占めるかを測定したいとしましょう。数学者はこれを**混合体積（mixed volume）**と呼びます。これは、次のような問いに似ています。「もし形Aの、形Bの、そして形Cの切り口を取ったとき、その結果としてできる3Dの塊はどれくらいの大きさになるだろうか？」

長い間、数学者たちは、これらの混合体積が互いにどのように関連しているかを正確に伝えるための完璧なルールブック、つまりあらゆる可能な不等式のリストを作成しようと試みてきました。これはゲームのルールブックのようなものです。あなたは基本ルール（例えば「負の体積は存在しない」など）は知っていますが、実行可能なすべての動きと、実行不可能なすべての動きを知りたいと考えているのです。

大発見：特定のケースにおける新しいルールブック

この論文の中で、著者たち（Gennadiy, Katherina, Simon, Ivan）は、特定のプレイヤーのための、全く新しい、非常に具体的なルールブックを構築しました。彼らは、6つの形（$Z_1$ から $Z_6$ と呼びましょう）があり、2次元（パンケーキのような平らな形）または3次元（サイコロのような立体的な形）で作業しているシナリオを調査しました。

彼らは、これらの設定においては、ルールブックが単なる漠然とした示唆ではなく、**コーン（錐体）**と呼ばれる、硬直した幾何学的構造であることを発見しました。このコーンは「ファセット（facet）」と呼ばれる、結晶の平らな壁のようなもので構成されています。それぞれの壁は、これらの形に対して必ず成立しなければならない、新しい厳格な不等力を表しています。

ここが面白いところですが、これらの新しいルールは**ミンコフスキー線形（Minkowski linear）**です。これは、2つの形を（パンケーキを重ねるように）結合させたとき、そのルールが個々のパーツに対して適用されるのと全く同じように、そのスタックに対しても適用されるという、非常にクリーンで予測可能な種類の数学であることを意味します。

「硬直した」手がかり

どのようにして彼らはこれらのルールを見つけたのでしょうか？ 彼らは、積み木の箱全体を理解するためには、最も「固定された」あるいは**硬直した（rigid）**配置だけを見ればよいことに気づきました。

6本の棒がテーブルの上にあると想像してください。もし、全体の「雰囲気」を変えることなく棒を一つ動かせるなら、それは「自由」です。しかし、もしある棒が他の多くの棒によってピン留めされ、動かすことが全くできないのであれば、それは**ロックされている（locked）**状態です。著者たちは、これらの棒の最も極端で「ロックされた」配置こそが、彼らの新しいルールブックの角（コーナー）を生成するものであることを証明しました。

2Dにおける6つの形状の場合、ルールブックのコーンには975個の壁（不等式）があることがわかりました。これは膨大な数に聞こえますが、形状の名前を入れ替えても数学が変わらないことを考慮すると、実際には8つのユニークなタイプの新しいルールしか存在しません。

3Dにおける6つの形状の場合、コーンには130個の壁があり、それはわずか2つのユニークなタイプの新しいルールに集約されます。

「絶対値」とのつながり

この論文は、**グラスマン多様体（Grassmannian）**と呼ばれるものとも驚くべき関連性を持っています。数学において、これは高次元空間から平らなシート（平面）を選ぶあらゆる方法を記述するための、おしゃれな言い方です。通常、これらのシートには（時計の針が時計回りに回っているように）「方向」や「向き（orientation）」があります。

著者たちは、これらのシートの絶対値に着目しました。グラスマン多様体の写真を撮ると想像してください。ただし、時計の針がどちらを向いているかという方向は見えず、方向に関係なく、その長さだけが見えている状態です。彼らは、ゾノイドに関する彼らの新しいルールブックが、これら「方向のない」シートのルールブックと全く同一であることを証明しました。これは、積み木のブロックを積み重ねるルールが、影のような方向のない平面の大きさを測るルールと同一であるということを発見したようなものです。

彼らが「見つけられなかったもの」（および、否定したもの）

この論文が言及していないことも重要です。

• これはすべての人に対する完全なルールブックではありません： 著者たちは、より多くの形状（例えば2Dにおける8つの形状）の場合、この整然とした硬直したコーン構造が崩壊することを明示的に述べています。彼らは、8つの形状の場合、ルールブックはもはや平らな壁を持つ単純な多面体ではなくなり、記述するのがはるかに困難な、滑らかで曲がった形状になることを証明しました。したがって、彼らの「完璧なリスト」は、2Dおよび3Dにおける4つ、6つ、および6つの形状という特定のケースにのみ有効です。
• 対称性が重要です： 彼らは、一部の新しいルールは、形状が完全に左右対称（円や正方形など）である場合にのみ機能することを発見しました。もし奇妙で歪んだ形を使えば、これらのルールのいくつかは失敗する可能性があります。彼らは、対称的な形状には機能するルールが、一般的な非対称の形状では機能しなくなる具体的な例を示しました。

彼らの確信度

著者たちは、自身が解決した特定のケースについては非常に自信を持っています。彼らは単に推測したのではなく、SageMathという強力なコンピュータプログラムを使用して、重労働を行いました。

• 2Dにおける4つの形状、2Dにおける6つの形状、および3Dにおける6つの形状のケースについて、彼らはルールブックが多面体コーン（平らな壁を持つ形状）であることを証明し、壁と生成子の正確な数をリストアップしました。
• 2Dにおける8つの形状のケースについて、彼らはルールブックが多面体ではないことを証明しました。彼らはコンピュータ・シミュレーションを用いて、形状の境界が曲線を描いていること、つまり、もはや単純な平らな不等式のリストで記述することはできないことを示しました。

まとめ

この論文は、特定の島のための宝の地図を見つけるようなものです。著者たちは、6つのビーチ（形状）を持つ2Dの島の正確な海岸線（不等式）をマッピングしました。彼らは、その海岸線が直線的で鋭い崖（多面体）でできていることを発見しました。しかし同時に、もし8つのビーチを持つ島をマップしようとするならば、その海岸線は滑らかで曲線的なビーチになり、同じ単純な地図には適合しなくなるという警告も残しました。

彼らは、古いスタイルの幾何学、巧妙な組合せ論の手法（「ロックされた」棒の配置を数えること）、そして現代のコンピュータの力を組み合わせて、これらの特定のサイズにおけるコードを解読しました。彼らはすべての形状の数に対して問題を解決したわけではありませんが、ちょうど6つの形状があるときに何が起こるのかについて、極めてクリアな視点を提供し、その地図がどこで機能しなくなるのかを明確に示しました。