Bias in cubic Gauss sums: Patterson's conjecture
- Creators
- Dunn, Alexander
- Radziwiłł, Maksym
Abstract
Let W be a smooth test function with compact support in (0,∞). Conditional on the Generalized Riemann Hypothesis for Hecke L-functions over ℚ(ω), we prove that _p≡1∑_((mod3)) 1/2‾√p⋅ₓ(∑_((modp)) e^((2πix³/p))W(p/X)∼(2π)^(2/3)/3Γ(2/3) ∫^∞_0 W(x)x^(−1/6) dx ⋅ X^(5/6)/logX, as X→∞ and p runs over primes. This explains a well-known numerical bias in the distribution of cubic Gauss sums first observed by Kummer in 1846 and confirms (conditionally on the Generalized Riemann Hypothesis) a conjecture of Patterson from 1978. There are two important byproducts of our proof. The first is an explicit level aspect Voronoi summation formula for cubic Gauss sums, extending computations of Patterson and Yoshimoto. Secondly, we show that Heath-Brown's cubic large sieve is sharp up to factors of X^(o(1)) under the Generalized Riemann Hypothesis. This disproves the popular belief that the cubic large sieve can be improved. An important ingredient in our proof is a dispersion estimate for cubic Gauss sums. It can be interpreted as a cubic large sieve with correction by a non-trivial asymptotic main term. This estimate relies on the Generalized Riemann Hypothesis, and is one of the fundamental reasons why our result is conditional.
Additional Information
Attribution 4.0 International (CC BY 4.0). We warmly thank Samuel Patterson for his helpful correspondence and encouragement, as well as Matthew Young and Scott Ahlgren for their helpful feedback on the manuscript. M.R. was supported on NSF grant DMS-1902063 and a Sloan Fellowship.Attached Files
Submitted - 2109.07463.pdf
Files
Name | Size | Download all |
---|---|---|
md5:d8fea052015930ce333d786e6979ce6f
|
811.6 kB | Preview Download |
Additional details
- Eprint ID
- 119524
- Resolver ID
- CaltechAUTHORS:20230227-232631259
- DMS-1902063
- NSF
- Alfred P. Sloan Foundation
- Created
-
2023-02-28Created from EPrint's datestamp field
- Updated
-
2023-06-02Created from EPrint's last_modified field