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

Symmetry defects and gauging for quantum states with matrix product unitary symmetries

Adrián Franco-Rubio, Arkadiusz Bochniak, J. I. Cirac

Published Oct 22, 2026• 2 citations
arXivHTMLPDF

Abstract

In this work, we examine the consequences of the existence of a finite group of matrix product unitary (MPU) symmetries for matrix product states (MPS). We generalize the well-understood picture of onsite unitary symmetries, which give rise to virtual symmetry defects given by insertions of operators in the bonds of the MPS. In the MPU case, we can define analogous defect tensors, this time sitting on lattice sites, that can be created, moved, and fused by local unitary operators. We leverage this formalism to study the gauging of MPU symmetries. We introduce a condition, block independence, under which we can gauge the symmetries by promoting the symmetry defects to gauge degrees of freedom, yielding an MPS of the same bond dimension that supports a local version of the symmetry given by commuting gauge constraints. Whenever block independence does not hold (which happens, in particular, whenever the symmetry representation is anomalous), a modification of our method which we call state-level gauging still gives rise to a locally symmetric MPS by promotion of the symmetry defects, at the expense of producing gauge constraints that do not commute on different sites.

DOI
10.22331/q-2026-10-22-2243

Related papers

Gauging quantum states with nonanomalous matrix product operator symmetries

José Garre-Rubio, Ilya Kull

Gauging a global symmetry of a system amounts to introducing new degrees of freedom whose transformation rule makes the overall system observe a local symmetry. In quantum systems there can be obstructions to gauging a global symmetry. When this happens the symmetry is dubbed anomalous. Such obstructions are related to the fact that the global symmetry cannot be written as a tensor product of local operators. In this paper we study nonlocal symmetries that have an additional structure: They take the form of a matrix product operator (MPO). We exploit the tensor network structure of the MPOs to construct local operators from them, satisfying the same group relations; that is, we are able to localize even anomalous MPOs. For nonanomalous MPOs, we use these local operators to explicitly gauge the MPO symmetry of a one-dimensional quantum state obtaining nontrivial gauged states. We show that our gauging procedure satisfies all the desired properties that the standard on-site case does. We also show how this procedure is naturally represented in matrix product states protected by MPO symmetries. In the case of anomalous MPOs, we shed light on the obstructions to gauging these symmetries.

arXiv:2209.07355•Physical review. B./Physical review. B•Feb 16, 2023•4 citations

Lattice 2-group symmetries: operators, defects, and gauging

Lucas Z. Brito, Salvatore D. Pace

We construct and study lattice realizations of finite 2-group symmetries in ${2+1}$d quantum lattice systems with finite-dimensional tensor-product Hilbert spaces. We focus on two broad classes of 2-groups with 0-form symmetry group $G$ and 1-form symmetry group $A$: split 2-groups with trivial Postnikov class ${[β]\in\mathcal{H}^3(G,A)}$, and central 2-groups with trivial action ${ρ\colon G\to\text{Aut}(A)}$. In both cases, we construct symmetry operators on the full tensor-product Hilbert space that become 2-group symmetry operators when restricted to the topological subspace of the lattice $A$ 1-form symmetry. While the lattice split 2-group symmetry operators are onsite, the lattice central 2-group symmetry operators are not, and can only be made onsite after introducing ancillae. We extensively explore various manifestations of $ρ$ and $[β]$ for these lattice 2-group symmetry operators and demonstrate their agreement with expectations from quantum field theory. These manifestations arise in the transformation of operators carrying symmetry charge, the structure of lattice 2-group symmetry defects, and the dual fusion 2-category symmetries obtained by gauging the lattice 2-group symmetries. We further propose families of local symmetric Hamiltonians for both classes of lattice 2-group symmetries and identify exactly solvable limits lying in phases with spontaneous 2-group symmetry breaking and nontrivial symmetry-enriched topological order. In one such limit, the gauged Hamiltonians are exactly solvable lattice realizations of the corresponding 2-group gauge theories, whose ground-state degeneracies we calculate.

cond-mat.str-elCross-listedarXiv:2609.10682•Sep 11, 2026•0 citations

Matrix Product States

Tao Xiang

This chapter discusses the properties of matrix product state (MPS). It starts with a simple proof that the wave function generated by DMRG is an MPS. Then three different but equivalent canonical forms or representations of MPS are introduced. An MPS generally has redundant gauge degrees of freedom on each bond linking two neighboring local tensors. One can convert it into a canonical form by taking a canonical transformation to remove the gauge redundancy in the local tensors. Finally, the implementation of symmetries, including both the U(1) and SU(2) symmetries, is discussed.

