[论文解读] On the number of integral quadratic polynomials with bounded heights and discriminants

Friedrich Götze, Dzianis Kaliada+1 more|arXiv (Cornell University)|Aug 9, 2013

Advanced Mathematical Identities参考文献 6被引用 6

一句话总结

本文建立了高度有界的整系数二次多项式在判别式 |D(p)| ≤ D 情况下的渐近公式，证明了 N(Q,D) = κQD + O(D^{3/2}ln Q + (Q ln Q)^{3/2})，其中 κ = 4(ln 2 + 1) ≈ 6.7726。该结果在 D 位于 Q^{1/2}(ln Q)^{3/2} ≪ D ≪ (Q/ln Q)^2 范围内时，确认了该计数的预期数量级，解决了具有有界判别式和高度的二次多项式的渐近行为问题。

ABSTRACT

In the paper we obtain the asymtotic number of integral quadratic polynomials with bounded heights and discriminants as the upper bound of heights tends to infinity.

研究动机与目标

• 确定具有有界高度 Q 和判别式 |D(p)| ≤ D 的整系数二次多项式数量的渐近数量级。
• 解决一个开放问题：即对于 n=2，是否猜想的下界 Q^{n+1-2v} 也是上界。
• 为计数函数 N(Q,D) 建立精确的误差项，该函数用于计数系数在 [-Q,Q] 范围内的首一或一般二次多项式。
• 将先前关于三次多项式的结果推广至二次情形，提供包含显式主项和误差项的完整渐近公式。
• 验证当 D = 5Q^{2-2v}（0 < v < 3/4）时，渐近公式成立，确认了预期的增长速率。

提出的方法

• 作者使用指数和与三角指数和分析满足判别式条件 b² - 4ac = D 且 |a|,|b|,|c| ≤ Q 的整数解数量。
• 他们将计数函数 N(Q,D) 分解为关于首项系数 a 的 dyadic 区间的和，并应用 Poisson 求和公式与特征和估计来处理所得的指数和。
• 关键估计依赖于引理1（关于分数部分的 Weyl 型和）和引理2（二次指数和的 Gauss 和上界），用于控制渐近展开中的误差项。
• 主项来自求和中的对角贡献，而误差项则通过距离最近整数函数 ||x|| 和除数函数 τ(n) 的性质进行有界。
• 证明过程将求和分为两部分：一部分通过傅里叶分析处理判别式条件，另一部分通过格点计数估计解的数量。
• 最终通过结合多个 dyadic 区间中的估计，并应用 1/n 在区间上求和的界，导出对数因子 ln 2。

实验结果

研究问题

• RQ1 对于次数为 n 的整系数多项式，若其高度和判别式有界，猜想的下界 Q^{n+1-2v} 是否也是 n=2 情况下的上界？
• RQ2 具有高度 ≤ Q 且 |判别式| ≤ D 的整系数二次多项式数量的精确渐近公式是什么？
• RQ3 在何种 D 与 Q 的条件下，N(Q,D) 的渐近公式成立？其有效范围是什么？
• RQ4 渐近公式中的误差项能否显式有界？其阶是否与预期一致？
• RQ5 当 D = 5Q^{2-2v}（0 < v < 3/4）时，该公式是否确认了增长速率与启发式预期一致？

主要发现

• 高度 H(p) ≤ Q 且 |D(p)| ≤ D 的整系数二次多项式数量渐近为 N(Q,D) = κQD + O(D^{3/2}ln Q + (Q ln Q)^{3/2})，其中 κ = 4(ln 2 + 1) ≈ 6.7726。
• 当 D 满足 Q^{1/2}(ln Q)^{3/2} ≪ D ≪ (Q/ln Q)^2 时，渐近公式成立，该范围包含 D = 5Q^{2-2v}（0 < v < 3/4）的情形。
• 主项在 Q 和 D 上均为线性，确认了此类多项式数量与高度界和判别式界乘积成比例增长。
• 误差项被有界为 O(D^{3/2}ln Q + (Q ln Q)^{3/2})，在所述条件下小于主项。
• 该结果确认了启发式预期 N(Q,D) ≍ QD 对于二次多项式是精确的，解决了该情形下的渐近行为问题。
• 证明表明，指数和估计与格点计数产生的误差项足够小，足以使渐近公式在指定范围内成立。