비가환 삼각 다항식의 페예르 리즈 인수분해 정리

초록

이 논문은 고전적인 페예르-리즈 정리를 비가환 영역으로 확장합니다. 자유 반군이나 자유 곱군과 이산 군의 곱 위에서 정의된, 행렬 값을 갖는 양의 삼각 다항식이 균일하게 엄격하게 양수일 경우, 최적의 차수 경계를 가지는 해석적 다항식의 제곱 형태로 인수분해될 수 있음을 증명합니다. 이 결과는 양자 정보 이론의 벨 부등식에 대한 차수 제한된 SOS 증명서를 제공하며, 특수한 경우 기존의 가환 다변수 페예르-리즈 정리를 회복합니다.

상세 분석

이 논문의 핵심 기여는 비가환 다항식 맥락에서 페예르-리즈 유형의 인수분해를 최적의 차수 경계 하에 증명한 것입니다. 주요 대상은 W × Y 위의 행렬 값 삼각 다항식으로, W는 자유 반군 _g 또는 자유 곱군 Z_2^{*g} 중 하나이며, Y는 ℓ-Frac Y = Y를 만족하는 이산 군(예: Z^h, Z_2^{*h})입니다. 논문은 ‘shortlex’ 순서를 사용하여 다항식의 차수를 정의합니다.

주요 정리(정리 1.1)에 따르면, W 변수에 대해 최대 w 차수를 갖는 다항식 A가 모든 유니터리 표현에서 균일하게 엄격하게 양수(Uniformly Strictly Positive)이면, A = B*B 형태로 인수분해되며, 여기서 B는 해석적이고 W 변수에 대한 차수가 최대 w입니다. 이 차수 경계는 최적이며, ‘균일하게 엄격하게 양수’ 조건은 필수적입니다. 이 조건이 없으면 인수분해가 차수 경계를 유지하지 못하는 반례가 존재합니다(비고 1.9).

증명을 위해 두 가지 독립적인 도구를 개발했습니다: (a) 군 위의 함수를 항목으로 갖는 양의 준정부호 패럿 정리, (b) 길이 ≤ w인 단어로 색인된, 자유 반군 또는 자유 곱군에 대한 양의 준정부호 행렬 완성 문제의 해법. 이 중 패럿 정리의 확장과 자유 곱군 Z_2^{*g}에 대한 행렬 완성 해법은 새로운 결과입니다.

흥미로운 특수 경우로, Y가 자명한 군일 때 Z_2^{*g}에 대해 ‘완벽한’ 그룹 대수 Positivstellensatz(정리 1.6)가 성립합니다. 즉, 엄격한 양수성 조건 없이도 (양의 준정부호일 때) 동일한 최적 차수 경계의 인수분해가 보장됩니다. 그러나 이 성질은 Z_2^{*g}에 국한되어, Z_2 * Z_3나 Z_3^{*2}와 같은 다른 자유 곱군에서는 성립하지 않습니다(비고 1.10, 제8장).

이 결과는 양자 정보 이론, 특히 C