量子誤り訂正はなぜ必要？｜壊れやすい量子情報を測らずに守る仕組み

ピコが一枚の量子メッセージをラボへ送った。画面には、0と1の振幅と位相を持つ一個の量子ビットが表示される。途中で雑音を加えると、0と1が入れ替わる誤り、位相の符号が反転する誤りが起きた。ユイは「届く前に完全なコピーを三つ作って、多数決すればいい」と提案した。

ピコはコピー機を動かしたが、未知の量子状態は複製できないという警告が出た。イトは「じゃあ、触ったら答えが決まるし、コピーもできないなら、直しようがないじゃん」と言う。マコトは、情報そのものではなく、情報に付けた関係を調べる方法があるのではないかと考えた。今回の疑問は、量子状態を直接読み取らず、複数の物理量子ビットへ分散したパターンから誤りだけを知る方法である。

先に結論――量子情報を関係へ符号化し、誤りの痕跡だけを測る

量子誤り訂正では、一個の論理量子ビットを、量子もつれで結び付いた複数の物理量子ビットへ符号化する。個々の量子ビットに誤りが起きても、論理情報全体が直ちに失われない冗長性を作る。補助量子ビットを使ってパリティや安定化子を測り、論理状態の振幅α、βを明かさずに、どの種類の誤りが起きたかを示すシンドロームを得る。

量子誤り訂正は未知状態の完全コピーではない。情報は複数の部分へ古典的に複製されるのではなく、個々の部分だけから元状態を読めない相関として広がる。シンドロームに基づき補正操作をするか、誤りを追跡して後の測定結果の解釈を変える。

なぜ量子情報は壊れやすいのか

量子ビットは二状態の重ね合わせα|0⟩+β|1⟩を持ち、相対位相を計算に利用する。環境との結合、制御パルスのずれ、読み出し誤差、量子ビット間の不要な結合により、振幅と位相が変化する。古典ビットの0が1へ反転するだけでなく、0と1の相対位相だけが反転する誤りがある。

連続的な小さな回転も起こる。量子誤りは無限種類に見えるが、一量子ビットの演算はI、X、Y、ZのPauli演算子の線形結合で表せる。適切な符号とシンドローム測定により、連続誤りを離散的なPauli誤りの候補として扱える点が重要である。

古典の三ビット反復符号から始める

古典ビット0を000、1を111として送れば、一か所だけ反転したとき多数決で元を推定できる。000が010になれば中央が誤り、111が101になれば中央が誤りと分かる。各ビットの値を直接読んでも、保存した古典情報を壊さない。

量子状態α|0⟩+β|1⟩を守るため、形式的にはα|000⟩+β|111⟩へ符号化できる。これは三つの独立コピーではない。最初の物理量子ビットだけを測ると0または1が得られ、重ね合わせを壊す。三つ全体の相関として論理状態が保存される。

αとβを隠したまま、中央の反転だけを見つける

ユイはα|000⟩+β|111⟩へ符号化された論理状態の中央量子ビットへX誤りを加えた。イトは各量子ビットを0か1か測ろうとしたが、それでは論理状態の重ね合わせを壊す。ピコは補助量子ビットを使い、Z1Z2とZ2Z3に対応するパリティだけを測る回路を示した。

得られた二つのシンドロームから、論理値やα、βを知らずに中央位置の誤りを特定できた。マコトは、冗長性が同じ未知状態のコピー三個ではなく、複数量子ビットの相関へ情報を広げる符号化だと整理する。イトは多数決の絵を、関係検査の絵へ描き直した。

パリティを測れば論理値を知らずに誤りを探せる

三量子ビット符号で、隣接する二量子ビットが同じか違うかを測る。Z1Z2とZ2Z3の固有値を補助量子ビット経由で取得すれば、論理状態が0か1かを明かさずに、どの位置が反転したかを判定できる。

