Quantum Error Correction / 2026-05-21

Quantum Error Correction 詳細レポート

量子誤り訂正（QEC）は、物理 qubit のノイズを直接なくす技術ではなく、測定してよい情報を「誤りシンドローム」に限定し、論理状態を壊さずに誤りを推定・追跡する符号化技術である。本レポートは、Knill–Laflamme 条件、スタビライザ形式、表面符号、デコーディング、フォールトトレラント操作、実装上のボトルネックを一枚の HTML で再利用できる形に整理する。

QEC Stabilizer codes Surface code Fault tolerance MathJax SVG Interactive

1. 前提とスコープ

対象

主対象は qubit の Pauli 型スタビライザ符号、CSS 符号、表面符号である。量子メモリの保護から、フォールトトレラント計算に必要なゲート、測定、デコーディングまで扱う。

ノイズ仮定

基礎式では独立な確率的 Pauli ノイズを使う。実装議論では、リーケージ、相関誤り、読出し誤り、残留 ZZ、バーストイベントなど、この単純化から外れる項を明示する。

注意。 しきい値や論理誤り率の数値は、ノイズモデル、符号、シンドローム回路、デコーダ、レイアウト、リーケージ処理に強く依存する。本 HTML のインタラクティブ推定は設計直観のための近似であり、実験系の予測には circuit-level noise simulation と実測エラーバジェットが必要である。

2. 核となる見方

QEC の核心。 論理情報そのものを測定せず、論理情報と可換な検査演算子を測定することで、誤りの同値類だけを推定する。訂正は物理的に反転する必要はなく、Pauli frame として古典的に追跡してもよい。

\[ \text{QEC cycle} = \text{encode} \;\to\; \text{syndrome measurement} \;\to\; \text{decode} \;\to\; \text{recovery / Pauli frame}. \]

3. 可訂正性条件

符号空間を \(\mathcal{C}\)、その射影を \(P_{\mathcal{C}}\)、訂正対象の誤り集合を \(\{E_a\}\) とする。QEC が可能であるための標準条件は Knill–Laflamme 条件で表される。

\[ P_{\mathcal{C}} E_a^\dagger E_b P_{\mathcal{C}} = \alpha_{ab} P_{\mathcal{C}}. \]

意味

符号空間内の任意の論理状態に対して、誤りの区別に使う測定結果が論理状態に依存しない、という条件である。依存してしまうと、シンドローム測定が論理情報を漏らす。

Pauli 誤りへの還元

任意の qubit 誤りは Pauli 基底 \(\{I,X,Y,Z\}^{\otimes n}\) の線形結合として展開できる。Pauli 誤り集合を訂正できれば、その線形結合としての一般誤りも訂正可能になる。

距離と訂正可能誤り数

符号距離 \(d\) は、論理演算子として作用し得る最小重みの Pauli 演算子で定義される。非縮退的な直観では、任意の \(t\) qubit 誤りを訂正するには

\[ d \ge 2t+1, \qquad t = \left\lfloor \frac{d-1}{2} \right\rfloor. \]

縮退符号では、異なる物理誤りが同じシンドロームまたは同じ論理作用に属し得るため、単純な Hamming 球の数え上げだけでは性能を評価できない。

4. スタビライザ符号

スタビライザ符号は、互いに可換な Pauli 演算子の群 \(S\) によって符号空間を定義する。\(-I\notin S\) とし、独立生成元が \(r\) 個なら、\(n\) 物理 qubit から \(k=n-r\) 論理 qubit を符号化する。

\[ \mathcal{C} = \{ |\psi\rangle : g_i |\psi\rangle = |\psi\rangle \;\;\forall g_i\in S \}, \qquad [[n,k,d]]. \]

スタビライザ形式で見る主要概念
概念	定義	実験・実装での対応
スタビライザ生成元	符号空間では固有値 \(+1\) となる可換 Pauli 検査。	ancilla を用いた parity check 回路で反復測定する。
シンドローム	各生成元測定の \(\pm1\) パターン。	測定誤りを含むため、時間方向を含む 3D syndrome graph として扱う。
正規化群 \(N(S)\)	スタビライザと可換な Pauli 演算子全体。	\(N(S)\setminus S\) は論理演算子になり得る。
縮退性	非自明な低重み誤りがスタビライザと同値になる場合。	同じシンドロームに対する最尤推定では、単一誤りではなく同値類の確率を比較する。

CSS 符号

