发表机构
Elettra Sincrotrone Trieste; University of Trieste; National Centre of Scientific Research “Demokritos”（的里雅斯特Elettra同步辐射光源; 的里雅斯特大学; “德谟克利特”国家科学研究中心）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文提出量子计算充分记录的定义，通过Hellinger距离和电路派生证书确定记录精度，并证明四比特QAOA中13位记录及四字段最小保留，硬件实验验证了不同标签计数需求。
AI 中文摘要
量子计算必须保留哪些执行细节，以及保留到什么精度，才能支持所声明的比较？我们通过共享该记录的结果定律之间的最大Hellinger距离来定义充分记录。我们的主要结果是针对连续记录精度的电路派生证书：独立的信道混合概率通过潜在噪声标志的亲和度（affinity）进入，而相干旋转差异通过条件量子保真度进入。它们的联合组合界定了整个记录单元，而无需模拟其结果分布。对于深度为一的四比特QAOA，一个13比特的比较记录保证在整个声明的连续噪声盒内距离低于0.05，并且在比较保持逻辑任务固定时，对编程角度一致地成立。一种具有可观测噪声标志的构造达到了通用界。Hellinger亲和度的精确张量化将记录精度与未来测量转录的长度联系起来。在有限上下文类上，分离见证者（separation witnesses）证明最小成本字段保留；对于28个存档的QAOA实例，四字段记录是唯一的最小值。新的六比特处理器测量在一种常见容差下确立了不同的最小标签计数：对于原始定律，两个标签是必要且充分的，而在固定解码器后，对于合成图像分割任务，一个标签就足够了。这些硬件结论以平稳独立射击为条件，并且与分析信道证书保持不同。共享任务定义和证据档案被分别保留。该框架指定了哪些执行区分重要、如何精确记录它们，以及什么证据支持由此产生的协议保证。
英文摘要
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-mixture probabilities enter through the affinity of latent noise flags, while coherent rotation differences enter through conditional quantum fidelity. Their joint composition bounds whole record cells without simulating their outcome distributions. For four-qubit QAOA at depth one, a 13-bit comparison record guarantees distance below 0.05 throughout a declared continuous noise box, uniformly over programmed angles when comparisons hold the logical task fixed. A construction with observable noise flags attains the general bound. Exact tensorization of Hellinger affinity connects recording precision to the length of a future measurement transcript. On finite context classes, separation witnesses certify minimum-cost field retention; a four-field record is the unique minimum for 28 archived QAOA instances. Fresh six-qubit processor measurements establish different minimum label counts at one common tolerance: two labels are necessary and sufficient for raw laws, while one suffices after a fixed decoder for a synthetic image-segmentation task. These hardware conclusions are conditional on stationary independent shots and remain distinct from the analytic channel certificate. Shared task definitions and evidential archives are retained separately. The framework specifies which execution distinctions matter, how precisely to record them, and what evidence supports the resulting agreement guarantee.
Comments11 pages; 15-page Supplemental Material available as an ancillary file. Supporting data and code: https://doi.org/10.34965/enodo.i61153. v2: Added discussion and citation of prior work on context-dependent errors. Scientific results unchanged
