Sampling hard circuits with verifiably high fidelity

問題提起

サンプリングに基づく提案（例：ランダム回路サンプリング）による量子超越性の実証は、近未来の時代において2つの決定的なボトルネックに直面しています。

1. エラー抑制： 古典的な困難さを達成するために回路規模を大きくすると、通常、ハードウェアノイズが増幅され、出力分布が自明なものとなり、古典的にシミュレート可能になってしまいます。既存のハードウェアに適した提案には、低オーバーヘッドのエラー保護が欠けており、一方で構造化された提案は、古典的に困難な領域における近未来のハードウェアへのマッピングが困難です。
2. 検証： 複雑な量子計算が高忠実度で実行されたことを検証することは困難です。広く分布した出力において忠実度を解明するには、膨大な数のサンプルが必要となります。既存のベンチマーク（XEBなど）は、強いノイズの仮定（空間的均一性や時間的独立性など）に依存しているか、あるいはプロキシとして機能するために高価な古典シミュレーションを必要とします。

著者らは、証明可能な古典的困難さ、エラー検出による高忠実度実行、および現在のベンチマークよりも弱いノイズ仮定を用いたデバイス依存の検証を同時に達成するプロトコルの開発を目指しています。

手法：ドープ・クリフォード・サンプリング (DCS)

著者らは、構造化されたクリフォード回路と非クリフォードな「マジック」リソースを組み合わせ、それらをすべて**時空コード（spacetime code）**内にエンコードする、ドープ・クリフォード・サンプリング (DCS) と呼ばれるプロトコルを提案しています。

1. 回路構成：

• クリフォード・バックボーン： 実験は、ランダムで高度に絡み合ったクリフォード回路（具体的には、$n$ 量子ビットに対して深さ $n$ のレンガ状パターン）から始まります。この構造は、効率的にエンコード可能であり、その出力忠実度を直接測定できるため採用されています。
• 時空エンコーディング： クリフォード回路は、時空コードを用いてエンコードされます。これには、空間と時間の両方に分散されたパウリ・チェック（シンドローム測定）を実行するためのアンシラ量子ビットの追加が含まれます。これらのチェックは、シンドロームを測定することでエラーを検出し、シンドロームが非ゼロのショットは事後選択（破棄）されます。これにより、状態は実質的に低エラーの部分空間へと投影されます。
• Tゲートによるドーピング： 古典的な困難さを導入するために、回路に非クリフォードな $T$ ゲートを「ドープ」します。極めて重要な点は、これらの $T$ ゲートが、コードのスタビライザーと可換である（具体的には、パウリ・チェックのバック・カミューラントと可換である）時空ワイヤー上にのみ配置されることです。
  • $T$ ゲートはチェックと可換であるため、シンドロームの分布を変化させません。
  • 超伝導ハードウェアにおいて、$Z$ 回転（$T$ ゲートを含む）はフレーム・トラッキングを介して仮想的に実装されるため、追加のノイズをほとんど導入しません。

2. 忠実度認証のロジック：
核心となる革新は、測定可能な未ドープのクリフォード状態の忠実度 ($F_1$) を用いて、ドープされた困難な状態の忠実度 ($F_2$) の下限を下げる手法です。

• 不変性： $T$ ゲートはチェックと可換であるため、受け入れられた故障（シンドローム）の集合は、ドープされた回路と未ドープの回路で同一となります。
• 無害 vs 有害： 未ドープのクリフォード回路において、いくつかの故障は「無害（状態を安定させる）」であり、他の故障は「有害」です。ドーピングは、以前は無害であった故障を有害なものへと変換し、忠実度を低下させる可能性があります。
• 境界： 著者らは、ランダムなクリフォード回路において、無害な故障が有害なものへと変換される確率は漸近的に小さい（$n$ に対して反多項式）ことを証明しています。
• 結果： 忠実度は以下のように下限付けられます：
  $$F_2 \ge F_1 - \text{Pr}(\text{harmless} \mid \text{accepted})$$
  これにより、困難なドープ回路をシミュレートすることなく、測定可能な $F_1$ と理論的な故障変換の境界を用いることで、$F_2$ を推定することが可能になります。

