加密冗余作为诊断资源：量子加密克隆中的关系诊断
Encrypted Redundancy as a Diagnostic Resource: Relational Diagnosis in Quantum Encrypted Cloning
- University of Milano-Bicocca（米兰比可卡大学）
- INSA of Lyon（里昂国立应用科学学院）
- University of Milano（米兰大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本研究提出利用量子加密克隆中的冗余进行一次性故障诊断，通过测量关系型泡利可观测量定位错误并识别错误类别，建立了状态盲可观测量框架，实现以最小测量资源确保安全赎回路径的关系可诊断性。
AI中文摘要：
量子加密克隆将未知状态编码为多个加密分量，每个分量提供了日后恢复该状态的替代途径。我们证明，这种冗余还可用于一次性故障诊断：无需检查加密状态，而是测量关系型泡利可观测量，以检验由编码所施加的一致性条件。经典的Yamaguchi--Kempf方案将输入编码为n个信号-密钥对，所有对都携带相同的相干贝尔标签，外加输入量子比特的一个变换副本。比较两对的标签可产生确定性检查，该检查能定位异常对并识别其泡利错误类别，而不泄露标签。此类检查无法判断该对中的信号还是密钥有故障，并且对这两对进行的任何测量都无法做到（我们证明它们已经生成支持在该处的整个确定性状态盲可观测量群，秩为2(n-1)）。这种模糊性至关重要：有故障的信号会损失一条赎回路径，而有故障的密钥则威胁所有路径。然而，保留变换后的输入量子比特恰好贡献了两个额外的独立检查，无论多重性如何，这些检查足以识别来自单量子比特泡利集的任何单一故障。对于三个克隆，这总共给出六项检查，我们证明没有更小的状态盲可观测量集合能达到相同的分辨率。在克隆多重性之间，奇偶性决定了必须联合测量多少分量才能达到此分辨率，而非分辨率本身。这些发现随后被抽象为一个通用框架——状态盲可观测量、确定性健康参考、综合征诱导的故障划分、面向赎回的充分性——从而产生关系可诊断性：综合征无需识别每个故障，只需识别足够多的故障以选择一条安全的赎回路径。
英文摘要：
Quantum encrypted cloning encodes an unknown state into several encrypted components, each offering an alternative way to recover it later. We show that this redundancy can also serve for one-shot fault diagnosis: instead of inspecting the encrypted state, we measure relational Pauli observables testing consistency conditions imposed by the encoding. The canonical Yamaguchi--Kempf scheme encodes the input into \(n\) signal--key pairs, all carrying the same coherent Bell label, plus a transformed copy of the input qubit. Comparing the labels of two pairs yields a deterministic check that localizes an anomalous pair and identifies its Pauli-error class without revealing the label. Such checks cannot tell whether the signal or the key of that pair is faulty, and no measurement on the pairs can (we prove that they already generate the whole group of deterministic state-blind observables supported there, of rank \(2(n-1)\)). This ambiguity matters: a faulty signal costs one redemption path, a faulty key threatens them all. However, retaining also the transformed input qubit contributes exactly two further independent checks, at any multiplicity, and these suffice to identify any single fault drawn from the single-qubit Pauli set. For three clones this gives six checks in all, and we prove that no smaller set of state-blind observables achieves the same resolution. Across clone multiplicities, parity governs how many components must be measured jointly to reach this resolution, not the resolution itself. These findings are then abstracted into a general framework --- state-blind observables, deterministic healthy references, syndrome-induced fault partitions, redemption-oriented sufficiency --- yielding \textit{relational diagnosability}: a syndrome need not identify every fault, only enough of it to select a safe redemption path.
