Proof of the BMV conjecture
Herbert R. Stahl · Acta Mathematica · 2013
We prove the BMV (Bessis, Moussa, Villani, [1]) conjecture, which states that the function t↦Trexp(A-tB) , t⩾0 , is the Laplace transform of a positive measure on [0,∞) if A and B are n×n Hermitian matrices and B is positive semidefinite. A semi-explicit representation for this measure is given.