Sufficient quantum provenance: retained fields and certified recording precision
Abstract
Quantum executions sharing a provenance record can produce different output distributions. We ask which execution details to retain, and at what precision, to guarantee agreement within a declared Hellinger tolerance. Under a specified channel model, we combine independent stochastic mechanisms and coherent rotation differences to certify recording precision without output simulation or explicit dependence on register dimension. For four-qubit quantum approximate optimization at depth one, a 13-bit comparison record suffices at tolerance 0.05 over a declared continuous noise range, uniformly in programmed angles for each fixed task. Pairwise separation constraints characterize sufficient field sets on finite context classes, exposing omissions that pass individually but fail jointly. Separately, six-qubit hardware measurements over six tested contexts certify minimum label counts of two for raw outputs and one after a fixed decoder, at tolerance 0.15 with 97\% simultaneous confidence under stationary independent shots. Execution records thereby carry checkable agreement guarantees.
Related
- Rigorously Certified Neural-Network Computation of Nonlinear Water Waves at Near-Machine Precision
- Quantum Darwinism through apparatus-mediated environmental recording
- Bidirectional Refractive-Index Programming via Three-Stage Sequential Thiol-Click Chemistry for High-Performance Holographic Recording
- Quantitative control and recording of materials-synthesis processes using an automated experimentation platform
- Nonequilibrium Broken-Symmetry States from Retained Observables
BibTeX
@misc{kourousias2026sufficient,
title = {{Sufficient quantum provenance: retained fields and certified recording precision}},
author = {George Kourousias and Sergio Carrato and Roberto Pugliese and Aljoša Hafner and Francesco Guzzi and Matteo Billè and Fulvio Billè and Panagiotis Dimitrakis},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.09931},
eprint = {2610.09931},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.09931},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Sufficient quantum provenance: retained fields and certified recording precision
AU - George Kourousias
AU - Sergio Carrato
AU - Roberto Pugliese
AU - Aljoša Hafner
AU - Francesco Guzzi
AU - Matteo Billè
AU - Fulvio Billè
AU - Panagiotis Dimitrakis
PY - 2026
DA - 2026/10/16
PB - arXiv
DO - 10.48550/arxiv.2610.09931
UR - https://arxiv.org/abs/2610.09931
AB - Quantum executions sharing a provenance record can produce different output distributions. We ask which execution details to retain, and at what precision, to guarantee agreement within a declared Hellinger tolerance. Under a specified channel model, we combine independent stochastic mechanisms and coherent rotation differences to certify recording precision without output simulation or explicit dependence on register dimension. For four-qubit quantum approximate optimization at depth one, a 13-bit comparison record suffices at tolerance 0.05 over a declared continuous noise range, uniformly in programmed angles for each fixed task. Pairwise separation constraints characterize sufficient field sets on finite context classes, exposing omissions that pass individually but fail jointly. Separately, six-qubit hardware measurements over six tested contexts certify minimum label counts of two for raw outputs and one after a fixed decoder, at tolerance 0.15 with 97\% simultaneous confidence under stationary independent shots. Execution records thereby carry checkable agreement guarantees.
ER -