클래식·프리 확률에서 ‑랜덤 변수의 드 피니티 정리 전면 분류

초록

본 논문은 유한·무한 *‑랜덤 변수열에 적용되는 모든 드 피니티 유형 정리를 완전하게 분류한다. 핵심은 각 열이 최대한의 분포 대칭을 갖는 컴팩트 양자군을 찾는 것으로, 이러한 양자군은 Banica‑Speicher가 정의한 ‘easy’ 양자군에 해당한다. 결과적으로 클래식과 프리 확률 각각에서 9가지(클래식)·9가지(프리) 대칭군이 존재하며, 각 대칭군에 대응하는 조건부 독립·동일 분포 구조가 정확히 기술된다.

상세 분석

논문은 먼저 전통적인 교환가능성·직교성 등 고전적인 분포 대칭을 행렬 반작용으로 재해석하고, 이를 비가환 상황에 일반화한다. Woronowicz의 컴팩트 매트릭스 양자군(C∗‑알제브라) 개념을 도입해, 임의의 비자명한 유한 길이 랜덤 변수열이 ‘최대’ 분포 대칭을 갖는 양자군을 고유하게 결정한다는 정리를 증명한다. 이때 등장하는 양자군은 entry 함수 u_{ij} 로 생성된 C∗‑알제브라이며, 그 코코프로덕션 ∆(u_{ij})=∑k u{ik}⊗u_{kj} 로 정의된다.

핵심 결과는 두 가지 질문에 대한 해답이다. (1) 교환가능성·직교성 외에 다른 반작용 반정리를 얻을 수 있는가? (2) 프리 확률에서 자유 독립을 특징짓는 새로운 드 피니티 정리가 존재하는가? 이를 위해 저자는 Banica‑Speicher가 제시한 ‘easy’ 양자군 체계를 활용한다. Easy 그룹은 특정 파티션 카테고리로 생성되며, S_n, O_n 사이에 6개의 고전 그룹, A_s(n), A_o(n) 사이에 7개의 양자군이 존재한다는 기존 결과를 확장한다.

논문은 특히 *‑랜덤 변수(즉, 복소수값 비가환 변수)에 대해, 최대 대칭을 제공하는 양자군이 ‘unitary’ 계열임을 보인다. 구체적으로, 프리 경우에는 C(S_n^+), C(O_n^+), C(B_n^{+s}), C(H_n^{+s}), C(B_n^+), C(H_n^{+m}), C(H_n^{+0}), C(H_n^{\prime+}), C(U_n^+) 등 9개의 양자군이 등장하고, 클래식 경우에는 C(S_n), C(O_n), C(B_n^{s}), C(H_n^{s}), C(B_n), C(H_n^{m}), C(H_n^{0}), C(U_n) 등 8개의 고전 군이 대응한다. 각 양자군에 대해 ‘identically distributed’ 와 ‘identically distributed orthogonal/shifted orthogonal/…’ 와 같은 구체적 분포 형태가 정의되고, 해당 대칭을 만족하면 무조건 조건부 자유(또는 고전) 독립과 동일 분포 구조가 존재함을 정리 1·2 로 명시한다.

또한 무한 열에 대해서는 ‘distributional symmetry set’ DS(X,ϕ) 를 정의하고, DS가 특정 양자군 시퀀스 A에 포함될 경우, 존재하는 조건부 기대 E: M→B 를 통해 열이 조건부 자유(또는 고전) 독립이며 동일 B‑값 분포를 갖는다는 드 피니티 정리를 증명한다. 여기서 핵심 기술은 Haar 상태를 이용한 평균화와 tail algebra 의 불변성 분석이다.

결과적으로, 모든 가능한 드 피니티 유형 정리는 ‘easy’ (양자)군의 범주 안에 완전히 포괄되며, 새로운 대칭군을 도입하거나 기존 대칭을 강화하면 정리가 파괴된다는 ‘최대 대칭’ 개념이 확립된다. 이는 기존의 교환가능성·직교성 정리를 일반화하고, 프리 확률에서 자유 독립을 특징짓는 새로운 대칭군(예: H_n^{+m}, H_n^{\prime+})을 제시함으로써 비가환 확률 이론의 구조적 이해를 크게 확장한다.