The ZX calculus is a language for surface code lattice surgery

@article{Beaudrap2017TheZC,
  title={The ZX calculus is a language for surface code lattice surgery},
  author={J. N. D. Beaudrap and Dominic Horsman},
  journal={ArXiv},
  year={2017},
  volume={abs/1704.08670}
}
  • J. N. D. Beaudrap, Dominic Horsman
  • Published 2017
  • Mathematics, Physics, Computer Science
  • ArXiv
  • A leading choice of error correction for scalable quantum computing is the surface code with lattice surgery. The basic lattice surgery operations, the merging and splitting of logical qubits, act non-unitarily on the logical states and are not easily captured by standard circuit notation. This raises the question of how best to design, verify, and optimise protocols that use lattice surgery, in particular in architectures with complex resource management issues. In this paper we demonstrate… CONTINUE READING
    Code deformation and lattice surgery are gauge fixing
    8
    Completeness of the Phase-free ZH-calculus
    4
    Completeness of the ZX-calculus
    1
    Approches Graphiques en Informatique Quantique
    Completeness of Graphical Languages for Mixed States Quantum Mechanics
    7
    Efficient compression of quantum braided circuits
    Completeness of the ZX-Calculus
    5
    Well-tempered ZX and ZH calculi

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 51 REFERENCES
    Surface code quantum computing by lattice surgery
    157
    A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery
    41
    Quantum computing by color-code lattice surgery
    30
    Lattice surgery translation for quantum computation
    12
    Two complete axiomatisations of pure-state qubit quantum computing
    30
    Topological quantum memory
    714
    Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
    30
    Universal quantum computation with ideal Clifford gates and noisy ancillas (14 pages)
    617
    The ZX−calculus is complete for stabilizer quantum mechanics
    105
    Making the stabilizer ZX-calculus complete for scalars
    25