[論文レビュー] SymDPoly: symmetry-adapted moment relaxations for noncommutative polynomial optimization

Denis Rosset|arXiv (Cornell University)|Aug 29, 2018

Quantum Information and Cryptography参考文献 53被引用数 7

ひとこと要約

この論文では、量子情報における非可換多項式最適化問題に生じる対称性を自動で発見・活用するソフトウェアライブラリSymDPolyを紹介する。対称性に適応したモーメント緩和を適用することで、半定値計画法（SDP）のサイズを削減し、メモリ使用量と計算時間を桁違いに削減するとともに、解の精度を向上させる。$I_{3322}$不等式の例では、対称化によって最大10倍の高い精度が達成された。

ABSTRACT

Semidefinite relaxations are widely used to compute upper bounds on the objective of optimization problems involving noncommutative polynomials. Such optimization problems are prevalent in quantum information. We present an algorithm able to discover automatically and exploit the symmetries present in the problem formulation. We also provide an open source software library written in Scala ( https://denisrosset.github.io/symdpoly ) that computes symmetry-adapted semidefinite relaxations with interfaces to a variety of open-source and commercial semidefinite solvers. We discuss the advantages of symmetrization, namely reductions in memory use, computation time, and increase in the solution precision.

研究の動機と目的

• 非可換多項式最適化における半定値緩和の高い計算コスト、特に量子情報分野の文脈での課題に対処すること。
• 非可換多項式を含む最適化問題における対称性を自動で発見・適用する手法の開発。
• 対称性に適応したモーメント緩和を用いて、半定値計画法におけるメモリ使用量と計算時間を削減し、解の精度を向上させること。
• 複数のSDPソルバーと連携できるScalaで記述されたオープンソースのソフトウェアライブラリを提供し、対称性低減された緩和問題の自動定式化を実現すること。
• 高精度数値結果を伴うベンチマーク問題（例：$I_{3322}$不等式）における対称化の有効性を実証すること。

提案手法

• 非可換単項式に自己準同型を導入し、書き換え規則を用いて多項式最適化問題を形式的に表現するフレームワークを採用。
• 群論的対称性低減を適用し、問題の完全な対称性群（特に自己準同型と可換な置換による不変性を含む）を同定。
• 対称性に適応した基底上にモーメント緩和を構築し、SDP行列をブロック対角化することでサイズと複雑さを低減。
• ブロック対角化技術を用いてモーメント行列をより小さな独立したブロックに分解し、メモリとCPU要件を顕著に削減。
• Scalaで実装された独自のソフトウェアライブラリを用い、対称性を自動で検出するとともに、低減されたSDP緩和問題を定式化。SDPAやVSDPなどのソルバーと連携。
• このアプローチは、MoroderらとBurgdorfらによるモーメント緩和の階層に基づき、共通の形式的枠組みで統合されている。

実験結果

リサーチクエスチョン

• RQ1 非可換多項式最適化問題における対称性を、どのように自動で発見・活用することで計算コストを低減できるか？
• RQ2 量子情報問題における半定値緩和において、対称性適応がメモリ使用量と計算時間にどの程度の削減効果をもたらすか？
• RQ3 対称性に適応した緩和は、特に高精度設定下でSDP解の数値的精度を向上させることができるか？
• RQ4 対称性低減されたSDPのブロック対角構造は、現代のソルバーの収束性と頑健性にどのような影響を及けるか？
• RQ5 対称化は、$I_{3322}$不等式のようなベンチマーク量子非局所性問題の解法にどのような影響を及えるか？

主な発見

• 対称性適応により、変数数が867から124に、最大ブロックサイズが88から22に削減され、緩和階層レベル3においてCPU時間が73.2秒から1.2秒にまで短縮された。
• レベル4では、メモリ使用量が331 MBから10 MBに、CPU時間が8416秒から62.6秒にまで削減され、135倍の高速化が達成された。
• 対称化により解の精度が約1桁向上し、原問題と双対問題の差が約10⁻³¹から約10⁻³⁰に縮小され、$I_3$の境界がより厳密に評価された。
• $I_3$に関して、対称化なしでは[1.25087555, 1.25087557]、対称化ありでは[1.250875561, 1.250875568]の解区間が得られ、精度向上が明確に確認された。
• レベル5の緩和を4ブロック対角構造を用いて8700秒で計算可能であり、高次元の緩和へのスケーラビリティを示した。
• 高精度ソルバー（ダブル・ダブルおよびクアッド・ダブル精度）の使用により、対称化が数値的安定性と精度を向上させ、特に悪条件問題において顕著な効果を示した。