Quantum Mechanics on Lie Groups: II. Path Integrals

宇宙を巨大な、宇宙的なダンスフロアだと想像してみてください。このダンスにおいて、粒子は単に跳ね回る小さなボールではありません。それらは、床自体の形によって動きが決定されるダンサーのようなものです。時には、床は広大な草原のように平坦で開けています。しかし多くの場合、床は曲がっていたり、ねじれていたり、あるいは球体やドーナツのように巻き付いていたりします。これが、回転する独楽（こま）や回転する分子のような対称性を持つ形状を記述するための数学的な方法である、**リー群（Lie groups）**の世界です。

これらの量子ダンサーがどのように動くかを理解するために、物理学者は主に2つのツールを使用します。第一のツールは、ハミルトニアン力学であり、これはダンサーの速度と方向を、ある凍結された一瞬の時点で見つめ、次にどこへ行くかを予測することに似ています。第二は、リチャード・ファインマンによって提案された、驚天動地の概念である**経路積分（path integral）*です。たった一つの経路を選ぶのではなく、経路積分は、粒子が一度にあらゆる可能な経路*を通ることを示唆しています。それはまるで、ダンサーがステージから出口までのあらゆるルートを同時に試みているかのようです。そして、最終的な結果は、それらすべての可能性の魔法のような総和となります。ダンスフロアが曲がっていたり、「穴」（円のように）があったりする場合、この総和を計算するのは非常に困難になります。なぜなら、経路がさまざまな方法でループしたり、距離を測るためのルールが場所によって変化したりするからです。

「Quantum Mechanics on Lie Groups: II. Path Integrals（リー群上の量子力学：II. 経路積分）」と題されたこの論文は、この複雑なダンスフロアをナビゲートするためのガイドブックです。著者であるマチュー・ボーヴィラン、ブラゴ・オブラク、マリオス・ペトロプーロスは、特定の課題に取り組んでいます。それは、粒子がこれらの曲がった、対称性を持つ形状の上を移動する際の、「すべての経路の和」をどのように書き下ろすかという問題です。特に、これらの形状がコンパクトな方向（円のように、歩き続けると最終的に出発点に戻るような方向）を持っている場合です。彼らは、正しい答えを得るためには、単に経路を数えるだけでなく、経路がどのように形状の周りを「巻き付く（wind）」かという異なる方法も数えなければならないことを示しています。これは、紐がシリンダーに何度も巻き付くことができるのと似ています。彼らはこの新しい手法を用いて、これらの量子系がどのように振る舞うかを計算し、非常に高いレベルの詳細（「2ループ次数」と呼ばれます）まで機能する精密な公式を提供しています。これは、単純な系とは異なり、これらの複雑な量子的ダンスは最初の推測だけで完璧に予測できるわけではなく、ダンスフロアが曲がっているときに起こる微妙で、うねるような補正を考慮する必要があるため、極めて重要です。

量子の回転子のダンス

これらの物理学者がどのようにしてコードを解いたのか、その物語に飛び込みましょう。あなたが、回転する独楽や分子のような剛体の運動を予測しようとしていると想像してください。古典的な世界では、それがどのように動くかを正確に知っています。それは、丘を転がるビー玉のように、可能な限り最も滑らかな経路に従います。しかし、量子力学の世界では、物事はより曖昧です。物体はただ一つの経路を通るのではなく、可能性の雲を探索します。物体が特定の場所に到達する確率を計算するために、物理学者は「プロパゲーター（伝播関数）」を使用します。これは、本質的に、粒子のあり得るすべての履歴を合計するためのレシピです。

著者たちは、まず**オイラー＝アーノルド系（Euler-Arnold systems）と呼ばれる特別なクラスの系に注目します。これらは、リー群の世界における「フリーランナー（自由走行者）」と考えることができます。これらには、外部から押し付ける力（ポテンシャルエネルギー）がなく、自身の運動量と、自身が住む群の形に基づいて移動します。古典的に、これらの系は、曲面上の最も直線的な経路、すなわち測地線（geodesics）**に沿って移動することで有名です。これは、地球儀の上を歩く虫のようなものです。もし真っ直ぐ歩けば、大円（great circle）に沿って進みます。

著者たちが直面した大きな問題は、平坦な空間（紙のシートのような）や単純な円についてはこの数学を行う方法を知っている一方で、複雑で多次元的な形状（3次元物体の回転群のような）に対してこれを行うことは悪夢であるということでした。以前の試みの多くは、形状が「コンパクト」な方向、つまり自分自身にループして戻ってくる部分を持っている場合に失敗していました。コンパクトな方向に遠くまで歩けば、出発点に戻ってきます。量子力学の世界では、これは粒子が目的地に到着する前に、形状の周りを何度もループできることを意味します。

