Error Threshold of SYK Codes from Strong-to-Weak Parity Symmetry Breaking

技術要約：強・弱パリティ対称性の破れによるSYK符号の誤り閾値

問題提起
量子誤り訂正（QEC）符号は、量子物質の相と本質的に結びついており、そこでは縮退した基底状態多様体が符号空間に対応し、トポロジカルな励起が誤りシンドロームを表す。Sachdev-Ye-Kitaev (SYK) モデルおよびその低ランク変種は、広範な準基底状態縮退を示し、近似的な定数レートQEC符号として機能することができるが、デコヒーレンスに対するその堅牢性は未解決の問題である。具体的には、これらのギャップレスな系が、劣増大的な符号距離（$d \sim N^{2\Delta}$）を持つ場合において、有限の誤り閾値を保持しているかどうかが不明である。さらに、この閾値における性質、すなわち符号容量が急激に低下するのか、あるいは緩やかに低下するのかについても、十分に理解されていない。本研究では、フェルミオン・パリティを破るものと、それを保存するものという、2つの異なるデコヒーレンス・チャネル下でのSYKモデルの誤り閾値を調査する。

手法
著者らは、サーモフィールド・ダブル（TFD）状態に関連するチャネルのコヒーレント情報（$I_c$）を計算することにより、SYKモデルの情報理論的容量を分析する。TFD状態は、参照系（$R$）からSYK系（$Q$）へのエンコーディング写像のChoi-Jamiołkowski表現として機能する。

1. モデル: 本研究では、標準的なSYKモデル（$q=4$ のフェルミオン相互作用とスケーリング次元 $\Delta = 1/4$ を持つ）と、相互作用行列のランクを調整することで $\Delta$ を $1/4 < \Delta < 1/2$ の範囲で連続的に変化させることができる低ランクSYKモデルの両方を検討する。
2. ノイズチャネル: 2つの誤りチャネルを定義する：
   • パリティ破れノイズ ($N^s_p$): 単一のマヨラナ・フェルミオンをバスと交換し、フェルミオン・パリティを破る。このチャネルは「弱い」フェルミオン・パリティ対称性のみを保持する。
   • パリティ保存ノイズ ($N^d_q$): 2つのマヨラナ・フェルミオンを交換し、「強い」フェルミオン・パリティ対称性を保持する。
3. 計算フレームワーク: 著者らは、レニー2次コヒーレント情報 $I^{(2)}_c = S^{(2)}_{Q'} - S^{(2)}_{Q'R}$ （ここで $S^{(2)}$ はレニー2次エントロピー）を計算する。Choi-Jamiołkowski同型式を用いて、この問題を二重化されたヒルベルト空間における経路積分へと写像する。ノイズチャネルは、マヨラナ双線形形式を含む演算子の挿入として表される。
4. 解析的および数値的手法:
   • 摂動論: 弱いノイズに対して、著者らは経路積分の摂動展開を行う。パリティ破れノイズについては、補正項が因子分解され、一次の項で消失することを示す。一方、パリティ保存ノイズについては、ハバード・ストラトノビッチ分解を用いて解析を行う。
   • 鞍点近似: 大規模 $N$ 極限において、経路積分はシュウィンガー・ダイソン方程式の鞍点解を用いて評価される。
   • 数値的外挿: 極低温における収束の問題があるため、結果は有限温度における鞍点方程式の数値解から導かれ、ゼロ温度極限への外挿が行われる。

主要な結果

1. パリティ破れノイズ: フェルミオン・パリティを破る（弱い対称性のみを保持する）ノイズの下では、コヒーレント情報は誤り率とともに連続的に劣化する。解析によれば、$\epsilon$-閾値は $p_{th} \sim N^{-\eta/2}$ とスケーリングし、任意の $\eta > 0$ に対して熱力学的極限において消失する。したがって、堅牢な誤り閾値は存在しない。パリティ破れノイズにおいては、熱力学的極限においていかなる有限の誤り率においても符号容量が失われる。

2. パリティ保存ノイズ: 対照的に、パリティ保存ノイズの下では、システムは鋭い誤り閾値を示す。

   • 臨界誤り率 $q_c$ 以下では、コヒーレント情報は強い対称性によって保護され、堅牢に保たれる。
   • $q_c$ 以上では、コヒーレント情報は連続的に減少する。
   • この遷移は、**自発的対称性の破れ（SSB）**イベントとして特定される。すなわち、システムが「強い対称性相」から「弱い対称性相」へと転移する現象である。実効的なパリティ破れデコヒーレンスは、ノイズ強度が臨界値を超えると、鞍点解において自発的に出現する。
   • 低ランクSYKモデル（$\Delta \in (1/4, 1/2)$）では、$\epsilon \sim 1/N$（一定数の量子ビットの損失）に対しても、閾値は非ゼロとなる。標準的なSYKモデル（$\Delta=1/4$）は境界的なケースであるが、依然として劣増大的な損失に対して保護機能を持つ。

3. レニー指数（Replica Limit）: 結果は、より高いレニー指数（$n=3$）でも保持されることが確認されている（$n=3$ の閾値は $n=2$ よりも大きい）。著者らは、$n \to 1$（フォン・ノイマン・コヒーレント情報）への外挿も同様の堅牢な閾値を与えると考えている。

意義と主張
本論文は、デコヒーレンス下における近似的な定数レートQEC符号の挙動に関する重要な洞察を提供すると主張している。主な貢献は以下の通りである：

• 閾値メカニズムの確立: 本研究は、SYK型の符号における誤り閾値の存在が、強い対称性の保持に依存していることを示している。堅牢な符号から失敗した符号への遷移は、強いフェルミオン・パリティが弱いパリティへと自発的に破れる相転移へとマッピングされる。
• ワームホール通過可能性への影響: SYKモデルのサーモフィールド・ダブル状態は、理論的に通過可能なワームホール（ブラックホールを横断する情報のテレポーテーションを可能にするもの）と結びついているため、パリティ保存ノイズが存在する現実的な量子シナリオにおけるコヒーレント情報の劣化は、ワームホールの通過可能性の劣化を意味する。
• qLDPC符号との関連: SYKモデルは全対全相互作用を持つため、低密度パリティ検査（qLDPC）符号ではないが、解析的に扱いやすいプロキシ（代理）として機能する。本知見は、優れたqLDPC符号もまた、対称性の破れの転移に関連した誤り閾値を示す可能性があることを示唆している。ただし、SYKモデルにおける疎性の欠如が、直接的な定量的比較を制限している。

著者らは、実装の現実性については控えめな姿勢を保っており、閾値は存在するものの、現在、SYKモデルに対する効率的なエンコーディングまたはデコーディング・スキームは知られていないと述べている。本研究は、アルゴリズム的な回復よりも、基礎的な情報理論的限界に焦点を当てている。