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.