1: \begin{abstract}

2: Werner states are multipartite quantum states that are 

3: invariant under the diagonal conjugate action of the unitary group.

4: This paper gives a complete characterization of their entanglement that 

5: is independent of the underlying local Hilbert space: for every entangled Werner state there exists a

6: dimension-free entanglement witness.

7: The construction of such a witness is formulated as an optimization problem.

8: To solve it, two semidefinite programming hierarchies are introduced. 

9: The first one is derived using real algebraic geometry applied to positive polynomials in the entries of a Gram matrix, and

10: is complete in the sense that for every entangled

11: Werner state it converges to a witness.

12: The second one is based on a sum-of-squares certificate for the positivity of trace polynomials in noncommuting variables, and is a relaxation

13: that involves smaller semidefinite constraints.

14: \end{abstract}