振面体は、ほとんど神秘的な性質を持つ幾何学的形状です。振幅面体の体積を計算すると、粒子がどのように相互作用するかについての物理学における中心的な計算の答えが得られます。
さて、コーネル大学のパベル (パシャ) ガラシンという名の若い数学者は、振面体がまったく無関係な別の主題、つまり紙を折る技術である折り紙にも不思議な関係があることを発見しました。 2024 年 10 月に投稿された証明の中で、彼は折り紙で生じるパターンが振幅面体を形成する一連の点に変換できることを示しました。どういうわけか、紙の折り方と粒子の衝突の仕方によって、同じ幾何学的形状が生成されます。
「パシャはこれまでに振幅面体に関連する素晴らしい研究を行ってきました」と、2013年に当時大学院生だったヤロスラフ・トルンカ氏とともに振幅面体を導入した高等研究所の物理学者ニマ・アルカニハメド氏は語った。 「しかし、これは私にとって次のレベルのものです。」
ガラシン氏は、折り紙とのこの新しいつながりを利用することで、物理学者が長い間真実であると考えていたものの厳密に証明できなかった振面体に関する未解決の予想を解決することもできました。つまり、この形状は実際には物理学者が行いたい計算に対応する、より単純な構成要素に分割できるということです。言い換えれば、振幅面体の各部分は実際に想定どおりに組み合わされているということです。
その結果は、一見まったく異なる 2 つの研究分野の間に橋を架けるだけではありません。ガラシン氏と他の数学者はすでに、この橋が他に何を伝えることができるかを研究しています。彼らは振面体をより深く理解するためにそれを使用し、より広範囲の設定における他の質問に答えるために使用しています。
爆発的な計算
物理学者は、基礎粒子が相互作用するときに何が起こるかを予測したいと考えています。グルーオンと呼ばれる 2 つの素粒子が衝突するとします。それらは変化せずに互いに跳ね返るか、4 つのグルーオンのセットに変形するか、またはまったく別のことを行う可能性があります。それぞれの結果は特定の確率で発生します。これは、散乱振幅と呼ばれる数式で表されます。
何十年もの間、物理学者は 2 つの方法のいずれかで散乱振幅を計算してきました。最初に使用されたのは、粒子がどのように移動し相互作用するかを説明する波線図であるファインマン図です。各図は数学的計算を表します。さまざまなファインマン線図に対応する計算を加算することで、特定の散乱振幅を計算できます。しかし、衝突する粒子の数が増えると、必要なファインマン線図の数も爆発的に増加します。物事はすぐに手に負えなくなります。比較的単純なイベントの散乱振幅を計算するには、数千、さらには数百万の項を追加する必要がある場合があります。
2 番目の方法は 2000 年代初頭に導入され、Britto-Cachazo-Feng-Witten (BCFW) 再帰と呼ばれます。複雑な粒子の相互作用を、研究しやすい、より小さく単純な相互作用に分割します。これらの単純な相互作用の振幅を計算し、グラフと呼ばれる頂点とエッジの集合を使用してそれらを追跡できます。これらのグラフは、元の衝突の散乱振幅を計算するために、より単純な相互作用をつなぎ合わせる方法を示しています。
BCFW 再帰では、ファインマン図よりも作業が少なくて済みます。何百万もの用語を合計する代わりに、数百の用語を合計するだけで済む場合があります。しかし、どちらの方法にも同じ問題があります。多くの場合、最終的な答えは、そこに到達するまでに必要な膨大な計算よりもはるかに単純であり、多くの項が最終的に相殺されます。
そして 2013 年に、Arkani-Hamed と Trnka は驚くべき発見をしました。粒子衝突の複雑な数学は、実際には幾何学を隠したものであるということです。
ジオメトリによって保存されました
2000 年代初頭、マサチューセッツ工科大学の数学者、アレクサンダー ポストニコフは、ポジティブ グラスマンニアンとして知られる幾何学的オブジェクトを研究していました。
ポジティブ グラスマニアンは、1930 年代以来数学的な関心の対象となっており、高度に抽象的な方法で構築されています。まず、n を取得します。 - 次元空間を考え、その中に存在する特定の小さな次元のすべての平面を考慮します。たとえば、私たちが住んでいる 3 次元空間内には、あらゆる方向に広がる平らな 2 次元の平面が無数に存在します。
各プレーン — 基本的には、より大きな n のスライスです。 -次元空間 — 行列と呼ばれる数値の配列によって定義できます。この行列からマイナーと呼ばれる特定の値を計算し、平面のプロパティを知ることができます。
次に、あなたの空間内でマイナーがすべて正である飛行機だけを考えてみましょう。このような特別な「ポジティブ」平面をすべて集めると、複雑な幾何学空間、つまりポジティブなグラスマン空間が得られます。
ポジティブグラスマニアンの豊かな内部構造を理解するために、数学者はそれをさまざまな領域に分割し、各領域が特定のパターンを共有するさまざまな平面で構成されるようにしました。ポストニコフ氏は、この作業を容易にしたいと考え、さまざまな領域とそれらがどのように組み合わされているかを追跡する方法を考え出しました。彼は、プラビック (「平面二色」の略) グラフと呼んだもの、つまり、エッジが交差しないように描かれた、エッジで接続された黒と白の頂点のネットワークを発明しました。それぞれのプラビック グラフは、正のグラスマン関数の 1 つの領域を捉え、数学者に、密度の高い代数公式によって定義されるものを視覚的に表現できるようにしました。
ポストニコフがプラビック グラフを発表してからほぼ 10 年後、アルカニハメドとトルンカはさまざまな粒子衝突の散乱振幅を計算しようとしていました。彼らは BCFW の再帰式に取り組んでいたとき、何か奇妙なことに気づきました。彼らが計算を追跡するために使用していたグラフは、ポストニコフのプラビック グラフにそっくりでした。興味を持った彼らは、彼に会うために MIT まで車で行きました。
「昼食のとき、私たちは『おかしい、全く同じものを見ている』と言いました」とアルカニ・ハメド氏は思い起こす。
彼らは正しかった。 n の衝突の散乱振幅を計算するには 粒子の場合、物理学者は多くの BCFW 項を合計する必要があります。そして、それらの項のそれぞれは、n の正のグラスマン関数の領域に対応していました。 寸法。
Arkani-Hamed と Trnka は、この幾何学的接続により散乱振幅の計算が容易になる可能性があることに気づきました。彼らは、粒子の衝突に関するデータ (たとえば、粒子の運動量) を使用して、正のグラスマン分布の低次元の影を定義しました。この影の総体積は散乱振幅と等しかった。
こうして振幅面体が誕生しました。
8 つのグルーオンが関与する粒子衝突に対応する振幅面体の図。
ニマ・アルカニハメド
それは物語の始まりにすぎませんでした。たとえば、物理学者と数学者は、正のグラスマン関数の領域を定義した同じプラビック グラフが振幅面体の部分も定義できること、そしてそれらの部分には隙間や重なりがなく、形状の正確な体積を囲むように完全に適合することを確認したいと考えていました。この希望は、三角形分割予想として知られるようになりました。振幅面体をきれいに三角形分割すること、またはより単純な構成要素に細分化することはできるでしょうか?
これを証明することで、Arkani-Hamed と Trnka のビジョンが確固たるものになります。粒子衝突の散乱振幅を (非効率的ではあるが) 生成する複雑な BCFW 式は、振幅面体の構成要素の体積の合計として理解できるということです。
これは簡単な作業ではありませんでした。まず、実際には 2 つの振幅面体が存在することは最初から明らかでした。 1 つ目は、運動量ツイスター座標で定義されました。これは、正のグラスマニアンおよびポストニコフのプラビック グラフに自然に関連しているため、形状を扱いやすくする賢明な数学的再ラベル付けです。数学者は、2021 年にこのバージョンの振幅面体の三角形分割予想を証明することができました。
運動量振幅面体として知られるもう 1 つのバージョンは、衝突する粒子の運動量に関して直接定義されました。この 2 番目のバージョンは実際の粒子の衝突や散乱の実験と同じ言語を使っていたため、物理学者はこの 2 番目のバージョンをより重視しました。しかし、それを数学的に説明するのはさらに困難でした。その結果、三角測量の予想は依然として未解決のままでした。
運動量振幅面の三角形分割が失敗した場合、散乱振幅を計算するための BCFW 式を理解するのに振幅面体が正しい方法ではなかったことを意味します。
10 年以上、紙の折り目の研究で前進する方法が示唆され始めるまで、不確実性は残りました。
ビッグフットを見つける
パベル・ガラシンは、折り紙や振幅面体の研究を始めたわけではありません。 2018年、ポストニコフの大学院生の一人として、彼と同僚は正のグラスマン理論と、強磁性体のようなシステムの挙動を研究するために使用されるイジングモデルとの間の興味深い関連性を証明したばかりだった。ガラシンは現在、イジング モデルに関する有名な証明、特にイジング モデルが示す特別な対称性について、正のグラスマン関数の観点から理解しようとしていました。
ガラシン氏は、証明 (その後数年間にわたって断続的に戻ってきたプロジェクト) に取り組んでいる間、研究者が幾何学をより扱いやすくするために他の種類の図を使用した、折り紙の折り目のパターンに関するいくつかの興味深い論文に出会いました。これらは、鶴やカエルなどを作るために紙を折る場所を示す線の図です。
この折り目パターンにより白鳥が生成されます。
ここで折り紙が登場するのは奇妙に思えるかもしれません。しかし、長年にわたって、折り紙の数学は驚くほど奥深いことが判明しました。折り紙に関する問題、たとえば、指定された折り目のパターンから破れずに平らにできる形状が得られるかどうかなどは、計算的に解決するのが困難です。そして今では、折り紙を使用してあらゆる種類の計算を実行できることが知られています。
2023 年、ガラシン氏はイジング モデルに関する論文で折り紙が何を行っているかを調査していたときに、気になる質問に遭遇しました。折り目パターンの外側の境界、つまり折り目がさまざまな線分に分割する紙の境界線に関する情報しかないとします。特に、折り畳む前後の線分が空間内でどのように配置されるかについての情報しか得られないとします。これらの制約を満たし、適切に平らにできる折り紙の形状を生成する完全な折り目パターンを常に見つけることができるでしょうか?数学者たちは答えは「はい」であると推測していましたが、誰もそれを証明できませんでした。
ガラシン氏は、この推測が衝撃的であると感じました。なぜなら、ポジティブなグラスマンニアンを扱う彼の通常の研究分野では、物体の境界を調べることは、それに関する情報を得る一般的な方法だからです。
