混合量子-经典工作流中的观测不可区分性与完整性盲区
Observational Indistinguishability and Integrity Blind Regions in Hybrid Quantum-Classical Workflows
- Faculty of Engineering, University of Deusto（德乌斯托大学工程学院）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
针对混合量子-经典工作流完整性，提出基于主张的证据/参考框架，揭示观测不可区分性导致的结构性盲区，并验证不同完整性保障层级及统计检测方法的有效性。
AI中文摘要：
我们为混合量子-经典工作流完整性提出了一种基于主张的证据/参考框架。观测不可区分性会产生结构性盲区，这与有限批次统计遗漏不同。在所声明的格结构内，可信的同批次标量$R_0$足以保证结论完整性，聚合量$M_0$足以保证聚合及结论完整性，而逐项对齐绑定则保证项目身份。在3,600次标签干预中，特征/预测视图实现了精确的标签路径不变性；所有764个几何对齐的聚合盲行均与配对干净响应相等，攻击增量严格为零。对于统计响应，几何对齐构造使用共形规则检测到343/2,700次改变结论（$\ au \ o 0^+$）的标签干预，使用未校正并集检测到1,183/2,700次；原始冻结同项几何分别产生11/2,617和43/2,617次。执行的共形干净误操作率描述性为0.048--0.059；其有限样本保证要求可交换性，而重叠抽取设计违反了该条件。保留聚类的自适应压力测试（门A）在40个环境/分割单元中的25--40个内相对于匹配对照降低了响应，同时保留了结论变化。一个有界的165设计单元理想态向量和有限发射仿真分支直接实例化了语义、估计和观测核转换。固定等权设计既不能估计部署流行率，也不能估计QPU、提供商或部署服务的保证。
英文摘要：
We present a claim-relative evidence/reference framework for hybrid quantum-classical workflow integrity. Observational indistinguishability yields structural blind regions, distinct from finite-batch statistical misses. Within the declared lattice, a trusted same-batch scalar $R_0$ suffices for conclusion integrity, aggregate $M_0$ for aggregate plus conclusion integrity, and item-aligned binding for item identity. In 3,600 label interventions, feature/prediction views realize exact label-path invariance; all 764 geometry-aligned aggregate-blind rows equal their paired-clean responses, giving zero attack-only increment. For statistical response, the geometry-aligned construction detects 343/2,700 conclusion-changing ($τ\to 0^+$) label interventions with the conformal rule and 1,183/2,700 with the uncorrected union; the original frozen same-item geometry yields 11/2,617 and 43/2,617, respectively. The executed conformal clean false-action rates are 0.048--0.059 descriptively; its finite-sample guarantee requires exchangeability, which the overlapping-draw design violates. The cluster-preserving adaptive stress test (Gate A) reduces response versus matched controls in 25--40 of 40 environment/split cells while retaining conclusion changes. A bounded 165-design-cell ideal-statevector and finite-shot-emulation branch directly instantiates semantic, estimated and observed kernel transitions. The fixed equal-weight design estimates neither deployment prevalence nor QPU, provider or deployed-service assurance.
