[논문 리뷰] Unitary N-dilations for tuples of commuting matrices

John E. McCarthy, Orr Moshe Shalit|arXiv (Cornell University)|2011. 05. 10.

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

한 줄 요약

이 논문은 모든 유한차원의 서로 가환하는 수축 연산자 튜플이 단위원적 확장(unitary dilation)을 가질 때, 임의의 차수 $N$에 대해 유한차원 단위원적 $N$-확장(finite-dimensional unitary $N$-dilation)을 가짐을 보여준다. 이는 튜플의 $N$차 다항식 함수해석학적 계산이 압축(compression)에 의해 유지됨을 의미한다. 주요 기여는 두 개의 가환하는 연산자에 대해 Andô의 확장 정리의 구성적 유한차원 형태를 제시한 것으로, 단일 연산자에 대한 Egerváry의 유한차원 확장 결과를 확장한 것이다.

ABSTRACT

We show that whenever a contractive $k$-tuple $T$ on a finite dimensional space $H$ has a unitary dilation, then for any fixed degree $N$ there is a unitary $k$-tuple $U$ on a finite dimensional space so that $q(T) = P_H q(U) |_H$ for all polynomials $q$ of degree at most $N$.

연구 동기 및 목표

• 서로 가환하는 수축 연산자 튜플에 대한 유한차원 단위원적 확장 이론의 유한차원 대응체를 개발하기 위해.
• 단일 수축 연산자에 대한 Egerváry의 유한차원 확장 결과를 쌍 및 $k$-튜플의 가환하는 수축 연산자로 확장하기 위해.
• 임의의 $N$에 대해 $k$-튜플의 가환하는 수축 연산자가 유한차원 단위원적 $N$-확장을 가질 수 있는 조건을 확립하기 위해.
• 원래 공간의 차원과 $N$에 따라 확장 공간의 차원에 대한 명시적 경계를 제공하기 위해.
• 유한차원 설정에서 정규 $N$-확장과 정규 단위원적 확장 간의 관계를 탐색하기 위해.

제안 방법

• 최대 차수 $N$인 $k$개의 변수에 대한 복소다항식 공간 $\mathcal{P}_N(k)$를 사용하여 $N$-확장 조건을 정의하기 위해.
• 모든 $q \in \mathcal{P}_N(k)$에 대해 $q(T) = \sum_i q(w_i) A_i$가 성립하도록 $\mathbb{T}^k$ 내의 점들 $w_i$와 $H$ 위의 양의 연산자 $A_i$의 유한 집합을 구성하기 위해.
• Naimark의 확장 정리를 적용하여 양의 연산자값 측도 $\{A_i\}$를 유한차원 공간 $K \supseteq H$ 위의 스펙트럴 측도 $\{E_i\}$로 올리기 위해.
• $K$ 위에서 $U_j = \sum_i w_i^j E_i$로 정의된 단위원적 $k$-튜플을 정의하여 가환성과 단위원성 보장하기 위해.
• 포아송 커널을 사용하여 정규 $N$-확장을 위해 $\mathcal{Q}_N(k)$, 즉 $n$-조화 함수 공간으로 기능해석학을 확장하기 위해.
• 일반적인 경우의 차원 계산: $\dim K = n^2(n+1)\frac{(N+k)!}{N!k!} + n$, 특수한 경우(예: $k=2$ 또는 $\dim H=2$)에 대해 더 날카운 경계 제공하기 위해.

실험 결과

연구 질문

• RQ1 유한차원 $k$-튜플의 가환하는 수축 연산자가 유한차원 단위원적 $N$-확장을 가질 수 있는 조건은 무엇인가?
• RQ2 두 개의 가환하는 수축 연산자에 대한 Andô의 확장 정리를 유한차원, 차수 제한된 $N$-확장으로 확장할 수 있는가?
• RQ3 주어진 $k$-튜플의 가환하는 수축 연산자에 대해 단위원적 $N$-확장을 지지할 수 있는 최소 차원의 유한차원 힐버트 공간은 무엇인가?
• RQ4 유한차원 설정에서 정규 $N$-확장과 정규 단위원적 확장의 존재성 간의 관계는 어떻게 되는가?
• RQ5 확장 공간의 차원에 대해 명시적 경계를 제공하는 구성적 방법으로 이러한 $N$-확장을 만들 수 있는가?

주요 결과

• 차원 $n$인 유한차원 힐버트 공간 $H$ 위의 $k$-튜플의 가환하는 수축 연산자는, 정규 단위원적 확장이 존재할 때이고 그때에만, 유한차원 공간 $K$ 위에 단위원적 $N$-확장을 가진다.
• 일반적인 $k$-튜플의 경우, 확장 공간 $K$의 차원은 $n^2(n+1)\frac{(N+k)!}{N!k!} + n$ 이하로 경계된다.
• 특히 $k=2$인 경우, $K$의 차원은 $n^2(n+1)\frac{(N+1)(N+2)}{2} + n$ 이하로 경계된다.
• $\dim H = 2$인 경우, $K$의 차원은 $12\frac{(N+k)!}{N!k!} + 2$ 이하로 경계된다.
• 모든 $N$에 대해 정규 $N$-확장이 존재한다는 것은 정규 단위원적 확장의 존재성과 동치이며, 그 반대도 성립한다.
• 구성은 Naimark의 확장 정리를 활용하여 양의 연산자값 측도를 스펙트럴 측도로 올리며, 이는 $K$ 위에서 가환하는 단위원적 연산자들을 정의하는 데 기여한다.