🔢 mathematics

An efficient sum of squares nonnegativity certificate for quaternary quartic

本文研究了四元四次非负多项式的平方和证书，通过将其约化为三元六次形式并利用希尔伯特定理，证明了存在一个二次型使得该多项式与其乘积为平方和，同时探讨了是否单个二次型（特别是首项系数）总是足够的这一未决问题。

原作者： Dmitrii V. Pasechnik

发布于 2026-03-19

📖 1 分钟阅读🧠 深度阅读

原作者： Dmitrii V. Pasechnik

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这是一篇关于数学证明的论文，听起来可能有点深奥，但我们可以用非常生活化的比喻来理解它的核心思想。

想象一下，你手里有一堆形状各异的**“积木”（这些就是数学里的多项式）。你的任务是判断这些积木堆起来之后，是否永远**是“正”的（也就是不会塌下去，不会变成负数）。

在数学界，有一个非常经典的问题：如果一个积木堆（多项式）永远是非负的，我们能不能把它拆解成一些**“完美积木”**（平方数）的总和？

如果能拆解成“完美积木”的总和，我们就说它是**“平方和”（Sum of Squares, SOS）**。这就像是你把一堆乱糟糟的积木，重新拼成了几个完美的正方形，一眼就能看出它是正的。
但是，有些积木堆虽然整体是正的，却无法直接拆解成完美的正方形。这就像是一个形状奇怪的物体，虽然它稳稳地立在地上，但你找不到一种方法把它切成几个完美的正方形。

这篇论文讲了什么？

作者 Dmitrii Pasechnik 主要解决了两个层面的问题：

1. 核心发现：只要加一点“胶水”，就能变完美

作者发现，对于那些无法直接拆解成“完美积木”（平方和）的奇怪形状（四元四次多项式），我们不需要放弃。

比喻：想象你有一个形状怪异的积木塔，它虽然立得住（非负），但切不成正方形。作者发现，只要你往这个塔上涂一层特殊的“胶水”（数学上叫“乘子”，是一个二次多项式），整个结构就会瞬间变得完美，可以拆解成无数个正方形了。
结论：对于任何这种类型的积木塔，最多只需要两块这样的“胶水”（两个二次多项式相乘），就能让它变成完美的“平方和”。

2. 更进一步的猜想：也许一块胶水就够了？

作者还做了一个有趣的实验。他试图证明：是不是只需要一块“胶水”就足够了？

实验过程：他故意制造了一些非常刁钻、极其复杂的“积木塔”（这些塔本身无法拆解，而且它们内部的“核心”也无法拆解）。
意外发现：虽然这些塔很复杂，但当他只涂一块特定的“胶水”（具体来说是塔底的那个部分，记为 $a$ ）时，奇迹发生了——整个塔竟然直接变成了“平方和”！
现状：虽然作者还没能证明“一块胶水永远够用”（这是一个未解之谜），但他通过大量实验发现，“一块胶水”似乎总是有效的。这就像是他发现了一个神奇的规律：虽然理论上可能需要两块，但在实际遇到的所有案例中，一块就搞定了。

论文中的关键“道具”

为了理解这个过程，我们可以把论文里的数学概念对应到生活场景中：

四元四次多项式 (Quaternary Quartic)：
- 比喻：一个由 4 种不同颜色的积木（变量 $x, y, z, u$ ）组成的、有 4 层高的复杂结构。
非负 (Nonnegative, $f \ge 0$ )：
- 比喻：这个结构无论怎么摆放，都不会倒下去，永远稳稳当当。
平方和 (Sum of Squares, SOS)：
- 比喻：这个结构可以被完美地切割成几个标准的正方形块。这是最容易证明它“稳”的方法。
判别式 (Discriminant, $\Delta$ )：
- 比喻：这是积木结构的“心脏”或“核心”。如果这个核心是完美的正方形，那整个结构通常也是。但如果核心是个“坏掉的”形状（非平方和），整个结构就会变得很棘手。
希尔伯特 (Hilbert) 的旧理论：
- 比喻：1893 年，一位叫希尔伯特的老数学家说过：“如果核心坏了，你需要涂两层胶水才能修好它。”
作者的贡献：
- 比喻：作者说：“等等，希尔伯特老先生，虽然理论上可能需要两层，但我发现，只要我涂对特定的一层（就是那个 $a$ ），往往一层就修好了！而且，我甚至找到了那些‘核心’确实坏掉的例子，证明希尔伯特的理论不是多余的，但我的新方法可能更高效。”

