[論文レビュー] An Improved Quantum Max Cut Approximation via Maximum Matching

Lee, Eunou, Ojas Parekh|arXiv (Cornell University)|Jul 28, 2023

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿は、スピン回転対称性を活用するため、Navascués-Pironio-Acín (NPA) フレームワークを用いて SU(2)-対称な半定値計画法 (SDP) ハイアラルキーを量子最大カット (QMaxCut) 問題に導入する。SWAP 演算子の代数的構造を特徴づけることで、有限レベルで正確な QMaxCut 値への収束を証明し、主要なグラフ族において正確性を示し、SDP の解法可能性と量子多体系におけるフルストレーションフリー性を結びつける。

ABSTRACT

Finding a high (or low) energy state of a given quantum Hamiltonian is a potential area to gain a provable and practical quantum advantage. A line of recent studies focuses on Quantum Max Cut, where one is asked to find a high energy state of a given antiferromagnetic Heisenberg Hamiltonian. In this work, we present a classical approximation algorithm for Quantum Max Cut that achieves an approximation ratio of 0.595, outperforming the previous best algorithms of Lee [Eunou Lee, 2022] (0.562, generic input graph) and King [King, 2023] (0.582, triangle-free input graph). The algorithm is based on finding the maximum weighted matching of an input graph and outputs a product of at most 2-qubit states, which is simpler than the fully entangled output states of the previous best algorithms.

研究の動機と目的

• ハミルトニアンの SU(2) 不変性を尊重する対称性に配慮した QMaxCut 問題の SDP ハイアラルキーの開発。
• SWAP 演算子の代数的構造を活用して、提案されたハイアラルキーが有限レベルで正確な最適 QMaxCut 値に収束することの証明。
• SDP の解法可能性と量子スピン系におけるフルストレーションフリー性との関係を確立し、強固体物理学における重要な概念を一般化すること。
• 数値的に、SDP 手法がフルストレーションフリー領域を超えてヘイゼンベルク型モデルにおける物理的量を近似できることを示すこと。
• 重要なグラフ族における最低レベルでのハイアラルキーの正確性または非正確性について、解析的および計算的証拠を提供すること。

提案手法

• 群論的構造を活用して変数と制約の数を削減することで、QMaxCut 問題に NPA ハイアラルキーを SU(2) 対称性を組み込んで適応する。
• スピン演算子の対称多項式に基づくモーメント行列を構築し、全スピン回転に対して不変であることを保証する。
• SWAP 演算子の代数的特徴づけを用いて、NPA ハイアラルキーが有限レベルで正確な QMaxCut 値に収束することを証明する。
• 平坦な断片化技術を適用してモーメント行列のランク条件を強制し、低レベルでの最適解の正確な回復を可能にする。
• 数値ソルバーを実装し、さまざまなグラフ（例：奇数サイクル、完全グラフ）に対してハイアラルキーをテストし、既知の正確値と比較する。
• ハミルトニアンおよびそのモーメント行列の核構造を分析することで、SDP リラクゼーションとフルストレーションフリー性の概念を結びつける。

実験結果

リサーチクエスチョン

• RQ1 QMaxCut 問題に対して、SU(2) 対称性を満たす SDP ハイアラルキーを構築可能か？ また、有限レベルで正確な基底状態エネルギーに収束するか？
• RQ2 SWAP 演算子の代数的構造は、QMaxCut 問題における NPA ハイアラルキーの有限レベル収束をどのように可能にするか？
• RQ3 SDP の解法可能性は、量子スピン系におけるフルストレーションフリー性の概念をどの程度一般化できるか？
• RQ4 提案されたハイアラルキーは、奇数サイクルや完全グラフなどの重要なグラフ族に対して QMaxCut を正確に解けるか？
• RQ5 ヘイゼンベルク型モデルにおいて、フルストレーションフリー領域外でも SDP リラクゼーションが物理的観測量をどの程度よく近似できるか？

主な発見

• 提案された SU(2)-対称 NPA ハイアラルキーは、SWAP 演算子の代数的構造を根拠に、有限レベルで正確な QMaxCut 値に収束することが証明された。
• 奇数サイクルおよび完全グラフにおいて、ハイアラルキーはレベル 1 で正確性を示し、これらのケースについて解析的証明が提供された。
• 数値結果により、奇数完全グラフにおける QMaxCut についての正確性が確認され、低レベルでのタイトな平方和証明の存在を支持する。
• SDP リラクゼーションは、フルストレーションフリーでない領域においても反強磁性ヘイゼンベルクモデルの物理的特徴を捉え、より広範な物理的関連性を示唆する。
• ハイアラルキーは非自明なグラフに対しても実用的な収束を示し、凸性にもかかわらず局所的最小値の問題がないことを示しており、数値的性能の高さを示す。
• 本研究は、SDP の解法可能性とフルストレーションフリー性との間の正式な関係を確立し、計算的に取り扱いやすい形で後者を一般化することを示した。