[논문 리뷰] A noncommutative De Finetti theorem for boolean independence

Weihua Liu|arXiv (Cornell University)|2014. 03. 07.

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

한 줄 요약

이 논문은 비가환 다항식 위에 작용하는 양자 준군 $B_s(n)$ 와 그 코작용을 도입하여 부울 독립성에 대한 비가환 de Finetti 정리를 수립한다. 특정 코작용에 대한 연속 분포의 불변성은 꼬리 대칭에 대해 동일하게 분포된 부울 독립인 수열과 동치임을 보이며, 이는 부울 독립성에 대한 de Finetti의 고전적 교환 가능성 결과의 비가환 해석을 제공한다.

ABSTRACT

We introduce a family of quantum semigroups and their natural coactions on noncommutative polynomials. We present three invariance conditions, associated with these coactions, for the joint distribution of sequences of selfadjoint noncommutative random variables. For one of the invariance conditions, we prove that the joint distribution of an infinite sequence of noncommutative random variables satisfies it is equivalent to the fact that the sequence of the random variables are identically distributed and boolean independent with respect to the conditional expectation onto its tail algebra. This is a boolean analogue of de Finetti theorem on exchangeable sequences. In the end of the paper, we will discuss the other two invariance conditions which lead to some trivial results.

연구 동기 및 목표

• 상태의 충실성 가정 없이 비가환 확률 공간으로의 de Finetti 정리의 확장을 도모한다.
• 양자 준군의 코작용에 대한 불변 조건을 통해 조건부 부울 독립인 수열을 특성화한다.
• 부울 독립성을 활용하여 비가환 확률 공간에서 분포 대칭성의 프레임워크를 구축한다.
• 비단위, 비충실한 비가환 확률 공간에서 부울 곱의 역할을 명확히 한다.

제안 방법

• 분포 대칭성을 모델링하기 위해 양자 준군 $B_s(n)$ 과 그 부분준군 $Π_s(n)$ 을 도입한다.
• 비가환 다항식 대수 $\mathbb{C}\langle X_1, \dots, X_n \rangle$ 위에 선형, 대수적, $L_n$ 세 가지 코작용을 정의한다.
• 코작용 $L_n$ 을 사용하여 비가환 랜덤 변수들의 공동 분포에 대한 불변 조건을 정의한다.
• 1차원 공간 위에서 $B_s(n)$ 의 자명한 표현 $\pi$ 를 적용하여 $\pi(u_{i,j}) = 0$ ($i \neq j$) 를 통해 불변 조건을 평가한다.
• 혼합 모멘트가 차수에만 의존함을 보이기 위해 불변 조건을 단항식에 적용함으로써 모멘트 항등식을 유도한다.
• 코작용 $L_n$ 에 대한 불변성은 모든 혼합 모멘트 $\phi(x_{i_1} \cdots x_{i_k}) = 0$ ($k \geq 1$) 이 되게 함을 증명한다.

실험 결과

연구 질문

• RQ1 비가환 확률 공간에서 충실성 조건 없이 부울 독립성을 특성화하는 분포 대칭 조건은 무엇인가?
• RQ2 양자 준군의 코작용을 통해 비가환 공동 분포에 대한 불변 조건을 어떻게 정의할 수 있는가?
• RQ3 고전적 교환 가능성 결과에 해당하는 비가환 부울 독립성에 대한 de Finetti 정리는 존재하는가?
• RQ4 부울 곱은 비충실한 비가환 확률 공간을 구성하는 데 어떤 역할을 하는가?
• RQ5 기타 코작용은 비자명한 특성화를 도출할 수 있는가, 아니면 단지 자명한 모멘트 붕괴 외에는 다른 결과를 낳는가?

주요 결과

• 자기수반 비가환 랜덤 변수의 무한 수열의 공동 분포가 $L_n$ 코작용에 대해 불변이 되는 것은 모든 차수 $k \geq 1$ 의 혼합 모멘트가 0이 되는 것과 동치이다.
• $\mathcal{B}_s(n)$ 의 선형 코작용에 대한 불변성은 동일한 차수의 모든 혼합 모멘트가 동일함을 의미하며, 이는 $x_i = x_j$ ($i \neq j$) 를 이끌어낸다.
• $\mathbb{C}\langle X_1, \dots, X_n \rangle$ 위의 코작용 $L_n$ 은 $L_n(X_i) = \sum_{k=1}^n X_k \otimes u_{k,i}$ 로 정의되며, $L_n$ 은 $(L_n \otimes \text{id})L_n = (\text{id} \otimes \Delta)L_n$ 를 만족하는 코작용 항등식을 충족한다.
• 자명한 표현 $\pi$ 를 사용하여 $\pi(u_{i,j}) = 0$ 이면, 불변 조건은 $\phi(x_{i_1} \cdots x_{i_k}) = 0$ ($k \geq 1$) 으로 단순화되며, 이는 모멘트 붕괴를 증명한다.
• $\mathcal{B}_s(n)$ 의 대수적 코작용 역시 선형 코작용과 동일한 모멘트 붕괴를 유도하여 자명성을 암시한다.
• 주요 결과는 $L_n$ 코작용에 대한 불변성이 꼬리 대칭에 대해 동일하게 분포된 부울 독립인 수열과 동치임을 보이며, 이는 부울 독립성에 대한 비가환 de Finetti 정리를 제공한다.