Generating quantum error correcting codes from topological pre-thermal scars

技術要約：トポロジカル・プレサーマル・スカーからの量子誤り訂正符号の生成

問題提起
量子多体スカー（QMBS）は、熱化するスペクトルの中に埋め込まれた、非熱的な固有状態の一種であり、異常に低いエンタングルメントとコヒーレントなダイナミクスを特徴とする。これらの状態は、量子情報の保存および操作のための有望な候補として特定されているが、以下の事項に関する一般的な枠組みが欠けていた：(1) 微視的なスカー形成メカニズム（特定のタワー構造や厳密な対称性など）に関する事前知識なしに、これらの状態を特定すること、および (2) これらの状態が量子誤り訂正符号を形成できるかどうかを厳密に判定すること。既存のアプローチは、モデルに依存しない識別手法、摂動に対する安定性の定量的証明、および結果として得られる量子誤り訂正符号の明示的な構成を同時に提供することに失敗することが多い。

手法
著者らは、**多体系スペクトル・ローカライザー（many-body spectral localizer）**を用いて、非熱的状態の発見から認証可能な量子誤り訂正へとつなげるエンドツーエンドのフレームワークを開発した。この手法は以下の3つの段階で進行する：

1. 擬スペクトルによるスカーの識別：
   本フレームワークは、非熱的状態の識別を、一般に互いに非可換な観測量、すなわちハミルトニアン（$H$）と、熱的挙動と非熱的挙動を区別する診断用観測量（$O$）にわたる同時情報を解像する問題として扱う。スペクトル・ローカライザー $L_{(x,\epsilon)}(X, H)$（クリフォード線形構成）を用いて、近似的な同時固有ベクトルを探索する。多体系の設定では、$X$ は空間座標ではなく、多体系の観測量（例：重心位置）を表す。

   • ローカライザーは $L_{(\lambda,\epsilon)}(O, H) = \kappa(O - \lambda \mathbb{1}) \otimes \sigma_x + (H - \epsilon \mathbb{1}) \otimes \sigma_y$ と定義される。
   • システムが多体系のカイラル対称性 $\Gamma_\chi$（$\mathbb{Z}_2$ 階層）を持つ場合、著者らは対称性縮退スペクトル・ローカライザー $\tilde{L}_\lambda = [\kappa(O - \lambda \mathbb{1}) - iH]\Gamma_\chi$ を構築する。
   • $\tilde{L}_\lambda$ における近ゼロ固有値（局所的なギャップの閉鎖）の存在は、 $H$ と $O$ の近似的な同時固有状態の存在を示す。

2. トポロジカル指数と階層（Grading）：
   対称性縮退ローカライザーは、トポロジカル指数 $\nu_\lambda = \frac{1}{2}\text{sig}(\tilde{L}_\lambda)$ を持つ。$\lambda$ が変化するにつれてこの指数がシフトすることは、状態の存在を示すとともに、決定的なことに、それらがどの階層部分空間（$\Gamma_\chi$ の固有値）に属しているかを特定する。これにより「指数シフト–部分空間対応」が確立され、著者らは、同じ階層を持ち、かつ $O$ の期待値が十分に離れている一対の縮退スカーを選択することが可能となる。

3. 演算子代数量子誤り訂正（OAQEC）：
   著者らは、同じ階層と空間的分離を持つスカーのペアが、近似的なクニル–ラフラム（Knill–Laflamme）条件を満たすことを示す。

   • 奇数エラー（Odd Errors）： 階層に対して奇数であるエラー $E$（$\{E, \Gamma_\chi\} = 0$）は、コード空間を直交するセクターへと写すため、$\Gamma_\chi$ を測定することで正確に検出可能である。
   • 偶数エラー（Even Errors）： 2つの奇数エラーの積（または本質的に偶数であるエラー）は、階層を保持する。しかし、スカーの $O$ における局在化が、十分に局所的な偶数エラーの積による論理的操作を抑制する。
   • これを定量化するために、著者らは、空間的な広がりが制限された構成にヒルベルト空間を制限するクラスター化セクター分析を導入する。このセクター内では、ハミルトニアンは「重心のバンド性（bandedness）」を示し、ゼロエネルギー多様体への射影に関する指数関数的な減衰境界の導出を可能にする。これにより、バルク局所演算子に対する論理エラーの指数関数的な抑制が導かれ、近似的なOAQEC構造が確立される。

