ZAP: Zoned Architecture and Performant Compiler for Field Programmable Atom Array

ZAP は、反復的な大域探索をハードウェアを考慮した単一パスフローに置き換えることで、競合する実行品質を維持しつつ、マルチオーダーのコンパイル速度向上（最大 10,000 倍）を達成する、フィールドプログラマブル原子アレイ向けに共同設計されたゾーニングアーキテクチャと決定論的コンパイラを導入する。

要約

何千ものダンサー（原子）を巨大なステージ上で演じる、大規模かつ高リスクのダンスパフォーマンスを組織しようとしていると想像してください。標準的な量子コンピュータでは、ダンサーたちは固定された場所に縛られており、互いに相互作用させるためには、複雑で遅い動きを使って互いの上に「ジャンプ」させる必要があります。

しかし、中性原子量子コンピューティングでは、ダンサーたちは見えない磁気バブル（光ピンセット）の上に浮遊しています。あなたは彼らを拾い上げ、ステージ上のどこへでも瞬時に移動させることができます。これは素晴らしいことのように思えますが、落とし穴があります：一度にあまりに多くのダンサーを動かすと、彼らは互いに衝突します（クロストーク）、あるいは音楽が騒々しすぎてダンサーたちが混乱し、リズムを失います（ノイズ）。

問題は、これらの何千もの動くダンサーのための「振り付け」（コンパイラ）を作成することが、信じられないほど困難だということです。従来の手法は、完璧なダンスを見つけるために数百万回のシミュレーションを実行することでこれを解決しようとしましたが、これには数時間から数日もの時間がかかりました。これは実用的な用途には遅すぎます。

そこで登場するのがZAP（Zoned Architecture and Performant Compiler）です。ZAP を、単純で巧妙なトリックを使って混沌を解決する、天才的な新しい舞台監督だと考えてください。

大きなアイデア：2 つの特別な部屋

ZAP は、ステージ全体を一つの大きな混乱として扱うのではなく、ステージを 2 つの明確な「部屋」に分けます：

1. 保管室：これは、ダンサーたちが踊っていない間、座っている静かで安全な待機エリアです。ここでは彼らは互いに離れており、偶然衝突することがありません。
2. ダンスフロア（エンタングルメント領域）：これは、実際の「パートナーダンス」（2 量子ビットゲート）が行われる小さく特別なエリアです。このフロアは、ペアのダンサーが完璧に手を取り合える特定のスポットが配置されています。

ZAP の仕組み（振り付け）

ダンスルーチンを実行する必要があるとき、ZAP はショー全体のすべての動きを一度に計画しようとはしません。代わりに、決定論的かつワンパスの戦略を使用します：

1. 「先読み」の動き：音楽が始まる前に、ZAP はどのダンサーがダンスフロアに行く必要があるかを素早く判断します。単に最も近いものを選ぶのではなく、次に移動する必要があるダンサーを先読みして確認します。保管室で彼らを配置し、呼び出されたときに、互いに衝突することなく、同時にダンスフロアへ移動できるようにします。
2. 「留まるか去るか」の決定：ペアのダンサーがフロアでダンスを終えると、彼らは次のダンスのためにフロアに残るか、保管室に戻るかの選択を迫られます。
   • 従来の手法は硬直的でした：全員をフロアに残す（ノイズのリスク）か、全員を即座に送り返す（移動時間の無駄）かのどちらかでした。
   • ZAP のトリック：コストを計算します。「このダンサーをここに留めると、ノイズが発生するか？送り返すと、時間がかかりすぎるか？」各ダンサーにとって最も賢い選択を行い、速度と安全性のバランスを取ります。
3. ワンパス・フロー：以前の方法では、計画を立て、それが悪いことに気づき、やり直す（反復探索）という手順を踏んでいましたが、ZAP は一度で全体を計画します。まるで、スコアを非常に良く知っている指揮者が、オーケストラを 50 回もリハーサルする必要がないように、合図を出すだけで音楽が流れるようなものです。

結果：速度と品質

この論文は、ZAP が以下の 2 つの点でゲームチェンジャーであると主張しています：

• 速度：信じられないほど高速です。他の管理者が 100 人のダンサーのルーチンを計画するのに数分または数時間を要したのに対し、ZAP は0.1 秒未満で完了します。これは1,000 倍から 10,000 倍の高速化です。かつてボトルネックだったプロセスを、瞬時に起こるものに変えます。
• 品質：ZAP はダンサーをいつ動かすか、いつ静止させるかを非常に賢く判断するため、「衝突」（クロストーク）や「混乱」（デコヒーレンス）を軽減します。その結果、ダンスはより正確になり、音楽はよりクリアになります。これは特に、ダンサーが奇妙なパターンで相互作用しなければならない複雑で乱雑なルーチン（構造化されたアルゴリズム）において顕著です。

