[논문 리뷰] A Real Nullstellensatz for Matrices of Non-Commutative Polynomials

Christopher Nelson|arXiv (Cornell University)|2013. 05. 03.

Advanced Topics in Algebra참고 문헌 11인용 수 6

한 줄 요약

이 논문은 자유 $\ast$-대수 $\mathbb{R}\langle x,x^\ast\rangle$ 내의 비가환 다항식 행렬에 대해 비가환 실수 Nullstellensatz를 수립한다. 이는 유한한 집합의 공통 영점에서 행렬 다항식이 영이 되는 것과 그 다항식이 해당 집합을 포함하는 가장 작은 실수 왼쪽 부분모듈에 속해 있는 것이 서로 동치임을 증명한다. 또한 이 실수 근의 부분모듈을 계산하는 효율적이고 유한 단계의 알고리즘을 제안하며, 구조적 그로버 기반 기법과 제곱합 최적화를 활용하여 이전 방법보다 향상된 성능을 달성한다.

ABSTRACT

This article extends the classical Real Nullstellensatz to matrices of polynomials in a free $\ast$-algebra $\RR\axs$ with $x=(x_1, \ldots, x_n)$. This result is a generalization of a result of Cimpri\vc, Helton, McCullough, and the author. In the free left $\RR\axs$-module $\RR^{1 imes \ell}\axs$ we introduce notions of the (noncommutative) zero set of a left $\RR\axs$-submodule and of a real left $\RR\axs$-submodule. We prove that every element from $\RR^{1 imes \ell}\axs$ whose zero set contains the intersection of zero sets of elements from a finite subset $S \subset \RR^{1 imes \ell}\axs$ belongs to the smallest real left $\RR\axs$-submodule containing $S$. Using this, we derive a nullstellensatz for matrices of polynomials in $\RR\axs$. The other main contribution of this article is an efficient, implementable algorithm which for every finite subset $S \subset \RR^{1 imes \ell}\axs$ computes the smallest real left $\RR\axs$-submodule containing $S$. This algorithm terminates in a finite number of steps. By taking advantage of the rigid structure of $\RR\axs$, the algorithm presented here is an improvement upon the previously known algorithm for $\RR\axs$.

연구 동기 및 목표

• 기존의 실수 Nullstellensatz를 자유 $\ast$-대수 내의 비가환 다항식의 행렬에 대해 비가환 환경으로 확장한다.
• 왼쪽 부분모듈의 영점 집합과 실수 왼쪽 부분모듈의 개념을 정의하고 그 특성을 규명한다.
• 기존 실수 Nullstellensatz의 비가환 버전을 수립한다: 행렬 다항식이 유한한 집합의 공통 영점에서 영이 되는 것과 그 다항식이 해당 집합으로 생성된 부분모듈의 실수 근에 속해 있는 것은 동치이다.
• 주어진 유한한 행렬 다항식 집합을 포함하는 가장 작은 실수 왼쪽 부분모듈을 계산하는 유한하고 구현 가능한 알고리즘을 개발한다.
• 자유 대수 $\mathbb{R}\langle x,x^\ast\rangle$의 엄격한 대수적 구조를 활용하고, 그로버 기반 프레임워크 내에서 제곱합 기법을 통합하여 기존 알고리즘보다 향상된 성능을 확보한다.

제안 방법

• 왼쪽 부분모듈의 영점 집합 개념을 $\mathbb{R}^{1\times\ell}\langle x,x^\ast\rangle$에서 도입하고, 제곱합의 양의 부호 조건을 통해 실수 왼쪽 부분모듈을 정의한다.
• 유한한 행렬 다항식 집합으로 생성된 왼쪽 부분모듈의 실수 근을 계산하기 위해 감소된 왼쪽 그로버 기반 기반의 재귀적 알고리즘을 사용한다.
• 특히 구성된 단항기저 $\mathfrak{C}^{(i)}$의 스칼라 벡터 공간에 대한 선형 행렬 부등식(LMI) 설정을 통해 비자명한 제곱합의 존재 여부를 테스트한다.
• 각 반복 단계에서 선형 피벗 $L_i$를 갖는 형태의 제곱합 $M_i^* L_i(\alpha,\beta) M_i$ 가 존재하는지, 이를 위해 준위 프로그래밍 기법을 활용한다.
• 해당 제곱합이 존재하면, 해당 다항식 벡터를 생성 집합에 추가하고 다시 감소된 왼쪽 그로버 기반을 재계산한다; 그렇지 않으면 알고리즘이 종료되며, 현재 생성 집합이 실수 근 부분모듈의 감소된 왼쪽 그로버 기반임을 출력한다.
• 유한 차수 성분의 유한성에 기반하여 차수 상한과 단항식의 나눗셈 조건을 도입하여 알고리즘의 종료성과 정확성을 보장한다.

실험 결과

연구 질문

• RQ1 기존의 실수 Nullstellensatz는 자유 $\ast$-대수 내의 비가환 다항식의 행렬로 확장될 수 있는가?
• RQ2 비가환 환경에서 실수 왼쪽 부분모듈의 적절한 개념은 무엇이며, 영점 집합과의 관계는 어떠한가?
• RQ3 주어진 유한한 행렬 다항식 집합을 포함하는 가장 작은 실수 왼쪽 부분모듈을 계산하는 알고리즘적 절차는 존재하는가?
• RQ4 제곱합 기법은 비가환 대수에서 실수 근을 효율적으로 계산하기 위한 그로버 기반 프레임워크에 어떻게 통합될 수 있는가?
• RQ5 제안된 알고리즘은 유한한 단계 내에 종료되며, 실수 근 부분모듈을 정확히 계산하는가?

주요 결과

• 논문은 비가환 실수 Nullstellensatz를 증명한다: 행렬 다항식 $q$ 는 유한한 집합 $S$ 의 공통 영점에서 영이 되는 것과 $q$ 가 $S$ 를 포함하는 가장 작은 실수 왼쪽 부분모듈에 속해 있는 것은 동치이다.
• 알고리즘은 $\mathbb{R}^{1\times\ell}\langle x,x^\ast\rangle$ 의 동차 성분의 유한성에 기반하여 유한한 단계 내에 종료된다.
• 알고리즘의 각 반복 단계에서 생성된 왼쪽 모듈은 엄격히 증가하므로 수렴성이 보장된다.
• 알고리즘은 차수 상한을 유지한다: 입력 다항식의 차수가 최대 $d$ 이면, 모든 중간 다항식과 기저 $\mathfrak{C}^{(i)}$ 내의 단항식의 차수도 최대 $d-1$ 이다.
• 선형 행렬 부등식(LMI) 타당성 테스트를 통해 비자명한 제곱합의 존재 여부를 정확히 식별하며, 존재할 경우 해당 다항식 벡터를 생성 집합에 추가한다.
• LMI에 해가 존재하지 않으면 알고리즘이 종료되며, 현재 생성 집합이 실수 근 부분모듈에 대한 감소된 왼쪽 그로버 기반임을 출력한다.