Positivity of a quadratic polynomial across a spectral gap
ID: positivity-of-a-quadratic-polynomial-across-a-spectral-gap
Let be a finite-dimensional Hermitian matrix and real. The spectral theorem gives in an orthonormal eigenbasis, soIf the spectrum avoids the closed interval, every factor product is positive. Consequently the quadratic form is positive for and zero for . More precisely it is bounded below by . This is a finite-dimensional instance of testing a spectral gap with a polynomial in the operator.
New to topics? Read the docs here!