Off-shell equivalence in quantum field theory and gravity

複雑なビデオゲームのレベルを説明しようとしている場面を想像してみてください。あなたは、生のコード（「ラグランジアン」）を使って説明することもできれば、カメラの角度を変えたり、カラーパレットを変えたり、あるいは地形をマッピングするための座標系を変えたりして説明することもできます。物理学において、これらの異なる記述は「場の再定義（field redefinitions）」と呼ばれます。

長い間、物理学には「等価定理（Equivalence Theorem）」という黄金律がありました。それは、「もし座標や変数を変更したとしても、最終的なスコア（粒子の散乱）は全く同じである」というものでした。これは、距離をマイルで測ろうがキロメートルで測ろうが、ゴールラインの位置は変わらない、と言うようなものです。

しかし、ここに落とし穴があります。そのルールが機能するのは、あくまで「ゴールライン（オンシェル状態）」を見ている時だけなのです。地図を変えたときに「道のり（プロセス）」が同じに見えるかどうかについては、教えてくれません。重力、宇宙論、あるいは非平衡状態にあるシステムのような、混沌とした動的なプロセスの最中において、物理学者は、異なる二つの地図が本当に全く同じ現実を描写しているのかどうかを知る必要がありました。

そこで、イベレ・クンツ（Iberê K

z）とステファノ・リベラティ（Stefano Liberati）が登場しました。彼らは、これを測定するための、極めて精密な新しい定規を作り上げたのです。

問題点：「ナイーブな」地図の罠

都市の地図を持っていると想像してください。あなたは新しいグリッドシステムを使ってその地図を描き直すことにしました。もし、単に通りを書き直すだけで、コンパスやスケール（縮尺）の更新を忘れてしまったら、たとえそれが同じ場所を表していたとしても、新しい地図は全く別の都市のように見えてしまうかもしれません。

量子物理学において、科学者が異なるバージョンの重力（例えば、メトリック $f(R)$ 重力とその「スカラー・テンソル」の従兄弟のような理論）を比較しようとしたとき、しばしばこの間違いを犯してきました。彼らは、単純な変数変換によって関連付けられているように見える二つの理論を取り、それを量子化（量子理論へと変換）し、その結果を比較しました。そして、「なるほど！これらの理論は異なっているのだ！」と結論付けたのです。

著者らは、これが罠であると主張しています。それは、マイルで描かれた地図とキロメートルで描かれた地図を比較しながら、数字が一致しないことを理由に、その都市自体を責めているようなものです。違いは都市にあるのではなく、測定方法にあったのです。

解決策：ヴィルコフスキー・デウィットの「ユニバーサル・コンパス」

これを修正するために、著者らはヴィルコフスキー・デウィット（Vilkovisky–DeWitt, VDW）有効作用と呼ばれる特別なツールを使用します。これは、地図をどのように回転させても、常に北を指し続ける「ユニバーサル・コンパス」と考えてください。

標準的な物理学では、「コンパス（数学的な作用）」は座標を変更すると狂ってしまいます。それは、もののラベル付けの仕方に依存してしまうからです。VDWの構成は、場（フィールド）の変数を、曲面上にある点（多様体）として扱うことで、この問題を解決します。これにより、「コンパス」が、単に頭を回転させただけで変わってしまうようなものではなく、スカラー（回転しても変わらない単一の数値）であることを保証します。

このコンパスを用いて、著者らは等価性をチェックするための新しい方法を提案しています：

1. プローブ（探針）を選ぶ： あなたが実際に何を測定しているのかを決定します。粒子の衝突（ゴールライン）を見ているのでしょうか？ それとも、システムへの「押し」に対する反応（応答関数）を見ているのでしょうか？
2. データを組み合わせる： 理論のデータと、あなたの選んだプローブを組み合わせます。
3. 比較する： もし、特定のプローブに対して数値が一致するならば、それらの理論はその実験において等価であると言えます。

等価性の三つのレベル

論文では、風景を探索するという巧みな比喩を用いて、等価性を三つの異なる性質に分類しています。

