Preprint
Oct 2026
Sufficient quantum provenance: retained fields and certified recording precision
Which execution details must a quantum computation retain, and to what precision, to support a declared comparison? We define a sufficient record by the largest Hellinger distance between outcome laws that share it. Our main result is a circuit-derived certificate for continuous recording precision: independent channel...
G. Kourousias, Sergio Carrato, Roberto Pugliese et al.
· 0 citations