[논문 리뷰] Polynomial Optimization with Real Varieties

Jiawang Nie|arXiv (Cornell University)|2012. 11. 08.

Polynomial and algebraic computation참고 문헌 8인용 수 3

한 줄 요약

이 논문은 실수 위의 다항식 최적화 문제에 대해 라서르의 계층 구조가 유한 수렴함을 증명하며, 실수 대용체 $ V_{\mathbb{R}}(h) $ 가 유한할 경우, 복소수 대용체 $ V_{\mathbb{C}}(h) $ 가 유한하지 않더라도 유한 수렴이 발생함을 보인다. 또한 실수 대용체의 다항식 표현에 관계없이 유한 수렴이 성립하며, 타당 집합이 유한할 경우 개선된 전순서 기반 계층 구조로의 확장이 가능하다.

ABSTRACT

We consider the optimization problem of minimizing a polynomial f(x) subject to polynomial constraints h(x)=0, g(x)>=0. Lasserre's hierarchy is a sequence of sum of squares relaxations for finding the global minimum. Let K be the feasible set. We prove the following results: i) If the real variety V_R(h) is finite, then Lasserre's hierarchy has finite convergence, no matter the complex variety V_C(h) is finite or not. This solves an open question in Laurent's survey. ii) If K and V_R(h) have the same vanishing ideal, then the finite convergence of Lasserre's hierarchy is independent of the choice of defining polynomials for the real variety V_R(h). iii) When K is finite, a refined version of Lasserre's hierarchy (using the preordering of g) has finite convergence.

연구 동기 및 목표

• 실수 대용체 $ V_{\mathbb{R}}(h) $ 가 유한하지만 복소수 대용체 $ V_{\mathbb{C}}(h) $ 가 무한할 경우, 라서르의 계층 구조가 유한 수렴을 보이는지 여부를 해결하는 것.
• 실수 대용체 $ V_{\mathbb{R}}(h) $ 의 정의 다항식의 선택과 관계없이 라서르의 계층 구조의 유한 수렴이 성립함을 증명하며, 이는 $ K $ 와 $ V_{\mathbb{R}}(h) $ 가 동일한 소멸 이상을 가질 때 성립한다.
• 제약 조건 $ g $ 의 전순서를 이용한 개선된 계층 구조를 개발하고 분석하여, 타당 집합 $ K $ 가 유한할 경우 유한 수렴이 이루어짐을 보이는 것.
• 특히 유한한 실수 해 집합을 가진 경우에 대해, 다항식 최적화에서 제곱합(SOS) 근사의 유한 수렴에 대한 이론적 기초를 제공하는 것.

제안 방법

• 유한 차수의 이상 $ \langle h \rangle_{2k} $ 과 제곱 모듈 $ Q_k(g) $ 를 이용해 정의된 라서르의 제곱합(SOS) 근사 계층 구조를 사용하며, 모멘트 행렬과 국소화 행렬을 포함하는 이중 반정적계획 문제를 적용한다.
• 특히 $ K $ 가 유한할 경우의 보간 다항식 존재성을 활용하여, 유한 수렴을 분석하기 위해 Positivstellensatz 정리와 평탄한 절단 기준을 적용한다.
• 제약 조건 $ g_j $ 의 모든 곱을 포함하는 전순서 $ Pr_k(g) $ 를 이용한 개선된 SOS 근사 방식을 도입하여, 타당 집합 $ K $ 가 유한할 경우 유한 수렴을 보장한다.
• 매개변수 $ \epsilon $ 를 가진 편미분 기법(레마 2.1)을 활용하여 분해 $ f - (f_{\min} - \epsilon) = \sigma_\epsilon + \phi_\epsilon $ 를 구성하며, $ \sigma_\epsilon \in Pr_N(g) $ 이고 $ \phi_\epsilon \in \langle h \rangle_{2N} $ 임을 보여 유한 수렴을 증명한다.
• 아르히메데스 조건과 푸티나르의 Positivstellensatz를 활용해 점근 수렴을 확보하고, 실수 대수적 대용체의 구조를 이용해 유한 수렴 결과를 도출한다.
• 유한 집합 $ K $ 의 각 점을 제외한 나머지 점에서 0이 되는 보간 다항식 $ \varphi_i $ 를 사용하며, $ f - f_{\min} $ 이 $ K $ 에서 제곱합으로 표현될 수 있도록 SOS 다항식 $ a $ 를 구성함으로써 유한 수렴을 가능하게 한다.

실험 결과

연구 질문

• RQ1 실수 대용체 $ V_{\mathbb{R}}(h) $ 가 유한하지만 복소수 대용체 $ V_{\mathbb{C}}(h) $ 가 무한할 경우, 라서르의 계층 구조가 유한 수렴을 보이는가?
• RQ2 실수 대용체 $ V_{\mathbb{R}}(h) $ 의 정의 다항식의 선택과 관계없이 라서르의 계층 구조의 유한 수렴이 성립하는가? 이는 $ K $ 와 $ V_{\mathbb{R}}(h) $ 가 동일한 소멸 이상을 가질 때 성립한다.
• RQ3 제약 조건 $ g $ 의 전순서를 이용한 더 강력한 SOS 근사가 타당 집합 $ K $ 가 유한할 경우 유한 수렴을 달성할 수 있는가?
• RQ4 전순서 기반 근사의 수열 $ \{f_k^{\text{pre}}\} $ 이 전역 최소값으로 유한 수렴하기 위한 조건은 무엇인가?
• RQ5 전순서 기반 계층 구조의 이중 문제의 유한 수렴이 원래의 근사 수열로 확장될 수 있는가?

주요 결과

• 실수 대용체 $ V_{\mathbb{R}}(h) $ 가 유한할 경우, 복소수 대용체 $ V_{\mathbb{C}}(h) $ 가 유한하지 않더라도 라서르의 계층 구조가 유한 수렴함을 보이며, 이는 라우렌트의 서베이에서 열려 있던 문제를 해결한다.
• 실수 대용체 $ V_{\mathbb{R}}(h) $ 의 정의 다항식의 선택과 관계없이 라서르의 계층 구조의 유한 수렴이 성립하며, 이는 $ K $ 와 $ V_{\mathbb{R}}(h) $ 가 동일한 소멸 이상을 가질 때 성립한다.
• 타당 집합 $ K $ 가 유한할 경우, 전순서 기반 계층 구조 $ \{f_k^{\text{pre}}\} $ 는 $ f_{\min} $ 으로 유한 수렴함을 보이며, 이는 표준 계층 구조 $ \{f_k\} $ 가 유한 수렴하지 않을 수 있음을 고려할 때 놀라운 결과이다.
• 유한한 $ K $ 에 대해 어떤 정수 $ N $ 이 존재하여 $ f_k^{\text{pre}} = f_{\min} $ 가 모든 $ k \geq N $ 에 대해 성립함을 보였다. 이는 편미분 기법과 전순서 및 이상 성분으로의 분해를 통해 증명되었다.
• 증명 과정에서 분해 $ f - (f_{\min} - \epsilon) = \sigma_\epsilon + \phi_\epsilon $ 를 구성하였으며, $ \sigma_\epsilon \in Pr_N(g) $ 이고 $ \phi_\epsilon \in \langle h \rangle_{2N} $ 임을 보여 $ k \geq N $ 에서의 유한 수렴을 보장한다.
• 예시로 $ K = \{(0,0)\} $ 인 경우, $ f_k^{\text{pre}} = 0 $ 이 모든 $ k \geq 6 $ 에 대해 성립함을 보여 실질적인 유한 수렴이 이루어짐을 확인한다.