Phases of Floquet code under local decoherence

技術要約：局所的なデコヒーレンス下におけるFloquet符号の相

問題提起
Hastings-Haah Floquet符号は、周期的に進化する論理空間を特徴とする動的な量子メモリであり、その特筆すべき特徴は、各測定期間の後に発生するアニオン自己同型（具体的には $e$-$m$ 交換）である。この符号が局所的なデコヒーレンスの存在下でも量子情報を堅牢にエンコードできることは確立されているが、完全な測定下におけるFloquet符号の固有の誤差閾値は未だ決定されていない。さらに、この符号の定義的な特徴であるアニオン自己同型が、閾値以下においても明確に定義されたまま維持されるのか、あるいは標準的なトポロジカル相（Toric符号のような）や自明な相へと遷移してしまうのかについても不明である。静的なトポロジカル符号とは異なり、Floquet符号のスタビライザーは2回の連続した測定の後に初めて推論されるため、時間的に相関したシンドローム変化が生じ、これがデコーディング閾値および相診断の導出を困難にしている。

手法
著者らは、デコヒーレンスを受けたFloquet符号の固有閾値を決定し、その相を特徴付けるために、2つの補完的なアプローチを用いている。

1. 最大尤度復号（MLD）と統計力学へのマッピング：
   著者らは、局所的なPauliデコヒーレンス下におけるFloquet符号の最大尤度デコーダーを支配する統計力学モデルを導出した。彼らは、シンドロームが単一の測定ラウンド後に読み出し可能な特定のクラスの「単純な」2量子ビットPauli誤差（例：$E^Y_R, E^Z_R$ など）を特定している。これらの誤差に対して、著者らは、一般には結合している3D統計力学モデルが、独立した2D Random Bond Ising Model（RBIM）のスタックへとデカップリング（分離）されることを示している。このデカップリングはハニカム格子上で発生する。デコーディング閾値は、これらRBIMの強磁性から常磁性への相転移点と一致する。

2. 情報理論的診断：
   相構造とアニオン自己同型の持続性を探るために、著者らは量子相対エントロピーとコヒーレント情報に基づく診断手法を提案している。

• $e$-$m$ 自己同型プローブ： 著者らは、$m$-論理固有状態に初期化された状態と、最大混合状態との間の量子相対エントロピーに基づく量 $D_{em}$ を定義する。ここで、両者はFloquetシーケンスを通じて進化する。第2の状態は、デコヒーレンスがない場合に第1の状態が進化するはずの $e$-論理固有状態へと投影される。
• コヒーレント情報： 著者らは、エンコーディング相と自明な相を区別するためにコヒーレント情報 $I_c$ を計算する。
• 統計的マッピング： デコヒーレンスを受けた密度行列のスタビライザー展開を用いて、Rényi相対エントロピー $D^{(n)}_{em}$ とRényiコヒーレント情報 $I^{(n)}_c$ の両方を、$(n-1)$ フレーバーのIsingモデルの分配関数へとマッピングする。これにより、解析的な相転移の研究が可能となる。

主要な貢献と結果

• 固有閾値の導出： 著者らは、単純な誤差のクラスにおいて、Floquet符号が臨界誤差率 $p_c \approx 0.0119$ で相転移を起こすことを確立した。この値は、Nishimori line上の2D RBIMの臨界点に対応している。
• 3Dモデルのデカップリング： 中心的な技術的成果は、デコーダーのための3D統計力学モデルが、時間方向に2Dモデルへとデカップリングされる誤差チャネルの特定である。これにより、時間方向の結合が残存する一般の場合と比較して、解析が大幅に簡略化される。
• アニオン自己同型の堅牢性： 著者らは、閾値 $p_c$ 以下において、Floquet符号が $e$-$m$ アニオン自己同型によって特徴付けられる堅牢な相を示すことを解析的に証明した。この相では、相対エントロピープローブ $D^{(n)}_{em}$ が消失（$D^{(n)}_{em} = 0$）し、論理状態の進化が自己同型の性質を保持していることを示している。
• 相の区別： 診断手法は、以下の3つの異なる相を区別する：
  1. Floquet符号相 ($p < p_c$)： $I_c = 2 \log 2$（最大コヒーレント情報）および $D^{(n)}_{em} = 0$ によって特徴付けられる。論理空間は非自明な $e$-$m$ 自己同型を経る。
  2. Toric符号相： 情報は保持するが、$e$-$m$ 自己同型を欠く相（例：特定の測定が省略された場合）。ここでは $I_c = 2 \log 2$ だが $D^{(n)}_{em} = (\log 2)/(n-1)$ となる。
  3. 自明な相 ($p > p_c$)： 非正のコヒーレント情報（$I_c \leq 0$）および $D^{(n)}_{em} = \log 2$ によって特徴付けられ、量子情報の喪失を示す。
• 同時転移： 本論文は、コヒーレント情報の転移（情報の喪失をマークするもの）と、自己同型プローブの転移が、同じ閾値 $p_c$ で同時に起こることを示している。
• MLDの最適性： コヒーレント情報から導かれる閾値が、（$(n-1)$-フレーバーのIsingモデルとRBIMの間のKramers-Wannier双対性を通じて）最大尤度デコーダーから導かれる閾値と一致することを示すことで、著者らは、最大尤度デコーダーがこれらの条件下で漸近的に最適であることを確認した。

意義
本論文は、完全な測定と局所的なPauliデコヒーレンス下におけるHastings-Haah Floquet符号の固有誤差閾値を確立した。極めて重要なことに、コードの定義的な動的特徴であるアニオン自己同型が、量子情報が失われる閾値と同じ閾値まで持続する、エンコーディング相の堅牢な特性であることを証明した。これは、デコヒーレンスの存在下においても、Floquet符号が静的なToric符号とは異なる動的な相であることを明確に区別するものである。本研究は、動的な量子メモリを分析するための厳密な統計力学の枠組みを提供するとともに、ノイズのある中規模量子デバイスにおいてアニオン自己同型の存在を実験的に検証するための具体的な診断ツール（相対エントロピーに基づく）を提示している。