Multi-scale Vandermonde test kernels for spectral trace formulas

Stefan Horvath

arxiv: 2602.11205 · v3 · submitted 2026-02-10 · 🧮 math.NT

Multi-scale Vandermonde test kernels for spectral trace formulas

Stefan Horvath This is my paper

Pith reviewed 2026-05-16 02:28 UTC · model grok-4.3

classification 🧮 math.NT

keywords spectral trace formulastest kernelsVandermonde constructionmoment annihilationWeyl lawlocally symmetric spacespower saving bounds

0 comments

The pith

A multi-scale Vandermonde factorization of test kernels produces power-saving bounds in spectral trace formulas.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper develops a family of test kernels for spectral trace formulas on locally symmetric spaces through the factorization h_T = g_T ⋆ g̃_T. The factorization ensures the associated spectral multiplier is nonnegative as a square. A multi-scale Vandermonde construction then enforces J-fold moment annihilation, producing super-polynomial decay in off-diagonal error terms. Under the paper's analytic hypotheses, the construction delivers a uniform Master-Bound in which the total error is smaller than the main term by a positive power of T, with the saving controlled only by symmetry order and annihilation depth.

Core claim

The factorization h_T = g_T ⋆ g̃_T together with the multi-scale Vandermonde construction yields the uniform Master-Bound E_tot(T) ≪ T^{d+1-δ} with δ > 0 depending only on the symmetry order k and annihilation depth J ≍ √((log T)/k), representing a power saving over the main term ≍ T^{d+1}.

What carries the argument

The multi-scale Vandermonde construction inside the kernel factorization h_T = g_T ⋆ g̃_T, which enforces J-fold moment annihilation while keeping Vandermonde coefficient growth polynomial of exponent strictly less than 1.

Load-bearing premise

A Weyl law for the spectral counting function and uniform Bessel or Airy asymptotics for the kernel transforms both hold in the required ranges.

What would settle it

A direct computation on a known symmetric space showing that the total error exponent remains d+1 or larger when the proposed kernels are used.

read the original 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}(\pi) = |m_{g_T}(\pi)|^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-\delta}$ with $\delta > 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

A new convolution factorization paired with multi-scale Vandermonde annihilation for trace formula kernels, but the power-saving claim rests on unshown derivations.

read the letter

The paper introduces a convolution factorization of the test kernel together with a multi-scale Vandermonde construction to achieve automatic positivity and moment annihilation in spectral trace formulas. This is meant to deliver a uniform power-saving error bound across locally symmetric spaces. The new part is the specific pairing of the factorization h_T = g_T ⋆ g̃_T for positivity with the Vandermonde device for J-fold annihilation. It aims to get super-polynomial decay in off-diagonal terms while keeping the main error at T^{d+1-δ} with δ depending only on k and J. The growth in coefficients is controlled to T^{c0^2/2 + o(1)}, which they say is dominated by the decay. This approach is presented cleanly as axiomatized over the Weyl law and uniform Bessel/Airy asymptotics, which makes it potentially applicable more broadly than just classical cases. The main limitation is that the abstract states the Master-Bound without any derivations, explicit constants, or verification steps. We cannot check whether the hypotheses hold uniformly or if the claimed δ >0 actually follows. The choice of J ~ sqrt(log T /k) is explicit, but again, no details on how the constants work out. This paper is for researchers working on trace formulas in number theory and geometry who need improved error control. Someone looking for new technical tools in this area would get value from seeing how the construction is set up. It deserves peer review so the proofs can be examined, though the abstract alone leaves the central claims unverified.

Referee Report

1 major / 2 minor

Summary. The manuscript constructs a family of test kernels for spectral trace formulas on locally symmetric spaces via the factorization h_T = g_T ⋆ g̃_T combined with a multi-scale Vandermonde construction. This is claimed to simultaneously ensure automatic positive semi-definiteness of the spectral multiplier, achieve J-fold moment annihilation for super-polynomial error decay, and deliver the uniform Master-Bound E_tot(T) ≪ T^{d+1-δ} with δ > 0 depending only on the symmetry order k and annihilation depth J ≍ √((log T)/k), under the two stated analytic hypotheses of a Weyl law for the spectral counting function and uniform Bessel/Airy asymptotics. The Vandermonde coefficients are controlled to grow as T^{c_0²/2 + o(1)} with exponent strictly less than 1.

