IBM Quantumは、任意の量子回路に対してハードウェア効率の高いエラー検出ループを自動的に識別、スコアリング、注入するよう設計されたオープンソースのQiskitソフトウェアアドオン、Qiskit Paulice(qiskit-paulice)を正式に発表した。IBMの研究者であるSimon MartielandとAli Javadi-Abhari氏によって共同開発されたこのパッケージは、現在のNoisy Intermediate-Scale Quantum(NISQ)チップにおけるハードウェアノイズプロファイルを軽減するために時空間パウリチェックを導入している。
2029年の展開が予定されている従来のハードウェア集約型のFault-Tolerant Quantum Computing(FTQC)レイアウトや、指数関数的なサンプリング時間を要するZero-Noise Extrapolation(ZNE)やProbabilistic Error Cancellation(PEC)などの時間集約型エラー軽減手法とは異なり、Pauliceは事後選択型エラー訂正ツールとして機能する。最小限のゲートと量子ビットのオーバーヘッドで、破損した実行軌跡を分離してフィルタリングする。
基礎的なハードウェア層では、標準的なエラー検出プロトコルは専用の物理補助量子ビットを主要な計算データ量子ビットに直接配線することを要求する。局所的な制御場を介してもつれ合わせると、これらの補助ビットはシンドロームビット列を測定する。エントリが非ゼロビット(1)を返した場合、エラーが発生したことになる。しかし、従来の検証手法は高重みオペレーターの測定を頻繁に必要とし、これが過度な回路深度を生じさせ、物理量子ビット接続性が限られたデバイス上で複雑なSWAPゲートパターンを必要とする—しばしば検出するノイズよりも多くのノイズを導入してしまう。
Qiskit Pauliceは、制約を統合された時空間コードとして実行することで、このボトルネックを回避する。物理座標に厳密に沿って静的量子ビットを評価するのではなく、このパッケージは回路の段階的実行全体を通じて時間内の特定の場所に検証操作を配置する。この時間的分散により、単一の低重みチェックで計算の広範な領域にわたるエラー漏洩を捕捉し追跡することができる。
ハードウェアスタックを最適化するには、チェックはその検出能力と導入するゲートノイズのバランスを取る必要がある。Pauliceはマルチテナント型Rust加速コンパイラを活用し、3つのコアベンチマークを通じてチェックパラメータを検証する:
- 妥当性: 選択されたPauli演算子の逆伝播積が、理想回路によって準備された状態の安定化演算子として直接マッピングされることを確認します。
- 重み最小化: チェック選択アルゴリズムは複雑な操作を除外し、より少ないエンタングリングゲートを必要とするハードウェア効率的な構造を優先します。
- 有効性スコアリング: パッケージは、チェックによって明らかになったPauliエラーをポストセレクトされたノイズチャネルにモデル化し、組み込みのコスト関数を介してシステムを評価することでサンプリングオーバーヘッドを最小化するか、経験的Monte Carloサンプリングを通じて論理エラー率を計算します。
実用的なワークフローは、初期基底状態(∣0⟩)から始まる補助ビットピンをマッピングする。チェック対象回路を通じて状態を順伝播させることで、チェックのサポートとして知られる局所的な出力オペレーターが得られる。実行時に、サポート内で測定されたビットが偶数パリティを示せば、チェックは合格(0)となり、奇数パリティが解決された場合、サンプルは破損としてフラグが立てられる。
この構造的シンドロームデータは、多様な実行パスにルーティングできる。サンプリングベースまたは期待値ワークフローでは、ユーザーは単一ショット事後選択を実行し、エラーが観測されなかった実行のみを保持し、残りを破棄することで、残りのデータの忠実度を劇的に増幅させる。あるいは、ソフトウェアはリアルタイムシンドロームデータを外部のPECエラー軽減または表面符号エラー訂正パイプラインに直接送り込み、逆ノイズチャネルを収縮させてサンプリングオーバーヘッドを最小化することもできる。
このプラットフォームはクリフォードおよびクリフォード支配型量子アーキテクチャ向けに最適化されており、有効で構造化された安定化子が数学的によく理解されている。そのスケーラビリティを実証するため、このソフトウェアフレームワークは既に最大50量子ビットと2,450個のもつれゲートを扱うクリフォード支配型回路の忠実度を改善するために展開されている。
さらに、Qiskit Pauliceを支える中核的な時空間プロトコルは、アクティブな優位性候補追跡に移行している。IBM Quantumとシカゴ大学による共同マイルストーン提出において、研究者たちは時空間パウリチェックを大規模ランダムグラフ状態サンプリングワークロードに統合することに成功した。シンドロームベースのフィルタリング層を高密度ランダム回路サンプリングベンチマークに埋め込むことで、チームは量子計算を古典スーパーコンピューティングエミュレーターでは扱いきれない処理領域にスケールさせる実用的な方法論を実証した。
完全なソフトウェアドキュメント、APIクイックスタートチュートリアル、オープンソースコードリポジトリは、公式IBM Qiskit Paulice Addon Pageで閲覧でき、高レベルの開発者概要と展開タイムラインはIBM Quantum Blogでホストされている。
2026年6月29日
