Surface code と Stabilizer

全体概要

このセミナー「Surface code と Stabilizer」は、量子コンピュータが今まさに歴史的な転換点を迎えているという認識のもとで、その根幹を支える量子エラー訂正技術——とりわけStabilizer FormalismとSurface code——の理論的基礎を丁寧に解き明かすものです。

講師は、1982年のFeynmanによる量子コンピュータの構想から、1994年のShorの素因数分解アルゴリズム、2019年Googleによる「量子超越性の実証」、そして2024年のGoogleとMicrosoftによる量子エラー訂正のブレークスルーという4つの時代的転換を整理し、「私たちは今、第四の時代の入口に立っている」という現在地を鮮明に示します [p.8]〜[p.19]。量子コンピュータが実用化されない最大の障壁は「ノイズに対する脆弱性」であり、そこにエラー訂正技術が決定的な役割を果たすという問題意識が全編を貫いています。

セミナーは、Shannon情報理論に端を発する古典的なエラー訂正（Hamming code）から出発し、それが量子の世界へどのように進化・変容するかを段階的に追跡します。古典論における「パリティ・チェック行列」と「syndrome」という概念が、量子論においては「Stabilizer群による状態の安定化」という演算子ベースの概念へと昇華されるさまは、理論的な美しさに満ちています。Hamming codeとSteane codeの模式図上の類似性をビジュアルに対応させ [p.126]〜[p.150]、さらにGottesman(1997)のStabilizer Formalismの定義と応用へと至る構成は、初学者にも研究者にも深い洞察を与えます。

Shannon→Hamming→Reed-Solomon→Turbo code→Shor code→Steane code→Stabilizer→Surface codeという技術の系譜は、単なるエラー訂正の進歩ではなく、「情報の理論の深化」そのものであり [p.31]、生成AIと量子コンピュータが共存する現代における新たな情報理論の胎動でもあると講師は論じます。本セミナーは次回「Surface code と Stabilizer 2」への橋渡しとなる、理論的基盤の確立を主目的としています [p.20]。

講義のロードマップ

■ Part 1: 量子エラー訂正技術の飛躍

• この部の核心:

量子コンピュータの歴史を4期に区分し、私たちが今「量子エラー訂正技術のブレークスルー」という第四期の始まりにいることを明確に位置づけます。MicrosoftのMajorana 1チップ発表（2025年）[p.18] やGoogleの誤り訂正マイルストーン達成 [p.16]、Microsoft+Quantinuumによる800倍のエラー率改善 [p.17] といった最新動向を背景に、「scalableな量子コンピュータへの道はエラー訂正なしにはあり得ない」という核心的主張が提示されます。

• 論理展開:
• 第一期(1982年)：Feynmanによる量子コンピュータのビジョン。第二期(1994年)：Shorの素因数分解アルゴリズムで理論的可能性が拓かれるも、実機は存在せず [p.8]〜[p.9]。
• 第三期(2019年)：GoogleのMartinisチームが「量子超越性」を実証。ただし計算内容はランダム回路サンプリングであり、有意義なアルゴリズムの実行ではなかった [p.12]〜[p.13]。
• 第四期(2024年〜)：エラー訂正の実用的ブレークスルー。scalableな量子コンピュータ実現への必要不可欠な一歩 [p.15]。
• 古典エラー訂正技術（Hamming→Reed-Solomon→Turbo→Shor）の歴史的系譜と、ITインフラとの密接な関係 [p.27]〜[p.28]。情報理論の深化という本質的視点の提示 [p.31]〜[p.34]。

■ Part 2: 量子回路の振る舞いを計算する

• この部の核心:

Surface codeとStabilizerの理解に不可欠な量子回路の数学的基礎を整備します。基本量子ゲートX, Z, Hの行列表現・固有値・固有ベクトルから始まり、直列・並列のゲート接続、テンソル積による多qubit状態の記述を経て、「2つのdata qubitの状態をmeasure qubitで観測する4レジスタ量子回路」の完全な計算を追跡します。この回路の出力がBell Stateと関連することが示され、後のStabilizerの物理的直観の基盤となります。

• 論理展開:
• X（bit flipper）、Z（phase flipper）、H（アダマール）の行列と固有値。HXH=Z、HZH=X等の重要関係式 [p.40]〜[p.50]。
• テンソル積による2〜3レジスタの合成状態の計算方法 [p.56]〜[p.63]。
• Fowler et al.(2012)のSurface code論文から借用した4レジスタ回路（X, a, b, Z）をStep 1〜8で逐次計算。最終出力がBell Stateの重ね合わせとなり、観測値{Mx, Mz}の組み合わせがPhase Flip / Bit Flipに対応することを導出 [p.66]〜[p.82]。

■ Part 3: 古典コードから量子コードへ

• この部の核心:

古典的エラー訂正理論の精髄であるHamming codeを完全に解説した上で、それがSteane codeへと「似ているが本質的に異なるもの」へと進化する過程を明示します。最終的にGottesman(1997)のStabilizer Formalismを定義し、「codewordからcodespaceへ」「状態ベースから演算子ベースへ」という量子論固有のパラダイムシフトを提示します。

• 論理展開:
• Hamming code：(7,4)ハミングコードのエンコーダENC、生成行列G、パリティチェック行列H（H=[P I₃]）、SyndromeのZによる計算例 [p.88]〜[p.115]。
• 古典→量子の類似性：Hamming codeとSteane codeのヴェン図・三角形模式図の対応。nᵢ+nⱼ+...=0（古典）が Z₁Z₂Z₃Z₄|ψ⟩=|ψ⟩（量子）に対応。パリティエラーは固有値-1として現れる [p.126]〜[p.150]。
• Stabilizer Formalism（Gottesman 1997）：Pauli群𝒫ₙの定義、Stabilizer群S（𝒫ₙの可換部分群で-Iを含まない）、stabilizer code C={|ψ⟩: S|ψ⟩=|ψ⟩, ∀S∈S}の定義 [p.153]〜[p.156]。
• エラー検出の原理：SとEが交換→測定値+1（エラーなし）、SとEが反交換→測定値-1（syndrome検出）。Xエラー検出にはZ/Yベースのstabilizer、Zエラー検出にはX/YベースのstabilizerがそれぞれXZ=-ZX等の反交換関係から必要 [p.161]〜[p.163]。