[논문 리뷰] Moments and Cumulants of Polynomial random variables on unitary groups, the Itzykson-Zuber integral and free probability

Benoı̂t Collins|ArXiv.org|2002. 05. 07.

Random Matrices and Applications인용 수 86

한 줄 요약

이 논문은 대칭군의 문자와 셔어 함수를 사용하여 유니터리 군 위의 다항함수의 모멘트와 통합량에 대한 명시적 대수적 공식을 제공한다. 행렬 모델 적분과 이츠키손-자버 적분의 로그의 점근 수렴성을 확립하고, 통합량의 생성함수의 극한 표현을 유도하며, 자유확률론에서 바이쿨루스쿠의 R-변환과 연결한다.

ABSTRACT

We consider integrals on unitary groups $U_d$ of the form $$\int_{U_d}U_{i_1j_1}... U_{i_qj_q}U^*_{j'_{1}i'_{1}} ... U^*_{j'_{q'}i'_{q'}}dU$$ We give an explicit formula in terms of characters of symmetric groups and Schur functions, which allows us to rederive an asymptotic expansion as $d o\infty$. Using this we rederive and strenghthen a result of asymptotic freeness due to Voiculescu. We then study large $d$ asymptotics of matrix model integrals and of the logarithm of Itzykson-Zuber integrals and show that they converge towards a limit when considered as power series. In particular we give an explicit formula for $$\lim_{d o\infty}\frac{\partial^n}{\partial z^n}d^{-2} \log\int_{U_d} e^{zd Tr (XUYU^*)}dU|_{z=0}$$ assuming that the normalized traces $d^{-1} Tr(X^k)$ and $d^{-1} Tr (Y^k)$ converge in the large $d$ limit. We consider as well a different scaling and relate its asymptotics to Voiculescu's R-transform.

연구 동기 및 목표

• 유니터리 군 위의 다항함수 적분에 대해 대칭군의 문자와 셔어 함수를 사용하여 명시적 공식을 유도하는 것.
• 유니터리 행렬과 정규행렬에 대한 바이쿨루스쿠의 점근 자유성 결과를 재유도하고 강화하는 것.
• 행렬 모델 적분과 이츠키손-자버 적분의 로그의 대-차수 점근적 행동을 분석하여 그 멱급수 계수의 수렴성을 보이는 것.
• 이츠키손-자버 적분의 점근 통합량과 자유확률론에서 바이쿨루스쿠의 R-변환 사이의 정확한 연결 고리를 설정하는 것.
• 조합적 구조와 생성함수의 관점에서 한계 통합량의 다이어그램적이고 대수적 해석을 제공하는 것.

제안 방법

• 웨인게르텐 미적분을 사용하여 $\mathbb{U}_d$ 위의 다항함수 적분을 대칭군의 문자와 셔어 함수로 표현한다.
• 정리 2.1을 적용하여 특정 순열의 순환형태 조건을 만족하는 순열들에 대해 합을 구함으로써 모멘트와 통합량을 계산한다.
• 생성함수와 통합량 전개를 활용하여 $d^{-2}\log\int e^{zd\,{\rm Tr}(XUYU^*)}dU$ 의 점근적 행동을 분석한다. $d\to\infty$ 일 때.
• 로그 적분의 $q$-번째 도함수의 $z=0$에서의 극한을 정규화된 추적 $x_k = \lim d^{-1}{\rm Tr}(X^k)$ 와 $y_k = \lim d^{-1}{\rm Tr}(Y^k)$ 에 대한 유리함수로 유도한다.
• 다이어그램 기법과 대칭함수 이론을 활용하여 한계 계수의 조합적 구조를 해석한다.
• 이츠키손-자버 적분의 점근 행동을 항등식 $\lim_{d\to\infty} d \cdot \partial^q_z F_{d,X,Y}(0) = (q-1)! \cdot k_q(Y)$ 를 통해 바이쿨루스쿠의 R-변환과 연결한다. 여기서 $k_q(Y)$ 는 $Y$ 의 $q$-번째 통합량이다.

실험 결과

연구 질문

• RQ1 이츠키손-자버 적분의 점근 극한은 $z$ 에 대한 멱급수로 명시적으로 표현될 수 있는가? 이때 계수는 $X$ 와 $Y$ 의 점근 스펙트럼 분포에만 의존하는가?
• RQ2 유니터리 군에서의 $\,{\rm Tr}(XUYU^*)$ 의 통합량은 $d\to\infty$ 일 때 점근적으로 어떻게 행동하는가? 자유확률론 도구인 R-변환과 관련이 있는가?
• RQ3 유니터리 군 위의 행렬 모델 적분의 수렴성에 대한 정확한 대수적 구조는 무엇이며, 헤르미트 행렬을 초월하여 일반화될 수 있는가?
• RQ4 한계 통합량의 생성함수에 대해 닫힌 형태의 생성함수가 존재하는가?
• RQ5 통합량 생성함수의 수렴성이 복소수의 컴acts부분집합에서 균일 수렴으로 강화될 수 있는가?

주요 결과

• 함수 $F_{d,X,Y} = d^{-2}\log\int e^{zd\,{\rm Tr}(XUYU^*)}dU$ 의 $q$-번째 도함수 $z=0$ 에서의 극한은 $d\to\infty$ 일 때 수렴하며, 이 극한은 $X$ 와 $Y$ 의 점근 스펙트럼 분포에만 의존한다. 계수는 $x_k = \lim d^{-1}{\rm Tr}(X^k)$ 와 $y_k = \lim d^{-1}{\rm Tr}(Y^k)$ 에 대한 명시적 유리함수로 표현된다.
• 모든 $q=2$ 에 대해 $d^{-2}C_2(d^2{\rm tr}A)$ 의 극한은 $x_2 y_2$ 이며, $q=3$ 에 대해선 $x_3 y_3$ 이다. 이는 통합량의 주요 차수 행동을 확인한다.
• 모든 $q=4$ 에 대해 $d^{-2}C_4(d^2{\rm tr}A)$ 의 극한은 $x_4 y_4 + 3x_2^2 y_2^2 - 2x_2^2 y_4 - 2x_4 y_2^2$ 이다. 이는 곱항 외의 비정상적인 조합적 구조를 보여준다.
• 모든 $X$ 가 랭크-1 프로젝션일 때, $\lim_{d\to\infty} d \cdot \partial^q_z F_{d,X,Y}(0)$ 는 $(q-1)! \cdot k_q(Y)$ 와 같으며, 이는 이츠키손-자버 적분과 바이쿨루스쿠의 R-변환 사이의 직접적인 연결 고리를 보여준다.
• 통합량 생성함수의 계수들은 $d$ 에 대한 유리함수로 수렴하며, 이들의 점근 행동은 Weingarten 함수 $\mathrm{Wg}(\sigma,d)$ 의 알려진 행동과 일치한다.
• 이 방법을 통해 $U, V, U^*, V^*$ 의 길이 8 이하의 축약어의 추적 기대값을 명시적으로 계산할 수 있으며, 예를 들어 $\mathbb{E}[{\rm tr}((UVU^*V^*)^2)] = \frac{-4}{d^2(d^2-1)}$ 를 얻을 수 있다.