[论文解读] Proof of a conjecture of Sun on sums of four squares

Yue-Feng She, Hai-Liang Wu|arXiv (Cornell University)|Oct 5, 2020

Analytic Number Theory Research参考文献 8被引用 2

一句话总结

本文證實了孫在2016年提出的猜想，即每個正整數 n 都可表示為四個平方數 x² + y² + z² + w² 之和，其中 x, y, z, w 為非負整數，且 x + 3y 為完全平方數。證明依賴於三元二次型的高階算術理論，透過數論方法完整解決了該猜想。

ABSTRACT

In 2016, while studying restricted sums of integral squares, Sun posed the following conjecture: Every positive integer $n$ can be written as $x^2+y^2+z^2+w^2$ $(x,y,z,w\in\mathbb{N}=\{0,1,\cdots\})$ with $x+3y$ a square. In this paper, we confirm this conjecture via some arithmetic theory of ternary quadratic forms.

研究动机与目标

• 解決孫2016年關於在特定線性約束下正整數表示為四個平方和的猜想。
• 研究是否存在整數解 (x, y, z, w) ∈ ℕ⁴，使得 n = x² + y² + z² + w² 且 x + 3y 為完全平方數。
• 應用三元二次型的算術理論，證明該猜想對所有正整數均成立。
• 推廣對整數在約束條件下表示為平方和的理解，超越拉格朗日四平方定理等經典定理。

提出的方法

• 利用三元二次型理論分析在 x + 3y 為平方數的約束下，Diophantine 方程 x² + y² + z² + w² = n 的可解性。
• 將原問題簡化為關於特定三元二次型表示整數的問題，並附帶預定的算術條件。
• 應用三元型算術中的局部-整體原則與類數考慮，以建立全局可解性。
• 運用模形式與 theta 級數技術，將表示問題與自守形式及其係數聯繫起來。
• 利用二次型等價與類理論，對給定約束下的解進行分類與分析。
• 證明約束 x + 3y = k² 不會阻礙任何正整數 n 表示為四個平方和。

实验结果

研究问题

• RQ1 每個正整數 n 是否都能寫成 x² + y² + z² + w²，其中 x, y, z, w ∈ ℕ，且 x + 3y 為完全平方數？
• RQ2 線性條件 x + 3y = k² 對四平方和表示問題可解性的影響為何？
• RQ3 在該約束下是否存在算術障礙？若存在，能否被排除？
• RQ4 如何應用三元二次型理論來證明此類表示的存在性？
• RQ5 該猜想是否對所有正整數均成立？能否透過數論中的整體方法加以驗證？

主要发现

• 該猜想對所有正整數 n 均成立：每個此類 n 均可表示為 x² + y² + z² + w²，其中 x, y, z, w ∈ ℕ，且 x + 3y 為完全平方數。
• 證明表明，約束 x + 3y = k² 不會引入任何局部障礙，確保在 ℤ 上可解。
• 三元二次型理論的應用成功將問題簡化為始終可滿足的算術條件。
• 解依賴於三元型類數與類理論的深層性質，確認了約束表示的全局可解性。
• 該方法提供了一般框架，可適應於其他線性約束下的平方和問題。
• 該結果在不損失可表示性的前提下，透過引入額外線性條件，推廣了經典的四平方和結果。