量子誤り訂正と論理量子ビットを解説

量子誤り訂正が、多数のノイズの多い物理量子ビットを、より信頼性の高い論理量子ビットへと変える仕組みと、なぜコード距離、しきい値、表面符号が重要なのかを解説する。

このページは英語から翻訳されています。企業名・製品名・出典リンクは変更していません。英語の原文を読む

量子誤り訂正とは、ノイズ、デコヒーレンス、不完全な操作があっても、壊れやすい量子情報を使える状態に保つための一連の手法です。基本的な考え方は、1つまたは複数の論理量子ビットを、より大きな物理量子ビットの集合に符号化し、保護された量子状態そのものは明かさずに誤り情報だけを取り出せるよう慎重に選ばれた検査を繰り返し測定し、観測されたシンドロームに基づいて回復処理を適用する、というものです。

なぜ量子コンピューターに誤り訂正が必要なのか

量子情報はきわめて繊細です。誤りはデコヒーレンスやその他の量子ノイズ源から生じますが、実用的な量子計算では、ゲートの故障、状態準備の不完全さ、測定ミスにも対処しなければなりません。そのため誤り訂正は、量子状態の保存だけでなく、長い計算を実行するうえでも中核的な役割を果たします。

古典的な誤り訂正は、ビットに冗長性を加えることで機能します。量子誤り訂正も目指すところは似ていますが、重大な制約があります。量子ビットを直接測定すると、一般にはその状態を乱してしまいます。したがって量子符号は、論理情報そのものを明かさずに、何が起きたのか に関する情報だけを取り出さなければなりません。多くの符号では、これはスタビライザーと呼ばれる可換演算子の測定によって実現されます。

量子誤り訂正の可能性を考えるうえで有用なのは、これをシミュレーション層として捉える見方です。ある誤りモデルに従うノイズのある物理チャネルが与えられたとき、量子誤り訂正符号を使えば、通信や計算を実用的にするのに十分な精度で、ノイズのない論理チャネルを近似できます。

物理量子ビット、論理量子ビット、コード距離

量子符号の標準的な表記は [[n,k,d]] で、k 個の論理量子ビットを n 個の物理量子ビットに符号化し、コード距離が d であることを意味します。

この3つのパラメータが、主なトレードオフの大半を表します。

n: 符号が使う物理量子ビット数
k: 保護される論理量子ビット数
d: コード距離。誤りが論理演算のように振る舞うことの難しさに関わる尺度

符号化率 k/n は基本的な効率指標です。値が高いほど、論理量子ビット当たりのオーバーヘッドは小さくなります。ただし一般に、コード距離を大きくすることと符号化率を高くすることは相反するため、符号設計では信頼性とハードウェアコストのバランスを取ることになります。

大まかに言えば、量子誤り訂正のサイクルは3つの段階から成ります。

符号化：論理情報をより大きな物理系へ符号化する
保存または伝送：ノイズのあるチャネルを通す
シンドローム抽出と回復：起きた可能性の高い誤りを特定し、訂正する

シンドロームはきわめて重要です。スタビライザー測定は、符号化された量子状態ではなく、誤りに関する情報だけを明らかにするよう選ばれます。そうでなければ、訂正処理そのものが、コンピューターが保とうとしている重ね合わせを壊してしまいます。

符号はどのような誤りを対象にするのか

支配的な誤りは、ハードウェアのプラットフォームによって大きく異なります。代表的な例としては次のものがあります。

振幅減衰（amplitude damping）：平衡状態への緩和に伴う励起の損失
コヒーレント誤り：系の内部ダイナミクスに由来する誤り
位相緩和（dephasing）：多くの量子ビット実装で支配的なノイズ過程の1つ

それでも多くの量子符号では、誤りをパウリ演算の組み合わせとして扱う単純化モデルが用いられます。

X はビット反転型の誤り
Z は位相反転型の誤り
Y はビット反転と位相反転が組み合わさった誤り

このパウリに基づく見方では、現実のノイズ過程をすべて捉えられるわけではありませんが、解析や符号構成を扱いやすくできるため広く使われています。このモデルの下では、シンドローム抽出やデコーディングは、古典符号理論の考え方を借りて定式化できることがよくあります。

ただし、この単純化には注意点があります。デコーディングは依然として難しい場合があります。パラメータ [[n,k,d]] の符号には 2^(n-k) 通りのシンドロームがあり、単純なルックアップテーブルではすぐに扱いきれなくなります。実際には、通常、効率的な古典デコーディングアルゴリズムが必要です。

フォールトトレランス：事態を悪化させずに誤りを訂正する

