[논문 리뷰] Sums of equivalent sequences of positive operators in von Neumann factors

Catalin Dragan, Victor Kaftal|arXiv (Cornell University)|2015. 04. 13.

Spectral Theory in Mathematical Physics참고 문헌 22인용 수 4

한 줄 요약

이 논문은 무한한 $\sigma$-유한 von Neumann 인자에서, 스펙트럼 프로jections과 추적의 유한성 조건을 만족하는 경우, 양의 연산자 $A$가 주어진 양의 연산자 $B_j$와 Murray-von Neumann 동치인 연산자 $C_j$들의 무한합 $A = \sum_{j=1}^\infty C_j$로 분해될 수 있음을 증명한다. 이는 Bourin과 Lee가 제기한 $B(\mathcal{H})$ 내에서 동치인 양의 연산자 합에 대한 추측을 확인하고, 일반적인 von Neumann 인자로 확장하며, 유형 III 인자에 대해 필요하고 충분한 조건을 제시한다.

ABSTRACT

Let A be a positive operator in an infinite sigma-finite von Neumann factor M and let B_j be a sequence of positive elements in M. We give sufficient conditions for decomposing A into a sum of elements C_j equivalent to B_j for all j ( C equivalent to B in M means that C=XX* and B=X*X for some X in M) and when C_j are unitarily equivalent to B_j for all j. This extends recent work of Bourin and Lee for the case of B_j= B for all j and M=B(H) and answers affirmatively their conjecture. For the case when B_j= B for all j we provide necessary conditions, which in the type III case are also sufficient.

연구 동기 및 목표

• Bourin과 Lee의 $B(\mathcal{H})$ 내에서 양의 연산자 분해에 대한 작업을 일반적인 무한한 $\sigma$-유한 von Neumann 인자로 확장하는 것.
• von Neumann 인자 내에서 양의 연산자 $A$가 주어진 양의 연산자 수열 $\{B_j\}$에 대해 $A = \sum C_j$ 형태로 표현될 수 있는 충분한 조건을 설정하는 것.
• 유형 III 인자에서 이러한 분해에 대해 필요하고 충분한 조건을 제공하여, 조건이 필수적이고 충분함을 입증하는 것.
• 유한성 인자 내에서 사영소의 합에 관한 기존 결과를 강화하고, 이를 동치인 양의 연산자로의 분해의 기초로 활용하는 것.

제안 방법

• 이전 연구(Kaftal, Ng, Zhang)에서 유도된 사영소의 합으로의 분해를 기반 도구로 사용하여 동치인 양의 연산자를 구성하는 것.
• 연산자 $A$를 $C_j \sim B_j$를 만족하는 연산자들로 분해하는 문제를 스펙트럼 및 추적 조건을 통해 사영소의 합으로 환원하는 것.
• von Neumann 인자 내에서 $C_j$와 $B_j$를 연결하기 위해 Murray-von Neumann 동치($C \sim B$ iff $C = XX^*$, $B = X^*X$ for some $X \in \mathcal{M}$) 개념을 적용하는 것.
• Breuer 이상수 $\mathcal{J}$에 대한 본질적 노름 $\|A\|_e$와 본질적 스펙트럼 $\sigma_e(A)$를 사용하여 $A$와 $B_j$의 무한대에서의 행동을 특성화하는 것.
• 무한히 많은 $j$에 대해 스펙트럼 프로jections $\chi_{(\beta,\infty)}(B_j)$에 대한 균일한 하한 $\beta > 0$의 존재를 활용하여 필요한 동치성의 존재를 보장하는 것.
• 직합 분해와 사영비교($P \prec Q$)를 사용하여 보조 사영을 포함하여 $C_j$를 $B_j$에서 구성함으로써, 필요한 동치성과 강한 연산자 위상에서의 수렴을 보장하는 것.

실험 결과

연구 질문

• RQ1 무한한 $\sigma$-유한 von Neumann 인자 내에서, 주어진 양의 연산자 수열 $\{B_j\}$에 대해 양의 연산자 $A$가 $A = \sum C_j$ 형태로 표현될 수 있는 조건은 무엇인가?
• RQ2 Bourin과 Lee의 추측—즉, 이러한 분해가 $B(\mathcal{H})$ 내에서 성립하는 것이 일반적인 von Neumann 인자로도 확장되는가—는 참인가?
• RQ3 모든 $j$에 대해 $B_j = B$일 경우, 특히 유형 III 인자에서 이러한 분해에 대한 필요하고 충분한 조건은 무엇인가?
• RQ4 예를 들어 $\|A\|_e$, $\chi_{\{\|B\|\}}(B)$, 그리고 영사영 $N_A$, $N_B$와 같은 $A$와 $B$의 스펙트럼 성질이 이러한 분해의 가능성을 어떻게 영향을 주는가?
• RQ5 각 $C_j$가 무한차원의 핵을 가질 수 있도록 분해를 선택할 수 있으며, 이러한 경우에 성립하는 조건은 무엇인가?

주요 결과

• 논문은 Bourin과 Lee의 추측을 확인한다: 만약 $A, B \in B(\mathcal{H})^+$, $\tau((A-I)_+) = \infty$, 그리고 $B$가 영이 아닌 수축이면, $A = \sum_{j=1}^\infty C_j$이며 $C_j \sim B$가 성립한다.
• 모든 $j$에 대해 $B_j = B$인 경우, 논문은 유형 III 인자에서 $A = \sum C_j$이며 $C_j \sim B$가 성립하기 위한 필요하고 충분한 조건을 제시한다. 조건은 $\|A\|_e = \|B\|$ 이며 $\chi_{\{\|B\|\}}(B) = 0$이며, 이 조건이 필수적이고 충분함을 입증한다.
• 반유한 인자에서는 $\|A\|_e = \|B\|$ 이며 $\chi_{\{\|B\|\}}(B) = 0$이면, $N_{C_j}$가 모든 $j$에 대해 무한한 경우에 대해 필요하고 충분한 조건이 된다.
• 만약 $B = \|B\|\chi_{\{\|B\|\}}(B)$ 이고 $A = \|A\|_e\chi_{\{\|A\|_e\}}(A)$ 이면, $\chi_{\{\|A\|_e\}}(A)$가 무한하고 $\|A\|_e = \|B\|$ 이면 분해가 존재한다.
• 유니터리 동치($C_j \cong B$)의 경우, $A = \sum C_j$이며 $C_j \cong B$가 성립하는 조건은 $\|A\|_e > \|B\|$ 이거나 $\|A\|_e = \|B\|$ 이며 $\chi_{\{\|B\|\}}(B) = 0$이며, $N_A \prec N_B$일 때 성립한다.
• 유형 III 인자에서는 $A = \sum C_j$이며 $C_j \cong B$가 성립하는 것이 $\|A\| > \|B\|$ 이거나 $\|A\| = \|B\|$, $0 \in \sigma_e(B)$, 그리고 $N_A \prec N_B$일 때이고, 추가로 스펙트럼 및 사영 조건을 만족할 때에만 성립한다.