例えばシンドロームが「一番目と二番目が違い、二番目と三番目も違う」なら中央の反転を示す。測定しているのは個々の0・1ではなく、符号空間で本来固定されている関係である。補助量子ビットの回路が論理振幅を区別しないよう設計される。

同じ検査で見えない誤りを、測定基底を変えて探す

次にピコが中央量子ビットへZ誤りを加えると、計算基底のパリティ検査は変化を示さなかった。ユイはHadamard変換でX基底とZ基底の役割を入れ替え、位相反転をビット反転として検出する考え方へ進む。XとZの両方を扱うには、より大きな符号やCSS構造が必要になる。

イトは連続的な小さな回転誤差を無限種類すべて別に直す必要があると思った。マコトは量子誤り訂正条件の下で、誤りをPauli基底へ展開し、シンドローム測定によって離散的な誤りクラスとして扱えることを確認する。ただし測定・ゲート・補助量子ビット自身にも誤りがあるため、単純な一回検査で終わらない。

三ビット符号は位相反転を直せない

α|000⟩+β|111⟩の一つへZ誤りが起きると、二成分の相対位相が変わる。しかし計算基底で各ビットが同じかを見るだけでは、ビット値の不一致がなく検出できない。量子情報にはX型とZ型の両方の保護が必要である。

Hadamard基底へ移ると、位相反転Zはビット反転Xとして見える。|+⟩と|−⟩を使った三量子ビット反復符号は位相誤りを直せるが、今度は通常のビット反転へ弱い。Shorの九量子ビット符号は、ビット反転用と位相反転用の反復構造を組み合わせ、任意の一量子ビット誤りを訂正できる最初の例となった。

no-cloning定理と矛盾しない理由

未知状態|ψ⟩を入力し、|ψ⟩|0⟩を|ψ⟩|ψ⟩へ変える万能なユニタリ操作は存在しない。二つの異なる非直交状態を同じ装置で完全に複製しようとすると、内積保存と矛盾する。これがno-cloning定理の基本である。

符号化操作は|ψ⟩のコピーを作らず、|0⟩を符号語|0_L⟩、|1⟩を|1_L⟩へ写し、重ね合わせをα|0_L⟩+β|1_L⟩へ変える。各物理部分の状態は元の|ψ⟩ではない。復号時には一個の論理状態を回復するだけで、独立な複数コピーを残さない。

量子誤り訂正条件

KnillとLaflammeは、符号空間の任意の論理状態について、誤り演算子Ea、Ebの組合せが論理情報を区別せず、誤りシンドロームだけへ写る条件を示した。射影Pを用いると、P Ea† Eb Pが符号空間上で定数倍のPになる形で表される。

直感的には、訂正したい誤りが論理0と論理1を別々に漏らしてはいけない。環境がどちらの論理状態だったかを知ると、位相情報が失われる。誤り後の部分空間が互いに区別でき、かつ論理情報を保っていれば、シンドロームを測って元へ戻せる。

コード距離はどこまで誤りへ耐えられるかを示す

量子符号は[[n,k,d]]と表され、n個の物理量子ビットへk個の論理量子ビットを符号化し、距離dを持つ。距離dは、異なる論理状態を結び付ける最小重量の演算子と関係する。一般に、d−1個までの誤りを検出し、床((d−1)/2)個までの任意誤りを訂正できる。

距離3の符号は一個の任意Pauli誤りを訂正できるが、二個誤りは論理誤りへ化ける場合がある。物理量子ビット数を増やすだけでなく、距離、チェック配置、雑音の空間相関、測定回数を合わせて評価する必要がある。

Steane符号とCSS構造

Steaneの七量子ビット符号は古典Hamming符号を量子へ拡張したCSS符号の代表で、X誤りとZ誤りを対応する二種類のパリティチェックで扱う。一個の論理量子ビットを七個へ符号化し、任意の一量子ビット誤りを訂正できる。

