[論文レビュー] Simulating Markovian Open Quantum Systems Using Higher-Order Series Expansion

Xiantao Li, Chunhao Wang|arXiv (Cornell University)|Dec 5, 2022

Tensor decomposition and applications被引用数 6

ひとこと要約

この論文は、ドゥハメルの原理に基づく高次系列展開とスケーリングされたガウス求積を用いて、マコフ的開放量子系をシミュレートする概念的に単純な量子アルゴリズムを提示する。この手法は、完全正値写像を効率的に近似することで、圧縮符号化や時間クロックを回避し、時間に依存するリンドブラジアンへ自然に一般化でき、O(t polylog(t/ǫ)) の最適な複雑度スケーリングを達成する。

ABSTRACT

We present an efficient quantum algorithm for simulating the dynamics of Markovian open quantum systems. The performance of our algorithm is similar to the previous state-of-the-art quantum algorithm, i.e., it scales linearly in evolution time and poly-logarithmically in inverse precision. However, our algorithm is conceptually cleaner, and it only uses simple quantum primitives without compressed encoding. Our approach is based on a novel mathematical treatment of the evolution map, which involves a higher-order series expansion based on Duhamel's principle and approximating multiple integrals using scaled Gaussian quadrature. Our method easily generalizes to simulating quantum dynamics with time-dependent Lindbladians. Furthermore, our method of approximating multiple integrals using scaled Gaussian quadrature could potentially be used to produce a more efficient approximation of time-ordered integrals, and therefore can simplify existing quantum algorithms for simulating time-dependent Hamiltonians based on a truncated Dyson series.

研究の動機と目的

• マコフ的開放量子系をより概念的に明快で効率的な量子アルゴリズムでシミュレートするための開発。
• リンドブラジアン超作用素の高次テイラー展開において完全正値性を維持する課題を克服すること。
• 圧縮符号化や時間クロックを必要としない量子シミュレーションアルゴリズムの実装を排除すること。
• 時間に依存するリンドブラジアンへのアプローチの一般化と、時系列積分の近似の改善。
• 複雑なプリミティブに依存せず、最新の水準に達する複雑度スケーリング O(t polylog(t/ǫ)) を達成すること。

提案手法

• ドゥハメルの原理に基づく進化写像の高次系列展開を用い、リンドブラジアンを扱いやすい成分に分解する。
• 系列内の多重積分を近似するためにスケーリングされたガウス求積を適用し、少ない項数で高次精度を達成する。
• H および Lj 演算子のブロック符号化入力モデルを採用し、線形ユニタリの組み合わせ（LCU）による効率的な量子実装を可能にする。
• 無関心アモニファイケーションと制御回転を用いて、時間および状態に依存する超作用素を準備する。
• 直接的に求積に基づく近似からクラウス作用素を構築することで、時間クロックと圧縮符号化を回避する。
• 系列を K′ 階に切り詰め、行列ノルムの不等式と散乱的超作用素の性質を用いて誤差を評価する。

実験結果

リサーチクエスチョン

• RQ1 ドゥハメルの原理に基づく高次系列展開を用いて、最適な複雑度と完全正値性を満たすリンドブラジアン進化をシミュレートすることは可能か？
• RQ2 従来の積分規則に代えてスケーリングされたガウス求積を用いることで、クラウス表現における項数を著しく削減できるか？
• RQ3 圧縮符号化や時間クロックを回避しながら、ポリログスケーリングの精度を維持するオープン系の量子シミュレーションが可能か？
• RQ4 この手法を時間に依存するリンドブラジアンへどのように一般化できるか？
• RQ5 このアプローチにより、時間に依存するハミルトニアンシミュレーションにおける時系列積分の既存アルゴリズムが簡略化できるか？

主な発見

• アルゴリズムは O(t polylog(t/ǫ)) の最適な複雑度スケーリングを達成し、既存の最高水準の結果と一致する。
• t∥L∥be = Θ(1) の条件下で K′ = O(log(1/ǫ)/log log(1/ǫ)) と設定すると、誤差は ǫ で抑えられる。
• スケーリングされたガウス求積の使用により、長方形則や中点則と比較してクラウス分解における項数を指数関数的に削減できる。
• 圧縮符号化や時間クロックを回避することで、実装が簡素化され、ゲートオーバーヘッドが低減する。
• 系列と求積フレームワークを拡張することで、時間に依存するリンドブラジアンへの自然な一般化が可能になる。
• 誤差解析により、ǫ′ ≤ ǫ/(t∥L∥be) のとき、切り詰め誤差が支配的になることが示され、総誤差を正確に制御できる。