[논문 리뷰] A structural geometrical analysis of weakly infeasible SDPs

Bruno F. Lourenço, Masakazu Muramatsu외 1명|arXiv (Cornell University)|2015. 07. 24.

Advanced Optimization Algorithms Research참고 문헌 21인용 수 5

한 줄 요약

이 논문은 약한 불가능한 정준형 프로그래밍(SDPs)을 분석하기 위해 기하학적 분해 방법을 제안하며, 선형 제약 조건의 영공간 내에서 최대 $ n-1 $개의 방향이 양의 준정적 행렬 코너에 도달하는 데 필요하다는 것을 보여준다. 주요 기여는 초가능한 분할(hyper feasible partitions)의 도입으로, 이는 코너에 임의로 가까이 다가가는 수열을 생성하는 구성적 프레임워크를 제공하며, 실수 계산의 BSS 모델에서 약한 불가능성에 대한 유한한 증명을 가능하게 한다.

ABSTRACT

In this article, we present a geometric theoretical analysis of semidefinite feasibility problems (SDFPs). This is done by decomposing a SDFP into smaller problems, in a way that preserves most feasibility properties of the original problem. With this technique, we develop a detailed analysis of weakly infeasible SDFPs to understand clearly and systematically how weak infeasibility arises in semidefinite programming. In particular, we show that for a weakly infeasible problem over $n imes n$ matrices, at most $n-1$ directions are required to approach the positive semidefinite cone. We also present a discussion on feasibility certificates for SDFPs and related complexity results.

연구 동기 및 목표

• 정준형 프로그래밍에서의 약한 불가능성에 대한 기하학적이고 구조적인 이해를 제공하기 위해.
• 아핀 가용해 집합 내에서 양의 준정적 행렬 코너에 수렴하는 수열을 생성하는 구성적 방법을 개발하기 위해.
• 실수 계산의 BSS 모델에서 약한 불가능성에 대한 유한하고 검증 가능한 증명을 확립하기 위해.
• 강한 가용성, 약한 가용성, 약한 불가능성, 강한 불가능성의 네 가지 가용성 상태를 재귀적 분해 절차를 통해 구분하기 위해.
• 불안정한 조건을 가진 SDPs에 대한 통찰과 제어 이론 및 다항식 최적화에서의 영향을 확장하기 위해.

제안 방법

• 선형 제약 조건의 영공간 내에서 정규직교 투영을 통해 정준형 가용성 문제(SDFP)를 더 작은 부분문제로 분해하며, 가용성 성질을 유지한다.
• 초가능한 분할(hyper feasible partition)의 개념을 도입한다: 선형 제약 조건의 영공간 내에서 재귀적으로 구성된 방향들의 집합으로, 각 방향이 반드시 양의 준정적이지는 않지만, 양의 선형 조합을 통해 코너에 임의로 가까이 갈 수 있다.
• 이러한 방향을 계산하기 위해 FP(가용성 분할) 절차를 사용하며, $ K_n \cap L $ 내의 영이 아닌 원소에서 시작한다.
• 문제 크기를 줄이고 가용성 상태를 순차적 투영을 통해 결정하기 위해, FP를 반복적으로 적용하는 BP(Basis Procedure) 절차를 사용한다.
• Gordan의 정리와 기반 기반 검증을 활용하여, BSS 모델 내에서 모든 단계가 다항시간 내에 검증 가능함을 보장한다.
• 문제 차원을 매 단계에서 최소한 하나 이상 감소시키는 재귀적 감소 전략을 사용하며, 최대 $ n $단계 내에 종료됨을 보장한다.

실험 결과

연구 질문

• RQ1 SDPs에서 약한 불가능성이 기하학적으로 어떻게 발생할 수 있으며, 이러한 문제를 특징짓는 구조적 특성은 무엇인가?
• RQ2 약한 불가능한 문제에서, 선형 제약 조건의 영공간 내에서 양의 준정적 행렬 코너에 도달하기 위해 필요한 영공간 내 방향의 최소 수는 얼마인가?
• RQ3 실수 계산의 BSS 모델에서 약한 불가능성에 대한 유한하고 검증 가능한 증명을 구성할 수 있는가?
• RQ4 재귀적 분해 절차는 강한 가용성, 약한 가용성, 약한 불가능성, 강한 불가능성의 네 가지 상태를 어떻게 구분할 수 있는가?
• RQ5 문제가 약하게 불가능할 경우, 초가능한 분할은 코너에 수렴하는 수열을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 모든 $ n \times n $ 행렬에 대한 약한 불가능한 SDFP에 대해, 선형 제약 조건의 영공간 내에서 최대 $ n-1 $개의 방향이 아핀 가용해 집합 내에서 양의 준정적 행렬 코너에 수렴하는 수열을 생성하는 데 충분하다.
• 영이 아닌 원소 $ a \in K_n \cap L $ 가 존재하는 것은 이러한 수열을 생성하는 데 필수적이지만 충분하지 않다; 일반적으로 $ n-1 $개의 방향이 필요하다.
• 초가능한 분할은 구성적 메커니즘을 제공한다: 분할 내 방향들의 양의 선형 조합은 양의 준정적 행렬에 임의로 가까이 갈 수 있다.
• BP 절차는 문제 크기를 재귀적으로 줄이고 매 단계에서 FP를 적용함으로써 네 가지 가용성 상태—강한/약한 불가능성 및 가용성—을 정확히 식별한다.
• FP 및 BP 내 모든 계산은 BSS 모델에서 다항시간 내에 검증 가능하며, 이는 SDFP의 가용성 상태를 결정하는 것이 $ \NP \cap \coNP $ 에 속한다는 것을 의미한다.
• 각 단계에서 문제 차원이 최소한 하나 이상 감소하므로, 절차는 최대 $ n $회 반복 내에 종료된다.