[论文解读] Compatible polynomials and edgewise subdivisions

Madeleine Leander|arXiv (Cornell University)|May 17, 2016

Advanced Numerical Analysis Techniques参考文献 4被引用 6

一句话总结

本文提出一种新颖框架，利用相容多项式证明了$(n-1)$-单形的第$r$个边划分的局部$h$-多项式仅具有实根。通过在受限的Smirnov词上对上升生成多项式建模，采用系数属于$\{0,1,x\}$的矩阵递推关系，作者通过$2\times2$子矩阵的交错性质建立了实根性的充分条件，从而解决了Athanasiadis提出的问题。

ABSTRACT

In this paper we answer a question posed by C. A. Athanasiadis. Namely, we prove that the local $h$-polynomial of the $r$th edgewise subdivision of the $(n-1)$-dimensional simplex $2^V$ has only real zeros. In doing so we find a tool, using compatible polynomials, that can be used to check if polynomials in certain types of families of polynomials have only real zeros.

研究动机与目标

• 解决C. A. Athanasiadis提出的问题：$(n-1)$-单形的第$r$个边划分的局部$h$-多项式是否仅具有实根。
• 开发一种通用方法，用于通过相容多项式验证组合家族中多项式的实根性。
• 刻画一类系数属于$\{0,1,x\}$的矩阵，其线性组合可保持实根性。
• 将相容多项式技术的适用范围扩展至现有设定之外，特别是推广到广义Smirnov词统计量。

提出的方法

• 定义$\mathcal{SW}(n,r)$为长度为$n+1$、取值于$\{0,1,\dots,r-1\}$的Smirnov词集合，满足$w_0 = w_n = 0$且无相邻相等字母。
• 将局部$h$-多项式表示为$l_V((2^V)^{\langle r\rangle},x) = \sum_{w \in \mathcal{SW}(n,r)} x^{\text{asc}(w)}$，其中$\text{asc}(w)$表示上升次数。
• 引入辅助多项式$E_{r,n}^i = \sum_{w \in \mathcal{SW}'(n,r), w_n = i} x^{\text{asc}(w)}$，其中$\mathcal{SW}'(n,r)$省略$w_n = 0$的约束。
• 推导递推关系：$E_{r,n}^i = \sum_{h=0}^{i-1} x E_{r,n-1}^h + \sum_{h=i+1}^{r-1} E_{r,n-1}^h$，将第$n$步的值与第$n-1$步的值联系起来。
• 将递推关系建模为矩阵作用：$\mathbf{E}_n = A \cdot \mathbf{E}_{n-1}$，其中$A$为$r \times r$矩阵，其元素属于$\{0,1,x\}$。
• 建立实根性的充分条件：若矩阵$A$的所有$2\times2$子矩阵满足某种交错不等式，则多项式$E_{r,n}^i$为实根。

实验结果

研究问题

• RQ1 $(n-1)$-单形的第$r$个边划分的局部$h$-多项式是否仅具有实根？
• RQ2 相容多项式技术能否推广至更广泛的组合多项式家族，以证明其实根性？
• RQ3 系数属于$\{0,1,x\}$的矩阵需满足何种结构条件，才能保证其关联的线性递推保持实根性？
• RQ4 是否存在更广泛的多项式类（如广义Smirnov词上计数上升的多项式），其在基于矩阵的准则下为实根？
• RQ5 能否在$\{0,1,x\}$-矩阵框架之外，完全刻画保持交错性质的矩阵类？

主要发现

• $(n-1)$-单形的第$r$个边划分的局部$h$-多项式仅具有实根，从而肯定回答了Athanasiadis提出的问题1。
• 在$\mathcal{SW}(n,r)$中词的上升生成多项式为实根，因为它等于$E_{r,n}^0$。
• 通过递推矩阵的$2\times2$子矩阵的交错性质，建立了一类由线性递推定义的多项式实根性的充分条件。
• 编码$E_{r,n}^i$递推关系的矩阵$A$满足确保所有$2\times2$子矩阵保持交错的条件，从而推出多项式的实根性。
• $\{0,1,x\}$-矩阵中满足交错条件的类包括：1构成右上角Ferrers板、$x$构成左下角Ferrers板的情形，且此类矩阵保持实根性。
• 该结果可推广至具有距离约束$|w_j - w_{j-1}| > \gamma_i$（当$w_j = i$时）的广义Smirnov词，证明其上升生成多项式同样为实根。