This paper describes an explicit way to build families of quantum error‑correcting codes that remain “good” as they grow and that can be checked locally. In plain terms, the authors construct quantum low‑density parity‑check (LDPC) CSS codes over qubits that keep a constant information rate and a constant fraction of error tolerance, while also admitting local tests that touch only a fixed number of qubits and detect errors with constant reliability.

What the researchers did is give a concrete construction and a mathematical proof of its properties. The codes are CSS codes, a standard quantum construction built from two classical codes. LDPC means each parity check involves only a small number of qubits. “Constant rate” means the fraction of physical qubits that encode logical qubits does not shrink as the code gets larger. “Constant relative distance” means the smallest undetectable error must affect a constant fraction of qubits. Local testability means small, fixed‑size checks can probabilistically detect whether the state is far from a valid codeword; “constant soundness” means those local checks detect errors with a fixed positive probability proportional to how large the error is.

At a high level the construction combines geometric and coding ideas. The authors indicate they build on non‑Abelian cubical complexes and robust tensor‑style codes, and they explore interactions between graph expanders and algebraic codes. The paper is organized into many technical parts—mixing, cosystole bounds, homology and incidence calculations, parameter choices and arithmetic constructions—each establishing a piece of the overall proof that the codes have the claimed rate, distance and local‑test properties.

Why this matters: codes that are both LDPC and locally testable, while keeping constant rate and distance, are attractive for theory because they balance efficient checking with strong protection against errors. Such codes are a step toward quantum error‑correction schemes that are compact (high rate), robust (large relative distance), and amenable to local verification. These are mainly theoretical advances that clarify what kinds of quantum codes are possible.