これが重要な理由

この論文は、ハードウェア（2 つの部屋）とソフトウェア（監督）を連携するように設計することで、初めて量子コンピュータを拡張可能にできると主張しています。不可能なパズルを解こうとして立ち往生するのではなく、ZAP は量子プログラムを実行するための実用的で高速かつ信頼性の高い方法を提供します。

要約すると：ZAP は、移動する車だらけの都市のための超効率的な交通管制官のようなものです。完璧なルートを見つけるためにあらゆる可能性の渋滞をシミュレートする代わりに、スマートで事前に計画されたレーンと信号のシステムを使用して、全員を事故なく瞬時に目的地へ到達させます。

技術概要

技術概要：ZAP – 場プログラマブル原子アレイのためのゾーン化アーキテクチャと高性能コンパイラ

1. 問題定義

中性原子量子コンピューティングは、スケーラビリティのための主要なプラットフォームとして浮上しており、数千の物理量子ビットと高忠実度のゲート操作を提供するシステムを実現しています。このアーキテクチャの定義的特徴は、光ピンセット（音響光学偏向器、AOD）を用いて原子を動的に再配置し、接続性を確立する能力であり、超伝導回路などの静的アーキテクチャに見られる高価な SWAP ゲートチェーンの必要性を排除します。

しかし、この動的な能力は、深刻なコンパイラとアーキテクチャの課題をもたらします。既存のコンパイラ（Enola、ZAC、PowerMove など）は、論理回路を再構成可能な原子アレイにマッピングするために、遅く、反復的、探索ベースのアルゴリズムに依存しています。これらのアプローチはスケーリングに失敗します：適度なサイズの問題におけるコンパイル時間は、数分から数時間へと爆発的に増加し、フォールトトレラントなシステム開発を妨げるボトルネックとなり、アルゴリズム研究に不可欠な迅速なフィードバックループを混乱させます。さらに、これらのコンパイラは、実行品質（忠実度）と速度の両方を同時に最適化することに苦慮しており、原子輸送のオーバーヘッド、グローバルレーザー場からのクロストーク、およびデコヒーレンスの間のトレードオフを適切に管理できないことがよくあります。

2. 手法

著者は、特定のハードウェアレイアウトと決定論的かつ非反復的なコンパイラを統合する共同設計フレームワークであるZAP（Zoned Architecture and Performant Compiler）を提案します。

ハードウェアアーキテクチャ：ゾーン化アプローチ

ZAP は、原子アレイを 2 つの明確な領域に分割することで、空間的な構造を課します。

• ストレージゾーン：アイドル量子ビットを深さポテンシャルウェル（空間光変調器、SLM によって生成）に保持し、コヒーレンスを維持し、クロストークを最小化する静的領域。
• エンタングルメントゾーン：2 量子ビットゲートの実行のためにアクティブな量子ビットを輸送する動的領域。このゾーンは、ライドバーグブロッケード相互作用のために最適化されており、原子ペアはブロッケード半径内に配置されつつ、ペア間の不要な相互作用を防ぐために分離を維持します。

この物理的な分離により、アイドル量子ビットをエンタングルメントに使用されるグローバルレーザー場から隔離し、クロストークを大幅に低減します。

ZAP コンパイラフレームワーク

ZAP は、反復的なグローバル検索を、3 つの主要な段階からなる単一パスの決定論的コンパイルフローに置き換えます。

1. ASAP-Separate スケジューリング：
   全てのゲートをグループ化して論理深さを最小化する標準的な「ASAP-joint」スケジューリングとは異なり、ZAP はASAP-separate戦略を採用します。これは、まず全ての 2 量子ビットゲートをスケジュールし、その後、残りの時間スロットに単一量子ビットゲートを埋めます。この分離により、ゾーン化アーキテクチャにおけるデコヒーレンスの主要な原因である、ステージ間の量子ビットシャッティングの頻度が低減されます。

2. ルーティング認識配置：

   • 初期マッピング：量子ビットは、初期段階に参加する量子ビットを優先する重み付け優先順位システムに基づいてストレージサイトにマッピングされます。重要なのは、このマッピングが将来のルーティング競合を予測し、AOD 互換の移動ベクトルを生成する可能性に基づいて候補サイトを評価する「並列認識」項を組み込んでいる点です。
   • ステージごとの洗練：各ステージにおいて、コンパイラは、アイドル量子ビットをエンタングルメントゾーンに保持するか、ストレージに戻すかを動的に決定します。この決定は、保持した場合のクロストークによる忠実度損失と、移動した場合の転送およびデコヒーレンスコストを比較する費用対効果分析に基づいています。
   • 貪欲な割り当て：アクティブな量子ビットは、移動距離を最小化しつつ、AOD の行/列の競合を回避する移動パターンを優先するヒューリスティックを使用して、エンタングルメントペアに割り当てられます。

