1: \begin{definition}[Collatz encoding of a parity vector $p$]\label{def:encode}

2: We define $\E: \Pa \to \Bs$ the \textit{Collatz encoding function} of parity vectors to be:

3: $ \E(p) = \I^{-1}_{\norm{p}}(\alpha_{0,0}(p))$.

4: The function $\E$ is well defined since, by Theorem~\ref{th:struct_occ}, $\alpha_{0,0}(p) < 2^{\norm{p}}$ . By Lemma~\ref{lem:bij}, $\E$ is bijective hence $\E^{-1}: \Bs \to \Pa$ is naturally defined.

5: \end{definition}

6: