[論文レビュー] A note on the number of $k$-roots in $S_n$

Yuval Roichman|arXiv (Cornell University)|Jul 21, 2013

Advanced Combinatorial Mathematics参考文献 14被引用数 7

ひとこと要約

この論文は、恒等置換の $u$-unimodal $k$-roots における交項和として表すことにより、$S_n$ 内の任意の置換の $k$-roots の数について組合せ的公式を確立する。主な結果は、$\theta^k(\tau) = \text{perm}$ の解の数が、$I_n^k \cap U_\mu$ 内の置換における符号付き和に等しいことを示している。ここで、$u$-unimodality は、サイクル型分割に基づく降下集合の制約によって定義される。

ABSTRACT

The number of $k$-roots of an arbitrary permutation is expressed as an alternating sum of $μ$-unimodal $k$-roots of the identity permutation.

研究の動機と目的

• 対称群 $S_n$ 内の任意の置換の $k$-roots の数について、閉形式の式を導出すること。
• 表現論的および組合せ論的道具を用いて、既知の $k=2$ の場合（Gelfand モデル構成）を $k \geq 0$ に一般化すること。
• $k$-roots と $\nu$-unimodal 置換の間の関係を、特に降下集合とサイクル型の制約を通じて確立すること。
• 表現 $\theta^{(k,n)}$ に対して非仮想的特性式を提供し、中心化部分群からの誘導表現によってその実数性を確認すること。
• 結果を複素反射群や他の有限群へ拡張するための基盤を築くこと。

提案手法

• $\nu$-unimodal 置換を、分割 $\nu$ によって定義されるブロック内での区間条件を満たす降下集合を有する置換として定義する。
• Frobenius 特性写像とスケール Schur 関数を用い、置換上の降下統計と対称関数展開との関係を結ぶ。
• 定理 2.2 を適用し、共轭類上の降下集合の母関数を、符号付き降下集合を有する標準ヤン表にわたる和に一致させる。
• Specht モジュール $\rho^\nu$ 及びその誘導表現 $\theta^{(k,n)}$ の特性式を、$\bigoplus_{\lambda: \text{すべての部が }k\text{ を割る}} \psi^\lambda$ を通じて活用する。
• 誘導特性式分解と $I_n^k \cap U_\mu$ における符号付き和の組み合わせにより、鍵となる恒等式を確立する。
• $\theta^{(k,n)}$ が非仮想的特性式（Scharf, 1995）であるという事実を活用し、公式が実際に解の数を数え上げることを保証する。

実験結果

リサーチクエスチョン

• RQ1 置換のサイクル型 $\nu$ における $S_n$ 内の $k$-roots の数は、恒等置換の $\nu$-unimodal $k$-roots における符号付き和として表現可能か？
• RQ2 $I_n^k$ の基底上に自然な $S_n$-作用が存在し、符号付き和の公式によって特性 $\theta^{(k,n)}$ を実現できるか？
• RQ3 $I_n^k$ 上に、与えられた $\nu$-型の $k$-roots のみを固定する組合せ的対合を構成可能か？その符号は $|\text{Des}(\sigma) \setminus S(\nu)|$ によって決定されるか？
• RQ4 共轭類 $C_\lambda$ 上の降下分布は、重複度 $m(\nu,\lambda)$ を有する標準ヤン表への組合せ的双対写像を許容するか？
• RQ5 定理 1.1 は複素反射群や他の有限コクセター群へ一般化可能か？

主な発見

• サイクル型 $\nu$ の置換の $S_n$ 内の $k$-roots の数は、$\sum_{\sigma \in I_n^k \cap U_\nu} (-1)^{|\text{Des}(\sigma) \setminus S(\nu)|}$ で与えられる。ここで $U_\nu$ は $\nu$-unimodal 置換の集合である。
• この公式はすべての $n \geq 1$ および $k \geq 0$ に対して成り立ち、Inglis-Richardson-Saxl の $k=2$ の場合を一般化する。
• 特性 $\theta^{(k,n)}$ を持つ表現 $\phi^{k,n}$ は非仮想的であり、$\bigoplus_{\lambda: \text{すべての部が }k\text{ を割る}} \psi^\lambda$ に等しく、その実数性が確認される。
• 共轭類型 $\nu$ における特性値 $\psi^\lambda_\nu$ は、$\sum_{\sigma \in C_\lambda \cap U_\nu} (-1)^{|\text{Des}(\sigma) \setminus S(\nu)|}$ に等しく、降下集合とunimodal 構造を結びつける。
• 置換 $\sigma$ の降下集合は、$S(\nu)$ によって定義されるブロック構造に相対的に制限されており、各ブロック内での特定の区間を避ける。
• この結果は、$I_n^k$ が [3] の意味で「良い集合」であることを示唆しており、$I_n^k \cap U_\nu$ における符号付き和が正しい根の数をもたらすことを意味する。