[논문 리뷰] A survey on the interplay between arithmetic mean ideals, traces, lattices of operator ideals, and an infinite Schur-Horn majorization theorem

Victor Kaftal, Gary Weiss|ArXiv.org|2007. 07. 22.

Holomorphic and Operator Theory참고 문헌 38인용 수 18

한 줄 요약

이 종합적 검토는 연산자 이론에서 산술 평균 이상, 트레이스, 그리고 주요화 간의 깊은 연결 고리를 수립하며, 고전적 결과를 일반화하는 무한 대칭-혼합 주요화 정리인 무한 Schur-Horn 주요화 정리를 도입한다. 이는 부분정규행렬 및 블록 정규행렬에 대한 불변성에 의해 am-폐쇄 이상을 특성화하며, 이러한 불변성을 갖는 소프트 가장자리 또는 소프트 보완 이상은 am-폐쇄임을 증명함으로써, 연산자 이상의 구조적 성질과 트레이스 이론적 성질을 통합한다.

ABSTRACT

The work of Dykema, Figiel, Weiss, and Wodzicki on the structure of commutators showed that arithmetic means play an important role in the study of operator ideals, and we explored their role in a multipaper project which we survey in this article. We start by presenting the notions of arithmetic mean ideals and arithmetic mean at infinity ideals. Then we explore their connections with commutator spaces, traces, elementary operators, lattice and sublattice structure of ideals, arithmetic mean ideal cancellation properties of first and second order, and softness properties - a term that we introduced but a notion ubiquitous in the literature on operator ideals. Arithmetic mean closure of ideals leads us to investigate majorization for infinite sequences and this in turn leads us to an infinite Schur-Horn majorization theorem which extends theorems by A. Neumann, by Arveson and Kadison, and by Antezana, Massey, Ruiz and Stojanoff. We also list ten open questions that we encountered in the development of this material.

연구 동기 및 목표

• 산술 평균 이상, 트레이스, 그리고 연산자 이상의 격자 구조 간의 상호작용을 조사한다.
• 부분정규행렬 및 블록 정규행렬에 대한 불변성을 통해 am-폐쇄 이상을 특성화한다.
• Schur-Horn 주요화 정리를 트레이스 클래스 내의 무한 수열과 이상으로 확장한다.
• 공백의 차원과 이상에 의해 지지되는 트레이스의 수를 명확히 한다.
• 소프트 이상의 개념을 도입하고 분석하여 취소 성질과 폐쇄 성질에서의 역할을 규명한다.

제안 방법

• 이상의 구조와 교환 공간을 분석하기 위해 산술 평균 이상과 무한 대칭 평균 이상을 도입한다.
• 이상의 안정성과 트레이스 지지에 대해 am-폐쇄 및 am-내부 연산을 정의한다.
• 부분정규행렬 및 직교정규행렬을 사용하여 주요화 이론을 무한 수열에 적용함으로써 Schur-Horn 정리를 일반화한다.
• 연산자 이론에서 널리 퍼져 있으나 이곳에서 공식적으로 체계화된 소프트 이상의 개념을 사용하여 증명을 단순화하고 취소 성질을 분석한다.
• 대각 연산자에 대한 맥락 기대값 $ E $ 를 적용하여, $ E(I) \subset I $ 를 통해 am-폐쇄 이상을 특성화한다.
• 스토하스틱 행렬과 등거리 사상에 의해 $ \xi \in \Sigma(I^{-\infty}) $ 의 등가 조건을 수립함으로써 스펙트럼 주요화와 이상 소속 관계를 연결한다.

실험 결과

연구 질문

• RQ1 이상 $I$ 내에서 교환 공간 $[I, B(H)]$ 의 공백 차원이 1 또는 무한대가 되는 조건은 무엇인가?
• RQ2 어떤 조건에서 이상 $I$ 가 am-폐쇄이며, 이는 부분정규행렬에 대한 불변성과 어떻게 관련되는가?
• RQ3 소프트 이상은 연산자 이상의 취소 성질과 트레이스 지지에 어떤 영향을 미치는가?
• RQ4 $\Sigma(I^{-\infty})$ 는 무한 주요화와 스토하스틱 행렬을 통해 어떻게 정확히 특성화되는가?
• RQ5 무한 대칭 평균이 수열의 이상 소속 또는 폐쇄를 결정하는 데 충분한가?

주요 결과

• 이상 $I$ 내에서 교환 공간 $[I, B(H)]$ 의 공백 차원은 1 또는 $\infty$ 이며, $\omega \notin \Sigma(I)$ 일 때에만 공백 차원이 1이 된다.
• 이상 $I$ 가 am-폐쇄임은 $E(I) \subset I$ 를 만족함과 동치이며, 여기서 $E$ 는 대각 매크로-자기연산자 위의 조건 기대값이다.
• 만약 $\Sigma(I)$ 가 순열 행렬의 무한 볼록 조합의 집합 $\mathscr{C}$ 에 대해 불변이라면, $I \supset \mathscr{L}_1$ 이고 $\Sigma(I)$ 는 블록 부분정규행렬에 대해 불변이다.
• 소프트 가장자리 또는 소프트 보완 이상의 경우, $\Sigma(I)$ 가 $\mathscr{C}$ 에 대해 불변이면 $I$ 는 am-폐쇄이다.
• 무한 Schur-Horn 정리는 $\xi \in \Sigma(I^{-\infty})$ 를 $\xi \prec_\infty \eta$ for some $\eta \in \Sigma(I)$ 를 만족하거나, 어떤 블록 직교정규행렬 $Q$ 에 대해 $Q\xi \in \Sigma(I)$ 를 만족함으로써 특성화한다.
• 어떤 직교행렬의 대각합 $U$ 에 대해 $E(U \operatorname{diag} \xi U^*) \in I$ 를 만족함으로써 $\xi \in \Sigma(I^{-\infty})$ 가 특성화되며, 이는 Schur-Horn 프레임워크를 무한 차원 이상으로 확장한다.