[论文解读] Maximum Waring ranks of monomials

Erik Holmes, Paul Plummer+2 more|arXiv (Cornell University)|Sep 30, 2013

Polynomial and algebraic computation参考文献 19被引用 5

一句话总结

本文确定了四元或更多变量中单项式及两两互素单项式之和的最大 Waring 秩，表明此类形式通常具有严格小于通用秩的秩，仅有有限多个例外。其主要贡献在于对这些例外的完整分类，以及渐近比较：对于固定的 $ n \geq 4 $，最大秩随 $ d^{n-1}/(n-1)^{n-1} $ 增长，而通用秩随 $ d^{n-1}/n! $ 增长，因此当 $ d \to \infty $ 时，两者的比值趋近于 $ n!/(n-1)^{n-1} < 1 $。

ABSTRACT

We show that monomials and sums of pairwise coprime monomials in four or more variables have Waring rank less than the generic rank, with a short list of exceptions. We asymptotically compare their ranks with the generic rank.

研究动机与目标

• 识别在四元或更多变量中，Waring 秩严格大于通用秩的所有单项式及两两互素单项式之和。
• 对那些形式的秩超过通用 Waring 秩的有限多个例外情况进行分类。
• 确定在 $ n \geq 4 $ 个变量中，单项式及互素单项式之和的最大 Waring 秩的渐近增长速率。
• 研究当度数 $ d \to \infty $ 或 $ n \to \infty $ 时，最大 Waring 秩与通用 Waring 秩之间的关系。
• 为非单项式、非互素和形式提供具有高 Waring 秩的显式构造与界。

提出的方法

• 使用已知的单项式 Waring 秩公式：对于 $ M = x_1^{a_1}\cdots x_n^{a_n} $ 且满足 $ 0 < a_1 \leq \cdots \leq a_n $，有 $ r(M) = (a_2+1)(a_3+1)\cdots(a_n+1) $。
• 应用 Carlini、Catalisano 和 Geramita（2012）的结果，给出单项式的确切 Waring 秩。
• 通过考虑其秩为各独立部分秩之和，分析两两互素单项式之和的秩，利用 $ r(F + G) = r(F) + r(G) $ 的结论（当变量不相交时成立）。
• 使用 Alexander–Hirschowitz 定理计算通用 Waring 秩 $ r_{\text{gen}}(n,d) = \left\lceil \frac{1}{n} \binom{d+n-1}{n-1} \right\rceil $，除有限多个例外情况外均成立。
• 通过分析当 $ d \to \infty $ 时比值 $ \frac{r_{\text{max}}(n,d)}{r_{\text{gen}}(n,d)} $ 的渐近行为，比较单项式及互素和的最大秩与通用秩。
• 使用显式构造与案例分析，验证仅有有限多个形式的秩超过通用秩，并列出全部形式。

实验结果

研究问题

• RQ1 在 $ n \geq 4 $ 个变量中，单项式及两两互素单项式之和可实现的最大 Waring 秩是多少？
• RQ2 在 $ n \geq 4 $ 个变量中，哪些单项式及互素单项式之和的 Waring 秩严格大于通用秩？
• RQ3 当度数 $ d \to \infty $ 时，此类形式的最大 Waring 秩与通用 Waring 秩的渐近比较如何？
• RQ4 对于固定的 $ n \geq 4 $ 且 $ d $ 很大时，比值 $ r_{\text{max}}(n,d)/r_{\text{gen}}(n,d) $ 的渐近行为是什么？
• RQ5 是否存在非单项式、非互素和形式的 Waring 秩超过通用秩？若存在，能否系统地构造？

主要发现

• 对于 $ n \geq 4 $，单项式及两两互素单项式之和的 Waring 秩严格小于通用秩，仅有有限多个例外。
• 在 $ n \geq 4 $ 个变量中，例外的完整列表包含四个特定形式：$ x_1^3 + x_2^3 + x_3^3 + x_4^3 $，$ x_1x_2^2 + x_3^3 + x_4^3 $，$ x_1x_2x_3 + x_4^3 $，以及 $ x_1x_2^2 + x_3x_4^2 $，其秩分别为 4、5、5 和 6，全部超过通用秩 $ r_{\text{gen}}(4,3) = 5 $。
• 在 $ n \geq 4 $ 个变量中，单项式最大 Waring 秩的渐近增长速率为 $ d^{n-1}/(n-1)^{n-1} $，而通用秩的增长速率为 $ d^{n-1}/n! $，因此当 $ d \to \infty $ 时，其比值趋近于 $ n!/(n-1)^{n-1} < 1 $。
• 对于固定的 $ d \geq 3 $ 且 $ n \to \infty $，此类形式的最大 Waring 秩在 $ n $ 上至多线性增长，而通用秩以 $ O(n^{d-1}) $ 增长，因此当 $ n \to \infty $ 时，比值 $ r_{\text{max}}^*(n,d)/r_{\text{gen}}(n,d) \to 0 $。
• 非单项式、非互素和形式也可能超过通用秩；例如，$ G = x^2y + y^2z + w^3 $ 在四元中秩为 6，超过通用秩 $ r_{\text{gen}}(4,3) = 5 $，此结论可通过结果 $ r(F + y_1^d + \cdots + y_s^d) = r(F) + s $（在独立变量下成立）验证。
• 即使在 $ n > d $ 的情况下，最大 Waring 秩仍为有界的且增长缓慢：对于 $ n > d \geq 4 $，有 $ r_{\text{max}}^*(n,d) \leq \frac{n \cdot 2^{d-1}}{d} $，其在 $ n $ 上为次多项式增长，而 $ r_{\text{gen}}(n,d) $ 以 $ O(n^{d-1}) $ 增长，确认当 $ n \to \infty $ 时比值趋于零。