Efficient algorithms for quantum chemistry on modular quantum processors

本論文は、擬似交換可能性と最適化されたモジュール間ゲートスケジューリングを活用することで、モジュール型量子プロセッサにおいて、モジュール間のレイテンシに対する感度を最小限に抑えつつ、効率的かつ化学的精度を持つ量子化学シミュレーションを可能にする分散型ユニタリ選択的結合クラスター（dUSCC）アルゴリズムを導入するものである。

要約

あなたは、非常に巨大で、信じられないほど複雑なジグソーパズルを解こうとしているところだと想像してください。量子コンピューティングの世界において、このパズルとは、ある大きな分子（薬や材料など）の正確な挙動を解明することです。これを解くためには、「量子ビット」と呼ばれる、数百万もの小さなスイッチを備えたコンピュータが必要です。

問題は、100万個の量子ビットを持つ一つの巨大なマシンを作ることは、一枚の巨大なガラス板から、完璧な100万ピースのパズルボードを作ろうとするようなものであり、あまりにも脆く、高価で、おそらくひび割れてしまうということです。

モジュール方式による解決策：パズル解決チーム
一つの巨大なマシンを作る代わりに、著者らは、互いに通信し合う小さなコンピュータ（モジュール）のチームを作ることを提案しています。これは、3人の人間がそれぞれ自分のデスクに座り、同じ巨大なパズルの異なるセクションを解こうとしている様子を想像してみてください。

• 良いニュース： 同じデスクにいる人々は、メモを渡し合い、パズルのピースを瞬時に交換できます。
• 悪いニュース： 別のデスクにいる人にメモを渡すには時間がかかります。その接続は遅く、完璧ではありません。

課題：「交通渋滞」
もし、異なるデスク間のパズルピースを頻繁に交換しなければならない場合、チームは届くのが遅いメモを待つために足止めを食らってしまいます。この「待ち時間」（レイテンシ）は、モジュール型のチームを、単一のより小さなチームよりも遅くさせてしまう可能性があります。

イノベーション：「dUSCC」アルゴリズム
著者らは、dUSCC（distributed Unitary Selective Coupled Cluster）と呼ばれる、作業を整理するための新しい方法を作り出しました。彼らは単にパズルを分割しただけではありません。どのようにして、遅い接続を回避してチームを機能させるかを考え出したのです。

以下に、いくつかの独創的な比喩を用いて、彼らがどのように行ったかを説明します。

1. 「擬似可換性」のトリック（シャッフル）

量子化学においては、特定のステップを実行する順序が通常重要になります。しかし、著者らは、この特定の種類の問題においては、その順序が最終的な答えに対してそれほど重要ではないことを見出しました。これはトランプのデッキをシャッフルするようなものです。最終的に手にするカードの内容が変わらない限り、どの順番でカードを手に取ったかは重要ではありません。

順序が厳密に重要ではないため、彼らは計算のステップを並べ替えることができます。つまり、計算の「遅い」ステップ（デスク間でメモを必要とするステップ）を、数学的な整合性を崩すことなく、スケジュールの異なるタイミングへと移動させることができるのです。

2. 「バッファリング」戦略（待合室）

チームのメンバーが自分の仕事をしている間に、配送トラック（「ベルペア」または接続）がデスクの間をゆっくりと走行している様子を想像してください。

• 従来の方法： チームは作業を停止し、トラックが到着するまで何もできない状態で待ちます。
• 新しい方法 (dUSCC)： チームは、トラックが走行している間も、自分たちのデスクでのタスクに取り組み続けます。彼らは、次のステップの準備をするために、この「待合室」の時間を利用します。

著者らは、遅い長距離通信によって生じた隙間に、速いローカルな作業を詰め込む「パッキング・スキーム」（テトリスのよう）を設計しました。彼らは、本質的に、遅い通信時間を速いローカル計算の背後に隠しているのです。

3. 「弱点」の発見

著者らは、水素分子の鎖を用いてこれをテストしました。その結果、分子が（異なるデスク間の「接続」が自然に弱い、例えば長く引き伸ばされた鎖のような）配置されている場合、チームはほとんど待機する必要がないことが分かりました。

