[論文レビュー] Scrambling is Necessary but Not Sufficient for Chaos

Neil Dowling, Pavel Kos+1 more|PubMed|Apr 14, 2023

Quantum many-body systems参考文献 75被引用数 4

ひとこと要約

本稿は、時間順序外相関関数（OTOC）で測定される演算子のスクラッチングが、量子カオスの必要条件ではあるが十分条件ではないことを確立している。局所的量子回路モデル、特に双ユニタリ回路を用いて、OTOCの急速な減衰（つまりスクラッチングを示唆）が、真の量子カオスの動的兆候である局所演算子のエンタングルメント（LOE）の線形増加を保証しないことを明らかにした。これにより、多体量子系におけるスクラッチングとカオスの違いが明確にされた。

ABSTRACT

We show that out-of-time-order correlators (OTOCs) constitute a probe for local-operator entanglement (LOE). There is strong evidence that a volumetric growth of LOE is a faithful dynamical indicator of quantum chaos, while OTOC decay corresponds to operator scrambling, often conflated with chaos. We show that rapid OTOC decay is a necessary but not sufficient condition for linear (chaotic) growth of the LOE entropy. We analytically support our results through wide classes of local-circuit models of many-body dynamics, including both integrable and nonintegrable dual-unitary circuits. We show sufficient conditions under which local dynamics leads to an equivalence of scrambling and chaos.

研究の動機と目的

• OTOCを用いた量子演算子スクラッチングと、LOEを用いた量子カオスの関係を明確化すること。
• 特に古典的極限を持たない系において長年にわたり曇りがかった定義であった量子カオスの定義を解消すること。
• OTOCの減衰が、線形LOEエントロピー増加によって定義される真の量子カオスと等価であると一般的に考えられているが、それだけでは不十分であることを確立すること。
• 双ユニタリ回路や可解な局所量子回路を含む広範なクラスの局所量子回路において、OTOCおよびLOEの正確な解析的結果を提供すること。
• CP演算子形式を用いた統一的枠組みにより、OTOCとLOEの内在的関係を明らかにし、両者の統合を図ること。

提案手法

• パウリ基底を用いた双ユニタリ回路におけるOTOCの解析的計算と、局所ユニタリゲートによる正確な時間発展演算。
• XXZモデルにおけるOTOC減衰の正確な式の導出：結合定数 $ J $ に依存する減衰率 $ \alpha = \ln(1/\sin(2J)) $ を示した。
• チョイ状態形式を用いて、時間発展演算子のエンタングルメントとしての局所演算子エンタングルメント（LOE）の定義と計算。
• 完全正値（CP）演算子を用いた一般化された演算子フリー枠組みの導入：「時間順序外テンソル」（OTOT）と「局所テンソルエンタングルメント」（LTE）を定義し、OTOCとLOEを統合。
• OTOTとLTEの間のリンク積構成による関係の確立：OTOCが完全CP演算子構造の部分トレースとして現れることを示した。
• 双ユニタリ回路の分類を応用し、キュービット系におけるOTOCおよびLOEの動的挙動を正確に導出し、スクラッチングとカオスの違いを解析的に検証可能にした。

実験結果

リサーチクエスチョン

• RQ1 多体系において、OTOCの急速な減衰が量子カオスを結論づけるのに十分であるか？
• RQ2 局所演算子エンタングルメント（LOE）エントロピーの線形増加は、OTOCの減衰と常に一致するか？
• RQ3 正確な解析的モデルを用いて、OTOCの減衰を示すが、線形LOE増加を示さない系（つまり、スクラッチングはするがカオス的挙動を示さない系）を示せるか？
• RQ4 OTOCとLOEの根本的な関係は何か？ そして、特定のモデルを超えてこの関係を形式化できるか？
• RQ5 どのような条件下で、局所量子回路においてスクラッチングとカオスが等価となるか？

主な発見

• OTOCの急速な減衰は、LOEエントロピーの線形増加によって定義される量子カオスの観点から見れば必要条件ではあるが十分条件ではない。
• XXZモデルにおいて $ J \neq \pi/4 $ の場合、OTOCは結合定数 $ J $ に依存する減衰率 $ \alpha = \ln(1/\sin(2J)) $ を持つ指数関数的減衰を示し、スクラッチングが確認された。
• $ a_z = 0 $ の場合、長時間においてOTOCは $ -1/(d_A^2 - 1) $ に近づき、完全なスクラッチングを示唆するが、LOEは線形に増加しない。
• 双ユニタリ回路における正確な解析的結果により、OTOCの減衰が線形LOE増加を伴わないことが確認され、スクラッチング ≠ カオスであることを証明した。
• OTOTとLTEを用いた演算子フリー形式は、OTOCとLOEの深い構造的関係を明らかにし、OTOCが完全CP演算子構造の部分トレースとして現れることを示した。
• 本研究により、スペクトル的手法が適用できない系においても、LOEがOTOCよりも量子カオスのより忠実な動的指標であることが確立された。