The most appealing statement of the Bessis-Moussa-Villani conjecture is as follows:

> <b>Conjecture:</b> For all Hermitian positive semidefinite $n\times n$ matrices $A$ and $B$,
and all positive integer $m$, the polynomial function
> $$t \in \mathbb{R}\mapsto g(t) \equiv tr[(A + t B)^m] =
\sum\limits_{
k=0}^m
a_kt^k$$
> has only nonnegative coefficients $a_k, k=1,\cdots,m$.


Most recent and past research concerns on the quantities $m$ and $n$. What about trying to prove the conjecture in the following way: first show that $a_m\ge0$, $a_0\ge0$, $a_{m-1}\ge0$, $a_1\ge0$, $a_{m-2}\ge0$, $a_2\ge0$. And then go on to show $a_3\ge 0$ (and so is $a_{m-3}\ge 0$)...

But it seems difficult to show $a_3\ge 0$. Can anyone share some idea on this particular coefficient?