• 結果： デスク間の接続がデスク内の作業よりも35倍遅かったとしても、計算にかかる総時間は全く増えないことを示しました。チームのマルチタスク能力があまりに効率的であるため、遅い接続が「無料（実質ゼロ）」になってしまうのです。

4. 「無料」のゾーンを見つける

最も興味深い部分の一つは、ある分子がこの「無料」のチームワークに適しているかどうかを判断するために、量子コンピュータを使う必要はないということです。まず、通常の古典的なコンピュータを使用して、分子の構造を調べることができます。もし古典的なコンピュータが、デスク間の接続が弱いことを検知すれば、「さあ、モジュール型のチームを使いなさい！それは速くなりますよ」と教えてくれるのです。

まとめ

この論文は、ネットワーク化された小さなコンピュータ上で量子化学を実行するための新しい「取扱説明書」（アルゴリズム）を提示しています。計算のステップを巧みに並べ替え、遅い接続を待っている時間を速いローカル作業に充てることで、彼らは以下のことを証明しました。

1. 巨大な量子問題を複数のマシンに分割しても、結果を遅らせることなく実行できること。
2. 多くの分子において、マシン間の遅い接続は非常にうまく管理されており、計算に追加の時間を一切要さないこと。
3. この手法は、これらのモジュールによる遅延を考慮していない標準的なソフトウェア（Qiskitなど）を使用するよりも、はるかに高速であること。

要約すると、彼らは、化学的なパズルを解くために、低速な接続を持つコンピュータのチームを、いかにして単一の超高速コンピュータと同じくらい効率的に機能させるかを解明したのです。

技術概要

技術要約：モジュラー量子プロセッサにおける量子化学のための効率的なアルゴリズム

問題提起
量子化学は将来の量子コンピュータにとって主要なターゲットアプリケーションであるが、実用規模の問題に対するリソース見積もりは、その潜在能力を最大限に引き出すために数百万個の物理量子ビットが必要であることを示唆している。現在のハードウェアのスケーリング・ロードマップは、この規模に到達するためには、モノリシックなプロセッサから、大規模な量子プロセッサが多数の相互接続されたモジュールで構成されるモジュラー・アーキテクチャへのパラダイムシフトが必要であることを示している。この移行における重要な課題は、モジュール間の量子インターコネクトが、モジュール内の操作と比較して、通常、忠実度が低く速度が遅いことである。本研究が取り組む中心的な問題は、これらのインターコネクトの性能要件を決定すること、および化学的精度を損なうことなく、あるいは実行時間を増大させることなく、インターモジュール・レイテンシ（遅延）を許容できるコンパイル戦略を開発することである。

手法
著者らは、モジュラー量子プロセッサ向けに特別に設計されたUSCC法の修正版である分散型Unitary Selective Coupled Cluster (dUSCC) アルゴリズムを導入する。この手法は、主に以下の3つのコンポーネントで構成される：

1. アルゴリズムの選択: 著者らは、局所的な古典解（ダイレクト初期化または量子位相推定による）と変分量子固有値ソルバー（VQE）を組み合わせたUSCCを利用する。USCCは、エネルギー勾配（$\partial E / \partial t_\beta \geq \epsilon$）に基づいてハミルトニアン項をフィルタリングし、重要なホッピング項のみを選択することで回路の複雑さを軽減する。この選択プロセスは、長距離相互作用を自然に排除するものであり、これはモジュラー分布において極めて重要である。
2. 回路コンパイルとパッキング: dUSCCアンザッツは、ジョルダン・ウィグナー変換とトロッター分解を用いて量子回路へとコンパイルされる。著者らは、指数項の順序を入れ替えてもトロッター誤差のオーダーが変化しないという性質である、トロッター分解の**擬似可換性（pseudo-commutativity）**を活用して、並列性を最大化する。
   • 回路は「タイル」（単一、二重、および制御ホッピング項）に分解される。
   • 1+1Dのタイル・パッキング問題を解決するために、ダブルパッキング・ヒューリスティックが採用される。このスキームは、タイルを高さによってソートし、モジュール内の並列性を最大化するようにパッキングを行う。
   • 決定的な点として、アルゴリズムは、インターモジュール間のベル対（Bell pairs）のバッファリングに合わせてインターモジュール・ゲートをスケジューリングする。インターモジュール・タイルは、レイテンシをシミュレートするために追加の幅で「マスク」され、これにより、ベル対の生成およびバッファリングと並行してモジュール内の操作を実行することが可能になる。
