[논문 리뷰] On the moments of the moments of the characteristic polynomials of Haar distributed symplectic and orthogonal matrices

Theo Assiotis, Emma Bailey외 1명|Edinburgh Research Explorer|2019. 10. 28.

Random Matrices and Applications참고 문헌 9인용 수 8

한 줄 요약

이 논문은 해르-분포된 심플렉틱 및 직교 행렬의 특성다항식의 모멘트의 정확한 공식을 제약 조건이 있는 겔판트-츠레틴 패턴을 사용하여 유도한다. 행렬 크기 $N \to \infty$일 때의 渐近 전개를 확립하며, 주요 계수는 관련된 겔판트-츠레틴 다면체의 부피에 의해 결정되며, 이는 유니터리 경우와는 상당히 다름을 보여주고, $Sp(2N)$와 $SO(2N)$의 $N$-의존성이 다르게 나타남을 드러낸다.

ABSTRACT

We establish formulae for the moments of the moments of the characteristic polynomials of random orthogonal and symplectic matrices in terms of certain lattice point count problems. This allows us to establish asymptotic formulae when the matrix-size tends to infinity in terms of the volumes of certain regions involving continuous Gelfand-Tsetlin patterns with constraints. The results we find differ from those in the unitary case considered previously

연구 동기 및 목표

• 유니터리 군에 대해 사용된 표현 이론적 접근을 심플렉틱 및 직교 군으로 확장하기 위해.
• 특성다항식의 $Sp(2N)$ 및 $SO(2N)$에 대한 모멘트의 모멘트에 대한 정확한 조합적 표현을 유도하기 위해.
• $N \to \infty$일 때 이러한 모멘트의 渐近 전개를 고정된 $k, \beta$에 대해 확립하기 위해.
• 기하학적 불변량—특히 제약 조건이 있는 겔판트-츠레틴 다면체의 부피—를 통해 주요 계수의 渐近 행동을 규명하기 위해.
• 직교/심플렉틱 군과 유니터리 경우 사이의 점근적 성장률이 본질적으로 다름을 보여주기 위해.

제안 방법

• $Sp(2N)$ 및 $SO(2N)$에 특화된 제약 조건이 있는 겔판트-츠레틴 패턴 내의 격자점 합으로 모멘트의 모멘트를 표현하기 위해.
• 스푸어 다항식 항등식을 사용하여 특성다항식의 곱의 평균을 이러한 패턴 위의 대칭 함수로 표현하기 위해.
• 볼록체 내 격자점 수의 점근적 분석을 적용하여 이러한 패턴의 수를 근사하기 위해.
• 주요 계수를 해당 겔판트-츠레틴 다면체 $\mathcal{V}_{(k,\beta;\underline{\varepsilon})}^{G}$의 부피와 연결하기 위해, 여기서 $G \in \{Sp, SO\}$.
• 최소한 하나의 다면체 부피가 양수임을 보여주는 방식으로 주요 계수의 양수성을 증명하기 위해, $\underline{\varepsilon} = (1,\dots,1)$의 선택을 사용하기 위해.
• 표현 이론 및 조합론의 결과를 활용하여 행렬 앙상블 평균과 $\mathbb{R}^{k\beta}$ 내 기하적 대상 간의 연결을 구축하기 위해.

실험 결과

연구 질문

• RQ1 헤르-분포된 $Sp(2N)$ 및 $SO(2N)$ 행렬에 대해 특성다항식의 모멘트의 모멘트가 $N \to \infty$일 때 점근적으로 어떻게 행동하는가?
• RQ2 이러한 고전적 군에 대해 주요 계수의 정확한 $N$, $k$, $\beta$에 대한 기능적 의존성은 무엇인가?
• RQ3 $Sp(2N)$ 및 $SO(2N)$에 대한 점근 결과는 유니터리 경우와 어떻게 다를까?
• RQ4 주요 계수는 겔판트-츠레틴 패턴에 대한 제약 조건을 포함하는 다면체의 부피로 기하학적으로 표현될 수 있는가?
• RQ5 모든 양의 정수 $k, \beta$에 대해 주요 계수는 엄밀히 양수인가?

주요 결과

• $Sp(2N)$의 경우, 점근 전개는 $\operatorname{MoM}_{Sp(2N)}(k,\beta) = \mathfrak{c}_{Sp}(k,\beta) N^{k\beta(2k\beta - 1) - k} + O(N^{k\beta(2k\beta - 1) - k - 1})$이며, 여기서 $\mathfrak{c}_{Sp}(k,\beta)$는 $G_2$-형 겔판트-츠레틴 다면체의 부피 합이다.
• SO(2N)의 경우, 점근 전개는 $\operatorname{MoM}_{SO(2N)}(k,\beta) = \mathfrak{c}_{SO}(k,\beta) N^{k\beta(2k\beta - 1) - k} + O(N^{k\beta(2k\beta - 1) - k - 1})$이며, $\mathfrak{c}_{SO}(k,\beta)$는 $B_N$-형 다면체의 부피 합으로 주어진다.
• 모든 $k, \beta \in \mathbb{N}$에 대해 주요 계수 $\mathfrak{c}_{Sp}(k,\beta)$는 엄밀히 양수이며, 최소한 하나의 다면체 부피가 양수임을 보여줌으로써 증명된다.
• 주요 계수의 지수 $k\beta(2k\beta - 1) - k$는 유니터리 경우와 다름을 보여주며, 직교 및 심플렉틱 앙상블의 점근적 스케일링이 다름을 시사한다.
• 작은 $k, \beta$에 대해 $\operatorname{MoM}_{G(N)}(k,\beta)$의 명시적 다항식 표현을 계산하였으며, 예를 들어 $\operatorname{MoM}_{Sp(2N)}(1,1) = \frac{1}{2}(N+1)(N+2)$ 및 $\operatorname{MoM}_{SO(2N)}(2,1) = \frac{1}{2}(N+1)^2(N+2)^2$이다.
• 결과는 제약 조건이 있는 겔판트-츠레틴 패턴에 의해 정의된 선형 제약 조건을 포함하는 볼록 다면체의 부피를 통해 주요 계수의 기하학적 해석을 확립한다.