Graphical description of the action of Clifford operators on stabilizer states

Abstract

We introduce a graphical representation of stabilizer states and translate the action of Clifford operators on stabilizer states into graph operations on the corresponding stabilizer-state graphs. Our stabilizer graphs are constructed of solid and hollow nodes, with (undirected) edges between nodes and with loops and signs attached to individual nodes. We find that local Clifford transformations are completely described in terms of local complementation on nodes and along edges, loop complementation, and change of node type or sign. Additionally, we show that a small set of equivalence rules generates all graphs corresponding to a given stabilizer state; we do this by constructing an efficient procedure for testing the equality of any two stabilizer graphs.

14 pages, 8 figures. Version 2 contains significant changes. Submitted to PRA

Cited by in corpus (10)

• Graphical calculus for Gaussian pure states
• ZX-calculus for the working quantum computer scientist
• Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements
• Improved Graph Formalism for Quantum Circuit Simulation
• AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states
• Distinguishing Phases via Non-Markovian Dynamics of Entanglement in Topological Quantum Codes under Parallel Magnetic Field
• Localizing genuine multiparty entanglement in noisy stabilizer states
• Transforming graph states via Bell state measurements
• From Graph States to Two-Graph States
• Quantum Theory from Principles, Quantum Software from Diagrams