Type-Based Verification of Connectivity Constraints in Lattice Surgery

Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi

Fault-tolerant quantum computation using lattice surgery can be abstracted as operations on graphs, wherein each logical qubit corresponds to a vertex of the graph, and multi-qubit…