モジュール化量子計算での耐故障論理操作と効率的な状態準備:雑音ある接続でも実用に近い性能を確認
これは、複数の量子処理装置(QPU)をつないだ「モジュール化」された量子計算で、接続部の雑音があっても耐故障(フォールトトレラント)な論理演算と多体量子状態の準備が可能かを調べた研究です。研究者らは、個々のQPU内の雑音とモジュール間インターフェースの雑音が、回路レベルでの論理ゲートの誤り率にどう影響するかを示しました。結果は、接続部の雑音が局所雑音より大きくても、しきい値(誤りを抑えて拡張可能な点)をほとんど損なわないことを示しています。さらに、分散環境でのGHZ状態(複数の場所にまたがる基本的な量子もつれ)の効率的な準備法も提案しています。
研究チームは、「回転サーフェス符号」と呼ばれる量子誤り訂正符号で論理量子ビットを符号化し、格子手術(lattice surgery)という手法でQPU間の非局所的なCNOT論理ゲートを実装する回路レベルのシミュレーションを行いました。格子手術は、コードのパッチ(領域)同士を測定でつなげることで論理的な絡み合いを作る方法です。モジュール間の操作は、共有したもつれ対(ベルペア)を使ったゲート・テレポーテーションで実現し、ベルペアの不完全さを非局所雑音としてモデル化しました。雑音モデルでは、局所の二量子ビットゲート誤り確率をϵ、非局所ゲートはαϵとし、分散実装の例としてα=20を用いた比較も行っています。シミュレーションは各設定で50000回ずつ実行し、LOOMやSTIMで回路を扱い、PyMatchingで復号(エラー訂正の判定)をしています。
主な結果は二点あります。まず、インターフェース雑音は局所雑音より1桁程度大きくても耐えられることです。具体的には、分散実装とモノリシック(単一装置)実装との差で、耐故障しきい値の低下は小さく、ケースによっては論理しきい値の差が2×10−3から3×10−3の範囲に収まっていました。これはしきい値の振る舞いが局所ゲート雑音に支配されていることを示しており、重要なのは非局所ゲートの絶対数ではなく、局所ゲートとの誤り率の比であると述べられています。第二に、格子手術を使った分散CNOTは、モジュール間での実装に伴う追加誤りを考慮しても実用的であることが示されました。なお、ある構成では二つのCNOTを連続して適用し、どちらか一方の失敗を論理失敗と見なす設定で評価しています。
もう一つの貢献は、分散環境でのGHZ状態の効率的な準備プロトコルです。GHZ状態は複数の場所にまたがる強い量子もつれで、計測やベンチマークに重要です。提案法は、補助(アンシラ)パッチの使用量、実行時間、消費する非局所ベルペア数を減らすことを目指しています。アンシラ最小化問題は、ネットワークを表すグラフ上の頂点被覆(vertex cover)問題に対応することを示し、その上で多項式時間のヒューリスティック(近似)アルゴリズムを導入して低オーバーヘッド解を見つけられると報告しています。これにより分散GHZ準備の資源配分問題に対する実用的なアプローチが提示されました。
この研究が重要な理由は、モジュール化アーキテクチャが実際にスケール可能かを、単なるメモリ性能ではなく回路レベルの論理操作で定量的に示した点です。光学インターフェースや原子メモリを用いた実験的進展と合わせれば、現実的な分散量子計算の設計に役立つ数値的根拠を与えます。
ただし注意点もあります。本研究の結論は、採用した雑音モデル(単一および二量子ビットのデポラリザリング雑音)や、シミュレーションで仮定した同質な素子特性に基づきます。実際の装置では複雑な誤りや非均一性、通信遅延などが追加で影響する可能性があります。また、示された耐性は本論文で扱ったアーキテクチャ群に対しての結果であり、他の接続方式や極端に高いインターフェース雑音下で同じ性能が得られるとは限りません。これらは今後の実験的検証とさらなる解析が必要です。