CSS 符号では、検査が \(X\)-type と \(Z\)-type に分離する。古典線形符号の parity check 行列 \(H_X, H_Z\) が

\[ H_X H_Z^{\mathsf{T}} = 0 \pmod 2 \]

を満たすと、対応する \(X\)-type 検査と \(Z\)-type 検査が可換になる。超伝導回路の表面符号実装では、この分離により、bit-flip 型と phase-flip 型のシンドロームを別々の ancilla 配置・測定系列で取得しやすい。

依存関係を DOT で見る

下の DOT ソースは編集可能である。d3-graphviz が読み込めない環境では DOT ソースをそのまま表示する。

DOT source

5. 代表的な符号

代表的 QEC 符号の位置づけ
符号	パラメータ	訂正対象・特徴	用途
3-qubit 反復符号	古典的には \([3,1,3]\)。量子では bit-flip 専用。	\(X\) 誤り 1 個を多数決で訂正。\(Z\) 誤りは保護しない。	シンドロームと多数決の最小例。
Shor 符号	\([[9,1,3]]\)	位相反復と bit 反復を組み合わせ、任意の 1 qubit 誤りを訂正。	QEC の原理を初めて明確化した歴史的符号。
Steane 符号	\([[7,1,3]]\)	Hamming 符号由来の CSS 符号。多くの Clifford 操作が transversal。	CSS 形式、論理 Clifford、教育例。
5-qubit 符号	\([[5,1,3]]\)	任意の 1 qubit 誤りを訂正する最小 qubit 数の完全符号。	距離と量子 Hamming bound の例。
表面符号	典型的に \([[O(d^2),1,d]]\)	2D 最近接相互作用で高いしきい値を持つ。overhead は大きい。	超伝導・イオントラップなどで主要候補。
qLDPC 符号	有限レートを狙う族	低密度検査で高レート・低 overhead を目指す。接続性・デコードが鍵。	長距離接続やモジュラー構成を含む将来アーキテクチャ。
bosonic 符号	1 モードまたは少数モードに符号化	cat, GKP, binomial など。物理ノイズの構造を利用。	超伝導 cavity / oscillator を含む hardware-efficient QEC。

3-qubit bit-flip 符号

符号語は \(|0_L\rangle=|000\rangle\)、\(|1_L\rangle=|111\rangle\)。検査は \(Z_1Z_2\), \(Z_2Z_3\)。単一の \(X_i\) は一意なシンドロームを持つ。

\[ S=\langle Z_1 Z_2, Z_2 Z_3\rangle. \]

Shor 符号の直観

bit-flip 反復と phase-flip 反復を入れ子にすることで、\(X\), \(Z\), \(Y=iXZ\) の任意の単一 qubit 誤りを訂正する。量子誤りを「bit と phase の二種類」として扱えることを示す。

6. シンドローム抽出とデコーディング

実用的な QEC は、符号そのものよりもシンドローム抽出回路とデコーダに支配される。測定は noisy なので、単一ラウンドの検査値ではなく、隣接ラウンド間の変化、すなわち detection event を使う。

\[ m_i(t) \in \{\pm1\}, \qquad d_i(t)=m_i(t)m_i(t-1). \]

MWPM

表面符号で広く使われる。detection event をグラフ上で最小重み完全マッチングする。独立誤りに強いが、相関誤りやバイアスには重み設計が必要。

Union-Find

局所的・高速な近似デコーダ。しきい値は MWPM より低い場合があるが、実装容易性とスケーラビリティが利点。

BP / BP+OSD / 専用 ASIC

LDPC 系符号では belief propagation とその改良が重要。リアルタイム制御には latency、throughput、memory bandwidth が制約になる。

シンドローム回路の故障モード

hook error: ancilla から複数 data qubit に相関誤りが伝搬し、距離を実効的に下げる。
measurement error: 検査値そのものが反転するため、時間方向の反復測定が必要になる。
leakage: qubit 計算部分空間外への遷移により、通常の Pauli モデルから外れる。leakage reduction unit や reset が必要。
crosstalk: 同時ゲート、読出し、周波数衝突、残留結合がデコーダの独立誤り仮定を破る。

7. 表面符号

表面符号は 2D 格子上の局所 parity check で構成されるトポロジカル符号である。データ qubit は格子上に配置され、近傍の ancilla を使って \(X\)-type stabilizer と \(Z\)-type stabilizer を反復測定する。

しきい値と論理誤り率の直観

物理誤り率 \(p\) が符号・デコーダ・ノイズモデルに依存するしきい値 \(p_{\mathrm{th}}\) より十分低いとき、距離を増やすことで論理誤り率は概ね指数的に下がる。

\[ p_L(d,p) \approx A \left(\frac{p}{p_{\mathrm{th}}}\right)^{(d+1)/2} \quad (p < p_{\mathrm{th}}). \]

この式は設計見積りの経験式であり、真の \(p_L\) は circuit-level simulation、デコーダ、実機の相関誤り分布に依存する。表面符号の「良さ」は、高しきい値だけでなく、2D 最近接配線で反復検査できるエンジニアリング上の単純さにある。

8. フォールトトレランス

QEC が量子メモリを守るだけなら、シンドロームを測って回復すればよい。計算を実行するには、誤りが符号ブロック内で拡散して距離を破壊しないように、ゲート・測定・状態準備を fault-tolerant に構成する必要がある。

Transversal gates

物理 qubit 間を一対一に作用させるため、単一故障が同一ブロック内の多 qubit 誤りへ拡散しにくい。ただし Eastin–Knill 型の制約により、任意の符号で全ての universal gate を transversal にはできない。

Lattice surgery / braiding

表面符号では、パッチの結合・分離や欠陥の移動で論理測定や CNOT を構成する。物理的なゲート列よりも、論理演算を測定パターンとして設計する見方が重要になる。

Magic state injection/distillation

Clifford だけでは universal でない。\(T\) ゲートなど non-Clifford 操作には、noisy magic state を注入し、distillation で高忠実度化する設計が標準的である。

Pauli frame と feed-forward

多くの Pauli 回復は実際に物理パルスを打たず、古典制御系で frame として追跡する。非 Pauli 操作や適応測定では、低遅延の feed-forward が必要になる。

しきい値定理の意味

各物理操作の誤り率がある定数しきい値を下回り、誤りの局所性や相関に関する仮定が満たされるなら、符号化階層または距離を増やすことで、任意に長い量子計算を任意に小さい失敗確率で実行できる。ただし、実際の overhead は非常に大きくなり得る。

9. 実装上の論点

超伝導量子プロセッサにおける QEC は、物理 qubit の平均エラー率だけでは評価できない。周期的な syndrome extraction の閉ループ系として、デバイス、制御、読出し、デコーダ、キャリブレーションを同時に設計する必要がある。

QEC 実装で見るべき項目
項目	主要指標	失敗モード	対策例
単一・二量子ビットゲート	error per gate, leakage, coherent error	hook error、相関誤り、過回転の蓄積	ランダム化コンパイル、echo、ゲート順最適化、leakage-aware decoding
読出し・リセット	assignment error, reset fidelity, latency	測定誤りが detection event を生成、残留励起が次ラウンドへ伝搬	高速高忠実度 readout、active reset、soft information decoding
周波数配置	衝突、残留 ZZ、同時駆動 crosstalk	独立誤り仮定が破れる	周波数割当、tunable coupler、同時ゲートスケジューリング
デコーダ	logical error per round, latency, throughput	リアルタイム feed-forward に間に合わない	FPGA/ASIC、局所デコーダ、階層デコード、Pauli frame tracking
システム安定性	drift, calibration interval, burst rate	長時間運転でエラーバジェットが変化	online calibration、drift-aware weights、異常検知、qubit retirement

実験評価の最小セット。 距離 \(d=3,5,7\) などで同じ decoder と syndrome cycle を使い、logical error per cycle が距離増加で下がるかを測る。単純な物理平均エラー率ではなく、distance scaling、breakeven、real-time decoding latency、相関誤りの tail を同時に見る。

10. インタラクティブ確認

2 つの最小モデルを用意した。1 つ目は反復符号または表面符号経験式の論理誤り率推定、2 つ目は 3-qubit bit-flip 符号のシンドローム表である。

10.1 論理誤り率の簡易推定

model distance \(d\) physical error \(p\) \(p_{th}\) prefactor \(A\)

10.2 3-qubit bit-flip 符号のシンドローム

誤りを選択

11. 最近の実験状況

この節は「確立した理論」と分けて読む。2020 年代半ばの実験は、単一の大規模 fault-tolerant computer の完成ではなく、距離スケーリング、breakeven、リアルタイムデコード、論理レベルの magic state 処理など、構成要素の検証として位置づけるのが適切である。

表面符号の距離スケーリング

