[논문 리뷰] Positive polynomials in scalar and matrix variables, the spectral theorem and optimization

J. William Helton, Mihai Putinar|ArXiv.org|2006. 12. 04.

Matrix Theory and Algorithms참고 문헌 108인용 수 45

한 줄 요약

이 논문은 비가환 실대수기하학을 통해 양의 다항식, 스펙트럼 정리, 최적화를 통합하며, 준언제의 다항식이 준언제의 대칭집합에서 양의 값을 갖는다는 점을 보여주고, 이는 제곱합 분해를 갖는다. 또한 선형 행렬부등식(LMI)으로 표현될 수 있다. 주요 기여는 긍정성 증명과 LMI 해법 사이의 구축된 프레임워크로, 이는 효율적인 최적화 및 제어 응용을 가능하게 한다.

ABSTRACT

We follow a stream of the history of positive matrices and positive functionals, as applied to algebraic sums of squares decompositions, with emphasis on the interaction between classical moment problems, function theory of one or several complex variables and modern operator theory. The second part of the survey focuses on recently discovered connections between real algebraic geometry and optimization as well as polynomials in matrix variables and some control theory problems. These new applications have prompted a series of recent studies devoted to the structure of positivity and convexity in a free *-algebra, the appropriate setting for analyzing inequalities on polynomials having matrix variables. We sketch some of these developments, add to them and comment on the rapidly growing literature.

연구 동기 및 목표

• 비가환 긍정성의 관점에서 함수해석학, 대수기하학, 최적화 분야의 고전적 긍정성 개념을 통합하기 위해.
• 행렬 다항식의 긍정성과 선형 행렬부등식(LMI) 사이의 다리 역할을 하여 제어 이론과 최적화에 핵심적인 영향을 미치기 위해.
• 자유 $*$-대수에서 차원에 무관하고 차원에 따라 달라지는 긍정성에 대한 이론적 프레임워크를 개발하여 알고리즘적 해법을 가능하게 하기 위해.
• 공 ing 및 응용 분야에서 비가환 긍정성의 기초를 마련하여 공 ing 및 수학적 최적화 문제에 적용하기 위해.
• 대수적 긍정성과 수치적 해법 사이의 격차를 해소하기 위해 제곱합과 LMI 표현을 연결함으로써.

제안 방법

• 힐버트 공간에서의 스펙트럼 정리와 긍정성 기준을 사용하여 비가환 변수의 다항식의 긍정성 분석.
• 자유 $*$-대수에서 행렬 다항식의 경우에 대해 긍정성 증명을 위해 제곱합을 이용한 포지티비스텔젠색을 적용.
• 다항식 계수로 구성된 행렬값 선형 펜슬 $\mathcal{L}(a)[x]$를 구성하며, 이는 변수 $x$에 대해 선형이며, 그 슈어 여부가 원래 다항식 $P(a,x)$를 복원한다.
• 양의 측도와 다항식의 긍정성 간의 모멘트 이중성을 활용하여 비음수성의 대수적 증거를 도출.
• 차수 2 항의 구조를 활용하여 다항식 부등식 문제를 LMI 형태로 감소시키며, 이는 양의 정부호 행렬 $M(a)$를 통한 표현을 기반으로 한다.
• 비가환 다항식 항등식과 단순화를 다루기 위해 NCAlgebra와 NCGB와 같은 기호 계산 도구를 활용.

실험 결과

연구 질문

• RQ1 비가환 변수에 대한 행렬 다항식의 긍정성은 어떻게 대수적 제곱합을 통해 증명할 수 있는가?
• RQ2 행렬 다항식이 준언제의 집합에서 양의 값을 갖는다는 조건을 충족할 때, 자유 $*$-대수에서 제곱합으로 표현될 수 있는 조건은 무엇인가?
• RQ3 행렬 부등식 $P(a,x) > 0$이 변수 $a$에 대해 등가적으로 선형 행렬부등식(LMI)으로 재구성될 수 있는 경우는 언제인가?
• RQ4 기초가 되는 행렬 변수의 차원은 긍정성과 LMI 표현 가능성 간의 등가성에 어떤 영향을 미치는가?
• RQ5 스펙트럼 정리와 모멘트 문제의 역할은 비가환 다항식의 기능해석학과 실대수기하학을 연결하는 데 어떤가?

주요 결과

• 준언제의 집합에서 양의 값을 갖는 행렬 다항식은 자유 $*$-대수에서 제곱합 분해를 갖으며, 이는 긍정성의 대수적 증거를 제공한다.
• 변수 $x$에 대해 차수 2인 행렬 다항식의 경우, 양의 정부호 행렬 $M(a)$를 통해 긍정성이 증명 가능하며, 이는 LMI 구성에 기여한다.
• 다항식 계수로 구성된 변수 $a$와 선형인 변수 $x$를 갖는 선형 행렬 펜슬 $\mathcal{L}(a)[x]$를 구성할 수 있으며, 그 슈어 여부가 $P(a,x)$와 일치함으로써 원래 부등식과의 등가성을 보장한다.
• 2차 항 $P^{II}(a,x)$에 대해 포지티비스텔젠색이 성립할 경우, 다항식 LMI 표현이 존재하며, 이는 표준 SDP 솔버를 통한 수치적 해법을 가능하게 한다.
• 차원에 무관한 설정에서는 행렬 다항식의 긍정성이 LMI 표현 가능성과 등가하지만, 차원에 따라 달라지는 경우 추가적인 볼록성 제약 조건으로 인해 이 등가성은 성립하지 않는다.
• GloptiPoly, SeDuMi, NCAlgebra와 같은 소프트웨어 도구를 통해 실용적인 구현이 가능하며, 이는 최적화 및 제어 응용을 촉진한다.