Diagnosing chaos with projected ensembles of process tensors

本論文は、多体系における量子カオスの診断のための統一的枠組みとして射影過程アンサンブルを導入し、その高次モーメントが、従来研究されてきたカオス定量化器よりもカオス的ダイナミクスと可積分ダイナミクスをより明確に区別する特徴的な絡み合い構造を明らかにすることを示す。

要約

複雑なマジックショーを観ていると想像してください。マジシャン（量子系）がいくつかのトリックを披露します。時には、トリックは予測可能で、歯車仕掛けのおもちゃのように厳密に繰り返されるパターンに従います。他の時には、トリックは完全にランダムで、混沌としており、予測不可能な竜巻のようです。

長年、科学者たちは「歯車仕掛け」のシステムと「竜巻」のシステムを区別する簡単な方法を見つけようと試みてきました。彼らは「混沌」を測定するためにさまざまなツールを用いてきましたが、これらのツールの多くには欠陥がありました。非常に規則的で予測可能なシステムが、これらのツールに対して混沌として見えることがあり、それらを区別することが困難になるのです。

本論文は、量子系における混沌を診断するための、より鋭い新しい手法を紹介しています。以下に、簡単な比喩を用いてその手法を説明します。

1. 「蝶」の記録装置

まず、著者らはプロセステンソルと呼ばれる概念を用います。これは、単に最終的な映像を記録するだけでなく、ショーのありうるすべてのバージョンを同時に記録する、超高度なビデオカメラのようなものです。

• 設定: マジシャンがトリックを実行し、あなたはその見方を選ぶ必要があります（例：左から、右から、あるいはフィルターを通して）。
• 記録: プロセステンソルは、すべての可能な結果の巨大な「図書館」を作成します。あなたが下すすべての選択（すべての介入）に対して、対応する「出力状態」（トリックの結果）が存在します。
• 「蝶」の空間: 著者らは、これらすべての選択が存在する空間を「蝶空間」と呼びます。これは、ありうるすべてのボタン操作のシーケンスが記録されているコントロールルームのようです。

2. 古いツール：なぜ騙されたのか

本論文は、混沌を測定するために以前に用いられていた 2 つのツールを検討します。

• 量子力学動的エントロピー (QDE): これは、システムが過去をどの程度「忘却」するかを測定します。混沌としたシステムを刺激すると、情報は素早くかき混ぜられます。規則的なシステムを刺激しても、十分な回数刺激すれば情報がかき混ぜられるかもしれません。問題点は、いくつかの退屈で規則的なシステム（例えば、自由に浮遊する粒子など）が、このツールを用いると、本物の竜巻と同じくらい混沌として見えることです。
• 時空間エンタングルメント (STE): このツールは、「かき混ぜ」が時間と空間を通じてどのように広がるかを観察します。最初のツールよりも優れていますが、システムが非常に大きくなった場合、依然として「規則的だが複雑な」システムと真に「混沌とした」システムを区別することに苦労します。

3. 新しい解決策：「射影プロセスアンサンブル (PPE)」

これを解決するために、著者らは射影プロセスアンサンブル (PPE) と呼ばれる新しい手法を考案しました。

比喩：「教室のテスト」
あなたが教師で、クラスの生徒が本当に混沌としているのか（ランダムに答えを叫んでいるのか）、それとも隠された台本に従っているのか（詩を暗唱しているのか）を突き止めようとしていると想像してください。

• 古い方法 (QDE/STE): 生徒に 1 つの質問をし、平均的な騒音レベルを見ます。時には、詩を大声で暗唱しているクラスが、混沌としたクラスと同じくらい騒々しく聞こえることがあります。
• 新しい方法 (PPE): 1 つの質問をする代わりに、生徒に質問の特定のシーケンス（介入）を投げかけます。
  • あなたが問いかけうるありうるすべての質問のシーケンスに対する答えを記録します。
  • 今や、単に答えの平均を見るのではなく、答えの分布を見ます。
  • 重要な洞察:
    • 混沌としたシステム: どの質問のシーケンスを投げかけても、答えはすべて激しく異なり、完全にランダムな帽子から引き抜かれたように見えます。これらの答えの「ばらつき」（分散）は極めて小さく、それらはすべて同様にランダムであるためです。
    • 規則的なシステム: 答えは、あなたがどの質問をしたかに強く依存します。あるシーケンスは似たような答えを与え、他のシーケンスは非常に異なる答えを与えます。「ばらつき」は巨大です。

