Unconditional Density Bounds for Quadratic Norm-Form Energies via Lorentzian Spectral Weights
Abstract
For a real quadratic field Q(d), we study the norm-form energy N = Sζ2 - d · SL2, where Sζ and SL are Lorentzian-weighted zero sums with w() = 2/(14 + γ2). We prove three main results. (1) Spacelike spectral data: N < 0 unconditionally for all squarefree d > 1, as a consequence of a low-lying zero dominance theorem proved via explicit zero-counting. (2) Effective density bound: at each verified truncation level M, dens\N > 0\ ≤ 2\|fSL(M)\|∞ · (W1(ζ)/d + εM), established unconditionally via Jacobi--Anger resonance analysis. At fixed M the bound is nontrivial only for sufficiently large d; the O(1/d) rate requires M to grow with d, which in turn requires a uniform density bound that we establish under a computationally verified finite-rank condition on the resonance lattice. (3) Exact asymptotic: under the computationally verified hypothesis that the infinite resonance lattice ∞ has finite rank (verified to have rank 0 for M ≤ 20), the sharp asymptotic dens\N > 0\ = C(d)/d + o(1/d) holds. For d = 5, C(5) = 2\,fSL(0)·E[|Sζ|] = 0.1193; the constant depends on d through the zeros of L(s,d), and C(d) = O(1/ d) as d ∞. Appendix F tabulates between 1004 and 1044 zeros at 70 decimal places for L(s,2), L(s,3), L(s,5), L(s,6), L(s,7), L(s,10), L(s,11), and L(s,13), all rigorously certified by ARB interval arithmetic.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.