[論文レビュー] On the energy landscape of symmetric quantum signal processing

Jiasu Wang, Yulong Dong+1 more|arXiv (Cornell University)|Oct 11, 2021

Quantum Computing Algorithms and Architecture参考文献 18被引用数 26

ひとこと要約

この論文は、対称量子信号処理（QSP）の非凸最適化の景観を分析し、標準的な最適化がなぜ位相因子を安定して回復できるのかを説明し、特殊な最大解の周りでグローバル最小値と局所凸性を特徴づける。

ABSTRACT

Symmetric quantum signal processing provides a parameterized representation of a real polynomial, which can be translated into an efficient quantum circuit for performing a wide range of computational tasks on quantum computers. For a given polynomial $f$, the parameters (called phase factors) can be obtained by solving an optimization problem. However, the cost function is non-convex, and has a very complex energy landscape with numerous global and local minima. It is therefore surprising that the solution can be robustly obtained in practice, starting from a fixed initial guess $Φ^0$ that contains no information of the input polynomial. To investigate this phenomenon, we first explicitly characterize all the global minima of the cost function. We then prove that one particular global minimum (called the maximal solution) belongs to a neighborhood of $Φ^0$, on which the cost function is strongly convex under the condition ${\left\lVert f ight Vert}_{\infty}=\mathcal{O}(d^{-1})$ with $d=\mathrm{deg}(f)$. Our result provides a partial explanation of the aforementioned success of optimization algorithms.

研究の動機と目的

• 現実的な性能の頑健性のため、対称QSPとその最適化景観の研究を動機づける。
• 対称QSPコスト関数のすべてのグローバルミニマを特徴づける。
• 特定の条件の下で対称位相因子の存在と一意性を証明する。
• 初期推定値の近くにある最大のグローバル最小値を特定し、その局所凸性特性を分析する。
• 小さなターゲットノルム下での勾配法ベースの最適化手法の収束含意を示す。

提案手法

• 対称位相因子を対象として F(Φ) を最小化する最適化問題として QSP を定式化する。
• 正規化条件とパリティ制約を満たす多項式 (P, Q) の受け入れ可能な組にグローバル minima を関連付ける構成的手法を用いる。
• 特定の多項式構造を持つユニタリ行列 U(x, Φ) を生成する対称位相因子 (Φ) の存在と一意性を証明する。
• グローバル minima に対応するすべての受け入れ可能な (P, Q) の対を特徴づける（定理4）。
• 最大解は単位円内の根を選ぶことに対応することを示し、その性質を導出する。
• ||f||∞ が小さいとき初期推定値の周りに局所的な強凸性領域を確立し、射影勾配法の収束保証を導出する。

実験結果

リサーチクエスチョン

• RQ1 対称 QSP の最適化問題におけるグローバル minima の全体構造はどのようになっており、それらはどのように構成できるか。
• RQ2 ターゲット多項式に対応する対称位相因子の集合が一意になる条件は何か。
• RQ3 最大グローバルミニマは初期推定 Φ0 に対してどこに位置し、どのような性質を持つか。
• RQ4 小さなターゲットノルムで初期推定の周りで局所的に強凸性があり、効率的な収束を可能にするか。
• RQ5 射影勾配法は局所凸領域を離れることなく、信頼性高く最大解へ収束できるか。

主な発見

• 特定の正規化を満たす既定の P と Q を実現する SU(2) 内の多項式行列クラスに対して、対称位相因子の一意な集合が存在する（定理1）。
• 対称 QSP コスト関数のグローバルミニマは、パリティ・正規化・先頭係数条件を満たす受け入れ可能な (P, Q) の一対に全単射対応する（補遺3）。
• すべての受け入れ可能な (P, Q) は f 由来の Laurent 多項式の根を用いた明示的な構成を持ち、グローバル minima の完全な特徴付けを可能にする（定理4）。
• グローバル minima の中で、単位円内の根を選ぶことによって最大解が同定され、この解は ||f||∞ = O(d−1) の場合に初期推定 Φ0 の近傍に位置する（最大解に関する議論）。
• 最大解はコスト関数が強凸である領域にあり、射影勾配降下法は Φ* へ指数収束し、||f||∞ が十分小さいと収束速度は f に依存しない（定理6と補遺7）。
• 数値結果は非対称なグローバル最適点でヘッセ行列が特異になることを示し、対称性制約下の局所 minima の存在を示す（セクション7）。