总结：这篇论文为什么重要？

它提供了一个“急救包”：以前遇到那种无法直接拆解的复杂数学结构，大家可能会觉得“没救了”。现在作者告诉我们：“别急，涂点胶水（乘子）就能救回来。”
它挑战了旧观念：虽然理论上可能需要两个“补丁”，但作者通过具体的例子暗示，可能一个精心挑选的补丁就足够了。
它连接了理论与现实：作者不仅给出了理论证明，还写代码（附录里的 Macaulay2 代码）生成了具体的、肉眼可见的复杂例子，证明了这些“坏掉的积木”确实存在，而且验证了“一块胶水”的神奇效果。

一句话总结：
这篇论文就像是在说：“有些数学难题虽然看起来无法直接‘完美解决’（拆解成平方和），但只要我们在旁边加一点点‘辅助’（乘子），问题就能迎刃而解。而且，我们怀疑，往往只需要加一点点（一个乘子）就足够了，这比我们要想象的更简单、更高效。”

论文技术总结：四元四次型的平方和非负性证书

1. 研究背景与问题定义

核心问题：
在多项式优化领域，判断一个多元多项式 $f$ 是否全局非负（ $f \ge 0$ ）是一个经典难题。希尔伯特（Hilbert）在 1888 年证明，除了少数特殊情况（如 $n=1$ , $2d=2$ , 或 $n=2, 2d=4$ ），非负多项式并不总是可以表示为多项式的平方和（Sum of Squares, SOS）。
对于非 SOS 的非负多项式，希尔伯特在 1893 年进一步证明，可以通过乘以一个非负的多项式（乘子） $q$ ，使得 $qf$ 成为 SOS。

本文关注的具体问题：
针对四元四次型（Quaternary Quartics，即 $n=4, 2d=4$ 的齐次多项式），寻找一个高效的 SOS 非负性证书。具体而言，研究是否只需要一个二次乘子（quadratic multiplier） $q$ 就能使 $qf$ 成为 SOS，还是需要两个。

2. 主要贡献与定理

2.1 主要定理：两个二次乘子足以

定理 2：对于任意四元四次非负型 $f \in P_{4,4}$ ，存在两个二次型 $q, q' \in \Sigma_{4,2}$ （即 SOS 二次型），使得 $qq'f $是四次多项式的平方和（即$ qq'f \in \Sigma_{4,8}$）。

意义：这提供了一个构造性的证书，证明了对于四元四次型，通过乘以两个二次型，总可以将其转化为 SOS。

2.2 关于乘子数量的猜想与反例

猜想：作者猜想实际上一个二次乘子 $q$ 就足够了（特别是 $q=a$ ，其中 $f$ 被重写为 $au^2+2bu+c$ 的形式）。
反例构造：为了探讨定理 2 中乘子数量的紧性（sharpness），作者构造了具体的例子，其中判别式 $\Delta = ac - b^2$ $Δ = a c - b^{2}$ 是非负的但不是 SOS（即 $\Delta \in P_{3,6} \setminus \Sigma_{3,6}$ $Δ \in P_{3, 6} ∖ Σ_{3, 6}$ ）。
- 定理 3：存在三元六次型 $\Delta = ac - b^2$ ，其中 $a, b, c$ 分别是 2 次、3 次、4 次多项式，且 $\Delta$ 非负但非 SOS。
- 这证明了在一般情况下，判别式 $\Delta$ 本身不一定是 SOS，因此不能直接断言 $af$ 是 SOS（如果 $\Delta$ 是 SOS，则 $af$ 自动是 SOS）。

2.3 乘子与判别式的关系

定理 4：建立了 $f$ 的 SOS 分解与判别式 $\Delta$ 的 SOS 分解之间的深刻联系。

如果存在二次乘子 $q$ 使得 $qf$ 是 SOS，则 $aq\Delta$ 必须具有特定的 SOS 结构（属于理想 $(a, b)$ ）。
反之，如果 $a\Delta$ 是 SOS，则对于任何具有相同判别式 $\Delta$ 的 $f$ ，其本身即为 SOS。
这一结果揭示了 $f$ 的可分解性与其判别式的代数结构之间的内在联系。

3. 方法论与技术路线

3.1 降维与变量替换

证明的核心思想是将四元四次型 $f(x_1, x_2, x_3, x_4)$ 转化为关于 $u=x_1$ 的二次型：
$f = au^2 + 2bu + c$
其中 $a, b, c$ 是关于剩余三个变量 $(x_2, x_3, x_4)$ 的齐次多项式，次数分别为 2, 3, 4。

