Graphical CSS Code Transformation Using ZX Calculus

DOI10.4204/EPTCS.384.1arXiv2307.02437OpenAlexW4386095606MaRDI QIDQ6200518FDOQ6200518

Authors: Sarah Meng Li, Lia Yeh, Aleks Kissinger, Michele Mosca 

Publication date: 22 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: In this work, we present a generic approach to transform CSS codes by building upon their equivalence to phase-free ZX diagrams. Using the ZX calculus, we demonstrate diagrammatic transformations between encoding maps associated with different codes. As a motivating example, we give explicit transformations between the Steane code and the quantum Reed-Muller code, since by switching between these two codes, one can obtain a fault-tolerant universal gate set. To this end, we propose a bidirectional rewrite rule to find a (not necessarily transversal) physical implementation for any logical ZX diagram in any CSS code. We then focus on two code transformation techniques: $extitcodemorphing$, a procedure that transforms a code while retaining its fault-tolerant gates, and $extitgaugefixing$, where complimentary codes can be obtained from a common subsystem code (e.g., the Steane and the quantum Reed-Muller codes from the 15,1,3,3 code). We provide explicit graphical derivations for these techniques and show how ZX and graphical encoder maps relate several equivalent perspectives on these code transforming operations.

Full work available at URL: https://arxiv.org/abs/2307.02437

Recommendations

• A new approach to constructing CSS codes based on factor graphs
• Fault-tolerant conversion between adjacent Reed–Muller quantum codes based on gauge fixing
• SIMPLE FAULT-TOLERANT ENCODING OVER q-ARY CSS QUANTUM CODES
• An algebraic characterization of binary CSS-T codes and cyclic CSS-T codes for quantum fault tolerance
• Pieceable fault tolerant conversion between 5-qubit code and 7-CSS code

Mathematics Subject Classification ID

Foundations, quantum information and its processing, quantum axioms, and philosophy (81Pxx)

Cites Work

• Multiple-particle interference and quantum error correction
• The Heisenberg representation of quantum computers
• Quantum computation and quantum information. 10th anniversary edition
• The ZX-calculus is complete for stabilizer quantum mechanics
• Interacting Quantum Observables
• Title not available (Why is that?)
• Quantum Error Correction and Orthogonal Geometry
• Interacting quantum observables: categorical algebra and diagrammatics
• Theory of Quantum Error Correction for General Noise
• Topological computation without braiding
• Quantum Reed-Muller codes
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Two complete axiomatisations of pure-state qubit quantum computing
• ZX-rules for 2-qubit \(\text{2-qubit Clifford}+\text{T}\) quantum circuits
• Gauge color codes: optimal transversal gates and gauge fixing in topological stabilizer codes
• Fault-tolerant conversion between adjacent Reed–Muller quantum codes based on gauge fixing
• Verifying the Steane code with Quantomatic
• Title not available (Why is that?)
• Qutrit ZX-calculus is complete for stabilizer quantum mechanics
• Title not available (Why is that?)

This page was built for publication: Graphical CSS Code Transformation Using ZX Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200518)