[論文レビュー] Primitive factorizations, Jucys-Murphy elements, and matrix models

Sho Matsumoto, Jonathan Novak|arXiv (Cornell University)|May 2, 2010

Matrix Theory and Algorithms参考文献 23被引用数 7

ひとこと要約

本稿は、置換の原始的因数分解（より大きな要素の順に順序付けられた対換への因数分解）を、Jucys-Murphy 要素、対称群のキャラクター、行列モデルとの関係を用いて、新たな枠組みで提示する。最小および非最小の原始的因数分解に対する明示的公式を導出し、ユニタリ行列積分における置換相関関数と組合せ的数え上げを結ぶ生成関数の恒等式を確立する。

ABSTRACT

A factorization of a permutation into transpositions is called "primitive" if its factors are weakly ordered. We discuss the problem of enumerating primitive factorizations of permutations, and its place in the hierarchy of previously studied factorization problems. Several formulas enumerating minimal primitive and possibly non-minimal primitive factorizations are presented, and interesting connections with Jucys-Murphy elements, symmetric group characters, and matrix models are described.

研究の動機と目的

• 原始的因数分解（対換の要素が弱く非減少に並べられたものとして定義される）の体系的な数え上げ理論を構築すること。
• 原始的因数分解の中心的役割を、Jucys-Murphy 要素およびキャラクター理論との深い関係を通じて説明すること。
• 原始的因数分解の生成関数とユニタリ群上での行列モデル積分との驚くべき関係を確立すること。
• Hurwitz の公式を原始的因数分解の設定に一般化し、明示的な組合せ的数え上げを導出すること。
• 原始的因数分解の類似物としての新しい組合せ的不変量 $\tilde{a}_{g,\mu}$ を導入・研究すること。

提案手法

• 群代数 $\mathbb{C}[S(n)]$ 内の Jucys-Murphy 要素 $J_k$ を用い、その既約表現への作用を通じて原始的因数分解を特徴づけ、数える。
• キャラクター理論および対称群の表現論を適用し、与えられた巡回型を持つ置換の原始的因数分解の数に対する閉形式の式を導出する。
• ユニタリ群 $\mathcal{U}(N)$ を用いた行列モデルを構築し、Haar 測度による積分を用いて行列要素の $n$ 点相関関数を計算する。
• 一般の行列積分を、$\pi \in S(n)$ に対して $\langle u_{11}\overline{u}_{1\pi(1)} \cdots u_{nn}\overline{u}_{n\pi(n)} \rangle$ の形の置換相関関数に還元する。
• 生成関数の恒等式を確立：$(-1)^{n-\ell(\mu)}N^{2n-\ell(\mu)}\langle \cdots \rangle = \sum_{g \geq 0} \frac{\tilde{a}_{g,\mu}}{N^{2g}}$ であり、組合せ論と確率行列理論を結ぶ。
• Schur-Weyl双対性および $\mathcal{M}(N)^{\otimes n}$ 上での $U(N)$-作用の可換環を用い、表現論的および行列モデル的視点を統合する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、より大きなインデックスが弱く非減少に並べられた対換因数分解（原始的因数分解）を体系的に数え上げることができるか？
• RQ2 なぜ原始的因数分解の数え上げが中心的であり、その背後にある代数的構造は何か？
• RQ3 原始的因数分解の数え上げと $\mathcal{U}(N)$ 上での行列積分との正確な関係は何か？
• RQ4 原始的因数分解の生成関数は、古典的 Hurwitz 数の生成関数とどのように対比されるか？
• RQ5 原始的因数分解問題は、行列モデルおよびキャラクター理論のより広範な枠組みに埋め込むことができるか？

主な発見

• 任意の置換の最小原始的因数分解の数に対する明示的公式が導出され、Hurwitz の公式が原始的設定に一般化された。
• 全巡回置換 $(12\dots n)$ の最小原始的因数分解の数は、カタラン数 $\operatorname{Cat}_{n-1} = \frac{1}{n}\binom{2n-2}{n-1}$ に等しいことが示された。
• 全巡回置換の原始的因数分解の生成関数は、$\tilde{a}_{g,(n)} = \operatorname{Cat}_{n-1} \binom{2n-2+2g}{2n-2} \left[\frac{z^{2g}}{(2g)!}\right]\left(\frac{\sinh z/2}{z/2}\right)^{2n-2}$ で与えられる。
• 行列モデルの恒等式が確立された：$N \geq n$ に対して $(-1)^{n-\ell(\mu)}N^{2n-\ell(\mu)}\langle u_{11}\overline{u}_{1\pi(1)} \cdots u_{nn}\overline{u}_{n\pi(n)} \rangle = \sum_{g \geq 0} \frac{\tilde{a}_{g,\mu}}{N^{2g}}$。
• $\tilde{a}_{g,\mu}$ は、非接続性の代わりに原始性を制約として用いる Hurwitz 数 $h_{g,\mu}$ の組合せ的類似物として特定された。