A note on the nonexistence of sum of squares certificates for the Bessis–Moussa–Villani conjecture

DOI10.1063/1.3462915zbMath1312.81139WikidataQ123232424 ScholiaQ123232424MaRDI QIDQ5253730

Janez Povh, Igor Klep, Kristijan Cafuta

Publication date: 27 May 2015

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

Full work available at URL: https://doi.org/10.1063/1.3462915

zbMATH Keywords

density operators

Mathematics Subject Classification ID

15B48: Positive matrices and their generalizations; cones of matrices

15A45: Miscellaneous inequalities involving matrices

44A10: Laplace transform

81V70: Many-body theory; quantum Hall effect

82B10: Quantum equilibrium statistical mechanics (general)

Related Items

Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets, Sums of Hermitian squares decomposition of non-commutative polynomials in non-symmetric variables using NCSOStools

Cites Work

• On D. Hägele's approach to the Bessis-Moussa-Villani conjecture
• Semidefinite programming and sums of Hermitian squares of noncommutative polynomials
• The algebraic degree of semidefinite programming
• Sum-of-squares results for polynomials related to the Bessis-Moussa-Villani conjecture
• Advances on the Bessis-Moussa-Villani trace conjecture
• Equivalent forms of the Bessis-Moussa-Villani conjecture
• Sums of Hermitian squares and the BMV conjecture
• ``Positive noncommutative polynomials are sums of squares.
• Computing sum of squares decompositions with rational coefficients
• 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
• The truncated tracial moment problem
• Sums of Hermitian squares as an approach to the BMV conjecture
• NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
• Sums of squares over totally real fields are rational sums of squares
• Interior Point Trajectories in Semidefinite Programming
• ON THE REPRESENTATION OF Tr(e^(A-λB)) AS A LAPLACE TRANSFORM
• On the Convergence of the Central Path in Semidefinite Optimization
• Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
• Handbook of semidefinite programming. Theory, algorithms, and applications