スケーラブルな計算には、誤り訂正だけでは不十分です。コンピューターでは、訂正機構そのものが使うゲート、測定、準備された補助量子ビット（ancilla）のいずれも故障し得ます。そこで重要になるのが フォールトトレランス です。

中心となる考え方は、少数の物理的な故障が、訂正不能な論理故障へと広がらないように、符号化、シンドローム測定、回復処理を設計することです。量子誤り訂正では、これは 量子しきい値定理 と結び付けられています。個々の量子ゲートの誤り率があるしきい値を下回っていれば、符号を再帰的に連接することによって、任意に長い量子計算が可能になるというものです。

量子誤り訂正では、十分な量子ビットが利用可能だと仮定した場合、このしきい値は 1–3% に達し得るという2004年時点の歴史的な推定も紹介されています。また、なぜしきい値が重要なのかという直感も示しています。しきい値を下回れば、訂正は導入する誤りより多くの誤りを取り除きますが、しきい値を上回ると、訂正過程が差し引きで有害になり得ます。

このしきい値の概念があるからこそ、論理量子ビットは有用な抽象化です。論理量子ビットは単一のデバイス要素ではなく、より多くの物理資源を投入し、より優れたフォールトトレラント手順を使うことで、原理的には実効誤り率を下げられる符号化された対象です。

主要な符号ファミリーと、それぞれが最適化するもの

異なる符号ファミリーは、オーバーヘッド、距離、構造、実装容易性の間で異なるトレードオフを取ります。

符号ファミリー	中心的な考え方	主なトレードオフまたは特徴
Shor code	`[[d^2,1,d]]` へ一般化でき、内側と外側の反復符号を使ってビット反転誤りと位相反転誤りを別々に処理する	距離は伸ばせるが、符号化率は低くなる
Steane / quantum Hamming codes	反復構造を古典 `[7,4]` Hamming code に置き換え、`X` と `Z` の誤りを対称的に扱う	Shor型の反復より符号化率が高い
CSS codes	Calderbank、Shor、Steane による関連構成から導かれた一般的枠組み	`X` と `Z` のスタビライザーを分離し、フォールトトレラントなシンドローム測定に有利
Five-qubit code	`X` と `Z` を混在させた4つのスタビライザーを使う。CSS code ではない	任意の単一量子ビット誤りから1つの論理量子ビットを保護できる最小の符号
Surface code	2次元格子上のトポロジカル・スタビライザー符号	局所的な検査と平面レイアウトが実験的に魅力的

Five-qubit code は、概念的にとくに重要です。これは、量子ハミング限界に関連する事実として、任意の単一量子ビット誤りから1つの論理量子ビットを保護できる最小の符号です。

量子誤り訂正では、[[n,k,d]] の加法的符号で使われるスタビライザー形式を超える 非加法符号 にも言及しています。これらは場合によってはより高い符号化率を実現できる可能性がありますが、構成や解析がかなり難しいため、探究はあまり進んでいません。

なぜ表面符号がこれほど重要になったのか

現代の符号ファミリーの中でも、surface code は2025年のスケーラブルな量子誤り訂正において中心的な存在です。主な理由はアーキテクチャにあります。surface code は2次元格子上の局所的なスタビライザー測定によって定義されるため、長距離相互作用を必要とする符号よりも、多くのハードウェアプラットフォームに適しています。

surface code はトポロジカル・スタビライザー符号です。Alexei Kitaev in 1997 が導入したトーリック版では、量子ビットは2次元格子の辺に配置され、スタビライザーは頂点とプラーケットに対応付けられます。誤りは、これらのスタビライザーの破れとして現れます。

有用なイメージとして、誤りはエニオンとして記述される局在欠陥を生成または移動させます。

Z 誤りは隣接する頂点スタビライザーを反転させる
X 誤りは隣接するプラーケットスタビライザーを反転させる

訂正とは、こうした欠陥を対にして再消滅させることに相当します。結果として得られる経路がトポロジカルに自明であれば、正味の効果は単なるスタビライザーであり、論理情報は変化しません。経路がトポロジカルに非自明であれば、その過程は論理演算子のように働き、符号化された情報は変化します。

この幾何学的な解釈こそが、surface code が直感的に理解しやすい理由の1つです。コード距離は、論理誤りを実装する非自明な経路またはループの最小長さになります。

トーリック、平面、回転平面の表面符号

いくつかの関連する幾何が重要です。

toric code は周期境界条件を用い、位相的にはトーラスと等価です。d × d 格子では 2d^2 個の量子ビットを持ち、その符号空間は4次元なので、2つの論理量子ビット を格納します。