1. 局所的等価性（Local Equivalence）： あなたは小さな芝生の上に立っています。歩き回ることはできますが、地図は完璧に機能します。これは、変数の小さな変化に対して成立します。
2. 分岐的等価性（Branchwise Equivalence）： 川が三つの道に分かれている場面を想像してください。一つの道を辿り、「この地図はここでは機能する！」と言うことはできます。しかし、もしこれら三つの道を一つの地図に統合しようとすれば、その地図は壊れてしまいます。著者らは、一部の場のリデフィニション（再定義）は、特定の「分岐（ブランチ）」においてのみ機能することを示しています。もしそれらを強制的にあらゆる場所で機能させようとすれば、矛盾が生じます。
3. 大域的等価性（Global Equivalence）： これは究極の目標です。これは、川の始まりから海に至るまで、分岐や破綻なく、地図が完璧に機能することを意味します。著者らは、これが人々が考えていたよりもはるかに困難な達成であることを示しています。二つの理論が局所的に似ているからといって、大域的に同じであるとは限らないのです。

大発見：$f(R)$ 重力と「親」理論

著者らは、メトリック $f(R)$ 重力を主要なテストケースとして使用しています。これは、重力が単なる曲率ではなく、曲率の関数に依存する理論です。数学をより簡単に扱うために、物理学者はしばしば「補助変数（ヘルパー変数）」を導入し、この複雑な数学をより単純な「スカラー・テンソル」形式へと変換します。

論文は、極めて重要な区別を明らかにしています：

• シナリオA（正しい方法）： 複雑な重力理論から出発し、制約条件（「これは曲率に等しくなければならない」というルール）を伴って補助変数を導入し、その後に量子数学を行います。これは、設計図に「屋根は壁と一致していなければならない」という厳格なルールが含まれている状態で家を建てるようなものです。
• シナリオB（間違った方法）： 単純化されたスカラー・テンソル理論を取り、補助変数を完全に独立した、自由自在に動ける場として扱います。そして、そのルールなしに量子数学を行います。これは、屋根と壁が互いに関係のない状態で家を建てるようなものです。

著者らは、シナリオAとシナリオBは異なる量子理論であることを証明しています。これらは等価ではありません。シナリオA（制約のある親理論）の結果をシナリオB（自由な理論）と比較すると、差異が見られるはずです。しかし、これは元の重力理論が壊れているという意味ではありません。単に、二つの異なる量子オブジェクトを比較したということを意味しているのです。

ヴィルコフスキー・デウィットのコンパスを使用し、制約を正しく適用した場合（シナリオA）、その理論は元のメトリック $f(R)$ 重力と完璧に一致します。他の論文で見られた「不等価性」は、量子的なルールが誤って適用されたことによるミスマッチに過ぎませんでした。

これがあなたにとって何を意味するか

この論文は、重力のすべてを解明したり、新しい力を発見したりしたと主張しているわけではありません。代わりに、二つの量子的な記述が実際に同じものであるかどうかを判断するための、厳格な操作的基準を提供しています。

これは私たちに教えてくれます：

• 見た目を信じるな： 二つの理論は、正しい道具で正しいものを測定すれば、違って見えても同じである可能性があります。
• 文脈が重要である： 等価性は、宇宙全体に対する「イエスかノーか」のスイッチではありません。それは、何を測定しているのか（散乱か応答か）、そしてどこを見ているのか（局所的なパッチか大域的な地図か）に依存します。
• 「自由な」変数に注意せよ： もし理論に補助変数を加えるなら、その変数を元の物理学に結びつけるルールを維持しなければなりません。もしそれを自由に走らせてしまえば、あなたはもう同じ宇宙を研究していることにはならないのです。

要するに、クンツとリベラティは、物理学者に新しい、決して壊れることのない定規を手渡したのです。それは、二つの理論が「等価」であると言うとき、私たちが単にゴールラインについて話しているのではなく、決して嘘をつかないコンパスで測られた、旅の全行程について話していることを保証してくれるのです。