[论文解读] Counting monochromatic solutions to diagonal Diophantine equations

Sean Prendiville|arXiv (Cornell University)|Mar 23, 2020

Algebraic Geometry and Number Theory参考文献 21被引用 7

一句话总结

本文将 Hardy–Littlewood 圆法适配于在 r-着色整数集上计数单色解，实现了绝对常数意义上的最优下界。在系数满足代数条件时，证明了形如 $ a_1x_1^2 + \dots + a_sx_s^2 = b_1y_1 + \dots + b_ty_t $ 的方程的划分正则性，解决了关于二次型单色解计数的一个猜想。

ABSTRACT

We show how to adapt the Hardy--Littlewood circle method to count monochromatic solutions to diagonal Diophantine equations. This delivers a lower bound which is optimal up to absolute constants. The method is illustrated on equations obtained by setting a diagonal quadratic form equal to a linear form. As a consequence, we determine an algebraic criterion for when such equations are partition regular. Our methods involve discrete harmonic analysis and require a number of `mixed' restriction estimates, which may be of independent interest.

研究动机与目标

• 开发一种针对 r-着色整数集上单色解计数的 Hardy–Littlewood 圆法变体。
• 建立对角丢番图方程单色解数量的定量下界，其阶量与最佳可能值一致。
• 确定结合二次与线性形式的方程的划分正则性代数准则。
• 解决一个关于方程 $ \sum a_i x_i^2 = 0 $ 存在至少 $ \gg_r N^{s-2} $ 个单色解的猜想，其中 $ s \geq 5 $ 且存在非空集合 $ I $ 满足 $ \sum_{i \in I} a_i = 0 $。
• 通过放宽系数条件 $ \sum a_i = 0 $，推广 Moreira 的划分正则性结果，同时保持解的计数结果。

提出的方法

• 使用离散调和分析和傅里叶分析正则性引理（特别是 Green–Tao 的表述）对 Hardy–Littlewood 圆法进行改编。
• 采用“混合”限制估计来控制指数和与结构集背景下计数算子的性质。
• 应用傅里叶分析正则性引理，将某一颜色类的特征函数分解为结构部分与伪随机部分。
• 利用密度增量方法定位一个具有大量解的颜色类，依赖于线性条件 $ \sum_{i \in I} a_i = 0 $ 存在非平凡解。
• 引入着色变换 $ \tilde{c} $，将解从变换后的方程提升至原方程，从而可应用 Moreira 定理于单色构型。
• 将圆法与组合密度结果结合，在无线性项时推导出单色解的下界。

实验结果

研究问题

• RQ1 当仅有组合信息可用时，能否将 Hardy–Littlewood 圆法适配于 r-着色整数集上单色解的计数？
• RQ2 在 $[N]$ 的有限着色中，对角二次方程的单色解数量的最优下界是什么？
• RQ3 在何种系数代数条件下，方程 $ \sum a_i x_i^2 = \sum b_j y_j $ 是划分正则的？
• RQ4 与条件 $ \sum a_i = 0 $ 相比，能否弱化方程 $ \sum a_i x_i^2 = \sum b_j y_j $ 的划分正则性准则，同时仍保证存在无穷多组单色解？
• RQ5 对于齐次二次方程 $ \sum a_i x_i^2 = 0 $（$ s \geq 5 $），是否存在与已知渐近上界阶量一致的单色解定量计数结果？

主要发现

• 对于任意 $ r $-着色的 $[N]$，存在某一颜色类 $ C_j $，其包含至少 $ \gg_r N^{3/2^r} $ 组单色解满足 $ x - y = z^2 $，其阶量与最佳可能值一致。
• 对于方程 $ \sum a_i x_i = \sum b_j y_j^2 $ 且满足 $ \sum_{i \in I} a_i = 0 $ 的情形，某一颜色类中单色解的数量为 $ \gg_r N^{(|I|+s+t-2)/2^r} $，其阶量在常数因子意义下最优。
• 对于齐次二次方程 $ \sum_{i=1}^s a_i x_i^2 = 0 $，其中 $ s \geq 5 $ 且 $ \sum_{i \in I} a_i = 0 $，存在某一颜色类包含 $ \gg_r N^{s-2} $ 组单色解，其阶量与已知上界 $ \ll N^{s-2} $ 一致。
• 方程 $ \sum a_i x_i^2 = \sum b_j y_j $ 在 $ \sum_{i \in I} a_i = 0 $ 或 $ \sum_{j \in J} b_j = 0 $ 时是划分正则的，且方程不为 $ a(x_1^2 - x_2^2) = b y^2 + c z $ 的形式，从而解决了关于解计数的一个猜想。
• 该方法在 $ \sum_{i \in I} a_i = 0 $ 条件下，对含混合二次与线性项的方程给出了计数结果，其中 $ s \geq 3 $，$ s+t \geq 5 $，且单色解数量为 $ \gg_r N^{s+t-2} $。
• 本文为 Moreira 的划分正则性结果（在 $ \sum a_i = 0 $ 条件下 $ \sum a_i x_i^2 = x_0 $）提供了新证明，并在更弱条件 $ \sum a_i = 0 $ 下将其推广为定量计数结果。