[논문 리뷰] Hurwitz numbers and matrix integrals labeled with chord diagrams

A. Yu. Orlov|arXiv (Cornell University)|2018. 07. 29.

Advanced Algebra and Geometry참고 문헌 38인용 수 7

한 줄 요약

이 논문은 복소 기니브레 랜덤 행렬의 곱에 대한 스펙트럼 상관 함수를 생성하는, 현수도형으로 표시된 행렬 적분 모델을 제안한다. 다각형 접합을 통한 리ibbon 그래프 표현을 통해 행렬 곱을 표면 위에 매립시키면, 주어진 분지 프로파일을 갖는 표면의 분지 덮개를 세는 허위츠 수를 계산할 수 있으며, 슈어 함수와 오일러 지표에 의존하는 이산 베타-집합을 통해 랜덤 행렬 이론과 허위츠 이론을 연결한다.

ABSTRACT

We shall consider the product of complex random matrices from the independent complex Ginibre ensembles. The product includes complex matrices $Z_i, Z_i^\dagger, \, i = 1, \ldots, n$ and $2n$ sources (complex matrices $C_i$ and $C_i^*$). Any such product can be represented by a chord diagram that encodes the order of the matrices in the product. We introduce the Euler characteristic E$^*$ of the chord diagram and show that the spectral correlation functions of the product generate Hurwitz numbers that enumerate nonequivalent branched coverings of Riemann surfaces of genus $g^*$. The role of sources is the generation of branching profiles in critical points which are assigned to the vertices of the graph drawn on the base surface obtained as a result of gluing of the $2n$-gon related to the chord diagram in a standard way. Hurwitz numbers for Klein surfaces may also be obtained by a slight modification of the model. Namely, we consider $2n+1$ polygon and consider pairing of the extra matrix $Z_{2n+1}$ with a "Mobius" tau function. Thus, the presented matrix models labelled by chord diagrams generate Hurwitz numbers for any given Euler characteristic of the base surface and for any given set of ramification profiles.

연구 동기 및 목표

• 복소 기니브레 랜덤 행렬의 곱과 리만 및 클라인 표면의 분지 덮개를 세는 허위츠 수 사이의 연결 고리를 설정하는 것.
• 주어진 오일러 지표를 갖는 표면 위에 매립된 리ibbon 그래프(지름그림)로 행렬 곱의 구조를 표현하는 행렬 모델을 개발하는 것.
• 행렬 곱의 스펙트럼 상관 함수가 슈어 함수 전개와 이산 베타-집합 축소를 통해 허위츠 수를 도출함을 보여주는 것.
• 비가역적 분지 점을 고려하기 위해 모비우스 유형의 타우 함수를 도입함으로써 프레임워크를 클라인 표면으로 확장하는 것.
• 결합 상수와 소스 행렬을 통한 결합을 통해 임의의 오일러 지표와 임의의 분지 프로파일에 대해 허위츠 수를 생성하는 통합 모델을 제공하는 것.

제안 방법

• 모델은 복소 랜덤 행렬 $Z_i, Z_i^\dagger$와 소스 행렬 $C_i, C_i^*$를 사용하며, 각 행렬이 곱 $X = X_1 \cdots X_F$ 안에서 정확히 한 번씩 나타나도록 한다.
• 행렬 곱은 $2n$개의 변을 갖는 $F$개의 다각형으로 표현되며, 행렬 $Z_i$와 $Z_i^\dagger$는 변에 배치되고 소스 $C_i, C_i^*$는 정점에 위치한다.
• 가우시안 적분을 통한 $Z_i$와 $Z_i^\dagger$의 쌍화는 오일러 지표 $\textsc{e}^*$를 갖는 표면 $\Sigma_{\textsc{e}^*}$ 위에 리ibbon 그래프의 구조를 형성한다.
• 스펙트럼 상관 함수는 슈어 함수 항등식과 복소 행렬에 대한 가우시안 적분을 사용하여 계산되며, $s_\lambda(\mathbb{I}_N)$와 $s_\lambda(N{\bf p}_\infty)$를 통해 $nN^2$차원 적분을 $N$차원 변수의 합으로 줄인다.
• 최종로 얻어진 분할 함수는 대칭군의 비가역 표현 $\lambda$에 대한 합으로 표현되며, 소스 행렬과 결합 매개변수의 슈어 함수가 가중치로 포함된다.
• 비가역적 특징을 포함하기 위해 표면 위상구조를 수정하기 위해 소스 행렬과 모비우스 유형의 타우 함수를 쌍화함으로써 모델을 클라인 표면으로 확장한다.

실험 결과

연구 질문

• RQ1 독립적인 복소 기니브레 행렬의 곱은 다각형 접합과 리ibbon 그래프를 통해 어떤 방식으로 위상적 표면으로 표현될 수 있는가?
• RQ2 이러한 행렬 곱의 스펙트럼 상관 함수와 리만 및 클라인 표면의 분지 덮개를 세는 허위츠 수 사이의 정확한 관계는 무엇인가?
• RQ3 모델 내의 결합 상수와 소스 행렬은 기저 표면의 분지 점에서의 분지 프로파일을 어떻게 생성하는가?
• RQ4 이 모델은 클라인 표면에 대해 허위츠 수를 생성하도록 적응시킬 수 있으며, 어떤 수정이 필요한가?
• RQ5 기저 표면의 오일러 지표 $\textsc{e}^*$는 행렬 적분의 구조와 이산 $\beta$-집합으로의 축소에 어떤 역할을 하는가?

주요 결과

• 소스와 결합 상수를 갖는 행렬 적분은 임의의 주어진 오일러 지표 $\textsc{e}^*$와 분지 프로파일 $\Delta^i$에 대해 허위츠 수 $H_{\textsc{e}^*}(\Delta^1,\dots,\Delta^k)$를 생성하는 스펙트럼 상관 함수를 생성한다.
• 분할 함수는 대칭군의 비가역 표현 $\lambda$에 대한 합으로 표현되며, 소스 행렬과 결합 매개변수의 슈어 함수가 포함된 가중치를 갖는다: $\mathbb{E}_{n,N}\left[\prod_{i=1}^F \det(1 - a_i X_i)^{N\texttt{d}_i}\right] = \sum_{\lambda} \left(s_\lambda(\mathbb{I}_N)\right)^{V-n+F} \prod_{i=1}^F \frac{(N\texttt{d}_i)_\lambda}{(N)_\lambda}$.
• 이중 $\beta$-집합의 구조를 통해 $nN^2$차원 적분이 $N$변수의 합으로 축소되며, 여기서 $\beta = \textsc{e}^*$는 역온도의 역할을 한다.
• 슈어 함수 항등식의 사용(예: $\int s_\lambda(AUBU^{-1}) d_*U = \frac{s_\lambda(A)s_\lambda(B)}{s_\lambda(\mathbb{I}_N)}$)은 단계적 적분과 현수도형 네트워크 내의 루프 분할/결합을 가능하게 한다.
• 오일러 지표 $\textsc{e}^*$는 리ibbon 그래프를 통해 $\textsc{e}^* = V - n + F$로 유도되며, 이는 기저 표면의 종수를 결정한다.
• 모비우스 유형의 타우 함수를 도입함으로써 소스 행렬과 쌍화되어 구멍을 형성함으로써 표면 위상구조를 비가역적 특징을 포함하도록 수정함으로써, 클라인 표면에 대한 허위츠 수를 생성하는 데 성공한다.