Letting the Tiger out of Its Cage: Bosonic Coding without Concatenation

Continuous-variable cat codes are encodings into a single photonic or phononic mode that offer a promising avenue for hardware-efficient fault-tolerant quantum computation. Protecting information in a cat code requires measuring the mode’s occupation number modulo two, but this can be relaxed to a linear occupation-number constraint using the alternative two-mode pair-cat encoding. We construct multimode codes with similar linear constraints using any two integer matrices satisfying a Calderbank-Shor-Steane-like homological condition of a quantum rotor code. Just like the pair-cat code, syndrome extraction can be performed in tandem with stabilizing dissipation using current superconducting-circuit designs. The framework includes codes with various finite- or infinite-dimensional code spaces and codes with finite or infinite Fock-state support. It encompasses two-component cat, pair-cat, dual-rail, two-mode binomial, various bosonic repetition codes, and aspects of <a:math xmlns:a="http://www.w3.org/1998/Math/MathML" display="inline"> <a:mi>χ</a:mi> </a:math> -squared encodings, while also yielding codes from homological products, lattices, generalized coherent states, and algebraic varieties. Among our examples are analogs of repetition codes, the Shor code, and a surface-code-like construction that is not a concatenation of a known cat code with the qubit surface code. Code words are coherent states projected into a Fock-state subspace defined by an integer matrix, and their overlaps are governed by Gelfand-Kapranov-Zelevinsky hypergeometric functions.