65c8a110d17820da.tex
1: \begin{abstract}
2: We consider symmetry-protected topological (SPT) phases in 2D protected by linear subsystem symmetries, i.e. those that act along rigid lines.
3:  There is a distinction between a ``strong'' subsystem SPT phase, and a ``weak'' one, which is composed of decoupled 1D SPTs with global symmetries.
4:  We propose a natural definition for \emph{strong equivalence} of such phases, in terms of a \emph{linearly-symmetric} local unitary transformation, under which a weak subsystem SPT is equivalent to the trivial phase.
5:  This leads to a number of distinct equivalence classes of strong subsystem SPTs, which we show are in one-to-one correspondence with elements of the group
6:  $\mathcal{C}[G_s] = \mathcal{H}^{2}[G_s^2,U(1)]/(\mathcal{H}^{2}[G_s,U(1)])^3$, where $G_s$ is the finite abelian onsite symmetry group.
7:  We also show that strong subsystem SPTs by our classification necessarily exhibit a spurious topological entanglement entropy on a cylinder.
8: \end{abstract}
9: