[论文解读] A symmetric unimodal decomposition of the derangement polynomial of type $B$

Christos A. Athanasiadis, Christina Savvidou|arXiv (Cornell University)|Mar 10, 2013

Advanced Combinatorial Mathematics参考文献 22被引用 16

一句话总结

本文提出了一种新的组合公式，用于类型 B 交错多项式 $d_n^B(x)$，将其分解为两个对称且单峰的多项式 $f_n^+(x)$ 和 $f_n^-(x)$，其对称中心相差一半。该分解为单峰性提供了清晰的证明，并通过重心剖分给出了几何解释，与局部 $h$-向量及类型 $A$ 的欧拉多项式相关联。该分解表现出 $\gamma$-非负性，并满足递推关系，其结果支持了实根猜想。

ABSTRACT

The derangement polynomial $d_n (x)$ for the symmetric group enumerates derangements by the number of excedances. The derangement polynomial $d^B_n(x)$ for the hyperoctahedral group is a natural type $B$ analogue. A new combinatorial formula for this polynomial is given in this paper. This formula implies that $d^B_n (x)$ decomposes as a sum of two nonnegative, symmetric and unimodal polynomials whose centers of symmetry differ by a half and thus provides a new transparent proof of its unimodality. A geometric interpretation, analogous to Stanley's interpretation of $d_n (x)$ as the local $h$-polynomial of the barycentric subdivision of the simplex, is given to one of the summands of this decomposition. This interpretation leads to a unimodal decomposition and a new formula for the Eulerian polynomial of type $B$. The various decomposing polynomials introduced here are also studied in terms of recurrences, generating functions, combinatorial interpretations, expansions and real-rootedness.

研究动机与目标

• 为类型 B 交错多项式 $d_n^B(x)$ 提供一种新的组合公式，该多项式通过类型 B 超出数统计超八面体群中的交错排列。
• 将 $d_n^B(x)$ 分解为两个对称且单峰的多项式 $f_n^+(x)$ 和 $f_n^-(x)$，其对称中心相差一半，从而为单峰性提供清晰的证明。
• 将 $f_n^+(x)$ 的几何意义解释为单形重心剖分的局部 $h$-多项式，类比于斯坦利对类型 A 的解释。
• 建立分解后多项式的递推关系、生成函数及实根性质，并将其与类型 $A$ 的欧拉多项式相关联。

提出的方法

• 主要方法是为 $d_n^B(x)$ 建立一种新的组合公式，表示为多重系数与 $d_{r_0}(x)$、$A_{r_i}(x)$ 及 $x$ 的幂的乘积之和，索引于和为 $n$ 的序列。
• 多项式 $d_n^B(x)$ 被唯一地分解为 $f_n^+(x)$ 和 $f_n^-(x)$，满足 $f_n^+(x) = x^n f_n^+(1/x)$ 和 $f_n^-(x) = x^{n+1} f_n^-(1/x)$，从而保证对称性。
• 分解中的各项被证明为 $\gamma$-非负，意味着其系数对称且单峰，对称中心分别为 $n/2$ 和 $(n+1)/2$。
• 几何解释为：$f_n^+(x)$ 是 $(n-1)$-单形重心剖分的局部 $h$-多项式，将其与单纯复形及组合拓扑联系起来。
• 通过生成函数和微分恒等式，基于 $B_k(x)$ 和 $d_n^B(x)$ 的结构，推导出系数 $a_n^{+}(k)$ 和 $a_n^{-}(k)$ 的递推关系。
• 本文利用对称函数恒等式以及类型 $A$ 和 $B$ 欧拉多项式的性质，将分解后的多项式与已知的组合序列关联，并支持实根猜想。

实验结果

研究问题

• RQ1 能否将类型 B 交错多项式 $d_n^B(x)$ 表示为两个对称且单峰的多项式之和，其对称中心相差一半，从而为单峰性提供新的证明？
• RQ2 分解中正部 $f_n^+(x)$ 的几何意义是什么？它与重心剖分及局部 $h$-向量有何关联？
• RQ3 如何通过生成函数或微分方程推导 $f_n^+(x)$ 和 $f_n^-(x)$ 的系数所满足的递推关系？
• RQ4 分解后的多项式 $f_n^+(x)$ 和 $f_n^-(x)$ 是否为实根多项式？其猜想有何支持证据？
• RQ5 该分解在多大程度上可表示为 $\gamma$-向量与类型 $A$ 欧拉多项式的组合？这对其组合结构意味着什么？

主要发现

• 交错多项式 $d_n^B(x)$ 可被分解为对称单峰的 $f_n^+(x)$ 和 $f_n^-(x)$，其中 $f_n^+(x)$ 关于 $n/2$ 对称，$f_n^-(x)$ 关于 $(n+1)/2$ 对称，从而透明地证明了单峰性。
• $f_n^+(x)$ 的几何解释为 $(n-1)$-单形重心剖分的局部 $h$-多项式，推广了斯坦利对类型 A 的结果。
• $f_n^+(x)$ 和 $f_n^-(x)$ 的系数被证明为 $\gamma$-非负，即其可表示为非负组合 $x^i(1+x)^{n-2i}$，从而确认了对称单峰性。
• 推导出显式递推关系：$a_n^{+}(k) = (2k-1)a_{n-1}^{+}(k) + 2(n-k)a_{n-1}^{+}(k-1) + 2(n-1)a_{n-2}^{+}(k-1) + d_{n-1}^B(k)$，以及 $a_n^{-}(k)$ 的类似公式，基于生成函数与微分恒等式。
• $f_n^+(x)$ 和 $f_n^-(x)$ 被猜想对所有 $n \geq 2$ 为实根多项式，其支持证据来自对 $n \leq 10$ 的验证，暗示其具有更深层次的结构特性。
• 该分解使得类型 $B$ 的欧拉多项式可表示为两个单峰多项式的和，每个均可表示为类型 $A$ 欧拉多项式与 $d_{r_i}(x)$ 的组合，揭示了类型 $A$ 与类型 $B$ 组合学之间新的联系。