1: \begin{abstract}

2: % For $\lambda,\mu,\nu$ three partitions on a codimension $1$ face of the Horn cone defined by three subsets $I,J,K$

3: % such that the corresponding \lr coefficient $c_{I,J}^K$ equals $1$,

4: % a multiplicativity formula for the coefficient $c_{\lambda,\mu}^\nu$

5: % is known by \cite{kt,dw}: $c_{\lambda,\mu}^\nu=c_{\lambda_I,\mu_J}^{\nu_K} \cdot 

6: % c_{\lambda_{\overline I},\mu_{\overline J}}^{\nu_{\overline K}}$.

7: % A similar reduction formula is proved in the case $c_{I,J}^K=2$, and for all semisimple algebraic groups.

8: A reduction formula for the branching coefficients of tensor products of representations and more generally restrictions

9: of representations of a semisimple group to a semisimple subgroup is proved in \cite{kt,dw}.

10: This formula holds when the highest weights of the representations belong to a codimension $1$ face of the Horn cone, which by

11: \cite{ressayre-birational} corresponds to a \lr coefficient equal to $1$. We prove a similar reduction formula when this

12: coefficient is equal to $2$, and show some properties of the class of the branch divisor corresponding to a generically finite

13: morphism of degree $2$ naturally defined in this context.

14: \end{abstract}