[論文レビュー] Excedance number for involutions in complex reflection groups

Eli Bagno, David Garber+1 more|ArXiv.org|Dec 7, 2006

Advanced Combinatorial Mathematics参考文献 3被引用数 4

ひとこと要約

本稿では、再帰関係と母関数を用いて、複素反射群 $G_{r,p,n}$ における対合の超過数を定義し、計算する。これにより、超過数と固定点の多次元分布の明示的公式が得られる。主な結果として、指定された超過数と固定点数をもつ対合の数の閉形式表現が得られ、特に $r$ が奇数か偶数か、および $p$ が $r/2$ を割り切るか否かに応じた場合の区別がなされている。本研究は、対称群における古典的超過統計量を複素反射群へ一般化するものである。

ABSTRACT

We define the excedance number on the complex reflection groups and compute its multidistribution with the number of fixed points on the set of involutions in these groups. We use some recurrence formulas and generating functions manipulations to obtain our results.

研究の動機と目的

• 複素反射群 $G_{r,p,n}$ における対合における超過数を定義し、それらを研究することで、対称群における古典的置換統計量を複素設定へ拡張する。
• 対称群および超オクタヘドラル群から得られる結果を一般化し、$G_{r,p,n}$ における対合の集合上での超過数と固定点の多次元分布を計算する。
• これらの群における超過数と固定点の連合分布の再帰関係および明示的母関数を導出する。
• サイクル型と色構造に基づいて、$G_{r,n}$ および $G_{r,p,n}$ における対合を分類し、体系的な数え上げを可能にする。

提案手法

• アルファベット $\Sigma = \{1, \dots, n, \bar{1}, \dots, \bar{n}, \dots, 1^{[r-1]}, \dots, n^{[r-1]}\}$ 上の色順序を定義し、色付き置換における超過を計算する。
• 色付き置換をモデル化するため、群のワイヤープロダクト構造 $G_{r,n} = \mathbb{Z}_r \wr S_n$ を用い、群元の $csum$ 不変量を定義する。
• 特に固定点と互換の性質に注目し、サイクル分解と色の振る舞いを分析することで、$G_{r,n}$ および $G_{r,p,n}$ における対合を分類する。
• 置換 $\pi(n)$ の作用に基づく場合分けにより、生成関数 $f_{r,p,n}(u,v,w)$ の再帰関係を導出する。固定点、色-$r/2$ 固定点、および互換を区別する。
• 母関数の操作および指数型母関数の技法を用い、$f_{r,p,n}(u,v,w)$ の閉形式表現を導出する。具体的には、$e^{ux + \frac{1}{2}x^2((u^2 + (r-1))w^r + v)}$ の形の指数型母関数を含む。
• 固定超過数に対する係数を抽出するため、生成関数を特殊化し、$m$ 個の超過をもつ対合の数の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 置換における古典的超過統計量は、複素反射群 $G_{r,p,n}$ における対合へどのように一般化できるか？
• RQ2 集合 $G_{r,p,n}$ における対合上での超過数と固定点の多次元分布は何か？また、パrameter $r$, $p$, $n$ にどのように依存するか？
• RQ3 超過数と固定点の生成関数の再帰関係は、$r$ が奇数か偶数か、および $p$ が $r/2$ を割り切るか否かに応じてどのように異なるか？
• RQ4 特に $r$ が偶数で $p \not\mid r/2$ の場合に、与えられた超過数をもつ $G_{r,p,n}$ 内の対合の数に対する明示的閉形式公式は何か？

主な発見

• 奇数 $r$ および $p \mid r$ の場合、$G_{r,p,n}$ における $m$ 個の超過をもつ対合の数は、$\sum_{j=n/2}^{n} (n-j)! \binom{n}{n-j, n-j, n-2j} \left(\frac{r}{2}\right)^{n-j}$ で与えられ、ここで $k = \frac{m}{r}$ である。
• 偶数 $r$ および $p \mid \frac{r}{2}$ の場合、$m$ 個の超過をもつ対合の数は $k! \binom{n}{k,k,n-2k} \left(\frac{r}{2}\right)^k$ で与えられ、ここで $k = \frac{m}{r}$ である。
• 偶数 $r$ および $p \not\mid \frac{r}{2}$ の場合、$m$ 個の超過をもつ対合の数は $\frac{(m/r)!}{2^{m/r}} \binom{n}{m/r, m/r, n-2m/r} (r+1)^{m/r}$ で与えられる。
• 超過数と固定点の連合分布の生成関数は $e^{ux + \frac{1}{2}x^2((u^2 + (r-1))w^r + v)}$ であり、この式はあらゆる場合の再帰構造を統一的に表現する。
• $f_{r,p,n}(u,v,w)$ の再帰関係は、$r$ の偶奇および $p$ が $r/2$ を割り切るか否かに依存し、奇数 $r$、偶数 $r$ で $p \mid r/2$ の場合、偶数 $r$ で $p \not\mid r/2$ の場合の3通りの異なる形をとる。
• 生成関数から係数を抽出することで明示的公式が得られ、特に固定点数を求めるには $w=1$ を代入し、超過数を求めるには $u=1$, $v=w^r$ を代入する。