Cambridge University Press eBooks•Aug 31, 2023•0 citations

Matrix-product unitaries: Beyond quantum cellular automata

Georgios Styliaris, Rahul Trivedi, David Pérez-Garcı́a +1 more

Matrix-product unitaries (MPU) are 1D tensor networks describing time evolution and unitary symmetries of quantum systems, while their action on states by construction preserves the entanglement area law. MPU which are formed by a single repeated tensor are known to coincide with 1D quantum cellular automata (QCA), i.e., unitaries with an exact light cone. However, this correspondence breaks down for MPU with open boundary conditions, even if the resulting operator is translation-invariant. Such unitaries can turn short- to long-range correlations and thus alter the underlying phase of matter. Here we make the first steps towards a theory of MPU with uniform bulk but arbitrary boundary. In particular, we study the structure of a subclass with a direct-sum form which maximally violates the QCA property. We also consider the general case of MPU formed by site-dependent (nonuniform) tensors and show a correspondence between MPU and locally maximally entanglable states.

arXiv:2406.10195•Quantum•Feb 25, 2025•6 citations

The local characterization of global tensor network eigenstates

José Garre Rubio, András Molnár, Norbert Schuch +1 more

We study the conditions under which Matrix Product States (MPS) or Matrix Product Operators are exact eigenvectors of an extensive local operator, such as a Hamiltonian. By suitably choosing the local operator, this covers a wide range of settings: Exact eigenstates of Hamiltonians, including scar states, exact MPS trajectories for driven quantum systems, steady states of local Lindbladians, generalized symmetries of either Hamiltonians or density matrices, and many more. Our key result is that a local, fixed-size equation---namely, how a single term in the operator acts on a block of tensors---provides a necessary and sufficient condition for exact solutions. This local characterization allows us to obtain the full space of MPS solutions to all of the aforementioned problems; in particular, we exemplify the power of our results by recovering the quantum group symmetries of the XXZ model. We also discuss applications to numerical algorithms with MPS and the generalization of our results to 2D, i.e., projected entangled pair states (PEPS).

quant-pharXiv:2603.28349•Mar 31, 2026•0 citations

Classifying Symmetric and Symmetry-Broken Spin Chain Phases with Anomalous Group Actions

Jose Garre Rubio, András Molnár, Yoshiko Ogata

Abstract We consider the classification problem of quantum spin chains invariant under local-decomposable group actions, covering matrix product unitaries (MPUs), using an operator algebraic approach. We focus on finite group symmetries hosting both symmetric and symmetry-broken phases. The local-decomposable group actions we consider have a 3-cocycle class of the symmetry group associated with them. We derive invariants for our classification that naturally cover one-dimensional symmetry-protected topological (SPT) phases. We prove that these invariants coincide with the ones of [3] using matrix product state (MPS) techniques, by explicitly working out the GNS representation of MPSs and MPUs, resulting in a useful dictionary between both approaches that could be of independent interest.

