[論文レビュー] Minimizing polynomial functions on quantum computers

Raouf Dridi, Hedayat Alghassi+1 more|arXiv (Cornell University)|Mar 19, 2019

Quantum Computing Algorithms and Architecture参考文献 16被引用数 4

ひとこと要約

本稿は、計算代数幾何学と断熱的量子計算（AQC）を新しく統合する手法を提案しており、Groebner基底と多項式系の解法が断熱的量子アニーリングプロセスのモデル化と解析にどのように利用できるかを示している。本稿では、イジングハミルトニアンを用いた二値最適化、因数分解、コンパイルのための具体的な量子準備済みアルゴリズムを提示し、トーリックイデアルのGroebner基底を量子コンピュータ上で計算する新しい手法を導入。この手法は、モース理論を介してAQCにおける非退化臨界点と結びつける。

ABSTRACT

This expository paper reviews some of the recent uses of computational algebraic geometry in classical and quantum optimization. The paper assumes an elementary background in algebraic geometry and adiabatic quantum computing (AQC), and concentrates on presenting concrete examples (with Python codes tested on a quantum computer) of applying algebraic geometry constructs: solving binary optimization, factoring, and compiling. Reversing the direction, we also briefly describe a novel use of quantum computers to compute Groebner bases for toric ideals. We also show how Groebner bases play a role in studying AQC at a fundamental level within a Morse theory framework. We close by placing our work in perspective, by situating this leg of the journey, as part of a marvelous intellectual expedition that began with our ancients over 4000 years ago.

研究の動機と目的

• 実用的で計算可能な手法を通じて、代数幾何学と断熱的量子計算を橋渡しすること。
• 多項式最適化問題が代数幾何学的構造を用いてどのように符号化され、量子アニーラー上で解けるかを示すこと。
• トーリックイデアルのGroebner基底を計算する新しい量子アルゴリズムを導入すること。
• Groebner基底とAQCハミルトニアンにおける非退化臨界点との間の理論的関係を確立すること。
• 代数幾何学に根ざした、実装可能でコードで検証可能な量子アルゴリズムの具体例を提供すること。

提案手法

• 代数的多様体と座標環の双対性を用いて、多項式系を量子力学的イジングハミルトニアンに変換する。
• Groebner基底の計算を適用して多項式系を三角形分割し、量子アニーリングによる効率的解法を可能にする。
• AQCにおける反転の生成を、関数 f(s, λ) の鞍点にマッピングする。ここで s は断熱的経路パラメータ、λ は結合パラメータである。
• f の臨界点は、∂f/∂s と ∂f/∂λ によって生成されるイデアルの多様体として求められ、非退化性はヘッセ行列式によって検証される。
• このイデアルをヘッセ行列式で飽和させることで、非退化臨界点が特定され、AQCにおける準位のクロッシングを回避する上で不可欠となる。
• 本手法は、D-Wave量子プロセッサ上でテストされたPython実装を通じて検証され、実ハードウェア上での実現可能性が示された。

実験結果

リサーチクエスチョン

• RQ1 代数幾何学は、どのようにして量子アニーラー上で二値最適化問題を体系的にモデル化・解くために応用可能か？
• RQ2 Groebner基底は量子コンピュータ上で効率的に計算可能か？また、その役割は量子アルゴリズム設計においてどのようなものか？
• RQ3 断熱的進化ハミルトニアンにおける非退化臨界点は、多項式系の構造と量子トンネル効果の間でどのように関係するか？
• RQ4 モース理論は、多項式関数を用いてAQCにおける反転の生成をどのように特徴付けるか？
• RQ5 AQCの基本的ダイナミクスは、イデアルとその多様体を通じて代数幾何学の視点から分析可能か？

主な発見

• 本稿では、代数幾何学的手法を用いて二値最適化問題をイジングハミルトニアンに符号化し、量子アニーリングによる解法を可能にした。
• Groebner基底の計算を用いて多項式方程式系を三角形分割し、量子プロセッサ上で解ける形に簡略化した。
• 本手法により、AQCにおける反転の生成が関数 f(s, λ) の鞍点に対応することが示された。鞍点は勾配の消失とヘッセ行列式の非ゼロ性によって特定される。
• 著者らは、非退化臨界点がGroebner基底とイデアルの飽和を用いて検出可能であることを示し、準位クロッシングを回避するための計算的基準を提供した。
• 理論的解析により、臨界点におけるヘッセ行列式の非ゼロ性が非退化性を保証することが確認され、これは断熱的進化にとって不可欠である。
• 本稿では、Groebner基底の計算と量子アニーリングへのマッピングのための動作するPythonコードを提供しており、実際のD-Waveハードウェアでテストされ、実装の妥当性が検証された。