Uniform High-Frequency Localization on Quantum Graphs

RESUMO

We study uniform high-frequency localization for the Laplacian on compact metric graphs through the least $L^2$-mass that eigenfunctions must place in a prescribed measurable observation set. We first identify this asymptotic localization constant with the minimum of a linear functional over the attainable edge-intensity set; in the generic standard-Kirchhoff setting, this set is governed by the regular Gauss image of the secular manifold. Primitive cycles and exterior-to-exterior paths consequently determine the positivity threshold, but not, in general, the positive numerical value. We introduce a boundary-aware singular-completion cone and prove that it contains all regular secular edge-energy vectors for trees, unicyclic graphs, and closed graphs of cycle rank two. We then construct a cycle-rank-two graph with two Dirichlet leaves for which this completion principle fails. An exact rational separator, combined with a validated Krawczyk enclosure, yields a nonsingular scalar secular state lying outside every boundary-compatible singular sector. A positive radial derivative identity and recurrence in the compact orbit closure convert this local separation into an exact high-frequency eigensequence for a single fixed metric. For a suitable measurable observation set, the true high-frequency localization constant $C_\infty(\omega;\ell)$ and its singular-completion counterpart $C_{\mathrm{sing}}(\omega;\ell)$ satisfy $$C_\infty(\omega;\ell)<1/2<C_{\mathrm{sing}}(\omega;\ell)$$. Thus, singular completion captures the quantitative localization geometry in several low-complexity classes but does not, in general, determine the high-frequency variational problem on a fixed quantum graph.