Rethinking Quantum Circuits

Quantum circuits are often introduced as sequences of unitary matrices operating on qubits. However, this view obscures deep structural connections to topology, geometry, and error correction. These lectures develop four interconnected ways of reading a quantum circuit: as an operational composition of gates, as an object in a diagrammatic string calculus, as a noisy process that can be corrected and protected, and ultimately as a geometric design principle involving topology and boundary conditions. By examining quantum circuits through these shifting linguistic lenses, researchers can bridge the gap between abstract quantum software and hardware realization.

The foundation of a quantum circuit begins with bits and qubits, moving through classical reversibility to quantum superposition, interference, and entanglement. While matrix mechanics handles these states effectively, it often hides local algebraic properties. Translating ordinary circuits into typed string diagrams and the ZX-calculus introduces powerful graphical rewrite rules. In this graphical language, topological deformations correspond to valid matrix operations, map-state dualities simplify tensor manipulations, and complex matrix identities can be proven locally through graph-like rewrites and phase gadgets.

Moving beyond idealized noiseless circuits requires treating errors, syndromes, and decoders as additional processes within the circuit history. Utilizing the Knill-Laflamme condition and homological surface codes, quantum information can be protected against local decoherence without cloning the underlying logical states. Furthermore, these error-correcting structures naturally lead to a geometric perspective, where topological boundaries, punctures, and hyperbolic lattices dictate how quantum codes scale. By implementing these negatively-curved lattices via superconducting microwave circuits, physical device geometry and quantum error correction become deeply intertwined.