Additional constraints for the tensor bootstrap

技術要約：テンソル・ブートストラップにおける追加の制約

問題設定
テンソルモデルは、観測量が「ガウス普遍性」（ワイックの定理に従って因子化するメロニック優勢）を満たす大域的な$N$極限において広く研究されてきましたが、有限の$N$における振る舞いは依然として十分に理解されていません。有限$N$の領域では、劣次項が抑制されず、メロニックな記述が崩壊し、シュヴァリンガー・ディゾン方程式の厳密解は一般に未知です。既存の数値的手法は強結合領域において苦戦しており、有限$N$におけるテンソル観測量を直接制約するために、非摂動的な解析手法が必要とされています。行列ブートストラップは、正値性の制約を用いて行列モデルを制約することに成功してきましたが、これらの手法を任意のユニタリ・テンソル積分へと拡張することが最近の進展となっています。

手法
著者らは、確率測度の正値性の要求から導かれる2つの新しいクラスの正値性制約を導入することで、テンソル・ブートストラップ・プログラムを拡張しています。これらの制約は、グラム行列が半正定値（$M \succeq 0$）でなければならないという条件として構成されます。

1. オープン・バブル（Open Bubbles）: 著者らは、「バブル不変量」から単一の頂点（白または黒）を取り除いて得られるテンソル様オブジェクトを「オープン・バブル」と定義しています。これらのオープン・バブルの内積の期待値を取ることにより、グラム行列が構成されます。
2. カラー行列（Color Matrices）: 著者らは、「バブル不変量」から単一のエッジ（色の縮約）を切断して得られる行列様量として「カラー行列」を定義しています。これらの行列の期待値からグラム行列が構成され、これらは切断されたエッジの特定の色のための$U(N)$行列として変換されます。

これらの正値性制約は、シュヴァリンガー・ディゾン方程式（分配関数の微小な場変換に対する不変性から導かれる整合性条件）と組み合わされます。著者らは、以下の手順で半定値計画法（SDPAアルゴリズムを使用）を採用しています：

• 特定の截断レベル$n$（頂点対の数）までのバブル不変量からグラム行列を生成する。
• 対応する頂点数までのオープン・バブルを含むシュヴァリンガー・ディゾン方程式を生成する。
• シュヴァリンガー・ディゾン方程式を部分的に解き、高次のバブル期待値を低次のものとして表現する。
• これらの関係式をグラム行列に代入する。
• すべてのグラム行列が半正定値性を維持するという制約の下で、ターゲットとなるバブル観測量 $\langle B \rangle$ の期待値を最大化および最小化するように最適化を行う。

主要な貢献

• 新規の正値性制約: 著者らは、従来の行列ベースのアプローチとは異なる、テンソルモデルのための追加の半正定値条件を生成するために、「オープン・バブル」および「カラー行列」の使用を導入し、形式化しました。
• 有限$N$の境界: 著者らは、これらの制約が、ランク3のテンソルおよび4次の相互作用に対して、ユニタリ・テンソル積分の鋭い上限および下限を与えることを示しました。
• 普遍性の定量的プローブ: この手法は、$N$および結合定数の関数として、ガウス普遍性からの偏差を測定するための定量的枠組みを提供します。

結果
著者らは、自身のメソッドを2つの特定のランク3テンソルモデルに適用しました：

1. スリー・ピロー相互作用（Three-Pillow Interaction）: 3つの4次「ピロー」相互作用の置換に対して不変なポテンシャルを持つモデル。
   • 本手法は、様々な結合定数$g$に対し、$N=1, 5,$ および $50$における、基本となるメロンおよび3つの4次ピローの期待値に対する鋭い境界を生成しました。
   • $N$が増加するにつれ、有限$N$の境界は、ガウス普遍性から導かれる厳密な大域的な解へと収束します。
   • ピロー期待値と基本メロンとの関係に関する境界は、有限$N$においてはガウス普遍性の曲線の上方に位置し、$N \to \infty$に伴ってこれに収束します。
2. ワン・ピロー相互作用（One-Pillow Interaction）: ポテンシャルが3つの可能な4次ピロー間の置換対称性を明示的に破り、第2および第3のピローのみを対称に残すモデル。
   • 有限$N$において、ブートストラップ境界は対称性の破れを正しく反映しています。すなわち、2つの対称なピローの期待値は同一ですが、ポテンタルに含まれる第3のピローは偏差を示します。
   • 対称なピロー間の期待値の差はゼロですが、非対称なピローを含む差は非ゼロとなります。
   • これは、ブートストラップが大域的な$N$極限においてかき消されてしまう特定の置換対称性が、有限$N$において再出現することを検出できることを裏付けています。

意義と主張
本論文は、これらの新しい正値性制約を利用したテンソル・ブートストラップが、有限$N$のテンソルモデルを研究するための強力な非摂動的ツールであることを主張しています。著者らは、大域的な$N$の性質（およびガウス普遍性）を仮定しなかったことを強調しています。むしろ、大域的な$N$の極限（およびガウス普遍性）は、$N$が十分に大きくなる（例として彼らの例における$N=50$）につれて、有限$N$の制約から自然に現れます。

この研究は、テンソル・ブートストラップが、ガウス普遍性の崩壊および有限$N$の対称性の特定の構造をプローブできることを明らかにしています。一方で、著者らは自身のアプローチのスケーラビリティについては控えめな姿勢を示しています。グラム行列のサイズおよびシュヴァリンガー・ディゾン方程式の数は、テンソルランクおよび截断レベルに対して組合せ爆発的に増加することを指摘しています。ランク3のモデルにはレベル3の制約で十分でしたが、より高次のテンソルや高次の相互作用への拡張には、大幅に多くの計算リソースが必要となります。したがって、最小限の制約セットを見つけることは、今後の課題として重要な課題として残されています。また、本研究はメロニックな相互作用および観測量に限定されており、非メロニックな観測量への適用は未解決の方向として残されています。