Positivity is undecidable in tensor products of free algebras

Arthur Mehta, William Slofstra, Yuming Zhao

It is well known that an element of the algebra of noncommutative *-polynomials is positive in all *-representations if and only if it is a sum of squares. This provides an effecti…