[논문 리뷰] Dilations of matricies

David A. Cohen|arXiv (Cornell University)|2015. 03. 25.

Advanced Operator Algebra Research참고 문헌 6인용 수 4

한 줄 요약

이 논문은 유한 차원 힐버트 공간 위의 가환 $n$-타플의 정규 $X$-확장의 존재성과 증가하는 차수를 가진 다항정규 $X$-확장의 존재성 간의 동치성을 확립한다. 양성 연산자값 측도를 위한 삼각법 공식과 나임아르크의 확장 정리에 기반하여, 저자들은 유한 차원 확장을 구성하며, 이러한 확장이 존재하는 것은 정확히 다항식의 모든 차수에 대해 근사 확장을 갖는 조건과 동치임을 증명한다.

ABSTRACT

We explore aspects of dilation theory in the finite dimensional case and show that for a commuting $n$-tuple of operators $T=(T_1,...,T_n) $ acting on some finite dimensional Hilbert space $H$ and a compact set $X\subset \mathbb{C}^n$ the following are equivalent: 1. $T$ has a normal $ X$-dilation. 2. For any $m\in \mathbb{N}$ there exists some finite dimensional Hilbert space $K$ containing $H$ and a tuple of commuting normal operators $N=(N_1,...,N_n)$ acting on $K$ such that $$ q(T)=P_Hq(N)|_H$$ for all polynomials $q$ of degree at most $m$ and such that the joint spectrum of $N$ is contained in $X$ (where $P_H$ is the projection from $K$ to $H$).

연구 동기 및 목표

• 유한 차원 힐버트 공간 위의 가환 $n$-타플이 컴act 집합 $X \subset \mathbb{C}^n$에 대해 정규 $X$-확장을 갖는 조건을 특성화하는 것.
• 정규 $X$-확장을 다항식 근사 성질과 연결함으로써 유한 차원 확장 이론과 스펙트럼 집합 이론을 연결하는 것.
• 양성 연산자값 측도(POVM)와 삼각법 공식을 통한 확장의 구성적 프레임워크 제공.
• 아르베손의 확장 정리와 폰 뉴만 형식 부등식의 유한 차원 해석 탐색.
• 특히 저차원에서 가환 수축 연산자 타플에 대해 $m$-확장을 존재 및 구성하는 것.

제안 방법

• 정규 $X$-$m$-확장의 개념을 도입: $K \supset H$ 위의 유한 차원 공간에서 가환 정규 연산자 타플로, 모든 차수 $\leq m$인 다항식 $q$에 대해 $q(T) = P_H q(N)|_H$를 만족하는 것.
• 모든 $m$에 대해 이러한 $X$-$m$-확장의 존재가 극한 근사에 의해 정규 $X$-확장의 존재를 이끌어내는 것을 증명.
• 다항식의 차수 $\leq m$인 유한 차원 부분공간 $V$에 제한된 $C(X)$ 위의 POVM에 대해 삼각법 공식을 구성.
• 나임아르크의 확장 정리를 적용하여 POVM을 더 큰 힐버트 공간 위의 스펙트럼 측도로 올리며, 정규 확장을 얻는다.
• 확장된 정규 연산자들의 공동 스펙트럼을 이용해 $X$에 포함됨을 보장함으로써 필요한 스펙트럼 조건을 만족시킨다.
• 아르베손의 확장 정리를 활용: $X$-$m$-확장이 모든 $m$에 대해 존재하면 정규 $X$-확장이 존재한다.

실험 결과

연구 질문

• RQ1 유한 차원 연산자 타플이 가환적일 때, 어떤 조건에서 정규 $X$-확장을 갖는가?
• RQ2 모든 $m$에 대해 $X$-$m$-확장의 존재가 전체 정규 $X$-확장을 구성하는 데 사용될 수 있는가?
• RQ3 가환 수축 연산자 쌍에 대해 유니터리 $m$-확장을 유한 차원적으로 구성할 수 있는가?
• RQ4 어떤 가환 수축 연산자 타플이 $\varphi_j \in A(\mathbb{D})$ 이며 $\|\varphi_j\|_\infty \leq 1$ 조건을 만족하는 함수들에 의해 $\varphi_j(S_d)$ 로 표현될 수 있는가?
• RQ5 $X$가 완전한 스펙트럼 집합일 경우 $m$-확장을 명시적으로 구성할 수 있는가?

주요 결과

• 유한 차원 힐버트 공간 $H$ 위의 가환 $n$-타플 $T = (T_1, \dots, T_n)$에 대해, 정규 $X$-확장의 존재는 모든 $m \in \mathbb{N}$에 대해 $X$-$m$-확장의 존재와 동치이다.
• 이러한 확장의 구성은 다항식의 차수 $\leq m$인 부분공간에 제한된 $C(X)$ 위의 POVM에 대한 삼각법 공식에 의존한다.
• 삼각법 공식의 존재는 POVM이 유한 랭크 스펙트럼 측도로 정확히 근사 가능하게 하며, 나임아르크 정리를 적용할 수 있도록 보장한다.
• 결과로 얻어진 확장은 $K \supset H$ 위의 유한 차원 공간에서 가환 정규 연산자 타플이며, 공동 스펙트럼은 $X$에 포함되어 있다.
• 증명은 $X$가 $T$에 대해 완전한 스펙트럼 집합임과 $X$-$m$-확장이 모든 $m$에 대해 존재하는 것이 동치임을 보이며, 스펙트럼 집합 이론과 확장 이론을 연결한다.
• 하삼각 토플리츠 행렬에 대해, $\varphi_j \in A(\mathbb{D})$ 를 구성하여 $\varphi_j(S_d) = A_j$ 를 만족시키며, 이러한 타플이 디스크 대수의 함수들로부터 유래됨을 보여준다.