Projected entangled pair states (PEPS) provide a natural ansatz for the ground states of gapped, local Hamiltonians in which global characteristics of a quantum state are encoded in properties of local tensors. We develop a framework to describe onsite symmetries, as occurring in systems exhibiting symmetry-protected topological (SPT) quantum order, in terms of virtual symmetries of the local tensors expressed as a set of matrix product operators (MPOs) labeled by distinct group elements. These MPOs describe the possibly anomalous symmetry of the edge theory, whose local degrees of freedom are concretely identified in a PEPS. A classification of SPT phases is obtained by studying the obstructions to continuously deforming one set of MPOs into another, recovering the results derived for fixed-point models [Chen et al., Phys. Rev. B 87, 155114 (2013)]. Our formalism accommodates perturbations away from fixed-point models, opening the possibility of studying phase transitions between different SPT phases. We also demonstrate that applying the recently developed quantum state gauging procedure to a SPT PEPS yields a PEPS with topological order determined by the initial symmetry MPOs. The MPO framework thus unifies the different approaches to classifying SPT phases, via fixed-point models, boundary anomalies, or gauging the symmetry, into the single problem of classifying inequivalent sets of matrix product operator symmetries that are defined purely in terms of a PEPS.
Symmetry protected topological (SPT) phases are gapped short-range-entangled quantum phases with a symmetry G. They can all be smoothly connected to the same trivial product state if we break the symmetry. The Haldane phase of spin-1 chain is the first example of SPT phase which is protected by SO(3) spin rotation symmetry. The topological insulator is another exam- ple of SPT phase which is protected by U(1) and time reversal symmetries. It has been shown that free fermion SPT phases can be systematically described by the K-theory. In this paper, we show that interacting bosonic SPT phases can be systematically described by group cohomology theory: distinct d-dimensional bosonic SPT phases with on-site symmetry G (which may contain anti-unitary time reversal symmetry) can be labeled by the elements in H^{1+d}[G, U_T(1)] - the Borel (1 + d)-group-cohomology classes of G over the G-module U_T(1). The boundary excitations of the non-trivial SPT phases are gapless or degenerate. Even more generally, we find that the different bosonic symmetry breaking short-range-entangled phases are labeled by the following three mathematical objects: (G_H, G_{\Psi}, H^{1+d}[G_{\Psi}, U_T(1)], where G_H is the symmetry group of the Hamiltonian and G_{\Psi} the symmetry group of the ground states.
Matrix Product States (MPSs) provide a powerful framework to study and classify gapped quantum phases — symmetry-protected topological (SPT) phases in particular — defined in one dimensional lattices. On the other hand, it is natural to expect that gapped quantum phases in the limit of zero correlation length are described by topological quantum field theories (TFTs or TQFTs). In this paper, for (1+1)-dimensional bosonic SPT phases protected by symmetry G, we bridge their descriptions in terms of MPSs, and those in terms of G-equivariant TFTs. In particular, for various topological invariants (SPT invariants) constructed previously using MPSs, we provide derivations from the point of view of (1+1) TFTs. We also discuss the connection between boundary degrees of freedom, which appear when one introduces a physical boundary in SPT phases, and “open” TFTs, which are TFTs defined on spacetimes with boundaries.
Abstract One of the most striking features of gapped quantum phases that exhibit topological order is the presence of long-range entanglement that cannot be detected by any local order parameter. The formalism of projected entangled-pair states is a natural framework for the parameterization of gapped ground state wavefunctions which allows one to characterize topological order in terms of the virtual symmetries of the local tensors that encode the wavefunction. In their most general form, these symmetries are represented by matrix product operators acting on the virtual level, which leads to a set of algebraic rules characterizing states with topological quantum order. This construction generalizes the concepts of
G G - and twisted injectivity; the corresponding matrix product operators encode all topological features of the theory and provide a complete picture of the ground state manifold on the torus. We show how the string-net models of Levin and Wen fit within this formalism and in doing so provide a particularly intuitive interpretation of the pentagon equation for F-symbols as the pulling of matrix product operators through the string-net tensor network. Our approach paves the way to finding novel topological phases beyond string nets and elucidates the description of topological phases in terms of entanglement Hamiltonians and edge theories.
Symmetry protected topological (SPT) phases are gapped short-range-entangled quantum phases with a symmetry
G. They can all be smoothly connected to the same trivial product state if we break the symmetry. The Haldane phase of spin-1 chain is the first example of SPT phases which is protected by
SO(3) spin rotation symmetry. The topological insulator is another example of SPT phases which are protected by
U(1) and time-reversal symmetries. In this paper, we show that interacting bosonic SPT phases can be systematically described by group cohomology theory: Distinct
d-dimensional bosonic SPT phases with on-site symmetry
G (which may contain antiunitary time-reversal symmetry) can be labeled by the elements in
H1+d[G,UT(1)], the Borel
(1+d)-group-cohomology classes of
G over the
G module
UT(1). Our theory, which leads to explicit ground-state wave functions and commuting projector Hamiltonians, is based on a new type of topological term that generalizes the topological $\ensuremath{\theta}$ term in continuous nonlinear $\ensuremath{\sigma}$ models to lattice nonlinear $\ensuremath{\sigma}$ models. The boundary excitations of the nontrivial SPT phases are described by lattice nonlinear $\ensuremath{\sigma}$ models with a nonlocal Lagrangian term that generalizes the Wess-Zumino-Witten term for continuous nonlinear $\ensuremath{\sigma}$ models. As a result, the symmetry
G must be realized as a non-on-site symmetry for the low-energy boundary excitations, and those boundary states must be gapless or degenerate. As an application of our result, we can use ${\mathcal{H}}^{1+d}[U(1)\ensuremath{\rtimes}{Z}_{2}^{T},{U}_{T}(1)]$ to obtain interacting bosonic topological insulators (protected by time reversal
Z2T and boson number conservation), which contain one nontrivial phase in one-dimensional (1D) or 2D and three in 3D. We also obtain interacting bosonic topological superconductors (protected by time-reversal symmetry only), in term of
H1+d[Z2T,UT(1)], which contain one nontrivial phase in odd spatial dimensions and none for even dimensions. Our result is much more general than the above two examples, since it is for any symmetry group. For example, we can use ${\mathcal{H}}^{1+d}[U(1)\ifmmode\times\else\texttimes\fi{}{Z}_{2}^{T},{U}_{T}(1)]$ to construct the SPT phases of integer spin systems with time-reversal and
U(1) spin rotation symmetry, which contain three nontrivial SPT phases in 1D, none in 2D, and seven in 3D. Even more generally, we find that the different bosonic symmetry breaking short-range-entangled phases are labeled by the following three mathematical objects: $({G}_{H},{G}_{\ensuremath{\Psi}},{\mathcal{H}}^{1+d}[{G}_{\ensuremath{\Psi}},{U}_{T}(1)])$, where
GH is the symmetry group of the Hamiltonian and ${G}_{\ensuremath{\Psi}}$ the symmetry group of the ground states.
This thesis contributes to the understanding of symmetry-enriched topological phases focusing on their descriptions in terms of tensor network states. The Projected Entangled Pair State (PEPS) formalism allows us to locally encode the main properties of the models (like topological order, symmetries and their interplay) in the tensors. We have used that encoding to classify, construct and detect some classes of symmetry-enriched topological phases in 2D PEPS. For that purpose, we have studied what the allowed freedom in the tensors generating the same tensor network state is. These results are the so-called 'fundamental theorems' and they give the necessary knowledge to properly study symmetries (actions that leave the states invariant). We focus our study on the family of PEPS describing quantum double models of
G, the so-called
G-injective PEPS, and on global on-site symmetries coming from a finite group
Q: as a result of the classification we have a finite number of phases closely related to the theory of group extensions. We also provide the maps that appear in group extension theory with physical meaning and we characterize their actions on the ground subspace and on the anyons. We construct a representative of each class of our classification. Moreover, we connect our construction with an interesting physical phenomenon, the so-called anyon condensation, which describes topological phase transitions. We have also proposed a family of gauge invariant quantities and their corresponding order parameters (in the form of expectation values of a local operator in 2D) to detect the corresponding quantum phases, in particular their symmetry fractionalization patterns. We conclude this thesis by touching on some mathematical open problems in PEPS.