Google Quantum AI は 2023 年に distance-5 surface-code logical qubit が distance-3 ensemble を平均的にわずかに上回る結果を報告した。その後、Willow 世代では distance-5 と distance-7 の surface-code memory を below-threshold 領域で動作させ、distance を 2 増やしたときの論理誤り率抑制を報告している。

論理レベルの magic state distillation

neutral atom では、再構成可能アレイと color code 論理 qubit を使った logical-level magic state distillation が報告されている。これは universal fault-tolerant computation に必要な non-Clifford リソース生成の重要な構成要素である。

qLDPC と低 overhead アーキテクチャ

表面符号の overhead を下げる方向として、qLDPC 符号、bivariate bicycle code、長距離接続、モジュラー構成、専用デコーダが活発に研究されている。ただし、接続性、デコード、論理ゲート、実装複雑性を含む end-to-end 評価が不可欠である。

実験の読み方

「物理 qubit 数」よりも、同じプロトコルでの \(p_L(d)\) scaling、real-time decoding、cycle time、leakage 処理、tail event、calibration drift、logical gate の完全性を見る。

12. 演習・チェックリスト

基本問題 1: Knill–Laflamme 条件の意味

基本問題 2: 反復符号の論理誤り率

独立 bit-flip 誤り率 \(p\) の長さ \(n=2t+1\) の反復符号について、majority vote の失敗確率を導け。

\[ P_{\mathrm{fail}}(n,p)=\sum_{j=t+1}^{n}\binom{n}{j}p^j(1-p)^{n-j}. \]

発展問題 1: hook error の向き

4-body stabilizer を ancilla 1 個で測る CNOT 系列を考える。ancilla 上の \(X\) または \(Z\) 故障が data qubit にどのように伝搬するかを追跡し、論理 string と平行になる hook error を避ける測定順序を設計せよ。

発展問題 2: 実験ログからの decoder weight

単一ゲート、二量子ビットゲート、readout、idle、leakage の実測エラー率が与えられたとき、matching graph の edge weight を \(-\log(p_e/(1-p_e))\) 型で構成し、uniform weight decoder と比較せよ。

設計チェックリスト

同一プロトコルで \(d=3,5,7\) の距離スケーリングを比較しているか。
シンドローム回路の CNOT/CZ 順序は hook error を距離方向に悪化させていないか。
測定誤りを時間方向の detection event として扱っているか。
デコーダは実機の相関誤り、リーケージ、読出し soft information を取り込めるか。
Pauli frame の更新と feed-forward が cycle time 内に収まるか。
論理誤り率だけでなく、tail event と長時間安定性を測っているか。

13. 参考文献

P. W. Shor, “Scheme for reducing decoherence in quantum computer memory,” Physical Review A 52, R2493–R2496 (1995). DOI: 10.1103/PhysRevA.52.R2493.
A. R. Calderbank and P. W. Shor, “Good quantum error-correcting codes exist,” Physical Review A 54, 1098–1105 (1996).
A. M. Steane, “Error Correcting Codes in Quantum Theory,” Physical Review Letters 77, 793–797 (1996).
D. Gottesman, “Stabilizer Codes and Quantum Error Correction,” arXiv:quant-ph/9705052 (1997).
A. Y. Kitaev, “Fault-tolerant quantum computation by anyons,” arXiv:quant-ph/9707021; Annals of Physics 303, 2–30 (2003).
D. Aharonov and M. Ben-Or, “Fault-Tolerant Quantum Computation With Constant Error Rate,” arXiv:quant-ph/9906129; SIAM Journal on Computing 38, 1207–1282 (2008).
A. G. Fowler, M. Mariantoni, J. M. Martinis, and A. N. Cleland, “Surface codes: Towards practical large-scale quantum computation,” Physical Review A 86, 032324 (2012).
B. M. Terhal, “Quantum Error Correction for Quantum Memories,” Reviews of Modern Physics 87, 307 (2015).
R. Acharya et al., “Suppressing quantum errors by scaling a surface code logical qubit,” Nature 614, 676–681 (2023).
R. Acharya et al., “Quantum error correction below the surface code threshold,” Nature (2025), article s41586-024-08449-y.
P. S. Rodriguez et al., “Experimental demonstration of logical magic state distillation,” arXiv:2412.15165 (2024/2025).
S. Bravyi et al., “High-threshold and low-overhead fault-tolerant quantum memory,” Nature 627, 778–782 (2024).

Draft slug: quantum-error-correction-report-ja. External libraries: MathJax, D3, d3-graphviz. The report is intended as a technical template; numerical design decisions require system-specific simulations and measurements.