Open research library
Papers you can read, cite and question
710 papers from the QNFO program, filed on nine shelves by the reader each one is written for: energy per answer, error correction, physics, numbers and p-adics, logic and formalism, AI and knowledge, autonomous systems, assessments, and cross-cutting essays. Every page renders its mathematics and can be questioned in place. How a living paper works.
Looking for an answer rather than a paper? Ask the whole corpus: answers cite the papers they come from.
Error correction papers 1 paper
Error-correction researchers and quantum hardware teams. Codes, decoders and the cost of keeping a logical qubit alive: stabilizer, surface, LDPC, concatenated and ultrametric constructions, fault-tolerance thresholds, leakage, syndromes and circuit mapping onto real hardware.
Proof assistants. Machine-checked proofs (Lean, Isabelle, Coq) Tagged papers: 12.
Error Confinement Theorem for Ultrametric Decoders and Its Implications for Quantum Error Correction
Fault‑tolerant quantum computing is impeded by the large qubit overhead required for active quantum error correction (QEC). Existing decoders either lack rigorous hierarchical guarantees or incur computational costs that scale with the full syndrome volume. We model a symmetric decoder with $p\ge 3$…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.