[論文レビュー] Conditions for a quadratic quantum speedup in nonlinear transforms with applications to energy contract pricing

Gabriele Agliardi, Corey O’Meara+9 more|arXiv (Cornell University)|Apr 20, 2023

Quantum Computing Algorithms and Architecture被引用数 5

ひとこと要約

本稿では、多項式近似と量子ハダマード積（QHP）を用いて、双線形リスク関数を効率的に評価するハイブリッド量子古典アルゴリズムを提示する。効率的なデータロードユニタリーが利用可能な場合、2次多項式を近似する際、多項式対数要因を除いて二次的量子高速化を達成する。この手法は動的回路と強化された双方向符号化を活用し、近位量子ハードウェアにおける回路深さを低減し、性能を向上させる。

ABSTRACT

Computing nonlinear functions over multilinear forms is a general problem with applications in risk analysis. For instance in the domain of energy economics, accurate and timely risk management demands for efficient simulation of millions of scenarios, largely benefiting from computational speedups. We develop a novel hybrid quantum-classical algorithm based on polynomial approximation of nonlinear functions, computed through Quantum Hadamard Products, and we rigorously assess the conditions for its end-to-end speedup for different implementation variants against classical algorithms. In our setting, a quadratic quantum speedup, up to polylogarithmic factors, can be proven only when forms are bilinear and approximating polynomials have second degree, if efficient loading unitaries are available for the input data sets. We also enhance the bidirectional encoding, that allows tuning the balance between circuit depth and width, proposing an improved version that can be exploited for the calculation of inner products. Lastly, we exploit the dynamic circuit capabilities, recently introduced on IBM Quantum devices, to reduce the average depth of the Quantum Hadamard Product circuit. A proof of principle is implemented and validated on IBM Quantum systems.

研究の動機と目的

• リスク分析、特にエネルギー契約価格設定における非線形関数の計算のためのスケーラブルな量子アルゴリズムの開発。
• 量子操作の線形性のため、量子回路における非線形性を効率的に表現する課題の解決。
• 多項式形式の関数評価において、古典的モンテカルロ法よりも量子高速化を達成すること。
• 改善された双方向直交符号化（BOE）方式を用いて、回路深さと幅のトレードオフを最適化すること。
• IBM Quantumデバイスを用いた実験的検証を、動的回路機能を活用して行うこと。

提案手法

• 非線形関数を表現するために多項式近似が用いられ、量子回路による評価が可能になる。
• 量子ハダマード積（QHP）が、振幅の累乗を計算するために用いられ、多項式項の評価の基盤を形成する。
• 回路深さと幅のトレードオフを調整できるように、強化された双方向直交符号化（BOE）が導入される。
• 最近のIBM Quantumプロセッサにおける動的回路の進展を活用し、中間測定による動的停止を適用して平均回路深さを低減する。
• 最終的な多項式値の推定には、量子振幅推定（QAE）またはその変種（例：IQAE）が用いられ、高精度を確保する。
• 5つの実装バリアントの体系的比較を通じて最適化され、バリアント（c）が最良の高速化を達成したため選定された。

実験結果

リサーチクエスチョン

• RQ1 多項式近似を用いた量子回路において、双線形リスク関数の評価で二次的量子高速化を達成できるか。
• RQ2 符号化、回路深さ、QAEの変種の違いが、全体の性能と複雑さに与える影響は何か。
• RQ3 動的回路機能は、リスク評価のための量子アルゴリズムにおける平均回路深さ低減にどのような影響を及けるか。
• RQ4 強化された双方向直交符号化は、量子アルゴリズムにおける回路幅と深さのトレードオフをどのように改善するか。
• RQ5 提案されたアルゴリズムは、どのような条件下で古典的モンテカルロ法よりも高速化を達成するか。

主な発見

• 効率的なデータロードユニタリーが利用可能な場合、双線形形式の2次多項式近似において、多項式対数要因を除いて二次的量子高速化が達成される。
• 最適化されたバリアント（c）は、時間計算量 $ O(C_{\text{c,load}}(N) + C_{\text{d,load}}(N)N^{K/2 - 1/2}\lg N) $ を達成し、$ K=2 $ の場合、$ C_{\text{d,load}}(N) \ll N^{1/2} $ の条件下で高速化を実現する。
• 中間測定による動的停止により、平均回路深さが低減され、近位デバイスにおける性能向上が図られる。
• 強化された双方向直交符号化により、深さと幅のトレードオフをより良く制御でき、効率的な内積計算が可能になる。
• アルゴリズムはIBM Quantumシステム上で実験的に検証され、精度を適切に調整した場合、問題サイズの増加に伴い一貫した誤差スケーリングを示した。
• バリアント（c）は、$ K=2 $ の場合、古典的ベンチマークおよび他の量子バリアントよりも時間計算量で優れているが、高次多項式（$ K=3 $）では古典的手法よりも僅かに対数的改善にとどまる。