Noncommutative polynomials nonnegative on a variety intersect a convex set

This paper gives a precise algebraic certificate for a noncommutative polynomial to be nonnegative on a free convex semialgebraic set intersect the variety of a free left ideal.