Logical Operators and Derived Automorphisms of Tile Codes
This work describes tile codes, a class of quantum low-density parity-check codes that use two-dimensional locality for fault tolerance. The authors establish a canonical basis for logical operators supported on lattice boundaries, derived from algebraic geometry and Koszul complexes. They also introduce 'derived automorphisms' as efficient operations for manipulating these logical operators using lattice surgery protocols.