ハードウェアでは、開境界のほうが実用的なことが多く、そこから planar code が導かれます。ただし境界設計は重要です。境界が1種類しかない surface code は論理量子ビットを符号化しません。非自明な符号空間を作るには、smooth 境界と rough 境界を交互に配置する必要があります。上下が smooth 境界、左右が rough 境界の planar code では、1つの論理量子ビット を格納し、最小のトポロジカルに非自明な経路の長さは d となるため、コード距離は d です。

rotated planar code は効率改善版です。Surface code によれば、距離 d の rotated planar code は d^2 個の物理量子ビット を使い、非回転の planar 版の d^2 + (d − 1)^2 と比べて少なく、同じコード距離を保ちます。

しきい値、デコーディング、そして「しきい値未満」の意味

surface code は、標準的なノイズモデルの下で比較的高いしきい値を持つことでも知られています。各量子ビットでビット誤りと位相誤りが確率 p で独立に起きるモデルについて、Surface code は次を報告しています。

統計物理への写像から得られる臨界確率はおよそ 11%
広く使われる minimum weight perfect matching デコーダーを用いた場合はおよそ 10.5%

これらの数値は重要ですが、解釈が必要です。第一に、前提とする誤りモデルに依存します。第二に、理論限界は、それに近い性能を出せる実用的なデコーダーがあって初めて意味を持ちます。第三に、ビット誤りと位相誤りが相関する場合、たとえば depolarizing noise の下では、一部のデコーダーの性能は低下します。

したがって、「しきい値未満」とはシステムに誤りがないという意味ではありません。原理的には、符号サイズを大きくすることで、状況を悪化させるのではなく、論理誤り率を下げられることを意味します。

量子ビットのブロック符号を超えて

量子誤り訂正は、量子ビットから量子ビットへのブロック符号にとどまりません。量子情報は qudit や oscillators にも符号化できます。後者は無限個のエネルギー準位を持ちます。cat、GKP、binomial 型のようなボソニックなアプローチでは、1つの論理量子ビットを多数の2準位系に分散させる代わりに、単一の oscillator の内部にある冗長性を利用します。

これは、この分野における重要な未解決の設計課題を浮き彫りにします。冗長性は多数の物理量子ビットにまたがって持たせるべきなのか、高次元系の内部に持たせるべきなのか、それとも両者のハイブリッドにすべきなのか、という問いです。

2025年時点での到達点

surface code は2025年においてとくに重要な意味を持ちます。量子誤り訂正では、超伝導系において、これがしきい値未満の論理量子ビットを可能にし、忠実度を改善すると述べています。また別の記述では、Google Quantum AI が同社の Willow 超伝導プロセッサ上で distance-7 planar code を実装し、物理誤り率がしきい値未満であることを実証したとしています。

だからといって、より広い課題が解決済みというわけではありません。論理量子ビットには依然として大きなオーバーヘッドが必要であり、デコーディングは今なお現実のシステム課題であり、性能は符号選択を実際のハードウェアノイズにどれだけ適合させられるかに左右されます。ただし、論理量子ビットがもはや理論上の構成物にとどまらず、実際の工学的目標になっている理由は示しています。

要点

量子誤り訂正は、論理量子ビットをより大きな物理系に符号化し、誤りシンドロームを繰り返し抽出することで、壊れやすい量子情報を保護する。
標準的な [[n,k,d]] 表記は、主要なトレードオフ、すなわち物理的オーバーヘッドと保護される論理容量およびコード距離を表している。
広く使われる多くの符号は、実際のデバイスで振幅減衰や位相緩和のような効果が見られるにもかかわらず、ハードウェアノイズを X、Y、Z のパウリ誤りへ単純化して扱う。
フォールトトレランスが重要なのは、訂正過程そのものがノイズを含むためであり、しきい値定理は、スケーラブルな計算が可能なのは物理誤り率がある値を下回る場合だけだと示している。
Five-qubit code は、任意の単一量子ビット誤りに対して1つの論理量子ビットを保護できる最小の符号である。
CSS codes が重視されるのは、X と Z のスタビライザーを分離し、フォールトトレラントなシンドローム測定を助けるためである。
surface code が注目されるのは、そのスタビライザーが2次元格子上で局所的であり、実験的に魅力的だからである。
surface code では、論理故障はトポロジカルに非自明な誤り経路に対応し、コード距離はそのような経路の最小サイズである。
rotated planar surface code は、距離を保ったまま、非回転の planar code より量子ビット数を削減する。
報告されているしきい値や最近の実証は心強いが、実用的な性能は依然として、ハードウェアノイズ、デコーダーの質、大量の物理量子ビットというオーバーヘッドに左右される。