Under the displayed diagonal-sum convention, set on the unit circle. A Hermitian matrix then givesConsequently proves nonnegativity. Conversely the Fejér–Riesz theorem produces the rank-one spectral-factor Gram matrix. This gives a semidefinite programming representation of nonnegative trigonometric polynomials. The reversed convention instead uses the unconjugated monomial vector.
For coefficient column , is a Hermitian matrix and a positive semidefinite matrix because . Expanding on the unit circle gives coefficient . Thus has matrix rank one when and zero otherwise. General feasible Gram matrices need not have matrix rank one.
Articles by others on the same topic
There are currently no matching articles.