Krylov Complexity from Loschmidt Amplitude

技術要約：ロシュミット振幅からのクリロフ複雑性

問題提起
クリロフ複雑性は、ランチョス再帰法を用いたヒルベルト空間内における波動関数の非局在化の明確な定義を提供することで、量子力学的なダイナミクスの強力な診断指標として台頭してきた。しかし、根本的な限界が存在する。クリロフ空間の尺度（複雑性など）は、自己相関関数までしか再構成できない。同一の自己相関関数を持つ二つの物理的に異なる系は、同一のクリロフ展開を与える。したがって、クリロフ基底の特徴を局所的なヒルベルト空間演算子の言語へと翻訳するには、追加のモデル固有の入力が必要となる。さらに、クリロフ複雑性と他のカオス尺度（アウト・オブ・タイム・オーダー相関関数（OTOC）など）との間には関連性が存在するものの、ロシュミット振幅の観点から、ハミルトニアンの摂動に対する量子状態の感度に直接結びつく、クリロフ複雑性の成長に関する統一的な枠組みの開発はまだ完全にはなされていない。本論文は、クリロフ複雑性とその時間発展を、ロシュミット振幅の微分として表現する必要性に対処し、これにより複雑性ダイナミクスの分類スキームを提示し、幾何学的境界を確立することを目的とする。

手法
本論文では、初期状態 $|\psi(0)\rangle$ とハミルトニアン $H$ から、ランチョス・アルゴリズムを用いて正交なクリロフ基底 $\{|n\rangle\}$ を構築する形式を採用する。ダイナミクスは、ランチョス係数 $a_n$ および $b_n$ によって特徴付けられる、三対角行列 $M$（クリロフ基底における $H$ の表現）にエンコードされる。

コアとなる手法として、ハミルトニアン $M$ に対する二つの補助的な変形を導入する：

1. 角度変形 ($\phi$): 数演算子 $\hat{n}$（クリロフ指数をカウントするもの）によって生成される回転。変形されたハミルトニアンは $M(\phi) = e^{i\hat{n}\phi} M e^{-i\hat{n}\phi}$ と定義される。
2. ユークリッド変形 ($\tau$): 演算子 $F = i[B, M]$ によって生成される変形。ここで $B = i[\hat{n}, M]$ は「運動量」演算子として機能する。これは、初期状態をユークリッド時間 $e^{-\tau H}$ によって進化させることに相当する。

著者らは、これらの変形を用いてロシュミット振幅 $G(t, \phi) = \langle 0 | e^{iMt} e^{-iM(\phi)t} | 0 \rangle$ およびその $\tau$ 依存の対応物を定義する。これらの振幅のスペクトル特性および演算子 $M, B, \hat{n}$ の代数的構造を分析することにより、著者らは、クリロフ複雑性のモーメントとこれらの振幅の微分の間の関係を導出する。この分析は、スペクトル関数 $\Phi(E)$（自己相関関数のフーリエ変換）および、ランチョス係数に関連する直交多項式の性質に大きく依存している。

主要な貢献と結果

1. ロシュミット微分としてのクリロフ複雑性:
   本論文は、クリロフ複雑性 $\langle \hat{n}(t) \rangle$ が、ロシュミット振幅の一次の位相応答であることを確立している。具体的には、$k$ 次の複雑性分布のモーメントは、$\phi=0$ における $G(t, \phi)$ の $\phi$ に関する $k$ 階微分として与えられる：
   $$\langle \hat{n}^k(t) \rangle = (-i)^k \frac{\partial^k}{\partial \phi^k} G(t, \phi) \Big|_{\phi=0}$$
   この定式化は、複雑性分布の全体をエンコードする「スペクトル伝播関数」$K(E_1, E_2, \phi)$ を定義する。

2. 時間微分と $\tau$ による分類:
   クリロフ複雑性の時間微分は、ユークリッド時間変形 $\tau$ を含む、別のロシュミット振幅の微分として表現される：
   $$\partial_t \langle \hat{n}(t) \rangle = i \partial_\tau \langle 0 | e^{iM(0)t} e^{-i(M(0) + \tau F)t} | 0 \rangle \Big|_{\tau=0}$$
   演算子 $F = i[B, M]$ がこの摂動を支配する。本論文は、$F$ の増大と有界性に基づいた、クリロフ複雑性ダイナミクスの分類スキームを提案している。

