Unshared zeros of Dirichlet $L$-functions

Abstract

We prove that no Dirichlet $L$-function (and more generally, no nontrivial finite linear combination of Dirichlet $L$-functions) can vanish at every zero of a fixed $L(s,χ_0)$. At the heart of the proof is a short-window asymptotic for the twisted discrete moment $\sum_ρ x^ρ L(ρ,χ_1)$, where $χ_0\neχ_1$ are primitive Dirichlet characters, $ρ=β+iγ$ runs over zeros of $L(s,χ_0)$ with $T-Δ<γ\le T$, and $x\in\mathbb{Z}$. The asymptotic is unconditional, assuming no hypothesis of GRH type, and it holds for every window width $Δ\in[T e^{-C\sqrt{\log T}},\,T/\log T]$, thus reaching windows shorter than $T(\log T)^{-A}$ for any fixed $A$. Notably, the main term $\frac{χ_1(x)}{2π}\,Δ\log T$ depends on $x$ only through the single value $χ_1(x)$. Since distinct primitive characters are distinguished by their values, varying $x$ isolates the contribution of each $L$-function within a linear combination, and we deduce that for a positive density of $x\in\mathbb{N}$, every nontrivial combination is nonzero at some zero of $L(s,χ_0)$ in any sufficiently high short window. The proof combines contour integration of $-\frac{L'}{L}(1-s,\overlineχ_0)\,L(s,χ_1)$ with short-interval estimates for the Dirichlet convolution $(χ_0Λ)*χ_1$, which derive from the classical de la Vallée Poussin zero-free region.