Proof of the BMV conjecture (Q392793)

The Bessis-Moussa-Villani (BMV) conjecture is proved [\textit{D. Bessis}, \textit{P. Moussa} and \textit{M. Villani}, J. Math. Phys. 16, 2318--2325 (1975; Zbl 0976.82501)]. This conjecture states that the function \(t \mapsto \mathrm{Tr} \exp (A - t B)\), \(t \geq 0\), is the Laplace transform of a positive measure on \([0, \infty)\) if \(A\) and \(B\) are \(n \times n\) Hermitian matrices and \(B\) is positive semidefinite. A semi-explicit representation for this measure is given. For a simplified proof see \textit{A. É. Eremenko}, Sb. Math. 206, No. 1, 87--92 (2015); translation from Mat. Sb. 206, No. 1, 97--102 (2015; Zbl 1314.30086).