[论文解读] Context-free Grammars and Multivariate Stable Polynomials over Stirling Permutations

William Y. C. Chen, Robert X. J. Hao+1 more|arXiv (Cornell University)|Aug 7, 2012

Advanced Combinatorial Mathematics参考文献 17被引用 19

一句话总结

本文引入了生成关于勒让德-斯特林数和带标记斯特林排列的多变量稳定多项式的上下文无关语法，提供了组合解释，并解决了哈格兰和维松奈关于二阶欧拉多项式 $B_n(x)$ 和 $T_n(x)$ 的稳定细化的两个开放问题。关键结果是证明了这些多项式的多变量稳定性，这表明在对角化后具有实根性。

ABSTRACT

Recently, Haglund and Visontai established the stability of the multivariate Eulerian polynomials as the generating polynomials of the Stirling permutations, which serves as a unification of some results of Bóna, Brenti, Janson, Kuba, and Panholzer concerning Stirling permutations. Let $B_n(x)$ be the generating polynomials of the descent statistic over Legendre-Stirling permutations, and let $T_n(x)=2^nC_n(x/2)$, where $C_n(x)$ are the second-order Eulerian polynomials. Haglund and Visontai proposed the problems of finding multivariate stable refinements of the polynomials $B_n(x)$ and $T_n(x)$. We obtain context-free grammars leading to multivariate stable refinements of the polynomials $B_n(x)$ and $T_n(x)$. Moreover, the grammars enable us to obtain combinatorial interpretations of the multivariate polynomials in terms of Legendre-Stirling permutations and marked Stirling permutations. Such stable multivariate polynomials provide solutions to two problems posed by Haglund and Visontai.

研究动机与目标

• 解决哈格兰和维松奈提出的关于二阶欧拉多项式 $B_n(x)$ 和 $T_n(x)$ 的多变量稳定细化的两个开放问题。
• 开发在勒让德-斯特林数和带标记斯特林排列上生成多变量稳定多项式的上下文无关语法。
• 通过语法标记提供这些多变量多项式的组合解释。
• 利用微分算子和多仿射多项式技术，建立生成多项式的稳定性。

提出的方法

• 作者定义了一个上下文无关语法 $G_n$，其变量为 $x_i, y_i, z_i, u_i, v_i$（$0 \leq i < n$）和 $v_n$，并设定特定的产生规则，以编码带标记斯特林排列的组合结构。
• 他们使用微分算子 $D_k$ 逐次应用语法规则，生成多变量多项式 $f_n = D_n D_{n-1} \cdots D_1(x_0)$。
• 通过归纳法证明稳定性，即证明每个微分算子 $D_k$ 在复变量具有正虚部时，保持多仿射多项式的稳定性。
• 该证明依赖于引理 5.1，该引理将稳定性验证简化为在复变量代换下检查变换多项式 $T(F)$ 是否不为零。
• 通过适当的变量代入，将相同的算子框架应用于 $T_n(\mathbf{x},\mathbf{y},\mathbf{z})$，证明其稳定性。
• 应用对角化和变量代入技术，从多变量稳定性推导出单变量实根性结果。

实验结果

研究问题

• RQ1 能否在斯特林排列上构造生成多项式 $B_n(x)$ 和 $T_n(x)$ 的多变量稳定细化？
• RQ2 是否存在能生成此类稳定多项式并具有组合解释的上下文无关语法？
• RQ3 在复变量条件下，多变量多项式 $B_n(\mathbf{x},\mathbf{y},\mathbf{z},\mathbf{u},\mathbf{v})$ 是否稳定？
• RQ4 能否使用相同的语法框架证明 $T_n(\mathbf{x},\mathbf{y},\mathbf{z})$ 的稳定性？
• RQ5 多变量稳定性是否意味着在变量代入下，单变量生成多项式的实根性？

主要发现

• 证明了多变量多项式 $B_n(\mathbf{x},\mathbf{y},\mathbf{z},\mathbf{u},\mathbf{v})$ 是稳定的，即当所有变量具有正虚部时，其值不为零。
• 同样证明了多变量多项式 $T_n(\mathbf{x},\mathbf{y},\mathbf{z})$ 是稳定的，将稳定性结果扩展至二阶欧拉多项式细化。
• 上下文无关语法框架成功地从勒让德-斯特林数和带标记斯特林排列的角度，提供了多项式的组合解释。
• 变量代入导致单变量生成多项式 $M_n(x)$ 的实根性，该多项式计数勒让德-斯特林排列中的带括号下降数。
• 通过对角化 $x_i = u_i = y_i = z_i = 1$，$v_i = x$，得到实根多项式 $M_n(x)$，从而确认了勒让德-斯特林排列上下降生成函数的实根性。
• $T_n(\mathbf{x},\mathbf{y},\mathbf{z})$ 的稳定性意味着在 $x_i = z_i = 1$，$y_i = y$ 的代入下，$C_n(x)$ 具有实根性，从而恢复了博纳的结果。