技術要約：初期誤り耐性表面符号アーキテクチャにおけるアルゴリズム・ブレークイーブンの予測のためのコンパイル・パイプライン

問題設定

表面符号のハードウェア上での実現における最近の実験的進展は、誤り耐性量子計算（FTQC）の見通しを明るくしており、特に論理メモリのブレークイーブン（break-even）のデモンストレーションが行われている。しかし、数千の物理量子ビットを持つ次世代デバイスをターゲットにできるコンパイル・ワークフローには、決定的な欠落が存在する。既存のコンパイル技術は、物理リソースが豊富であり、固定された論理量子ビットのレイアウトや専用のマジック状態ファクトリが存在することを前提としているため、「初期誤り耐性（EFT）」時代には適さないことが多い。EFTレジームでは、物理的な空間が貴重な資源である。リソースはデータ量子ビット、アンシラ、およびマジック状態生成の間で共有される必要があり、専用のファクトリ領域を確保することは困難である。さらに、従来の計算リソース推定は、格子手術（lattice surgery）の層で停止するか、簡略化されたボリューム計数に依存することが多く、量子誤り訂正（QEC）が実際にアルゴリズムの性能を向上させる（アルゴリズム・ブレークイーブン）時期を判断するために必要な、物理レベルの正確なリソース推定やフィデリティ予測を提供できない。

手法

著者らは、論理量子アルゴリズムを、2D回転表面符号上で格子手術を実行する物理回路へと変換する、包括的なエンドツーエンドのコンパイル・パイプラインを提示している。このパイプラインは、コンパイル・チェーンにおける特定のサブ問題に対処するために、いくつかのオープンソースツールと最近の革新技術を統合および改良している。

1. 回転の結合と合成： 標準的な$R_Z$ベースのワークフローの代わりに、本パイプラインは$U_3$ベースのワークフローを採用している。連続的な単一量子ビット回転は、$U_3$ゲートへと結合された後にClifford+$T$シーケンスへと合成される。このアプローチは、trasynツールを利用することで、与えられた合成誤差に対して$T$ゲート数を最小化する。
2. 実行エラーを考慮した合成： パイプラインは、トップダウン型のエラー予算策定を超えている。合成プロセスにおいて、アイドリング中の論理量子ビットによるメモリ・エラーを含む、総実行オーバーヘッドを考慮するボトムアップ・アプローチを採用している。培養（cultivation）、注入（injection）、およびアイドリングの誤差チャネルを組み込んだ全体的なプロセス・フィデリティに基づいてゲートシーケンスをサンプリングすることにより、コンパイラは特定の物理構成（符号距離 $d$ および物理エラー率 $p$）に対してインフィデリティを最小化する。
3. マジック状態の培養と注入： 専用のファクトリによる蒸留（distillation）に代わり、本パイプラインはマジック状態の培養 [26] を利用する。このプロトコルにより、単一の表面符号パッチ（$d \ge 7$）上でのオンデマンドかつインプレースのマジック状態準備が可能になる。パイプラインは、隣接する量子ビットパッチへのラウンドロビン方式によるアクセスを用いて、$T_X T_Z$シーケンスのための効率的な逐次注入スキームを実装しており、これによりルーティング・オーバーヘッドと過剰な生成要求を排除している。
4. 直接格子手術合成： パイプラインは、Cliffordサブ回路のロジックから直接格子手術操作を合成するために LaSsynth [62] を使用し、ゲートごとの翻訳ではなく、ゲート単位の変換を行わない。このアプローチは、データ量子ビットとアンシラ量子ビットを柔軟に扱い、固定されたレイアウトを回避し、時空ボリュームを最適化する。
5. 物理回路生成とシミュレーション： パイプラインは、格子手術操作をフル物理回路に変換するために tqec ツールを使用する。極めて重要な点として、本パイプラインはマジック状態の培養プロトコルを除外した「Cliffordプロキシ」回路を生成する。その代わりに、古典シミュレーションを可能にするために、マジック状態（$|T\rangle$）の入力を$Z$基底（$|0\rangle$）の初期化に置き換える。著者らは、これまで無視されていた、あるいは困難であった相関面（correlation surfaces）を計算するための多項式時間のアルゴリズムを開発した。
6. リソース推定： パイプラインは、現実的なノイズモデル（SI1000）の下でこれらの物理回路の古典シミュレーションを実行し、論理エラー率とインフィデリティを推定する。これにより、誤り耐性実行と非符号化実行の直接的な比較が可能になる。

