Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2407.16531 · Communications Physics

1-Form symmetric projected entangled-pair states

Yi Tan, Wayne Zheng, Ji-Yao Chen, Didier Poilblanc, Fei Ye, Jia‐Wei Mei

Published Jul 14, 2026• 0 citations
arXivHTMLPDF

Abstract

Higher-form symmetries acting on extended objects have reshaped our understanding of quantum phases and topological order, yet explicit incorporation of 1-form symmetry in tensor-network states remains unexplored. Here, we introduce a pull-through framework to embed 1-form symmetries into Projected Entangled-Pair States (PEPS), providing an operator-level definition of gauge flux and algebraic constraints on virtual symmetry matrices that encode anomalous braiding phases and enable efficient optimization of topologically ordered states. Our framework offers diagnostic tools for anomalies in topological phases and paves the way for more efficient tensor-network simulations in a variety of models with higher-form symmetries. Quantum many-body systems with symmetries acting on extended objects host exotic phases that are difficult to simulate. We develop a pull-through tensor-network framework that embeds 1-form symmetries in projected entangled-pair states, enabling symmetry-resolved optimization and diagnostics of topologically ordered states.

DOI
10.1038/s42005-026-02729-x

Related papers

Matrix product operators for symmetry-protected topological phases: Gauging and edge theories

Dominic J. Williamson, Nick Bultinck, Michael Mariën +3 more

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.

arXiv:1412.5604•Physical review. B./Physical review. B•Nov 30, 2016•70 citations

Matrix product operators for symmetry-protected topological phases

Dominic J. Williamson, Nick Bultinck, Michael Mariën +3 more

Projected entangled pair states (PEPS) provide a natural description of the ground states of gapped, local Hamiltonians in which global characteristics of a quantum state are encoded in properties of local tensors. We show that on-site symmetries, as occurring in systems exhibiting symmetry-protected topological (SPT) quantum order, can be captured by a virtual symmetry of the tensors expressed as a set of matrix product operators labelled by the different group elements. A classification of SPT phases can hence be obtained by studying the topological obstructions to continuously deforming one set of matrix product operators into another. This leads to the classification of bosonic SPT states in terms of group cohomology, as originally derived by Chen et al. in [1106.4772]. Our formalism accommodates perturbations away from fixed point models, and hence opens up the possibility of studying phase transitions between different SPT phases. We furthermore show how the global symmetries of SPT PEPS can be promoted into a set of local gauge constraints by introducing bosonic degrees of freedom on the links of the PEPS lattice, thereby providing a natural and general mapping between PEPS in SPT phases and topologically ordered phases.

•Dec 17, 2014•6 citations

Characterizing Topological Order with Matrix Product Operators

Mehmet Burak Şahinoğlu, Dominic J. Williamson, Nick Bultinck +4 more

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.

arXiv:1409.2150•Annales Henri Poincaré•Jan 7, 2021•54 citations

Symmetries in topological tensor network states: classification, construction and detection

José Garre-Rubio

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.

arXiv:1912.08597•Dec 18, 2019•1 citation

Matrix Product Operator Algebras I: Representations of Weak Hopf Algebras and Projected Entangled Pair States

András Molnár, Alberto Ruiz-de-Alarcón, José Garre-Rubio +3 more

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.

arXiv:2204.05940•Communications in Mathematical Physics•Aug 28, 2026•10 citations

Detecting a Z2 topologically ordered phase from unbiased infinite projected entangled-pair state simulations

S. P. G. Crone, Philippe Corboz

We present an approach to identify topological order based on unbiased infinite projected entangled-pair states simulations, i.e., where we do not impose a virtual symmetry on the tensors during the optimization of the tensor network ansatz. As an example we consider the ground state of the toric code model in a magnetic field exhibiting ${Z}_{2}$ topological order. The optimization is done by an efficient energy minimization approach based on a summation of tensor environments to compute the gradient. We show that the optimized tensors, when brought into the right gauge, are approximately ${Z}_{2}$ symmetric, and they can be fully symmetrized a posteriori to generate a stable topologically ordered state, yielding the correct topological entanglement entropy and modular S and U matrices. To compute the latter we develop a variant of the corner-transfer matrix method, which is computationally more efficient than previous approaches based on the tensor renormalization group.

arXiv:1912.00908•Physical review. B./Physical review. B•Mar 25, 2020•29 citations
Higher-form symmetries acting on extended objects have reshaped our understanding of quantum phases and topological order, yet explicit incorporation of 1-form symmetry in tensor-network states remains unexplored. Here, we introduce a pull-through framework to embed 1-form symmetries into Projected Entangled-Pair States (PEPS), providing an operator-level definition of gauge flux and algebraic constraints on virtual symmetry matrices that encode anomalous braiding phases and enable efficient optimization of topologically ordered states. Our framework offers diagnostic tools for anomalies in topological phases and paves the way for more efficient tensor-network simulations in a variety of models with higher-form symmetries. Quantum many-body systems with symmetries acting on extended objects host exotic phases that are difficult to simulate. We develop a pull-through tensor-network framework that embeds 1-form symmetries in projected entangled-pair states, enabling symmetry-resolved optimization and diagnostics of topologically ordered states.
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.
Projected entangled pair states (PEPS) provide a natural description of the ground states of gapped, local Hamiltonians in which global characteristics of a quantum state are encoded in properties of local tensors. We show that on-site symmetries, as occurring in systems exhibiting symmetry-protected topological (SPT) quantum order, can be captured by a virtual symmetry of the tensors expressed as a set of matrix product operators labelled by the different group elements. A classification of SPT phases can hence be obtained by studying the topological obstructions to continuously deforming one set of matrix product operators into another. This leads to the classification of bosonic SPT states in terms of group cohomology, as originally derived by Chen et al. in [1106.4772]. Our formalism accommodates perturbations away from fixed point models, and hence opens up the possibility of studying phase transitions between different SPT phases. We furthermore show how the global symmetries of SPT PEPS can be promoted into a set of local gauge constraints by introducing bosonic degrees of freedom on the links of the PEPS lattice, thereby providing a natural and general mapping between PEPS in SPT phases and topologically ordered phases.
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{\mathsf {G}}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.
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 GGG, the so-called GGG-injective PEPS, and on global on-site symmetries coming from a finite group QQQ: 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.
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 an approach to identify topological order based on unbiased infinite projected entangled-pair states simulations, i.e., where we do not impose a virtual symmetry on the tensors during the optimization of the tensor network ansatz. As an example we consider the ground state of the toric code model in a magnetic field exhibiting Z2{Z}_{2}Z2​ topological order. The optimization is done by an efficient energy minimization approach based on a summation of tensor environments to compute the gradient. We show that the optimized tensors, when brought into the right gauge, are approximately Z2{Z}_{2}Z2​ symmetric, and they can be fully symmetrized a posteriori to generate a stable topologically ordered state, yielding the correct topological entanglement entropy and modular S and U matrices. To compute the latter we develop a variant of the corner-transfer matrix method, which is computationally more efficient than previous approaches based on the tensor renormalization group.