Sums of Hermitian Squares and the BMV Conjecture
Abstract
We show that all the coefficients of the polynomial {tr}((A+tB)m)in{R}[t] are nonnegative whenever m≤13 is a nonnegative integer and A and B are positive semidefinite matrices of the same size. This has previously been known only for m≤7. The validity of the statement for arbitrary m has recently been shown to be equivalent to the Bessis-Moussa-Villani conjecture from theoretical physics. In our proof, we establish a connection to sums of hermitian squares of polynomials in noncommuting variables and to semidefinite programming. As a by-product we obtain an example of a real polynomial in two noncommuting variables having nonnegative trace on all symmetric matrices of the same size, yet not being a sum of hermitian squares and commutators.
- Publication:
-
Journal of Statistical Physics
- Pub Date:
- November 2008
- DOI:
- 10.1007/s10955-008-9632-x
- arXiv:
- arXiv:0710.1074
- Bibcode:
- 2008JSP...133..739K
- Keywords:
-
- Bessis-Moussa-Villani (BMV) conjecture;
- Sum of hermitian squares;
- Trace inequality;
- Semidefinite programming;
- Mathematics - Operator Algebras;
- Mathematics - Optimization and Control;
- 11E25;
- 13J30;
- 15A90
- E-Print:
- 21 pages