[논문 리뷰] Graph W*-probability Theory

Ilwoo Cho|ArXiv.org|2004. 08. 23.

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

한 줄 요약

이 논문은 가산 방향 그래프에서 유도된 대각 부분대수 DG를 중심으로 한 병합을 갖는 W*-대수적 구조로서 그래프 W*-확률 공간을 도입한다. 이는 래티스 경로 모델을 통해 D_G-값을 갖는 모멘트와 촐루멘트를 계산하고, 생성자들이 D_G-자유일 조건은 그 경로 표현이 그래프에서 다이어그램적으로 다를 때임을 규명한다. 주요 결과로는, 한 정점과 N개의 루프를 가진 그래프의 생성 연산자 T₁^N은 짝수 모멘트 (2N)^k · c_k와 두 번째 촐루멘트 2N를 갖는 반원형임을 증명한다. 여기서 c_k는 k번째 카탈란 수이다.

ABSTRACT

In this paper, we will consider the graph w*-probability theory.

연구 동기 및 목표

• 가산 방향 그래프 G로부터 대각 부분대수 DG를 중심으로 한 W*-확률 공간을 구성하기 위해.
• 그래프 W*-대수에서 임의의 랜덤 변수의 D_G-값을 갖는 모멘트와 촐루멘트를 계산하기 위한 조합적 프레임워크를 래티스 경로 모델을 통해 개발하기 위해.
• 생성자들의 D_G-자유성의 조건을 그래프 이론적 조건인 경로 표현의 다이어그램적 다름으로 특성화하기 위해.
• 특정 연산자, 특히 T₁^N(자유 합으로서 N개의 반원형 원소의 합)과 T_N(순환 그래프의 생성자)에 대해 명시적인 D_G-모멘트와 D_G-촐루멘트를 계산하기 위해.
• 그래프의 구조, 연산자 대수학, 병합을 갖는 자유 확률론 간의 연결 고리를 확립하고, 스피처의 조합적 자유 확률론 이론을 확장하기 위해.

제안 방법

• G의 유한 경로로 구성된 자유 반군족 𝔽⁺(G) 위의 포크 공간 l²(𝔽⁺(G))에서 생성자 및 소거 연산자의 *-대수의 약한 닫힘으로서 그래프 W*-대수 W*(G)를 구성한다.
• 정점 프로젝션 L_v로 생성된 *-대수의 약한 닫힘으로서 D_G를 정의하며, 이는 병합 대수로 기능한다.
• 각 연산자를 그 대각(정점) 부분으로 사영하는 조건부 기대 E: W*(G) → D_G를 도입하여, (W*(G), E)가 D_G를 중심으로 한 W*-확률 공간이 되도록 한다.
• W*(G)에 속한 랜덤 변수 a의 지지 집합을 정점 부분과 유한 경로 부분(또한 L_w와 L_w*를 모두 포함)으로 분해함으로써 D_G-값을 갖는 모멘트와 촐루멘트를 계산할 수 있도록 한다.
• D_G-값을 갖는 모멘트와 촐루멘트를 계산하기 위해, *-축 성질을 만족하는 래티스 경로 모델 LP_n 및 LP_n^*을 적용하며, 짝수 크기의 블록만을 갖는 비교형 분할에 대한 조합적 합을 사용한다.
• W*(G)에서 생성자 L_{w₁}, L_{w₂}의 D_G-자유성이 그 경로 표현 w₁과 w₂가 그래프 G에서 다이어그램적으로 다를 때, 즉 그래프에서 서로 다른 경로 다이어그램을 갖을 때에만 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 가산 방향 그래프로부터 대각 부분대수 DG를 중심으로 한 W*-확률 공간을 어떻게 구성할 수 있는가?
• RQ2 어떤 조합적 기법이 이러한 그래프 W*-대수에서 임의의 랜덤 변수의 D_G-값을 갖는 모멘트와 촐루멘트를 계산하는 데 도움이 되는가?
• RQ3 그래프 W*-대수에서 생성자의 D_G-자유성을 특성화하는 정확한 그래프 이론적 조건은 무엇인가?
• RQ4 한 정점과 N개의 서로 다른 루프를 가진 그래프의 생성 연산자 T₁^N의 명시적인 D_G-모멘트와 D_G-촐루멘트는 무엇인가?
• RQ5 순환 그래프 C_N의 구조는 그 생성 연산자 T_N의 D_G-모멘트와 D_G-촐루멘트에 어떤 영향을 미치는가?

주요 결과

• 한 정점과 N개의 서로 다른 루프를 가진 그래프 G₁^N의 생성 연산자 T₁^N은 짝수 모멘트 (2N)^k · c_k와 두 번째 촐루멘트 2N를 갖는 반원형이며, 여기서 c_k는 k번째 카탈란 수이다.
• T₁^N의 D_G-모멘트는 홀수 n일 때 0이며, 짝수 n일 때는 ∑_{π∈NC_E(n)} ∏_{V∈π} 2μ_|V|로 주어진다. 여기서 NC_E(n)는 오직 짝수 크기의 블록만을 갖는 비교형 분할의 집합이다.
• T₁^N의 D_G-촐루멘트는 n=2일 때 2N이고, 그 외의 경우 0이며, 이는 T₁^N이 공분산 2를 갖는 N개의 반원형 원소의 자유 합임을 확인한다.
• 순환 그래프 C_N에 대해 생성자 T_N의 D_G-모멘트는 홀수 n일 때 0이며, 짝수 n일 때는 (∑_{π∈NC_E(n)} ∏_{V∈π} 2μ_|V|) · 1_{D_G}로 주어진다.
• W*(G)에서 두 생성자 L_{w₁}과 L_{w₂}의 D_G-자유성은 그 경로 표현 w₁과 w₂가 그래프 G에서 다이어그램적으로 다를 때에만 성립한다.
• 순환 그래프 생성자 T의 D_G-촐루멘트 k_n(T,…,T)는 짝수 n일 때 2μ_n · 1_{D_G}, 홀수 n일 때 0_{D_G}이며, 여기서 μ_n은 그래프의 구조에 따라 결정되는 스칼라 계수이다.