The stabiliser formalism plays a central role in quantum computing, error correction, and
fault tolerance. Conversions between and verifications of different specifications of stabiliser …

We give a simple description of rectangular matrices that can be implemented by a post-
selected stabilizer circuit. Given a matrix with entries in dyadic cyclotomic number fields …

We introduce Decision Tree Decoders (DTDs), which rely only on the sparsity of the binary
check matrix, making them broadly applicable for decoding any quantum low-density parity …

Non-Clifford gates are frequently exclusively implemented on fault-tolerant architectures by
first distilling magic states in specialised magic-state factories. In the rest of the architecture …