主な貢献

• エンドツーエンド・パイプライン： 回転の結合、エラーを考慮した合成、培養、および直接格子手術合成を統合した、表面符号で符号化されたアルゴリズムのための、最初の物理レベルのコンパイルおよびリソース推定パイプラインの開発。
• アルゴリズム・ブレークイーブンの予測： 量子誤り訂正（QEC）が非符号化実行よりもアルゴリズムの性能を向上させる地点、すなわちアルゴリズム・ブレークイーブンを達成するために必要な具体的なハードウェア要件（物理量子ビット数、符号距離、物理エラー率）を特定する手法。
• 最適化されたコンパイル戦略： $U_3$ベースの合成と実行エラーを考慮した最適化の導入。これにより、$T$ゲート数を削減し、従来の$R_Z$ベースまたは固定閾値のアプローチと比較して、総プロセス・インフィデリティを最小化する。
• インプレースのマジック状態アクセス： マジック状態の培養とラウンドロビン注入の検証および統合。これにより、空間的なフットプリントを大幅に削減し、専用のファクトリ領域やルーティング・オーバーヘッドを排除する。
• 相関面の計算： 大規模な格子手術回路の相関面を計算するための多項式アルゴリズムの開発。これにより、シミュレーションにおける論理観測量の正確な回収が可能になる。

結果

パイプラインは、2つの著名なアルゴリズム、すなわち量子位相推定（QPE）および5ビット低自己相関バイナリ系列（LABS）問題に適用されたQAOAに対して適用された。

• ブレークイーブン条件：
  • 物理エラー率 $p = 10^{-3}$ のとき、2,517物理量子ビット（表面符号距離 $d=11$）でアルゴリズム・ブレークイーブンが達成される。
  • 物理エラー率 $p = 5 \times 10^{-4}$ のとき、1,737物理量子ビット（表面符号距離 $d=9$）でブレークイーブンが達成される。
• 性能比較： コンパイルされたCliffordプロキシ回路のシミュレーションにより、特定された構成において、誤り耐性実行のインフィデリティが、同じハードウェア制約（2D最近傍結合）で動作する非符号化実行よりも低いことが示された。
• リソース指標： 本研究は、様々な符号距離とエラー率に対して、時空ボリューム、符号サイクル、および$T$ゲート数の詳細なデータ（表2）を提供し、パイプラインが特定のハードウェア制約に対してエラーを最小化する適応型回路を生成することを示した。

重要性

本論文は、本研究が近未来の量子ハードウェアにおいてアルゴリズム・ブレークイーブンを達成するための具体的な条件を特定したものであると主張している。抽象的なリソース推定を超えて、完全な物理レベルのシミュレーションを行うことにより、著者らは、距離 $d \ge 9$ の表面符号が、ブレークイーブン点を超える非自明なアルゴリズムを実行するのに十分であることを実証している。本研究は、これらの具体的なブレークイーブン条件を近未来のハードウェア上で実証することをコミュニティに求めている。さらに、本パイプラインは、リソース制約のあるEFT時代のためのエンドツーエンドのコンパイラへの道を開くものであり、EFTレジームにおけるリソース制約を考慮したコンパイル戦略の切実なニーズに応えるものである。著者らは、数十の論理量子ビットを扱うアルゴリズムへのスケーリングには、格子手術操作のさらなる最適化（例：「ピープホール」最適化）や、非決定的（nondeterministic）なマジック状態準備を扱う動的なプログラムの開発が必要であると述べている。