[論文レビュー] Explicit monomial expansions of the generating series for connection coefficients

Ekaterina A. Vassilieva|arXiv (Cornell University)|Nov 26, 2011

Advanced Combinatorial Mathematics参考文献 8被引用数 5

ひとこと要約

本稿では、対称群の類代数および二重コセット代数における接続係数の母関数の明示的モナミアル対称関数展開を提示する。代数的技法と近フック型分割におけるゾーン多項式の新しい公式を用いて、二重コセット代数の母関数に対して著しく簡略化された表現が得られ、統計学におけるランダム行列のスペクトル分布計算における長年の複雑性が解消された。

ABSTRACT

This paper is devoted to the explicit computation of generating series for the connection coefficients of two commutative subalgebras of the group algebra of the symmetric group, the class algebra and the double coset algebra. As shown by Hanlon, Stanley and Stembridge (1992), these series gives the spectral distribution of some random matrices that are of interest to statisticians. Morales and Vassilieva (2009, 2011) found explicit formulas for these generating series in terms of monomial symmetric functions by introducing a bijection between partitioned hypermaps on (locally) orientable surfaces and some decorated forests and trees. Thanks to purely algebraic means, we recover the formula for the class algebra and provide a new simpler formula for the double coset algebra. As a salient ingredient, we derive a new explicit expression for zonal polynomials indexed by partitions of type [a,b,1^(n-a-b)].

研究の動機と目的

• 対称群の類代数および二重コセット代数における接続係数の母関数の明示的モナミアル対称関数展開を導出すること。
• 代数的手法と新しいゾーン多項式の公式を用いて、従来複雑であった二重コセット代数の母関数を簡略化すること。
• 従来の双対的組合的構成を避けて、代数的手法により既知の類代数の結果を再現すること。
• 統計学で研究されている特定のランダム行列のスペクトル分布に対して、新たなより取り扱いやすい公式を提供すること。

提案手法

• 代数的技法を用いて、型 $[a,b,1^{n-a-b}]$ の分割に添えられたゾーン多項式の新しい明示的表現を導出する。
• 接続係数、対称群のキャラクター、対称関数基底の間の既知の関係を適用し、双対的でない方法で類代数の母関数を再導出する。
• 二重コセット代数展開における寄与をパラメータ化するため、有理関数 $r_n(a,b)$ および $r'_n(a,b)$ を導入する。
• 装飾付きの森や列 $\{a_i, b_i, c_i\}$ などの組合的構造を用いて、母関数におけるモナミアル対称関数の台を符号化する。
• 積項における二項係数に類似した有理係数を表す記号 $\left\langle\cdot\right\rangle$ および $\left[\cdot\right]$ を用いる。
• 有理関数 $R(x,y,z,t,w)$ を用いて、展開における列成分からの寄与を重みづけする。

実験結果

リサーチクエスチョン

• RQ1 二重コセット代数の接続係数の母関数は、従来の双対的構成よりも簡略化された形に表現可能か？
• RQ2 二重コセット代数における接続係数の背後にある代数的構造は何か？ そして、対称関数を用いて捉えられるか？
• RQ3 近フック型分割におけるゾーン多項式は、母関数の簡略化にどのように寄与するか？
• RQ4 ハイパーマップ双対性に依存しない、類代数および二重コセット代数の母関数を同時に回復する一様な代数的枠組みは存在するか？
• RQ5 新しい有理関数 $r_n(a,b)$ を用いて、スペクトル分布の漸近的に取り扱いやすい表現を導出可能か？

主な発見

• 本稿では、従来の複雑な双対的構成に基づく表現に代わって、二重コセット代数の接続係数の母関数に対する著しく簡略化された新しい公式を提供する。
• 二重コセット代数の母関数は、有理関数 $r_n(a,b)$ および二項係数に類似した係数の積によって重みづけられたモナミアル対称関数の和として表現される。
• 特別な場合 $\nu = (n)$ において、母関数 $\Pi_n$ のモナミアル係数が明示的に計算可能であり、例として $\lambda = (n)$, $(n-1,1)$, $(n-2,1,1)$ などを示す。
• $\Pi_n$ における $m_{(n)}$ の係数は $(2n-2)!!$ であり、$m_{(n-1,1)}$ の係数は $n(2n-4)!!$ であることが示され、既知の組合的数え上げと整合的である。
• 新しい $r_n(a,b)$ の公式は、以前の表現に見られる符号の交互に現れる現象を回避しており、将来的な漸近的解析が可能になる。
• 本稿では、$b_{\lambda n}^n$ の母関数が、明示的な有理係数を伴う列 $\{a_i, b_i, c_i\}$ に関する和として書けることが確認され、計算に適した形が得られた。