AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states

Abstract

From Feynman diagrams to tensor networks, diagrammatic representations of computations in quantum mechanics have catalysed progress in physics. These diagrams represent the underlying mathematical operations and aid physical interpretation, but cannot generally be computed with directly. In this paper we introduce the ZXH-calculus, a graphical language based on the ZX-calculus, that we use to represent and reason about many-body states entirely graphically. As a demonstration, we express the 1D AKLT state, a symmetry protected topological state, in the ZXH-calculus by developing a representation of spins higher than 1/2 within the calculus. By exploiting the simplifying power of the ZXH-calculus rules we show how this representation straightforwardly recovers the AKLT matrix-product state representation, the existence of topologically protected edge states, and the non-vanishing of a string order parameter. Extending beyond these known properties, our diagrammatic approach also allows us to analytically derive that the Berry phase of any finite-length 1D AKLT chain is $\pi$. In addition, we provide an alternative proof that the 2D AKLT state on a hexagonal lattice can be reduced to a graph state, demonstrating that it is a universal quantum computing resource. Lastly, we build 2D higher-order topological phases diagrammatically, which we use to illustrate a symmetry-breaking phase transition. Our results show that the ZXH-calculus is a powerful language for representing and computing with physical states entirely graphically, paving the way to develop more efficient many-body algorithms and giving a novel diagrammatic perspective on quantum phase transitions.

arXiv commentUpdated version accepted in Phys. Rev. X Quantum

References in corpus (71)

• The density-matrix renormalization group in the age of matrix product states
• Entanglement Entropy and Quantum Field Theory
• Classification of topological quantum matter with symmetries
• A Practical Introduction to Tensor Networks: Matrix Product States and Projected Entangled Pair States
• Quantized Electric Multipole Insulators
• Matrix Product States, Projected Entangled Pair States, and variational renormalization group methods for quantum spin systems
• Higher-Order Topological Insulators
• Improved Simulation of Stabilizer Circuits
• Electric Multipole Moments, Topological Multipole Moment Pumping, and Chiral Hinge States in Crystalline Insulators
• Entanglement spectrum of a topological phase in one dimension
• Thermodynamic limit of the density matrix renormalization for the spin-1 Heisenberg chain
• Multi-party entanglement in graph states
• $(d-2)$-dimensional edge states of rotation symmetry protected topological states
• Tensor-Entanglement-Filtering Renormalization Approach and Symmetry Protected Topological Order
• Symmetry protection of topological order in one-dimensional quantum spin systems
• Higher-Order Topology in Bismuth
• Classifying quantum phases using Matrix Product States and PEPS
• Criticality, the area law, and the computational power of PEPS
• Symmetry Protected Topological phases of Quantum Matter
• Tensor networks for complex quantum systems
• Renormalization algorithms for Quantum-Many Body Systems in two and higher dimensions
• Efficient numerical simulations with Tensor Networks: Tensor Network Python (TeNPy)
• A class of ansatz wave functions for 1D spin systems and their relation to DMRG
• 2D symmetry protected topological orders and their protected gapless edge excitations
• Hand-waving and Interpretive Dance: An Introductory Course on Tensor Networks
• Theory of finite-entanglement scaling at one-dimensional quantum critical points
• Entanglement of Exact Excited States of AKLT Models: Exact Results, Many-Body Scars and the Violation of Strong ETH
• Scaling of entanglement support for Matrix Product States
• The computational complexity of PEPS
• Interacting Quantum Observables: Categorical Algebra and Diagrammatics
• Universal resources for measurement-based quantum computation
• Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
• Affleck-Kennedy-Lieb-Tasaki State on a Honeycomb Lattice is a Universal Quantum Computational Resource
• Measurement-based quantum computer in the gapped ground state of a two-body Hamiltonian
• Reducing T-count with the ZX-calculus
• Quantized Berry Phases as Local Order Parameters of Quantum Liquids
• Efficient magic state factories with a catalyzed |CCZ> to 2|T> transformation
• The ZX-calculus is complete for stabilizer quantum mechanics
• Phase Transitions Between Topologically Distinct Gapped Phases in Isotropic Spin Ladders
• Tensor network trial states for chiral topological phases in two dimensions and a no-go theorem in any dimension
• Diagonalizing transfer matrices and matrix product operators: a medley of exact and computational methods
• Projected entangled-pair states can describe chiral topological states
• Quantum computational capability of a 2D valence bond solid phase
• The ZX calculus is a language for surface code lattice surgery
• There and back again: A circuit extraction tale
• Topological Classification of Gapped Spin Chains :Quantized Berry Phase as a Local Order Parameter
• A canonical form for Projected Entangled Pair States and applications
• ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity
• Chiral topological spin liquids with projected entangled pair states
• SU$(3{)}_1$ Chiral Spin Liquid on the Square Lattice: a View from Symmetric PEPS
• Phase transition of computational power in the resource states for one-way quantum computation
• A universal completion of the ZX-calculus
• Quantized Berry Phases for a Local Characterization of Spin Liquids in Frustrated Spin Systems
• $Z_N$ Berry Phases in Symmetry Protected Topological Phases
• Coupled-wire constructions: a Luttinger liquid approach to topology
• Categorical Tensor Network States
• Universal MBQC with generalised parity-phase interactions and Pauli measurements
• A Primer of Group Theory for Loop Quantum Gravity and Spin-foams
• Algebraically contractible topological tensor network states
• ZX-calculus for the working quantum computer scientist
• Quons: A 3D Language for Quantum Information
• Graphical description of the action of Clifford operators on stabilizer states
• Effective Compression of Quantum Braided Circuits Aided by ZX-Calculus
• Qutrit Dichromatic Calculus and Its Universality
• Holographic Software for Quantum Networks
• A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz
• Constructive Simulation and Topological Design of Protocols
• Z_N Berry phase and symmetry protected topological phases of SU(N) antiferromagnetic Heisenberg chain
• A unified diagrammatic approach to topological fixed point models
• Berry phase of the composite Fermi-liquid
• Quantized Graphs and Quantum Error Correction

Cited by in corpus (6)

• ZX-calculus for the working quantum computer scientist
• Preparing Valence-Bond-Solid states on noisy intermediate-scale quantum computers
• The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
• Completeness of the ZH-calculus
• Diagrammatic Analysis for Parameterized Quantum Circuits
• Universal graph representation of stabilizer codes