We will make a tour of related concepts whose motivation lies in

quantum information theory. We consider the detection of entanglement

in unitarily-invariant states, a class of positive (but not completely

positive) multilinear maps, and the construction of tensor polynomial

identities. The results are established through the use of commutative

and noncommutative Positivstellensätze and the representation theory of

the symmetric group.