Complexity study of the Hartle-Hawking state in JT gravity

技術要約：JT重力におけるハートル＝ホーキング状態の複雑性研究

問題と動機
本論文は、ジャック・ティテルマイヤー（JT）重力におけるハートル＝ホーキング（HH）状態の量子複雑性の成長、特に、古典コンピュータによる量子状態のシミュレーションの困難さを測る操作的な尺度としての**ウィグナー負値性（Wigner negativity）**に焦点を当てて調査を行うものである。AdS/CFT対応は、強結合の境界量子系が双対な半古典的重力記述を許容することを示唆しているが、そのような記述がいつ「有用」であるかを特定するための一般的な戦略は依然として未解決の課題である。著者は、ウィグナー負値性がその有用性のプローブ（探針）として機能すると提案する。すなわち、ウィグナー関数が非負である状態は「ガウス的（古典的）」であり、負値性は量子計算に必要な「非スタビライザー（non-stabilizer）」成分を定量化するものである。本研究の目的は、長さ基底（バルクのワームホール長に双対）が、大きな $N$（または大きな $e^{S_0}$）におけるカオス力学に対して効率的な半古典的記述を提供するかどうかを判定することである。

手法
著者は、二重スケーリングされたランダム行列アンサンブルに双対なJT重力の枠組みの中で作業を行う。彼らは、HH状態（熱状態 $|\psi_\beta\rangle \propto e^{-\beta H/2}|0\rangle$ で定義される）の時間発展を、長さ基底（繰り込まれたワームホール長に対応する連続変数 $x$）において分析する。

1. 半古典的解析: 逆温度 $\beta$ を小さな半古典的パラメータ（$\beta \ll 1$）として扱う。HH状態は、リウヴィル壁のポテンシャル $V(x) = 4e^{-x}$ の古典的な転回点付近で展開される。
2. ウィグナー関数の計算: ウィグナー関数 $W(x, p; t)$ は、厳密な波動関数（修正ベッセル関数）とその漸近形式を用いて計算される。負値性は $N(t) = \int dx dp |W(x, p; t)|$ と定義される。
3. トポロジカル展開: 著者は、「ディスク（disk）」の寄与（$e^{S_0}$ における主要項）と、「ダブル・トランペット（double trumpet）」の寄与（連結しており、$e^{-2S_0}$ で抑制される）を区別する。彼らは、ウィグナー負値性の挙動を、スペクトル形状因子（SFF）および広がり複雑性（Spread Complexity）と比較する。
4. クリロフ基底との比較: 結果は、広がり複雑性（クリロフ複雑性）の挙理および一般的な基底におけるウィグナー負値性の成長と対比される。ここでは、クリロフ基底と幾何学的な長さ基底との関連性を利用する。

主要な貢献と結果

• ディスク・レベルの挙動（劣指数時間）:

  • $t=0$ において、長さ基底におけるHH状態は、古典的な転回点 $x = 2\log(2\beta/\pi)$ に中心を持つ最小不確定性ガウス波束である。
  • その結果、ウィグナー関数は $t=0$ で厳密に正であり、負値性は $N(0) = 1 + o(1)$ を与える。
  • 時間発展に伴い、波束はリウヴィル壁で反射した後、自由に進展する。自由な発展はクリフォード・シア（Clifford shear）（二次ハミルトニアンによって生成されるシンプレクティック変換）に対応するため、反射後のウィグナー負値性は正確に不変である。
  • 線形上昇の欠如: 離散モデルでは負値性がしばしば線形に上昇するが、連続体のディスク・レベルの負値性は、初期のガウス関数による時間反転対称性（$N(t)$ は $t$ に関して偶関数）により、初期の厳密な正値性によって、初期段階での線形上昇を示さない。
  • スペクトラル・ランプの欠如: ディスク・レベルの負値性は、劣指数時間の間、一貫して $1 + o(1)$ に凍結されている。連結なダブル・トランペットの幾何学によって「ランプ（傾斜）」を示すSFFとは異なり、非連結なディスク項は減衰しないため、連結な補正項が支配的な信号として現れることはない。

• 後期挙動と量子プラトー:

  • 負値性が指数関数的に大きな値へと成長することは、スペクトルの離散性に起因する非摂動的な効果である。
  • 後期（$t \gtrsim t_{sat}$）において、状態はアクセス可能な位相空間全体に広がる。負値性は以下のプラトー値に飽和する：
    $$N_{\text{plateau}}(\beta) = \sqrt{\frac{2}{\pi}} \sqrt{d_{\text{eff}}(\beta)}$$
    ここで、$d_{\text{eff}}(\beta) = Z(\beta)^2/Z(2\beta)$ はボルツマン分布の逆参加比である。この値は $e^{S_0/2}$ のオーダーでスケールする。
  • この飽和のタイムスケールはディスク解析によって固定されるのではなく、スペクトルの離散性と関連している。

• 広がり複雑性 vs 負値性:

  • 本論文は、広がり複雑性（$C(t)$）とウィグナー負値性の間の鋭いコントラストを強調している。
  • 広がり複雑性は、初期段階で二次的に成長（$C(t) \sim \sigma_E^2 t^2$）し、シュワルツ式スペクトルの非有界性を反映して弾道的な成長を続ける。
  • 対照的に、ウィグナー負値性は、劣指数時間においては小さく（$O(1)$）留まる。これは、波動関数が大きく広がり（クリロフ基底における複雑性を増大させ）、ながらも、長さ基底においては実質的に「古典的」（低いウィグナー負値性）であり得ることを示唆している。

• 正規化された負値性:

  • 著者は、シード正規化された負値性 $\tilde{N} = N/P$（ここで $P$ は生存確率）を導出する。ディスク・レベルにおいて、これは生存確率の逆数に正確に一致する。
  • 生の負値性 $N$ はランプを示さないが、正規化された負値性 $\tilde{N}$ は、ディップ時間 $t_{\text{dip}} \sim \beta^{1/4} e^{S_0/2}$ に達した際、分母を通じて生存確率（SFF）の線形ランプを継承する。

意義と主張
本論文は、長さ基底が、大きな $e^{S_0}$ および劣指数時間におけるカオス的な量子力学の双対な、半古典的な有効記述に理想的に適していると主張している。

• 重力の効率性: これらの結果は、重力が境界の量子力学の「効率的な古典的シミュレーション」として機能するという見解を支持している。広がり複雑性が増大しているにもかかわらず、ウィグナー負値性が（劣指数時間において）$O(1)$（古典的）に留まるという事実は、バルクの幾何学的変数（長さ）が、シミュレーションに必要な「非スタビライザー」リソースを最小化するような形で力学を捉えていることを意味している。
• SFFとの区別: ウィグナー負値性に（SFFとは異なり）ランプが存在しないことは、極めて重要な発見である。これは、複雑性の指標における「ランプ」は普遍的なものではなく、特定の観測量や非連結項の減衰に依存することを示している。
• 離散性の役割: 指数関数的に大きなプラトーへの遷移は、離ック的なスペクトルから生じる非摂動的な効果として特定されており、これが半古典的なディスク近似の破綻をマークしている。

要約すれば、本論文は、JT重力におけるハートル＝ホーキング状態について、長さ基底におけるウィグナー負値性が劣指数時間において最小かつ凍結された状態にあることを確立しており、これは幾何学的な長さ基底が、双対な量子系のカオス力学に対する低複雑性かつ半古典的な窓を提供しているという強い証拠となっている。