Asymptotic positivity of Hurwitz product traces: Two proofs

Consider the polynomial tr(A+tB)m in t for positive hermitian matrices A and B with m∈N. The Bessis–Moussa–Villani conjecture (in the equivalent form of Lieb and Seiringer) states that this polynomial has nonnegative coefficients only. We prove that they are at least asymptotically positive, for the nontrivial case of AB≠0. More precisely, we show—once complex-analytically, once combinatorially—that the k-th coefficient is positive for all integer m⩾m0, where m0 depends on A, B and k.