[論文レビュー] Resource-efficient quantum simulation of transport phenomena via Hamiltonian embedding

Joseph Li, Gengzhi Yang+2 more|arXiv (Cornell University)|Feb 3, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

この論文は、 Hamiltonian embedding と Schrödingerization を用いて transport PDEs を量子コンピュータ上でシミュレートする枠組みを構築し、厳密な保証とハードウェア配慮のリソース推定を達成し、実機での 2D アドベクション実演を行っている。

ABSTRACT

Transport phenomena play a key role in a variety of application domains, and efficient simulation of these dynamics remains an outstanding challenge. While quantum computers offer potential for significant speedups, existing algorithms either lack rigorous theoretical guarantees or demand substantial quantum resources, preventing scalable and efficient validation on realistic quantum hardware. To address this gap, we develop a comprehensive framework for simulating classes of transport equations, offering both rigorous theoretical guarantees -- including exponential speedups in specific cases -- and a systematic, hardware-efficient implementation. Central to our approach is the Hamiltonian embedding technique, a white-box approach for end-to-end simulation of sparse Hamiltonians that avoids abstract query models and retains near-optimal asymptotic complexity. Empirical resource estimates indicate that our approach can yield an order-of-magnitude (e.g., $42 imes$) reduction in circuit depth given favorable problem structures. We then apply our framework to solve linear and nonlinear transport PDEs, including the first experimental demonstration of a 2D advection equation on a trapped-ion quantum computer.

研究の動機と目的

• PDE によって支配される輸送現象の効率的な量子シミュレーションを動機づける。
• 構造的な疎なハミルトニアンに対して潜在的な指数的量子加速を生み出す、厳密でハードウェアを意識した枠組みを提供する。
• Schrödingerization をハミルトニアン embedding と統合して、非ユニタリな輸送ダイナミクスをユニタリな量子進化へ写像する。
• 問題構造を跨いだリソース推定（ゲート深さ、キュービット数）を具体的に提示し、実機検証を示す。
• 線形および非線形の輸送 PDE に拡張し、溶接イオン量子計算機上での 2D アドベクション実験を含む。

提案手法

• Schrödingerization を用いて線形・非ユニタリ輸送ダイナミクスをユニタリ Schrödinger 発展へ写像する。
• 添字付きキュービットを用いた局所埋め込みハミルトニアンへの疎なハミルトニアンの埋め込みにより、テンソル積構造を活用する。
• ハミルトニアン埋め込み、リチャードソン外挿法、段階的積公式を組み合わせた量子ODEソルバを適用してハミルトニアンシミュレーションを実現する。
• 空間を Eulerian スキーム（有限差分またはフーリエスペクトル）で離散化して、ODE du/dt = Au の疎な A を得る。
• 回路深度と2量子ビットゲートを最小化するためのハードウェア配慮型埋め込み（ワンホット、一元、2進符号化）を実施する。
• IonQ Aria-1 デバイス上で 2D アドベクション方程式を実機検証として демонストレーションする。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン埋め込みと Schrödingerization の組み合わせは、疎でテンソル積構造を持つ輸送 PDE に対して厳密な指数的量子加速を提供できるか。
• RQ2 線形および非線形の輸送 PDE へこの枠組みを適用した場合の資源影響（キュービット数、回路深さ、ゲート数）はどうなるか。
• RQ3 実務的な埋め込み（一様/ワンホット vs 2進符号化）が回路深さと2量子ビットゲート数に与える影響は現実にはどうなるか。
• RQ4 現行の凍結イオン量子ハードウェア上で、輸送 PDE のシミュレーション、特に 2D アドベクションの実機デモが実現可能か。

主な発見

• この枠組みは、フォールトトレラント機器上で特定の輸送 PDE に対して指数的な量子加速をもたらす。
• ハミルトニアン埋め込みにより量子入力のオーバーヘッドを緩和し、構造的な疎なハミルトニアンに対してほぼ最適な漸近的複雑さを実現する。
• 資源推定は、好ましい問題構造に対して回路深度を大幅に削減できることを示す（例として最大で 42× の削減）。
• 非線形スカラー超曲線型 PDE に対して、ワンホット/一元埋め込みが標準的な2進符号化より回路深さと2量子ビットゲート数で優れる可能性を示す。
• 凍結イオン量子コンピュータ上での 2D アドベクション方程式の初実験的デモを報告。
• このアプローチは Schrödingerization、ハミルトニアン埋め込み、およびリチャードソン外挿法を統合して、厳密な保証付きの量子 PDE 解法を提供する。