[논문 리뷰] Unital q-positive maps on M_2(\C) and a related E_0-semigroup result

Christopher J. Jankowski|arXiv (Cornell University)|2010. 05. 24.

Advanced Topics in Algebra참고 문헌 10인용 수 4

한 줄 요약

이 논문은 $ M_2(\mathbb{C}) $ 위의 단위 원소 q-양성 사상들을 분류하며, 모든 단위 원소 q-순수 사상이 랭크 1이거나 가역임을 증명한다. 또한 $ n=3 $에 대해 극한 사상들을 분석하고, 무게 함수가 특정 형태를 띨 경우 경계 무게 쌍으로 유도된 $ E_0 $-반군들 사이의 코ycle 동치성 결과를 확립하며, 일부 $ E_0 $-반군들이 초최대 q-모서리들을 통해 코ycle 동치가 아님을 보인다.

ABSTRACT

From previous work, we know how to obtain type II_0 E_0-semigroups using boundary weight doubles (ϕ, ν), where ϕ: M_n(\C) o M_n(\C) is a unital q-positive map and νis a normalized unbounded boundary weight over L^2(0, \infty). In this paper, we classify the unital q-positive maps ϕ: M_2(\C) o M_2(\C). We find that every unital q-pure map ϕ: M_2(\C) o M_2(\C) is either rank one or invertible. We also examine the case n=3, finding the limit maps L_ϕfor all unital q-positive maps ϕ: M_3(\C) o M_3(\C). In conclusion, we present a cocycle conjugacy result for E_0-semigroups induced by boundary weight doubles (ϕ, ν) when νhas the form ν(\sqrt{I - Λ(1)} B \sqrt{I - Λ(1)})=(f,Bf).

연구 동기 및 목표

• 모든 단위 원소 q-양성 사상 $ \phi: M_2(\mathbb{C}) \to M_2(\mathbb{C}) $ 를 분류하고, 특히 q-순수 사상에 초점을 맞춘다.
• 모든 단위 원소 q-양성 사상 $ \phi: M_3(\mathbb{C}) \to M_3(\mathbb{C}) $ 에 대해 극한 사상 $ L_\phi $ 를 결정한다.
• 무게 함수 $ \nu $ 가 $ \nu(\sqrt{I - \Lambda(1)}B\sqrt{I - \Lambda(1)}) = (f, Bf) $ 의 형태를 띨 경우, 경계 무게 쌍 $ (\phi, \nu) $ 로 유도된 $ E_0 $-반군들 사이의 코ycle 동치성 결과를 증명한다.
• 다른 사상들로 유도된 일부 $ E_0 $-반군들이 초최대 q-모서리를 분석하여 코ycle 동치가 아님을 보인다.

제안 방법

• 구조와 고유값 성질을 분석하여 $ M_2(\mathbb{C}) $ 위의 단위 원소 q-양성 사상들을 분류한다.
• q-순수성과 q-하위 사상의 개념을 사용하여 분류 문제를 랭크 1 또는 가역 사상으로 축소한다.
• $ n=3 $ 에서의 극한 사상 $ L_\phi $ 는 $ t \to \infty $ 일 때 $ t\phi(I + t\phi)^{-1} $ 의 극한을 취하여 얻으며, 이는 등幂 사상이 된다.
• 단위 원소 q-양성 사상 $ \phi $ 와 정규화된 유계가 아닌 경계 무게 $ \nu $ 를 가진 경계 무게 쌍 $ (\phi, \nu) $ 의 이론을 적용한다.
• 단위 원소 변환에 대한 동치성 불변성을 활용하여 $ E_0 $-반군의 분류를 사상의 동치류로 축소한다.
• 사상들 사이의 초최대 q-모서리를 구성하고, 관련 행렬의 양성성을 이용하여 모순을 도출함으로써 비동치성을 증명한다.

실험 결과

연구 질문

• RQ1 단위 원소 q-양성 사상 $ \phi: M_2(\mathbb{C}) \to M_2(\mathbb{C}) $ 의 완전한 분류, 특히 q-순수 사상의 경우는 무엇인가?
• RQ2 단위 원소 q-양성 사상 $ \phi: M_3(\mathbb{C}) \to M_3(\mathbb{C}) $ 에 대해 극한 사상 $ L\_\phi $ 는 무엇인가?
• RQ3 경계 무게 쌍 $ (\phi, \nu) $ 와 $ (\psi, \nu) $ 로 유도된 $ E_0 $-반군들이 코ycle 동치가 되는 조건은 무엇인가?
• RQ4 비동형 사상들 사이의 q-모서리를 사용하여 코ycle 동치가 아닌 $ E_0 $-반군들을 구성할 수 있는가?
• RQ5 초최대 q-모서리는 관련된 슈어 사상에 어떤 구조적 제약 조건을 가하는가?

주요 결과

• 모든 단위 원소 q-순수 사상 $ \phi: M_2(\mathbb{C}) \to M_2(\mathbb{C}) $ 는 랭크 1이거나 가역이다.
• $ n=3 $ 에서, 임의의 단위 원소 q-양성 사상 $ \phi: M_3(\mathbb{C}) \to M_3(\mathbb{C}) $ 의 극한 사상 $ L_\phi $ 는 $ \mathcal{E}_3 $, 즉 단위 원소 완전 양성 프로젝션의 집합에 속하는 등幂 사상이다.
• 무게 함수 $ \nu $ 가 $ \nu(\sqrt{I - \Lambda(1)}B\sqrt{I - \Lambda(1)}) = (f, Bf) $ 의 형태를 띨 경우, 경계 무게 쌍 $ (\phi, \nu) $ 와 $ (\phi_U, \nu) $ 로 유도된 $ E_0 $-반군들은 단위 원소 변환에 의한 동치성으로 인해 코ycle 동치이다.
• $ \phi_2 $ 와 $ \phi_3 $ 사이에는 초최대 q-모서리가 존재하지 않으며, 이는 해당되는 $ E_0 $-반군 $ \alpha_2^d $ 와 $ \alpha_3^d $ 가 코ycle 동치가 아님을 의미한다.
• q-양성 사상 $ \Theta $ 로 구성된 $ L_\Theta $ 의 극한 사상은 슈어 사상들을 가진 블록 행렬이며, 슈어 승수의 구조가 극한 사상의 등幂성과 범위를 결정한다.
• q-모서리와 관련된 슈어 사상 $ \sigma $ 는 $ \{0,1\} $ 의 원소를 가져야 하며, 1의 배열은 양성 행렬의 소수에 의해 제약을 받으며, 예를 들어 $ M_1 $ 과 같은 구성은 배제된다.