Sums of Hermitian squares and the BMV conjecture

DOI10.1007/s10955-008-9632-xzbMath1158.15018arXiv0710.1074OpenAlexW2170693128WikidataQ123309989 ScholiaQ123309989MaRDI QIDQ1012666

Igor Klep, Markus Schweighofer

Publication date: 22 April 2009

Published in: Journal of Statistical Physics (Search for Journal in Brave)

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

zbMATH Keywords

semidefinite programmingtrace inequalityBessis-Moussa-Villani (BMV) conjecturesum of hermitian squares

Mathematics Subject Classification ID

Semidefinite programming (90C22) Ordinary and skew polynomial rings and semigroup rings (16S36) Positive matrices and their generalizations; cones of matrices (15B48) Miscellaneous inequalities involving matrices (15A45) Classical equilibrium statistical mechanics (general) (82B05) Classifications of (C^*)-algebras (46L35)

Related Items

On D. Hägele's approach to the Bessis-Moussa-Villani conjecture, Computing sum of squares decompositions with rational coefficients, Asymptotic positivity of Hurwitz product traces: two proofs, Sparse noncommutative polynomial optimization, Semidefinite programming and sums of Hermitian squares of noncommutative polynomials, The BMV-conjecture over quaternions and octonions, Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets, Quasi-convex free polynomials, Algorithmic aspects of sums of Hermitian squares of noncommutative polynomials, Proof of the BMV conjecture, Sums of Hermitian squares decomposition of non-commutative polynomials in non-symmetric variables using NCSOStools, Tight bounds for rational sums of squares over totally real fields, The tracial moment problem and trace-optimization of polynomials, The singular bivariate quartic tracial moment problem, The tracial moment problem on quadratic varieties, Sum-of-squares results for polynomials related to the Bessis-Moussa-Villani conjecture, Convexity and Semidefinite Programming in Dimension-Free Matrix Unknowns, Sums of squares over totally real fields are rational sums of squares, Sums of Hermitian squares as an approach to the BMV conjecture, NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials, A note on the nonexistence of sum of squares certificates for the Bessis–Moussa–Villani conjecture, On matrix algebras associated to sum-of-squares semidefinite programs

Uses Software

• Macaulay2
• SeDuMi
• YALMIP
• NCAlgebra
• SOS.m2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On D. Hägele's approach to the Bessis-Moussa-Villani conjecture
• Asymptotic positivity of Hurwitz product traces: two proofs
• Advances on the Bessis-Moussa-Villani trace conjecture
• Equivalent forms of the Bessis-Moussa-Villani conjecture
• On the positivity of the coefficients of a certain polynomial defined by two positive definite matrices
• ``Positive noncommutative polynomials are sums of squares.
• Connes' embedding conjecture and sums of Hermitian squares
• A nichtnegativstellensatz for polynomials in noncommuting variables
• 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
• Sums of Hermitian squares as an approach to the BMV conjecture
• Semidefinite optimization
• Sums of squares over totally real fields are rational sums of squares
• Representation of the function Tr(exp(A - λB)) as a Laplace transform with positive weight and some matrix inequalities
• Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
• ON THE REPRESENTATION OF Tr(e^(A-λB)) AS A LAPLACE TRANSFORM