Copositivity, discriminants and nonseparable signed supports

技术摘要：协正性、判别式与不可分符号支撑

问题陈述
本文研究了判断符号项（signomials）协正性（copositivity）的问题。符号项是在正实数象限 $\mathbb{R}^n_{>0}$ 上定义的函数，是具有实指数的单项式线性组合。具体而言，本文探讨了符号项的协正性边界、判别式以及符号项的符号支撑（即指数与其系数符号配对的集合）之间的关系。虽然全局非负性是实代数几何中的一个核心课题，但判定属于协正多项式锥的成员身份是 NP-hard 问题。现有的方法通常依赖于非负性证书，例如平方和（SOS）、非负回路和（SONC）或算术-几何指数和（SAGE）。一个关键的开放性问题是：刻画哪些符号支撑能使得每一个协正符号项都具备一个 SONC 分解。

方法论
作者开发了一种基于符号判别式几何结构和同伦延续法（homotopy continuation methods）的协正性判别准则。

1. 符号判别式与路径： 作者定义了符号 $(A^+, A^-)$-判别式 $\nabla_{>0}(A^+, A^-)$，它是指对于使符号项（或其到支撑集凸包各面的截面）拥有正奇异零点的系数向量集合。作者在系数空间中构造了一个特定的路径 $c(t)$，该路径通过一个参数 $t$ 对负项系数进行缩放，同时保持系数的符号不变。
2. 交集准则： 核心理论工具是以下观察：当且仅当路径 $c(t)$ 对于任何 $t < 1$ 都不与符号判别式相交时，该符号项是协正的。通过分析交集点集 $T$ 来寻找最小值 $t^*$。协正性等价于 $t^* \geq 1$。
3. 不可分符号支撑： 本文引入了“不可分”（nonseparable）符号支撑这一组合概念。若 $A^-$ 包含在 $A^+$ 的所有正则多面体细分的公共细分单元 $D$ 内，则称一对 $(A^+, A^-)$ 是不可分的。这一几何条件推广了以往已知保证存在 SONC 证书的情况。
4. 同伦延续法： 对于不可分支撑，作者证明了集合 $T$ 恰好包含一个元素 $t^*$。这使得可以使用参数同伦延续法，从一个已知的起始点（在该点处符号项在 $x=1$ 处有一个奇异零点）追踪到目标符号项，从而避免了需要求解多个系统或直接评估临界点的问题。

主要贡献与结果

• 协正性准则（定理 A/定理 2.9）： 作者建立了一个充分必要条件。对于符号支撑为 $(A^+, A^-)$ 且满足 $A^- \subseteq \text{conv}(A^+)$ 的符号项，其协正当且仅当路径 $c(t)$ 与符号判别式（或其截面的判别式）相交的最小参数 $t^*$ 满足 $t^* \geq 1$。该准则避免了在评估临界点时产生的数值误差。
• 不可分支撑下的 SONC 分解（定理 B/定理 3.16）： 本文证明，对于任何 $A^-$ 位于 $\text{conv}(A^+)$ 的一个面（face）的相对内部的不可分符号支撑，协正符号项锥与 SONC 锥重合。换言之，具有此类支撑的每一个协正符号项都能够分解为非负回路符号项之和。这推广了以往需要特定几何条件（如简单顶点）的结果。
• 唯一性与非退化性（定理 C/定理 3.17 & 4.5）： 对于不可分支撑，交集集 $T$ 恰好由一个点 $t^*$ 组成。此外，相应的临界系统具有唯一的、非退化的正奇异零点。这一理论结果确保了数值方法（同伦延续法）对于此类问题是鲁棒且高效的，因为它们不会因为正维度的零集而导致解的丢失。
• 边界刻画（定理 3.18）： 作者表明，对于不可分支撑，协正多项式锥的代数边界包含在（且在特定条件下等于）符号判别式之中。
• 计算实现： 本文展示了 Julia 包 CopositivityDiscriminants.jl，它实现了这些方法。结果表明，对于不可分支撑，追踪单个同伦路径比追踪所有路径或使用 SAGE 证书要高效得多（秒级对比分钟级），并且在处理非常接近判别式边界的符号项时具有更高的数值稳定性。

意义与主张
本文声称提供了一个连接判别式、协正性和 SONC 分解的统一框架。其主要意义在于：

1. 泛化性： 它将已知关于协正性蕴含 SONC 可分解性的符号支撑类，扩展到了更广泛的不可分支撑类，从而移除了诸如存在简单顶点之类的限制性假设。
2. 算法效率： 通过证明不可分支撑会产生与判别式的唯一且非退化的交点，作者实现了一种高度高效的计算策略（单路径同伦），避免了求解多个临界系统带来的组合爆炸问题。
3. 数值稳定性： 当处理接近协正锥边界的符号项时，该方法提供了一个比基于评估的方法或 SAGE 证书更鲁棒的协正性证书；如示例所示，当 SAGE 在微小扰动下失效时，基于判别式的方法依然能够成功。

作者指出，虽然该方法对于不可分支撑非常强大，但在一般情况下仍面临局限性，即临界系统的零集可能具有正维度，这可能导致数值实现中出现漏解的情况。然而，作者也证明了对于广义（generic）系数，这些病态情况不会发生。