• 有界な摂動: $F$ が有界な演算子である場合（例：ランチョス係数が緩やかに成長または飽和する場合）、摂動は有限ランクの打ち切りによって近似できる。これにより、複雑性のダイナミクスは、有限のカットオフ $n^*$ を持つ測定可能な振幅によって捉えることが可能になる。
• 非有界な摂動: ランチョス係数が急速に成長する（例：線形に成長する）カオス系では、$F$ は非有界であり、有限ランクの打ち切りではダイナミクスを正確に捉えることができない。

3. 複雑性に関する一般境界:
   コーシー・シュワルツの不等式と $F$ のフロベニウスノルムを用いて、著者らは自己相関関数 $C(t)$ を用いたクリロフ複雑性の一般的な上界を導出する：
   $$\langle \hat{n}(t) \rangle \leq \|F\| \sqrt{\int_0^t ds_1 \int_0^t ds_2 (t-s_1)(t-s_2) |C(s_1-s_2)|^2}$$
   この境界は、ランチョス係数の増大に関する詳細な知識がなくとも、$\|F\|$ が有限である限り成立する。ランダム行列理論（一定の $b_n$ を持つ場合）のような特定のケースについては、すべての複雑性モーメントの正確な後期漸近挙動を導出している。

4. 複雑性の幾何学と体積境界:
   本論文は、時間 $t$ と変形角 $\phi$ によって張られる二次元リーマン幾何学を構築する。この計量は、ヒルベルト空間上のフビニ・スタディ計量から誘導される。

• 体積境界: 著者らは、クリロフ複雑性が、時間 $t$ までのこの幾何学の体積によって上界に抑えられることを示している。具体的には、$\langle \hat{n}(t) \rangle \leq \frac{1}{\pi} \text{Vol}_t$ である。
• 飽和: この境界は、$\hat{n}, M, B$ の間の代数が閉じる時（例：$SL(2, \mathbb{R})$ またはハイゼンベルク・ワイル代数）、すなわち定曲率空間において飽和する。
• 測地線偏差: この幾何学のスカラ曲率は、クリロフ分散 $\Delta n(t)$ の凸性と関連していることが示されている。

5. IPRと分散の統計的関係:
   驚くべき統計的性質が特定された：クリロフ波動関数の逆参加比（IPR）は、広範なクラスの系において、複雑性分布の標準偏差 ($\Delta n(t)$) に反比例する：
   $$\text{IPR}_t \sim \frac{1}{\sqrt{\pi} \Delta n(t)}$$
   この関係は、一定のランチョス係数を持つ系や、複雑性代数に従う系で成立しており、クリロフ基底の確率の頑健な統計的挙動を示唆している。

意義と主張
本論文は、クリロリズム複雑性をハミルトニアンの摂動に対する感度の尺度として扱う、統一的な解析的枠組みを提供すると主張している。複雑性のモーメントをロシュミット振幅の微分として表現することで、本研究は、抽象的なクリロフ空間の尺度と、生存振幅のような物理的観測量の間の溝を埋めるものである。

その意義は以下の通りである：

• 分類: 摂動演算子 $F$ の有界性に基づいた、量子ダイナミクスの新しい分類方法を提供し、複雑性が有限の打ち切りによって近似できる系と、完全なスペクトル分解を必要とする系を区別する。
• 幾何学的解釈: 複雑性がパラメータ空間の体積によって制限されるという厳密な幾何学的イメージを確立し、量子カオスの概念（リアプノフ指数）を幾何学的曲率や軌道の分離へと結びつける。
• 予測力: 詳細なランチョス列の知識を必要とせず、自己相関関数から直接、一般的な境界と漸近挙動を導出する（特に、有界なスペクトル関数を持つ系において）。

著者らは、カオス指数（リアプノフ指数など）との接続は示唆的かつ類似したものであるが、一般的な系におけるクリロフ指数とカオスの正確な物理的同一性を確立するには、自己相関関数の具体的な物理的内容についてのさらなる検討が必要であることを認めている。これは本研究の範囲外である。本論文は、クリロフ形式体系内の構造的および代数的な関係に焦点を当てている。