{"id":"arxiv/2606.16217","url":"https://arxiv.org/abs/2606.16217","tags":["cond-mat.str-el","math.NA","physics.comp-ph"],"score":0,"title":"symveig: Verified eigenvalue enclosures for symmetry-decomposed Hermitian matrices","domain":"cond-mat.str-el","source":"arxiv","authors":["Sarang Vehale","Ritu Goel"],"reviews":0,"subject":"cond-mat.str-el","summary":"Exact diagonalization of quantum lattice Hamiltonians returns floating-point eigenvalues whose accuracy is not certified: rounding error, eigensolver behaviour, and ill-conditioning can corrupt a result without warning. We present \\texttt{symveig}, a pure NumPy/SciPy package that computes rigorous, machine-checkable enclosures of all eigenvalues of a Hermitian matrix, with an optional symmetry-sector decomposition. For a matrix that commutes with an abelian conserved quantity diagonal in the working basis (for example the total magnetization of a spin model), the package verifies each…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-06-15","reactions":{}}