The cost of each side condition in a gauged logical measurement
A logical measurement reads out protected information; the noise it survives sets how much noise a quantum computation can absorb. Gauging builds such a measurement from an auxiliary graph, one auxiliary qubit per edge, turning a global operator into local parity checks. Its tolerance splits in two: the distance of the...