[논문 리뷰] Moment/Sum-of-Squares Hierarchy for Complex Polynomial Optimization

Cédric Josz, Daniel K. Molzahn|arXiv (Cornell University)|2015. 08. 09.

Probabilistic and Robust Engineering Design참고 문헌 80인용 수 33

한 줄 요약

이 논문은 컴팩트한 집합에서 실수 값을 갖는 복소다항식 문제의 전역 최적화를 해결하기 위한 복소모멘트/제곱합계층을 제안하며, D’Angelo와 Putinar의 Positivstellensatz를 활용하여 복소반정형계획문제의 수열을 구성한다. 이 방법은 전역 수렴을 보장하고, 희소성과 이론적 보장을 유지함으로써 수천 개의 복소변수를 포함하는 대규모 최적 전력 흐름 문제를 효율적으로 해결할 수 있다.

ABSTRACT

We consider the problem of finding the global optimum of a real-valued complex polynomial on a compact set defined by real-valued complex polynomial inequalities. It reduces to solving a sequence of complex semidefinite programming relaxations that grow tighter and tighter thanks to D'Angelo's and Putinar's Positivstellenstatz discovered in 2008. In other words, the Lasserre hierarchy may be transposed to complex numbers. We propose a method for exploiting sparsity and apply the complex hierarchy to problems with several thousand complex variables. These problems consist of computing optimal power flows in the European high-voltage transmission network.

연구 동기 및 목표

• 콤���트한 타당집합을 갖는 복소다항식 최적화 문제에 대해 Lasserre의 모멘트/제곱합계층을 확장하기 위해.
• 전역 수렴과 강한 이중성 보장이 보장되는 이론적으로 탄탄한 복소반정형계획문제 근사화 프레임워크를 개발하기 위해.
• 고전압송전망에서의 최적 전력 흐름과 같은 대규모 문제에서의 희소성 구조를 활용하여 계산의 타당성을 향상시키기 위해.
• 계층 구조에서 전역 최적 타당해를 추출하기 위한 충분한 조건을 제공하기 위해.
• 실수 모멘트 문제 결과를 일반화하는 새로운 단절된 복소모멘트 문제의 해법을 수립하기 위해.

제안 방법

• 실수값 Radon 측도를 사용하여 복소모멘트/제곱합계층을 구성하고, 새로운 복소모멘트 및 국소화 행렬을 도입한다.
• D’Angelo와 Putinar의 Positivstellensatz를 적용하여 양의 다항식을 해석적 다항식의 제곱모듈러스의 가중합으로 표현한다.
• Positivstellensatz의 양성 조건을 만족시키기 위해 스레드 변수와 여유 있는 구면 제약조건 $|z_1|^2 + \cdots + |z_{n+1}|^2 = R^2$ 을 도입한다.
• 다중순서 계층을 구현하여 전역 수렴을 유지하면서도 다항식의 구조적 희소성을 활용한다.
• 사슬형 희소성과 클리크 기반 분해를 사용하여 반정형계획문제의 크기를 줄이며, 특히 2차 제약조건에 효과적이다.
• 토러스 작용에 대한 불변성 계층을 도입하여 대칭 문제에서 문제의 구조를 단순화하고 수렴 속도를 향상시킨다.

실험 결과

연구 질문

• RQ1 Lasserre의 모멘트/제곱합계층이 콤팩트한 타당집합을 갖는 복소다항식 최적화 문제에 성공적으로 적용될 수 있는가?
• RQ2 복소다항식 최적화 문제의 희소성은 어떻게 활용하여 계산 복잡도를 줄이면서도 전역 수렴을 유지할 수 있는가?
• RQ3 복소모멘트/제곱합계층에서 강한 이중성과 전역 최적해 복원 보장 조건은 무엇인가?
• RQ4 실수 경우를 일반화하고 전역 해 추출을 가능하게 하는 방식으로 복소단절모멘트 문제를 해결할 수 있는가?
• RQ5 대규모 문제, 예를 들어 최적 전력 흐름과 같은 문제에서 복소계층이 실수 계층에 비해 성능과 경계 품질 측면에서 어떻게 비교되는가?

주요 결과

• 복소모멘트/제곱합계층은 복소다항식 최적화 문제의 진짜 최적값으로 전역 수렴한다.
• 약한 조건 하에서도 전역 수렴과 강한 이중성을 달성하며, 전역 최적 타당해를 추출하기 위한 충분한 조건이 존재한다.
• 5-bus 최적 전력 흐름 문제에서 $d_i=1$ 또는 $2$ 인 복소계층은 전역 최적 목표값 946.8을 도출하였다.
• 희소성 활용 알고리즘을 사용하여 해를 도출하였으며, 복소계층은 실수 대비 계산 효율성이 뛰어나게 성능을 냈다.
• 사슬형 희소성과 클리크 분해를 통해 문제 크기를 줄이며 이론적 보장을 유지함으로써 수천 개의 복소변수를 포함하는 문제의 해를 가능하게 하였다.
• 토러스 작용에 대한 불변성 복소계층은 대칭 설정에서 수렴 분석을 가능하게 하고 문제의 구조를 단순화한다.