Trace-positive polynomials and the quartic tracial moment problem

The tracial analog of Hilbert's classical result on positive binary quartics is presented: a trace-positive bivariate noncommutative polynomial of degree at most four is a sum of hermitian squares and commutators. This is applied via duality to investigate the truncated tracial moment problem: a sequence of real numbers indexed by words of degree four in two noncommuting variables with values invariant under cyclic permutations of the indexes, can be represented with tracial moments of matrices if the corresponding moment matrix is positive definite. Understanding trace-positive polynomials and the tracial moment problem is one of the approaches to Connes' embedding conjecture.

RésuméNous présentons l'analogue tracial du résultat classique de Hilbert sur les quartiques positives : un polynôme de degré quatre en deux variables non commutatives ayant une trace positive est une somme de carrés hermitiens et de commutateurs. Ceci est appliqué par dualité à l'étude du problème tronqué des moments traciaux : une suite de nombres réels indexée par des mots de degré quatre en deux variables non commutatives, ayant des valeurs invariantes par permutations circulaires des indices, peut être représentée par des moments traciaux, si la matrice des moments est définie positive.