[論文レビュー] 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}$ の3つの一般化多角形数の和が $\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}$ がすべての自然数を表すことが確認され、一般化多角形数の新しい普遍的3次形式が得られた。

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$.

研究の動機と目的

• 特定の可除性および偶奇条件の下で、$\mathbb{N}$ 上の3つの二次多項式 $\psi_{a,b}(x) = \frac{x(ax+b)}{2}$ のすべての普遍的和を分類すること。
• 三角数および平方数に関する既知の結果を一般化多角形数へと拡張すること。
• 新しいクラスの3次形式、特に $T_x + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2}$ がすべての自然数を表すことを証明すること。
• 既に証明された56個のタプルに加え、10個の追加の普遍的タプルを予想し、証拠を提示すること。
• 恒等式 $\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}$ の証明に対して135ドルの賞金を提供すること。

提案手法

• 3次形式による整数の表現を分析するため、モジュラー算術と生成理論を用いる。
• 補題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)$ が $\mathbb{N}$ 上で普遍的和 $\psi_{a,b}(x) + \psi_{c,d}(y) + \psi_{e,f}(z)$ を与えるか？
• 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)$ が含まれる。
• さらに、$(4,0,2,0,1,3)$ のような10個の追加タプルが $\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$ を整数解を持つ3つの二次形式の和として表現することに依拠している。