[論文レビュー] Quantum Interior Point Methods for Semidefinite Optimization

Brandon Augustino, Giacomo Nannicini+2 more|arXiv (Cornell University)|Dec 11, 2021

Advanced Optimization Algorithms Research参考文献 74被引用数 4

ひとこと要約

本稿では、量子線形システムアルゴリズムを活用して、半定値計画法（SDO）のための2つの量子内部点法（QIPM）を提示する。最初の手法は、妥当性を保証しない不正確な探索方向を計算する。2番目の手法は、ヌル空間表現を用いて、不正確な方向に対しても妥当性を保証する。両手法とも、標準的な仮定の下で最適解への多項式収束を達成するが、2番目の手法は問題次元 $ n $ において量子高速化を達成するが、他のパラメータへの依存度は悪化する。

ABSTRACT

We present two quantum interior point methods for semidefinite optimization problems, building on recent advances in quantum linear system algorithms. The first scheme, more similar to a classical solution algorithm, computes an inexact search direction and is not guaranteed to explore only feasible points; the second scheme uses a nullspace representation of the Newton linear system to ensure feasibility even with inexact search directions. The second is a novel scheme that might seem impractical in the classical world, but it is well-suited for a hybrid quantum-classical setting. We show that both schemes converge to an optimal solution of the semidefinite optimization problem under standard assumptions. By comparing the theoretical performance of classical and quantum interior point methods with respect to various input parameters, we show that our second scheme obtains a speedup over classical algorithms in terms of the dimension of the problem $n$, but has worse dependence on other numerical parameters.

研究の動機と目的

• 半定値計画法（SDO）を高速化する量子アルゴリズムの開発。これは凸最適化の基本的問題であり、広範な応用を持つ。
• 最近の量子線形システムソルバの進展を活用して、古典的内部点法（IPM）を量子ドメインに拡張すること。
• 不正確な探索方向でさえも反復の妥当性を保証する新しい量子スキームの設計。これにより、実用的なハイブリッド量子古典実装が可能になる。
• 提案された量子IPMの理論的複雑度を分析し、古典的手法と比較すること。
• 標準的な内部点法の仮定の下で、両方の量子スキームが多項式的収束することを確立すること。

提案手法

• 最初のスキームである不正確妥当量子IPM（IF-QIPM）は、古典的IPMと同様に、量子線形システムアルゴリズムを用いて不正確な探索方向を計算するが、反復中に妥当性を強制しない。
• 2番目のスキーム、不正確不妥当量子IPM（II-QIPM）は、ニュートン方程式のヌル空間表現を用いて、不正確な方向を妥当空間に射影することで、近似誤差があっても反復が妥当性を保つようにする。
• II-QIPMは、ニュートン方程式をブロックエンコーディングで表現し、量子アモニチュード推定（トモグラフィー）を適用して、量子状態から解の成分を抽出する。
• これらのアルゴリズムは、パラメータ $ \gamma_1, \gamma_2 $ で制御される誤差境界を持つ量子線形システムソルバに依存しており、標準的なIPM仮定の下で収束を保証する。
• ニュートン方程式は対称化され、低ランク構造と条件数 $ \kappa $ を活用した量子アルゴリズムで解かれる。複雑度は $ n $, $ \mu_0 $, $ \epsilon $ に依存する。
• 収束は、量子誤差推定と行列ノルム不等式を用いて、双対ギャップと不適応性をバウンディングすることで証明される。

実験結果

リサーチクエスチョン

• RQ1 量子アルゴリズムは、半定値計画法における古典的内部点法よりも高速化を達成できるか？
• RQ2 不正確な量子計算による探索方向でさえも反復の妥当性を保証できる量子IPMを設計することは可能か？
• RQ3 SDOのための量子内部点法の理論的複雑度は何か？ また、問題次元 $ n $ と条件数 $ \kappa $ において、古典的手法と比べてどうなるか？
• RQ4 ニュートン方程式のヌル空間表現は、ハイブリッド量子古典アーキテクチャ上で効果的に実装可能であり、妥当性を保証できるか？
• RQ5 $ n $ における量子高速化と、$ \kappa $, $ \mu_0 $, $ \epsilon $ などの他のパラメータへの依存度の悪化のトレードオフは何か？

主な発見

• II-QIPMは、標準的な仮定の下で、問題次元 $ n $ において量子高速化を達成し、複雑度が $ \mathcal{O}(\sqrt{n}) $ にまで低下する。これは古典的手法の $ \mathcal{O}(n) $ よりも高速である。
• IF-QIPMとII-QIPMの両方とも、$ \epsilon $-最適解への多項式時間収束を達成する。収束速度は $ \theta_k $, $ \mu_0 $, $ \kappa $ に依存する。
• II-QIPMは、ヌル空間表現を用いることで、不正確な探索方向でさえも反復の妥当性を保証する。これは、ハイブリッド量子古典計算に非常に適した画期的なアプローチである。
• $ n $ における量子高速化は、他のパラメータへの依存度の悪化という代償を伴う。II-QIPMは $ \mathcal{O}(\kappa^2) $ の依存度を示し、これは古典的手法よりも悪い。
• 双対ギャップは $ \mathcal{O}(n\theta_k\mu_0) $ でバウンディングされ、不適応性は誤差項 $ \delta $ と $ \beta $ で制御され、両者とも $ \mathcal{O}(n^2\theta_k\mu_0) $ であることが示された。
• 分析により、量子アモニチュード推定とブロックエンコーディング技術を用いることで、誤差を有界に保ちながら量子状態から解を抽出できることを示した。これにより、収束性が保証される量子IPMの設計が可能になる。