「巻き付き」と「展開」の魔法

これを解決するために、著者たちは巧妙なトリックを開発しました。彼らは、曲がった、ループする形状の上で直接数学を行おうとする代わりに、その形状を**リー代数（Lie algebra）**と呼ばれる平坦で無限の空間へと「展開（unwrapped）」できることに気づきました。シリンダーに巻き付いた紙を広げて平らにする様子を想像してください。この平らな紙の上では、粒子は永遠に直線を描いて歩くことができます。しかし、ここに落とし穴があります。紙を平らにすると、粒子が何回シリンダーを巻き付いたかという情報が失われてしまいます。

著者たちは、これを修正するためには「巻き数（winding numbers）の和」を加える必要があることを示しました。これは、「よし、粒子が真っ直ぐ歩く経路を計算し、次に粒子が一度巻き付いた場合の経路を計算し、次に二度、その次と、それらをすべて足し合わせよう」と言うようなものです。これは単純な円で使用されるアイデアと同じですが、著者たちはこれを任意の複雑なリー群に対して機能するように一般化しました。彼らは、この「巻き数」（より技術的には、群の要素の対数に対する和）の和が、コンパクトな方向の量子的な振る舞いを正しく捉えることを証明しました。

2ループの挑戦

経路積分をセットアップした後、著者たちは自分たちの公式がどの程度の精度を持っているかを確認したいと考えました。物理学では、しばしば「半古典的極限（semiclassical limit）」と呼ばれる近似を使用します。これは、粒子はおおむね古典的な経路に従うが、その周囲に量子的な「震え（jitters）」を持っていると仮定するものです。この近似の最初のレベルは「1ループ」計算と呼ばれます。これは、直線を描き、そこに小さなうねりを加えることに似ています。

しかし、著者たちは、これらの複雑な非可換群（「左に回ってから上に回る」のと「上に回ってから左に回る」のが異なるように、操作の順序が重要であるもの）においては、1ループの推測だけでは不十分であることを知っていました。その「震え」は、空間の曲率と複雑に相互作用します。そこで、彼らは計算をさらに進めて2ループ次数まで押し上げました。これは、最初のうねりが次のうねりにどのように影響するかを考慮するという、二層目のうねりを加えることに相当します。

彼らは、空間の曲率の性質のために、この2ループ項を計算することが非常に困難であることを発見しました。この数学には「ゴースト」が登場します。幽霊のようなものではなく、空間の曲がった測定ルールから生じるエラーを相殺するのに役立つ数学的ツール（ファデエフ＝ポポフ・ゴースト）です。著者たちは、これらのゴースト項が、計算を台無しにする計算不可能な無限の数値（発散）を相殺するために必要であることを明示的に示しました。彼らは、これらのゴーストを含めれば、無限が完璧に相殺され、有限で意味のある結果が残ることを証明しました。

彼らが発見したもの

この論文は、2ループレベルまでのこれらのオイラー＝アーノルド系の量子的な振る舞いを計算するための、完全でステップ・バイ・ステップのレシピを提供しています。彼らは、以下のものを含む「プロパゲーター（伝播関数）」の公式を導出しました：

1. 古典的な経路： 主要な測地線ルート。
2. 1ループ補正： 空間の形状に依存する、最初の量子的うねり。
3. 2ループ補正： 群の構造と系の「慣性」に関わる、より複雑な二番目のうねり。

彼らはまた、システムが熱平衡状態にあるとき（例えば、特定の温度におけるこれらの回転する独楽のガスの状態）の振る舞いを示す**分配関数（partition function）**を計算するために、これを用いました。彼らは、高温においては、結果は自由粒子のように見えるが、群の「曲率」（具体的には、空間がどれほど曲がっているかの尺度であるリッチスカラー）に依存する小さな補正項が付随することを発見しました。

なぜ重要なのか

この研究は、標準的な量子力学の単純で平坦な世界と、リー群の複雑で曲がった世界との間の溝を埋めるという点で、重要な一歩を踏み出しています。コンパクトな方向の「巻き付き」をどのように扱うか、そしてゴーストを用いて数学的な無限をどのように相殺するかを示すことで、著者たちは、これらの対称的な形状上の量子系を研究するための厳密な基礎を提供しました。これは、分子の回転から、特定の凝縮系物理学、さらには量子重力の側面に至るまで、あらゆるものを理解するために重要です。彼らは単に推測したのではなく、最もねじれたダンスフロアであっても、量子的なルールをステップ・バイ・ステップで追うことができることを証明し、高精度でこれらの量子効果を計算できる強固な数学的枠組みを構築したのです。