[논문 리뷰] Diagonals of self-adjoint operators

William Arveson, Richard V. Kadison|ArXiv.org|2005. 08. 24.

Random Matrices and Applications참고 문헌 19인용 수 43

한 줄 요약

이 논문은 무한차원 설정으로 슈어-홀른 정리를 일반화하여, 힐버트 공간 위의 자기수반 추적-클래스 연산자의 대각선이 유한차원 사례와 유사한 부등식계로 특징지어짐을 밝혀냄. 핵심 기여는 $II_1$ 초월자에 대한 슈어-홀른 프레임워크를 확장하여, 자기수반 연산자의 조건부 기대의 스펙트럼 분포가 원래 연산자의 스펙트럼 분포에 의해 주도됨을 증명함.

ABSTRACT

The eigenvalues of a self-adjoint nxn matrix A can be put into a decreasing sequence $λ=(λ_1,...,λ_n)$, with repetitions according to multiplicity, and the diagonal of A is a point of $R^n$ that bears some relation to $λ$. The Schur-Horn theorem characterizes that relation in terms of a system of linear inequalities. We give a new proof of the latter result for positive trace-class operators on infinite dimensional Hilbert spaces, generalizing results of one of us on the diagonals of projections. We also establish an appropriate counterpart of the Schur inequalities that relate spectral properties of self-adjoint operators in $II_1$ factors to their images under a conditional expectation onto a maximal abelian subalgebra.

연구 동기 및 목표

• 유한차원 행렬에서의 슈어-홀른 정리를 무한차원 힐버트 공간 위의 양의 추적-클래스 연산자로 확장하기.
• 자기수반 연산자의 대각선을 $II_1$ 초월자 맥락에서 스펙트럼 주도의 관점에서 특징짓기.
• 유한 초월자에서 조건부 기대 하에서 자기수반 연산자의 스펙트럼 성질과 그 대각선 간의 관계를 이해하기 위한 프레임워크 제공하기.
• 자기수반 연산자의 유니터리 궤도의 대각선 집합이 원래 연산자의 스펙트럼 분포에 의해 주도되는 연산자 집합과 일치하는지 여부라는 열린 문제 해결하기.

제안 방법

• 연산자의 볼록 함수 부등식에서 유도된 주도 부등식을 사용하여 대각선에 대한 조건을 설정함으로써 고전적 슈어-홀른 정리를 적응함.
• 자기수반 $A \in \mathcal{M}$ 에 대해 $f(E(A)) \leq E(f(A))$ 를 만족하는 $\mathcal{M}$ 에서의 $II_1$ 초월자 $\mathcal{M}$ 과 그 최대 아벨 부분대수 $\mathcal{A}$ 사이의 추적 보존 조건부 기대 $E: \mathcal{M} \to \mathcal{A}$ 를 사용함.
• 모든 연속 볼록 함수 $f$ 에 대해 $f(E(A)) \leq E(f(A))$ 를 만족하는 연산자에 대한 볼록성 부등식 적용.
• 스펙트럼 분포 $\tau(f(E(A))) \leq \tau(f(A))$ 를 포함하는 적분 부등식을 통해 $B = E(A)$ 의 스펙트럼 분포 $m_B$ 가 $A$ 의 스펙트럼 분포 $m_A$ 에 의해 주도됨을 증명함.
• 하디-리틀우드-폴리 부등식을 활용하여 주도와 볼록 함수 부등식 간의 동치성을 보임.
• 유니터리 궤도의 대각선 집합이 $A$ 의 스펙트럼 분포에 의해 주도되는 연산자가 포함된 집합에 포함됨을 증명함.

실험 결과

연구 질문

• RQ1 자기수반 추적-클래스 연산자에 대해 슈어-홀른 정리는 무한차원 힐버트 공간 위의 연장이 가능한가?
• RQ2 $II_1$ 초월자 맥락에서 슈어-홀른 부등식의 적절한 무한차원 해석은 무엇인가?
• RQ3 자기수반 연산자의 $II_1$ 초월자 내 유니터리 궤도의 대각선 집합은 정확히 그 원래 연산자의 스펙트럼 분포에 의해 주도되는 자기수반 연산자 집합인가?
• RQ4 연산자에 대한 볼록 함수 부등식은 어떻게 유한 초월자에서 스펙트럼 주도와 관련이 있는가?
• RQ5 추적 보존 조건부 기대는 $II_1$ 초월자에서 자기수반 연산자의 대각선을 특징짓는 데 어떤 역할을 하는가?

주요 결과

• 무한차원 힐버트 공간 위의 자기수반 추적-클래스 연산자의 대각선은 유한차원 사례와 유사한 선형 부등식계로 특징지어짐.
• $II_1$ 초월자 $\mathcal{M}$ 과 그 최대 아벨 부분대수 $\mathcal{A}$, 추적 보존 조건부 기대 $E: \mathcal{M} \to \mathcal{A}$ 에 대해, 임의의 자기수반 $A \in \mathcal{M}$ 에 대해 $E(A)$ 의 스펙트럼 분포는 $A$ 의 스펙트럼 분포에 의해 주도됨.
• $A$ 스펙트럼 상의 모든 연속 볼록 함수 $f$ 에 대해 부등식 $\tau(f(E(A))) \leq \tau(f(A))$ 가 성립하며, 이는 $m_{E(A)} \preceq m_A$ 를 의미함.
• 유니터리 궤도 $\mathcal{O}_A$ 의 대각선 집합은 $m_B \preceq m_A$ 를 만족하는 자기수반 연산자 $B \in \mathcal{A}$ 의 집합에 포함됨으로써 필요 조건을 제공함.
• 논문은 $II_1$ 초월자에서 홀른의 정리의 자연스러운 일반화를 식별하지만, 포함관계 $E(\mathcal{O}_A) \supseteq \{ B \in \mathcal{A} \mid m_B \preceq m_A \}$ 가 성립하는지 여부는 열려 있음.
• 저자들은 $\ell^\infty$-노름에서의 폐포가 아닌 대각선 자체에 초점을 맞춤으로써 뉴먼의 작업과의 차별화를 도모하며, 더 세밀한 구조를 유지함.