On the Universality of Probe Complexity in $\mathcal{N}=4$ SYM

技術要約：$\mathcal{N}=4$ SYMにおけるプローブ複雑性の普遍性について

問題提起
本論文は、漸近的Anti-de Sitter (AdS) 時空における落下するプローブの複雑性成長が、プローブの微視的な詳細（例：点粒子か拡張物体か）に依存せず、普遍的な振る舞いを示すという予想を調査している。著者らは、この予想を平面 $\mathcal{N}=4$ 超対称ヤン＝ミルズ (SYM) 理論を用いた境界側の双対な視点から検証することを目指している。具体的には、ランチョス・アルゴリズムを通じて定義される演算子の成長の診断指標であるクリロフ複雑性 (Krylov complexity) を分析し、異なるクラスの境界状態（様々なバルク・プローブに双対なもの）が、同じ主要な漸近的成長挙動を共有しているかどうかを判定することを目的とする。中心となる問いは、主要なクリロフ成長が粗い熱力学的データのみに依存するのか、それとも初期状態の微視的な構造を保持し続けるのか、という点である。

手法
著者らは、クリロフ動力学と直交多項式理論の間の対応関係を利用している。

1. スペクトル測度の定式化: 著者らは、クリロフ構成を、初期シード状態 $|K_0\rangle$ に付随するスペクトル測度 $\mu$ を用いて再構成している。ランチョス係数 $\{a_n, b_n\}$ は、$\mu$ に関連する直交多項式のヤコビ・パラメータとして特定される。
2. 漸近解析: 直交多項式理論の結果を用いて、スペクトル測度のサポートに基づくランチョス係数の漸近挙動を分析している。彼らは以下を区別している：
   • 少体/保護されたセクター (Few-body/Protected sectors): スペクトル測度が離散的であるか、単一のコンパクトな区間にサポートされている場合。これらは有界または一定のランチョス係数をもたらす。
   • 有限密度多体系セクター (Finite-density many-body sectors): 励起の数がシステムサイズと共にスケールする場合（$L \to \infty, M \to \infty$ で固定密度 $\rho$）。これはガウス型スペクトル測度を導く可能性がある。
3. 明示的な計算: 著者らは $\mathcal{N}=4$ SYM の特定のセクターについてクリロフ・データを計算している：
   • 1/2-BPS セクター: 正確なBPS状態およびそれらの重ね合わせ。
   • BMN セクター: 長いスピン鎖（長さ $L$）上の固定されたマグノン数 ($M$) を持つ可積分な少体系。
   • ジャイアント・グラビトン (Giant Gravitons): ジャイアント・グラビトンおよびそれに付着する開いた弦に双対な演算子。
   • 有限密度状態: 局在化した不純物積状態、コヒーレント・マグノン凝縮体、および熱力学的極限におけるジャイアント・オープン・ストリング状態。

主な貢献と結果

• 保護されたセクターおよび少体系における自明性:

  • 正確なBPS状態: 単一点スペクトル測度を持つエネルギー固有状態であるため、自明なクリロフ動力学 ($K(t)=0$) を示す。
  • BPS状態の重ね合わせ: 離散的なエネルギー分布の統計によって完全に決定される非自明な動力学を生み出す。重ね合わせが有限個の固有状態を含む場合、クリロフ部分空間は有限次元となり、ランチョス係数はある次数を超えると消失する。
  • BMN および ジャイアント・オープン・ストリング・セクター: 固定されたマグノン数 $M$ と大きなスピン長 $L$ に対して、スペクトル測度は単一のコンパクトな区間 $[A, B]$ にサポートされる。直交多項式理論によれば、ランチョス係数は定数へと漸近する：$a_n \to (A+B)/2$ および $b_n \to (B-A)/4$。具体的には、固定された $M$ に対して $a_n \to 2Mg$ および $b_n \to Mg$ となる。これは、有界で可積分な、バンド制限された動力学をもたらす。主要な漸近挙動はスペクトルのサポート（バンド端）のみによって決定され、異なる微視的なプローブ構造を区別することはできない。したがって、これらのセクターは、推測されているホログラフィックな複雑性成長の普遍性をテストするには不十分である。

