collection
Bivariate bicycle code
A translation-invariant CSS qLDPC family built from two sparse binary polynomials on a finite two-dimensional torus. Each polynomial becomes a cyclic-shift matrix; placing the two matrices in H_X=[A|B] and the swapped transposes in H_Z=[B^T|A^T] makes commutation follow from the abelian polynomial algebra. Representative finite blocks trade planar nearest-neighbor layout for a second coupling layer and encode many logical qubits at moderate distance.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:qcga#collectionT3 — preserved
Reader-Contract complete
The full research, intuition, derivation, reproduction, and guided-tour packet is present pending human taste review.
One orienting visual
Orienting view
Inspect constructor-derived qubits, stabilizers, and logical paths without leaving the entry. Visual instance: gross
↔ top/bottom and ↕ left/right edges are identified with matching color and arrow direction.
At a glance
Executable-target parameters
form: collection formal target: css formal target: qldpc
Constructor variables
l- positive cyclic order of x
m- positive cyclic order of y
a_terms- integer exponent pairs for the monomials of A, reduced modulo (l,m)
b_terms- integer exponent pairs for the monomials of B, reduced modulo (l,m)
Reference instances
| Instance | n | k | d |
|---|---|---|---|
| gross | n=144 verified | k=12 verified | d=12 bounded |
| toric_L3 | n=18 verified | k=2 verified | d=3 verified |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:qcga#collection. Formalization target: eczoo-entity:qcga#collection. Legacy vocabulary: exact class projection.
Source/entity binding: clean.