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 $${\mathsf {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.
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.
Matrix Product Operators (MPOs) are tensor networks representing operators acting on 1D systems. They model a wide variety of situations, including communication channels with memory effects, quantum cellular automata, mixed states in 1D quantum systems, or holographic boundary models associated to 2D quantum systems. A scenario where MPOs have proven particularly useful is to represent algebras of non-trivial symmetries. Concretely, the boundary of both symmetry protected and topologically ordered phases in 2D quantum systems exhibit symmetries in the form of MPOs. In this paper, we develop a theory of MPOs as representations of algebraic structures. We establish a dictionary between algebra and MPO properties which allows to transfer results between both setups, covering the cases of pre-bialgebras, weak bialgebras, and weak Hopf algebras. We define the notion of pulling-through algebras, which abstracts the minimal requirements needed to define topologically ordered 2D tensor networks from MPO algebras. We show, as one of our main results, that any semisimple pivotal weak Hopf algebra is a pulling-through algebra. We demonstrate the power of this framework by showing that they can be used to construct Kitaev's quantum double models for Hopf algebras solely from an MPO representation of the Hopf algebra, in the exact same way as MPO symmetries obtained from fusion categories can be used to construct Levin-Wen string-net models, and to explain all their topological features; it thus allows to describe both Kitaev and string-net models on the same formal footing.
We present a method of extracting information about topological order from the ground state of a strongly correlated two-dimensional system represented by an infinite projected entangled pair state (iPEPS). As in previous works [A. Francuz et al., Phys. Rev. B 101, 041108(R) (2020) and A. Francuz and J. Dziarmaga, Phys. Rev. B 102, 235112 (2020)] we begin by determining symmetries of the iPEPS represented by infinite matrix product operators (iMPO) that map between the different iPEPS transfer matrix fixed points, to which we apply the fundamental theorem of matrix product states to find zipper tensors between products of iMPO's that encode fusion properties of the anyons. The zippers can be combined to extract topological F symbols of the underlying fusion category, which unequivocally identifies the topological order of the ground state. We bring the F symbols to the canonical gauge, and also compute the Drinfeld center of this unitary fusion category to extract the topological S and T matrices encoding mutual statistics and self-statistics of the emergent anyons. The algorithm is applied to Abelian toric code, Kitaev model, double semion, and twisted quantum double of Z3, as well as to non-Abelian double Fibonacci, double Ising, and quantum double of S3 and Rep(S3) string-net models.
Topological phases exhibit unconventional order that cannot be detected by any local order parameter. In the framework of Projected Entangled Pair States(PEPS), topological order is characterized by an entanglement symmetry of the local tensor which describes the model. This symmetry can take the form of a tensor product of group representations, or in the more general case a correlated symmetry action in the form of a Matrix Product Operator(MPO), which encompasses all string-net models. Among other things, these entanglement symmetries allow for the description of ground states and anyon excitations. Recently, the idea has been put forward to use those symmetries and the anyonic objects they describe as order parameters for probing topological phase transitions, and the applicability of this idea has been demonstrated for Abelian groups. In this paper, we extend this construction to the domain of non-Abelian models with MPO symmetries, and use it to study the breakdown of topological order in the double Fibonacci (DFib) string-net and its Galois conjugate, the non-hermitian double Yang-Lee (DYL) string-net. We start by showing how to construct topological order parameters for condensation and deconfinement of anyons using the MPO symmetries. Subsequently, we set up interpolations from the DFib and the DYL model to the trivial phase, and show that these can be mapped to certain restricted solid on solid(RSOS) models, which are equivalent to the ((5±5)/2)-state Potts model, respectively. The known exact solutions of the statistical models allow us to locate the critical points, and to predict the critical exponents for the order parameters. We complement this by numerical study of the phase transitions, which fully confirms our theoretical predictions; remarkably, we find that both models exhibit a duality between the order parameters for condensation and deconfinement.
Topological phases exhibit unconventional order that cannot be detected by any local order parameter. In the framework of projected entangled pair states, topological order is characterized by an entanglement symmetry of the local tensor that describes the model. This symmetry can take the form of a tensor product of group representations [for quantum double models D(G) of a group G], or in the more general case a correlated symmetry action in the form of a matrix product operator (MPO), which encompasses all string-net models, including those that are not quantum double models. Among other things, these entanglement symmetries allow for the succinct description of ground states and topological excitations (anyons). Recently, the idea has been put forward to use those symmetries and the anyonic objects they describe as order parameters for probing topological phase transitions, and the applicability of this idea has been demonstrated for Abelian groups. In this paper, we extend this construction to the domain of non-Abelian models with MPO symmetries, and we use it to study the breakdown of topological order in the double Fibonacci (DFib) string-net model and its Galois conjugate, namely the non-Hermitian double Yang-Lee (DYL) string-net model. We start by showing how to construct topological order parameters for condensation and deconfinement of anyons using the MPO symmetries. Subsequently, we set up interpolations from the DFib and the DYL model to the trivial phase, and we show that these can be mapped to certain restricted solid on solid (RSOS) models, which are equivalent to the $[(5\ifmmode\pm\else\textpm\fi{}\sqrt{5})/2]$-state Potts model, respectively. Moreover, the order parameter for condensation maps to the RSOS order parameter. The known exact solutions of the statistical models subsequently allow us to locate the critical points of the models, and to predict the critical exponents for the order parameters from conformal field theory. We complement this by numerical study of the phase transitions, which fully confirms our theoretical predictions; remarkably, we find that both models exhibit a duality between the behavior of order parameters for condensation and deconfinement.
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.
We provide a description of virtual non-local matrix product operator (MPO) symmetries in projected entangled pair state (PEPS) representations of string-net models. Given such a PEPS representation, we show that the consistency conditions of its MPO symmetries amount to a set of six coupled equations that can be identified with the pentagon equations of a bimodule category. This allows us to classify all equivalent PEPS representations and build MPO intertwiners between them, synthesising and generalising the wide variety of tensor network representations of topological phases. Furthermore, we use this generalisation to build explicit PEPS realisations of domain walls between different topological phases as constructed by Kitaev and Kong [Commun. Math. Phys. 313 (2012) 351-373]. While the prevailing abstract categorical approach is sufficient to describe the structure of topological phases, explicit tensor network representations are required to simulate these systems on a computer, such as needed for calculating thresholds of quantum error-correcting codes based on string-nets with boundaries. Finally, we show that all these string-net PEPS representations can be understood as specific instances of Turaev-Viro state-sum models of topological field theory on three-manifolds with a physical boundary, thereby putting these tensor network constructions on a mathematically rigorous footing.