Geometry-Aware Learned Syndrome Recovery

A four-paper program on recovering signals from algebraic syndrome constraints — when learned proposals help, and when exact algebra hurts.

B. Guarraci, Galatheus · source repository · preprint PDFs, interactive tutorials, and reproduction commands below

Start here

Tutorials and animations are the front door

Use the guided tutorials for the argument, then open the browser animations to poke directly at the lattices, decoders, capacity knees, and gauge constraints.

Guided tutorials

Self-contained explanations for each paper, written to make the assumptions, claims, and numerical evidence checkable before reading the PDFs.

Interactive animations

Library-free canvas widgets for the core mechanisms: fracton quadruples, matching paths, parity gates, rate-distortion curves, and decoder scoreboards.

The one idea to hold onto A syndrome rarely specifies a single answer — it defines a large coset of feasible solutions. Exact algebraic constraints define that feasible set, but they do not by themselves define the right decoder. Successful learned recovery needs an architecture whose inductive bias matches the geometry of the residual uncertainty.
X-cube scaling plot: the learned AxisLineonHead decoder per-sector logical error rate improves with code size at p = 0.03, while standard baselines do not show the same scaling trend.

Headline result: a structure-aware learned decoder for the X-cube fracton code. Per-sector logical error rate improves from \(L=3\) through \(L=10\) at \(p=0.03\), where generic baselines do not show the same scaling trend.

Read the series

Each paper studies how algebraic constraints and learned neural proposals interact on 3D lattices. For the shortest path to the main result, start with the X-cube fracton paper and read the other three as foundations and controls. Every paper ships a PDF, a guided tutorial, and interactive animations you can run in the browser.

Headline result

1. Structure-Aware Neural Decoding for the X-Cube Fracton Code

The X-cube code has subdimensional lineon structure. An AxisLineonHead aggregates evidence along the logical line geometry instead of flattening the problem into a generic 3D classifier — and scales favorably with code size where matching baselines struggle.

Positive-control QEC study

2. Sizing and Capacity Boundaries for Surface-Code QEC

Pure spatial 3D convolutional decoders have measurable capacity knees. Multi-seed results compare classic and LC0-style residual blocks against paired MWPM across distances and physical error rates — mapping where learned decoders win, and where the capacity boundary becomes visible.

Algebraic foundation

3. Gauge Structure and Architectural Inductive Bias

The corrected axial-parity voxel codec has codespace \(\mathrm{image}(d_x d_y d_z)\) — a discrete \(\mathbb{Z}_2\) fracton gauge structure. But hard-coding that exact algebra into the architecture underperforms a more flexible multi-scale bottleneck prior.

Classical diagnostic

4. Constraint Locality in Learned Syndrome Decoding

In 3D voxel compression, the useful constraints are local, overlapping, and content-aware. Targeted belief propagation and local surface checks refine a strong learned proposal, while hard high-weight global parity projections can erase the spatial information the model relies on.

The shared thesis

Exact algebraic constraints define the feasible set, but they do not by themselves define the right decoder. Successful learned recovery requires an architecture whose inductive bias matches the geometry of the residual uncertainty.

Read conceptually, the sequence runs: gauge theorem → constraint locality → surface-code capacity → X-cube fracton decoding — from algebraic structure, to the classical learned-recovery design rule, to ordinary topological QEC, and finally to the nonlocal/subdimensional fracton case.

Reproduce the artifacts

The repository contains source code, preprint PDFs, tutorials, selected figures, canonical result JSONs, and exact commands for the retained paper artifacts. Install dependencies, then run the smoke checks:

python3 -m pip install -r requirements.txt

# X-cube fracton — fast structural verification
cd fracton_xcube
python3 reproduce_xcube_results.py --verify-only --Ls 2 3 --out /tmp/xcube_verify.json

# Gauge theorem — closed-form codespace check
python3 verify_fracton_theorem.py

# Surface-code QEC — reproduce from checked-in multi-seed JSON
cd ../surface_code_qec
python3 reproduce_qec_results.py --results-dir data/qec_clean_knee_multiseed_json \
  --distances 3,5,7,9,11 --seeds 42,43,44 --out /tmp/qec_reproduction.json

# Voxel compression — baseline reproduction
cd ../voxel_compression
python3 reproduce_results.py --baselines-only --n-samples 1 --out /tmp/voxel_reproduction.json

See REPRODUCIBILITY.md for the full command map and per-module guides. Lightweight smoke/verification runs reproduce from source; paper figures and numerical summaries reproduce from canonical result JSONs; full ShapeNet-based compression and large training sweeps require external datasets and checkpoints not committed to the repo.