number-theory / Analytic number theory; cubic Gauss sums and metaplectic forms

Patterson's conjecture on the first moment of cubic Gauss sums over primes

Theorem 1.1: unconditionally, ∑Nπ≤X, π≡1(3) primeG(π)=65c∗X5/6/log⁡X+o(X5/6/log⁡X)\sum_{N\pi\le X,\ \pi\equiv1(3)\text{ prime}}G(\pi)=\frac65c_*X^{5/6}/\log X+o(X^{5/6}/\log X), over all primary Eisenstein primes; equivalently ∑p≤XSp/(2p)∼35c∗X5/6/log⁡X\sum_{p\le X}S_p/(2\sqrt p)\sim\frac35c_*X^{5/6}/\log X, matching Wan's Conjecture 4.13. Also cancellation in every fixed nonzero angular mode and for fixed powers G(π)kG(\pi)^k with 3∤k3\nmid k, ∣k∣>1|k|>1. The error term is only little-oh, with no rate; powers kk divisible by 3 (part of Patterson's complementary conjecture) remain open. Uses the unconditional Dunn-Radziwill Voronoi formula, not their GRH estimates.

45Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theorySep 25, 2026Significance 45/100Registry: lean checked

Patterson's conjecture on the first moment of cubic Gauss sums over primes

Prior state unknown→proved

Theorem 1.1: unconditionally, ∑Nπ≤X, π≡1(3) primeG(π)=65c∗X5/6/log⁡X+o(X5/6/log⁡X)\sum_{N\pi\le X,\ \pi\equiv1(3)\text{ prime}}G(\pi)=\frac65c_*X^{5/6}/\log X+o(X^{5/6}/\log X), over all primary Eisenstein primes; equivalently ∑p≤XSp/(2p)∼35c∗X5/6/log⁡X\sum_{p\le X}S_p/(2\sqrt p)\sim\frac35c_*X^{5/6}/\log X, matching Wan's Conjecture 4.13. Also cancellation in every fixed nonzero angular mode and for fixed powers G(π)kG(\pi)^k with 3∤k3\nmid k, ∣k∣>1|k|>1. The error term is only little-oh, with…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: unconditionally, ∑Nπ≤X, π≡1(3) primeG(π)=65c∗X5/6/log⁡X+o(X5/6/log⁡X)\sum_{N\pi\le X,\ \pi\equiv1(3)\text{ prime}}G(\pi)=\frac65c_*X^{5/6}/\log X+o(X^{5/6}/\log X), over all primary Eisenstein primes; equivalently ∑p≤XSp/(2p)∼35c∗X5/6/log⁡X\sum_{p\le X}S_p/(2\sqrt p)\sim\frac35c_*X^{5/6}/\log X, matching Wan's Conjecture 4.13. Also cancellation in every fixed nonzero angular mode and for fixed powers G(π)kG(\pi)^k with 3∤k3\nmid k, ∣k∣>1|k|>1. The error term is only little-oh, with no rate; powers kk divisible by 3 (part of Patterson's complementary conjecture) remain open. Uses the unconditional Dunn-Radziwill Voronoi formula, not their GRH estimates.

Theorem 1.1: unconditionally, ∑Nπ≤X, π≡1(3) primeG(π)=65c∗X5/6/log⁡X+o(X5/6/log⁡X)\sum_{N\pi\le X,\ \pi\equiv1(3)\text{ prime}}G(\pi)=\frac65c_*X^{5/6}/\log X+o(X^{5/6}/\log X), over all primary Eisenstein primes; equivalently ∑p≤XSp/(2p)∼35c∗X5/6/log⁡X\sum_{p\le X}S_p/(2\sqrt p)\sim\frac35c_*X^{5/6}/\log X, matching Wan's Conjecture 4.13. Also cancellation in every fixed nonzero angular mode and for fixed powers G(π)kG(\pi)^k with 3∤k3\nmid k, ∣k∣>1|k|>1. The error term is only little-oh, with no rate; powers kk divisible by 3 (part of Patterson's complementary conjecture) remain open. Uses the unconditional Dunn-Radziwill Voronoi formula, not their GRH estimates.

Recorded attempts

Evidence graph

Connected research record