Surface code と Stabilizer 2

全体概要

本セミナー「Surface code と Stabilizer 2」は、量子コンピュータにおける量子誤り訂正の中核技術であるSurface codeの理論的基盤を、Stabilizerの概念を軸に深く掘り下げるものです。前回までの議論を受け、今回は特に「Measure qubit」「Logical qubit」「Logical operator」という三つの概念の精密な構成へと踏み込んでいます。

セミナーが提起する中心的な問いは、「複数の物理的量子ビット（physical qubit）から、いかにして一つの論理的量子ビット（logical qubit）を構成し得るか」というものです。これは単なる実装上の工夫ではなく、「Two-level quantum system」という普遍的な量子理論の枠組みと直結した、深い数理的問題です。量子システムの特徴は物理的実体に縛られるものではなく、二つの独立した状態とそれらの間の演算子代数が正しく定義できれば、論理的に等価な量子ビットを構成できるという洞察が全体を貫く核心です。

具体的には、GoogleのSycamoreプロセッサーに実装されているSurface codeのハードウェア構成を出発点として、Z-measure qubitがbit-flipを、X-measure qubitがphase-flipをそれぞれ検出する仕組みを量子回路レベルで詳細に解析します。CNOTゲートとアダマール変換の役割を丁寧に追うことで、パリティ測定とStabilizerの固有値との対応関係が明らかにされます。

さらに、Surface code上で定義される Logical operator $\hat{X}_L$および$\hat{Z}_L$が、境界から境界へと走る演算子チェインとして構成され、それらが二つだけ線型独立であることの証明を通じて、系がまさにtwo-level systemになっていることが示されます。$\hat{X}_L\hat{Z}_L = -\hat{Z}_L\hat{X}_L$という非可換性の成立が、Logical qubitとしての正統性の決定的な証拠となります。このセミナーは、Surface codeを「エラー訂正の技術」としてだけでなく、「論理的量子システムの数学的構成」として理解するための体系的な道筋を提示しています。

講義のロードマップ

■ Part 1: Surface code Measure qubit

• この部の核心:

Surface codeにおけるデータ保持の仕組みを担うdata qubitと、それを監視するmeasure qubitの二種類の役割を精確に区別し、Z-measure qubitによるbit-flip検出、X-measure qubitによるphase-flip検出の量子回路レベルの動作原理を確立します。CNOTゲートのコントロール・ターゲット関係とアダマール基底における逆転動作の理解が、この部全体の鍵となります。

• 論理展開:
• GoogleのSycamoreプロセッサーでは、qubitは格子状に配置され、data qubitとmeasure qubitの二種に分類される。measure qubitにはさらにZとXの二種があり、Z型はbit-flipを、X型はphase-flipを検出する [p.7], [p.8], [p.9], [p.10]。
• Z-measure qubit回路では、隣接data qubitの$|0\rangle$/$|1\rangle$の状態がCNOTを通じて測定qubitに転写され、4つのdata qubitのパリティが偶数なら$|0\rangle$、奇数なら$|1\rangle$が出力される。固有値+1が正常、-1が異常を示す [p.22]〜[p.23]〜[p.36]〜[p.37]〜[p.38]〜[p.39]。
• X-measure qubit回路では、アダマールで$|+\rangle$に初期化された測定qubitがコントロール側となり、ターゲット側に$|-\rangle$が現れると逆方向の反転（コントロール側の位相反転）が生じる。これによりphase-flip、すなわちアダマール基底でのパリティが検出される [p.47]〜[p.51]〜[p.53]〜[p.61]〜[p.62]。
• Z-measure qubitとX-measure qubitの骨格は、一方にHゲートを両端に付加した同一構造であり、両者は互いの双対として位置づけられる [p.67]〜[p.78]。

■ Part 2: Logical qubit と Logical operator

• この部の核心:

Physical qubitとLogical qubitの「論理的同一性」を厳密に定義するため、「Two-level quantum system」の理論を導入します。任意の量子システムが$\hat{X}\hat{Z}=-\hat{Z}\hat{X}$等のqubit演算子代数を満たせばqubitとして使用できるという命題が基盤となり、Surface code上のLogical operatorの構成へと橋渡しされます。さらにQuiescent stateの概念と、エラー発生時の検出原理が形式的に整備されます。

• 論理展開:
• Logical qubitは$|\psi_L\rangle = a|0_L\rangle + b|1_L\rangle$と定義されるが、それだけでは不十分であり、Logical operatorの構成的定義が必要である [p.103], [p.104], [p.105]。
• Two-level quantum systemでは、$\hat{X}^2=\hat{Z}^2=\hat{I}$、$\hat{X}\hat{Z}=-\hat{Z}\hat{X}$等の代数関係を満たす演算子$\hat{X}_L$、$\hat{Z}_L$を定義できれば、その系はqubitとして機能する [p.90], [p.91], [p.92]。
• Surface codeでのLogical operatorの具体例として、横方向の直線上data qubitへのX演算子積$X_L=X_6\otimes X_7\otimes X_8$、縦方向の直線上data qubitへのZ演算子積$Z_L=Z_2\otimes Z_7\otimes Z_{12}$が与えられる [p.111], [p.112], [p.113], [p.116], [p.117]。
• Quiescent state $|\psi\rangle$の下でqubit $a$にphase-flipが生じると、$\hat{X}_{abcd}(\hat{Z}_a|\psi\rangle)=-X_{abcd}(\hat{Z}_a|\psi\rangle)$となり、X-measure qubitの出力が反転してエラーが検出される [p.139], [p.140]。

■ Part 3: Surface code Logical qubit の定義

• この部の核心:

$d=5$のSurface codeを具体例として、Logical operatorが境界から境界へ走る演算子チェインとして一意に（線型独立なものが一つだけ）決まることを証明します。任意の代替チェインはStabilizerのループ積と元のチェインの積に分解できるため、等価な作用をもたらすことが示され、最終的に$\hat{X}_L\hat{Z}_L=-\hat{Z}_L\hat{X}_L$の成立によってLogical qubitとしての完全な正統性が確立されます。

• 論理展開:
• $\hat{X}_L=\hat{X}_1\hat{X}_2\hat{X}_3\hat{X}_4\hat{X}_5$（左右境界を結ぶ横方向チェイン）は全てのZ-measure qubitと可換であり、quiescent stateに作用すると別の正当なquiescent state $|\psi_X\rangle$を生成する [p.157], [p.158]。
• 別経路のチェイン$\hat{X}'_L=\hat{X}_1\hat{X}_{10}\hat{X}_{11}\hat{X}_{12}\hat{X}_3\hat{X}_4\hat{X}_5$は、$\hat{X}'_L=(\hat{X}_2\hat{X}_{10}\hat{X}_{11}\hat{X}_{12})\hat{X}_L$と分解でき、括弧内はStabilizerのループである。よって$\hat{X}'_L|\psi\rangle=\pm|\psi_X\rangle$となり、線型独立な$\hat{X}_L$は一つだけである [p.170], [p.171], [p.172]。
• 同様に$\hat{Z}_L=\hat{Z}_6\hat{Z}_7\hat{Z}_3\hat{Z}_8\hat{Z}_9$（上下境界を結ぶ縦方向チェイン）についても線型独立性が一意に確定する [p.165], [p.173]。
• $\hat{X}_L\hat{Z}_L=-\hat{Z}_L\hat{X}_L$が成立し（共有するqubit 3での$\hat{X}\hat{Z}=-\hat{Z}\hat{X}$による）、Logical operatorがtwo-level systemの代数条件を完全に満たすことが証明される [p.175]。