[논문 리뷰] Compressions and Pinchings

Jean-Christophe Bourin|ArXiv.org|2002. 11. 22.

Mathematics and Applications참고 문헌 10인용 수 21

한 줄 요약

이 논문은 어떤 연속적인 수축의 열이 본질적 수치 범위에 단위 원판을 포함하는 연산자 A의 압축(블록 대각 행렬 압축)으로서 실현될 수 있음을 증명한다. 본질적 수치 범위의 성질과 연산자 압축 기법을 이용하여, 정규직합과 유니타리 동치를 통해 그러한 압축이 가능하다는 것을 증명하며, 힐버트 공간 연산자에서 수치 범위와 대각 집합에 관한 기존 결과를 확장한다.

ABSTRACT

There exist operators $A$ such that : for any sequence of contractions $\{A_n\}$, there is a total sequence of mutually orthogonal projections $\{E_n\}$ such that $ΣE_nAE_n=\bigoplus A_n$.

연구 동기 및 목표

• 주어진 연산자의 블록 대각 행렬 압축으로서 수축의 열이 언제 실현될 수 있는지 특성화하는 것.
• 본질적 수치 범위가 연산자의 압축 가능성 결정에 미치는 역할을 조사하는 것.
• 콤팩트 편향과 정규직합을 이용하여 힐버트 공간의 무한차원 버전으로 기존의 수치 범위와 대각 집합에 관한 결과를 확장하는 것.
• 대각 집합의 볼록성과 연결성에 관한 열린 질문을 해결하는 것.
• 일련의 정규 연산자가 단일 연산자의 압축으로서 언제 실현될 수 있는지 조건을 설정하는 것.

제안 방법

• 모든 콤팩트 연산자 $K$에 대해 $A+K$의 수치 범위의 폐포들의 교차로 정의된 본질적 수치 범위 $W_e(A)$를 사용한다.
• Parker의 정리를 적용하여 유니타리 동치를 통해 대각 성분을 재분배함으로써 본질적 수치 범위 내에서 값들이 균일하게 분포되도록 보장한다.
• 수렴성의 조건을 만족하는 정규직합 기반을 구성하여, $A$의 대각 성분이 주어진 컴팩트 볼록 집합 $\mathcal{D}$에서 조밀하게 분포되도록 하는 재귀적 분할 기법을 사용한다.
• 비대각화 가능한 정규 연산자를 다루기 위해 Berg-Weyl-von Neumann 정리를 활용하여 대각화 가능한 것으로 근사한다.
• 힐베르트 공간을 정규직합 $F_j$로 분해하여 각각의 $F_j$가 $\mathcal{D}$를 포함하는 본질적 수치 범위를 갖는 압축 $A_{F_j}$를 지지하도록 한다.
• 유니폼한 유계성 조건 $\|A_n\|<1$을 활용하여 스케일링 및 평균화 기법을 적용함으로써, 유한한 압축의 합으로서 어떤 수축 $X$를 대각 블록으로 실현한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 수축의 열이 단일 연산자의 압축으로서 실현될 수 있는가?
• RQ2 수치 범위가 다른 연산자의 본질적 수치 범위에 포함되는 모든 정규 연산자는 압축으로서 실현될 수 있는가?
• RQ3 연산자의 대각 집합 $\Delta(A)$는 항상 볼록이며, 자기수반 + 콤팩트 연산자에서 비연결이 될 수 있는가?
• RQ4 1보다 작은 유니폼한 노름 유계 조건이 수축의 열의 압축 가능성을 보장하는 데 어떤 역할을 하는가?
• RQ5 본질적 수치 범위를 사용하여 주어진 블록 대각 행렬의 구조를 갖는 정규직합의 존재성을 특성화할 수 있는가?

주요 결과

• 만약 $\sup_n\|A_n\|<1$ 이고 $W_e(A)$가 단위 원판을 포함한다면, 전체 수직 투영의 열을 통해 $\mathcal{P}(A) = \bigoplus A_n$ 형태의 압축이 존재한다.
• 모든 수축 $X$에 대해, $W_e(A) \supset \mathcal{D}$이면 어떤 등장사상 $V$가 존재하여 $X = V^*AV$ 임을 보장한다.
• 모든 수축 $X$에 대해, 단위 연산자들의 수열 $\{U_n\}$이 존재하여 $U_n^*AU_n \to X$ 가 약한 연산자 위상에서 수렴한다.
• 압축 $\mathcal{P}(A) = \bigoplus A_n$ 의 존재성에 대해, 엄밀한 포함관계 $\bigcup_n W(A_n) \subset\subset W_e(A)$ 는 필수적이고 충분한 조건이다.
• 유니폼한 조건 $\|A_n\|<1$ 은 제거될 수 없으며, 반례로 절반의 투영과 트레이스 클래스 모순을 이용한 반례가 제시된다.
• 대각 집합 $\Delta(A)$ 는 $\mathrm{int}\,W_e(A) \subset \Delta(A) \subset W_e(A)$ 를 만족하며, 실수 연산자에 대해서는 실수축을 중심으로 대칭적이다.