[논문 리뷰] Parametric Semidefinite Programming: Geometry of the Trajectory of Solutions

Antonio Bellon, Didier Henrion외 2명|arXiv (Cornell University)|2021. 04. 12.

Advanced Optimization Algorithms Research참고 문헌 9인용 수 3

한 줄 요약

이 논문은 매개변수를 가진 준정형 프로그래밍(SDP)의 해 궤적에 대한 완전한 기하학적 분류를 제공하며, 표준 가정 하에서 발생할 수 있는 해의 행동은 정규, 비가속, 불연속 고립/비고립 다중점, 연속 분기, 비정상 집적점의 여섯 가지 유형 뿐임을 보여준다. 주요 기여는 집합값 분석 기반의 엄밀한 프레임워크로, 해의 시간에 따른 변화를 특성화한 것으로, 선형 독립 제약조건 충족 조건, 엄격한 타당성, 연속적인 데이터 의존성 하에서는 다른 행동이 발생할 수 없음을 증명한다.

ABSTRACT

In many applications, solutions of convex optimization problems are updated on-line, as functions of time. In this paper, we consider parametric semidefinite programs, which are linear optimization problems in the semidefinite cone whose coefficients (input data) depend on a time parameter. We are interested in the geometry of the solution (output data) trajectory, defined as the set of solutions depending on the parameter. We propose an exhaustive description of the geometry of the solution trajectory. As our main result, we show that only six distinct behaviors can be observed at a neighborhood of a given point along the solution trajectory. Each possible behavior is then illustrated by an example.

연구 동기 및 목표

• 매개변수를 가진 준정형 프로그래밍(SDP)에서 문제 데이터가 시간 매개변수에 따라 변할 때 해 궤적의 기하학적 구조를 이해하기 위해.
• 표준 정규성 조건(예: 엄격한 보완성, 유일성)이 실패할 경우, 해 궤적의 임계점에서 가능한 모든 국소적 행동을 분류하기 위해.
• 집합값 분석과 Painlevé-Kuratowski 수렴을 이용하여 비정상적인 해 행동을 공식적이고 논리적으로 분류하기 위해.
• 유형적인 행동(예: 비고립 불연속성, 분기)이 해 궤적에서 제외되는 조건을 확립하기 위해, 특히 데이터가 시간에 대해 다항식일 경우에 중점적으로.
• 이론적 통찰을 알고리즘 설계와 연결하기 위해, 실무에서 피할 수 없는 또는 방지 가능한 행동을 식별하기 위해.

제안 방법

• 집합값 분석과 Painlevé-Kuratowski 수렴 프레임워크를 사용하여 매개변수를 가진 SDP에서 해 매핑의 연속성과 정규성을 정의한다.
• 엄격한 보완성과 유일성 하에서 정규 해 행동을 특성화하기 위해 은둔함수정리(implicit function theorem)를 적용한다.
• 해 궤적의 점에 대해 여섯 가지 공식적인 유형을 도입한다: 정규, 비가속, 불연속 고립 다중점, 불연속 비고립 다중점, 연속 분기점, 비정상 집적점.
• 선형 독립 제약조건 충족 조건(LICQ), 엄격한 타당성, 데이터의 연속성을 핵심 가정으로 삼아 분류를 유도한다.
• 대수적 및 기하학적 추론을 사용하여, 이러한 가정 하에서 궤적에 발생할 수 있는 것은 오직 정의된 여섯 가지 유형 뿐임을 증명한다.
• 은둔함수정리와 최적 분할 분석에 기반한 정리 2.24 및 정리 2.23을 적용하여, 정규, 비가속, 또는 고립 다중점만 나타나는 조건을 확립한다.

실험 결과

연구 질문

• RQ1 표준 정규성 조건이 실패할 경우, 매개변수를 가진 SDP에서 해 궤적의 가능한 국소 기하학적 행동은 무엇인가?
• RQ2 집합값 분석과 위상 개념을 사용하여 해 궤적 특이점의 완전하고 체계적인 분류를 달성할 수 있는가?
• RQ3 비정상적인 행동(예: 비고립 불연속성, 분기)이 해 궤적에서 제외되는 조건는 무엇인가?
• RQ4 매개변수를 가진 SDP의 행동은 비정상적인 또는 다중 해 점이 있는 경우, 매개변수를 가진 선형 프로그래밍(LP)과 어떻게 비교되는가?
• RQ5 시간에 대한 데이터의 다항식 의존성이 해 궤적 특이점의 가능한 유형을 얼마나 제한하는가?

주요 결과

• 선형 독립 제약조건 충족 조건(LICQ), 엄격한 타당점 존재, 연속적인 데이터 의존성 등의 표준 가정 하에서는 해 궤적 행동이 오직 여섯 가지 유형으로 국한된다.
• 문제 데이터가 시간에 대한 다항식 함수이고 일반적인 비특이 시간 점이 존재할 경우, 해 궤적이 정규점, 비가속점, 또는 불연속 고립 다중점로만 구성됨이 보장된다.
• 불연속 비고립 다중점, 연속 분기점, 비정상 집적점은 더 강력한 다항식 데이터 가정 하에서는 발생할 수 없다.
• 분류는 완전하다: 제시된 가정 하에서는 다른 유형의 특이점은 발생할 수 없으며, 비유일성 또는 비연속 해가 존재하더라도 마찬가지다.
• 결과는 표준적인 가정(예: 연속성, 엄격한 타당성)만으로는 병리적인 행동을 방지할 수 없지만, 일반적인 비특이 시간 점이 존재하면 가장 복잡한 병리적 행동이 제외됨을 보여준다.
• 프레임워크는 매개변수를 가진 SDP가 더 일반적인 경우에도, 매개변수를 가진 LP에 이미 존재하는 행동 이외의 행동을 보이지 않음을 드러내며, 공통된 기하학적 제약 조건이 있음을 시사한다.