[논문 리뷰] A Geometric View of SDP Exactness in QCQPs and its Applications

Alex L. Wang, Fatma Kılınç-Karzan|arXiv (Cornell University)|2020. 11. 13.

Advanced Optimization Algorithms Research참고 문헌 44인용 수 4

한 줄 요약

이 논문은 이차제약을 가진 이차계획문제(QCQPs)의 정확도를 분석하기 위한 기하학적 프레임워크를 제시한다. 축약된 볼록 라그랑주 승수의 원뿔 Γ 및 그 연관된 ΓP와 Γ°를 분석함으로써, 목적함수 값의 정확도와 볼록껍질 정확도에 대한 충분조건(일부 경우 필수조건)을 도출하며, 이러한 기하학적 구조가 잘 이해되어 있는 경우 정확도를 체계적으로 다룰 수 있게 한다.

ABSTRACT

Quadratically constrained quadratic programs (QCQPs) are a highly expressive class of nonconvex optimization problems. While QCQPs are NP-hard in general, they admit a natural convex relaxation via the standard (Shor) semidefinite program (SDP) relaxation. Towards understanding when this relaxation is exact, we study general QCQPs and their (projected) SDP relaxations. We present sufficient (and in some cases, also necessary) conditions for objective value exactness (the condition that the objective values of the QCQP and its SDP relaxation coincide) and convex hull exactness (the condition that the convex hull of the QCQP epigraph coincides with the epigraph of its SDP relaxation). Our conditions for exactness are based on geometric properties of $Γ$, the cone of convex Lagrange multipliers, and its relatives $Γ_P$ and $Γ^\circ$. These tools form the basis of our main message: questions of exactness can be treated systematically whenever $Γ$, $Γ_P$, or $Γ^\circ$ is well-understood. As further evidence of this message, we apply our tools to address questions of exactness for a prototypical QCQP involving a binary on-off constraint, quadratic matrix programs, the QCQP formulation of the partition problem, and random and semi-random QCQPs.

연구 동기 및 목표

• QCQPs의 SDP 완화가 정확한 해를 제공할 수 있는 경우를 이해하기 위한 기하학적 프레임워크를 개발하는 것.
• 이전 연구에서 요구한 프로젝티브 볼록 라그랑주 승수의 다면체 집합에 대한 제한을 해결하는 것.
• QCQPs에서의 목적함수 값 정확도 및 볼록껍질 정확도에 관한 기존 결과들을 통합하고 확장하는 것.
• 이론적 프레임워크를 이진 온오프 제약, 행렬 프로그래밍, 무작위 QCQPs와 같은 구체적 문제들에 적용하는 것.
• QCQP의 에피그래프의 볼록껍질이 그 SDP 완화의 에피그래프와 일치하는 조건을 설정하는 것.

제안 방법

• 정확도를 특성화하기 위해 볼록 라그랑주 승수의 원뿔 Γ와 그 프로젝티브 변형인 ΓP를 도입한다.
• 라그랑주 승수의 구조에서 경계 및 극한 행동을 분석하기 위해 쌍대 원뿔 Γ°를 정의한다.
• 기하학적 딜레마와 정수형 프로그래밍의 딜레마를 사용하여 QCQP 해와 SDP 완화 사이의 관계를 규명한다.
• 차원 수 계산과 부분공간 분석을 활용하여 정확도를 테스트하는 변형을 구성한다.
• 벡터 및 행렬 변형 기법을 사용하여 ε-근사 타당성으로 정확한 해에서의 편차를 한계화한다.
• S-레마와 랭크-일차 생성(ROG) 원뿔 성질을 기하학적 프레임워크 내의 특수한 경우로 활용한다.

실험 결과

연구 질문

• RQ1 라그랑주 승수 원뿔 Γ에 대한 어떤 기하학적 조건이 QCQP의 SDP 완화가 원래 문제의 최적값과 정확히 일치하게 하는가?
• RQ2 언제 QCQP의 에피그래프의 볼록껍질이 그 SDP 완화의 에피그래프와 일치하는가?
• RQ3 이 프레임워크는 이진 제약이나 행렬 프로그래밍에서 유래된 비다면체 승수 집합을 가진 QCQPs에 어떻게 적용될 수 있는가?
• RQ4 ΓP와 Γ°의 구조가 대각선 또는 단일 제약 조건 외의 일반 QCQPs에 대해 정확도를 증명하는 데 어떤 역할을 하는가?
• RQ5 기하학적 접근법을 사용하여 반무작위 또는 구조적 QCQPs에서 QCQP와 SDP 해 사이의 격차에 대한 정량적 경계를 유도할 수 있는가?

주요 결과

• 논문은 라그랑주 승수 원뿔 Γ의 기하학적 구조에 기반하여 목적함수 값 정확도에 대한 충분조건(일부 경우 필수조건)을 확립한다.
• 에피그래프가 QCQP와 그 SDP 완화의 에피그래프가 동일할 경우 볼록껍질 정확도가 성립하며, 이는 ΓP와 Γ°에 대한 특정 기하학적 조건에 의해 보장된다.
• 이 프레임워크는 S-레마와 이전의 대각선 QCQPs에 관한 결과들을 통합하여 동일한 기하학적 시각으로 통합한다.
• 온오프 제약을 가진 QCQP의 경우, Γ와 그 쌍대원뿔 Γ°의 기하학을 활용하여 정확도 조건을 유도하며, 승수 원뿔이 잘 정의되어 있을 경우 정확도가 성립함을 보여준다.
• 반무작위 QCQPs에서는 ε-근사 타당성과 변형 분석을 통해 최적성 격차에 대한 정량적 경계를 도출할 수 있다.
• 분석 결과, Γ°가 잘 이해되어 있으면, ΓP가 다면체가 아니더라도 정확도를 체계적으로 증명할 수 있음이 드러났다.