[논문 리뷰] A Radon-Nikodym theorem for completely n-positive linear maps on pro-C*-algebras and its applications

Maria Joiţa|ArXiv.org|2007. 01. 09.

Advanced Operator Algebra Research참고 문헌 10인용 수 3

한 줄 요약

이 논문은 프로-$C^*$-대수 위의 완전 $n$-양성 선형 사상에 대한 Radon-Nikodym 유형 정리 수립하며, 이는 해당 사상의 관련 Stinespring 유형 표현을 통해 순서 구조, 순수성 및 극점성을 특성화한다. 주요 기여는 표현의 교환자 위의 사영 사상의 단사성 조건을 이용해 단위 원소를 갖는 완전 $n$-양성 사상 집합 내 극점의 특성화를 제시함으로써 Arveson의 결과를 프로-$C^*$-대수 설정으로 일반화한다.

ABSTRACT

The order relation on the set of completely n-positive linear maps from a pro-C*-algebra A to L(H), the C*-algebra of bounded linear operators on a Hilbert space H, is characterized in terms of the representation associated with each completely n-positive linear map. Also, the pure elements in the set of all completely n-positive linear maps from A to L(H) and the extreme points in the set of unital completely n-positive linear maps from A to L(H) are characterized in terms of the representation induced by each completely n-positive linear map.

연구 동기 및 목표

• Arveson의 완전 양성 사상에 대한 Radon-Nikodym 정리를 프로-$C^*$-대수 위의 완전 $n$-양성 사상 설정으로 확장한다.
• 관련 표현을 이용하여 완전 $n$-양성 선형 사상 집합 위의 순서 관계를 특성화한다.
• 표현 이론적 조건을 통해 단위 원소를 갖는 완전 $n$-양성 사상 집합 내 순수 및 극점 원소를 식별한다.
• Kaplansky의 다중 양성 함수형 이론을 프로-$C^*$-대수 및 $n$-양성성의 맥락으로 일반화한다.
• 표현의 교환자 위의 사영 사상의 단사성 조건을 이용해 단위 원소를 갖는 완전 $n$-양성 사상 공간 내 극점의 특성화를 제공한다.

제안 방법

• 프로-$C^*$-대수 $A$의 비퇴화 표현 간의 비교 가능성과 $\mathcal{B}(A, L(H))$ 위의 행렬 순서 구조 사이의 대응을 수립한다.
• 완전 $n$-양성 선형 사상은 $A$에서 $L(H)$로의 연속 선형 사상들의 $n \times n$ 행렬로 정의되며, 이는 $M_n(A)$에서 $M_n(L(H))$로의 완전 양성 사상으로 유도된다.
• 일반화된 Stinespring 구성법을 이용해 각 완전 $n$-양성 사상에 대해 힐버트 공간 $H_\rho$ 위의 $A$의 표현을 부여하며, GNS 및 KSGNS 구성법을 확장한다.
• 표현의 교환자 $\Phi_\rho(A)'$ 내에 있는 양성 연산자 $T$에 관련된 사상 $\theta_T$를 정의하고, 이로써 완전 $n$-양성 사상 집합의 원소를 표현한다.
• 사상 $T \mapsto P_{H_0} T P_{H_0}$가 $\Phi_\rho(A)'$에서 $L(H_\rho)$로의 사상이 단사임과 동시에 사상 $\rho$가 단위 원소를 갖는 완전 $n$-양성 사상 집합 내 극점임이 동치임을 증명한다.
• 표현 이론적 프레임워크를 이용해 순수성 및 극점성에 대한 기준을 도출하며, Arveson 및 Kaplan의 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 프로-$C^*$-대수 $A$에서 $L(H)$로의 완전 $n$-양성 선형 사상 집합 위의 순서 관계는 그 관련 표현을 통해 어떻게 특성화될 수 있는가?
• RQ2 완전 $n$-양성 사상과 관련된 표현이 순수성을 보장하기 위한 조건은 무엇인가?
• RQ3 단위 원소를 갖는 완전 $n$-양성 사상이 이러한 사상 집합의 볼록 집합 내 극점이 되기 위한 조건은 무엇인가?
• RQ4 표현의 교환자 위에서 사영 사상 $T \mapsto P_{H_0} T P_{H_0}$의 단사성은 사상 $\rho$의 극점성과 어떻게 관련이 있는가?
• RQ5 단위 원소를 갖는 완전 양성 사상의 극점 특성화 결과를 프로-$C^*$-대수 위의 $n$-양성 설정으로 확장할 수 있는가?

주요 결과

• 완전 $n$-양성 선형 사상 집합 위의 순서 관계는 관련된 비퇴화 표현의 비교 가능성에 의해 특성화된다.
• 완전 $n$-양성 사상 $\rho$는 그 관련 표현이 Stinespring 구성법에서 유도된 특정 불가약성 조건을 만족할 때이고, 그때에만 순수하다.
• 단위 원소를 갖는 완전 $n$-양성 사상 $\rho$는 사상 $T \mapsto P_{H_0} T P_{H_0}$가 $\Phi_\rho(A)'$에서 $L(H_\rho)$로의 사상이 단사일 때이고, 그때에만 극점이다.
• 만약 $\rho$의 대각 성분 $\rho_{ii}$들이 순수하고, $i \neq j$일 때 $\rho_{ij}(u_{ij}) = I_H$를 만족하는 유니터리 동치 조건을 만족한다면, 사상 $\varphi(a) = [\rho_{ij}(a)]$는 $A$에서 $M_n(L(H))$로의 단위 원소를 갖는 완전 양성 사상 집합 내 극점이다.
• $CP^n_\infty(A, L(H), I)$ 내 극점의 특성화 결과는 $C^*$-대수 설정에서 Arveson의 결과를 프로-$C^*$-대수 설정으로 일반화한다.
• 증명은 교환자 내 양성 연산자를 이용한 변형 $\rho_T$를 구성하고, 극점성 조건이 변형 연산자가 항등원의 스칼라 배수여야 한다는 것을 보여줌으로써 기반한다.