Thursday, December 1, 2011 - 2:00pm
1 hour (actually 50 minutes)
The term "BMV Conjecture" was introduced in 2004 by Lieb and Seiringer for a conjecture introduced in 1975 by Bessis, Moussa and Villani, and they also introduced a new form for it : all coefficients of the polynomial Tr(A+xB)^k are non negative as soon as the hermitian matrices A and B are positive definite. A recent proof of the conjecture has been given recently by Herbert Stahl. The question occurs in various domains: complex analysis, combinatorics, operator algebras and statistical mechanics.