Lazy-Move Compilation for Neutral-Atom Quantum Computers via a Buffer-Relay Fabric

技術要約：バッファ・リレー・ファブリックによる中性原子量子コンピュータのためのレイジー・ムーブ・コンパイル

問題提起
中性原子量子コンピューティングは、高い量子ビット数と長いコヒーレンス時間を提供しますが、そのネイティブな接続性は短距離のリドベリ・ブロック（Rydberg blockade）によって制約されています。現在の最先端のコンパイル戦略は、「再構成中心」のアプローチに依存しており、これは各ゲートの前に演算ペアをブロック半径内に持ってくるために、光ピンセットを用いてデータ原子を物理的に移動させるものです。これは柔軟性を提供する一方で、以下のような重大なコストを伴います：

1. フィデリティの低下： 各移動は、運動による加熱、空間光変調器（SLM）と音響光学偏向器（AOD）間のハンドオフ・エラー、および原子消失のリスクを導入します。
2. レイテンシ： AODの移動レイテンシは、単一のゲート・パルス持続時間を大幅に上回ります。
3. スケーラビリティ： 回路の深さが増すにつれ、数千回の輸送イベントの累積コストが、回路全体のフィデリティと実行時間を悪化させます。

中心となる課題は、データ原子の継続的な移動に頼ることなく、長距離の接続性を回復し、それによってフィデリティを維持し、レイテンシを削減することです。

手法：BRIDGEフレームワーク
著者らは、静的なハードウェア・ファブリックと「レイジー・ムーブ（lazy-move）」コンパイラの共同設計であるBRIDGE（Buffer-Relay Interconnect for Data-stable Gate Execution）を提示しています。このアプローチは、従来の設計論理を逆転させたものです。すなわち、データ原子を会わせるために移動させるのではなく、非エンコーディングの「バッファ」原子からなる静的なネットワークを通じてもつれをルーティングし、厳格な損益分岐分析によってそのコストが正当化される場合にのみ、データ原子を移動させます。

• ハードウェア・アーキテクチャ（バッファ・リレー・ファブリック）：

  • 二種混合基質： 本システムは、$^{87}\text{Rb}$（データ原子）と$^{133}\text{Cs}$（バッファ原子）の2種からなる、互い違いに配置された2Dインターリーブ・アレイを利用します。
  • チャネル選択性： 種特異的なアドレス指定とフォルスター共鳴により、3つの独立した結合チャネル（Rb–Cs（強）、Cs–Cs（強）、Rb–Rb（抑制））を作成します。
  • 幾何学的配置： Csバッファ原子は正方格子（$d_{BB} = 8.0\,\mu\text{m}$）を形成し、Rbデータ原子は$2\times2$のバッファ・プラケットの重心（$d_{DB} = 5.66\,\mu\text{m}$）に配置されます。この幾何学的配置により、強力なデータ・バッファ間およびバッファ・バッファ間の結合を確保しつつ、直接的なデータ・データ間のクロストークを抑制します。
  • BAMゲート： もつれは、バッファ原子を介した（Buffer-Atom-Mediated: BAM）ゲートによって分配されます。マルチホップのリレー・パスが、中間バッファ原子を経由してリドベリ励起を伝播させることで、任意のデータ・ペアを、演算子を再配置することなく相互作用させることが可能になります。

• コンパイラ戦略（レイジー・ムーブ）：

  • 静的ベースライン（BRIDGE-F）： 論理量子ビットを物理グリッドにマッピングし、すべてのゲートを最短経路リレー・アルゴリズムと非重複バッファ・スケジューリングを用いてバッファ・ファブリック経由でルーティングする、完全静的なコンパイラです。
  • ハイブリッド最適化（BRIDGE-H）： 「ホットスポット」（長いリレー・チェーンや時間的にクラスター化した長距離相互作用）を評価する、解析的なモビリティ解決フェーズを備えています。これは、単一の再配置移動のコスト（ハンドオフ・エラーと遷移デフェージング）が、将来のリレー・エラー（フィデリティと時間）の減少を上回るという損益分岐条件が満たされた場合にのみ、データ原子の移動をトリガーします。
  • 配置： 初期リレー長を最小化しつつ、将来の移動の可能性に対する空間的なヘッドルームを確保するために、合意ベース最適化（CBO）探索を使用し、オプションとして軽量な機械学習（ML）によるウォームスタートを適用します。

主な貢献

1. 静的バッファ・リレー・ファブリック： 二種のスタッガード・アレイを用いた、コンパイラ管理のリソースとして長距離接続性を固定的に提示する初の設計であり、データ原子の移動をデフォルトのルーティング・プリミティブとする必要性を排除しました。
2. レイジー・ムーブ・コンパイラ： データ原子の移動を、稀で意図的な例外として扱う、中性原子回路のための初のコンパイラです。これは、単一の再配置移動が将来のリレー・エラーのコストを相殺できるかどうかを判断するために、物理駆動型の損益分岐テストを利用します。
3. エンドツーエンドの検証： リレー・パルスのフィデリティ、リーク、相関エラー、AODの移動レイテンシ、および集約された回路フィデリティを含む、現実的なハードウェア・パラメータをモデル化した包括的なシミュレーション・パイプライン。

結果
単一の共有エラーモデルの下、22個の回路で構成されるマッチング・ベンチマーク・スイート（QASMBenchおよびVeriQBench）を用いて評価されました：

• フィデリティ： BRIDGE-Fは、ZAPに対して約10倍、Enola（再構成中心のベースライン）に対して約16倍高い幾何平均総フィデリティを達成しました。最も困難な回路では、その改善率は2桁を超えました。
• 実行時間： BRIDGE-Fは、ZAPと比較して約540倍、Enolaと比較して約1000倍、回路実行時間を短縮しました。
• 移動： BRIDGE-Fは、ベースラインにおける数千回の輸送イベントから、データ原子の移動をゼロに削減しました。
• 選択的モビリティ： ハイブリッド版であるBRIDGE-Hにおいて、選択的モビリティは一般的なスイートではわずかな利得（中央値の利得 $\approx 0\%$）しか提供しませんでしたが、特定の回路（位相シフト・アルゴリズムなど、時間的にクラスター化した長距離相互作用を持つもの）や、リレー・フィデリティが低下する場合において、最大 $\sim 19\%$ の大幅な改善を実現しました。
• アブレーション解析： パフォーマンスの向上は、主にモビリティを考慮した配置（リレー長を短縮する）と、静的なバッファ・ファブリック自体によって駆動されており、単なるスケジューリング・ヒューリスティクスによるものではありません。

意義と主張
本論文は、BRIDGEが中性原子量子コンピューティングにおける共同設計の到達点（co-design point）における根本的な転換を提示していると主張しています。接続性を、原子の運動の結果としてではなく、静的でルーティング可能な物理的リソースとして扱うことで、このアプローチはフィデリティと実行時間の両方を同時に向上させます。著者らは、「レイジー・ムーブ」の原則が、自己停止的な「後悔のない（no-regret）」メカニズムであると主張しています。すなわち、現在のハードウェア・パラメータにおいては、静的なファブリックが大多数のワークロードに対して十分であり、モビリティはそれが厳密に利益をもたらす場合にのみ呼び出されるということです。このアーキテクチャ・レベルの変化は、再構成中心のコンパイルに固有の累積的なエラー・ペナルティを回避する、高フィデリティで大規模な量子コンピューティングへの道筋を示唆しています。また、この固定トポロジーは、データ原子が静止したままバッファ・ネットワークが測定とルーティングを処理するという、表面符号（surface code）の誤り訂正要件とも一致しています。