Quantum scrambling of algebras of observables: the $\mathbb{Z}_2$-symmetric case

技術要約：観測量代数の量子スクランブリング：$Z_2$対称性のケース

問題提起
本論文は、個々の演算子から観測量の代数全体へと、量子スクランブリングの定式化を拡張するものである。先行研究では、「コロニアル（collinear）」な代数（代数とその交換子代数が特定の次元関係を持つもの）における代数的アウト・オブ・タイム・オーダー・相関関数（A-OTOC）が、スクランブリングの尺度として確立されていたが、より一般的な代数に対する計量的解釈は欠けていた。著者らは、観測量代数 $\mathcal{A}$ の交換子代数 $\mathcal{A}'$ が、単一のエルミート・イボリュージョン（対合演算子）$S$（パリティ演算子）によって生成される場合を具体的に扱う。この $Z_2$ 対称性の設定において、$\mathcal{A}' \cong \mathbb{C}Z_2$ であり、ヒルベルト空間は2つのパリティ・セクターに分解される。目的は、この文脈におけるスクランブリング尺度の厳密な解析的表現を導出し、幾何学的解釈を提供し、相互作用スピン鎖の相を診断するためにこれらの尺度を適用することである。

手法
著者らは、ユニタリ・チャネル $U(\cdot) = U(\cdot)U^\dagger$ による代数 $\mathcal{A}$ のスクランブリングを定量化するために、主に2つの尺度を用いる：

1. 代数的OTOC (A-OTOC): $\mathcal{A}$ 内のユニタリ素子と、交換子代数 $\mathcal{A}'$ 内の動的に発展したユニタリ素子との間の交換子の二乗ノルムの平均として定義される。
2. プリッカー・フィデリティ (Plücker Fidelity): 演算子代数を高次元の射影演算子空間へと埋め込むことで導出される、スレーター行列式型の量であり、初期の交換子代数 $\mathcal{A}'$ とその動的な像 $U(\mathcal{A}')$ とのオーバーラップを測定する。

解析は、生成子 $S$ の $\pm 1$ の固有値に対応する不変部分空間 $\mathcal{H}_+$ および $\mathcal{H}_-$ へのヒルベルト空間 $\mathcal{H}$ の分解に基づいている。主要なパラメータには、トレース・パラメータ $\tau = \text{Tr}(S)/d$ （$S$ が無跡の場合 $\tau$ はゼロとなる）および、生成子の無限温度時間自己相関関数 $Y(U) = \frac{1}{d}\langle S, U(S) \rangle$ が含まれる。

主要な貢献および結果

• 厳密な解析的表現: 著者らは、一般的な $Z_2$ 対称性のケースにおいて、A-OTOC ($G_\mathcal{A}(U)$) とプリッカー・フィデリティ ($F_\mathcal{A}(U)$) の閉じた形式の表現を導出した。これらの量は、対称性の破れのパラメータ $\tau$ と自己相関 $Y(U)$ のみに依存する：
  $$G_\mathcal{A}(U) = (1-Y)\left[1 - \frac{1-Y}{2(1-\tau^2)}\right], \quad F_\mathcal{A}(U) = \left| \frac{Y - \tau^2}{1 - \tau^2} \right|$$
  彼らは、これらの尺度が恒等式 $G_\mathcal{A}(U) = \frac{1-\tau^2}{2}[1 - F_\mathcal{A}^2(U)]$ によって結び付けられていることを示している。

• 幾何学的解釈: 本研究の中心的貢献は、これらのスクランブリング尺度に対する計量的解釈の回復である。著者らは、A-OTOCが、$Z_2$ 代数の多様体 ($\mathcal{M}_{Z_2}$) 上の交換子代数 $\mathcal{A}'$ とその動的な像 $U(\mathcal{A}')$ の間のヒルベルト・シュミット距離の二乗に比例することを示した。具体的には、$G_\mathcal{A}(U) = \frac{1-\tau^2}{4} D_{HS}^2(\mathcal{A}', U(\mathcal{A}'))$ である。これは、以前知られていたコロニアルなケースを超えて、スクランブリングの幾何学的理解を拡張するものである。

• 対称性の破れとスクランブリング: 本研究は、スクランブリングがユニタリ発展の $Z_2$ 対称性の破れの成分によって制御されることを確立している。

  • スクランブリングの不在: $U$ が $\mathcal{A}'$ を保存する場合（すなわち $U(S) = \pm S$）に起こる。これは $Y=1$、または（無跡の場合 $\tau=0$ には）$Y=-1$ に対応する。
  • 最大スクランブリング: $Y(U) = \tau^2$ のときに起こり、$F_\mathcal{A}(U)=0$ および $G_\mathcal{A}(U) = (1-\tau^2)/2$ となる。
  • 典型的な値: ランダムなユニタリに対して、A-OTOCは最大値の近くに集中する。特に、生成子が無跡（$\tau=0$）の場合、その上限は $1/2$ である。

• 長時間平均: ハミルトニアンによって生成される動力学について、A-OTOCの長時間平均は、生成子 $S$ の脱位相成分とハミルトニアンのスペクトル縮退構造によって決定される。非縮退スペクトルの場合、長時間平均は最大スクランブリング値に近づく。

• スピン鎖への数値的応用: 本定式化は、異なる物理相を診断するために相互作用スピン鎖に対してテストされている：

  • 多体局在化 (MBL): ランダム場XXZ鎖において、長時間平均A-OTOCは、無秩序が増大するにつれて著しく減少し、MBLへの転移をシグナルとして示す。この尺度の感度は、パリティ演算子のサポートに依存し、局所演算子が最も強い応答を示す。
  • 秩序・無秩序転移: 横磁場イジング模型（TFIM）において、A-OTOCは横磁場が臨界点を横切るにつれて、0（秩序相）から $\approx 1/2$（無秩序相）へと増加し、基底状態の磁化の挙動を反映する。
  • 可積分転移: 縦磁場を持つTFIMにおいて、A-OTOCは可積分点（グローバル・パリティが対称性である点）で正確にゼロであり、可積分性を破ると急速にエルゴード的値へと近づく。この転移は、システムサイズが大きくなるにつれて鋭くなる。

意義
本論文は、提案された定式化が、代数的非可換性と幾何学的距離を橋渡しする、量子スクランブリングを定量化するための統一的な枠組みを提供すると主張している。交換子代数を $Z_2$ 構造に制限することで、著者らは、以前は一般的な代数に対しては利用できなかったA-OTOCの計量的解釈を回復させている。結果は、長時間平均A-OTOCが、物理的に動機付けられたパリティ演算子と組み合わされることで、多体系における可積分、カオス、および局在相を区別するための敏感な診断ツールとして機能することを示唆している。本研究は、「典型的」なランダムユニタリの振る舞いが最大スクランブリングをもたらすこと、そして、この典型的振る舞いからの逸脱が、特定の量子系における潜在的な構造的対称性や局在現象を明らかにできることを強調している。