[论文解读] The Waring Problem of Harmonic Polynomials

Huang, Hua-Lin, Yilun Tang+2 more|arXiv (Cornell University)|Jan 7, 2026

Tensor decomposition and applications被引用 0

一句话总结

将二元调和形式的 Waring 问题研究扩展，调和形式的秩等于度数，禁止域为空，且给出显式的分解算法。

ABSTRACT

This paper investigates the Waring problem of harmonic polynomials. By characterizing the annihilating ideal of a homogeneous harmonic polynomial, i.e., a real binary form that is in the kernel of the Laplacian, we show that its Waring rank equals its degree. Moreover, we show that any linear form can appear in a minimal Waring decomposition of a homogeneous harmonic polynomial, implying that the forbidden locus is empty. We also provide an explicit algorithm for computing the minimal Waring decompositions.

研究动机与目标

• 在实数域上对二元形式的 Waring 分解进行动机研究，并聚焦于调和多项式。
• 表征齐次调和多项式的消去理想。
• 证明调和形式的 Waring 秩等于度数，并且每个线性形式都可以出现在一个最小分解中。
• 提供一个自包含、具构造性的算法来计算调和多项式的最小 Waring 分解。

提出的方法

• 使用实 Apolarity 引理来表征二元形式的 Waring 分解。
• 将调和形式的消去理想定为由拉普拉斯算子 Delta 与一个特定的二阶算子 nabla 生成（Delta 和 nabla）。
• 分析 d 阶调和形式的结构为 a0 hd,0 + a1 hd,1，以描述所有调和 d-形式。
• 通过从原理和 Apolarity 出发，证明 WR(f) = d，说明任意 r < d 都不能消去 f。
• 给出 Algorithm 3.8 以显式构造最小 Waring 分解。

实验结果

研究问题

• RQ1 一个实数二元调和 d-形式的 Waring 秩是多少？
• RQ2 任何线性形式都可以出现在调和形式的最小 Waring 分解中吗？
• RQ3 如何显式地计算齐次调和多项式的最小 Waring 分解？

主要发现

• 非零调和 d-形式的 Waring 秩恰为 d。
• 任何线性形式都可以出现在调和 d-形式的最小 Waring 分解中。
• 非零调和 d-形式的消去理想由 Delta 和第二算子 nabla 生成，即 f⊥ = ⟨Δ, ∇⟩。
• 存在一个显式算法（Algorithm 3.8）来计算调和多项式的最小 Waring 分解。
• 所有调和 d-形式都只有实根，与二元形式的实秩结果一致。