まとめ

量子情報入門　第2章 §2.11

• 量子誤り訂正は「複製不可能・誤りの連続性・測定による破壊」という一見致命的な障害を、誤りの離散化という洞察によって克服する。
• 3量子ビットのビット反転/位相反転符号を入れ子にしたShor符号が、任意の1量子ビット誤りを訂正する最初の例を与える。
• 一般の量子誤り訂正条件 $PE_i^\dagger E_jP=\alpha_{ij}P$ が、符号が誤り集合を訂正できるための必要十分条件を与える。
• CSS符号は古典線形符号のペア $(C_1,C_2)$ から量子符号を構成し、ビット反転と位相反転を独立に扱える。
• スタビライザー形式はPauli群の可換部分群によって状態を記述する枠組みである。検査行列が可換性・独立性の判定を$\bmod\,2$の線形代数に落とし、独立な生成元 $n-k$ 個が $2^k$ 次元の符号空間を定める。
• ダイナミクスも同じ言葉で追える:Cliffordゲートは生成元の共役($X$は制御から標的へ、$Z$は標的から制御へ伝播)、Pauli測定は生成元の置き換えで記述され、Gottesman–Knill定理(Clifford回路の古典効率シミュレーション)が従う。演算子測定の回路は位相推定の$t=1$の場合である。
• スタビライザー符号の誤りは「反可換(検出可)・$S$の元(無害)・$N(S)-S$(論理誤り)」に三分類され、訂正条件 $E_j^\dagger E_k\notin N(S)-S$ と距離 $d$($[n,k,d]$、$d\ge2t+1$で$t$誤り訂正)が定まる。Shor符号・5量子ビット符号・CSS/Steane符号がこの言葉で統一的に記述される。
• フォールトトレラント量子計算は、符号化された状態を復号せずに直接操作する技術である。誤り伝播は共役 $UEU^\dagger$ で追い、横断的ゲート($H,S,\mathrm{CNOT}$=Clifford)と、魔法状態 $\ket\Theta$ を用いたゲートテレポーテーション($T$ゲート)、猫状態による検証付き測定で普遍ゲート集合を実現する。
• しきい値定理は、物理的な故障確率が定数のしきい値を下回れば、連結符号によって任意精度の量子計算が(多項式対数のオーバーヘッドで)可能であることを保証する。