Multi-scale Vandermonde test kernels for spectral trace formulas
Stefan Horvath
TL;DR
This work addresses the challenge of designing test kernels for spectral trace formulas that are simultaneously positive, exhibit rapid off-diagonal decay, and control the diagonal contribution. The authors construct a PSD kernel by factorizing $h_T = g_T \star \widetilde{g}_T$, where $g_T$ is built from a multi-scale Vandermonde framework to achieve $J$-fold moment annihilation, yielding super-polynomial decay of off-diagonal terms. Under Weyl-law and Bessel/Airy-type hypotheses, they prove a Master-Bound $\mathfrak{E}_{\mathrm{tot}}(T) \ll T^{d+1-\delta}$ with a positive $\delta$ depending only on the symmetry order $k$ and annihilation depth $J \asymp \sqrt{(\log T)/k}$, while the Vandermonde coefficients grow like $T^{c_0^2/2+o(1)}$ with $c_0<\sqrt{2}$. The construction yields a stable, mass-positive proxy space and is admissible for standard trace formulas (e.g., Kuznetsov/Bruggeman) due to Paley–Wiener-type properties and absolute convergence of orbital integrals. Overall, the approach delivers a rigourous method to attain stronger power savings in spectral mean-value estimates across a broad class of locally symmetric spaces.
Abstract
We construct a family of test kernels for use in spectral trace formulas on locally symmetric spaces. The key innovation is the factorization $h_T = g_T \star \widetilde{g}_T$, which simultaneously achieves: (i) automatic positive semi-definiteness of the spectral multiplier $m_{h_T}(π) = |m_{g_T}(π)|^2 \ge 0$; (ii) $J$-fold moment annihilation via a multi-scale Vandermonde construction, yielding super-polynomial decay of all error terms; (iii) uniform spectral parameter bounds (Master-Bound) $\mathfrak{E}_{\mathrm{tot}}(T) \ll T^{d+1-δ}$ with $δ> 0$ depending only on the symmetry order $k$ and the annihilation depth $J \asymp \sqrt{(\log T)/k}$, representing a power saving over the main term $\asymp T^{d+1}$. The cost is a controlled polynomial growth $T^{c_0^2/2+o(1)}$ in the Vandermonde coefficients (with exponent strictly less than 1), which is dominated by the super-polynomial decay of the off-diagonal terms. The construction is axiomatized over two analytic hypotheses -- a Weyl law and Bessel/Airy asymptotics -- making it applicable beyond the classical $\mathrm{GL}(2)$ setting.
