[논문 리뷰] Secular Coefficients and the Holomorphic Multiplicative Chaos

Joseph Najnudel, Elliot Paquette외 1명|arXiv (Cornell University)|2020. 11. 03.

Stochastic processes and statistical mechanics인용 수 5

한 줄 요약

이 논문은 $N\times N$ 랜덤 유니터리 행렬의 보편적 계수에 대한 새로운 극한 분포를 제시한다. 이는 $N$과 계수 차수 $n$이 모두 무한대에 접근할 때 원형 $\beta$-집합에서 유도된다. 이는 새로운 확률적 대상인 해석적 곱의 혼돈(Holomorphic Multiplicative Chaos, HMC)을 도입하여, 그가 소볼레프 공간에서 정칙성을 띠며, 가우시안 곱의 혼돈 이론이 특히 $\beta > 4$일 때 극한 법칙을 뒷받침한다는 것을 증명한다. 이 작업은 다이아코니스와 감버드가 제기한 15년간의 미해결 문제를 해결하여, $\beta = 2$일 때 중간 보편적 계수는 $N \to \infty$일 때 거의 확실히 0으로 수렴함을 보여준다.

ABSTRACT

We study the secular coefficients of $N imes N$ random unitary matrices $U_{N}$ drawn from the Circular $β$-Ensemble, which are defined as the coefficients of $\{z^n\}$ in the characteristic polynomial $\det(1-zU_{N}^{*})$. When $β> 4$ we obtain a new class of limiting distributions that arise when both $n$ and $N$ tend to infinity simultaneously. We solve an open problem of Diaconis and Gamburd by showing that for $β=2$, the middle coefficient tends to zero as $N o \infty$. We show how the theory of Gaussian multiplicative chaos (GMC) plays a prominent role in these problems and in the explicit description of the obtained limiting distributions. We extend the remarkable magic square formula of Diaconis and Gamburd for the moments of secular coefficients to all $β>0$ and analyse the asymptotic behaviour of the moments. We obtain estimates on the order of magnitude of the secular coefficients for all $β> 0,$ and these estimates are sharp when $β\geq 2$. These insights motivated us to introduce a new stochastic object associated with the secular coefficients, which we call Holomorphic Multiplicative Chaos (HMC). Viewing the HMC as a random distribution, we prove a sharp result about its regularity in an appropriate Sobolev space. Our proofs expose and exploit several novel connections with other areas, including random permutations, Tauberian theorems and combinatorics.

연구 동기 및 목표

• 보편적 계수의 극한 행동에 대한 오랫동안 미해결된 문제를 다루며, $N$과 $n = \lfloor N/2 \rfloor$가 모두 무한대에 접근할 때 원형 $\\beta$-집합에서의 행동을 분석한다.
• 다이아코니스와 감버드의 마법의 정사각형 공식을 모든 $\beta > 0$로 확장하고 보편적 계수의 모멘트의 渐近 행동을 분석한다.
• 보편적 계수와 가우시안 곱의 혼돈(Gaussian multiplicative chaos, GMC) 사이의 새로운 연결 고리를 수립하여, 해석적 곱의 혼돈(Holomorphic Multiplicative Chaos, HMC)을 도입한다.
• 적절한 소볼레프 공간에서 HMC의 날카운 정칙성 결과를 증명하여 이러한 무작위 분포의 해석적 성질을 분석하는 데 새로운 프레임워크를 제공한다.
• 모든 $\beta > 0$에 대해 보편적 계수의 날카운 주요 크기 추정치를 제공하며, $\beta \geq 2$일 때 정확함을 확인한다.

제안 방법

• 모든 $\beta > 0$에 대해 보편적 계수 $c_n^{(N)}$의 $2k$-번째 모멘트를 다루는 일반화된 마법의 정사각형 공식을 유도하여, 기존의 $\beta = 2$에 대한 결과를 확장한다.
• 타우버 정리와 고정된 행과 열 합을 가진 정수 행렬의 조합론적 분석을 사용하여 이러한 모멘트의 渐近 성장률을 분석한다.
• 보편적 계수의 극한 무작위 분포로서 해석적 곱의 혼돈(Holomorphic Multiplicative Chaos, HMC)을 도입하며, 로그-상관이 있는 가우시안 필드의 정규화된 지수로 정의한다.
• HMC가 적절한 소볼레프 공간에서 거의 확실히 분포임을 증명하여, 모멘트 추정과 수렴 논증을 통해 그 정칙성을 확립한다.
• 함수를 다항식으로 근사하는 방법을 적용하고 특성 함수의 경계를 사용하여 보편적 계수의 HMC로의 약한 수렴을 증명한다.
• 보편적 계수를 거듭제곱 트레이스 $\mathrm{Tr}(U_N^k)$의 다항식으로 표현하기 위해 뉴턴 공식을 사용하며, 이러한 트레이스의 복소 가우시안 극한에 대한 알려진 수렴 결과를 활용한다.

실험 결과

연구 질문

• RQ1 보편적 계수 $c_n^{(N)}$의 극한 분포는 원형 $\beta$-집합에서 $N$과 $n = \lfloor N/2 \rfloor$가 모두 무한대에 접근할 때 어떻게 되는가?
• RQ2 가우시안 곱의 혼돈(GMC) 이론은 특히 $\beta > 4$일 때 보편적 계수의 극한 행동을 어떻게 묘사하는가?
• RQ3 보편적 계수의 모멘트에 대한 마법의 정사각형 공식은 $\beta = 2$를 넘어서 모든 $\beta > 0$로 확장될 수 있는가?
• RQ4 모든 $\beta > 0$에 대해 보편적 계수 $c_n^{(N)}$의 날카운 주요 크기 추정치는 무엇이며, 언제 정확한가?
• RQ5 보편적 계수의 극한 행동을 묘사하는 새로운 확률적 대상이 존재하는가? 그 대상의 기능 공간에서의 정칙성 성질은 무엇인가?

주요 결과

• $\beta > 4$일 때, 보편적 계수 $c_n^{(N)}$는 해석적 곱의 혼돈(HMC)으로 표현되는 극한 대상으로 분포 수렴하며, 이는 적절한 소볼레프 공간 내의 무작위 분포이다.
• $\beta = 2$일 때 중간 보편적 계수 $c_{\lfloor N/2 \rfloor}^{(N)}$는 $N \to \infty$일 때 거의 확실히 0으로 수렴하며, 다이아코니스와 감버드가 제기한 문제를 해결한다.
• 일반적인 $\beta > 0$에 대해 $c_n^{(N)}$의 $2k$-번째 모멘트는 모든 행과 열의 합이 $n$인 $k \times k$ 정수 행렬의 수와 같으며, 이는 마법의 정사각형 공식을 모든 $\beta > 0$로 확장한다.
• 보편적 계수 $|c_n^{(N)}|$의 날카운 주요 크기 추정치를 확보한다: $\beta \geq 2$일 때 추정치 $\mathbb{E}[|c_n^{(N)}|^2] \asymp n^{(k-1)^2}$는 정확하며, 비르코프 체적에서 알려진 渐近값과 일치한다.
• HMC가 소볼레프 공간 $H^s$에서 $s < -1/2$일 때 거의 확실히 분포임을 보이며, 모멘트 경계와 법의 수렴을 통해 정칙성이 확립된다.
• 보편적 계수와 가우시안 곱의 혼돈 이론 사이에 명시적인 연결 고리를 수립하여, $\beta > 4$일 때의 극한 법칙이 로그-상관이 있는 필드와 관련된 GMC 측도로 자연스럽게 묘사됨을 보여준다.