量子回路で一か所の故障に耐えられても、一回の実行中に二つの故障が起きたときにも耐えられるとは限りません。誤り訂正に使う回路を少し簡単にするだけでも、調べ直すべき故障の組み合わせは膨大になります。Quantinuumの研究チームは、この確認を助けるソフトウェア「Comb」を公開しました。
2026年11月3日公開のプレプリントが扱うのは、量子計算の資源となるマジック状態を、CNOTとTという二種類のゲートを使って準備する回路です。Combは、故障の組み合わせが検出されるか、訂正可能な範囲に収まるかを調べます。回路を短くする設計と、その変更で壊してはいけない性質の確認をつなぐ道具です。
簡単にまとめると？
- CNOTとTで構成する回路では、故障が伝わった先の誤りを、DCPと呼ぶまとまった表現で扱えます。
- Combは、用意された故障と出力誤りの情報から、多数の組み合わせを検証します。故障モデルの選択や、各故障がどう伝わるかの計算は別に必要です。
- 検証を通った回路でも、実機で常に有利とは限りません。回路を短くした効果、残る誤り、準備した状態を採用できる割合を分けて比べます。
マジック状態を作る回路にも、故障は入る
マジック状態は、誤り訂正された量子計算でTゲートなどの操作を実現するために使う、特別に準備した量子状態です。雑音のある状態を複数集めて精度を高める「蒸留」がよく知られていますが、小規模な量子符号では、目的の状態を直接準備する方法も研究されています。
直接作れば、必要な量子ビットや操作を減らせる可能性があります。ただし、準備の途中で生じた小さな故障が、多くの量子ビットへ広がってしまっては困ります。出力が理想状態に近いかを平均だけで評価するのではなく、決めた個数までの故障が、どこでどのように組み合わさっても条件を満たすかを調べる必要があります。
論文の距離5の例では、二つまでの故障の組み合わせを確認します。「距離」は量子符号の誤りに対する強さを表す指標ですが、距離5の符号を使えば、どの準備回路も自動的に同じ強さを持つわけではありません。実際の回路について検証することが必要です。
誤りを全部展開せず、構造を保ったまま扱う
解析の基本となるパウリ誤りは、量子ビットの0と1を入れ替える誤りや、重ね合わせの位相を変える誤りです。クリフォードと呼ぶ種類の操作だけなら、こうした誤りを回路の先へ移しても、別のパウリ誤りとして追跡できます。ところがTゲートを含むと、出力の誤りは一つのパウリ誤りには収まらず、複数の成分を重ね合わせた表現になります。
対象の回路では0または＋の状態に初期化し、選別に使う測定はXまたはZの基底で行います。研究チームが利用したのは、ゲートをCNOTとTに限定すると、その複雑さにも一定の形が残ることです。誤りを、対角クリフォード演算とパウリ演算の積で表すDCP（Diagonal Clifford and Pauli）として保持します。CNOTやTを通った後もDCPの形が保たれるため、毎回すべてのパウリ成分へ展開せずに計算を進められます。
量子ビット数をnとすると、この表現の記憶量は、全体の位相を除いてnの二乗に比例する大きさです。ただし、検証全体が常に軽くなるという意味ではありません。故障する場所や調べる故障数が増えれば組み合わせは増え、最後に残った誤りの成分を調べる工程にも指数的な負担が残ります。扱う対象を絞り、その構造を使って計算を実用的な大きさへ近づける方法です。
Combへ渡すまでの準備と、Combが確かめること
Combを使うには、まず故障が起こりうる場所と、各場所で想定する故障を決めます。次に、それぞれが回路を通った後のDCP誤りを求め、目的のマジック状態と、誤りの重さを調べるための表を用意します。Combの中心機能は、この入力を受けて故障の組み合わせを順に検証することです。
確認する条件は、s個の故障が起きたとき、その誤りが補助量子ビットの測定で検出されるか、検出されずに残る場合でも、各パウリ成分がs個以下の量子ビットへの誤りと等価であることです。見かけ上は多くの量子ビットに作用していても、量子符号の性質を使うと小さな誤りと等価になる場合があります。
測定で問題を検出した場合は、その試行で作った状態を採用しません。この選別をポストセレクションと呼びます。「耐故障性を確かめた」は、どの試行も成功する、あるいは出力に誤りが一切ない、という意味ではありません。採用できた状態の品質と、採用できる割合は別の指標です。
| 見る項目 | 確かめたいこと |
|---|---|
| 故障モデル | 実際の装置で問題となる故障や場所を含んでいるか |
| 回路の耐故障性 | 指定した故障数までの全組み合わせが条件を満たすか |
| 採用後の論理誤り率 | 測定で選別した後にも、どれだけ誤りが残るか |
| 採用率と回路の長さ | 必要な品質の状態を、どれだけの時間・資源で得られるか |
検証が速いと、回路を削って試し直せる
論文では、17個の物理量子ビットで一つの論理量子ビットを表す距離5のカラー符号などを使って検証しています。Table Iの未最適化の距離5回路では、二故障の組み合わせ約1,266万通りを調べる時間が8分3秒、故障を伝搬させる前処理なども含めた全体が11分17秒でした。16GBのメモリーを備えた論文記載のノートPCでの著者の測定値であり、別環境での再現結果ではありません。
この確認を繰り返せると、補助量子ビットとそれに関わるゲートを一部取り除き、残る回路が条件を満たすか試せます。条件を満たせば変更を採用し、満たさなければ元に戻します。研究チームはこの手順で、より少ない操作で同じ耐故障性の条件を満たす回路を探索しました。
一方、同じ論文の雑音シミュレーションでは、最適化前の距離5回路のほうが、短くした回路より低い論理誤り率を示しています。著者らは、用いたモデルが待ち時間中の誤りや量子ビットの漏れを含まない影響と説明しています。著者らは短い回路が実機で有利になる可能性を述べていますが、それはこの研究で実機実証された結果ではありません。短さだけで良し悪しを決めず、想定する雑音と採用率も合わせて比べる必要があります。
公開コードから確認できる範囲
2026年11月5日に確認した公式リポジトリには、CombのC実装とPythonから呼び出す例が公開されています。READMEでは中心となる実装を逐次処理とし、並列化などを今後の改善候補に挙げています。コードが公開されていること、論文が性能を報告していること、手元の回路と装置で使えることは、それぞれ確認する段階が違います。
導入を考える際は、まず回路が扱えるゲート・初期化・測定の範囲に収まるか、故障の入力を漏れなく作れるかを確かめます。そのうえで、検証に要する時間と、回路を変更した後の品質・採用率を測ります。Combが支えるのは、設計変更のたびに「この故障の組み合わせを見落としていないか」を確かめる工程です。
研究チームの企業としての位置づけは、CyclewaveのQuantinuumの事業と量子計算技術の解説でも紹介しています。
出典
- Selwyn Simsekほか、Fast verification of fault tolerant magic state preparation circuits with the CNOT + T gate set、arXiv:2611.04909v1（2026年11月3日公開）。DCPと検証条件は第III・IV節、役割分担と時間は第V節・Table I、回路削減は付録E、雑音モデルは付録F。
- Quantinuum、Comb公式リポジトリ。2026年11月5日確認の版。README.org、Python用README、LICENSEを参照。