Connes' embedding conjecture and sums of hermitian squares

Abstract

We show that Connes' embedding conjecture on von Neumann algebras is equivalent to the existence of certain algebraic certificates for a polynomial in noncommuting variables to satisfy the following nonnegativity condition: The trace is nonnegative whenever self-adjoint contraction matrices of the same size are substituted for the variables. These algebraic certificates involve sums of hermitian squares and commutators. We prove that they always exist for a similar nonnegativity condition where elements of separable II_1-factors are considered instead of matrices. Under the presence of Connes' conjecture, we derive degree bounds for the certificates.

References in corpus (1)

• Maximal quadratic modules on *-rings

Cited by in corpus (29)

• Tsirelson's problem and Kirchberg's conjecture
• Asymptotics of unitary and othogonal matrix integrals
• Sums of hermitian squares and the BMV conjecture
• Positive polynomials in scalar and matrix variables, the spectral theorem and optimization
• Correction of a proof in "Connes' embedding conjecture and sums of hermitian squares"
• Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
• Optimization over trace polynomials
• About the Connes Embedding Conjecture---Algebraic approaches---
• Free Convex Algebraic Geometry
• Positive maps and trace polynomials from the symmetric group
• Sum--of--squares results for polynomials related to the Bessis--Moussa--Villani conjecture
• Positive trace polynomials and the universal Procesi-Schacher conjecture
• A Note on Values of Noncommutative Polynomials
• State polynomials: positivity, optimization and nonlinear Bell inequalities
• Semidefinite programming in matrix unknowns which are dimension free
• Positive univariate trace polynomials
• A tracial Nullstellensatz
• The singular bivariate quartic tracial moment problem
• A Survey on Connes' Embedding Conjecture
• Noncommutative Nullstellensätze and Perfect Games
• Globally trace-positive noncommutative polynomials and the unbounded tracial moment problem
• Matrices of unitary moments
• Sums of Hermitian Squares as an Approach to the BMV Conjecture
• Lower bounds on matrix factorization ranks via noncommutative polynomial optimization
• On trace-convex noncommutative polynomials
• Operator NC functions
• Algebraic reformulation of Connes embedding problem and the free group algebra
• Equations solvable by radicals in a uniquely divisible group
• The Correlation Numerical Range of a Matrix and Connes' Embedding Problem