量子达尔文主义的缺失作为安全量子通信与计算中的一种资源
Objectivity, basis ambiguity, and the classical simulability of concordant quantum computation
AI总结：
该研究发现量子达尔文主义的缺失可作为量子资源，既为零失谐谐和态量子电路的经典模拟难题提供关键解释，又能支撑安全量子通信协议，还从多维度厘清了量子-经典边界的划分依据。
摘要：
经典世界从底层量子力学中涌现的特征，不仅在于量子关联的消失，还在于客观性的展开，这一现象也被称为量子达尔文主义（quantum Darwinism）。我们证明，这种客观性的缺失在密码学中具有量子优势，同时也为零失谐（zero discord）量子电路的高效经典模拟提供了关键的缺失环节。为此，我们考虑一种混合态量子计算模型，该模型承诺在量子电路的所有阶段都处于谐和态（concordant state）。谐和量子态相对于任意子系统的失谐均为零，且存在一个由局域子系统正交归一基的张量积构成的基，在该基下密度矩阵是对角的。令人意外的是，谐和计算的高效经典模拟一直是量子信息论中一个悬而未决的问题。我们认为，高效经典模拟算法的一个关键要素——即多方态对角化所依据的局域基的信息——是由量子达尔文主义提供的。在量子达尔文主义缺失的情况下，谐和态无法通过现有方法高效模拟，并且在通信中具备密码学优势。我们通过提出一种利用这一洞见的安全量子通信协议来证明这一点。我们的工作还对量子-经典边界具有启示意义，我们讨论了从达尔文主义中涌现的客观性如何从三个方面划定这一边界：基于我们对客观性的观察与体验的经验层面、由于不存在任何量子关联的信息论层面，以及上述意义上的计算层面。最后，我们证明，由量子达尔文主义以及混合态量子计算中可高效模拟的内容所划定的量子-经典边界，与Hardy给出的边界相一致。
英文摘要：
Concordant quantum computations, in which circuits whose register carries zero quantum discord with respect to every subsystem at every step, contain neither entanglement nor any other form of quantum correlation, yet no efficient classical simulation of them is known beyond restricted gate sets. We argue that the obstruction is not a shortage of correlations but the absence of a uniquely identifiable local product basis, and we develop this \emph{basis ambiguity} on two fronts. Quantitatively, we introduce the Basis Ambiguity Measure $β\in[0,1]$, the normalized dimension of the manifold of admissible diagonalizing bases on a gate support, and prove a sharp equivalence: a concordance-preserving gate that defeats the Local Basis Finder of Cable and Browne exists if and only if $β>0$. Both directions are constructive. Physically, we identify the resource whose absence the obstruction is: \emph{basis objectivity}, a redundant and independently accessible record of the local basis. We show that an environment in spectrum broadcast form, together with the system--environment interaction map, replaces the NP-hard degeneracy test of Eastin by a fixed number of pairwise fragment comparisons per gate, at a cost independent of register size and circuit depth; the two ingredients live on different axes (state and dynamics), and neither alone suffices. We further prove that a theory in which every state has a strictly unique decomposition into perfectly distinguishable pure states has a simplex state space and lacks the continuity content of Hardy's fifth axiom, so that $β$ is a computational witness of that axiom.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
