1: \begin{abstract}

2: A triple of spectra $(r^A, r^B, r^{AB})$ is said to be

3: \emph{admissible} if there is a density operator $\rho^{AB}$ with

4: $$ (\spec \rho^A, \spec \rho^B, \spec \rho^{AB})=(r^A, r^B,

5: r^{AB}).$$ How can we characterise such triples? It turns out that

6: the admissible spectral triples correspond to Young diagrams

7: $(\mu, \nu, \lambda)$ with nonzero Kronecker coefficient $g_{\mu

8: \nu \lambda}$~\cite{ChrMit05, Klyachko04}. This means that the

9: irreducible representation $V_\lambda$ is contained in the tensor

10: product of $V_\mu$ and $V_\nu$. Here, we show that such triples

11: form a finitely generated semigroup, thereby resolving a

12: conjecture of Klyachko~\cite{Klyachko04}. As a consequence we are

13: able to obtain stronger results than in~\cite{ChrMit05} and give a

14: complete information-theoretic proof of the correspondence between

15: triples of spectra and representations. Finally, we show that

16: spectral triples form a convex polytope.

17: \end{abstract}

18: