[논문 리뷰] Stochastic Dilation of Symmetric Completely Positive Semigroups

Debashish Goswami, Kalyan B. Sinha|ArXiv.org|2002. 01. 03.

Random Matrices and Applications참고 문헌 17인용 수 3

한 줄 요약

이 논문은 유한성 추적과 리 군 대칭성을 가정할 때, C*-또는 바나흐 대수에서 비유계 생성자를 가진 대칭적이고 공변적, 완전히 양의 정의된 부분군에 대해 양자 확률적 확장이 존재함을 증명한다. 힐버트 공간 기법과 에반스-허드슨 유동 구축을 통해 이러한 부분군이 소음을 생성하는 최소의 HP 유형 확장(수치적 지표가 소음 공간의 차원과 일치)을 갖는다는 것을 증명한다.

ABSTRACT

This is a continuation of the study of the theory of quantum stochastic dilation of completely positive semigroups on a von Neumann or $C^*$ algebra, here with unbounded generators. The additional assumption of symmetry with respect to a semifinite trace allows the use of the Hilbert space techniques, while the covariance gives rise to better handle on domains. An Evans-Hudson flow is obtained, dilating the given semigroup.

연구 동기 및 목표

• 비유계 생성자를 가진 완전히 양의 정의된 부분군에 대해 양자 확률적 확장을 기존의 유계 생성자에 한정된 이론으로부터 확장하기.
• 생성자가 비유계일 경우 양자 확률적 미분 방정식의 정의역 제어 기술적 과제 해결.
• 유한성 추적에 의한 대칭성과 리 군 작용에 의한 공변성을 활용하여 힐버트 공간 기반 기법과 정의역 제어 가능하게 하기.
• 주어진 부분군을 확장하는 에반스-허드슨 유동을 구성하여 최소성과 아르베손-파워스 지수 이론과의 호환성 확보.
• 확장의 소음 공간 차원과 아르베손 및 파워스가 정의한 부분군의 수치적 지표 간의 관계 설정.

제안 방법

• 유한성 추적에 관련된 GNS 구축을 통해 대수를 힐버트 공간에 통합하여 힐버트 공간 기법 가능하게 하기.
• 두 번째 가чёт한 리 군 작용에 대한 공변성 도입하여, 힐버트 공간에 대한 관련 유니터리 표현이 강한 연속성을 갖도록 하기.
• 반복된 미분과 유니터리 군의 생성자에 의해 유도된 프레셰 위상에 의해 대수와 힐버트 공간 내의 부드러운 벡터 정의하기.
• 모하리-신바 조건을 적용하여 양자 확률적 미분 방정식의 계수 정의역 제어하기.
• 최소 소음 공간 조건을 이용해 HP 확장 프레임워크를 통해 에반스-허드슨 유동 구축하기.
• 확장된 부분군의 수치적 지표가 소음 공간의 차원과 일치함을 증명하기 위해 $L^2$-독립성의 성질을 활용하기.

실험 결과

연구 질문

• RQ1 비유계 생성자를 가진 완전히 양의 정의된 부분군에 대해 추적과 공변성 구조를 활용하여 양자 확률적 확장을 어떻게 일반화할 수 있는가?
• RQ2 생성자가 비유계일 경우 양자 확률적 미분 방정식의 정의역 문제는 어떻게 제어할 수 있는가?
• RQ3 리 군 공변성과 유한성 추적은 어떤 역할을 하여 힐버트 공간 기반 확장 기법을 가능하게 하는가?
• RQ4 에반스-허드슨 유동 구축은 이 일반화된 설정에서 최소 확장을 제공하는가?
• RQ5 확장에서 부분군의 수치적 지표는 소음 공간의 구조와 어떻게 관련이 있는가?

주요 결과

• 논문은 C*-대수에서 생성자가 $\mathcal{A}_\infty$의 부드러운 부분대수 위에서 정의된 모든 공변적, 대칭적, 보존적인 q.d.s.가 에반스-허드슨 유형 확장을 갖는다는 것을 증명한다.
• GNS 구축의 힐버트 공간은 $h_\infty = \mathcal{A}_\infty$를 만족하여, 대수 내의 부드러운 벡터와 힐버트 공간 내의 부드러운 벡터가 일치함을 의미한다.
• 확장된 부분군 $\mathcal{B}(h)$ 위에서의 최소 확장은 비트와 파르타사라파티의 정의에 따라 최소임이 입증되었으며, 확장이 생성하는 전체 집합이 포크 공간에서 밀도를 이룸을 보였다.
• 아르베손과 파워스가 정의한 부분군의 수치적 지표는 소음 공간의 차원 $k_0$와 일치한다.
• 최소성의 증명은 $\{I, \tilde{R}_i\}$의 $L^2$-독립성에 기반하며, $h_\infty$ 위에서의 코어 추론과 $k_0$의 최소성 가정에 의해 확립된다.
• 계수의 유계성 가정 없이도 결과가 성립함을 입증하였으며, $h_\infty$-벡터의 사용이 추론에 필요한 충분한 정규성 보장하기 때문이다.