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:2207.00616 · Quantum

Classification of measurement-based quantum wire in stabilizer PEPS

Paul Herringer, Robert Raussendorf

Published Jun 12, 2023• 5 citations
arXivHTMLPDF

Abstract

We consider a class of translation-invariant 2D tensor network states with a stabilizer symmetry, which we call stabilizer PEPS. The cluster state, GHZ state, and states in the toric code belong to this class. We investigate the transmission capacity of stabilizer PEPS for measurement-based quantum wire, and arrive at a complete classification of transmission behaviors. The transmission behaviors fall into 13 classes, one of which corresponds to Clifford quantum cellular automata. In addition, we identify 12 other classes.

DOI
10.22331/q-2023-06-12-1041

Related papers

Classification of quantum wire in tensor network states with a local Pauli symmetry

Paul Herringer

Certain symmetry-protected topological (SPT) phases also possess the property that every state in the phase is a universal resource for measurement-based quantum computation (MBQC). These phases are called computational phases of quantum matter. Computational phases have been classified in 1D, and several examples are known in 2D. 2D computational phases are of interest because we can simulate any quantum computation using a 2D phase. Therefore, the classification of 2D phases may lead to a better understanding of the relationship between symmetry and quantum computation. Many known 2D phases have a projected entangled pair state (PEPS) representation where the local tensor symmetries define a quantum cellular automaton (QCA) acting on correlation space. However, not every tensor symmetry defines a QCA, which motivates the definition and study of a larger class of PEPS tensors called stabilizer tensors. Stabilizer tensors have symmetries that act as a tensor product of Pauli operators on correlation space but do not necessarily define a QCA. In this thesis, I present a classification of stabilizer tensors by their channel capacity for quantum wire. In particular, I consider the quantum wire capacity of translationally invariant, cylindrical PEPS constructed from stabilizer tensors and find that it falls into one of 13 classes. Furthermore, I prove that no other types of channel capacity exist for stabilizer tensors, regardless of the size of the cylinder. I also discuss the significance of this result for the classification of 2D computational phases along with possible next steps.

•Jan 1, 2021•0 citations

A Classification of Invertible Stabilizer Codes

Geiko, Roman, Shuklin, Georgii

We develop a framework for the classification of invertible translation-invariant stabilizer codes modulo condensation and stabilization with simple codes. Our stabilizer codes generalize the Pauli codes: they are extracted from local commuting projector Hamiltonians whose terms are made of local alphabets more general than the Pauli operators. In particular, not all such codes can be entangled/disentangled with Clifford Quantum Cellular Automata. We compute their Witt-equivalence classes in any spatial dimension in terms of relative L-theory groups. In particular, we show that the group of equivalence classes of such codes in three spatial dimensions is isomorphic to the Witt group of abelian topological orders in two spatial dimensions. In four spatial dimensions we obtain a group of order two, conjecturally corresponding to the non-trivial invertible phase. Additionally, we propose a representing spectrum for the generalized cohomology theory corresponding to the invertible stabilizer codes.

arXiv:2512.01142•Nov 30, 2025•0 citations

Structure and Classification of Matrix Product Quantum Channels

Giorgio Stucchi, J. Ignacio Cirac, Rahul Trivedi +1 more

We develop a framework for Matrix Product Quantum Channels (MPQCs), a one-dimensional tensor-network description of completely positive, trace-preserving maps. We focus on translation-invariant channels, generated by a single repeated tensor, that admit a local purification. We show that their purifying isometry can always be implemented by a constant-depth brickwork quantum circuit, implying that such channels generate only short-range correlations when applied on product states. In contrast to the unitary setting, where one-dimensional quantum cellular automata (in one-to-one correspondence with matrix product unitaries) carry a nontrivial index, we prove that all locally purified channels belong to a single phase, that is, they can be continuously deformed into one another. We then extend the framework to a broader class of translation-invariant channels capable of generating long-range entanglement and show that these remain deterministically implementable in constant depth using two rounds of measurements and feedforward.

quant-pharXiv:2603.19866•Physical Review Letters•Mar 23, 2026•0 citations

A Classification of Translation-Invariant Quantum Codes in Any Dimension

Andrew Li, Dominic J. Williamson

Quantum error-correcting codes with two-dimensional translation invariance are known to be equivalent to copies of the two-dimensional toric code. Such a simple classification is not possible for quantum codes with higher dimensional translation invariance due to the existence of multiple types of toric codes and infinite families of fracton codes. Here, we focus on D-dimensional translation-invariant quantum codes based on length-D chain complexes. This includes multivariate multicycle codes where the number of variables equals the number of cycles. We show that such codes are equivalent to copies of D-dimensional toric codes. This directly generalizes the classification result for two-dimensional translation-invariant codes.

quant-pharXiv:2608.20981•Aug 24, 2026•0 citations

Classification of translation invariant topological Pauli stabilizer codes for prime dimensional qudits on two-dimensional lattices

Jeongwan Haah

