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.

Updated version accepted in Phys. Rev. X Quantum

References in corpus (21)

• The density-matrix renormalization group in the age of matrix product states
• Matrix Product States, Projected Entangled Pair States, and variational renormalization group methods for quantum spin systems
• Electric Multipole Moments, Topological Multipole Moment Pumping, and Chiral Hinge States in Crystalline Insulators
• Multi-party entanglement in graph states
• $(d-2)$-dimensional edge states of rotation symmetry protected topological states
• Criticality, the area law, and the computational power of PEPS
• Renormalization algorithms for Quantum-Many Body Systems in two and higher dimensions
• Scaling of entanglement support for Matrix Product States
• Universal resources for measurement-based quantum computation
• Measurement-based quantum computer in the gapped ground state of a two-body Hamiltonian
• Quantum computational capability of a 2D valence bond solid phase
• Topological Classification of Gapped Spin Chains :Quantized Berry Phase as a Local Order Parameter
• Chiral topological spin liquids with projected entangled pair states
• Phase transition of computational power in the resource states for one-way quantum computation
• A universal completion of the ZX-calculus
• ZX-calculus for the working quantum computer scientist
• Graphical description of the action of Clifford operators on stabilizer states
• Qutrit Dichromatic Calculus and Its Universality
• A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz
• A unified diagrammatic approach to topological fixed point models
• 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