[논문 리뷰] A Note on the Convex Hull of Finitely Many Projections of Spectrahedra

Tim Netzer, Rainer Sinn|ArXiv.org|2009. 08. 24.

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

한 줄 요약

이 논문은 임의의 유한 개의 스펙트라헤드론의 사영의 볼록결합이 스스로가 스펙트라헤드론의 사영임을 증명한다. 저자들은 확장된 공간에서 콘 결합과 민코프스키 합을 활용하여 헬튼과 니의 유계 케이스 결과를 비유계 설정으로 일반화함으로써, 준위상형으로 표현 가능한 집합들에 대한 기본적인 닫힘 성질을 확립한다.

ABSTRACT

A spectrahedron is a set defined by a linear matrix inequality. A projection of a spectrahedron is often called a semidefinitely representable set. We show that the convex hull of a finite union of such projections is again a projection of a spectrahedron. This improves upon the result of Helton and Nie, who prove the same result in the case of bounded sets.

연구 동기 및 목표

• 준위상형으로 표현 가능한 집합들에 대해 유한 개의 합집합의 볼록결합에 대한 닫힘 성질을 확립하기 위해.
• 유계성 또는 닫힌 볼록결합을 요구했던 헬튼과 니의 결과를, 임의의 유한 개의 스펙트라헤드론 사영의 합집합으로 일반화하기 위해.
• 스펙트라헤드론 사영의 볼록결합을 스펙트라헤드론 사영을 통해 구성적으로 표현하는 방법을 제공하기 위해.
• 특히 볼록결합이 닫혀 있지 않은 경우에 발생하는 기술적 과제를 해결하기 위해.

제안 방법

• 각 스펙트라헤드론의 사영을 고차원 공간에서 선형 행렬부등식으로 정의된 집합으로 표현하기 위해.
• 보조 변수와 블록 행렬 제약 조건을 도입하여 확장된 공간에서 각 집합의 콘 결합을 구성하기 위해.
• 콘 결합의 민코프스키 합을 사용하여 원래 집합들의 볼록결합을 고차원 공간 내의 새로운 스펙트라헤드론을 통해 표현하기 위해.
• 스케일링과 콘 제약 조건을 통해 볼록조합을 인코딩하는 리프팅 기법을 적용하여, 사영 아래에서 원래 볼록결합을 복원함으로써 보장하기 위해.
• 존재기호를 제거하기 위해 블록 행렬 표현을 사용하여 준위상형 표현성을 유지하기 위해.
• 최종적으로 얻어진 집합이 원래 공간에서 입력 집합들의 볼록결합과 정확히 일치함을 검증하기 위해.

실험 결과

연구 질문

• RQ1 유한 개의 스펙트라헤드론 사영의 합집합의 볼록결합은 항상 준위상형으로 표현 가능한가?
• RQ2 볼록결합에 대한 닫힘 성질은 유계 집합이나 닫힌 볼록결합을 초월하여 일반화될 수 있는가?
• RQ3 이러한 집합들의 볼록결합이 여전히 스펙트라헤드론이 되기 위해 필요한 구조적 제약 조건은 무엇인가?
• RQ4 콘 결합과 민코프스키 합을 어떻게 사용하여 고차원 스펙트라헤드론 내에서 볼록결합을 구성적으로 표현할 수 있는가?
• RQ5 보조 변수와 블록 행렬 부등식은 볼록화 과정에서 준위상형 표현성을 유지하는 데 어떤 역할을 하는가?

주요 결과

• 임의의 유한 개의 스펙트라헤드론 사영의 합집합의 볼록결합은 비록 집합이 비유계이거나 볼록결합이 닫혀 있지 않더라도, 스스로가 스펙트라헤드론의 사영임을 보였다.
• 스펙트라헤드론의 사영의 콘 결합 역시 블록 행렬 제약 조건을 사용한 리프팅 구성에 의해 스펙트라헤드론의 사영임을 입증하였다.
• 다수의 사영의 콘 결합의 민코프스키 합은 확장된 공간 내에서 스펙트라헤드론을 이룬다. 이 스펙트라헤드론의 사영은 원래 집합들의 볼록결합을 복원한다.
• 모든 경우를 균일하게 다루기 위해 보조 변수와 스케일링 파라미터 λ를 도입함으로써, 유계성 또는 닫힘에 대한 의존도를 제거하였다.
• 구성은 효과적이고 구성적이며, 블록 행렬 부등식을 사용하여 볼록결합에 대한 명시적인 준위상형 표현을 제공한다.
• 헬튼과 니의 정리 2.2를 비유계 조건을 제거함으로써 일반화하였으며, 준위상형 표현 가능성의 적용 범위를 크게 확장하였다.