A robust phase of continuous transversal gates in quantum stabilizer codes

技術要約：量子スタビライザー符号における連続的な横断型ゲートのロバストな相

問題提起
フォールトトレラント量子計算（FTQC）には、ユニバーサルなゲートセットが必要である。横断型（transversal）ゲートは、コードブロック内にエラーを拡散させないため、本質的にフォールトトレラントであるが、イースティン・ニール（Eastin-Knill）の定理により、ユニバーサルなゲートセットを横断型ゲートのみで構成することは禁止されている。その結果、標準的なプロトコルはマジック状態の蒸留や培養に依存することになるが、これらは通常、固定角の回転を生成する。任意の連続角回転（特に微小角）をこれらの手法を用いて合成するには、許容誤差 $\epsilon$ に対して $O(\log(1/\epsilon))$ のオーバーヘッドが生じ、これは非効率的である。これは、多くの微小角回転を必要とする量子シミュレーションのようなアプリケーションにおいて問題となる。さらに、コヒーレント誤差（系統的なユニタリ回転）はしばしば有害なものと見なされるが、デフェージングノイズ下での表面符号における誤り訂正との相互作用は、複雑な研究領域である。

手法
著者らは、一様な横断的コヒーレント $Z$ 回転（角度 $\theta$）を受けた正方形回転表面符号（CSS符号）の挙動を調査している。このプロセスは、シンドローム依存の角度 $\phi_s(\theta)$ によるコヒーレント回転と、論理デフェージング率 $q_s$ を伴う論理チャネルとなる。

システムの特性評価のために、著者らは以下の手順を踏んでいる：

1. ノイズのモデリング: 各物理量子ビットがコヒーレント回転 $\theta$ と、レート $p$ の非コヒーレント・デフェージングを受ける物理チャネルを想定する。
2. 統計力学へのマッピング: 2つの結合層を持つ2次元複素ランダム結合イジングモデルへのマッピングを利用する。このモデルは、コヒーレント回転からのエラー項の干渉と、非コヒーレントノイズによって誘起される結合を考慮に入れている。
3. 数値シミュレーション: PyMatchingデコーダおよびテンソルネットワーク法（具体的にはDarmawanとPoulinによるアルゴリズム）を用い、様々なコード距離 $d$ および物理パラメータ $(p, \theta)$ に対して、論理チャネルのパラメータ（$\phi_s$ および $q_s$）を算出する。
4. 適応型プロトコルの設計: 目標とする論理角 $\Phi_T$ に到達する問題を、古典的な確率的制御問題として定式化する。ベルマン方程式を用い、蓄積される論理デフェージングを追跡しながら、期待されるラウンド数 $T$ を最小化するように、各ステップでの物理回転角 $\theta$ を選択する方策を最適化する。ここでは、「リセット」メカニズムを組み込み、デフェージングが閾値を超えた場合にプロセスを再開するようにしている。

主要な貢献
本論文は、物理的デフェージング $p$ と回転角 $\theta$ のパラメータ空間における**「ロバストな相（robust phase）」**を特定し、特徴付けている。この相においては：

• 相対的デフェージングの指数関数的抑制: 平均論理相対デフェージング（$E[q_s / |\phi_s|]$）は、コード距離 $d$ の増加に伴い指数関数的に抑制される（$E[q_s / |\phi_s|] \sim e^{-\kappa d}$）。
• 相境界: この相は、回復が不可能になる上部の臨界 $\theta$ と、デフェージングが回転角を支配する新しい下部境界という、2つの遷移によって境界付けられている。
• 連続的な論理ユニタリ: この相内では、横断的コヒーレント回転とデコーディングにより、回転角に対して指数関数的に抑えられたインフィデリティを持つ論理ユニタリ回転が得られる。

この相に基づき、著者らは連続角の論理回転のためのフォールトトレラント・プロトコルを設計した：

• 横断的コヒーレント回転、シンドローム測定、およびデコーダによる補正のみを使用する。
• 適応的なフィードフォワードとリセットを用いることで、ポストセレクション（事後選択）を回避する。
• 連続的に調整可能な微小角マジック状態を生成する。

結果

• 相図: $(p, \theta)$ 平面におけるロバストな相をマッピングしている。固定された物理デフェージング率（例：$p=0.001$）に対して、相対的デフェージングが最小となる最適な $\theta$ の範囲が存在する。
• スケーリング: 目標角（自明なシンドロームが発生する確率が50%となる点）における論理相対デフェージングは、コード距離 $d$ に対して指数関数的に減少する。
• プロトコルの効率: 適応型プロトコルは、任意の $\Phi_T$ をターゲットにできる。期待されるラウンド数 $E[T]$ は目標角とともに増加するが、最終的な許容誤差 $\epsilon$ には依存しない（蒸留スキームとは異なる）。
• リソース比較: 小さな目標角（例：$d=7$ において $\Phi_T \leq \pi/28$）の場合、本プロトコルのリソースコスト（リセットを含む時空ボリューム）は、従来のClifford+T合成を用いたマジック状態培養と比較して、同等または優れている。

意義と主張
本論文は、コヒーレント回転（通常はエラーと見なされるもの）を利用して精密な論理操作を実行できる、量子誤り訂正における新しい物質相を発見したと主張している。主な意義は、トロッター化された量子シミュレーションや量子フーリエ変換に不可欠な微小角回転を生成するための、低コストでフォールトトレラントな代替手段を提供することにある。

著者らは、本プロトコルが既存の注入法を補完するものであり、特に微小角の生成において他の手法が直面する困難に対処していることを強調している。到達可能な論理回転角の範囲はコードサイズとともに指数関数的に減少するため、本プロトコルの有用性は微小な回転が必要とされるシナリオに限定される。本研究は、このアプローチが（特定のLDPC符号のように）論理ユニタリ基準を満たす他の符号にも拡張可能であることを示唆している。また、実験的な実証は今後の課題であるとしている。本論文は、あらゆる用途においてマジック状態蒸留に取って代わることを主張しているのではなく、連続角操作のための特化した効率的なツールを提供することを目的としている。