[論文レビュー] Error Bounds for Variational Quantum Time Evolution

Christa Zoufal, David Sutter+1 more|arXiv (Cornell University)|Jul 30, 2021

Quantum Computing Algorithms and Architecture参考文献 30被引用数 9

ひとこと要約

本稿は、Bures距離を用いた位相に依存しない誤差境界を導入し、従来のトレース距離やℓ2ノルムの境界よりもタイトな、事後的なシミュレーション精度の推定を可能にする、変分量子時間発展演算（VarQTE）のための誤差境界を提示する。この手法はMcLachlanの変分原理に基づく残差に基づく常微分方程式（ODE）を活用しており、追加リソースコストを最小限に抑えつつ、効率的かつ低オーバーヘッドで評価が可能である。4量子ビットおよび10量子ビット系における数値実験では、精度の高い保証が得られている。

ABSTRACT

Variational quantum time evolution allows us to simulate the time dynamics of quantum systems with near-term compatible quantum circuits. Due to the variational nature of this method the accuracy of the simulation is a priori unknown. We derive global phase agnostic error bounds for the state simulation accuracy with variational quantum time evolution that improve the tightness of fidelity estimates over existing error bounds. These analysis tools are practically crucial for assessing the quality of the simulation and making informed choices about simulation hyper-parameters. The efficient, a posteriori evaluation of the bounds can be tightly integrated with the variational time simulation and, hence, results in a minor resource overhead which is governed by the system's energy variance. The performance of the novel error bounds is demonstrated on numerical examples.

研究の動機と目的

• 変分量子時間発展演算（VarQTE）における信頼性の高い実用的誤差評価の欠如に取り組む。これは、変分的近似のため、シミュレーション精度が事前に不明であるためである。
• グローバル位相の不一致に対して感度が低く、量子シミュレーションにおける物理的状態比較基準と整合する誤差境界を開発する。
• 計算的に軽量で、変分的時間発展演算ワークフローに tightly 結合された事後誤差推定を提供する。
• 既存のトレース距離やℓ2ノルムアプローチよりもタイトな境界を提供することで、近位の量子シミュレーションにおける保証精度の向上とハイパーパrameter選定を改善する。

提案手法

• McLachlanの変分原理を基盤とし、グローバル位相に対して不変なBures距離に基づくアルゴリズム的誤差境界を導出する。
• 正確な時間発展演算からの逸脱を符号化する残差に基づく常微分方程式（ODE）を定式化し、効率的な事後誤差評価を可能にする。
• 変分的時間発展演算プロセス中に既に入手可能な量を活用して、ODEの数値積分により誤差境界ϵを計算する。
• 変分原理から生じる一次方程式系（SLE）を解くためにリッジ回帰および最小二乗法ソルバーを用い、ODE統合の堅牢性を確保する。
• 誤差境界計算をVarQTEパイプラインに直接統合し、追加の量子回路の深さや測定オーバーヘッドを最小限に抑える。
• RK32および他のODEソルバーを用いて、4および10量子ビットの量子スピン模型（Isingモデル）に対して本手法を実装し、リアルタイムおよびイマジナリータイム発展演算の両方で性能を検証する。

実験結果

リサーチクエスチョン

• RQ1 位相に依存しない誤差境界は、変分量子時間発展演算に対して、従来のトレース距離やℓ2ノルムの境界よりもタイトに導出可能だろうか？
• RQ2 シミュレーション中または後に、追加リソースコストを最小限に抑えながら、これらの誤差境界を効率的に計算できるだろうか？
• RQ3 実用的な量子シミュレーションにおいて、新しいBuresに基づく境界は真のシミュレーション誤差をどれほど正確に反映するだろうか？
• RQ4 近位の量子ハードウェアにおけるリアルタイムとイマジナリータイム発展演算の両状況において、誤差境界はどのように振る舞うだろうか？
• RQ5 境界は、ハイパーパrameter選定を支援し、変分量子アルゴリズムにおけるシミュレーション品質の検証に信頼性を持って利用できるだろうか？

主な発見

• 提案されたBuresに基づく誤差境界ϵは、先行研究のℓ2ノルム境界ϵPDよりもタイトであり、準備された状態とターゲット状態の間の保証の下限を提供する。
• 4量子ビット系では、Bures距離が約0.8に達するまで、誤差境界が実際のBures距離の10−1の要因の範囲内で密接に追従する。このときの保証は0.68に相当する。
• 10量子ビットのIsingモデルにおけるリアルタイム発展演算では、Bures距離が0.8に達するまで、誤差境界が実際の誤差の10−1の要因の範囲内で一致する。
• 10量子ビット系におけるイマジナリータイム発展演算では、Bures距離が0.35に達するとき、誤差境界は10−1の要因以上に発散する。このときの保証は0.94に相当する。
• ほとんどの必要量が変分的時間発展演算プロセス中に既に計算されているため、リソースオーバーヘッドは無視できるほど小さい。
• ODEに基づく誤差評価は堅牢でスケーラブルであり、異なるシミュレーション設定やODEソルバーにおいて一貫した性能を示している。