[논문 리뷰] E_0-dilation of strongly commuting CP_0-semigroups

Orr Moshe Shalit|ArXiv.org|2007. 07. 12.

Advanced Operator Algebra Research참고 문헌 6인용 수 8

한 줄 요약

이 논문은 von Neumann 대수에서 강한 교환성을 갖는 CP₀-반군의 모든 쌍이 최소 E₀-확장(dilation)을 갖는다는 것을 증명한다. 이는 두 단계의 구성 과정을 포함한다: 첫째, 두 파라미터의 산술 체계( product system)를 통해 상호작용하는 대칭을 표현하는 것; 둘째, 관련된 완전 공등성의 표현을 등급적으로 확장하는 것. 핵심 결과는 이러한 모든 쌍에 대해 최소 E₀-확장이 존재한다는 것이며, 이는 유한 차원 B(H)에서의 모든 상호작용하는 CP₀-반군을 포함한다.

ABSTRACT

We prove that every strongly commuting pair of CP_0-semigroups has a minimal E_0-dilation. This is achieved in two major steps, interesting in themselves: 1: we show that a strongly commuting pair of CP_0-semigroups can be represented via a two parameter product system representation; 2: we prove that every fully coisometric product system representation has a fully coisometric, isometric dilation. In particular, we obtain that every commuting pair of CP_0-semigroups on B(H), H finite dimensional, has an E_0-dilation.

연구 동기 및 목표

• von Neumann 대수에서 강한 교환성을 갖는 CP₀-반군의 쌍에 대해 최소 E₀-확장의 존재를 확립하는 것.
• 일반적인 CP₀-반군의 확장 이론을 단일 매개변수에서 두 매개변수 반군으로 확장하기 위해 산술 체계를 통한 방법을 제시하는 것.
• 강한 교환성이 두 매개변수 반군의 산술 체계 표현 구성에 어떻게 기여하는지 명확히 하는 것.
• 유한 차원 B(H)에서의 모든 상호작용하는 CP₀-반군이 최소 E₀-확장을 갖는다는 것을 보여주는 것.
• 더 높은 차원의 반군, 예를 들어 ℝ₊ᵏ에서의 반군으로 확장 이론을 일반화하는 것.

제안 방법

• von Neumann 대수 ℳ ⊆ B(H)에서 강한 교환성을 갖는 CP₀-반군의 쌍을 ℝ₊² 위의 M′-대응체의 두 매개변수 산술 체계로 표현하는 것.
• 원래 힐베르트 공간 H 위에서 산술 체계에 대해 완전 공등성의 완전 수축적 공변 표현 (σ, T)를 구성하는 것.
• 산술 체계 표현을 힐베르트 공간 위의 수축적 반군으로 표현하는 새로운 방법을 적용하여 확장 가능성을 보장하는 것.
• 공변 표현 (σ, T)를 더 큰 힐베르트 공간 K 위에서 등급적이고 완전 공등성의 공변 표현 (ρ, V)로 확장하는 것.
• 등급 확장으로부터 E₀-확장 (K, u, ℛ, α)를 구성하는 것. 여기서 ℛ = ρ(M′)′ 이고, α는 αₛ(b) = Vₛ(I ⊗ b)Vₛ* 로 정의된다.
• 확장의 최소성과 ℳ = B(H)일 경우 ℛ = B(K)임을 증명하는 것.

실험 결과

연구 질문

• RQ1 von Neumann 대수에서 강한 교환성을 갖는 CP₀-반군의 모든 쌍은 E₀-반군으로 확장될 수 있는가?
• RQ2 두 매개변수 CP₀-반군에서 E₀-확장의 존재를 보장하는 구조적 조건은 무엇인가?
• RQ3 강한 교환성은 두 매개변수 반군의 산술 체계 표현 구성에 어떻게 관련되는가?
• RQ4 특히 유한 차원 설정에서 E₀-확장이 최소성을 유지하는 조건은 무엇인가?
• RQ5 확장 이론은 ℝ₊ᵏ 위의 k-매개변수 반군으로까지 확장될 수 있는가?

주요 결과

• von Neumann 대수 ℳ ⊆ B(H)에서 강한 교환성을 갖는 CP₀-반군의 모든 쌍은 최소 E₀-확장을 갖는다.
• 이 구성은 ℳ′-대응체의 두 매개변수 산술 체계와 완전 공등성의 공변 표현을 통한 표현에 기반한다.
• ℝ₊ᵏ 위의 산술 체계에 대해 완전 공등성의 완전 수축적 공변 표현은 항상 등급적이고 완전 공등성의 확장을 갖는다.
• 유한 차원 H에 대해, B(H)에서의 모든 상호작용하는 CP 지도는 강한 교환성을 갖는다. 따라서 이러한 모든 CP₀-반군은 최소 E₀-확장을 갖는다.
• ℳ = B(H)일 경우 E₀-확장은 최소적이며 ℛ = B(K)를 만족하여 확장된 대수의 최대성을 보장한다.
• 강한 교환성은 자동으로 성립하지 않으며, 비록 기약성 있는 확률행렬에 대해서도 반례가 존재하지만, 이러한 행렬에 의해 생성되는 반군에서는 강한 교환성이 성립한다.