A noncommutative moment problem

We prove a noncommutative moment theorem and relate it to Connes' problem of embedding finite factor von Neumann algebras into an ultraproduct of the hyperfinite factor. We include a linear-algebraic equivalent of Connes' problem, which asks for a characterization of all noncommutative polynomials which have positive trace when the variables are replaced by contractive hermitian matrices.