[論文レビュー] 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)$ の安定な精錬に関する2つの未解決問題を解決する。主な結果は、これらの多変数多項式の安定性の証明であり、これは対角化によって実根性を示すことを意味する。

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)$ の多変数安定精錬に関する2つの未解決問題を解決すること。
• レジェンドル・スターリングおよびマークド・スターリング順列上の多変数安定多項式を生成する文脈自由文法の構築すること。
• 文法的ラベリングを用いて、これらの多変数多項式の組合せ的解釈を提供すること。
• 微分作用素と多アフィン多項式技法を用いて、生成多項式の安定性を確立すること。

提案手法

• 著者らは、$0 \leq i < n$ および $v_n$ を含むラベル付き変数 $x_i, y_i, z_i, u_i, v_i$ を持つ文脈自由文法 $G_n$ を定義し、マークド・スターリング順列の組合せ的構造を符号化する特定の生成規則を設ける。
• 微分作用素 $D_k$ を繰り返し適用することで、多変数多項式 $f_n = D_n D_{n-1} \cdots D_1(x_0)$ を生成する。
• 各微分作用素 $D_k$ が、正の虚部を持つ複素変数に関する多アフィン多項式の安定性を保つことを帰納的に示すことにより、安定性を証明する。
• 証明は、Lemma 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)$ の実根性を示し、ボーナの結果が回復された。