CSS構造ではビット反転と位相反転の検査を分けて考えやすい。量子回路ではY誤りがXとZの組合せとして検出される。古典符号理論の線形代数が使われる一方、可換する安定化子を同時に測れるという量子条件が加わる。

安定化子は符号空間を定義する

安定化子符号では、符号語を変えない可換なPauli演算子の集合を選ぶ。すべての安定化子測定結果が+1となる共通固有空間が符号空間である。誤りが安定化子と反可換すると、対応する測定結果の符号が反転し、シンドロームが現れる。

論理Xと論理Zは符号空間内で論理状態を変えるが、安定化子には含まれない。物理誤りの組合せが論理演算子と同じ作用を持つと、シンドロームを残さず論理誤りになる。この構造がコード距離と結び付く。

表面符号は局所チェックを繰り返す

表面符号では量子ビットを二次元格子上へ配置し、近接する少数量子ビットのX型・Z型パリティを繰り返し測る。遠距離の直接結合を必要とせず、比較的高い誤りしきい値が期待されるため、誤り耐性量子計算の有力候補である。

シンドロームは一回の平面図だけではなく、時間方向へ繰り返した三次元の検出イベントとして解析する。測定自体にも誤りがあるため、隣接ラウンドの変化から誤り鎖を推定する。デコーダは最も可能性の高い誤りを選ぶが、真の経路を必ず一意に知るわけではない。

しきい値定理が示す可能性

量子ゲート、準備、測定の誤り率が一定のしきい値より低く、雑音に適切な仮定が成り立てば、符号距離を増やすことで論理誤り率を任意に小さくできるという誤り耐性のしきい値定理がある。これにより、物理素子が完全でなくても長い量子計算が原理上可能になる。

しきい値は一つの普遍数字ではない。符号、回路、雑音模型、漏れ、相関誤り、デコーダ、接続性で変わる。平均ゲート忠実度が良いだけでは、しきい値条件を満たしたと断定できない。まれだが強い相関誤りが性能を支配する場合もある。

論理量子ビットは物理量子ビットの単純な多数決ではない

一個の論理量子ビットを作るには、データ量子ビットだけでなく、安定化子測定用の補助量子ビット、配線、読み出し、余分な距離、状態準備が必要になる。物理量子ビット数は符号方式と目標論理誤り率で大きく変わる。

「千物理量子ビットだから千論理量子ビット」という比較はできない。反対に、物理量子ビット数が少なくても、論理寿命が符号距離とともに改善することを示せれば誤り訂正の進展になる。量と質、符号距離を分けて見る。

一回のシンドロームを、正しい答えだと信じ切らない

量子計算工区でユイは、補助量子ビットが示したシンドロームを一度読めば補正できると考えた。ピコはデータ量子ビットだけでなく測定回路にも誤りを入れ、同じ安定化子を時間方向に繰り返し測らせる。イトは一回だけ反転した表示と、複数ラウンドにわたり位置がつながる誤り鎖を見比べた。

マコトは、補正操作を毎回物理的に即実行する方法だけでなく、Pauli frameとして古典側に記録し後の解釈へ反映する方法もあると整理する。局所検査の履歴から最もありそうな誤りを推定するデコーダーが必要で、相関誤りやリークは単純な独立誤り模型から外れる。ユイは論理量子ビットを「壊れない一個」ではなく、多数の不完全な部品と反復測定で誤り率を抑える符号化情報として捉え直した。

シンドローム測定も誤りを起こす

補助量子ビットをデータへ結合するゲートが失敗すると、誤りを検出する装置が新しい誤りを広げる可能性がある。一個の補助誤りが複数量子ビットへ伝播しない回路設計、検証された補助状態、繰り返し測定が必要になる。

誤り訂正回路は、理想的な符号語を保存する数学だけでは完成しない。測定、フィードフォワード、時系列のデコードを含めて論理誤り率を下げる必要がある。これがfault-tolerantな操作の中心である。