実験結果

このプロトコルは、70量子ビット、深さ70のクリフォード回路を用い、468個の $T$ ゲートをドープし、IBMの超伝導プロセッサ（IBM Boston）上で、97個の物理量子ビット（データ用70 ＋ アンシラ用27）を使用して実行されました。

• エラー抑制： シンドロームによる事後選択により、ゲートエラー率が物理エラー率と比較して10倍抑制されました。エンコードされたクリフォード参照状態は、0.32(1) の忠実度（読み出し補正後は 0.57(2)）を達成しました。
• 忠実度の下限： 測定されたクリフォード忠実度と、推定された無害な故障の変換確率（0.013）に基づき、著者らは、古典的に困難なドープされた状態の忠実度について、95% 信頼区間で 0.284 という下限を確立しました。
• 古典的困難さ： 実験では、16分間で約2,000個のサンプルが生成されました。著者らは、このインスタンスが現在のテンソルネットワークおよびスタビライザーベースのアルゴリズムにとって実行不可能であると推定しています。
  • テンソルネットワーク： この回路は高いもつれ（最小二部ランク 30）を示しており、現在の最先端スーパーコンピュータのメモリを超えるボンド次元（$2^{30}$）を必要とします。
  • スタビライザー分解： 468個の $T$ ゲートがあるため、スタビライザーランクが高すぎて効率的なシミュレーションが困難です（$\Omega(2^{0.228 \times 468})$）。
• 検証： この忠実度境界は、中間的なレジーム（低および中程度の $T$ カウント）において、直接忠実度推定（DFE）およびクロスエントロピー・ベンチマーキング（XEB）を用いて検証され、理論的な境界が保持されていることが確認されました。

主な貢献

1. エラー検出を伴う構造化された困難さ： 本論文は、スタビライザー状態を（$T$ ドーピングによって）マジック状態へと昇格させつつ、時空コードの誤り検出能力を維持する体系的な手法を導入しています。これにより、高忠実度な古典的に困難な回路の実行が可能になります。
2. デバイス依存の忠実度証明書： 著者らは、既存のプロキシ（XEBなど）よりも大幅に弱いノイズ仮定を必要とする、困難な量子状態の忠実度に関する証明書を提供しています。これは、空間的に均一または時間的に独立したノイズを仮定せず、一般的なパウリノイズモデル（トゥイリングにより達成可能）のみを想定しています。
3. 実験的実証： 本研究は、アルゴリズムに依存しない困難さの保証と、エラー検出された深い回路の信頼できる実行を組み合わせた、最初のサンプリング実験を実証しています。

意義と主張

本論文は、量子超越性の実証における「スケーリング問題」に対処していると主張しています。すなわち、回路規模の拡大、ノイズの抑制、および結果の検証を同時に行うことの難しさです。

• 困難さと信頼の共存： 主要な意義は、証明可能な古典的困難さと、信頼できる実行（エラー検出と忠実度認証による）が共存できることを示した点にあります。
• スケーラビリティへの道： 現在の手法は事後選択（オーバーヘッドを伴う）に依存していますが、ハードウェアの向上に伴い、同じ時空コードを誤り耐性のある量子超越性に適応できると著者らは主張しています。
• 検証の堅牢性： この手法は、XEBに求められる厳格なノイズ仮定を緩和しており、より現実的で相関のあるハードウェアノイズに対しても、検証の堅牢性を高めています。

著者らは、絶対的な優位性の規模については、アルゴリズムやハードウェアの改善によりシミュレーション時間が変化する可能性があることを認めつつ、控えめな姿勢を保っていますが、構造的な保証としての困難さと、検証された忠実度こそが主要な成果であることを強調しています。彼らは、改良されたアルゴリズムによる高速なシミュレーションの可能性は残されているものの、特定のインスタンスについては現在の最先端の手法に対して実行不可能であると断言しています。