[论文解读] On Some Variants of the Gauss Circle Problem

David Lowry-Duda|arXiv (Cornell University)|Apr 7, 2017

Analytic Number Theory Research参考文献 17被引用 7

一句话总结

本文研究了高斯圆问题的两个变体：GL(2)尖形式的傅里叶系数之和，以及单叶双曲面上的格点计数。通过新颖的狄利克雷级数与谱方法，本文建立了亚纯延拓、改进的二阶矩估计，并揭示了与移位卷积和的联系，推进了对类似于经典高斯圆问题中误差项的理解。

ABSTRACT

The Gauss Circle Problem concerns finding asymptotics for the number of lattice point lying inside a circle in terms of the radius of the circle. The heuristic that the number of points is very nearly the area of the circle is surprisingly accurate. In this work, we describe two variants of the Gauss Circle problem that exhibit similar characteristics. The first variant concerns sums of Fourier coefficients of $ ext{GL}(2)$ cusp forms. These sums behave very similarly to the error term in the Gauss Circle problem. We introduce new Dirichlet series with coefficients that are squares of partial sums of Fourier coefficients of cusp forms. We study the meromorphic properties of these Dirichlet series and use these series to give new perspectives on the mean square of the size of sums of these Fourier coefficients. The second variant concerns the number of lattice points of bounded size on one-sheeted hyperboloids. This problem is very similar to counting the number of lattice points within a spheres of various dimensions, except with the additional constraint of lying on a hyperboloid. It turns out that this problem is equivalent to estimating sums of the shape $\sum r_d(n^2 + h)$, where $r_d(m)$ is the number of representations of $m$ as a sum of $d$ squares. We prove improved smoothed and sharp estimates of the second moment of these sums, yielding improved estimates of the number of lattice points.

研究动机与目标

• 建立高斯圆问题中误差项与GL(2)尖形式傅里叶系数之和之间的联系。
• 构建新的狄利克雷级数，其系数为尖形式傅里叶系数部分和的平方。
• 分析这些级数的亚纯性质及其对尖形式系数和的二阶矩的影响。
• 研究有界大小的单叶双曲面上格点数量，将其与∑ r_d(n² + h)的和联系起来。
• 证明这些格点计数函数的二阶矩的改进平滑与精确估计。

提出的方法

• 引入狄利克雷级数 D(s, S_f) 与 D(s, S_f × S_g̅)，其系数源自尖形式傅里叶系数的部分和。
• 利用朗克-塞尔伯格 L-函数与谱展开，应用亚纯延拓技术。
• 使用解耦积分变换与梅林-巴恩斯变换，分析狄利克雷级数的解析性质。
• 通过皮卡雷级数与艾森斯坦级数的谱分解，分析连续谱、离散谱与余值谱。
• 应用积分变换如瑞兹平均与指数平滑，处理二阶矩分析。
• 依赖塞尔伯格谱展开与昌德拉塞卡尔-纳拉西曼理论，推导渐近行为。

实验结果

研究问题

• RQ1 GL(2)尖形式的傅里叶系数之和是否表现出类似于高斯圆问题中误差项的渐近行为？
• RQ2 由尖形式傅里叶系数部分和的平方构成的狄利克雷级数具有何种亚纯性质？
• RQ3 如何利用谱方法与狄利克雷级数方法估计尖形式傅里叶系数和的二阶矩？
• RQ4 有界大小的单叶双曲面上格点数量的渐近行为如何？
• RQ5 能否为∑ r_d(n² + h)的二阶矩导出改进的平滑与精确估计？

主要发现

• 狄利克雷级数 D(s, S_f × S_g̅) 具有完整的亚纯延拓，其极点与尖形式的谱数据相关。
• 证明了尖形式傅里叶系数部分和的二阶矩满足与当前猜想一致的渐近行为。
• 为∑ r_d(n² + h)的二阶矩证明了改进的平滑估计，从而在双曲面上格点计数中获得了更优的误差项。
• 建立了双曲面上格点计数的精确主定理，通过谱分析实现了改进的误差界。
• 分析证实，双曲面上的格点问题等价于估计形如∑ r_d(n² + h)的移位卷积和。
• 该方法提供了一个通用框架，适用于涉及移位卷积和与模形式的其他问题。