Reproducible QEC decoder validation

QECTOR benchmarks are presented with scoped claims: tested circuits, distances, seeds, error models, latencies, memory profiles, and artifact hashes. The strongest public result is not a fastest-decoder claim; it is reproducible evidence with PyMatching LER parity, belief-matching accuracy mode, BP-OSD support, and CPU/GPU consistency checks.

Latest validated summary

832tests collected
829tests passed
d=15LER parity audit vs PyMatching
GPUCUDA/OpenCL bit-identical on tested batches

Report build: git 729282f. License: QECTOR Decoder Source-Available License v1.0. Website: www.qector.store.

Circuit-level LER parity, latency gap disclosed

Real Stim circuit-level shots, rotated_memory_x, rounds = distance, p = 0.005, 40,000 shots per point through d=11. Same DEM decoded by both systems. QECTOR uses collapsed detector graph + weighted MWPM.

dQECTOR-Blossom LERPyMatching LERQECTOR µs/shotPyMatching µs/shotInterpretation
30.01170.01170.70.5LER parity
50.00890.008911.43.7LER parity
70.00530.005360.413.3LER parity
90.00290.0029311.519.7LER parity
110.00170.0017633.946.0LER parity
Honest latency note: PyMatching remains the latency leader for exact MWPM. QECTOR's value is reproducible workflow packaging, belief-matching accuracy mode, BP-OSD / LDPC support, and CPU/GPU batch workflows.

LER parity extends to tested d=13 and d=15 workloads

The adaptive-k fix restored d=15 logical-error-rate parity. At larger distances QECTOR's matching weight path is best described as near-exact adaptive-k, not universally bit-exact MWPM; the tested logical outcomes remain at parity.

dShotsQECTOR LERPyMatching LERErrors Q/PMQECTOR µs/shot
1320,0000.00100.001020 / 201437.3
1520,0000.00050.000510 / 103555.0

Lower observed LER on selected correlated workloads

Belief-matching runs BP on the hyperedge detector graph, preserving correlations that plain graphlike MWPM can discard, then reweights the matching problem. It is an accuracy mode and is slower than plain MWPM.

dPyMatching LERQECTOR belief LERReductionInterpretation
30.01120.01092.7%near parity at tiny distance
50.00840.005633.7%headline advantage
70.00530.003925.7%robust advantage

Multi-seed robustness

d=5, p=0.005, 8 independent seeds: belief-matching was better in 8/8 seeds with pooled LER reduction of 20.1%.

Seed × p grid

d=5, p=0.004/0.005/0.006, five seeds each: pooled reductions remain positive across the grid.

LDPC and qLDPC workflows beyond graphlike matching

Matching cannot decode codes whose mechanisms touch more than two detectors. QECTOR includes a BP-OSD workflow for arbitrary GF(2) check matrices and LDPC/qLDPC experiments.

CodepQECTOR BP-OSD LERldpc package LERResult
[[72,12]] bivariate-bicycle0.030.03700.0340within ~10% of reference

CPU/GPU consistency and bounded memory profile

GPU correctness

CUDA and OpenCL batch decoders were checked against the CPU reference across d=3..13 and batches up to 65,536 on an NVIDIA GTX 1660 Ti. Outputs were bit-identical and syndrome-faithful in the tested configurations.

Memory and scaling

Python-side peak allocation remains approximately flat in the hot path across d=3..11, while native/Rust memory is measured separately through RSS profiling.

Recommended verification path

Build and test

git clone https://github.com/qectorlab/qector-decoder.git
cd qector-decoder
pip install maturin
maturin develop --release --no-default-features
pip install -e ".[dev]"
pytest

Benchmark evidence folders

Use the repository folders docs/, benchmark_results/, artifacts/, and scripts/ for methodology, results, hashes, and reproducibility drivers.

Claims kept honest

Not a fastest-decoder claim.
PyMatching leads latency for exact MWPM on larger tested workloads.
Belief-matching is slower.
It lowers LER in selected correlated workloads but has per-shot rebuild cost.
Large-d MWPM wording matters.
Adaptive-k is near-exact at larger distances with LER parity in tested audits; do not market it as bit-exact everywhere.
Commercial use is not free.
QECTOR is source-available, not open-source. Commercial use requires a paid license.