One-parameter counterexamples to the refined Bessis-Moussa-Villani conjecture

Positivity of matrix trace exponentials is a basic structural principle behind finite-temperature quantum statistical mechanics. The Bessis-Moussa-Villani conjecture, a central manifestation of this principle, was proved by Stahl after an influential reformulation by Lieb and Seiringer. A later refinement asks whether the normalized average over all words with $n$ letters $A$ and $m$ letters $B$ is always bounded above by $\mathrm{tr}(A^nB^m)$ and below by $\mathrm{tr}\exp(n\log A+m\log B)$. In this work, we study a specific one-parameter family $(A_x, B_x)$ and show that the correct small-$x$ invariant of a word is not its degree of fragmentation, but a weighted shortest-bridge cost on its cyclic run decomposition. Our results yield a class of counterexamples to the suggested refinement. Remarkably, the ratio of the normalized word average to the trace $\mathrm{tr}(A^nB^m)$ can become arbitrarily large.