Certified Real Eigenvalue Location
Symbolic Computation
2026-01-22 v1 Algebraic Geometry
Abstract
The location of real eigenvalues provides critical insights into the stability and resonance properties of physical systems. This paper presents a hybrid symbolic numeric approach for certified real eigenvalue localization. Our method combines Gershgorin disk analysis with Hermite matrix certification to compute certified intervals that enclose the real eigenvalues. These intervals can be further refined through bisectionlike procedures to achieve the desired precision. The proposed approach delivers reliable interval certifications while preserving computational efficiency. The effectiveness of the framework is demonstrated through a concise, fully worked computational example.
Cite
@article{arxiv.2601.14491,
title = {Certified Real Eigenvalue Location},
author = {Baran Solmaz and Tulay Ayyildiz},
journal= {arXiv preprint arXiv:2601.14491},
year = {2026}
}