Pair-Partition Constructions for CPM-Based Quantum LDPC Codes

Abstract

We introduce the pair-partition (PP) construction of binary Calderbank--Shor--Steane quantum low-density parity-check codes from circulant permutation matrices. A square array of pair partitions imposes linear paired-difference equations on the CPM exponents and thereby guarantees CSS orthogonality. Pairing graphs derived from this array allow the combinatorial design to be screened before exponent search. We further give and prove a complete algorithm for verifying lower bounds on the quantum minimum distance of a fixed CSS lift. The algorithm searches for zero-syndrome vectors outside the opposing stabilizer row space, uses only rigorously valid pruning rules, and finds no vector through a prescribed weight if and only if the corresponding distance exceeds that weight. For fixed column weight, row weight, and search limit, cyclic symmetry makes the combinatorial support-enumeration bound independent of the lift size, although matrix preprocessing and row-space tests can still depend on the lift size. Thus the construction stage and the distance-verification stage are both specified by directly checkable finite procedures.