\section{Proof of Lemma}

Here we prove the following lemma, which was presented in the main text:

\noindent{{\bf Lemma}: For each Lagrangian subgroup $M$ of the topological state described
by $K$, there exists a $K'$  which is topologically equivalent to $K$ and has
${\rm rank}(K')=2N'$, such that the same Lagrangian subgroup $M$ of $K'$ can be generated by $N'$ null vectors $m_i',~i=1,2,...,N'$.}

To prove this, we will focus on two cases independently. In the first case, $K$ has only even entries along the diagonals,
which describes topological phases where the microscopic degrees of freedom only consist of bosons. In the second case,
$K$ can have odd entries along the diagonals, which is appropriate when the microscopic degrees of freedom have at least
one species of fermions.

We note that our Lemma and proof builds on results presented in an early version of Ref. \cite{levin2013}.
As our paper was about to appear, we learned that the Lemma and proof presented here was independently 
also found by M. Levin and included in an updated version of Ref. \cite{levin2013}.


\subsection{Proof for $K$ even}

Let us first consider the case where $K$ is an even matrix, meaning that its diagonal entries are all even. Note that
$K$ is also an integer symmetric non-singular matrix with vanishing signature. Consider the lattice
\begin{align}
\Gamma = \{m + K\Lambda: m \in M, \Lambda \in \mathbb{Z}^{2N}\}.
\end{align}
$\Gamma$ is a $2N$-dimensional integer lattice, and can be written as $\Gamma = U \mathbb{Z}^{2N}$, where
$U$ is a $2N$-dimensional integer matrix. Define:
\begin{align}
P = U^T K^{-1} U.
\end{align}
$P$ is an even integer symmetric matrix with unit determinant and non-vanishing signature\cite{levin2013}. The fact that it is
an even integer matrix follows because the columns of $U$ generate the Lagrangian subgroup $M$, and these
all have bosonic mutual and self-statistics by definition. The fact that it is symmetric and has vanishing signature follows
from the fact that $K$ is symmetric and has vanishing signature. Finally, $P$ has unit determinant for the following
reason. Consider any integer vector $\Lambda \in \mathbb{Z}^{2N}$, and any non-integer $2N$-component vector, $x$.
By definition of the Lagrangian subgroup, $\Lambda^T P x$ must be non-integer, which implies that $P x$ must be non-integer.
This then implies that if $P x$ is integer for any $2N$-component vector $x$, then $x$ must be integer, which in turn implies that
$P^{-1}$ is integer. $P$ and $P^{-1}$ can both be integer if and only if $P$ has unit determinant.

Since $P$ is an even symmetric integer matrix with vanishing signature and unit determinant,
it follows from a mathematical theorem \cite{milnor1973}
that it is always possible to find a $SL(2N;\mathbb{Z})$ transformation $W$ such that
\begin{align}
W^T P W = \left(\begin{matrix} 0 & \mathbb{I} \\ \mathbb{I} & 0 \end{matrix} \right),
\end{align}
where $I$ is an $N \times N$ identity matrix.
Thus, we consider a transformed theory:
\begin{align}
\tilde{U} &= W^T U W,
\nonumber \\
\tilde{K} &= W^T K W,
\nonumber \\
\tilde{P} &= W^T P W =  \left(\begin{matrix} 0 & \mathbb{I} \\ \mathbb{I} & 0 \end{matrix} \right)
\end{align}
Since $W \in SL(2N;\mathbb{Z})$, $\tilde{K}$ and $K$ describe topologically equivalent theories.
Clearly, the columns of $\tilde{U}$ generate the Lagrangian subgroup $M$.
Let $\tilde{u}_{i}$ denote the $i$th column of $\tilde{U}$. Let us extend $\tilde{K}$
to a $4N \times 4N$ matrix $K'$, which is composed of $\tilde{K}$ and $N$ copies of
$\tau_x = \left(\begin{matrix} 0 & 1 \\ 1 & 0 \end{matrix} \right)$
along the block diagonal entries:
\begin{align}
K' = \left(\begin{matrix} \tilde{K} &  & & \\
 & \tau_x &  & \\
 &  & \tau_x & \\
&  & & \ddots\end{matrix} \right),
\end{align}
where the rest of the entries are zero. Again, $K'$ describes the same
topological order as $K$. Now we define
\begin{align}
\vec{m}_1'^T &= (\tilde{u}_1^T, 0, 1, 0, 0, \cdots,0,0)
\nonumber \\
\vec{m}_2'^T &= (\tilde{u}_{N+1}^T, -1, 0, 0,0, \cdots,0,0)
\nonumber \\
\vec{m}_3'^T &= (\tilde{u}_2^T,0,0,0,1,\cdots,0,0)
\nonumber \\
\vec{m}_4'^T &= (\tilde{u}_{N+2}^T,0,0,-1,0,\cdots,0,0)
\nonumber \\
\vdots
\nonumber \\
\vec{m}_{2N-1}'^T &= (\tilde{u}_{N}^T,0,0,\cdots,0,1)
\nonumber \\
\vec{m}_{2N}'^T &= (\tilde{u}_{2N}^T,0,0,\cdots,-1,0)
\end{align}
Since the additional components added in $K'$ are all trivial degrees of freedom, the $2N$ vectors
$\{\vec{m}_i'\}$ still generate the same Lagrangian subgroup $M$. It is easy to see that
\begin{align}
m_i'^T K'^{-1} m'_j = 0.
\end{align}
This proves the lemma for $K$ even. In practice, in most cases of interest it is easy to find $N$ columns
of $\tilde{U}$ that generate $M$ and that satisfy $\tilde{u}^T_i K^{-1} \tilde{u}_j = 0$, so the
above extension to a $4N$ dimensional $K$-matrix will not be necessary.

\subsection{Proof for $K$ odd}

Let us now consider the case where $K$ is odd (\it ie \rm it has at least one odd element along
the diagonal). As before, we define the matrix $U$, and $P = U^T K^{-1} U$. Now, $P$ is an
integer symmetric, non-singular matrix with unit determinant, non-vanishing signature, and at
least one odd element along the diagonal. Under these conditions, it is always possible to find
$W \in SL(2N;\mathbb{Z})$ such that \cite{milnor1973}
\begin{align}
W^T P W = \left(\begin{matrix} \mathbb{I} & 0 \\ 0 & -\mathbb{I} \end{matrix} \right),
\end{align}
where $I$ is an $N \times N$ identity matrix.
Thus, we consider a transformed theory:
\begin{align}
\tilde{U} &= W^T U W,
\nonumber \\
\tilde{K} &= W^T K W,
\nonumber \\
\tilde{P} &= W^T P W =  \left(\begin{matrix} \mathbb{I} & 0 \\ 0 & -\mathbb{I} \end{matrix} \right).
\end{align}
Again, the original Lagrangian subgroup is generated by the columns of $\tilde{U}$.

Let $\tilde{u}_{i}$ denote the $i$th column of $\tilde{U}$, and
$\tilde{u}_{i\pm} = \tilde{u}_i \pm \tilde{u}_{N+i}$, for $i = 1, \cdots, N$.

Now, as in the case where $K$ is even, let us extend the $K$-matrix to a
$4N \times 4N$ matrix $K'$, which is composed of $K$ and now with $N$ copies of
$\tau_z = \left(\begin{matrix} 1 & 0 \\ 0 & -1 \end{matrix} \right)$
along the block diagonal entries:
\begin{align}
K' = \left(\begin{matrix} \tilde{K} &  & & \\
 & \tau_z &  & \\
 &  & \tau_z & \\
&  & & \ddots\end{matrix} \right),
\end{align}
where the rest of the entries are zero. In the absence of any symmetries,
$K'$ describes the same topological order as $K$.
Now we define
\begin{align}
\vec{m}_1'^T &= (\tilde{u}_{1+}^T, 1, 1, 0, 0, \cdots,0,0)
\nonumber \\
\vec{m}_2'^T &= (\tilde{u}_{1-}^T, -1, 1, 0,0, \cdots,0,0)
\nonumber \\
\vec{m}_3'^T &= (\tilde{u}_{2+}^T,0,0,1,1,\cdots,0,0)
\nonumber \\
\vec{m}_4'^T &= (\tilde{u}_{2-}^T,0,0,-1,1,\cdots,0,0)
\nonumber \\
\vdots
\nonumber \\
\vec{m}_{2N-1}'^T &= (\tilde{u}_{N+}^T,0,0,\cdots,1,1)
\nonumber \\
\vec{m}_{2N}'^T &= (\tilde{u}_{N-}^T,0,0,\cdots,-1,1)
\end{align}
Since the additional components added to $K'$ are all trivial degrees of freedom, the $2N$ vectors
$\{\vec{m}_i'\}$ still generate the same Lagrangian subgroup $M$. It is easy to see that
\begin{align}
m_i'^T K'^{-1} m'_j = 0.
\end{align}
This proves the lemma for $K$ odd.

\end{document}
