[論文レビュー] On linear transformations preserving the Pólya Frequency property

Petter Brändén|arXiv (Cornell University)|Mar 22, 2004

Advanced Combinatorial Mathematics被引用数 21

ひとこと要約

本稿は、微分作用素と双線形形式を用いて、線形作用素が多項式のPólya頻度（PF）性質および実根性を保つための十分条件を確立する。組合せ論における未解決の予想を解消し、特に$q$-Eulerian多項式およびFomin-Zelevinskyの単体的複体の$h$-ベクトルに関する実根性の予想を解決するとともに、置換統計量の特定の母関数がPF列であることを証明する。

ABSTRACT

We prove that certain linear operators preserve the Pólya frequency property and real-rootedness, and apply our results to settle some conjectures and open problems in combinatorics proposed by Bóna, Brenti and Reiner-Welker.

研究の動機と目的

• 線形作用素が多項式のPólya頻度（PF）性質および実根性を保つ条件を同定すること。
• 置換統計量の母関数に関する実根性に関する組合せ論における未解決問題を解消すること。
• Hermite, Pólya, Schur, Wagnerの古典的定理を一般化し、微分作用素の母関数に関する十分条件を導入すること。
• 特定の多項式基底が$\tau$-作用素の下でPF列を実根多項式に変換することを確立すること。
• 有限Weyl群に関連する単体的複体の$h$-ベクトルがPFであることを証明し、ReinerとWelkerの予想を解決すること。

提案手法

• F(x,z) = \sum_{k=0}^n Q_k(x) z^k と表される形の微分作用素$\phi_F = \sum_{k=0}^n Q_k(x) \frac{d^k}{dx^k}$を用いて、PFを保つ変換を分析する。
• 全正性理論および実根多項式の重ね合わせの性質を応用し、このような作用素がPF性質を保つ条件を導出する。
• $\mathcal{E}(\binom{x}{i}) = x^i$で定義される$\mathcal{E}$-作用素を用いて、基底展開を標準単項式形式に変換する。
• Obreschkoffの定理および乗数列の性質を用いて、多項式の線形結合の重ね合わせおよび実根性を分析する。
• 定理4.6を適用し、多項式が\{x^i(x+1)^{d-i}\}基底において非負係数を持つならば、その$\mathcal{E}$-像は実根であることを示す。
• Hadamard積および係数ごとの乗算における実根性に関する既知の結果を用いて、単体的複体の$h$-多項式を分析する。

実験結果

リサーチクエスチョン

• RQ1 線形微分作用素$\phi_F$が列のPólya頻度性質を保つための条件は何か？
• RQ2 $q$-Eulerian多項式$A_n(x;q)$はすべての整数$q$に対して実根であるか？
• RQ3 有限Weyl群に関連するFomin-Zelevinsky単体的複体の$h$-ベクトルはPF列をなすか？
• RQ4 $t$-スタック可換置換の数の母関数で、$k$個の降下をもつものについて、$t=2$および$t=n-2$のときPF列であるか？
• RQ5 任意の部分集合$S \subseteq [0,n]$に対して、多項式$P(B_n, S; x) = \sum_{\sigma \in B_n, N(\sigma) \in S} x^{d_B(\sigma)}$はすべての実根をもつ単純な零点のみをもつか？

主な発見

• $q$-Eulerian多項式$A_n(x;q)$はすべての整数$q$に対して実根であり、Brentiの予想を確認する。
• Fomin-Zelevinsky単体的複体$\Delta_{FZ}(D_n)$の$h$-ベクトルはPF列であり、ReinerとWelkerの未解決問題を解決する。
• $\mathcal{S}_n$における$t$-スタック可換置換の数の母関数で、$k$個の降下をもつものについて、$t=2$および$t=n-2$のときPF列である。これはBónaの予想の2つの新しい場合を確認する。
• 任意の部分集合$S \subseteq [0,n]$に対して、多項式$P(B_n, S; x)$はすべての実根をもち、単純な零点に限る。これはBrentiの結果を拡張する。
• 多項式$F_n(\alpha,\beta) = \alpha h(\Delta_{FZ}(B_n),x) + \beta n x h(\Delta_{FZ}(A_{n-2}),x)$は、すべての$\alpha \geq 0$, $2\alpha + \beta > 0$に対して実根であり、単純な零点をもち、厳密な交互配置または交互性の性質をもつ。
• $\{x^i(x+1)^{d-i}\}_{i=0}^d$基底において非負係数をもつ任意の多項式の$\mathcal{E}$-像は、実根であり、すべての実根が非正で単純な零点である。