[논문 리뷰] Free Brownian motion and evolution towards boxplus-infinite divisibility for k-tuples

Serban T. Belinschi, Alexandru Nica|ArXiv.org|2007. 11. 23.

Random Matrices and Applications참고 문헌 4인용 수 8

한 줄 요약

이 논문은 자유 확률 이론에서 비가환 랜덤 변수 k-튜플에 대한 연속적 진화 과정을 제안하며, 임의의 분포와 $\boxplus$-무한 가영 분포 사이를 연결하는 변환의 반군 $\{\mathbb{B}}_t$를 통해 정의된다. 주요 결과는 이 진화 과정과 자유 브라운 운동 사이의 정확한 연결 고리를 $\Phi$ 변환을 통해 밝혀내며, $\Phi(\nu \boxplus \gamma_t) = \mathbb{B}_t(\Phi(\nu))$ 를 만족함으로써 자유 확률적 확률프로세스와 자유 확률 이론 내 무한 가영성 이론을 통합한다.

ABSTRACT

Let D be the space of non-commutative distributions of k-tuples of selfadjoints in a C*-probability space (for a fixed k). We introduce a semigroup of transformations B_t of D, such that every distribution in D evolves under the B_t towards infinite divisibility with respect to free additive convolution. The very good properties of B_t come from some special connections that we put into evidence between free additive convolution and the operation of Boolean convolution. On the other hand we put into evidence a relation between the transformations B_t and free Brownian motion. More precisely, we introduce a transformation Phi of D which converts the free Brownian motion started at an arbitrary distribution m in D into the process B_t (Phi(m)), t>0.

연구 동기 및 목표

• 비가환 랜덤 변수의 다변수 k-튜플로의 일변수 불리안 베르코비치-파타 이중사상의 일반화.
• 임의의 분포 $\mu$가 $\boxplus$-무한 가영성으로 수렴하는 연속적 진화 과정 $\{\mathbb{B}_t(\mu)\}_{t \geq 0}$ 의 정의 및 분석.
• 이 진화 과정과 자유 브라운 운동 사이의 정확한 대응 관계를 변환 $\Phi$ 를 통해 수립.
• 변환 $\mathbb{B}_t$ 가 반군을 이룬다는 것과 $\mathbb{B}_1$ 이 $\boxplus$-무한 가영 분포 집합에 전사한다는 것을 증명.

제안 방법

• 자유 덧셈 및 불리안 병합을 이용해 $\mu \in \mathcal{D}_c(k)$ 에 대해 $\mathbb{B}_t(\mu) = \left(\mu^{\boxplus(1+t)}\right)^{\uplus(1/(1+t))}$ 라 정의한다.
• $\mathbb{B}_s \circ \mathbb{B}_t = \mathbb{B}_{s+t}$ 를 증명하여 변환에 대한 반군 구조를 확립한다.
• $\mathbb{B}_1(\mathcal{D}_c(k))$ 가 $\mathcal{D}_c(k)$ 내의 $\boxplus$-무한 가영 분포 집합과 정확히 일치함을 보이며, 이로써 $\mathbb{B}_1$ 이 다변수 불리안 베르코비치-파타 이중사상임을 규명한다.
• 자유 브라운 운동 $\nu \boxplus \gamma_t$ 를 과정 $\mathbb{B}_t(\Phi(\nu))$ 로 변환하는 맵 $\Phi: \mathcal{D}_c(k) \to \mathcal{D}_c(k)$ 를 도입한다.
• 포크 공간 위의 GNS 구성과 연산자 미적분을 활용해 $\Phi(\nu)$ 를 헬름홀츠 공간의 진공 벡터 $\Omega_0$ 를 갖는 힐버트 공간에서 작용하는 연산자들의 결합 분포로 실현하며, 비교형 분할과 누적량 생성 함수를 이용해 모멘트 공식을 증명한다.
• 비교형 분할과 누적량 생성 함수를 활용해 주요 항등식 $\Phi(\nu \boxplus \gamma_t) = \mathbb{B}_t(\Phi(\nu))$ 를 모멘트 매칭을 통해 검증한다.

실험 결과

연구 질문

• RQ1 변환 $\mathbb{B}_t$ 는 $k$-튜플 분포 공간 $\mathcal{D}_c(k)$ 상에서 반군을 이룬다 할 수 있는가?
• RQ2 $\mathbb{B}_1$ 은 $\boxplus$-무한 가영 분포로 향하는 다변수 불리안 베르코비치-파타 이중사상과 동치인가?
• RQ3 적절한 변환 $\Phi$ 하에서 진화 $\mathbb{B}_t(\mu)$ 는 자유 브라운 운동으로 실현될 수 있는가?
• RQ4 자유 브라운 운동 $\nu \boxplus \gamma_t$ 와 $\mu = \Phi(\nu)$ 에서 시작하는 $\mathbb{B}_t$-진화 사이의 정확한 관계는 무엇인가?
• RQ5 $\Phi$ 는 $\mathcal{D}_c(k)$ 를 스스로에 사상하며 $C^*$-대수적 구조를 유지하는가?

주요 결과

• $\mathbb{B}_t$ 변환은 반군을 이룬다: 모든 $s,t \geq 0$ 에 대해 $\mathbb{B}_s \circ \mathbb{B}_t = \mathbb{B}_{s+t}$ 를 만족하며, 이는 연속적 진화 과정의 존재를 보장한다.
• $\mathbb{B}_1$ 은 $\mathcal{D}_c(k)$ 를 $\mathcal{D}_c^{\textrm{inf-div}}(k)$ 에 전사하며, 다변수 불리안 베르코비치-파타 이중사상과 일치한다.
• $\{\mathbb{B}_t(\mu) \mid t \geq 0\}$ 과정은 $\mathcal{D}_c(k)$ 내 임의의 $\mu$ 에서 출발해 $\boxplus$-무한 가영성으로 향하는 연속적 진화를 제공한다.
• 변환 $\Phi$ 는 $\Phi(\nu \boxplus \gamma_t) = \mathbb{B}_t(\Phi(\nu))$ 를 만족하며, 자유 브라운 운동과 $\mathbb{B}_t$-진화 사이의 일대일 대응 관계를 확립한다.
• $\Phi$ 는 잘 정의되어 있으며 $\mathcal{D}_c(k)$ 를 스스로에 사상하며, $C^*$-대수적 구조를 유지한다.
• $\Phi(\nu)$ 의 모멘트는 비교형 누적량을 통해 계산되며, $\mu(X_{i_1}\cdots X_{i_n}) = \sum_{\pi \in \text{Int}(n)} \text{Cf}_{(i_1,\ldots,i_n);\pi}(\eta_{\Phi(\nu)})$ 를 만족함으로써 모멘트 등가성을 확인한다.