Composing Detector Error Models
Abstract
Fault-tolerant quantum programs thread together reusable logical operations, yet correcting errors requires comparing measurements across operation boundaries. Correlations tie each operation's error analysis to the computation around it. Adaptive computation makes this a runtime challenge: measurement results determine which operation comes next, so the error analysis must keep pace with execution. We introduce extended detector error models (EDEMs), which compose in sequence and in parallel, mirroring the composition of physical realizations and their detector contracts. We prove how detectors, the measurement parities used to diagnose errors, can be split across circuit boundaries, and establish conditions under which composition recovers the assembled circuit's detector error model. This structure supports symbolic precompilation and analysis of entire families of circuits. It also defines error models for decoding windows and the boundary information through which committed corrections affect subsequent windows. The same interface thus connects the design of individual logical operations to the decoding of an unfolding quantum program.
Related
- Discovering correlated error mechanisms: data-driven augmentation of detector error models improving decoding
- FTWeave: Composing Logical Execution, Real-Time Decoding, and Magic-State Supply in Tightly Integrated Quantum-Classical Systems
- Machine learning for advancing gamma source localization in a human phantom using NaI (Tl) detector spectra in radiobioassay
- Realization of a Primary Irradiance Scale for Solar irradiance Measurements based on a Predictable Quantum Efficient Detector and a Quasi-Monochromatic Portable Tunable Source.
- Polarization-insensitive high-efficiency superconducting nanowire single-photon detector
BibTeX
@misc{kliuchnikov2026composing,
title = {{Composing Detector Error Models}},
author = {Vadym Kliuchnikov and Justin Lietz and Fernando Pastawski},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.13087},
eprint = {2609.13087},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.13087},
}
RIS
TY - UNPB
TI - Composing Detector Error Models
AU - Vadym Kliuchnikov
AU - Justin Lietz
AU - Fernando Pastawski
PY - 2026
DA - 2026/09/11
PB - arXiv
DO - 10.48550/arxiv.2609.13087
UR - https://arxiv.org/abs/2609.13087
AB - Fault-tolerant quantum programs thread together reusable logical operations, yet correcting errors requires comparing measurements across operation boundaries. Correlations tie each operation's error analysis to the computation around it. Adaptive computation makes this a runtime challenge: measurement results determine which operation comes next, so the error analysis must keep pace with execution. We introduce extended detector error models (EDEMs), which compose in sequence and in parallel, mirroring the composition of physical realizations and their detector contracts. We prove how detectors, the measurement parities used to diagnose errors, can be split across circuit boundaries, and establish conditions under which composition recovers the assembled circuit's detector error model. This structure supports symbolic precompilation and analysis of entire families of circuits. It also defines error models for decoding windows and the boundary information through which committed corrections affect subsequent windows. The same interface thus connects the design of individual logical operations to the decoding of an unfolding quantum program.
ER -