A Schwinger-Keldysh Formulation of Semiclassical Operator Dynamics

技術要約：シュウィンガー・ケルディッシュ定式化による半古典的演算子ダイナミクス

問題提起
クライロフ複雑性（Krylov complexity）は、量子多体系における演算子の成長を診断するための堅牢な指標として台頭しており、アウト・オブ・タイム・オーダー相関関数（OTOC）やスペクトル的プローブを補完するものである。標準的な定式化はランチョス・アルゴリズムに依存しており、これは演算子のダイナミクスを、位置依存のホッピング振幅（$b_n$）によって特徴付けられる半無限鎖上のタイトバインディング問題へと写像する。この再帰的な手法は計算効率には優れているものの、演算子の広がりを支配する根底にある動的な原理を隠蔽してしまう。それは普遍性クラスを系統的に分類することに苦慮し、有限サイズ効果や揺らぎを分類する枠組みに乏しく、開いた量子系へと拡張するための自然なフレームワークも欠いている。著者らは、クライロフ複雑性を単なる計算上の構成物としてではなく、明示的な有効ダイナミクス理論として定式化する必要性を指摘している。

手法
著者らは、クライロフ・ダイナミクスの実時間シュウィンガー・ケルディッシュ（SK）定式化を開発した。核心となる手法は以下の通りである：

1. タイトバインディングへの写像： クライロフ基底における演算子のハイゼンベルク発展を、位置依存のホッピング振幅 $b_n$ を持つ半無限格子上の単一粒子量子力学問題へと書き換える。
2. 閉じた時間輪郭パス積分： クライロフ複雑性を「in-in」観測量として扱う。著者らは、前進枝（$+$）と後退枝（$-$）の両方のクライロフ位置演算子にソースを結合させた、閉じた時間輪郭上の生成汎関数$Z_{SK}[J_+, J_-]$ を構築する。
3. 位相空間表現： 共役運動量状態を導入することで、著者らは位相空間パス積分を導出する。これにより、クライロキル位相空間における運動を支配する有効ハミルトニアン $H_{\text{eff}}(n, p)$ を定義する生成汎関数から、有効作用 $S_{SK}$ が得られる。
4. 半古典的解析： SK作用量のサドルポイント方程式を解析する。これらは古典的なハミルトンの運動方程式に対応する。著者らは、ランチョス係数の線形成長（$b_n \sim \alpha n$）に対する摂動を、繰り込み群（RG）の用語（無関係、臨界、関連）を用いて分類し、それらがダイナミクスの安定性に与える影響を決定する。
5. 揺らぎ解析： サドルポイントを超えて、高次の累積モーメントや大偏差統計を計算するための系統的なループ展開が可能になる。

主な貢献および結果

• 創発的位相空間記述： この定式化は、クライロフ・ダイナミクスが古典的なハミルトニアン $H_{\text{eff}}(n, p) = 2b(n)\cos p + \dots$ によって支配されていることを明らかにする。ランチョス係数 $b_n$ は、この有効理論における位置依存のポテンシャルとして機能する。
• 双曲型軌道とカオス： $b_n$ が線形に成長する（$b_n \sim \alpha n$）カオス的システムにおいて、有効ハミルトニアンは位相空間内に双曲型軌道を生成する。クライロフ複雑性の指数関数的成長は、これらの軌道に沿った古典的不安定性（リアプノフ挙動）の現れとして特定される。その成長率は $\lambda_K = 2\alpha$ である。
• 普遍性とRG分類： 本論文は、ランチョス係数の線形成長からの偏差を以下のように分類している：
  • 無関係な摂動： 定数シフト（$b_n = \alpha(n+c)$）や対数補正（$b_n = \alpha n + \beta \ln n$）は、指数関数的成長率や双曲的な性質を変更しない。これらはプレファクターを修正するか、緩やかなドリフトを誘発するのみである。これは、$SU(1,1)$ モデルや共形系における指数関数的成長の堅牢性を説明している。
  • 臨界的な摂動： $b_n = \alpha n (1 + \epsilon/\ln n)$ という形の変形は、有効不安定性指数の緩やかで普遍的なランニング（走行）を引き起こし、指数関数的成長に対するべき乗補正（$n(t) \sim t^\epsilon e^{2\alpha t}$）をもたらす。
  • 関連のある摂動： 劣線形成長（$b_n \sim n^\gamma$、ただし $\gamma < 1$）は、双曲的不安定性を破壊し、角速度を消失させ、多項式的な複雑性の成長をもたらす。
• 揺らぎと可積分・カオス間のクロスオーバー： SKフレームワークは、完全な確率分布 $P(n, t)$ とその累積モーメントへのアクセスを提供する。著者らは、平均複雑性 $K(t)$ が可積分・カオスのクロスオーバーを滑らかに通過する場合でも、揺らぎ（分散および大偏差レート関数）は鋭いシグネチャーを示すことを実証している。系が可積分からカオスへと遷移する領域では、弱双曲領域からの「脱出時間」が発散し、平均的な成長が滑やかに見える場合でも、パラメトリックに増強された揺らぎが生じる。
• 厳密解： この定式化は、平方根ホッピング（調和振動子）や $SU(1,1)$ リウヴィリアンモデルを含む、厳密に解けるモデルによって検証されている。これらのケースでは、SK生成汎関数は、明示的な再帰解に頼ることなく、有効ハミルトニアンの代数的性質から $K(t)$ および完全な分布 $P(n, t)$ の既知の結果を再現する。

意義
本論文は、クライロフ複雑性を再帰ベースの構成物から、動的な場理論の枠組みへと再編成することを目的としている。その主要な意義は以下の点にある：

1. 概念的明晰さ： 演算子の成長に幾何学的かつ物理的な起源を与え、線形なランチョス成長を、創発的な位相空間における普遍的なカオス不動点として特定した。
2. 系統的分類： ランチョス係数の漸近挙動に基づいて、演算子の成長の普遍性クラスを系統的に分類し、堅牢なカオス的挙動と可積分的なダイナミクスを区別した。
3. 新しい診断法： 平均的な複雑性から完全な分布およびその揺らぎへと焦点を移すことで、平均場的な観測量では捉えられない鋭い動的クロスオーバーを検出できる新たな診断法（大偏差関数など）を提示した。
4. 拡張性： 閉じた時間輪郭のアプローチは、開いた量子系や非平衡ダイナミクスへ自然に拡張可能であり、ユニタリな領域と散逸的な領域の両方を包含する統一的な記述を提供する。

著者らは、本研究を、標準的なランチョス・アルゴリズムの限界を超え、標準的な非平衡場理論のツール（半古典的解析、揺らぎ論、大偏差論）を量子カオスと熱化の研究に応用するためのステップとして位置づけている。