[논문 리뷰] Convergence of SDP hierarchies for polynomial optimization on the hypersphere

Andrew C. Doherty, Stephanie Wehner|arXiv (Cornell University)|2012. 10. 18.

Quantum Computing Algorithms and Architecture참고 문헌 8인용 수 37

한 줄 요약

이 논문은 대칭 행렬에 대한 실수 값의 de Finetti 정리의 도입을 통해 동차 다항식을 초구면에서 최적화하기 위한 준선형계획법(SDP) 계층의 수렴성을 확립한다. 구면 조화함수와 $P$-$Q$ 표현을 사용하여, 수준 $\ell$에서의 SDP 탄력이 진짜 최적값과 상대 오차 $\epsilon(a,\ell,n) \sim a^2n/\ell$ 이내로 근사함을 증명하며, 명시적인 오차 한계와 해에 대한 구성 가능한 근사 representing 측도를 제공한다.

ABSTRACT

We show how to bound the accuracy of a family of semi-definite programming relaxations for the problem of polynomial optimization on the hypersphere. Our method is inspired by a set of results from quantum information known as quantum de Finetti theorems. In particular, we prove a de Finetti theorem for a special class of real symmetric matrices to establish the existence of approximate representing measures for moment matrix relaxations.

연구 동기 및 목표

• 동차 다항식을 초구면 $S^{n-1}$에서 최적화하기 위한 준선형계획법(SDP) 계층의 수렴성을 확립하기.
• 유한 수준 $\ell$에서의 SDP 탄력의 근사 품질에 대한 명시적이고 정량화된 오차 한계를 제공하기.
• $P$- 및 $Q$-표현을 통해 모멘트 행렬의 근사 representing 측도를 구성하는 방법을 개발하기.
• 다항식 최적화를 위한 양자 정보 이론 기반 de Finetti 정리를 실수 대칭 행렬으로 일반화하기.
• SDP 계층이 차수-$2a$ 다항식에 대해 $(1 - \epsilon)$-근사값을 제공하며, $\epsilon \sim a^2n/\ell$임을 보여주기.

제안 방법

• 구면 조화함수와 푸리에 계수를 분석하여 대칭 행렬에 대한 실수 값의 de Finetti 정리를 유도한다.
• 다항식 행렬의 $P$- 및 $Q$-표현을 도입하여 SDP 해가 구면 위의 점들의 볼록 조합과 관련됨을 밝힌다.
• Funk-Hecke 공식과 대칭 부분공간 내의 직교 분해를 사용하여 $P_M(x)$와 $Q_M(x)$를 비교하고, $Q_M(x)$의 음이 아닌 성질을 보장한다.
• 푸리에 계수를 일치시켜 $P_M(x)$와 $Q_M(x)$의 표현을 매칭함으로써 명시적인 근사 representing 측도를 구성하고, 오차 분석을 가능하게 한다.
• 유니터리 및 직교군의 표현 이론을 적용하여 차수-$2a$ 다항식의 대칭 부분공간과 모멘트 행렬을 분석한다.
• 수준 $\ell$의 탄력과 진짜 최적값 간의 비교를 통해 오차 한계를 확립하며, $\epsilon(a,\ell,n) = \frac{4a^2(a + n/2 - 1)}{2\ell + n}$임을 보인다.

실험 결과

연구 질문

• RQ1 초구면에서 다항식 최적화를 위한 SDP 계층이 명시적인 오차 한계를 갖는 수렴성을 증명할 수 있는가?
• RQ2 다항식 최적화에서 모멘트 행렬과 관련된 de Finetti 유형 정리를 실수 대칭 행렬에 어떻게 적응시킬 수 있는가?
• RQ3 모멘트 행렬의 $P$- 및 $Q$-표현 간의 관계는 무엇이며, 이를 통해 representing 측도를 구성하는 데 어떻게 활용할 수 있는가?
• RQ4 SDP 탄력의 $\ell$-번째 수준에서의 근사 오차를 다항식 차수 $a$, 차원 $n$, 그리고 탄력 수준 $\ell$의 함수로 한계를 둘 수 있는가?
• RQ5 SDP 해를 구면 위의 평행합으로 해석할 수 있으며, 만약 그렇다면 얼마나 정확한가?

주요 결과

• SDP 계층은 초구면 $S^{n-1}$에서 동차 다항식 $T(x)$의 진짜 최적값 $\nu$로 수렴하며, 오차는 $|\nu_\ell - \nu| \leq \epsilon(a,\ell,n)(\nu - \nu_{\text{min}})$로 한정된다.
• 상대 오차는 $\epsilon(a,\ell,n) = \frac{4a^2(a + n/2 - 1)}{2\ell + n}$로 정량화되며, $\ell$에 대해 역선형 의존성을 보인다.
• 짝수 차수 다항식의 경우 이 한계는 $(1 - \epsilon)$-근사값을 의미하며, 큰 $\ell$에 대해 $\epsilon \sim a^2n/\ell$임을 시사한다.
• 원하는 정확도 $\epsilon$를 달성하기 위해 필요한 탄력 수준 $\ell$은 $\ell \sim a^2n/\epsilon$로 스케일링되며, 이는 $n$에 대해 지수적 스케일링을 유도한다.
• 이 방법은 $P$- 및 $Q$-표현을 통해 구면 위의 점들의 볼록 조합으로 구성된 명시적인 근사 representing 측도를 생성한다.
• 이 접근법은 구면 조화함수 분석과 Funk-Hecke 공식과 유사한 콘볼루션 정리에 기반하여 다른 리만 대칭 공간으로 일반화될 수 있다.