Asymptotic Positivity of Hurwitz Product Traces
Christian Fleischhack

TL;DR
This paper proves that the coefficients of the polynomial trace of (A + tB)^m are asymptotically positive for large m, supporting the Bessis-Moussa-Villani conjecture in a specific case.
Contribution
It establishes asymptotic positivity of polynomial coefficients in the trace expansion for positive Hermitian matrices, advancing understanding of the Bessis-Moussa-Villani conjecture.
Findings
Coefficients become positive for all sufficiently large m
Supports the Bessis-Moussa-Villani conjecture asymptotically
Provides bounds depending on matrices A, B, and coefficient index
Abstract
Consider the polynomial in for positive hermitian matrices and with . 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 . More precisely, we show that the -th coefficient is positive for all integer , where depends on , and .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPolynomial and algebraic computation · Advanced Algebra and Logic · Formal Methods in Verification
