[논문 리뷰] Lifting for Simplicity: Concise Descriptions of Convex Sets

Hamza Fawzi, João Gouveia외 3명|arXiv (Cornell University)|2020. 02. 22.

Photochromic and Fluorescence Chemistry인용 수 4

한 줄 요약

이 논문은 볼록 집합의 립트를 구성하고 분석하기 위한 통합 프레임워크를 제시하며, 특히 제곱합(SOS)을 통한 스펙트라헤드론 립트에 초점을 맞춘다. 구조적 분해를 통한 슬랙 연산자의 인수분해 성질과 관련하여 저복잡도 립트(다각형 또는 스펙트라헤드론)의 존재성을 특성화하며, 얼굴의 구조와 대수적 차단 요소를 이용해 이러한 립트를 구성하거나 그 존재하지 않음을 증명하는 도구를 제공한다.

ABSTRACT

This paper presents a selected tour through the theory and applications of lifts of convex sets. A lift of a convex set is a higher-dimensional convex set that projects onto the original set. Many convex sets have lifts that are dramatically simpler to describe than the original set. Finding such simple lifts has significant algorithmic implications, particularly for optimization problems. We consider both the classical case of polyhedral lifts, described by linear inequalities, as well as spectrahedral lifts, defined by linear matrix inequalities, with a focus on recent developments related to spectrahedral lifts. Given a convex set, ideally we would either like to find a (low-complexity) polyhedral or spectrahedral lift, or find an obstruction proving that no such lift is possible. To this end, we explain the connection between the existence of lifts of a convex set and certain structured factorizations of its associated slack operator. Based on this characterization, we describe a uniform approach, via sums of squares, to the construction of spectrahedral lifts of convex sets and illustrate the method on several families of examples. Finally, we discuss two flavors of obstruction to the existence of lifts: one related to facial structure, and the other related to algebraic properties of the set in question. Rather than being exhaustive, our aim is to illustrate the richness of the area. We touch on a range of different topics related to the existence of lifts, and present many examples of lifts from different areas of mathematics and its applications.

연구 동기 및 목표

• 볼록 집합의 간결한 립트, 특히 스펙트라헤드론 립트를 체계적으로 구성하는 접근법을 개발하여 최적화에서 알고리즘 효율성을 향상시키는 것.
• 립트의 존재성과 볼록 집합과 관련된 슬랙 연산자의 구조적 인수분해 사이의 연결 고리를 설정하는 것.
• 특히 제곱합을 통한 체계적 방법을 제공하여 볼록 집합의 스펙트라헤드론 립트를 생성하는 것.
• 얼굴의 구조와 집합의 대수적 성질에 기반한 립트 존재에 대한 장애물들을 식별하고 분석하는 것.
• 다양한 수학적 및 적용적 맥락에서 기존의 립트 결과들—다각형 및 스펙트라헤드론 립트 포함—을 통합하고 확장하는 것.

제안 방법

• 볼록 집합의 슬랙 연산자를 중심 대상으로 삼으며, 이는 극단점에서의 지지 초평면까지의 거리를 나타내는 음이 아닌 성분들로 정의된다.
• 슬랙 행렬의 음이 아닌 인수분해를 통해 다각형 립트의 존재성을 특성화하며, 얀카키스의 정리를 일반화한다.
• 슬랙 연산자의 정재성행렬(PSD) 인수분해를 통해 스펙트라헤드론 립트를 특성화하며, 제곱합 표현과 연결한다.
• 특히 다항식 또는 대수적 제약 조건으로 정의된 볼록 집합의 경우, 제곱합 분해를 이용해 스펙트라헤드론 립트를 구성한다.
• 계층적 구성(예: 심의체)을 적용하여 대수적 집합의 볼록껍질을 스펙트라헤드론 립트로 근사한다.
• 다항식 아이디얼의 차수 한계와 얼굴의 구조 분석을 통해 작은 립트의 존재에 대한 장애물을 도출한다.

실험 결과

연구 질문

• RQ1 어떤 볼록 집합이 원래 기술보다 훨씬 단순한 스펙트라헤드론 립트를 가질 수 있는가?
• RQ2 볼록 집합의 어떤 구조적 성질이 저복잡도의 다각형 또는 스펙트라헤드론 립트 존재 여부를 결정하는가?
• RQ3 제곱합 방법을 어떻게 체계적으로 적용하여 볼록 집합의 스펙트라헤드론 립트를 구성할 수 있는가?
• RQ4 어떤 대수적 또는 기하학적 장애물이 특정 볼록 집합에 대해 작은 립트의 존재를 방해하는가?
• RQ5 볼록 집합의 얼굴의 구조와 가능한 립트의 복잡도 사이의 관계는 무엇인가?

주요 결과

• 볼록 집합이 스펙트라헤드론 립트를 가질 조건은 그 슬랙 연산자가 정재성행렬 인수분해를 가질 때이며, 이는 정확한 대수적 기준을 제공한다.
• 스펙트라헤드론 립트는 다항식의 제곱합 분해를 통해 체계적으로 구성할 수 있으며, 특히 다항식 부등식으로 정의된 볼록 집합에 대해 유용하다.
• 얼굴의 구조에 기반한 장애물이 존재한다: 예를 들어, 너무 많은 면이나 복잡한 면 레이어를 가진 집합은 작은 립트를 가질 수 없다.
• 다항식 아이디얼의 차수 한계에 기반한 대수적 장애물이 발생한다; 예를 들어, 샤페르의 결과는 특정 비음수 다항식이 SOS가 될 수 없음을 보여주며, 이는 스펙트라헤드론 립트가 존재하지 않음을 의미한다.
• 볼록 집합이 립트를 가질 수 있는지 여부를 결정하는 문제의 복잡도는 NP-난이도이며, 이는 음수 랭크 및 정재성행렬 랭크 계산 문제로의 환원을 통해 입증된다.
• 이 이론은 사슬 단체, 호른 원뿔, 볼록 다항식의 에피그래프 등 다양한 예를 통합하여, 립트 기반 표현의 광범위한 적용 가능성을 보여준다.