[论文解读] Nonnegative biquadratic forms with maximal number of zeros

Anita Buckley, Klemen Šivic|arXiv (Cornell University)|Nov 29, 2016

Analytic Number Theory Research被引用 3

一句话总结

本文证明，在 $\mathbb{P}^2 \times \mathbb{P}^2$ 中，非负双二次型若不是平方和，则其最大实零点数为 10。作者构造了首个此类形式的显式例子，证明存在具有 10 个实零点但不可表示为平方和的非负双二次型。

ABSTRACT

We show that the maximum number of real zeros in $\mathbb{P}^2 imes \mathbb{P}^2$ of a nonnegative biquadratic form that is not a sum of squares is 10. We obtain this result by constructing the first known examples of nonnegative biquadratic forms that have 10 real zeros in $\mathbb{P}^2 imes \mathbb{P}^2$.

研究动机与目标

• 确定在 $\mathbb{P}^2 \times \mathbb{P}^2$ 中，非负双二次型若不是平方和，其可能具有的最大实零点数。
• 在非平方和的约束下，构造具有最大实零点数的非负双二次型的显式例子。
• 探讨射影积空间中双二次型的几何与代数结构，特别关注其零点集与非负定性。

提出的方法

• 作者将双二次型分析为 $\mathbb{P}^2 \times \mathbb{P}^2$ 上双次 (2,2) 的齐次多项式，利用实代数几何方法。
• 他们运用实代数几何技术，刻画此类形式的零点集，并确定其在实数域上的基数。
• 例子的构造依赖于对称且结构化的多项式形式，以确保非负性，同时使零条件的实解数量最大化。
• 作者利用“形式不是平方和”意味着其位于 SOS 锥的补集中这一事实，并识别出具有 10 个实零点的此类形式。
• 他们通过代数准则与几何推理，验证所构造形式的非负性及其非 SOS 性质。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^2 \times \mathbb{P}^2$ 上，若非负双二次型不是平方和，其最大实零点数是多少？
• RQ2 能否构造出具有 10 个实零点但不可表示为平方和的非负双二次型的显式例子？
• RQ3 实零点数与射影积空间中双二次型的代数结构及其非负定性之间有何关系？

主要发现

• $\mathbb{P}^2 \times \mathbb{P}^2$ 中，非负双二次型若不是平方和，则其最大实零点数恰好为 10。
• 作者构造了首个已知的、具有 10 个实零点但不可表示为平方和的非负双二次型显式例子。
• 这些例子表明，10 的界限在非 SOS 条件下是紧致且可实现的。
• 这些形式通过使用对称且结构化的多项式构造显式构建，以确保非负性与最大零点数。
• 结果表明，非负双二次型可在不为平方和的情况下实现大量实零点，挑战了关于零点集与 SOS 分解之间关系的既有假设。