Year: 2026
Type: preprint
Abstract: 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(ω;\ell)$ and its singular-completion counterpart $C_{\mathrm{sing}}(ω;\ell)$ satisfy $$C_\infty(ω;\ell)<1/2
Source: arXiv (Cornell University)
Author: Nguyen, Binh T.
Institution: Vietnam National University Ho Chi Minh City
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7213500836