Significance. If the Master-Bound is established, the construction supplies a flexible, axiomatized framework for obtaining explicit power savings in spectral trace formulas that extends beyond the classical GL(2) setting, with the factorization guaranteeing positivity and the Vandermonde parameters providing tunable annihilation depth. The explicit dependence of δ on k and J, together with the controlled polynomial growth being dominated by super-polynomial decay, represents a potentially useful technical advance when the hypotheses hold uniformly.

major comments (1)

Abstract: the Master-Bound E_tot(T) ≪ T^{d+1-δ} with δ > 0 is asserted as a direct consequence of the h_T = g_T ⋆ g̃_T factorization and multi-scale Vandermonde construction, yet the abstract supplies neither an explicit derivation, constants, nor verification steps confirming that the power saving follows from the stated Weyl-law and Bessel/Airy hypotheses; this is load-bearing for the central claim and must be supplied in the main text.

minor comments (2)

The parameters d (dimension), k (symmetry order), and c_0 (Vandermonde growth exponent) are used without definition or reference in the abstract.
The convolution symbol ⋆ and the meaning of the tilde on g̃_T should be defined or referenced as standard notation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need to make the derivation of the Master-Bound fully explicit. We agree that the abstract is too concise on this central point and will supply the requested derivation, constants, and verification steps in the main text.

read point-by-point responses

Referee: Abstract: the Master-Bound E_tot(T) ≪ T^{d+1-δ} with δ > 0 is asserted as a direct consequence of the h_T = g_T ⋆ g̃_T factorization and multi-scale Vandermonde construction, yet the abstract supplies neither an explicit derivation, constants, nor verification steps confirming that the power saving follows from the stated Weyl-law and Bessel/Airy hypotheses; this is load-bearing for the central claim and must be supplied in the main text.

Authors: We accept the referee's observation. The abstract necessarily omits technical details, but the full manuscript will be revised to include a self-contained derivation of the Master-Bound E_tot(T) ≪ T^{d+1-δ}. This will explicitly track the dependence δ = δ(k,J) > 0 arising from the factorization h_T = g_T ⋆ g̃_T together with the J-fold Vandermonde annihilation, under the stated Weyl-law and uniform Bessel/Airy hypotheses. We will also display the controlling constants and the comparison showing that the polynomial growth T^{c_0²/2+o(1)} is absorbed by the super-polynomial decay. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation conditional on external hypotheses

full rationale

The abstract presents the factorization h_T = g_T ⋆ g̃_T and multi-scale Vandermonde construction as yielding the Master-Bound E_tot(T) ≪ T^{d+1-δ} explicitly under two stated external analytic hypotheses (Weyl law for the spectral counting function and uniform Bessel/Airy asymptotics). No step reduces by the paper's own equations to a fitted parameter, self-citation, or internal definition; the power-saving δ > 0 (depending only on k and J ≍ √((log T)/k)) and controlled T^{c_0^2/2+o(1)} growth are derived consequences once the hypotheses hold uniformly. The construction is therefore self-contained against external benchmarks rather than tautological.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 0 invented entities

The paper adds a new kernel construction but rests on two standard domain assumptions from spectral theory; no new entities are postulated and the free parameters are explicit functions of T and k.

free parameters (2)

annihilation depth J
Chosen approximately as sqrt((log T)/k) to balance Vandermonde coefficient growth against super-polynomial error decay.
Vandermonde growth exponent c0
Controls the polynomial growth T^{c0^2/2 + o(1)} of coefficients; stated to be strictly less than 1.

axioms (2)

domain assumption Weyl law for the spectral counting function
Invoked to obtain the main-term size T^{d+1} and to control the spectral sum.
domain assumption Bessel/Airy asymptotics for the kernel transforms
Used to derive the uniform spectral-parameter bounds in the Master-Bound.

pith-pipeline@v0.9.0 · 5511 in / 1622 out tokens · 114532 ms · 2026-05-16T02:28:07.700347+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

factorization h_T = g_T ⋆ g̃_T ... multi-scale Vandermonde construction ... Master-Bound E_tot(T) ≪ T^{d+1-δ}
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

axiomatized over two analytic hypotheses -- a Weyl law and Bessel/Airy asymptotics

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.