1: \begin{definition}

2: The phases $\phi^{\pi}_{s_1 ... s_N}$ appearing in thm.\@ \ref{thm:THETheorem} are given by the conditions:

3: \begin{enumerate}

4:  \item $\phi^{\rm id}_{s_1 ... s_N} = 0$,

5:  \item Let $\tau_k$ be the transposition of $k$ and $k+1$. If $\pi$ can be decomposed as $\pi = \tau_k \circ \sigma$ where $\sigma$ is a permutation with fewer collisions than $\pi$, then

6: \begin{equation}

7: \label{eq:PhaseCondition}

8: \phi^{\pi}_{s_1 ... s_N} ~=~ \phi^{\sigma}_{s_1 ... s_{k+1} s_k ... s_N} + s_k  \varphi^{(k)}.

9: \end{equation}

10: \end{enumerate}

11: \end{definition}

12: