[논문 리뷰] Noncommutative continuous Bernoulli shifts

Jürgen Hellmich, Claus Köstler외 1명|ArXiv.org|2004. 11. 25.

Advanced Operator Algebra Research참고 문헌 74인용 수 5

한 줄 요약

이 논문은 연산자 대수학에서의 스토크라스틱 독립성을 모델링하기 위해 유니터리 제곱을 통한 ${\mathcal{A}}_0$-독립성을 사용하여, Tsirelson-Vershik의 고전적 노이즈를 일반화한 비가환 연속 베르누이 이동을 도입한다. 추가로, 애드티브 및 유니탈 이동 코시클 사이의 이항 대응 관계를 확립하여 레비 과정을 위한 연산자 대수학적 프레임워크를 제공하며, 비가환 이토 적분과 확률적 지수/로그를 통해 아르베슨의 프로덕트 시스템과 연결된다.

ABSTRACT

We introduce a non-commutative extension of Tsirelson-Vershik's noises, called (non-commutative) continuous Bernoulli shifts. These shifts encode stochastic independence in terms of commuting squares, as they are familiar in subfactor theory. Such shifts are, in particular, capable of producing Arveson's product system of type I and type II. We investigate the structure of these shifts and prove that the von Neumann algebra of a (scalar-expected) continuous Bernoulli shift is either finite or of type III. The role of (`classical') stationary flows for Tsirelson-Vershik's noises is now played by cocycles of continuous Bernoulli shifts. We show that these cocycles provide an operator algebraic notion for Levy processes. They lead, in particular, to units and `logarithms' of units in Arveson's product systems. Furthermore, we introduce (non-commutative) white noises, which are operator algebraic versions of Tsirelson's `classical' noises. We give examples coming from probability, quantum probability and from Voiculescu's theory of free probability. Our main result is a bijective correspondence between additive and unital shift cocycles. For the proof of the correspondence we develop tools which are of interest on their own: non-commutative extensions of stochastic Ito integration, stochastic logarithms and exponentials.

연구 동기 및 목표

• 고전적 Tsirelson-Vershik 노이즈를 연산자 대수학적 구조를 사용하여 비가환 설정으로 확장하는 것.
• ${\mathcal{A}}_0$-독립성과 부분형 이론에서 유래한 유니터리 제곱을 기반으로 한 비가환 연속 베르누이 이동을 정의하고 분석하는 것.
• GNS 구성에서 애드티브 및 유니탈 코시클 사이의 이항 대응 관계를 확립하여 레비 과정을 대수적으로 모델링하는 것.
• 기초 도구로 비가환 이토 적분, 확률적 지수 및 로그를 개발하는 것.
• 이론을 아르베슨의 프로덕트 시스템과 자유 확률론과 연결하는 것, 양자 및 자유 확률론의 예를 포함하여.

제안 방법

• ${\mathcal{A}}_0$-독립성과 바나흐 대수의 유니터리 제곱을 통한 비가환 연속 베르누이 이동을 도입한다.
• ${\mathcal{A}}_0$-기대 확률 공간의 GNS 표현을 정의하여 힐버트 이중모듈러와 연속 GNS 베르누이 이동을 구성한다.
• 이 이동에 대해 곱셈형 및 애드티브 코시클을 구성하며, 유니탈 코시클은 유니터리 과정에 대응한다.
• 비가환 확률적 지수와 로그를 사용하여 애드티브 및 유니탈 코시클 사이의 이항 대응 관계를 확립한다.
• 간단한 적응 과정에 대한 비가환 이토 적분을 개발하고, 이를 이토 미분방정식으로 확장한다.
• 모듈러 이론과 Radon-Nikodym 정리를 사용하여 GNS 구성에서 수반 사상의 존재성과 완전 양성의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 Tsirelson-Vershik의 고전적 노이즈는 어떻게 비가환 연산자 대수학적 설정으로 일반화될 수 있는가?
• RQ2 ${\mathcal{A}}_0$-독립성과 유니터리 제곱은 비가환 연속 베르누이 이동을 정의하는 데 어떤 역할을 하는가?
• RQ3 GNS 표현에서 연속 베르누이 이동의 애드티브 및 유니탈 코시클은 어떻게 관련되어 있는가?
• RQ4 이 프레임워크 내에서 비가환 이토 적분과 확률적 지수/로그는 엄밀하게 구성될 수 있는가?
• RQ5 이러한 이동은 비가환 설정에서 아르베슨의 프로덕트 시스템과 레비 과정과 어떻게 관련되어 있는가?

주요 결과

• 스칼라 기대 연속 베르누이 이동의 바나흐 대수는 유한하거나 유형 III이다.
• GNS 힐버트 공간에서 애드티브 및 유니탈 이동 코시클 사이의 이항 대응 관계가 존재하여, 레비 과정 분류의 비가환 동반체를 제공한다.
• 연속 GNS 베르누이 이동의 곱셈형 코시클은 아르베슨의 프로덕트 시스템에서 단위와 단위의 로그에 대응한다.
• GNS 구성에서 모듈러 이론과 Radon-Nikodym 성질을 사용하여 비가환 이토 적분을 적응 과정으로 확장한다.
• 수반 사상과 양성의 논증을 통해 확률적 지수와 로그를 구성하며, 수반 사상 $T^*$가 완전 양성임을 증명한다.
• 모듈러 켤레 $J$와 모듈러 연산자 $Δ$는 확장된 사상 $\bar{T}$와 교환되며, 모든 $t$에 대해 $T \circ \sigma_t^\psi = \sigma_t^\psi \circ T$임을 의미한다.