主要な結果と実証
本フレームワークは、その幅広い適用可能性を示すために、3つの異なる物理モデルに適用された：

1. 1次元密度差依存性ボゾンモデル：

   • このモデルは、局所的な密度差に依存する相関ホッピングを特徴とする。
   • スペクトル・ローカライザーは、重心座標（$X_{CM}$）の端に局在した、縮退した階層スカーの族を特定した。
   • これらの状態は、熱的なバルクと比較して、異常に低いエンタングルメント・エントロピー（静的なシグネチャ）と、抑制されたエンタングルメント成長（動的なシグネチャ）を示した。
   • 最も外側の2つのスカーを用いた明示的な近似量子コードが構築された。このコードは近似的なクニル–ラフラム条件を満たし、論理ビット反転エラーにはマクロな空間的広がりを必要とする。

2. 2次元密度差依存性ボゾンモデル：

   • ボゾンモデルの2次元版に適用された。
   • フレームワークは、対角方向の重心座標に沿ってシステムを解像することにより、コーナーに局在した状態（多体系の高次トポロジカル境界状態）を特定した。
   • 特定された状態は、低いエンタングルメントとコーナー局在を示し、高次元における本手法の有用性を裏付けた。

3. PXPモデル（リドバーグ原子）：

   • リドバーグ・ブロッケードと $Z_2$ スカーで知られる典型的なPXPモデルに適用された。
   • 空間反転対称性を階層として用いることで、ローカライザーは17サイトの鎖における18個の既知のスカー状態のうち14個を特定した。
   • 本手法は、特定のスカー・タワーの構造に関する事前知識なしに、熱的なバルクからスカー・タワーを分離することに成功した。

意義と主張
本論文は、非熱的な多体系の状態を特定することから、それらを利用して量子情報を保護することへの系統的な経路を確立したと主張している。主な貢献は以下の通りである：

• モデルに依存しない発見： 本フレームワークは、スカーを生成する微視的なメカニズム（運動学的制約や特定の代数的構造など）に関する事前知識を必要としない。これは、ハミルトニアンと診断用観測量の同時スペクトル構造のみに依存している。
• トポロジカルな認証： スカーの識別をトポロジカル指数のシフトに結びつけることで、本手法は、それらの状態の安定性と、誤り検出に不可欠な特定の階層セクターに対する証明を提供する。
• スカーからコードへ： 本研究は、**演算子代数量子誤り訂正（OAQEC）**構造を明示的に構築している。スカーを熱的状態から区別するのと同じ局在特性が、近似的な誤り訂正条件を満たす素因となることを示している。
• 擬スペクトル・ツール： 著者らは、擬スペクトル手法（特にスペクトル・ローカライザー）を、相互作用する量子系において有用な非熱的振る舞いを発見するための、広く適用可能なツールとして位置づけ、単一粒子トポロジーを超えた有用性を拡張している。

著者らは、保護の普遍性については慎重な姿勢を崩しておらず、すべてのスペクトル・ローカライザーによって特定されたスカーが、必ずしも十分に保護されたコードを生むわけではないと述べている。その有用性は、診断用観測量 $O$ が非熱的状態を効果的に区別し、かつ関連する誤り代数を、分離されたコードワード同士が局所的なエラーによって接続されにくいように整理できるかどうかに依存する。しかし、適切な系に対しては、本フレームワークは堅牢な量子コードへの建設的な道筋を提供する。