技術要約：重力経路積分が統計的平均を記述する場合

問題提起

重力経路積分（GPI）は、ブラックホール熱力学、ページ曲線、および宇宙論的な遷移振幅を記述するために用いられる、現代の理論物理学における中心的なツールである。しかし、GPIの出力に関する数学的な解釈については、根本的な曖昧さが残っている。主に以下の2つの解釈が議論されている：

1. ヒルベルト空間解釈： GPIは、開いた、あるいは閉じた宇宙のヒルベルト空間における状態間の内積を計算する。
2. 統計アンサンブル解釈： GPIは、正の確率測度上の境界観測量のアンサンブル平均（または粗視化）を計算する。

近年のブラックホール物理学における発展では、多くの場合、統計的解釈（マルチ境界振幅をアンサンブルのモーメントとして扱う）が採用されているが、有効なヒルベルト空間構造を保証するために必要な条件が、有効な統計アンサンブルを保証するのに十分であるかどうかは不明である。本論文は、GPIが各解釈を認めるための必要十分条件を調査し、特にヒルベルト空間解釈が統計的解釈を包含するかどうかを検討する。

手法

著者らは、モーメント問題と**正値錐（positivity cones）**に基づいた厳密な数学的枠組みを用いて、これら2つの解釈を区別する。

1. ヒルベルト空間の正値性（SOS）：

   • ヒルベルト空間を定義するためには、状態の任意の線形結合のノルムが非負でなければならない。これは、状態のすべてのグラム行列が半正定値（PSD）であるという要求に翻訳される。
   • 境界観測量の多項式に作用するGPIのリニア汎関数 $L_G$ に関しては、この条件は、すべての**平方和（SOS）**多項式 $P$ に対して $L_G[P] \geq 0$ であることと同値である。SOS多項式 $P$ は $P = \sum |Q_i|^2$ と書ける。
   • 著者らは、このようなテスト多項式の錐を $\mathcal{C}^{\text{Hilbert}}$ と表記する。

2. 統計的正値性（Non-SOS）：

   • GPIが正の測度 $d\mu(\alpha)$ 上の統計的平均を代表するためには、リニア汎関数は、単にSOS多項式であるだけでなく、測度のサポート上で点ごとに非負であるすべての多項式に対して非負でなければならない。
   • 著者らは、変数が2つより多い場合、点ごとに非負であるが**平方和ではない（non-SOS）**多項数が存在するという事実を利用する。
   • 統計アンサンブルの条件は、支持集合 $\mathcal{K}$ 上のすべての多項式 $P \in \text{Pos}(\mathcal{K})$ に対して $L_G[P] \geq 0$ であることである。これは、$\mathcal{C}^{\text{Hilbert}}$ よりも厳密に大きな錐である $\mathcal{C}^{\text{stat}}$ を定義する。

3. 閉じた宇宙 vs 開いた宇宙：

   • 閉じた宇宙： 統計的測度のサポートは内部構造によって制約されないため、SOSとnon-SOS多項式の区別が主要な診断となる。
   • 開いた宇宙： 各アンサンブル・メンバー内のランダム変数（境界分配関数）自体が、有効な内積を定義しなければならない。これにより、サポート $\mathcal{K}$ は非自明なドメイン（例：熱的分配関数に対する完全単調関数）に制限される。著者らは、統計的解釈を区別するために、「二重非負行列（doubly non-negative matrices）」と「完全正値行列（completely positive matrices）」の制約を分析する。

4. トイモデルとブートストラップ解析：

   • 著者らは、明示的な重力のトイモデル（トポロジカル重力と相互作用する物質の結合）を構築し、ヒルベルト空間の正値性は成立するが統計的正値性が成立しないケースを示す。
   • 多変量確率分布とマルチ行列積分に関するブートストラップ研究を行い、統計的正値性を課した場合に、ヒルベルト空間の正値性を課した場合と比較して、モーメントへの制約がいかに厳しくなるかを定量化する。

主要な貢献と結果

1. 必要十分条件

本論文は以下を確立する：

• ヒルベルト空間の正値性は、GPIがSOS多項式の錐 ($\mathcal{C}^{\text{Hilbert}}$) 上で正であることを要求する。
• 統計的正値性は、GPIがサポート $\mathcal{K}$ 上のすべての点ごとに非負な多項式の錐 ($\mathcal{C}^{\text{stat}}$) 上で正であることを要求する。
• 結果： $\mathcal{C}^{\text{Hilbert}} \subsetneq \mathcal{C}^{\text{stat}}$ である。条件(i)は(ii)のための必要条件であるが、十分条件ではない。

