[論文レビュー] Robust high-order quantum simulation using finite-width pulses

Leeseok Kim, Milad Marvian|arXiv (Cornell University)|Mar 16, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

論文は、有限幅パルス効果に対してロバストなまま、任意に高次まで一般的なフレームワークを用いて任意の一階パルス列を量子シミュレーションのための高次にアップグレードする方法を、高次のトロター近似と動的補正ゲートを用いて提供し、オプションとしてマルチプロダクト公式アプローチを検討する。

ABSTRACT

We present a general framework for promoting first-order pulse sequences in quantum simulation to higher-order sequences that maintain robustness in the presence of finite pulse-width effects. Our approach maps a given first-order pulse sequence to a first-order Trotter formula, applies higher-order Trotter-formula constructions, and then compiles the resulting evolution back into physically implementable finite-width pulses via dynamically corrected gates. The resulting sequences achieve arbitrarily high-order error scaling with respect to the control cycle time of the underlying first-order sequence while maintaining robustness to finite pulse-width effects. The framework also enables the use of multi-product formulas for more efficient constructions. We apply the framework to several physically motivated quantum-simulation tasks and numerically verify the predicted error scalings.

研究の動機と目的

• 一次瞬時パルス列を正確な量子シミュレーションのために高次列へ促進する。
• 実装中の有限パルス幅効果に対して堅牢性を維持する。
• 物理的に実装可能な有限幅パルスへマッピングする構成を提供する。
• 期待値での応用時に負の時間進化を避けるためにマルチプロダクト公式の使用を検討する。

提案手法

• 与えられた一次列を効果ハミルトニアンの一次トロター公式として解釈する。
• コントロールサイクル時間のスケーリングを改善するために高次トロター公式へアップグレードする。
• 高次指数関数をネイティブパルスへ再コンパイルし、動的補正ゲート（DCG）で実装する。
• 二つの構成を提供する：(i) 理想パルス列入力、(ii) 有限幅パルス列入力の両方が高次のロバスト性をもたらす。
• 高次公式に必要な負時間進化をダイナミックデカップリングで対処するか、観測値のみが必要な場合は負時間を避けるためにMPFを用いる。
• トロター誤差とDCG誤差のトレードオフを示す誤差境界を分析する。

実験結果

リサーチクエスチョン

• RQ1 有限幅パルス幅に対して堅牢でありつつ、いかなる一次パルス列を任意の高次へアップグレードできるか？
• RQ2 次数を上げる際の正確な誤差スケーリングとリソースコスト（パルス数、時間）はどのようになるか？
• RQ3 実際の実装で負時間進化を回避できるか（例：期待値のみが必要な場合）？
• RQ4 現実の量子シミュレーション任務における実用性と堅牢性の点で二つの構成はどう比較されるか？
• RQ5 提案手法は物理的に動機づけられたタスクで予想誤差スケーリングを数値的に検証しているか？

主な発見

• 理想パルス極限において制御サイクル時間の任意高次スケーリングを提供する。
• 有限幅パルスでは、総誤差はトロター項とDCG項の二つであり、いずれも構成で明示的に境界付けされる。
• 構成1は理想一次列を入力とし、5^{p-1}ブロックの2p乗位列を生み出し、DCG誤差は (κ^q Λ t_p)^{q+1} にスケールする。
• 構成2は有限幅一次列を入力とし、同様の構造で 2p乗位列を達成し、l、p、t_p を含む明示的境界を持つ。
• 高次公式に必要な負時間進化はダイナミックデカップリングで実装可能、または期待値測定のためのMPFでは回避可能。
• 数値検証により、物理的に動機づけられた複数の量子シミュレーションタスクで予想された誤差スケーリングを確認した。