3. ハードウェアモデル: 本研究は、回転表面符号（rotated surface code）によって論理量子ビットがエンコードされた中性原子アレイ・プラットフォームを想定している。モジュール間操作は格子手術（lattice surgery）を介して行われ、これは逐次的に生成されるベル対を消費する。著者らは、これらのベル対生成のレイテンシを、モジュール内のCNOTゲートと比較してモデル化している。

主な貢献

• dUSCCアルゴリズム: インターモジュール・レイテンシとトロッター化アルゴリズムの擬似可換性を明示的に考慮した分散コンパイル・スキームの導入。
• パッキング・スキーム: 通信レイテンシを計算の背後に隠蔽し、ベル対のバッファリングと並行してインターモジュール・ゲートをスケジューリングすることで、通信を最適化する新しい貪欲なダブルパッキング・アルゴリズム。
• 閾値分析: システムが弱く絡み合っている（weakly entangled）場合、インターモジュール・レイテンシが総回路実行時間を増加させない「フリーなモジュラー化（free modularization）」領域の特定。
• 古典的な予測可能性: 分子のホッピング図を解析することにより、古典的なアルゴリズムを用いて「フリーな」モジュラー化の閾値を効率的に決定できることの証明。

結果
著者らは、$(H_4)_3$ チェーン（2つの$H_2$分子からなる3つのクラスター）および拡張水素鎖を用いてdUSCCを実証した：

• レイテンシ耐性: $(H_4)_3$ チェーンにおいて、化学的精度（$\sim 1.6$ mHa）を維持するように選択基準 $\epsilon$ が設定されている限り、インターモジュール・ゲートがモジュール内ゲートよりも約35倍遅く（$\tau \approx 35$）なっても、dUSCCの実行時間は変化しない。
• もつれ依存性: 「フリーな」モジュラー化領域は、インターモジュール間の量子もつれが疎（sparse）である場合にのみ存在する。選択基準 $\epsilon$ が厳しくなる（値が小さくなる）につれて、より多くの長距離インターモジュール・ホッピングが含まれるようになり、クラスター間の強い量子もつれが生じる。この「強くもつれた（strongly entangled）」フェーズでは、回路時間はインターモジュール・レイテンシに対して線形に増加する。
• 性能向上: 分散最適化（例：Qiskitを使用）を用いたナイーブなコンパイルと比較して、dUSCCコンパイルは$(H_4)_3$ システムにおいて回路時間を最大35倍削減する。この優位性は、モジュール数に対して線形にスケールする。
• 汎用性: スチルベンおよびポリエニ（polyene）分子についてもテストが行われ、特に量子テレポーテーション戦略を用いてインターモジュールCNOTを最小限に抑える場合に、同様のレイテンシコストの削減が示された。

意義と主張
本論文は、多くの大きな分子が自然に、弱いが非自明な結合を持つクラスターへとグループ化されるため、量子化学はモジュラー量子プロセッサに特によく適合していると主張している。本研究の意義は以下の点にある：

1. モジュラー量子化学の実現可能性: 分子の構造とトロッター化の擬似可キリティを利用するようにアルゴリズムをコンパイルすれば、インターコネクトが局所操作よりも大幅に遅い場合でも、モジュラープロセッサ上で量子化学を効率的に実行できることを示した。
2. リソース効率: 「フリーな」モジュラー化領域の存在は、量子もつれが弱いシステムにおいては、計算を分散させるオーバーヘッドが無視できることを意味しており、モジュラー・スケーリングが実用規模の量子化学への実行可能な道であることを示している。
3. コンパイル戦略: 本研究は、擬似可換性とインターモジュール・スケジューリングを活用する一般的なコンパイル・フレームワークを提供しており、これはUSCC以外の他のトロッター化アルゴリズムにも適用可能である。

著者らは、dUSCCが弱く結合したシステムに対して大きな利点を提供する一方で、インターモジュール通信がモジュール内の並列性を過剰に飽和させてしまうような、高度に複雑で強くもつれた分子に対しては厳密な解を提供するものではないとし、その範囲について謙虚な姿勢を保っている。しかし、そのような領域においても、dUSCCは非分散型のアプローチに対して実行時間の優位性を提供すると主張している。