[论文解读] Proof of Stasinski and Voll's Hyperoctahedral Group Conjecture

Aaron Landesman|arXiv (Cornell University)|Aug 29, 2014

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

一句话总结

本文证明了Stasinski和Voll关于超octahedral群$B_n$商群上L-统计量的符号生成函数的猜想，为所有商群建立了乘积公式。通过递归结构和符号相反的对合来抵消项，作者表明该生成函数与有理函数乘积公式一致，其应用包括对称矩阵的Poincaré多项式以及表示zeta函数。

ABSTRACT

In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this conjecture for a few special types of quotients. We prove this conjecture in full, showing it holds for all quotients. In the case of signed permutations with at most one descent, this formula gives the Poincare polynomials for the varieties of symmetric matrices of a fixed rank.

研究动机与目标

• 证明Stasinski和Voll关于超octahedral群$B_n$所有商群上L-统计量符号分布的完整猜想。
• 建立该生成函数与固定秩的$\mathbb{F}_q$上对称矩阵的Poincaré多项式之间的联系。
• 证明该结果蕴含Brenti和Carnevale所述的表示zeta函数中的恒等式成立。
• 将生成函数推广为双变量版本，并在$0 \in I$时提出关于$tX + 1$整除性的猜想。

提出的方法

• 将$B_n$上的L-统计量定义为满足$i < j$，$w(i) > w(j)$，且$i \not\equiv j \pmod{2}$的对$(i,j)$数量的一半，用于度量在异奇偶性索引下与单位元的符号距离。
• 通过$n$的归纳法证明生成函数$\sum_{w \in B_n^{I^c}} (-1)^{l(w)} X^{L(w)}$满足与乘积公式$f_{n,I}(X)$相同的递推关系。
• 引入称为“交换”的符号相反对合，以抵消求和中的项，将支撑集缩减为仅“初始未抵消”和“最终未抵消”的元素。
• 将初始未抵消和最终未抵消的元素表征为在某些交换操作下固定的元素，并在这些集合之间构造双射以验证递推关系。
• 利用$B_n$的Coxeter群结构，包括下降集$D(w)$和标准生成元$s_i$，分析$l(w)$和$L(w)$的递归行为。
• 使用记号$f_{n,I}(X) = \frac{(\underline{n})!}{(\underline{i_1})! \cdot \prod_{k=1}^l (\underline{\delta_k})!!}$，其中$\delta_k = i_{k+1} - i_k$，且$\underline{n} = 1 - X^n$（当$n > 0$时），$\underline{0} = 1$。

实验结果

研究问题

• RQ1 对于所有子集$I \subset [n-1]_0$，符号生成函数$\sum_{w \in B_n^{I^c}} (-1)^{l(w)} X^{L(w)}$是否等于乘积公式$f_{n,I}(X)$？
• RQ2 L-统计量在$B_n^{I^c}$上的分布是否可通过递归结构和符号相反的对合完全表征？
• RQ3 该生成函数与$\mathbb{F}_q$上固定秩的$n \times n$对称矩阵的Poincaré多项式之间有何联系？
• RQ4 当且仅当$0 \in I$时，双变量生成函数$\sum_{w \in B_n^{I^c}} t^{l(w)} X^{L(w)}$是否可被$tX + 1$整除？
• RQ5 下降集$D(w)$和商群结构$B_n^{I^c}$如何影响生成函数的递归分解？

主要发现

• Stasinski和Voll的猜想已完全证明：对所有$n \in \mathbb{N}$和所有$I \subset [n-1]_0$，有$\sum_{w \in B_n^{I^c}} (-1)^{l(w)} X^{L(w)} = f_{n,I}(X)$。
• 在$B_n^{I^c}$上L-统计量的生成函数与有理函数乘积公式$f_{n,I}(X)$一致，后者通过$\underline{n} = 1 - X^n$和偶数索引的双阶乘定义。
• 对于至多一个下降的符号排列，该公式给出了$\mathbb{F}_q$上$n \times n$对称矩阵在固定秩下的Poincaré多项式。
• 该结果意味着[5, 定理5.5]中的恒等式成立，证实了表示zeta函数中此前未被证明的关系。
• 当$0 \in I$时，双变量生成函数$\sum_{w \in B_n^{I^c}} t^{l(w)} X^{L(w)}$可被$tX + 1$整除，该结论通过在满足$w_{1,1} = \pm 1$的元素上定义的对合得到证明。
• 计算验证表明，当$n \leq 6$时，$tX + 1$整除双变量生成函数的猜想成立，尽管一般性证明仍为开放问题。