Sums of Hermitian squares as an approach to the BMV conjecture

DOI10.1080/03081080903119137zbMath1229.13020arXiv0802.1153WikidataQ122902174 ScholiaQ122902174MaRDI QIDQ3082847

Sabine Burgdorf

Publication date: 17 March 2011

Published in: Linear and Multilinear Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0802.1153

zbMATH Keywords

positive definite matrix; trace inequality; Bessis-Moussa-Villani (BMV) conjecture; words in matrices

Mathematics Subject Classification ID

11E25: Sums of squares and representations by other particular quadratic forms

15A45: Miscellaneous inequalities involving matrices

82B10: Quantum equilibrium statistical mechanics (general)

13J30: Real algebra

Related Items

A note on the nonexistence of sum of squares certificates for the Bessis–Moussa–Villani conjecture, Proof of the BMV conjecture, Asymptotic positivity of Hurwitz product traces: two proofs, Sum-of-squares results for polynomials related to the Bessis-Moussa-Villani conjecture, Sums of Hermitian squares and the BMV conjecture, The singular bivariate quartic tracial moment problem, The tracial moment problem on quadratic varieties, The BMV-conjecture over quaternions and octonions, A tracial Nullstellensatz, Conic Approach to Quantum Graph Parameters Using Linear Optimization Over the Completely Positive Semidefinite Cone, Sums of squares over totally real fields are rational sums of squares

Uses Software

• SeDuMi
• YALMIP
• NCAlgebra

Cites Work

• Advances on the Bessis-Moussa-Villani trace conjecture
• Equivalent forms of the Bessis-Moussa-Villani conjecture
• Sums of Hermitian squares and the BMV conjecture
• On the positivity of the coefficients of a certain polynomial defined by two positive definite matrices
• Connes' embedding conjecture and sums of Hermitian squares
• Proof of the cases \(p \leq 7\) of the Lieb-Seiringer formulation of the Bessis-Moussa-Villani conjecture
• Monotonic converging variational approximations to the functional integrals in quantum statistical mechanics
• Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones