[论文解读] Questions about determinants and polynomials

Steve Fisk|ArXiv.org|Aug 13, 2008

Matrix Theory and Algorithms被引用 14

一句话总结

本文研究了从 $ P^{+}_1 $、$ P^{+}_2 $ 及相关类别的多项式系数构造的结构化矩阵的行列式所导出的多项式的稳定性和正性性质。论文提出，通过递归矩阵变换、交错条件和子式分析，此类行列式构造能保持正性和稳定性——即所得多项式属于 $ P^{+}_1 $ 或为稳定多项式。关键结果已验证至四次多项式，并通过符号计算支持更高次情况。

ABSTRACT

We discuss several conjectures about the real-rootedness of polynomials whose coefficients are determinants of coefficients of a real-rooted polynomial. We also consider some questions about matrices generalizing totally positive matrices, namely totally stable matrices and totally upper matrices.

研究动机与目标

• 建立基于行列式变换的多项式在系数为正时产生稳定或正定多项式的条件。
• 研究在 $ P^{+}_1 $ 和 $ P^{+}_2 $ 中多项式系数序列导出的矩阵构造下，稳定性与正性是否得以保持。
• 分析由这些多项式导出的结构化无限矩阵的子式是否仍保持稳定或完全正定。
• 探讨在单变量与多变量情形下，交错多项式、行列式构造与完全正定性之间的相互作用。

提出的方法

• 定义多项式类：$ P^{+}_1 $（正系数，实根为负），$ U_d $（在上半平面非零），以及 $ \tfrac{1}{2}H_1 $（Hurwitz 稳定）。
• 通过输入多项式系数构成的类似托普利茨（Toeplitz-like）矩阵的行列式构造新多项式 $ F(x) $。
• 使用三次多项式稳定性判据 $ \alpha_1\alpha_2 - \alpha_0 > 0 $，并针对更高次多项式采用类似判别式的方法进行检验。
• 应用 Aissen-Schoenberg 定理，将变换后矩阵的完全正定性与所得多项式的稳定性联系起来。
• 利用符号计算验证判别式中系数和的正性（例如，三次多项式含 19 个单项式，四次多项式含 201 个单项式）。
• 分析由系数序列构成的无限下三角矩阵的子式，证明当原多项式属于 $ P^{+}_2 $ 时，其所有子式均生成稳定多项式。

实验结果

研究问题

• RQ1 当应用于 $ f \in P^{+}_1 $ 时，基于行列式的变换 $ F(x) = \sum_i x^i \det(\text{三对角块}) $ 是否产生属于 $ P^{+}_1 $ 的多项式？
• RQ2 能否证明算子 $ T_k(f) = \sum_i x^i \det\begin{pmatrix} a_i & a_{i+k} \\ a_{i-k} & a_i \end{pmatrix} $ 在 $ f \in P^{+}_1 $ 时生成 $ P^{+}_1 $ 中的多项式？
• RQ3 当 $ f \in P^{+}_1 $ 时，多项式 $ F(x) = \sum_i x^i \det\begin{pmatrix} a_{i} & \cdots & a_{i+d} \\ \vdots & \ddots & \vdots \\ a_{i-d} & \cdots & a_i \end{pmatrix} $ 是否稳定？
• RQ4 若将系数矩阵 $ M $ 的每个元素替换为其以该位置为中心的 $ d \times d $ 子矩阵的行列式，是否得到一个完全正定矩阵 $ M' $？
• RQ5 若两个多项式 $ f, g \in P^{+}_1 $ 交错，多项式 $ \sum_i x^i \det\begin{pmatrix} a_i & a_{i+1} \\ b_i & b_{i+1} \end{pmatrix} $ 是否属于 $ P^{+}_1 $？

主要发现

• 对于二次多项式，构造出的多项式 $ F(x) $ 所有系数为正，且判别式为正，确认其属于 $ P^{+}_1 $。
• 对于三次多项式，稳定性判据 $ \alpha_1\alpha_2 - \alpha_0 > 0 $ 的结果为 19 个正单项式的和，从而证明其稳定性。
• 对于四次多项式，稳定性判据为 201 个正单项式的和，确认 $ F(x) \in P^{+}_1 $。
• 当 $ k > n/2 $ 时，变换 $ T_k(f) $ 生成 $ P^{+}_1 $ 中的稳定多项式，此时退化为 Hadamard 积 $ f * f $，保持正性。
• 由 $ f \in P^{+}_2 $ 构造的无限矩阵 $ M $ 的所有子式均为稳定多项式，表明所有此类子式均属于 $ P^{+}_1 $，该结论通过符号验证与 Aissen-Schoenberg 定理得到支持。
• 对于 $ f = (x+y+z)^n $，基于行列式的构造 $ F(x,y,z) $ 通常不稳定，但在 $ y,z > 0 $ 时稳定，且所有系数为负，表明其具有部分稳定性。