[논문 리뷰] Every free basic convex semi-algebraic set has an LMI representation

J. William Helton, Scott McCullough|arXiv (Cornell University)|2009. 08. 29.

Advanced Optimization Algorithms Research참고 문헌 19인용 수 22

한 줄 요약

이 논문은 대칭 행렬값 다항식으로 정의된 유계이고 볼록이며 자유 기본 열린 준대수집합에 대해 선형행렬부등식(LMI)의 해집합으로 표현될 수 있음을 증명한다. 이는 비가환 설정에서 행렬 볼록성과 LMI 표현 가능성 사이의 기본적인 동치성을 확립한다. 주요 기여는 표준 LMI 특성의 역을 제시하는 것으로, 상수항의 가역성 조건과 함께, 볼록성 조건만으로도 LMI 표현 가능성이 보장됨을 보여준다.

ABSTRACT

The (matricial) solution set of a Linear Matrix Inequality (LMI) is a convex basic non-commutative semi-algebraic set. The main theorem of this paper is a converse, a result which has implications for both semidefinite programming and systems engineering. For p(x) a non-commutative polynomial in free variables x= (x1, ... xg) we can substitute a tuple of symmetric matrices X= (X1, ... Xg) for x and obtain a matrix p(X). Assume p is symmetric with p(0) invertible, let Ip denote the set {X: p(X) is an invertible matrix}, and let Dp denote the component of Ip containing 0. THEOREM: If the set Dp is uniformly bounded independent of the size of the matrix tuples, then Dp has an LMI representation if and only if it is convex. Linear engineering systems problems are called "dimension free" if they can be stated purely in terms of a signal flow diagram with L2 performance measures, e.g., H-infinity control. Conjecture: A dimension free problem can be made convex if and only it can be made into an LMI. The theorem here settles the core case affirmatively.

연구 동기 및 목표

• 표준적으로 LMI 해집합이 볼록 자유 기본 준대수집합임을 보여주는 사실의 역을 확립하기 위해.
• 모든 볼록하고 유계이며 자유 기본 열린 준대수집합이 LMI 표현을 갖는지 여부를 규명하기 위해.
• 비가환(자유) 다항식 설정에서 행렬 볼록성과 LMI 표현 가능성 간의 관계를 명확히 하기 위해.
• 특히 사영 성질과 표현 가능성 클래스 측면에서 자유 실대수기하학과 정준형 프로그래밍에 미치는 영향을 조사하기 위해.

제안 방법

• 대칭 행렬값 자유 다항식 $ p(X) $의 가역성 집합을 통해 자유 기본 열린 준대수집합을 정의한다. 여기서 $ X $는 대칭 행렬의 튜플이다.
• 에프로스-윙클러의 행렬형 하른-반하우스 분리정리(행렬형 하른-반하우스 분리정리)를 사용하여, 단위 선형 행렬 다항식을 이용해 점들을 행렬 볼록집합에서 분리한다.
• 대칭 자유 다항식 $ p $가 $ p(0) $ 가역이고 $ \mathcal{D}_p $ 가 유계이면서 볼록일 경우, $ \mathcal{D}_p = \mathcal{D}_L $ 를 만족하는 단위 선형 아핀 다항식 $ L $ 이 존재함을 증명한다.
• 모든 행렬 차원에서의 다항식의 구조와 그 행렬 튜플에 대한 평가를 활용하여 볼록성과 가역성 집합을 분석한다.
• 비가환 설정에서 대수적 구조와 볼록기하학 사이의 갭을 메우기 위해 자유 해석학과 연산자 공간 이론의 결과를 적용한다.
• 어떤 경우에서는 기약성 가정을 사용하여 이러한 다항식이 반드시 차수 2여야 함을 보여주며, LMI 표현의 최소성에 기여한다.

실험 결과

연구 질문

• RQ1 모든 유계이고 볼록하며 자유 기본 열린 준대수집합은 선형행렬부등식(LMI)의 해집합으로 표현될 수 있는가?
• RQ2 대칭 자유 다항식 $ p $ 에 대해, 그 가역성 집합 $ \mathcal{D}_p $ 가 LMI 표현 가능하기 위한 조건은 무엇인가?
• RQ3 LMI 표현 가능성과 볼록성 측면에서 자유 비가환 설정은 고전적 가환 설정과 어떻게 다를까?
• RQ4 자유 준대수집합 중에서 LMI 집합의 사영이 되는 집합의 클래스는 자유 설정에서 LMI 표현 가능한 집합의 클래스와 동일한가?
• RQ5 가역성 집합이 동시에 유계이고 볼록인 자유 다항식에 대해 어떤 구조적 제약(예: 차수)이 발생하는가?

주요 결과

• 상수항 $ p(0) $ 가 가역이면서 대칭 자유 다항식 $ p $ 로 정의된 유계이고 볼록한 자유 기본 열린 준대수집합은 선형행렬부등식(LMI)의 해집합으로 표현 가능하다.
• 주요 결과는 $ \mathcal{D}_p $ 가 유계이면서 $ p(0) $ 가 가역일 경우, $ \mathcal{D}_p $ 의 볼록성이 LMI 표현 가능성에 대해 필수적이고 충분한 조건임을 보여준다.
• 고전적 가환 설정과 달리 자유 설정에서는 추가 조건(예: '선분 시험')이 필요 없으며, 볼록성만으로도 LMI 표현 가능성이 보장된다.
• 기약 자유 다항식 $ p $ 에 대해 $ \mathcal{D}_p $ 가 유계이고 볼록일 경우, $ p $ 는 반드시 차수 2여야 한다.
• 자유 준대수집합 중에서 LMI 집합의 사영이 되는 집합의 클래스는 자유 설정에서 LMI 표현 가능한 집합의 클래스와 일치한다. 이는 고전적 경우와 뚜렷하게 대비된다.
• 결과적으로 신호 흐름도로 제어되는 차원에 관계없는 시스템 문제에서는 모든 볼록성 조건이 LMI에 의해 포괄되며, 이 맥락에서 LMI 표현을 초월한 볼록성은 존재하지 않음을 시사한다.