arXiv:2403.18573•Annales Henri Poincaré•Jul 16, 2026•1 citation
In this work, we examine the consequences of the existence of a finite group of matrix product unitary (MPU) symmetries for matrix product states (MPS). We generalize the well-understood picture of onsite unitary symmetries, which give rise to virtual symmetry defects given by insertions of operators in the bonds of the MPS. In the MPU case, we can define analogous defect tensors, this time sitting on lattice sites, that can be created, moved, and fused by local unitary operators. We leverage this formalism to study the gauging of MPU symmetries. We introduce a condition, block independence, under which we can gauge the symmetries by promoting the symmetry defects to gauge degrees of freedom, yielding an MPS of the same bond dimension that supports a local version of the symmetry given by commuting gauge constraints. Whenever block independence does not hold (which happens, in particular, whenever the symmetry representation is anomalous), a modification of our method which we call state-level gauging still gives rise to a locally symmetric MPS by promotion of the symmetry defects, at the expense of producing gauge constraints that do not commute on different sites.
Gauging a global symmetry of a system amounts to introducing new degrees of freedom whose transformation rule makes the overall system observe a local symmetry. In quantum systems there can be obstructions to gauging a global symmetry. When this happens the symmetry is dubbed anomalous. Such obstructions are related to the fact that the global symmetry cannot be written as a tensor product of local operators. In this paper we study nonlocal symmetries that have an additional structure: They take the form of a matrix product operator (MPO). We exploit the tensor network structure of the MPOs to construct local operators from them, satisfying the same group relations; that is, we are able to localize even anomalous MPOs. For nonanomalous MPOs, we use these local operators to explicitly gauge the MPO symmetry of a one-dimensional quantum state obtaining nontrivial gauged states. We show that our gauging procedure satisfies all the desired properties that the standard on-site case does. We also show how this procedure is naturally represented in matrix product states protected by MPO symmetries. In the case of anomalous MPOs, we shed light on the obstructions to gauging these symmetries.
We construct and study lattice realizations of finite 2-group symmetries in 2+1{2+1}2+1d quantum lattice systems with finite-dimensional tensor-product Hilbert spaces. We focus on two broad classes of 2-groups with 0-form symmetry group GGG and 1-form symmetry group AAA: split 2-groups with trivial Postnikov class [β]∈H3(G,A){[β]\in\mathcal{H}^3(G,A)}[β]∈H3(G,A), and central 2-groups with trivial action ρ ⁣:G→Aut(A){ρ\colon G\to\text{Aut}(A)}ρ:G→Aut(A). In both cases, we construct symmetry operators on the full tensor-product Hilbert space that become 2-group symmetry operators when restricted to the topological subspace of the lattice AAA 1-form symmetry. While the lattice split 2-group symmetry operators are onsite, the lattice central 2-group symmetry operators are not, and can only be made onsite after introducing ancillae. We extensively explore various manifestations of ρρρ and [β][β][β] for these lattice 2-group symmetry operators and demonstrate their agreement with expectations from quantum field theory. These manifestations arise in the transformation of operators carrying symmetry charge, the structure of lattice 2-group symmetry defects, and the dual fusion 2-category symmetries obtained by gauging the lattice 2-group symmetries. We further propose families of local symmetric Hamiltonians for both classes of lattice 2-group symmetries and identify exactly solvable limits lying in phases with spontaneous 2-group symmetry breaking and nontrivial symmetry-enriched topological order. In one such limit, the gauged Hamiltonians are exactly solvable lattice realizations of the corresponding 2-group gauge theories, whose ground-state degeneracies we calculate.
This chapter discusses the properties of matrix product state (MPS). It starts with a simple proof that the wave function generated by DMRG is an MPS. Then three different but equivalent canonical forms or representations of MPS are introduced. An MPS generally has redundant gauge degrees of freedom on each bond linking two neighboring local tensors. One can convert it into a canonical form by taking a canonical transformation to remove the gauge redundancy in the local tensors. Finally, the implementation of symmetries, including both the U(1) and SU(2) symmetries, is discussed.
Matrix-product unitaries (MPU) are 1D tensor networks describing time evolution and unitary symmetries of quantum systems, while their action on states by construction preserves the entanglement area law. MPU which are formed by a single repeated tensor are known to coincide with 1D quantum cellular automata (QCA), i.e., unitaries with an exact light cone. However, this correspondence breaks down for MPU with open boundary conditions, even if the resulting operator is translation-invariant. Such unitaries can turn short- to long-range correlations and thus alter the underlying phase of matter. Here we make the first steps towards a theory of MPU with uniform bulk but arbitrary boundary. In particular, we study the structure of a subclass with a direct-sum form which maximally violates the QCA property. We also consider the general case of MPU formed by site-dependent (nonuniform) tensors and show a correspondence between MPU and locally maximally entanglable states.
We study the conditions under which Matrix Product States (MPS) or Matrix Product Operators are exact eigenvectors of an extensive local operator, such as a Hamiltonian. By suitably choosing the local operator, this covers a wide range of settings: Exact eigenstates of Hamiltonians, including scar states, exact MPS trajectories for driven quantum systems, steady states of local Lindbladians, generalized symmetries of either Hamiltonians or density matrices, and many more. Our key result is that a local, fixed-size equation---namely, how a single term in the operator acts on a block of tensors---provides a necessary and sufficient condition for exact solutions. This local characterization allows us to obtain the full space of MPS solutions to all of the aforementioned problems; in particular, we exemplify the power of our results by recovering the quantum group symmetries of the XXZ model. We also discuss applications to numerical algorithms with MPS and the generalization of our results to 2D, i.e., projected entangled pair states (PEPS).
Abstract We consider the classification problem of quantum spin chains invariant under local-decomposable group actions, covering matrix product unitaries (MPUs), using an operator algebraic approach. We focus on finite group symmetries hosting both symmetric and symmetry-broken phases. The local-decomposable group actions we consider have a 3-cocycle class of the symmetry group associated with them. We derive invariants for our classification that naturally cover one-dimensional symmetry-protected topological (SPT) phases. We prove that these invariants coincide with the ones of [3] using matrix product state (MPS) techniques, by explicitly working out the GNS representation of MPSs and MPUs, resulting in a useful dictionary between both approaches that could be of independent interest.