• 波束におけるアフィン普遍性:

  • 著者らは、局在化した波束（例：共形降下系のガウス型パケットやジャイアント・グラビトンのサイズ）が、初期時刻において $K(t) \propto t^2$ の複雑性成長を示すことを見出した。
  • 係数はパケットの幅に依存するものの、異なるプローブ（点粒子 vs ジャイアント）の動力学は、エネルギー・スケールのアフィン変換によるスケーリングによって関連付けられている。この「アフィン普遍性」は純粋にスペクトル的なものであり、両方の系が等間隔のエネルギー・ラダー上のガウス型パケットに帰着するためであるが、これは推測されている落下するプローブの完全な動的な普遍性を構成するものではない。

• 有限密度多体系レジーム:

  • 著者らは、普遍性をテストするための正しい設定は有限密度熱力学的極限（$L \to \infty, M \to \infty, \rho = M/L$ が固定）であると提案している。
  • このレジームでは、ハミルトニアン（局所項の和）のスペクトル測度は、量子中心極限定理（クラスタリング相関を仮定した場合）により、ガウス分布へと収束する。
  • その結果、このスペクトル測度に関連する直交多項式はエルミート多項式に近づく。
  • ランチョス係数は、普遍的な漸近的成長を示す：$b_n \sim \sqrt{L v} \sqrt{n}$ （ここで $v$ は分散密度）。
  • プローブ依存性: プローブの微視的構造は、振幅（分散密度 $v$ を通じて）にのみ生き残り、成長指数（$\sqrt{n}$）は普遍的である。これは、カオス的な系における $b_n \sim n$ という挙動とは対照的である。

• 具体的な有限密度例:

  • 局在化した不純物積状態: 初期時刻の分散 $b_1^2$ はドメイン壁密度に依存し、強いプローブ依存性を示す。
  • コヒーレント・マグノン凝縮体: 分散は位相勾配と充填率に依存し、同じエネルギー密度であっても局在状態とはパラメトリックに異なる。
  • ジャイアント・オープン・ストリング状態: 分散への主要な広延的寄与はバルク鎖の動力学によって決定され、ジャイアント・グラビトンの境界効果は劣等項としてのみ現れる。

意義と主張
本論文は、推測されている演算子の複雑性成長の普遍性は、$\mathcal{N}=4$ SYMの少体系または保護されたセクターでは実現されないと主張している。これらのレジームでは、動力学は自明であるか、純粋にスペクトル的であるか、あるいは有界なランチョス係数を持つ可積分なものであり、ホログラフィックな普遍性が示唆するような異なるプローブ型の識別を不可能にしている。

代わりに、著者らは有限密度プログラムこそが、普遍性をテストするための適切な境界場理論の枠組みであると提案している。彼らは、平面1ループ $\mathcal{N}=4$ SYM における有限密度プローブのための**「エルミート普遍性クラス」**を特定した。このクラスにおいては：

1. 漸近的なランチョス成長は $b_n \propto \sqrt{n}$ に従う。
2. 指数は普遍的であり、多体系のクラスタリング相関による中心極限定理の物理によって支配される。
3. プローブ固有の情報は、成長の関数形式ではなく、前係数（分散密度）にのみエンコードされる。

著者らは、複雑性成長における普遍性は、個々のプローブの特性というよりも、むしろ多体系の集団的挙動の結果である可能性があると結論付けている。彼らは、有限密度のSYMにおける $\sqrt{n}$ の挙動が、カオス的動力学（指数関数的なスペクトル・テイル）に関連する線形なランチョス成長 ($b_n \sim n$) とは異なることを明示しており、これは熱力学的スペクトル統計の現れであることを示唆している。本論文は、重力的な普遍性との接続を決定的に解決したと主張するものではなく、精密な場理論的なテストケースと、調査すべき新しい普遍性クラスを提示するものである。