4. 彼らが発見したもの

著者らは、異なる種類の「マジシャン」（量子モデル）を用いて、スーパーコンピュータ上で何百万回もマジックショーを実行するような大規模なコンピュータシミュレーションを行いました。

• 竜巻 (混沌): これらのシステムは、非常に特定のシグネチャーを示しました。答えのばらつきを見ると、それは純粋なランダム性から予想されるものと同様に、信じられないほど小さく一貫していました。
• 歯車仕掛け (可積分/規則的): これらのシステムは、はるかに広いばらつきを示しました。それらの答えは均一にランダムではなく、取られた特定の経路に依存していました。
• 凍結 (多体局在): これらのシステムはほとんど動かず、非常に少ない混沌を示しました。

「測定」のひねり:
本論文は、プロセス中にシステムを「覗き見る」（測定する）場合に何が起こるかもテストしました。

• 決定論的な介入（常に同じことをするボタンを押すなど）を使用すると、混沌としたシステムは完全にランダムに見えます。
• 非決定論的な介入（状態を崩す可能性があるコイン投げなど）を使用すると、「混沌」は少し減衰します。まるで、マジックトリックをあまりにも注意深く観察することで、トリックが荒々しさを失うようなものです。しかし、この減衰があっても、混沌としたシステムは依然として規則的なシステムとは明確に区別できました。

まとめ

本論文は、量子系における混沌を真に診断するためには、「平均」的な振る舞いを見るだけでは不十分であると主張しています。代わりに、異なる行動のシーケンスによって生成されるありうる結果の全体を見るべきです。

• 混沌としたシステムは、完璧な乱数発生器のようです。いかにして彼らをだまそうとしても、常に完全に均一でランダムな結果のばらつきを生み出します。
• 規則的なシステムは、複雑な機械のようです。ボタンをどのように押すかによって、生成される結果が異なります。

これらの結果の「ばらつき」（分散）を分析することで、著者らは真の混沌と、単に混沌として見えるシステムを明確に区別する方法を見つけ出し、以前のツールでは処理できなかった問題を解決しました。

技術概要

技術的概要：プロセステンソルの射影アンサンブルを用いたカオスの診断

問題提起
量子カオスには、唯一かつ普遍的に合意された定義が存在せず、既存の定量化手法はしばしば矛盾する結果をもたらす。古典カオスは、ランダム、カオス、非カオスの力学を区別する動的エントロピー（コルモゴロフ・シナイエントロピー）の増大によって特徴づけられるが、その量子 analogue であるアlicki-ファネス量子動的エントロピー（QDE）は、多体系においてカオス的力学と非カオス的力学を明確に区別することに失敗する。具体的には、QDE はカオス系（例：Sachdev-Ye-Kitaev モデル）だけでなく、自由フェルミオンや Lindblad-Bernoulli シフトのような規則的な力学においても最大増大率を示す。同様に、出力状態の複雑さを捉えようとする時空間エンタングルメント（STE）は、熱力学的極限においてカオス的力学と相互作用積分可能力学を区別することに苦慮する。著者らは、観測された力学の予測不可能性と条件付き量子状態の複雑さの両方を捉える枠組みが必要であると特定し、これらの欠陥を解決することを目的としている。

手法
著者らは、繰り返し介入下で進化する量子系の一般的な表現を提供するプロセステンソル形式を利用する。初期に純粋状態にある系に対して局所介入（クラウス演算子）の列を適用することで純粋プロセステンソル $|\Upsilon\rangle$ を構築し、「バタフライ空間」（時間的介入）と「残りの空間」（空間的出力状態）をエンタングルさせる。

カオスを診断するために、本論文は 3 つの階層的なプローブを導入・分析する：

1. 量子動的エントロピー（QDE）： バタフライ空間（$B$）と残りの空間（$R$）の二分分割における Rényi-2 エンタングルメントエントロピーとして定義される。これは、異なる介入列に対する出力状態の感度を測定する。
2. 時空間エンタングルメント（STE）： 空間的および時間的な自由度を混合する二分分割（$BR_1 : R_2$）におけるエンタングルメントを考慮する QDE の拡張であり、情報スクランブリングを捉えることを目指す。
3. 射影プロセスアンサンブル（PPE）： 著者らが定義する新たな貢献であり、局所介入の固定基底に基づいて条件付けられた純粋出力状態のアンサンブルを定義する。このアンサンブル内における二分エンタングルメントエントロピーの統計的モーメントを分析する。具体的には、エンタングルメント分布の平均（1 次のモーメント）と分散（4 次のモーメントに関連）を計算する。

