[論文レビュー] Hurwitz numbers and matrix integrals labeled with chord diagrams

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

Advanced Algebra and Geometry参考文献 38被引用数 7

ひとこと要約

本稿では、複素Ginibre確率行列の積のスペクトル相関関数を生成する、弦図でラベル付けされた行列積分モデルを導入する。行列積を多角形の貼り合わせによってループグラフ（リボングラフ）として表現することで、分岐被覆の分岐型付きの分岐被覆を数えるHurwitz数を計算する。このモデルは、シュール関数とオイラー乗数に依存する離散的ベータ系集合を通じて、確率行列理論とHurwitz理論を結びつける。

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.

研究の動機と目的

• 独立した複素Ginibre確率行列の積と、リーマン面およびクライン面への分岐被覆を数えるHurwitz数との間の関係を確立すること。
• 与えられたオイラー乗数を持つ曲面上に埋め込まれた、ファットグラフ（ループグラフ）として行列積構造を符号化する行列モデルを開発すること。
• 行列積のスペクトル相関関数がシュール関数展開と離散的ベータ系集合への還元を通じてHurwitz数をもたらすことを示すこと。
• 非可換分岐点を考慮するためのMöbius型tau関数を導入することで、この枠組みをクライン面へ拡張すること。
• 結合定数とソース行列を用いて、任意のオイラー乗数と任意の分岐型付きの分岐被覆を生成する統一的モデルを提供すること。

提案手法

• モデルは、複素確率行列 $Z_i, Z_i^\dagger$ とソース行列 $C_i, C_i^*$ を用い、各行列が積 $X = X_1 \cdots X_F$ に丁度1回ずつ現れる。
• 行列積は、$2n$ 条の辺を持つ $F$ 個の多角形の集合として表現され、行列 $Z_i$ と $Z_i^\dagger$ は辺に、ソース $C_i, C_i^*$ は頂点に配置される。
• ガウス積分による $Z_i$ と $Z_i^\dagger$ のペアリングにより、オイラー乗数 $\textsc{e}^*$ を持つ曲面 $\Sigma_{\textsc{e}^*}$ 上にループグラフ構造が得られる。
• スペクトル相関関数はシュール関数の恒等式と複素行列上のガウス積分を用いて計算され、$s_\lambda(\mathbb{I}_N)$ と $s_\lambda(N{\bf p}_\infty)$ を通じて $nN^2$ 次元の積分が $N$ 次元変数の和に還元される。
• 得られる分配関数は、対称群の非可約表現 $\lambda$ に関する和として表現され、ソース行列と結合パラメータのシュール関数が重みとして含まれる。
• クライン面への拡張は、ソース行列とMöbius型tau関数をペアリングすることで行われ、表面トポロジーに非可換的特徴を組み込む。

実験結果

リサーチクエスチョン

• RQ1 独立した複素Ginibre行列の積は、多角形の貼り合わせとループグラフを介して、どのようにトポロジカルな曲面として符号化できるか？
• RQ2 このような行列積のスペクトル相関関数と、分岐被覆を数えるHurwitz数との間の明確な関係は何か？
• RQ3 モデル内の結合定数とソース行列は、基底曲面上の分岐点における分岐型付きの分岐をどのように生成するか？
• RQ4 このモデルは、クライン面のHurwitz数を生成するために適応可能か？必要な修正は何か？
• RQ5 基底曲面のオイラー乗数 $\textsc{e}^*$ は、行列積分の構造とその離散的 $\beta$-系集合への還元において、果たす役割は何か？

主な発見

• ソース行列と結合定数を用いた行列積分は、任意の与えられたオイラー乗数 $\textsc{e}^*$ と分岐型 $\Delta^i$ に対して、Hurwitz数 $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}$。
• モデルにより $nN^2$ 次元の積分が、離散的 $\beta$-系集合構造を通じて $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}^*$ は、$\textsc{e}^* = V - n + F$ によりループグラフから得られ、基底曲面の genus を決定する。
• Möbius型tau関数を導入することで、ソース行列とペアリングされ、穴を形成し、表面トポロジーに非可換的特徴を組み込むことにより、クライン面のHurwitz数が生成される。