Gaps between quadratic forms

Siddharth Iyer《二次型之间的间隙》技术摘要

问题陈述
本文研究了特定二次型在短区间内所表示整数的分布。具体而言，它探讨了对于固定的非零整数 $a$，连续整数 $n$ 之间的间隙上界问题，其中 $n$ 由二次型 $x^2 + xy + y^2$ 表示（记为集合 $\triangle$），而 $n+a$ 表示为两个平方数之和（记为集合 $\mathbb{O}^2$）。感兴趣的集合定义为 $S(\triangle, \mathbb{O}^2, a) = \{n : n \in \triangle, n+a \in \mathbb{O}^2\}$。

该工作建立在关于二次型表示相关性的经典结果之上。文中引用了 Estermann (1932) 关于表示函数乘积之和 $r_2(n)r_2(n+a)$ 的渐近公式，以及 Hooley、Chamizo 和 Müller 随后在误差项及此类整数在区间内密度方面的改进。虽然引理 1.2 确立了 $S(\mathbb{O}^2, \mathbb{O}^2, a)$ 中元素之间的间隙被 $O(x^{1/2})$ 所界定，但本文旨在为混合情形 $S(\triangle, \mathbb{O}^2, a)$ 建立类似的（尽管较弱）界。

方法论
作者运用了解析数论技术，重点关注涉及积性函数和特征和的渐近求和评估。

1. 表示函数与特征：
   本文利用了一个事实，即 $x^2+xy+y^2$ 的表示数 $R_2(n)$ 和两个平方数之和的表示数 $r_2(n)$ 可以通过狄利克雷特征来表达。具体而言，$R_2(n) = 6 \sum_{d|n} \chi_3(d)$ 且 $r_2(n) = 4 \sum_{d|n} \chi_4(d)$，其中 $\chi_3$ 和 $\chi_4$ 分别是模 3 和模 4 的非平凡特征。

2. Tolev 定理的改编：
   核心工具是 Tolev (2012) 关于算术级数中两个平方数之和的定理。作者对此进行了改编，以处理 $F_{\chi_3}(n)$ 与 $F_{\chi_4}(n+a)$ 之间的相关性。然而，直接应用 Müller (1989) 关于积性函数之和的定理是不够的，因为 $\chi_3$ 和 $\chi_4$ 无法同时提升为模某个公共 $k$（特别是 $12|k$ 时）的本原特征而不丧失本原性。

3. 积性函数的分析：
   为了克服非本原特征的限制，本文引入了一种涉及函数 $\eta_a(q)$ 的新方法，该函数计算同余方程 $\alpha^2 + \beta^2 \equiv a \pmod q$ 的解数。证明的核心（定理 1.6）涉及分析和：
   $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a)$$
   其中 $\psi$ 是模偶数 $b \ge 4$ 的实非平凡特征。作者利用 $\psi$ 与常数函数 1 的卷积性质（记为 $F_\psi$）对求和进行了分解。

4. $\eta_a(d)$ 的行为：
   技术工作的重要组成部分（第 3.1 节）致力于分析函数 $\lambda_a(d) = \eta_a(d)/d$ 的行为。作者基于 $d$ 的素因数分解及其与 $a$ 的关系，利用关于素数 $p \equiv 1, 3 \pmod 4$ 的引理，建立了 $\lambda_a(d)$ 的界和渐近性质。这一分析对于证明主项系数 $\beta(\psi, a)$ 严格为正至关重要。

5. 通过参数族进行的间隙分析：
   对于间隙结果（定理 1.7），本文构造了方程 $c^2 + 3d^2 + a = u^2 + v^2$ 的参数化解族。通过分析由此族导出的四次多项式的值之间的间隙，作者推导出了 $S(\triangle, \mathbb{O}^2, a)$ 中元素间距的界。

主要贡献与结果

• 定理 1.6（渐近公式）： 本文证明了限制在互质条件下的表示函数乘积之和的渐近公式。它确立了对于模偶数 $b \ge 4$ 的实非平凡特征 $\psi$：
  $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a) = \beta(\psi, a) \eta^*(\psi, a) x + O(x^{5/6} \log^{19} x)$$
  至关重要的是，作者证明了前导系数 $\beta(\psi, a)$ 严格为正，从而确保了在指定范围内存在此类整数。

• 推论 1.3（短区间普查）： 应用定理 1.6 并取 $\psi = \chi_6$，本文证明了对于任意 $\epsilon > 0$，存在常数 $H_a > 0$，使得对于足够大的 $x$：
  $$\# S(\triangle, \mathbb{O}^2, a) \cap [x, x + H_a x^{5/6} \log^{19} x] \ge x^{5/6 - \epsilon}$$
  这证实了集合 $S(\triangle, \mathbb{O}^2, a)$ 足够稠密，足以保证在长度略大于 $x^{5/6}$ 的区间内存在元素。

• 定理 1.7（间隙界）： 本文给出了 $S(\triangle, \mathbb{O}^2, a)$ 中元素之间最大间隙的界。它表明对于 $x \ge 1$，在区间 $[x, x + D_a x^{\Upsilon(a)}]$ 内存在该集合的一个元素，其中指数 $\Upsilon(a)$ 为：

  • 若 $a$ 可表示为 $n^2 - 3m^2$（$n, m$ 为整数），则为 $1/2$。
  • 否则为 $5/8$。
    该结果被描述为与 $S(\mathbb{O}^2, \mathbb{O}^2, a)$ 已知的 $x^{1/2}$ 界相比的“较弱间隙结果”。

意义与主张
本文声称将 Estermann (1932) 的经典工作及 Müller (1989) 随后的改进推广到了混合二次型的背景下。通过利用 Tolev 的定理并对积性函数 $\eta_a(d)$ 进行详细分析，作者成功推导出了渐近公式，而之前的方法（依赖本原特征）在此失败了。

其意义在于确立了在短区间内满足混合二次表示条件的整数的存在性，具体证明了间隙并非任意大。作者谦逊地指出，虽然定理 1.7 的推广是可能的，但本文未对此进行探讨。此外，作者在致谢中承认，如果未来利用谱理论的工作能够更好地理解不同二次型之间的相互作用，本文的主要结果可能会变得过时，这表明当前的结果是一个垫脚石而非最终解决方案。该工作还与二次数域中理想范数的更广泛研究相关联，表明对于集合 $S(\mathfrak{a}_K, \mathbb{O}^2, a)$ 可以获得类似的结果，其中 $\mathfrak{a}_K$ 表示二次域 $K$ 中理想的范数。