[论文解读] Combinatorics and preservation of conically stable polynomials

Giulia Codenotti, Stephan Gardoll+1 more|arXiv (Cornell University)|Jun 22, 2022

Advanced Optimization Algorithms Research被引用 1

一句话总结

本文将多元多项式经典稳定性理论推广至锥稳定性，聚焦于正定（psd）稳定性。引入了保稳定算子的锥类比——特别是广义反演算子——并建立了正定稳定多项式支集的组合准则，包括对二项式、齐次非混合多项式及行列式多项式的刻画。主要贡献在于证明了正定稳定性在广义反演及关于正定矩阵的首项形式下保持不变。

ABSTRACT

Given a closed, convex cone K⊆Rn, a multivariate polynomial f∈C[z] is called K-stable if the imaginary parts of its roots are not contained in the relative interior of K. If K is the nonnegative orthant, K-stability specializes to the usual notion of stability of polynomials. We develop generalizations of preservation operations and of combinatorial criteria from usual stability toward conic stability. A particular focus is on the cone of positive semidefinite matrices (psd-stability). In particular, we prove the preservation of psd-stability under a natural generalization of the inversion operator. Moreover, we give conditions on the support of psd-stable polynomials and characterize the support of special families of psd-stable polynomials.

研究动机与目标

• 将经典保稳定操作与组合准则从常规稳定性推广至锥稳定多项式，尤其针对正半定锥。
• 研究从经典稳定性到非多面锥（如正半定锥）锥稳定性的过渡。
• 建立正定稳定多项式支集的必要与充分条件，包括二项式与行列式多项式。
• 提出并提供证据支持一个关于正定稳定多项式中单项式支集通过转置、双重及线性步骤实现连通性的猜想。

提出的方法

• 将 Lieb-Sokal 引理推广至锥稳定性，建立在特定微分算子下保稳定性的锥版本。
• 引入并分析一种针对正定稳定性的广义反演算子，利用矩阵理论与代数技巧证明其保稳定性质。
• 利用关于正定矩阵的首项形式研究正定稳定多项式在退化行为下的性质。
• 应用跳跃系统理论与热带几何分析稳定多项式的支集，尤其关注正定稳定情形。
• 通过组合与代数约束刻画特殊族正定稳定多项式支集的特性。
• 提出并检验一个关于通过转置、双重及线性步骤实现单项式连通性的猜想，基于对二项式、非混合多项式及行列式多项式的案例分析。

实验结果

研究问题

• RQ1 经典保稳定操作（如反演与偏微分）如何推广至锥稳定多项式？
• RQ2 何种条件可确保正定稳定多项式支集满足广义跳跃系统性质？
• RQ3 哪些多项式类（如二项式、行列式多项式）可实现正定稳定性的完整刻画？
• RQ4 是否存在统一的组合结构（如连通的单项式图），如猜想所建议，通过转置步骤实现？

主要发现

• 本文证明了正定稳定性在反演算子的自然推广下保持不变，该结果特异于正半定锥，无法推广至任意锥。
• 建立了正定稳定多项式在关于正定矩阵取首项形式下保持不变，将已知保稳定结果扩展至锥稳定性。
• 任一正定稳定多项式的支集必须满足一个必要条件，涉及指数向量的结构及其在格点中的相对位置。
• 所有正定稳定二项式均被刻画为形如 $ c_\alpha z_{ii}z_{jj} + c_\beta z_{ij}^2 $（$ i \neq j $）的形式，且此类二项式可通过单步转置实现猜想中的单项式连通性。
• 对于次数不超过2的齐次非混合正定稳定多项式，其支集满足广义跳跃系统性质，且单项式可通过双重与转置步骤连通。
• 行列式类型的正定稳定多项式满足猜想中的单项式连通性，通过在每个行列式块内连接转置序列，确保支集整体连通至对角单项式。