Open research library
Papers you can read, cite and question
728 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.
Results for “error correction” 2 papers
Formal verification. Contracts, assertions and verified implementations Tagged papers: 33.
BQP_physical: Bounding Universal Quantum Computation under Correlated Noise and Causality Constraints
Universal gate‑based quantum computers promise exponential speed‑ups for problems such as integer factorisation, yet commercial‑scale devices remain absent. The gap originates from physical limits that are not captured by the abstract class BQP. We formalise a new class BQP_physical that…
Holographic Quantum Error Correction as AdS/CFT Renormalization‑Group Flow on Bruhat–Tits Trees: A Conditional Threshold Analysis at $10^{-4}$
Quantum error‑correction (QEC) thresholds determine whether physical error rates can be suppressed to arbitrarily low logical error probabilities. A recent proposal encodes logical information as a renormalization‑group (RG) flow on a $p$‑adic Bruhat–Tits tree $\mathcal{T}_p$, with a bosonic…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.