利用配方法： $af = (au+b)^2 + (ac-b^2) = (au+b)^2 + \Delta$ 。
由于 $f \ge 0$ ，其判别式 $\Delta = ac - b^2$ 必须是非负的（ $\Delta \in P_{3,6}$ ）。

3.2 利用希尔伯特关于三元六次型的结论

引用希尔伯特（1893）的定理：对于任意三元六次非负型 $h \in P_{3,6}$ ，存在一个二次型 $q \in \Sigma_{3,2}$ ，使得 $qh$ 是 SOS。

应用到 $\Delta$ ：存在 $q$ 使得 $q\Delta$ 是 SOS。
结合配方法： $aqf = q(au+b)^2 + q\Delta$ 。由于 $(au+b)^2$ 显然是 SOS，且 $q\Delta$ 是 SOS，因此 $aqf$ 是 SOS。
由于 $a$ 本身是非负二次型（在 $f$ 有实零点的情况下）， $a$ 也是 SOS。因此 $q_1 q_2 f$ （其中 $q_1=a, q_2=q$ ）是 SOS。

3.3 构造非 SOS 判别式（紧性分析）

为了验证是否真的需要两个乘子（即 $a$ 是否总是足够），作者需要构造一个 $\Delta \in P_{3,6} \setminus \Sigma_{3,6}$ 。

几何视角： $\Delta = ac - b^2$ 对应于平面射影曲线与圆锥曲线 $\{a=0\}$ 有 6 个切点。
构造过程：
1. 从边界 SOS 集合 $\partial \Sigma_{3,6}$ 中的极端点出发（如 Robinson 多项式的变体）。
2. 利用参数化扰动，寻找 $\Delta = ac - \tau b^2$ 的形式，使其落在 $P_{3,6}$ 但不在 $\Sigma_{3,6}$ 中。
3. 使用计算机代数系统 Macaulay2 进行精确计算和验证，确定了参数 $\tau$ 的范围（ $4.6875 < \tau \le \tau^*$ ），在此范围内 $\Delta$ 非负但非 SOS。

3.4 数值实验与猜想验证

在构造出的反例中，尽管 $\Delta$ 不是 SOS，但作者发现 $af$ 似乎仍然是 SOS（通过数值优化和舍入验证）。
这表明希尔伯特式的分解（$af$ 是 SOS）可能比理论推导的更优，或者 $a$ 本身就是一个足够好的乘子。

4. 关键结果总结

存在性证明：证明了对于任意四元四次非负型，乘以两个二次 SOS 多项式后必为 SOS。
紧性探讨：构造了具体的非 SOS 判别式 $\Delta$ ，证明了 $\Delta$ 本身不一定是 SOS，从而排除了“直接应用希尔伯特定理于 $\Delta$ 即可”的简单路径。
结构联系：揭示了 $f$ 的 SOS 性质与其判别式 $\Delta$ 的 SOS 性质之间的等价或蕴含关系（定理 4）。
开放问题：虽然证明了两个乘子足够，但作者强烈猜想一个乘子（特别是 $a$ ）总是足够的。目前的数值证据支持这一猜想，但尚未有严格证明。

5. 研究意义

理论突破：解决了希尔伯特第 17 问题在 $n=4, d=4$ 这一特定且困难情形下的乘子次数界限问题，给出了几乎紧确的界限（两个二次乘子）。
算法启示：为多项式非负性验证提供了新的思路。与其直接寻找 $f$ 的 SOS 分解（通常不可行），不如寻找乘子 $q$ 使得 $qf$ 可分解。
计算代数几何：展示了如何利用现代计算工具（如 Macaulay2）结合代数几何理论（如切点曲线、边界 SOS 结构）来构造反例和验证猜想。
未来方向：确认“一个乘子是否总是足够”是解决该领域的一个关键开放问题，若证实，将极大简化四元四次型的非负性验证过程。

6. 结论

Dmitrii Pasechnik 的这篇论文通过巧妙的变量降维和判别式分析，为四元四次非负多项式提供了一个高效的 SOS 证书。虽然证明了两个二次乘子足以保证 SOS 性质，但通过构造精细的反例和数值实验，作者指出了单乘子（ $q=a$ ）可能也是充分的，这为未来的理论研究指明了方向。这项工作不仅加深了对希尔伯特 17 问题特定情形的理解，也展示了代数几何与计算优化在解决经典数学问题中的强大结合。