The ZX calculus is a language for surface code lattice surgery
The ZX calculus is a language for surface code lattice surgery
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 …