[论文解读] The Real-rootedness of Eulerian Polynomials via the Hermite--Biehler Theorem

Arthur L. B. Yang, Philip B. Zhang|arXiv (Cornell University)|Jan 23, 2015

Holomorphic and Operator Theory参考文献 15被引用 6

一句话总结

该论文利用 Hermite--Biehler 定理与 Borcea--Brändén 的稳定性准则，证明了类型 $D_n$ 的 Euler 多项式以及类型 $B_n$ 的仿射 Euler 多项式的实根性。通过证明某些变换后的多项式为弱 Hurwitz 稳定，从而确认了 Hyatt 关于半 Euler 多项式之间交错性的猜想，进而在基于稳定性的交错论证下得出实根性结果。

ABSTRACT

Based on the Hermite--Biehler theorem, we simultaneously prove the real-rootedness of Eulerian polynomials of type $D$ and the real-rootedness of affine Eulerian polynomials of type $B$, which were first obtained by Savage and Visontai by using the theory of $\\mathbf{s}$-Eulerian polynomials. We also confirm Hyatt's conjectures on the interlacing property of half Eulerian polynomials. Borcea and Br\\"and\\'en's work on the characterization of linear operators preserving Hurwitz stability is critical to this approach.

研究动机与目标

• 使用稳定性理论而非 $\mathbf{s}$-Euler 多项式，提供 $D_n(x)$ 与 $\tfrac{B}_n(x)$ 实根性的新证明。
• 确认 Hyatt 关于半 Euler 多项式 $B_n^+(x)$ 与 $D_n^+(x)$ 及其互逆变换之间交错性的猜想。
• 通过统一的稳定性框架，整合类型 $B$、$D$ 的 Euler 多项式及其仿射变体的实根性处理方法。
• 建立 Hermite--Biehler 定理与通过 Hurwitz 稳定性关联的带符号排列统计量实根性之间的联系。

提出的方法

• 应用 Hermite--Biehler 定理，将 Euler 多项式的实根性与相关多项式的弱 Hurwitz 稳定性联系起来。
• 利用 Borcea 与 Brändén 对保持 Hurwitz 稳定性的线性算子的刻画，分析关键生成函数的稳定性。
• 应用 Routh--Hurwitz 判别法，评估形如 $(x+1)A_{n-1}(x) + kx A_{n-2}(x)$ 的多项式稳定性，特别是当 $k = -n$ 时的情形。
• 通过生成函数与对合对称性，推导出连接 $B_n^+(x)$、$D_n^+(x)$ 与经典 Euler 多项式的函数恒等式。
• 利用 $B_n^+(x)$ 与 $D_n^+(x)$ 是 $(x+1)^n A_{n-1}(x)$ 的偶部这一事实，实现向半多项式传递稳定性。
• 利用对称性 $x^n B_n^+(1/x) = B_n^-(x)$ 与 $x^n D_n^+(1/x) = D_n^-(x)$，将交错性问题转化为全生成多项式的稳定性问题。

实验结果

研究问题

• RQ1 能否通过稳定性理论方法而非 $\mathbf{s}$-Euler 精细化，证明 $D_n(x)$ 与 $\tfrac{B}_n(x)$ 的实根性？
• RQ2 半 Euler 多项式 $B_n^+(x)$ 与 $D_n^+(x)$ 是否与它们的互逆变换 $x^n B_n^+(1/x)$ 与 $x^n D_n^+(1/x)$ 交错？
• RQ3 对于哪些 $k$ 值，多项式 $(x+1)A_{n-1}(x) + kx A_{n-2}(x)$ 保持 Hurwitz 稳定？
• RQ4 $(x+1)A_{n-1}(x) - nx A_{n-2}(x)$ 的稳定性与半 Euler 多项式的交错性质之间是否存在更深层次的联系？

主要发现

• 多项式 $(x+1)^n A_{n-1}(x) - n x (x+1)^{n-1} A_{n-2}(x)$ 是弱 Hurwitz 稳定的，根据 Hermite--Biehler 定理，这蕴含了 $D_n(x)$ 与 $\tfrac{B}_n(x)$ 的实根性。
• Hyatt 猜想 (i) 得到证实：$B_n^+(x)$ 与 $x^n B_n^+(1/x)$ 交错，因此 $B_n(x) = B_n^+(x) + x^n B_n^+(1/x)$ 仅有实根。
• Hyatt 猜想 (ii) 得到证实：$D_n^+(x)$ 与 $x^n D_n^+(1/x)$ 交错，因此 $D_n(x) = D_n^+(x) + x^n D_n^+(1/x)$ 仅有实根。
• 恒等式 $B_n^+(x^2) + \frac{1}{x} B_n^-(x^2) = (x+1)^n A_{n-1}(x)$ 成立，将类型 $B$ 的半 Euler 多项式与经典 Euler 多项式联系起来。
• 恒等式 $D_n^+(x^2) + \frac{1}{x} D_n^-(x^2) = (x+1)^n A_{n-1}(x) - n x (x+1)^{n-1} A_{n-2}(x)$ 将类型 $D$ 的半多项式与 Euler 多项式的稳定组合联系起来。
• 提出一个猜想：$(x+1)A_{n-1}(x) + kx A_{n-2}(x)$ 是 Hurwitz 稳定的，当且仅当 $k > -2E_n / E_{n-1}$，其中 $E_n$ 为第 $n$ 个 Euler zigzag 数。