[논문 리뷰] Preservation of algebraicity in free probability

Greg W. Anderson|arXiv (Cornell University)|2014. 06. 25.

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

한 줄 요약

이 논문은 자유롭게 독립적인 비가환 랜덤 변수들에 대한 다항식 조합이 자유롭게 독립적인 비가환 랜덤 변수들의 대수적 분포를 가질 경우, 그 조합 역시 대수적 분포를 가짐을 증명한다. 자유 확률론, 대수기하학, 교환대수학의 도구—특히 일반화된 슈윙거-다이슨 방정식과 행렬 선형화—를 사용하여, 이러한 조합 하에서 대수성이 유지됨을 증명하며, 숄랴크텐코와 스키우프라니스가 제기한 질문을 해결하고, 이전의 반원법칙, 호법칙, 마르첸코-파스트르 법칙과 같은 결과들을 통합한다.

ABSTRACT

We show that any matrix-polynomial combination of free noncommutative random variables each having an algebraic law has again an algebraic law. Our result answers a question raised by a recent paper of Shlyakhtenko and Skoufranis. The result belongs to a family of results with origins outside free probability theory, including a result of Aomoto asserting algebraicity of the Green function of random walk of quite general type on a free group.

연구 동기 및 목표

• 자유 확률론에서 자유롭게 독립적인 비가환 랜덤 변수들의 행렬다항식 조합이 대수적 분포를 유지하는지에 대한 숄랴크텐코와 스키우프라니스의 질문을 해결하는 것.
• 반원법칙과 호법칙과 같이 자유 확률론에서 흔히 나타나는 대수적 분포의 보편성을 설명하는 일반적인 메커니즘을 제공하는 것.
• 자유 행렬다항식 조합 하에서 대수성이 유지됨을 엄밀히 증명하여, 알려진 덧셈 및 곱셈 자유 콘볼루션 결과를 확장하는 것.
• 일반화된 슈윙거-다이슨 방정식과 행렬 선형화를 통해 자유 확률론을 대수기하학과 교환대수학과 연결하는 것.
• 이전에 알려진 바와 같이 자유군 위의 랜덤 워크의 그린 함수가 대수적이라는 사실이 본 결과의 특수한 경우임을 보여주는 것.

제안 방법

• 자유롭게 독립적인 변수 $x_1, \tdots, x_q$ 가 대수적 법칙을 따르는 비가환 확률 공간 $({\rm A}, \rho)$ 에서 문제를 수리적으로 정의하는 것.
• 행렬다항식 조합 $X \to {\rm Mat}_p({\rm A})$ 를 도입하고 일반화된 슈윙거-다이슨 방정식을 통해 그 분포를 분석하는 것.
• 형식적 거듭제곱급수 위의 ${\rm Mat}_n({\rm C}((1/z)))$ 에서의 대수방정식계로 문제를 축소하기 위해 행렬 선형화를 적용하는 것.
• 헤센베르크-토플리츠 행렬과 자유 누적량을 사용하여 선형화된 시스템을 모델링하고 재귀관계를 유도하는 것.
• 형식적 해 $Υ_0$ 를 (116)번 방정식계에 대해 $U^{(\theta)}_i$, $V^{(\theta)}_i$, 및 $ξ_{i+n(j-1)}$ 의 명시적 공식을 사용하여 구성하는 것.
• 블록 행렬 분석을 통해 야코비안 행렬식이 0이 아니라는 것을 증명하며, 이는 $b_{22}$, $b_{33}$ 의 가역성과 $b_{32}b_{22}^{-1}b_{21}$ 의 0 값에 기반한다.

실험 결과

연구 질문

• RQ1 자유롭게 독립적인 비가환 랜덤 변수들의 행렬다항식 조합이 각 개별 변수가 대수적 분포를 따를 경우에도 여전히 대수적 분포를 따르는가?
• RQ2 자유군 위의 랜덤 워크에 대한 그린 함수의 대수성은 자유 확률론의 보편 원리의 특수한 경우로 유도될 수 있는가?
• RQ3 반원법칙과 호법칙과 같은 고전적인 극한 스펙트럼 분포의 대수성은 자유 확률론에서 일반적인 메커니즘으로 설명될 수 있는가?
• RQ4 형식 언어 이론에 의존하지 않고 대수기하학과 교환대수학 도구를 사용하여 대수성이 유지됨을 증명할 수 있는가?
• RQ5 비가환 설정에서 일반화된 슈윙거-다이슨 방정식의 해가 대수적 거듭제곱급수를 유도하기 위해 필요한 조건은 무엇인가?

주요 결과

• 자유롭게 독립적인 비가환 랜덤 변수들의 다항식 조합 $X$ 가 각각 대수적 분포를 따를 경우, 그 조합의 분포 역시 대수적이다.
• 증명 과정에서 방정식계 (116)의 해 $Υ_0$ 가 ${\rm C}((1/z))$ 상에서 잘 정의되어 있으며, 모든 필수 방정식 $F=0$, $G=0$, 및 $H=0$ 을 만족함을 보였다.
• 야코비안 행렬식은 비영이므로, $\text{det}(b_{22}) \neq 0$, $b_{32}b_{22}^{-1}b_{21} = 0$, 및 $\text{det}(b_{33}) \neq 0$ 이라는 조건을 통해 증명되었다.
• 이 결과는 자유 덧셈 및 곱셈 콘볼루션, 교환자 법칙, 자유군 위의 그린 함수의 대수성 등 기존의 알려진 사례들을 일반화한다.
• 형식 언어 이론을 회피하고 대수기하학과 교환대수학 도구에 의존함으로써, 자유 확률론에서 대수성에 도달하는 새로운 길을 제시한다.
• 주요 정리는 비 nonatomicity 조건이 없더라도 분포의 대수성이 유지됨을 확인하며, [31, Thm. 5.4]와 같은 이전 결과들을 확장한다.