[论文解读] Counting solutions of quadratic congruences in several variables revisited

László Tóth|arXiv (Cornell University)|Apr 16, 2014

Analytic Number Theory Research参考文献 21被引用 15

一句话总结

本文为模奇整数的多变量二次同余方程解数的紧凑公式提供了简明直接的证明，扩展了闵可夫斯基、巴赫曼和科恩的结果。通过拉马努金和、雅克比符号与莫比乌斯函数，推导出显式表达式，并为所有模数 r ≤ x 的解数之和建立了新的渐近公式，适用于多种 k 和 n 值，应用于表征数与特征和。

ABSTRACT

Let $N_k(n,r,\\boldsymbol{a})$ denote the number of incongruent solutions of the quadratic congruence $a_1x_1^2+\\ldots+a_kx_k^2\\equiv n$ (mod $r$), where $\\boldsymbol{a}=(a_1,\\ldots,a_k)\\in {\\Bbb Z}^k$, $n\\in {\\Bbb Z}$, $r\\in {\\Bbb N}$. We give short direct proofs for certain less known compact formulas on $N_k(n,r,\\boldsymbol{a})$, valid for $r$ odd, which go back to the work of Minkowski, Bachmann and Cohen. We also deduce some other related identities and asymptotic formulas which do not seem to appear in the literature.

研究动机与目标

• 为模奇数 r 的 k 个变量二次同余方程的解数提供简明直接的证明。
• 将科恩、闵可夫斯基和巴赫曼的已知结果推广至任意系数 a₁,…,aₖ。
• 为特定 k 和 n 值，推导出解数 Nₖ(n,r) 对所有 r ≤ x 的和的新的渐近公式。
• 将结果扩展至二次型具有非平凡系数 (a₁,…,aₖ) ≠ (1,…,1) 的情形，包括 x²−y²≡1 和 x²+y²≡z² (mod r) 等特殊同余式。
• 利用狄利克雷级数与卷积方法，建立解数和的渐近行为，给出显式误差项。

提出的方法

• 利用指数和与加法特征的正交性，将解数 Nₖ(n,r,a) 表示为三角和。
• 通过高斯二次和的求值简化三角表达式，避免使用高级代数数论。
• 应用乘法性质与狄利克雷卷积，分析解数函数的算术结构。
• 利用莫比乌斯函数与雅克比符号处理 k 为奇数且 n 与 r 互素的情形。
• 通过狄利克雷级数与欧拉乘积分解，借助已知的 zeta 函数恒等式推导渐近公式。
• 通过显式计算验证素数幂模数的情形，并利用乘法性将其推广至一般 r。

实验结果

研究问题

• RQ1 如何以最少的技术手段推导出模奇数 r 的 k 个变量二次同余方程解数的紧凑公式？
• RQ2 对于小的 k 和 n，特别是 k=1,2,3,4 且 n=0,1 时，∑_{r≤x} Nₖ(n,r) 的渐近行为如何？
• RQ3 当系数 a₁,…,aₖ 不全为 1 时，如 x²−y²≡1 (mod r)，解数 Nₖ(n,r,a) 如何变化？
• RQ4 能否推导出文献中未见的新恒等式，例如涉及乔丹函数的恒等式？
• RQ5 解数之和在所有 r ≤ x 上的渐近展开中，精确误差项是什么？

主要发现

• 当 k ≡ 0 (mod 4) 且 r 为奇数时，Nₖ(n,r) = r^{k-1} ∑_{d|r} c_d(n)/d^{k/2}，其中 c_d(n) 为拉马努金和。
• 当 k ≡ 1 (mod 4)，r 为奇数，且 gcd(n,r)=1 时，Nₖ(n,r) = r^{k-1} ∑_{d|r} μ²(d)/d^{(k-1)/2} (n/d)，其中 (n/d) 为雅克比符号。
• 当 k ≡ 2 (mod 4)，r 为奇数时，Nₖ(n,r) = r^{k-1} ∑_{d|r} (-1)^{(d-1)/2} c_d(n)/d^{k/2}。
• 当 k ≡ 3 (mod 4)，r 为奇数，且 gcd(n,r)=1 时，Nₖ(n,r) = r^{k-1} ∑_{d|r} (-1)^{(d-1)/2} μ²(d)/d^{(k-1)/2} (n/d)。
• 当 k ≡ 0 (mod 4)，r 为奇数时，Nₖ(n,r) = r^{k/2−1} ∑_{d|gcd(n,r)} d·J_{k/2}(r/d)，其中 J_m 为乔丹函数。
• 渐近公式：∑_{r≤x} N₄(1,r) = (2/(7ζ(3)))x⁴ + O(x³)，其中 ζ 为黎曼 zeta 函数。