漏れ誤りと消失誤り

実際の量子ビットは理想的な二準位系ではなく、高い準位へ漏れる場合がある。漏れた状態は通常のPauli誤り模型に収まらず、ゲートを通じて周囲に影響する。漏れを検出し、リセットまたは符号空間へ戻す操作が必要になる。

光子量子ビットでは光子損失、原子配列では原子の消失が重要である。どの位置が失われたか分かる消失誤りは、未知位置のPauli誤りより訂正しやすい場合がある。ハードウェアの主な雑音に合わせて符号を選ぶ。

ボソニック符号という別の冗長性

複数の二準位量子ビットだけでなく、一つの共振器が持つ多数の光子数状態へ論理情報を符号化するcat符号、binomial符号、GKP符号などがある。光子損失や小さな変位に対する構造を作り、補助量子ビットでシンドロームを測る。

一つの共振器を使うから冗長性がないわけではない。無限次元Hilbert空間の複数状態へ情報を分散している。ハードウェア効率と制御の複雑さを比べ、複数方式を組み合わせる研究もある。

誤り抑制・緩和と誤り訂正の違い

材料改善、遮蔽、動的デカップリング、最適制御は物理誤りの発生を減らす。量子誤り緩和は、複数の雑音レベルで実行した結果から理想値を推定するなど、符号化なしで期待値の偏りを減らす方法を含む。これらは有用だが、一般に任意に長い計算を保護する完全な誤り訂正とは異なる。

実用的な装置では抑制、緩和、検出、訂正を組み合わせる。用語を区別せず「誤りを直した」と書くと、論理状態がリアルタイムで保護されたのか、最終統計を補正したのか分からない。

実験で何をもって成功とするか

単にシンドロームを測れたこと、符号化状態を作れたこと、補正後の忠実度が上がったことは異なる段階である。重要な目標の一つは、符号距離を増やすほど論理誤り率が下がり、符号化しない最良の物理量子ビットより論理量子ビットが長く正確に情報を保つことだ。

測定では、メモリ実験か論理ゲートか、比較する物理基準、誤りラウンド数、post-selectionの有無を確認する。選別で失敗試行を捨てた結果と、すべての試行を訂正して使う結果は同じではない。

空間だけでなく時間方向にもシンドロームを比べる

実機では、データ量子ビットだけでなくシンドロームを読み出す補助量子ビットや測定操作にも誤りが起きる。一回の測定で異常な結果が出ても、データ側の誤りか、測定側の一時的な誤りかを直ちに決められない。そのため同じ安定化子測定を複数ラウンド繰り返し、結果そのものではなく、前回から変化した場所と時刻を検出事象として扱う。

表面符号では二次元格子上の位置と測定ラウンドの時間を合わせた三次元の履歴から、誤りが作った端点を結ぶもっともらしい経路を推定する。復号器は、観測されたシンドローム履歴と雑音模型を使って補正を選ぶ。すべての物理誤りを個別に言い当てる必要はなく、推定した経路と実際の経路の組合せが論理演算子にならなければ、論理情報を保てる。

論理誤り率は距離だけで決まらない

符号距離を大きくすると、独立で十分小さな物理誤りに対して論理誤り率を下げられる。しかし現実の雑音には、近接量子ビットへ同時に及ぶ相関誤り、長時間残る漏れ、測定結果の偏り、宇宙線などで広い範囲に影響する事象がある。想定した雑音模型と異なる相関が強いと、距離を増やした利点が小さくなる場合がある。

したがって実験では、物理量子ビット数だけでなく、符号距離を増やしたときに一サイクル当たりの論理誤り率が実際に下がるかを測る。操作時間、測定忠実度、デコヒーレンス時間、復号遅延を同じ条件で示す必要がある。「論理量子ビットを作った」という言葉だけで、長い計算を支えられる段階へ到達したとは判断できない。

修復したメッセージが、次の量子観測を要求する

