Related papers: Equivalent forms of the Bessis-Moussa-Villani conj…

We prove the BMV (Bessis, Moussa, Villani, 1975) conjecture, which states that the function t -> Tr exp(A-tB), t \geq 0, is the Laplace transform of a positive measure on [0,\infty) if A and B are n x n Hermitian matrices and B is positive…

We find further implications of the BMV conjecture, which states that for hermitian matrices A and B, the function Tr exp(A - t B) is the Laplace transform of a positive measure.

The Bessis-Moussa-Villani conjecture states that the trace of $\exp(A-tB)$ is, as a function of the real variable $t$, the Laplace transform of a positive measure, where $A$ and $B$ are respectively a hermitian and positive semi-definite…

We study trace functions on the form $ t\to\tr f(A+tB) $ where $ f $ is a real function defined on the positive half-line, and $ A $ and $ B $ are matrices such that $ A $ is positive definite and $ B $ is positive semi-definite. If $ f $…

A long-standing conjecture asserts that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has nonnegative coefficients whenever $m$ is a positive integer and $A$ and $B$ are any two $n \times n$ positive semidefinite Hermitian matrices. The…

Consider the polynomial $tr (A + tB)^m$ in $t$ for positive hermitian matrices $A$ and $B$ with $m \in \N$. The Bessis-Moussa-Villani conjecture (in the equivalent form of Lieb and Seiringer) states that this polynomial has nonnegative…

It is shown that the polynomial $\lambda(t) = {\rm Tr}[(A + tB)^p]$ has nonnegative coefficients when $p \leq 7$ and A and B are any two complex positive semidefinite $n \times n$ matrices with arbitrary $n$. This proofs a general…

Consider the polynomial $tr (A + tB)^m$ in $t$ for positive hermitian matrices $A$ and $B$ with $m \in \N$. The Bessis-Moussa-Villani conjecture (in the equivalent form of Lieb and Seiringer) states that this polynomial has nonnegative…

The reformulation of the Bessis-Moussa-Villani conjecture given by Lieb and Seiringer asserts that the coefficient of t^r in the polynomial Trace[(A+tB)^p], with A and B positive semidefinite matrices, is nonnegative for all p and r. We…

Lieb and Seiringer stated in their reformulation of the Bessis-Moussa-Villani (BMV) conjecture that all coefficients of the polynomial p(t)=Tr[(A+tB)^m], where A and B are positive semidefinite matrices of the same size and m an arbitrary…

We show that for fixed $A,B$, hermitian nonnegative definite matrices, and fixed $k$ the coefficients of the $t^k$ in the polynomial $\tr (A+tB)^m$ is positive if $\tr AB >0$ and $m>N(A,B,k)$.

It is shown that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has positive coefficients when $m = 6$ and $A$ and $B$ are any two 3-by-3 complex Hermitian positive definite matrices. This case is the first that is not covered by prior,…

We obtain a solution to the Bessis-Moussa-Villani conjecture for a trace-class perturbation of a semi-bounded operator and answer affirmatively the question on positivity of higher order spectral shift functions in the setting of…

The Bessis-Moussa-Villani (BMV) conjecture, originating in quantum statistical mechanics, was proved by Stahl after an influential reformulation by Lieb and Seiringer. A later refinement asks whether the normalized average over all words…

The BMV conjecture states that for $n\times n$ Hermitian matrices $A$ and $B$ the function $f_{A,B}(t)=trace{\, } e^{tA+B}$ is exponentially convex. Recently the BMV conjecture was proved by Herbert Stahl. The proof of Herbert Stahl is…

Recently Lieb and Seiringer showed that the Bessis-Moussa-Villani conjecture from quantum physics can be restated in the following purely algebraic way: The sum of all words in two positive semidefinite matrices where the number of each of…

The BMV conjecture states that for \(n\times n\) Hermitian matrices \(A\) and \(B\) the function \(f_{A,B}(t)=\tr e^{tA+B}\) is exponentially convex. Recently the BMV conjecture was proved by Herbert Stahl. The proof of Herbert Stahl is…

For an upper bidiagonal matrix $B$ where all the diagonal and the upper subdiagonal entries are positive, two subtraction-free formulae for computation of the traces $J_{M} ( B ) = \textrm{Tr} ( ( B^{\top} B )^{- M} ) = \textrm{Tr} ( ( B…

Given a pair $A,B$ of matrices of size $n\times n$, we consider the matrix function $e^{At+B}$ of the variable $t\in\mathbb{C}$. If the matrix $A$ is Hermitian, the matrix function $e^{At+B}$ is representable as the bilateral Laplace…

We show an invariance result for the L2-torsion of groups under uniform measure equivalence provided a measure-theoretic version of the determinant conjecture holds. The measure-theoretic determinant conjecture is discussed and, for…