量子誤り訂正：量子ビットの寿命

Wed, 08 Oct 2025 00:00:00 +0000

量子誤り訂正（QEC）は、今日の量子コンピューティングにおいて最も活発な研究分野の一つです。QECの目的は、量子ビットに格納された繊細な量子情報を、ノイズやデコヒーレンスから保護することです。

量子ビットの信頼性の尺度はエラー確率に基づいており、今日の物理量子ビットは、10,000回のゲート操作につき約1回のエラー（10⁻⁴回）というオーダーのエラー率を達成できます。しかし、完全に効率的であるためには、ゲートエラー率は少なくとも10億回に1回（10⁻⁹回）、あるいは1兆回に1回（10⁻¹²回）に達する必要があります。

このメモは、実装の観点から量子誤り訂正（QEC）を理解するための、簡潔で分かりやすいガイドを提供することを目的としています。最初のセクションでは、論理量子ビットを作成するために必要なさまざまな誤り訂正計算方法の概要を説明します。2番目のセクションでは、論理的に訂正された量子ビットに対するゲート操作の実装の可能性を検討します。そして最後のセクションでは、CUDA-QECフレームワークと、量子誤り訂正システムを作成するためのプログラムによるアプローチを紹介します。

QECは何を、どのように解決しようとしているのか？見出しへのリンク

QECの課題は、一見すると単純です。まずエラーが発生したことを検知し、次にそれを修正するだけです。ただし、これは量子ビットの量子状態を測定したり崩壊させたりすることなく行う必要があります。ここで、エンタングルした補助量子ビットの概念が登場します。

QECは、単一の量子ビットに情報を格納する代わりに、1つの論理量子ビットを複数の物理量子ビットにエンコードします。これらの物理量子ビットは、データ量子ビットと補助量子ビット（測定量子ビットとも呼ばれる）の2つのカテゴリに分けられます。量子ビットのグループは「エンタングルメント」状態を形成し、データ量子ビットの状態を崩壊させることなく補助量子ビットを読み出すことが可能になります。下の図では、赤い線が物理量子ビットへのいくつかの可能な論理量子ビットのマッピングを示しています。

行動様式見出しへのリンク

論理量子ビットを誤り訂正したいと仮定しましょう。論理量子ビットは複数の物理量子ビットに符号化されています。エラーが発生すると、物理量子ビットの1つが反転する可能性があります。反転はビット反転（X）の形、位相反転（Z）の形、またはその両方（Y）の形のいずれかで起こります。

フリップをチェックするために、QECは周期的な*シンドローム測定*を実行します。これは、データ量子ビットと相互作用する特定の補助量子ビットを測定するものです。まず補助量子ビットをデータ量子ビットとエンタングルさせ、次に読み出しを行います。エンタングルメントは、読み出しを実行するのに十分な短い期間だけ行われます。Googleの場合、このエンタングルメントはCZ（コントロールZ）ゲートを使用して実現され、CZゲート自体もエンタングルメントを利用しています。

(画像出典: Google Quantum AI - 表面コード論理量子ビットの実装)

症候群が特定されると、補正を実行できます。このために、古典的なアルゴリズムによって発生した可能性のあるエラーが特定されます。システムは、関連する補正（X、Y、またはZゲート）を適用します。Googleの場合、位相ずれ（T2?）エラーを軽減するために、追加の動的デカップリング（DD）が使用されます。

量子コード見出しへのリンク

データと測定用の量子ビットは非局所的に分散されており、1つまたは2つの量子ビットにエラーが発生してもグループの一貫性が損なわれません。この分散は「量子コード」と呼ばれます。実際のシステムでは、より大規模で高度なコードが使用されます。

Shorコード (9量子ビット): ビット反転エラーと位相反転エラーの両方を訂正します。
Steaneコード (7量子ビット): 初の完全量子誤り訂正コード。
表面符号 (\(2n^2-1\) 量子ビット) — 量子ビットを2次元グリッド上に配置します。表面符号距離\(n\)は、同時に訂正できるエラーの数を表します。

実際には、各測定量子ビットは、古典アルゴリズムの判定ロジックに使用される安定化演算子を射影的に測定する役割を担っています。安定化符号は、古典的な誤り訂正における線形符号の量子版であり、パリティチェックを用いてノイズビットの誤りを検出します。

論理量子ビット上で量子アルゴリズムを実行する方法は？見出しへのリンク

物理量子ビット上で量子アルゴリズムを実行するということは、物理量子ビット上でゲートを操作することを意味します。では、論理量子ビットを扱う場合はどうでしょうか？これは単純な質問のように思えるかもしれませんが、答えはそれほど単純ではなく、論理量子ビットゲートへのアプローチ方法は複数あります。まずは単一量子ビットゲートから始め、その後、複数量子ビットゲートの課題に取り組みましょう。

論理量子ビットへの単一量子ビットゲートの適用見出しへのリンク

論理ゲートの実装の種類：

横断ゲート: 横断ゲートは、各物理キュービットに対して独立して作用します。

論理量子ビットゲートは、n個の物理量子ビットそれぞれに同じゲートを適用することと同等です。例えば、7量子ビットのスティーン符号では、論理アダマールゲートは、7個の物理量子ビットそれぞれに物理的なHゲートを適用することによって実現されます。

格子手術 / トポロジカルコード

表面符号では、論理量子ビットは物理量子ビットの大きなパッチとして符号化される。論理演算は、パッチの結合と分割、あるいは欠陥の編み込みによって実現され、これによって符号のトポロジーが変化する。

arxiv.2505.15907に掲載されている右側の画像は、格子手術操作が、2つのコードパッチを端に沿って結合することによって実行される様子を示しています。この操作は、耐障害性を実現するためにO(d)ラウンドを必要とします。

論理量子ビットへのマルチ量子ビットゲートの適用見出しへのリンク

*横断型マルチ量子ビットゲート：多くの量子コード（例：Steane、Bacon–Shor）では、論理CNOTを横断的に実行できます：\( CNOT_L=\sum_{i=1}^n CNOT(a_i,b_i) \)

Cuda-Q on QSysArch - Quantum Computer System Architecture

量子誤り訂正：量子ビットの寿命

QECは何を、どのように解決しようとしているのか？ 見出しへのリンク

行動様式 見出しへのリンク

量子コード 見出しへのリンク

論理量子ビット上で量子アルゴリズムを実行する方法は？ 見出しへのリンク