Abstract: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 that the operations of the ZX calculus -- a form of quantum diagrammatic reasoning based on bialgebras -- match exactly the operations of lattice surgery. Red and green "spider" nodes match rough and smooth merges and splits, and follow the axioms of a dagger special associative Frobenius algebra. Some lattice surgery operations require non-trivial correction operations, which are captured natively in the use of the ZX calculus in the form of ensembles of diagrams. We give a first taste of the power of the calculus as a language for lattice surgery by considering two operations (T gates and producing a CNOT ) and show how ZX diagram re-write rules give lattice surgery procedures for these operations that are novel, efficient, and highly configurable.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the design, verification, and optimization challenges of lattice - surgery operations in quantum computing. Specifically, the paper points out that the surface code and lattice surgery are a leading method for achieving large - scale quantum computing error correction. However, the basic operations of lattice surgery, such as the merging and splitting of logical qubits, are non - unitary operations, and these operations are difficult to capture with traditional circuit symbols. This has led to the challenge of how to efficiently design, verify, and compile new surgical patterns, and sometimes leads to misunderstandings of lattice surgery, that is, regarding it as a method only for simulating unitary gates, rather than a set of independent computational primitives.
To solve these problems, the paper shows that the operations of ZX - calculus - a form of quantum graphical reasoning based on bialgebras - exactly match the operations of lattice surgery. The red and green "spider" nodes correspond to rough and smooth merging and splitting operations respectively, and follow the axioms of a dagger - special commutative Frobenius algebra. The paper further shows how ZX - calculus can naturally capture the non - trivial correction operations required for certain lattice - surgery operations in the form of graphical sets. By considering the examples of two operations (the T - gate and the generation of the CNOT - gate), the paper shows how to use the rewrite rules of ZX - diagrams to give lattice - surgery procedures for these operations, which are novel, efficient, and highly configurable.
In summary, the main objective of the paper is to provide a new language and tool, namely ZX - calculus, to more effectively design, verify, and optimize protocols using lattice surgery, especially in architectures with complex resource management problems.