[論文レビュー] 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)$ の新しい組合せ的公式を提示し、それを中心が半分ずれる2つの対称的かつ単峰的多項式 $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)$ を、中心が半分ずれる2つの対称的かつ単峰的多項式 $f_n^+(x)$ と $f_n^-(x)$ に分解し、単峰性の明確な証明を提供すること。
• 多項式 $f_n^+(x)$ を、単体の重心座標分割の局所 $h$-多項式として幾何的解釈を与えること。これは、型Aにおけるスタンレーの解釈に類似する。
• 分解された多項式の再帰的関係、母関数、実根性の性質を確立し、それらを型 $A$ のオイラー多項式と関連付けること。

提案手法

• 主な手法は、$d_n^B(x)$ の新しい組合せ的公式であり、$n$ に合計する列にインデックスが付いた、多項係数および $d_{r_0}(x)$、$A_{r_i}(x)$、$x$ の累乗の積の和として表現される。
• 多項式 $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)$ は、中心が半分ずれる2つの対称的かつ単峰的多項式の和として表され、単峰性の新しい証明が得られるか？
• 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のオイラー多項式が2つの単峰的多項式の和として表現可能となり、それぞれが型Aのオイラー多項式および $d_{r_i}(x)$ を用いて表現可能である。これにより、型Aと型Bの組合せ的構造の間の新しい関係が明らかになる。