3. 競合認識ルーティング：
   ルーターは、論理的な移動を物理的な指示に変換します。これは、AOD の行/列の制約を維持する互いに互換性のある移動のセットを特定し、それらを並列バッチで実行します。競合が発生した場合（例：同じ行にある 2 つの原子が異なる行へ移動する必要がある場合）、ZAP は完全なシリアライゼーションなしに並列輸送を可能にするために、競合を解決するパーキング操作（短時間の中間変位）を採用します。

3. 主要な貢献

• 決定論的、単一パスコンパイル：ZAP は、先行研究（ZAC、Enola）に見られる反復的な検索ループを排除し、マッピング問題を効率的にスケーリングする決定論的プロセスに変換します。
• ハードウェア構造化共同設計：ハードウェアを明示的にストレージゾーンとエンタングルメントゾーンに分割することで、ZAP はコンパイルタスクを単純化し、クロストークを抑制する専用のスケジューリングおよび配置戦略を可能にします。
• ハイブリッドアイドル量子ビット管理：コンパイラは、クロストーク曝露と輸送オーバーヘッドのバランスを取る動的なポリシーを導入し、静的な「常に移動」または「常に待機」戦略を上回ります。
• ルーティング認識配置：配置ヒューリスティックは、マッピング段階で AOD の制約（行/列結合）を明示的に考慮し、ルーティング中の複雑な競合解決の必要性を低減します。

4. 実験結果

著者は、構造化された量子ベンチマーク（QFT、QRAM、Adder、QAOA など）およびランダムな 3-正則回路上で ZAP を評価し、Enola、ZAC、PowerMove と比較しました。

• コンパイル速度：ZAP は、数桁の速度向上を達成します。
  • ZACおよびPowerMoveと比較して、コンパイル時間は数十秒から0.1 秒未満に低下します（1,000 倍以上の速度向上）。
  • Enolaと比較して、評価されたスイートにおいて10,000 倍以上の速度向上を達成します。
  • ZAP は、100 量子ビット回路であっても 0.1 秒未満のコンパイル時間を維持し、500 量子ビットまで効果的にスケーリングしますが、ベースラインは計算的に実行不可能になります。
• 実行品質（忠実度）：
  • ZAP は、一貫して競争力のある、あるいは優れた忠実度を提供します。
  • 不規則な接続性を持つ構造化ワークロード（QRAM、QFT など）において、ZAP はクロストークを効果的に抑制し、輸送に関連する損失を制限することで、顕著な忠実度の向上を示します。
  • トポロジカルなモチーフがあまり顕著でないランダムな 3-正則回路では、忠実度の差は縮小しますが、ZAP は依然として競争力があります。
• 実行時間：ZAP は、削減されたシャッティングオーバーヘッドと効率的なスケジューリングにより、回路の全体的な継続時間を最小化するため、物理的な実行時間（メイクスパン）において、ゾーン化コンパイラの中で最も高速であることが多いです。

5. 意義と主張

本論文は、ハードウェア構造化された非反復的コンパイルが、高速でスケーラブルかつノイズを考慮した中性原子量子コンピューティングへの実用的な道筋を提供することを ZAP が実証していると主張します。

• スケーラビリティ：反復的な検索のボトルネックを排除することで、ZAP は、以前は合理的な時間枠内で処理が不可能だった大規模回路（数百量子ビット）のコンパイルを可能にします。
• 実用性：コンパイル時間の劇的な短縮は、対話的なワークフロー、反復的なアルゴリズム開発、およびクローズドループ較正を促進し、量子研究の進展に不可欠です。
• 忠実度対速度のトレードオフ：この研究は、速度が品質の犠牲を伴う必要があるという考えに挑戦します。ZAP は、巨大な速度向上を達成しながら、同時に実行忠実度を向上または維持しており、特にコンパイラの決定が最も影響を与える複雑で構造化されたワークロードにおいて顕著です。
• 将来展望：著者は、ハードウェアのコヒーレンスが向上するにつれて、クロストークおよび輸送に関するコンパイラレベルの決定の相対的な重要性が増大し、将来のフォールトトレラントシステムにとって ZAP の共同設計哲学がますます重要になると示唆しています。