量子エラー訂正技術の動向

全体概要

本セミナー「量子エラー訂正技術の動向」は、2023年から2024年にかけて量子エラー訂正の分野で起きた歴史的な前進を出発点として、その技術的基盤を丁寧に解きほぐすことを目的としています [p.7]。

Googleが2023年にNature誌に発表した論文「Suppressing quantum errors by scaling a surface code logical qubit」は、surface codeの手法を用いて量子エラー訂正のマイルストーンを超えたと評されました [p.8]。また2024年にはMicrosoftとQuantinuumが共同で、論理qubitのエラーを物理qubitのエラーの800分の1にまで低減したことを発表し、大きな注目を集めました [p.9]。

これらの成果は、John Preskillが2017年に命名した「NISQ（Noisy Intermediate-Scale Quantum）の時代」から、ノイズ耐性を持つ「Resilientコンピューティングの時代」へ、さらにはその先の「Scalingの時代」へと量子コンピューティングが移行しつつあることを示しています [p.10]。

この文脈において本セミナーが特に注目するのは、「Stabilizer」という技術です。Stabilizerは量子エラー訂正に起源を持ちながら、現代のsurface codeにおいては複数の物理qubitから「論理qubit」を構成し、その論理qubitを平面上で移動させ、論理的なCNOTゲートを「ブレイディング変換」として実装するという、量子コンピュータの仮想化を可能にする核心技術へと発展しています [p.19], [p.21], [p.22]。

セミナーはPart 1で量子力学の基礎数学（ベクトル表現・ユニタリ変換・Born則・固有値）を整理し、Part 2でShor codeを通じて量子エラー訂正の本質的な発想（Bell基底の採用・射影演算子によるエラー検出）を解説し、Part 3でStabilizerの概念（Z₁Z₂・X₁X₂による bit flip/phase flipの検出）を体系的に導入するという、三段構えの論理的構成を取っています [p.2], [p.3], [p.4], [p.5]。

講義のロードマップ

■ はじめに: 量子エラー訂正技術の動向

• この部の核心:

NISQの時代からResilient・Scalingの時代への移行という大きなパラダイム転換を示し、その中心に「Stabilizer」と「Surface code」という技術があることを動機づけとして提示します [p.10], [p.19]。surface codeが10k〜1Mquitsへのスケール拡大を展望する物理的実装として具体的に描かれ [p.11], [p.12], [p.13], [p.15]、参加者が「なぜStabilizerを学ぶのか」という問いに自ら答えられるよう導きます [p.23]。

• 論理展開:
• Google (2023, Nature) と Microsoft/Quantinuum (2024, arXiv) の二大論文を参照し、量子エラー訂正の実用化フェーズ到来を宣言します [p.8], [p.9]。
• 41個の物理data qubitから論理qubitを構成し、ブレイディングでCNOTを実現するsurface codeの概念図を提示します [p.18], [p.22]。
• 本セミナーの到達目標を「Surface codeを中心とする新しい量子コンピュータ技術理解の最初の一歩」と明確に定位します [p.23]。

---

■ Part 1: 量子エラー訂正技術の基礎

• この部の核心:

qubitの状態をベクトルで表現し、その変化をユニタリ行列で、観測をBorn則と射影演算子で記述するという量子力学の数学的骨格を、後続の議論に必要な最小限の形で整備します [p.27]。特に、Pauli行列X・Z・HがそれぞれBit Flipper・Phase Flipper・基底変換器として機能することと、それらがエルミート行列かつユニタリ行列であるという二重の性質が核心です [p.52], [p.53], [p.55], [p.57]。

• 論理展開:
• 1-qubitの状態 |Q⟩ = a|0⟩ + b|1⟩（|a|²+|b|²=1）から、テンソル積によるn-qubitへの拡張（2ⁿ次元空間）を示します [p.29], [p.31], [p.37]。
• ユニタリ行列U（UU†=I）が量子状態を量子状態に写す「回転」であることを示し、Bloch球との対応を提示します [p.46], [p.47]。
• XZ = -ZX（非可換性）、X²=Z²=H²=Iという基本的な代数関係を確認します [p.54], [p.58]。
• Observable ZはX|+⟩=+1|+⟩, X|−⟩=−1|−⟩という固有値+1/-1を持ち、固有状態が測定後の状態であることをBorn則と結びつけます [p.87], [p.88], [p.89]。