本研究では、いくつかのパラダイム的な 1 次元スピンチェーンおよびフェルミオンモデルに対して厳密対角化を採用する：

• カオス的： 次々近隣相互作用を有する XXZ モデル；弱い乱れを有する相互作用 Aubry-André（IAA）モデル。
• 積分可能： ベテ・アンサッツにより積分可能な XXZ モデル；自由フェルミオンモデル。
• 多体局在（MBL）： 強い乱れを有する IAA モデル。

著者らは $U(1)$ 対称性（粒子数保存）を利用してプロセステンソルを単一の対称性セクターに制限し、より大きな系サイズ（$L \approx 14$）のシミュレーションを可能にする。結果は、最大ランダム性の基準となるHaar アンサンブル（ランダムユニタリ力学）と比較される。決定論的（ユニタリ）および非決定論的（射影測定）の介入の両方が考慮される。

主要な貢献と結果

• QDE および STE の限界： 数値シミュレーションは、有限サイズにおいて QDE がカオス的および非カオス的（積分可能、自由フェルミオン）の両方の系に対して線形に増大し、最大値付近で飽和することを確認し、熱力学的極限においてそれらを区別することに失敗していることを示した。STE は MBL とカオス的力学を区別することでこれを改善するが、依然として大きな系サイズにおいてカオス的力学と相互作用積分可能力学を明確に分離することはできない。
• 優れたプローブとしての射影プロセスアンサンブル（PPE）： 著者らは、PPE の高次モーメントがカオスに対する微細な診断を提供することを示す。
  • 平均エンタングルメント： カオス的系において、PPE の平均二分エンタングルメントは Haar ランダム値（ページ曲線挙動）に近づく。
  • 分散（変動係数）： 最も重要な発見は分散のスケーリングである。カオス的系では、エンタングルメントエントロピーの分散が系サイズとともに指数関数的に消滅し、これは任意の局所ユニタリ介入の列が最大エンタングルメントを生成することを示している。対照的に、非カオス的系（積分可能、自由フェルミオン、MBL）は指数関数的に減衰しない、著しく大きな分散を示す。
• 介入への依存性： 区別は決定論的介入（ユニタリ演算）において最も鮮明である。非決定論的介入（射影測定）を使用する場合、測定のエンタングルメント解消効果により、すべてのモデルにおいて平均エンタングルメントが減少し分散が増大し、カオス的および非カオス的力学の区別が困難になるが、依然として観測可能である。
• 時間相関： 本研究は、QDE の線形増大を非マルコフ的時間相関の抑制と関連付ける。カオス的系は時間領域間の相互情報の急速な減衰を示しマルコフ的挙動に近づくのに対し、非カオス的系は長寿命の非マルコフ相関を保持する。

意義と主張
本論文は、ユニタリおよび監視された多体力学の複雑さを分析するための統合された枠組みを提供すると主張する。射影プロセスアンサンブルを導入することにより、著者らは QDE や STE の欠陥、特にカオス的力学と相互作用積分可能力学を区別できないという欠陥を克服する方法を提供する。

著者らは、PPE のモーメント、特に系サイズに対する分散の指数関数的減衰が、量子確率過程におけるカオスの堅牢な「指紋」として機能すると主張する。このアプローチは、カオスが時空間相関にどのように現れるかを解明し、初期状態が低エンタングルで介入が決定論的である場合、カオス的力学が生成する出力状態は、そのエンタングルメント構造の点で Haar ランダムアンサンブルと区別不可能であることを示唆する。

この研究は実験的実現については控えめであり、完全なプロセステンソルの構築にはポストセレクションが必要であり、介入の数に対して指数関数的にスケーリングすることを指摘している。しかし、著者らは、カオス的および非カオス的系の間の分散の差の指数関数的スケーリングにより、将来の実験装置において比較的少数の介入（$n_B \sim 10$）であってもこれらのシグネチャを観測可能にする可能性を提案しており、測定誘起相転移の研究に情報を提供し得るとしている。