A non-commutative, analytic version of Hilbert's 17-th problem in type II$_1$ von Neumann algebras