How to distinguish chaos from integrability using OTOC

技術的要約：OTOCを用いたカオスと可積分性の区別

問題提起
アウト・オブ・タイム・オーダー相関関数（OTOC）が小さな残留値へと減衰することは、相互作用する多体系における情報のスクランブリングを示す一般的な兆候であるが、この挙動だけでは、カオス的な理論と可積分な理論を区別するには不十分である。両方のクラスの系においてOTOCの減衰が見られるため、初期時刻のリャプノフ領域（大きな半古典的パラメータを持つ系に特有のもの）や、一般的な後期時刻の減衰のみでは、実用的な識別には不十分である。中心となる課題は、保存電荷の局在性に基づいて、カオス的な系と可積分な系をロバストに区別できる物理的観測量を特定することである。

手法
著者らは、演算子の純粋度（operator purity）（時間発展演算子に関連するチョイ・ジャミオルコフスキー状態の第2レニー・エントロピーに相当）の、後期時刻における飽和値を解析することを提案している。これは、部分系 $A$ におけるすべての演算子に対して平均化されたOTOCに関連している。

中核となる解析手法として、マズール境界（Mazur bound）を用いる。これは、系の保存電荷 $\{Q_k\}$ を用いた自己相関関数の無限時間平均に対する下界を与えるものである。著者らは、この境界を、二重化された系（元の系の2つのコピー）におけるSWAP演算子（$\text{SWAP}_A$）の自己相関に適用している。演算子の純粋度は以下のように表される：
$$\text{Tr}\rho_{A_1 A_2}^2 = \frac{1}{d^2} \langle \text{SWAP}_A(0) \text{SWAP}_A(t) \rangle$$
ここで、$d$ は全ヒルベルト空間の次元であり、$d_A$ は部分系 $A$ の次元である。

解析は以下のステップに基づいている：

1. 電荷の分解： マズール境界は、二重化された系の保存電荷、具体的には元のハミルトニアンの準局所的な保存電荷 $Q_k \otimes Q_k$ を用いて構成される。
2. 局在性の解析： 著者らは、SWAP演算子とこれらの保存電荷とのオーバーラップを明示的に計算している。彼らは、局所的または準局所的な電荷（電荷密度が有限のサイト上に支持されている場合）について、部分トレース $\text{Tr}_A(Q_k)$ が、その電荷が部分系 $A$ の中に完全に収まっている場合にのみ非ゼロになることを示している。
3. スケーリングの導出： これらの電荷によるマズール境界への寄与を足し合わせることで、著者らは残留する演算子の純粋度の、部分系のサイズ $L_A$ および全系のサイズ $L$ に対するスケーリング挙動を導出している。

主要な貢献と結果

1. 明確なスケーリング則：
   本論文は、演算子の純粋度の後期時刻の飽和値が、カオス的な系と可積分な系で異なるスケーリングを示すことを確立している：

   • カオス的な系： ハミルトニアン $H$ が唯一の関連する保存電荷であり（およびその累乗）、マズール境界は、$L_A/L$ のみに依存する残留値を与える。具体的には、$\text{Tr}\rho_{A_1 A_2}^2$ の $d_A^2$ 倍は、$C(L_A/L)$ に等しい。この値は、$L_A/L$ が一定であれば、$L_A$ が増加しても一定に保たれる。
   • 可積分な系： 多数の準局所的な保存電荷 $Q_k$（例：ハイゼンベルクXYZ鎖）が存在する場合、この境界は、固定された比 $L_A/L$ において、$L_A$ に対して線形にスケーリングする。導出された下界は以下の通りである：
     $$d_A^2 \times \text{Tr}\rho_{A_1 A_2}^2 \geq L_A \times I(L_A/L)$$
     この線形成長は、部分系 $A$ の中に完全に収まる準局所的な電荷の数が $L_A$ に比例して増えることに起因する。

2. 電荷の局在性の役割：
   解析は、なぜ保存電荷の局在性が重要であるかを明らかにしている。エネルギー固有状態への射影（非局所的なもの）は、境界に対して指数関数的に小さい項（$\sim d_A^2/d^2$）しか寄与しない。対照的に、局所的な可積分電荷は $(L_A/L)^2$ 次のオーダーの項をもたらし、これが積分された純粋度の線形成長につながる。

3. 数値的検証：
   著者らは、一次元スピン鎖の厳密対角化シミュレーションを用いて、解析的な知見を裏付けている：

   • モデル： XXXおよびXYZスピン鎖（可積分）、および混合場イジングモデル（可積分性が破れた場合のカオス的モデル）。
   • 知見： 数値データは理論的予測を裏付けている。カオス的な場合、演算子の純粋度は $L_A/L$ に依存する一定値に飽和する。可積分な場合、その量は $L_A$ とともに有意に増大し、導出された線形スケーリングと一致する（場合によっては、二重化された系における追加の保存電荷により、さらに速い成長を示すこともある）。

4. 飽和時間：
   本論文は、マズール境界は無限時間の平均に適用されるものの、OTOCおよび演算子の純粋度の飽和は、指数関数的に長いハイゼンベルグ時間ではなく、トレス時間（Thouless time）（系のサイズに対して多項式的な時間、例えば拡散系における $L^2/D$）で起こると論じている。これにより、カオスと可積分性の区別が実用的に観測可能となる。

意義と主張
本論文は、演算子の純粋度の後期時刻の振る舞いを用いて、カオス的な量子系と可積分な量子系を区別するための、ロバストで実用的な手法を提供すると主張している。スペクトル統計（指数関数的に長い観測時間を必要とする）や初期時刻のリャプノフ指数（大きな$N$極限を必要とする）に依存する従来の診断法とは異なり、このアプローチは残留値のスケーリングに依存している。

著者らは、このアプローチが、保存電荷の局在性と情報のスクランブリングの阻害との間の接続を明示していることを強調している。マズール境界は下限を与えるものであるが、数値結果は、可積分系における実際の値がこれらの境界を超える可能性があることを示唆している。これは、二重化された系における保存電荷の積による、複雑な構造に起因すると考えられる。本研究は、演算子のエントロピーが、それらの文脈において重要であることを踏まえ、演算子の純粋度が保存則の性質を感知する鋭敏なプローブであることを示唆している。