四人はシンドロームを繰り返し、時間方向の変化から測定誤りとデータ誤りを見分け、試験メッセージの論理状態を保ったまま補正した。イトは物理量子ビット数だけで性能を比べず、ユイは誤り抑制・緩和と完全な量子誤り訂正を分ける。マコトは、論理誤り率が物理誤り率、符号距離、相関誤り、デコーダーに依存すると観測手帳に残した。

メッセージが復元されると、量子計算工区の出口ではなく、量子駅の干渉観測室へ戻る路線が点灯した。ピコは「応用を守る方法は見えた。でも、その土台になる一粒ずつの干渉を、まだ正式な駅試験として通っていない」と告げる。次の区間では、二重スリットから重ね合わせ、測定、もつれを改めて検証することになる。

量子誤り訂正をコピー多数決にしない4つの注意

誤解：量子状態を三つコピーして多数決する

no-cloning定理により未知状態の独立コピーは作れない。論理情報をエンタングルした符号空間へ分散する。

誤解：誤りを見つけるには論理量子ビットを測るしかない

安定化子やパリティを補助量子ビットで測り、論理振幅を明かさずシンドロームだけを得る。

誤解：量子誤りは連続だから有限個の符号では直せない

Pauli演算子展開とシンドローム測定により、訂正対象を離散的な誤りクラスとして扱える。

誤解：物理量子ビットを増やせば自動的に計算が正確になる

追加ゲートと測定も誤る。しきい値以下の品質と、距離を増やした論理誤り率の改善が必要である。

論理値を読まず、X・Zシンドロームを追う

最初に三量子ビットのビット反転符号で、論理状態を表示せず二つのパリティだけを測る。次に位相反転を加え、同じ検査では見つからないことを確認する。Hadamard基底の検査を追加し、XとZのシンドロームを分離する。最後に小さな表面符号格子で、時間方向へ現れる検出イベントを結び、論理境界へ到達しない補正鎖を選ぶ。

30秒でつかむ「量子情報ではなく誤りの痕跡を測る」

• 量子誤り訂正は論理状態を複数物理量子ビットの相関へ符号化する。
• シンドローム測定は論理値を読まず、誤りによって変化した関係だけを取得する。
• X、Z、Y誤りと連続的な小回転を、有限の誤り基底で扱える。
• 符号距離としきい値は、訂正可能な誤り数と論理誤り率の改善に関係する。
• 測定や補正操作自体にも誤りがあるため、fault-tolerantな回路が必要になる。

関連記事

• デコヒーレンスとは何か
• 重ね合わせと量子ビット
• 量子コンピュータの現在地
• 量子テレポーテーションとは

次の行動――論理情報を読まずに中央の誤りを見つける

α|000⟩+β|111⟩の中央へX誤りを加え、Z1Z2とZ2Z3の測定結果だけから位置を特定しよう。その後Z誤りへ切り替え、なぜ別種類の検査が必要か説明する。

一次・公的資料を中心とした出典

• W. K. Wootters and W. H. Zurek, “A Single Quantum Cannot Be Cloned,” Nature 299, 802–803, 1982. https://doi.org/10.1038/299802a0
• P. W. Shor, “Scheme for Reducing Decoherence in Quantum Computer Memory,” Physical Review A 52, R2493–R2496, 1995. https://doi.org/10.1103/PhysRevA.52.R2493
• A. M. Steane, “Error Correcting Codes in Quantum Theory,” Physical Review Letters 77, 793–797, 1996. https://doi.org/10.1103/PhysRevLett.77.793
• E. Knill and R. Laflamme, “Theory of Quantum Error-Correcting Codes,” Physical Review A 55, 900–911, 1997. https://doi.org/10.1103/PhysRevA.55.900
• 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. https://doi.org/10.1103/PhysRevA.86.032324
• National Institute of Standards and Technology, Quantum Information Science. https://www.nist.gov/topics/quantum-information-science