[论文解读] 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$-根的交错和表达，建立了一个关于 $S_n$ 中任意置换的 $k$-根数量的组合公式。关键结果表明，满足 $\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$-根数量的闭式表达式。
• 利用表示论和组合工具，将已知的 $k=2$ 情况（Gelfand 模型构造）推广至任意 $k \geq 0$。
• 建立 $k$-根与 $\nu$-unimodal 置换之间的联系，特别是通过下降集和循环类型约束。
• 为表示 $\theta^{(k,n)}$ 提供一个非虚拟特征公式，通过中心化子的诱导表示确认其现实性。
• 为将结果推广至复反射群和其他有限群奠定基础。

提出的方法

• 将 $\nu$-unimodal 置换定义为那些其下降集在划分 $\nu$ 所定义的块内满足特定区间条件的置换。
• 利用弗罗贝尼乌斯特征映射和斜对称函数，将置换上的下降统计量与对称函数展开联系起来。
• 应用定理 2.2，将共轭类上下降集的生成函数等价于带符号下降集的标准杨表的和。
• 利用 Specht 模 $\rho^\nu$ 及其诱导表示 $\theta^{(k,n)}$ 的特征公式，通过 $\bigoplus_{\lambda: \text{所有部分整除 }k} \psi^\lambda$。
• 通过结合诱导特征分解与 $I_n^k \cap U_\mu$ 上的带符号和，建立关键恒等式。
• 利用 $\theta^{(k,n)}$ 是非虚拟特征（Scharf, 1995）的事实，确保该公式计数的是实际解。

实验结果

研究问题

• RQ1 能否将 $S_n$ 中置换的 $k$-根数量表示为对恒等置换的 $\nu$-unimodal $k$-根的带符号和？
• RQ2 在 $I_n^k$ 的基上是否存在一个自然的 $S_n$-作用，使得通过带符号和公式实现特征 $\theta^{(k,n)}$？
• RQ3 能否在 $I_n^k$ 上构造一个组合对合，仅固定给定 $\nu$-类型的一个 $k$-根，且符号由 $|\text{Des}(\sigma) \setminus S(\nu)|$ 决定？
• RQ4 共轭类 $C_\lambda$ 上的下降分布是否能通过组合双射对应到多重性为 $m(\nu,\lambda)$ 的标准杨表？
• RQ5 定理 1.1 能否推广至复反射群和其他有限考克斯eter群？

主要发现

• 在 $S_n$ 中，循环类型为 $\nu$ 的置换的 $k$-根数量为 $\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} \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$ 上的带符号和能正确给出根的数量。