2. 具体的な診断（閉じた宇宙）

著者らは、グラム行列の正値性には現れないが、統計的解釈には必要な、ワームホール振幅に対する特定の制約を特定した。

• モツキン多項式（Motzkin Polynomial）： 2つの境界条件に対して、モツキン多項式 $P_M = x_1^4 x_2^2 + x_1^2 x_2^4 + 1 - 3x_1^2 x_2^2 \geq 0$ はnon-SOSである。統計的正値性は、6境界ワームホール振幅を含む特定の不等式（式17）をGPIが満たすことを要求するが、これは任意のグラム行列の正値性からは導かれない。
• チョイ＝ラム多項式（Choi-Lam Polynomial）： 4つの境界条件に対して、チョイ＝ラム多項式は、真の統計的平均と「擬似平均（pseudo-average）」を区別する4境界振幅への制約（式19）を提供する。

3. 具体的な診断（開いた宇宙）

開いた宇宙の場合、区別は行列の正値性のクラスによって捉えられる：

• ヒルベルト空間： モーメント行列 $M$ が二重非負（doubly non-negative）（PSDかつ要素ごとに非負）であることを要求する。
• 統計アンサンブル： $M$ が完全正値（completely positive）（非負ベクトルの外積の和）であることを要求する。
• 結果： 完全正値行列の集合は、次元 $n \geq 5$ において、二重非負行列の厳密な部分集合である。著者らは、ホーン行列（Horn matrix）（式54）を用いて、ヒルベルト空間の正値性では満たされるが、有効な統計的アンサンブルでは違反される、最大2つの境界を含む制約（式55）を構成する。

4. 重力のトイモデル

著者らは、相互作用する物質を結合させたMarolf-Maxfield型トポロジカル重力モデルを構築した：

• 物質セクターは反射正値性（SOS）を満たすが、non-SOS正値性を破るように選択されている（例：$\ell(P_{CL}) < 0$）。
• 知見： 重力と結合したとき、全理論は（すべてのグラム行列がPSDであるため）明確なヒルベルト空間を保持するが、統計的正値性テストには失敗する。すなわち、GPIは真の統計的アンサンブルではなく、擬似平均（pseudo-average）（擬似分布）を計算している。
• さらに、直接的な違反が抑制されている場合でも、ソースレス境界を用いて違反を孤立させることで、より高次の境界振幅を構成できることを示し、統計的正値性の失敗が持続することを証明した。

5. ブートストラップによる精緻化

付録Cにおいて、著者らはこれらの制約を多変量分布およびマルチ行列積分のブートストラップ研究に適用する。

• 知見： 統計的正値性（non-SOS制約）を課すことは、ヒルベルト空間（SOS制約）のみを課す場合と比較して、アンサンブルのモーメントに対する境界を著しく精緻化する。

意義と主張

本論文は、重力経路積分が真の統計的平均を計算しているのか、あるいは単なる擬似平均を計算しているのかを判断するための決定的な診断法を提供すると主張している。

• EFTの分類： 導出された不等式により、どの低エネルギー有効場理論（EFT）がGPIのどの解釈を認めるかに基づいて、それらを分類することが可能になる。著者らは、従来の作業（例：アクシオン・ワームホール解析）ではヒルベルト空間の正値性が利用されていたが、これらの理論がより強い統計的解釈を認めるかどうかを判断するには、本研究で特定された特定の組み合わせのマルチ境界振幅を計算する必要があると指摘している。
• 代数的解釈： ヒルベルト空間の正値性が存在しながら統計的正値性が失敗するということは、境界生成演算子 $\hat{Z}[J]$ が代数的には可換であるが、**強可換（strongly commute）**ではないことを意味する。その結果、それらは同時スペクトル表現を持たず、ソースを持つ全理論における古典的な$\alpha$状態のアンサンブルの構築を妨げる。
• 広範な適用可能性： この論理は、観測量が分布のモーメントであるあらゆる統計理論（行列モデルや統計系の臨界点、ユニタリおよび非ユニタリを含む）に拡張可能である。

著者らは、これらの正値性条件がワームホール振幅に対して非自明な制約を課しており、それによって、統計的解釈を認める一貫した量子重力理論に埋め込み可能な重力有効場理論を制限していると結論付けている。