1: \begin{abstract}

2:   When $n-k$ systems of an $n$-partite permutation-invariant state

3:   are traced out, the resulting state can be approximated by a convex

4:   combination of tensor product states. This is the quantum de

5:   Finetti theorem. In this paper, we show that an upper bound on the

6:   trace distance of this approximation is given by $2\frac{kd^2}{n}$,

7:   where $d$ is the dimension of the individual system, thereby improving

8:   previously known bounds. Our result follows from a more general

9:   approximation theorem for representations of the unitary

10:   group. Consider a pure state that lies in the irreducible

11:   representation $U_{\mu +\nu} \subset U_\mu \otimes U_\nu$ of the

12:   unitary group $\U(d)$, for highest weights $\mu$, $\nu$ and

13:   $\mu+\nu$. Let $\xi_\mu$ be the state obtained by tracing out

14:   $U_\nu$. Then $\xi_\mu$ is close to a convex combination of the

15:   coherent states $U_\mu(g)\ket{v_\mu}$, where $g\in\U(d)$ and

16:   $\ket{v_\mu}$ is the highest weight vector in $U_\mu$.

17: 

18:   For the class of symmetric Werner states, which are invariant under

19:   both the permutation and unitary groups, we give a second de

20:   Finetti-style theorem (our ``half'' theorem). It arises from a

21:   combinatorial formula for the distance of certain special symmetric

22:   Werner states to states of fixed spectrum, making a connection to

23:   the recently defined shifted Schur functions~\cite{OkoOls96}. This

24:   formula also provides us with useful examples that allow us to

25:   conclude that finite quantum de Finetti theorems (unlike their

26:   classical counterparts) must depend on the dimension $d$. The last

27:   part of this paper analyses the structure of the set of symmetric

28:   Werner states and shows that the product states in this set do not

29:   form a polytope in general.

30: \end{abstract}

31: