Abstract:Quantum circuits with gates (local unitaries) respecting a global symmetry have broad applications in quantum information science and related fields, such as condensed matter theory and thermodynamics. However, despite their widespread use, fundamental properties of such circuits are not well-understood. Recently, it was found that generic unitaries respecting a global symmetry cannot be realized, even approximately, using gates that respect the same symmetry. This observation raises important open questions: What unitary transformations can be realized with k-local gates that respect a global symmetry? In other words, in the presence of a global symmetry, how does the locality of interactions constrain the possible time evolution of a composite system? In this work, we address these questions for the case of Abelian (commutative) symmetries and develop constructive methods for synthesizing circuits with such symmetries. Remarkably, as a corollary, we find that, while the locality of interactions still imposes additional constraints on realizable unitaries, certain restrictions observed in the case of non-Abelian symmetries do not apply to circuits with Abelian symmetries. For instance, in circuits with a general non-Abelian symmetry such as SU($d$), the unitary realized in a subspace with one irreducible representation (charge) of the symmetry dictates the realized unitaries in multiple other sectors with inequivalent representations of the symmetry. Furthermore, in certain sectors, rather than all unitaries respecting the symmetry, the realizable unitaries are the symplectic or orthogonal subgroups of this group. We prove that none of these restrictions appears in the case of Abelian symmetries. This result suggests that global non-Abelian symmetries may affect the thermalization of quantum systems in ways not possible under Abelian symmetries.

Quantum computation by teleportation and symmetry

Subsystem symmetries, quantum cellular automata, and computational phases of quantum matter

Symmetry protected topological order as a requirement for measurement-based quantum gate teleportation

Resource quality of a symmetry-protected topologically ordered phase for quantum computation

Quantum teleportation implies symmetry-protected topological order

Counter-intuitive yet efficient regimes for measurement based quantum computation on symmetry protected spin chains

Universal measurement-based quantum computation in two-dimensional symmetry-protected topological phases

Duality between string and computational order in symmetry-enriched topological phases

Computational Characterization of Symmetry-Protected Topological Phases in Open Quantum Systems

Measurement-based quantum computation in symmetry protected topological states of one-dimensional integer spin systems

Counterintuitive Yet Efficient Regimes for Measurement-Based Quantum Computation on Symmetry-Protected Spin Chains

Hierarchy of universal entanglement in 2D measurement-based quantum computation

Non-onsite symmetries and quantum teleportation in split-index matrix product states

Measurement-only topological quantum computation via anyonic interferometry

Qudit quantum computation on matrix product states with global symmetry

Phase transitions in (2 + 1)D subsystem-symmetric monitored quantum circuits

Redundant string symmetry-based error correction: Demonstrations on quantum devices

Quantum Communication and Mixed-State Order in Decohered Symmetry-Protected Topological States

Quantum Computational Complexity and Symmetry

Quantum origami: Transversal gates for quantum computation and measurement of topological order

Theory of Quantum Circuits with Abelian Symmetries