---

■ Part 2: Shorが考えたこと

• この部の核心:

Peter Shorが1995年頃に提案した9-qubit codeを通じて、量子エラー訂正の本質的な枠組みを解明します。Shorの卓見は、観測後の固有状態の基底にエンタングルしたBell State（|00⟩±|11⟩, |01⟩±|10⟩）を採用することにより、X⊗X観測とZ⊗Z観測が同じ固有状態を共有するという「エンタングルメントを利用してエンタングルメントをコントロールする」構造を実現した点にあります [p.100], [p.101], [p.102]。

• 論理展開:
• エラーモデル: どんな量子エラーも最初はユニタリ演算子の作用であり、bit flipはX、phase flipはZで表されるため、X²=Z²=Iを利用して訂正できます [p.98], [p.99]。
• Shor codeの冗長化: |0⟩→|000⟩, |1⟩→|111⟩という古典的冗長化の量子版として、a|0⟩+b|1⟩→a|000⟩+b|111⟩のencodeとdecodeを行います [p.103], [p.104], [p.128], [p.130]。
• 射影演算子によるエラー検出: P₀=|000⟩⟨000|+|111⟩⟨111| など4つの射影演算子がbit flipエラーの種類と箇所を特定します [p.135], [p.136], [p.137], [p.138], [p.140]。
• 射影演算子の数学的性質: Pᵢ²=Pᵢ（冪等性）、Pᵢ†=Pᵢ（エルミート性）、ΣPᵢ=I（完全性）、観測確率p(m)=⟨ψ|Pₘ|ψ⟩を確認します [p.117], [p.118], [p.120]。
• Bell Stateの固有状態性: Z₁Z₂がBell Stateを固有状態として持つこと（固有値+1: |Φ±⟩, 固有値-1: |Ψ±⟩）を示します [p.176], [p.177]。

---

■ Part 3: Stabilizer — もう一つの観測演算子

• この部の核心:

StabilizerはSurface codeの中核技術であり、複数のqubitの状態を同時に観測しながら観測対象のqubitの状態を変えないという本質的性質（これが名前の由来）を持ちます [p.155]。Z₁Z₂=Z⊗Z⊗I（bit flip検出）とX₁X₂=X⊗X⊗I（phase flip検出）という二種類の観測演算子の対称性が、Bell Stateという共通の固有状態を通じて統一的に表現されます [p.157], [p.216]。

• 論理展開:
• Stabilizerの定義と動機: Surface codeでは41個の物理qubitから論理qubitを構成し、X̂_L, Ẑ_Lがstabilizerとして機能します [p.151]。エラーを「訂正」せず「測定」することに特化した回路であることを強調します [p.154]。
• Z⊗ZによるBit Flip検出: (Z⊗Z)|00⟩=+1|00⟩, (Z⊗Z)|01⟩=−1|01⟩ などから、固有値+1はq_i=q_j（同パリティ）、−1はq_i≠q_j（異パリティ）に対応することを示します [p.165], [p.167], [p.168]。
• Phase Flip検出: HZH=Xという変換関係 [p.195] を用いてH⊗³Z₁Z₂H⊗³=X₁X₂を導き、|0⟩,|1⟩基底でのphase flipが|+⟩,|−⟩基底でのbit flipに変換されることを示します [p.181], [p.184], [p.193], [p.194]。
• Bell Stateの共通固有状態性: Z₁Z₂とX₁X₂の固有値の組（+1,+1), (+1,−1), (−1,+1), (−1,−1)がそれぞれ(|00⟩+|11⟩), (|00⟩−|11⟩), (|01⟩+|10⟩), (|01⟩−|10⟩)に対応し、4つのBell Stateを一意に識別できることがstabilizerによるエラー検出の核心です [p.216]。
• Bit flip・Phase flip検出の対称的まとめ: Z₁Z₂,Z₂Z₃のペアでbit flipを、X₁X₂,X₂X₃のペアでphase flipを、それぞれ同一の論理構造（+1/+1=No flip, +1/−1=q3 flipped, −1/+1=q1 flipped, −1/−1=q2 flipped）で検出できます [p.210], [p.214], [p.215]。