[논문 리뷰] The truncated tracial moment problem

Sabine Burgdorf, Igor Klep|arXiv (Cornell University)|2010. 01. 20.

Advanced Topics in Algebra참고 문헌 18인용 수 9

한 줄 요약

이 논문은 비가환 다항식에 대한 Curto와 Fialkow의 고전적 모멘트 문제 결과에 대한 흔적(트레이스) 버전을 수립한다. 이는 유한단계 흔적 수열이 흔적 모멘트 표현을 갖는다 하는 것과 그 모멘트 행렬이 양의 준정부호이면서 평탄한 확장을 갖는 것 사이의 이완 조건이 동치임을 증명하며, 이는 유한단계 흔적 모멘트 문제에 대한 완전한 해결책을 제공하고, 헤르미트 제곱과 교환자들의 합을 통한 추적-비음성 다항식의 특성화를 가능하게 한다.

ABSTRACT

We present tracial analogs of the classical results of Curto and Fialkow on moment matrices. A sequence of real numbers indexed by words in non-commuting variables with values invariant under cyclic permutations of the indexes, is called a tracial sequence. We prove that such a sequence can be represented with tracial moments of matrices if its corresponding moment matrix is positive semidefinite and of finite rank. A truncated tracial sequence allows for such a representation if and only if one of its extensions admits a flat extension. Finally, we apply the theory via duality to investigate trace-positive polynomials in non-commuting variables.

연구 동기 및 목표

• 비가환 설정으로 고전적 모멘트 문제 이론을 확장하기 위해 순환 치환에 대한 불변성에 기반한 흔적을 사용한다.
• 비가환 변수의 순서가 없는 단어로 인덱싱된 실수의 유한단계 수열이 행렬의 흔적 모멘트로 나타나는 조건을 규명한다.
• 비가환 다항식의 추적-비음성과 흔적 모멘트 표현 간의 이중성 관계를 수립한다.
• 평탄한 확장을 기반으로 한 알고리즘 기반 기준을 제시하여 흔적 모멘트 표현의 존재성을 판단한다.

제안 방법

• 비가환 변수의 순환 치환에 대해 불변인 흔적 수열을 도입한다.
• 흔적 모멘트 행렬을 정의하고, 이들이 행렬 다항식의 흔적으로서 수열을 표현하는 데서 수행하는 역할를 규명한다.
• 평탄한 확장 이론을 적용하여, 유한 랭크이면서 양의 준정부호인 흔적 모멘트 행렬의 고유 표현을 특성화한다.
• 이중성 이론을 활용하여 흔적 모멘트 표현의 존재성과 비가환 다항식의 추적-비음성 간의 연결 고리를 맺는다.
• 행렬 부등식과 코시-슈바르츠 부등식을 사용하여 표현이 불가능한 경우에 모순을 유도한다.
• 양의 준정부호 모멘트 행렬을 갖는 유한단계 흔적 수열의 볼록 쿠션의 극단점들을 분석하여 표현에서의 행렬 블록 구조를 제약한다.

실험 결과

연구 질문

• RQ1 비가환 단어로 인덱싱된 실수의 유한단계 수열이 행렬의 흔적 모멘트로 표현될 수 있는 조건은 무엇인가?
• RQ2 어떤 조건이 흔적 모멘트 행렬이 주어진 수열에 대해 흔적 모멘트 표현의 존재를 보장하는가?
• RQ3 비가환 다항식의 추적-비음성과 흔적 모멘트 문제 간의 이중성은 어떻게 활용되어 이러한 다항식을 특성화하는 데 기여하는가?
• RQ4 모멘트 행렬의 평탄한 확장이 흔적 모멘트 표현의 존재를 판단하는 데 어떤 역할을 하는가?
• RQ5 특정 다항식의 클래스—예를 들어 이항 4차 또는 이항 4차 다항식—이 이 틀을 통해 추적-비음성임을 입증할 수 있는가?

주요 결과

• 유한단계 흔적 수열이 흔적 모멘트 표현을 갖는다 하는 것은 그에 대응하는 흔적 모멘트 행렬이 양의 준정부호이면서 유한 랭크일 때에만 성립한다.
• 유한단계 흔적 수열이 흔적 모멘트 표현을 갖는다 하는 것은 그 수열의 확장 중 하나가 평탄한 확장을 갖는다 하는 것과 동치이다.
• 표현이 존재하는 유한단계 흔적 수열의 모멘트 행렬은 반드시 양의 준정부호여야 하며, 평탄한 확장을 가져야 한다.
• 추적-비음성 이항 4차 다항식(두 개의 비가환 변수에서 동차도 4의 다항식)은 헤르미트 제곱의 합의 쿠션 안에 속한다.
• 추적-비음성 이항 4차 다항식(각 변수에서 차수 ≤2)은 순환적으로 헤르미트 제곱의 합과 동치이다.
• 양의 준정부호 모멘트 행렬을 갖는 유한단계 흔적 수열 중에서도 흔적 모멘트 표현을 갖지 못하는 것이 존재함을 보여주며, 이는 평탄한 확장 조건의 필수성을 입증한다.