1: \begin{abstract}

2:   We show that the problem of deciding membership in the moment polytope associated with a finite-dimensional unitary representation of a compact, connected Lie group is in $\NP\cap\coNP$.

3:   This is the first non-trivial result on the computational complexity of this problem, which naively amounts to a quadratically-constrained program.

4:   Our result applies in particular to the Kronecker polytopes, and therefore to the problem of deciding positivity of the stretched Kronecker coefficients.

5:   In contrast, it has recently been shown that deciding positivity of a single Kronecker coefficient is $\NP$-hard in general~\cite{ikenmeyer2015vanishing}.

6:   We discuss the consequences of our work in the context of complexity theory and the quantum marginal problem.

7: \end{abstract}

8: