Qec on QSysArch - Quantum Computer System Architecture

QEC：量子誤り訂正論理量子ビット（パート1）

Sat, 18 Jul 2026 00:00:00 +0000

一見すると、量子誤り訂正は単純なように思える。物理的な量子ビットを論理量子ビットにまとめ、それらの間の一貫性を維持する方法を適用し、これらの論理量子ビットを使用して量子回路を動作させる、という手順である。

しかし実際には、この最初のステップは決して自明ではありません。論理量子ビットはどのように作成され、維持されるのでしょうか？例えば、量子制御システム（QCS）の観点から（QM OPX1000、ZIのZQCS、Qblox Q1 Clusterなど）、論理量子ビットを「操作」または「オーケストレーション」するには何が必要なのでしょうか？そして、この論理量子ビットが操作可能な状態になったら、1量子ビットゲートと2量子ビットゲートで構成される量子回路を介して量子計算を実行するために、それを使用するには何が必要なのでしょうか？この単純な疑問は、ハードウェア制御システムだけでなく、ソフトウェアスタック、特にコンパイラにも関係しています。物理量子ビット用と論理量子ビット用で、複数のコンパイラが存在するのでしょうか？また、スケーラビリティに関しては、ハイブリッドGPU/QPUとQCSで構成される異種環境で10,000個の物理量子ビットを扱う場合、コンパイラはスケーリングの複雑さに対処するために何が必要なのでしょうか？これらは単純な疑問ですが、その答えは決して容易ではありません。

本稿は、量子制御システムの観点から量子誤り訂正について論じる一連の文書の第一弾です。この最初の短い文書では、物理層において一貫性のある論理量子ビットを「生成」するために必要な基本概念を紹介します。

論理量子ビットの形成見出しへのリンク

「論理量子ビット」とは何でしょうか？論理量子ビットの作成は、物理量子ビットをグループ化することから始まります。各量子ビットには特定の役割が割り当てられます。補助量子ビットまたはヘルパー量子ビットとして機能するものもあれば、データ量子ビットまたは主量子ビットとして機能するものもあります。

このグループ分けは、右側の図でよく表されます。この図は、「距離3に基づく表面コード17」を示しています（画像提供：Irréversible Inc）。

表面コードに適用できる基本的な構造は以下のとおりです。

データ量子ビット（白い円）は量子情報を保持します。表面17には9個のデータ量子ビットがあります。
補助量子ビット（黒丸）は、非破壊的なパリティチェックを実行します。表面17には8つの補助量子ビットが含まれています。

プロトコルとしてのQEC 見出しへのリンク

データと補助量子ビット間の相互作用は、それぞれの「プラケット」に固有のものである。

プラケット（緑とピンクの面）は、中央の補助量子ビットとその隣接するデータ量子ビット間のエラーチェックの類型的な関係を定義します。
スタビライザー: 各補助量子ビットは、1 つのパウリ演算子、つまりスタビライザーを測定するために使用されます。表面コードには 2 つのスタビライザーがあります。Z タイプはビット反転 (X) エラーを検出し、X タイプは位相反転 (Z) エラーを検出します。
スタビライザー測定は、単一のスタビライザーの測定であり、補助量子ビットを隣接するデータ量子ビットに順次結合し、その後補助量子ビットを測定することによって実現されます。

シンドロームビットは、パリティチェック安定化演算子の測定結果です。シンドロームビットは、測定サイクルごとに1つ生成されます。
シンドローム抽出とは、誤差補正サイクルで全ての安定化測定を実行して、完全な誤差シンドロームを取得する一連のプロセスです。

ちょっとしたクイズ：キュービットの犯人は誰でしょう？見出しへのリンク

この文脈で、以下の図（出典：Alice & BobよりLaurent Prost）を検討してください。Z ₁ Z ₂と Z ₂ Z _{3 は}、それぞれ Qubit 1 と Qubit 2 の間、および Qubit 2 と Qubit 3 の間の共同パリティチェック（安定化）測定を表します。これまでの 2 次元プラケットとは異なり、この図では各物理量子ビットが他の 1 つの量子ビットのみにリンクされていると想定しており、1 次元の繰り返しコードを示しています。

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

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) \)

Qec on QSysArch - Quantum Computer System Architecture

QEC：量子誤り訂正論理量子ビット（パート1）

論理量子ビットの形成 見出しへのリンク

プロトコルとしてのQEC 見出しへのリンク

ちょっとしたクイズ：キュービットの犯人は誰でしょう？ 見出しへのリンク

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

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

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

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

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

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

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