[论文解读] Universal sums of three quadratic polynomials

Zhi‐Wei Sun|arXiv (Cornell University)|Feb 9, 2015

Analytic Number Theory Research参考文献 26被引用 5

一句话总结

本文证明了某些形如 $\psi_{a,b}(x) = \frac{x(ax+b)}{2}$ 的三元二次多项式之和在 $\mathbb{N}$ 上是普遍的，确定了 56 个显式三元组 $(a,b,c,d,e,f)$ 为普遍形式，并推测了另外 10 个。关键结果确认了 $\frac{x(x+1)}{2} + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2}$ 表示所有自然数，从而给出了广义多边形数的新一类普遍三元二次型。

ABSTRACT

Let $a,b,c,d,e$ and $f$ be integers with $a\ge c\ge e>0$, $b>-a$ and $b\equiv a\pmod2$, $d>-c$ and $d\equiv c\pmod 2$, $f>-e$ and $f\equiv e\pmod2$. Suppose that $b\ge d$ if $a=c$, and $d\ge f$ if $c=e$. When $b(a-b)$, $d(c-d)$ and $f(e-f)$ are not all zero, we prove that if each $n\in\mathbb N=\{0,1,2,\ldots\}$ can be written $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with $x,y,z\in\mathbb N$ then the tuple $(a,b,c,d,e,f)$ must be on our list of $473$ candidates, and show that 56 of them meet our purpose. When $b\in[0,a)$, $d\in[0,c)$ and $f\in[0,e)$, we investigate the universal tuples $(a,b,c,d,e,f)$ over $\mathbb Z$ for which any $n\in\mathbb N$ can be written $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with $x,y,z\in\mathbb Z$, and show that there are totally 12082 such candidates some of which are proved to be universal tuples over $\mathbb Z$. For example, we show that any $n\in\mathbb N$ can be written as $x(x+1)/2+y(3y+1)/2+z(5z+1)/2$ with $x,y,z\in\mathbb Z$, and conjecture that each $n\in\mathbb N$ can be written as $x(x+1)/2+y(3y+1)/2+z(5z+1)/2$ with $x,y,z\in\mathbb N$.

研究动机与目标

• 在特定可除性与奇偶性条件下，对所有形如 $\psi_{a,b}(x) = \frac{x(ax+b)}{2}$ 的三元二次多项式之和在 $\mathbb{N}$ 上的普遍性进行分类。
• 将关于三角数与平方数的普遍和已知结果推广至广义多边形数。
• 证明一类新的三元二次型（包括 $T_x + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2}$）表示所有自然数。
• 推测并提供证据支持另外 10 个普遍三元组，超出已证明的 56 个。
• 提供 135 美元奖金，用于证明恒等式 $\left\{\frac{x(x+1)}{2}+\frac{y(3y+1)}{2}+\frac{z(5z+1)}{2}: x,y,z\in\mathbb{N}\right\}=\mathbb{N}$。

提出的方法

• 使用模运算与类群理论分析三元二次型对整数的表示。
• 应用引理 5.1、5.3 和 5.4，将表示关系模 8、4 和 12 简化，确保在整数范围内可解。
• 利用恒等式 $x^2 + 2T_y = T_{x+y} + T_{x-y-1}$ 将三角数与平方型联系起来。
• 将问题约化为求解 $120n + c = 3x^2 + 5y^2 + 30z^2$ 或类似形式，然后将解提升为多项式表示。
• 对变量施加同余条件（例如 $x \equiv 1 \pmod{10}$），以确保二次多项式具有正确的形式。
• 运用二元二次型理论与类数理论，排除不可表示的情形，并验证普遍性。

实验结果

研究问题

• RQ1 在满足 $a \mid b$、$c \mid d$、$e \mid f$ 的条件下，哪些有序三元组 $(a,b,c,d,e,f)$ 能使 $\psi_{a,b}(x) + \psi_{c,d}(y) + \psi_{e,f}(z)$ 在 $\mathbb{N}$ 上成为普遍和？
• RQ2 是否存在有限多个此类普遍三元组，且能否完全分类？
• RQ3 和 $\frac{x(x+1)}{2} + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2}$ 是否在 $\mathbb{N}$ 上是普遍的？
• RQ4 能否证明附录中列出的 407 个三元组（以及推测的 10 个）在 $\mathbb{N}$ 上是普遍的？
• RQ5 135 美元奖金在推动证明恒等式 $\left\{T_x + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2}\right\} = \mathbb{N}$ 方面起到什么作用？

主要发现

• 本文证明了 56 个特定三元组 $(a,b,c,d,e,f)$ 在 $\mathbb{N}$ 上是普遍的，包括 $(1,3,1,1,1,1)$ 和 $(2,0,1,3,1,1)$。
• 推测另外 10 个三元组（如 $(4,0,2,0,1,3)$）在 $\mathbb{N}$ 上也是普遍的。
• 恒等式 $\left\{\frac{x(x+1)}{2} + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2} : x,y,z \in \mathbb{N}\right\} = \mathbb{N}$ 被证明成立。
• 本文表明，若 $a \mid b$、$c \mid d$、$e \mid f$，且 $b(a-b)$、$d(c-d)$、$f(e-f)$ 不全为零，则普遍三元组必属于已证明的 56 个或推测的 10 个之一。
• 附录中列出的 407 个三元组被推测在 $\mathbb{N}$ 上是普遍的，作者提供 135 美元奖金用于证明关键恒等式。
• 证明依赖于将问题约化为模形式，并使用同余提升技术，将 $120n + c$ 表示为三个具有整数解的二次型之和。