We prove that on any two-dimensional lattice of qudits of a prime dimension, every translation invariant Pauli stabilizer group with local generators and with the code distance being the linear system size is decomposed by a local Clifford circuit of constant depth into a finite number of copies of the toric code stabilizer group (Abelian discrete gauge theory). This means that under local Clifford circuits, the number of toric code copies is the complete invariant of topological Pauli stabilizer codes. Previously, the same conclusion was obtained under the assumption of nonchirality for qubit codes or the Calderbank–Shor–Steane structure for prime qudit codes; we do not assume any of these.

arXiv:1812.11193•Journal of Mathematical Physics•Jan 1, 2021•35 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
We consider a class of translation-invariant 2D tensor network states with a stabilizer symmetry, which we call stabilizer PEPS. The cluster state, GHZ state, and states in the toric code belong to this class. We investigate the transmission capacity of stabilizer PEPS for measurement-based quantum wire, and arrive at a complete classification of transmission behaviors. The transmission behaviors fall into 13 classes, one of which corresponds to Clifford quantum cellular automata. In addition, we identify 12 other classes.
Certain symmetry-protected topological (SPT) phases also possess the property that every state in the phase is a universal resource for measurement-based quantum computation (MBQC). These phases are called computational phases of quantum matter. Computational phases have been classified in 1D, and several examples are known in 2D. 2D computational phases are of interest because we can simulate any quantum computation using a 2D phase. Therefore, the classification of 2D phases may lead to a better understanding of the relationship between symmetry and quantum computation. Many known 2D phases have a projected entangled pair state (PEPS) representation where the local tensor symmetries define a quantum cellular automaton (QCA) acting on correlation space. However, not every tensor symmetry defines a QCA, which motivates the definition and study of a larger class of PEPS tensors called stabilizer tensors. Stabilizer tensors have symmetries that act as a tensor product of Pauli operators on correlation space but do not necessarily define a QCA. In this thesis, I present a classification of stabilizer tensors by their channel capacity for quantum wire. In particular, I consider the quantum wire capacity of translationally invariant, cylindrical PEPS constructed from stabilizer tensors and find that it falls into one of 13 classes. Furthermore, I prove that no other types of channel capacity exist for stabilizer tensors, regardless of the size of the cylinder. I also discuss the significance of this result for the classification of 2D computational phases along with possible next steps.
We develop a framework for the classification of invertible translation-invariant stabilizer codes modulo condensation and stabilization with simple codes. Our stabilizer codes generalize the Pauli codes: they are extracted from local commuting projector Hamiltonians whose terms are made of local alphabets more general than the Pauli operators. In particular, not all such codes can be entangled/disentangled with Clifford Quantum Cellular Automata. We compute their Witt-equivalence classes in any spatial dimension in terms of relative L-theory groups. In particular, we show that the group of equivalence classes of such codes in three spatial dimensions is isomorphic to the Witt group of abelian topological orders in two spatial dimensions. In four spatial dimensions we obtain a group of order two, conjecturally corresponding to the non-trivial invertible phase. Additionally, we propose a representing spectrum for the generalized cohomology theory corresponding to the invertible stabilizer codes.
We develop a framework for Matrix Product Quantum Channels (MPQCs), a one-dimensional tensor-network description of completely positive, trace-preserving maps. We focus on translation-invariant channels, generated by a single repeated tensor, that admit a local purification. We show that their purifying isometry can always be implemented by a constant-depth brickwork quantum circuit, implying that such channels generate only short-range correlations when applied on product states. In contrast to the unitary setting, where one-dimensional quantum cellular automata (in one-to-one correspondence with matrix product unitaries) carry a nontrivial index, we prove that all locally purified channels belong to a single phase, that is, they can be continuously deformed into one another. We then extend the framework to a broader class of translation-invariant channels capable of generating long-range entanglement and show that these remain deterministically implementable in constant depth using two rounds of measurements and feedforward.
Quantum error-correcting codes with two-dimensional translation invariance are known to be equivalent to copies of the two-dimensional toric code. Such a simple classification is not possible for quantum codes with higher dimensional translation invariance due to the existence of multiple types of toric codes and infinite families of fracton codes. Here, we focus on D-dimensional translation-invariant quantum codes based on length-D chain complexes. This includes multivariate multicycle codes where the number of variables equals the number of cycles. We show that such codes are equivalent to copies of D-dimensional toric codes. This directly generalizes the classification result for two-dimensional translation-invariant codes.
We prove that on any two-dimensional lattice of qudits of a prime dimension, every translation invariant Pauli stabilizer group with local generators and with the code distance being the linear system size is decomposed by a local Clifford circuit of constant depth into a finite number of copies of the toric code stabilizer group (Abelian discrete gauge theory). This means that under local Clifford circuits, the number of toric code copies is the complete invariant of topological Pauli stabilizer codes. Previously, the same conclusion was obtained under the assumption of nonchirality for qubit codes or the Calderbank–Shor–Steane structure for prime qudit codes; we do not assume any of these.
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.