两量子比特态导引的典型性

论文信息

标题: Typicality of Steering for Two-qubit States

作者: Gerard Anglès Munné, Paweł Cieśliński, Tamás Vértesi, et al.

发布日期: 2026-07-09

PDF 链接: 下载 PDF

研究背景与动机：从非定域性到量子导引

自爱因斯坦-波多尔斯基-罗森（EPR）提出关于量子力学完备性的著名悖论以来，对量子非经典关联的研究便成为理论物理和信息科学的核心议题。其中，贝尔非定域性和量子导引作为两类典型的非经典现象，不断深化着我们对物理世界的理解。量子导引描述了一种独特的场景：当两个参与者共享一个纠缠量子系统时，一方（通常称为 Alice）执行的测量能够以超越经典解释的方式影响另一方（Bob）的条件量子态。形式上，若观测到的关联无法用局域隐态模型解释，则称该量子态是 “可导引的”。与贝尔非定域性相比，量子导引的一个显著特征是其内在的非对称性——至少需要信任其中一方的设备。这一特性使其在量子密钥分发、子信道鉴别、随机数生成和量子隐形传态等协议中具有独特的资源价值。

尽管量子导引的重要性已得到广泛认可，一个根本性问题却长期悬而未决：对于一个普通的、未经特殊挑选的两量子比特态，在随机选择测量基矢的情况下，观测到导引现象的概率究竟有多大？换言之，量子导引作为一种资源，其 “典型性” 如何？本文《两量子比特态量子导引的典型性》正是围绕这一问题展开系统性研究。论文的动机在于，以往关于贝尔非定域性典型性的研究表明，随着测量设置数量或局域希尔伯特空间维度的增加，纯态的贝尔不等式违背几乎成为必然事件。那么，对于更具实际意义的混合态和有限测量设置，量子导引是否也表现出类似的普遍性？

核心方法与技术框架

随机测量与导引概率

为了量化导引的典型性，论文采用了随机测量框架。具体而言，对于给定的两量子比特态 $\varrho^{AB}$ 和 $m$ 个局域投影测量，测量算符通过 Haar 测度随机生成，其形式为 $M = U_H|0\rangle\langle 0|U_H^\dagger - U_H|1\rangle\langle 1|U_H^\dagger$ ，其中 $U_H$ 是均匀采样的 $SU(2)$ 矩阵。关键统计量——导引概率 $\mathcal{P}_S^{\{\mathcal{E},m\}}$ 被定义为在给定态系综 $\mathcal{E}$ 和测量设置数 $m$ 下，随机选择的态与随机测量组合中，那些不承认局域隐态模型的实例所占的比例。这一概率通过积分所有自由参数空间上的一个二值指示函数得到，函数值为 1 当且仅当半正定规划（SDP）判定不存在局域隐态模型。

半正定规划检测

导引的检测归结为判断一个 “导引组合” 是否允许如下的局域隐态分解：

\varrho_{a|x}^{B} = \int d\lambda \, p(\lambda) \, p(a|x, \lambda) \, \sigma_\lambda

在实际操作中，对有限测量和结果的情况，这一问题可转化为半正定规划问题。具体而言，构造一个最大化变量 $\mu$ 的优化问题，约束条件要求存在一组正算子 $\sigma_\lambda^B$ 使得 $\sum_\lambda D(a|x,\lambda)\,\sigma_\lambda^B = \varrho_{a|x}^B$ 且 $\sigma_\lambda^B - \mu \mathbb{1} \succeq 0$ 。若求得最优值 $\mu \geq 0$ ，则组合可用局域隐态模型解释，该态不可导引；若 $\mu < 0$ ，则模型不存在，量子导引得以显现。这一方法不依赖于任何特定的导引不等式，因而能够全面、无偏地评估态的导引能力。论文使用 Mosek 优化求解器通过 JuMP 接口执行这些 SDP 计算，对每个数据点采用了 $10^6$ 量级的随机样本，确保了千分之一的统计精度。

混合态系综的构造

针对混合态的典型性，论文采用了一种基于诱导测度的系综构造方法。给定一个从联合空间 $\mathcal{H}_A \otimes \mathcal{H}_B \otimes \mathcal{H}_C$ 中选取的 Haar 随机纯态 $|\Psi\rangle$ ，通过对 $k$ 维辅助系统 $C$ 取偏迹，得到两量子比特的混合态：

\varrho^{AB}_k = \text{Tr}_C\big[|\Psi\rangle\langle\Psi|\big]

这定义了系综 $\mathcal{E}_k$ 。当 $k=1$ 时得到纯态系综；当 $k=4$ 时，该分布与 Hilbert-Schmidt 测度一致，记为 $\mathcal{H}$ 。 $k$ 可被视为混合度的逆指标： $k$ 越小，态平均越纯。例如， $k=2$ 时，所有态均为秩 2 态，平均纯度较高。这些系综已知的纠缠态比例—— $\mathcal{E}_2$ 为 100%、 $\mathcal{E}_3$ 约为 92.8%、 $\mathcal{E}_4$ 约为 75.7%——为后续导引概率的比较提供了重要基准。

主要发现与结果解析

论文系统性地考察了多场景下的导引概率，并将导引区分为四种情形：双向导引（ $S_{AB}$ ）、单向导引（ $S_A$ 或 $S_B$ ）以及无导引（ $S_\emptyset$ ）。

在通用多设置场景下，对于最混合的 Hilbert-Schmidt 系综（ $k=4$ ），当仅有两个随机测量（ $m=2$ ）时，导引几乎不可能发生，双向导引概率接近于零。但随着测量设置数增加至 $m=10$ ，双向导引概率上升至约 10%，单向导引概率达到约 4%，而无导引情形从接近 100% 降至约 85%。这种缓慢增长表明，对于高度混合的态，导引远非典型现象。与之形成鲜明对比的是 $k=2$ 系综，该系综态具有最小的环境耦合。在 $m=2$ 时，双向导引概率便已达到约 10%；在 $m=10$ 时，双向导引概率急速攀升至约 63.2%，无导引概率则骤降至约 15%。更重要的是，在渐近极限 $m\rightarrow\infty$ 下，理论上所有此类态都将被证明是可导引的（ $\mathcal{P}_{S_\emptyset}^{\{\mathcal{E}_2, m \rightarrow \infty\}} = 0\%$ ），表明对于纯秩 2 混合态系综，导引成为了真正的普遍属性。 $k=3$ 系综的结果则介于二者之间，体现出平滑过渡。

一个显著的非单调特征出现在 $k=2$ 系综的单向导引概率曲线上：该概率从 $m=2$ 时的 10% 上升至 $m=4$ 时的峰值，随后又回落至 $m=10$ 时的 10%。这一现象可直观解释为：初始时，增加测量设置更有利于探测到导引；然而随着测量设置进一步增多，如果 Alice 能导引 Bob，那么 Bob 也极有可能能导引 Alice，这使得单向导引转变为双向导引，从而单向情形概率下降。

论文将导引概率与贝尔非定域性概率进行了直接对比，发现在所有测试的 $m$ 值下，导引概率均比对应设置下的非定域性概率高出至少一个数量级。例如，在 $m=10$ 的 Hilbert-Schmidt 系综中，贝尔不等式违背概率仅为 0.197%，而双向导引概率高达 9.233%。这一量化差距深刻揭示了两类非经典关联的本质区别：量子导引的资源远比贝尔非定域性丰富和普遍，对噪声和实验瑕疵更具鲁棒性。

特别地，针对 Werner 态 $\varrho_W(v) = v|\psi^-\rangle\langle\psi^-| + \frac{1-v}{4}\mathbb{1}_4$ ，论文推导出了导引概率的闭合解析解。在两测量设置情形下，当 $v > 1/\sqrt{2}$ 时，导引概率为 $\mathcal{P}_S = \sqrt{2v^2-1}/v^2$ ；在三测量且测量矢量限制在同一布洛赫球平面的情形下，导引概率由一个涉及反三角函数的定积分给出。这些解析结果精确标定了从无导引到有导引的临界阈值，并为数值计算的正确性提供了检验基准。

论文还探讨了在纯态上施加不同类型噪声时的导引鲁棒性。对于 Haar 随机纯态受各向同性退极化噪声影响的状态族，导引概率在所有方向上对称，但其值始终低于相同可见度下的 Werner 态。最为精妙的是，论文考虑了一种非对称噪声：

\varrho^{AB}(v) = v|\psi_H\rangle\langle\psi_H| + \frac{1-v}{2}(\mathbb{1}_2 \otimes \text{tr}_A(|\psi_H\rangle\langle\psi_H|))

通过构造一个巧妙的局域滤波算符 $F_B$ ，作者严格证明了对于任何非乘积态 $|\psi_H\rangle$ ，从 Alice 到 Bob 方向的导引性完全相同于具有相同可见度参数的 Werner 态。因此，尽管随机纯态是各异的，但此类特定噪声将其在 $A\rightarrow B$ 方向上的导引行为统一化，概率完全遵循 Werner 态的解析公式。而从 Bob 到 Alice 方向，其概率则系统性地偏低。这一发现揭示了滤波操作在揭示和操控导引非对称性中的强大作用。

创新贡献与未来展望

本研究的核心贡献在于首次提供了对混合两量子比特态在随机多设置测量下导引典型性的全面定量刻画。它填补了从纯态贝尔非定域性典型性研究到更一般的混合态导引资源评估之间的空白。研究发现不仅证实了导引比贝尔非定域性普遍得多，更重要的是量化了这种普遍性如何依赖于态的混合度和测量设置数量。特别是对于仅最低限度与环境耦合的态（ $k=2$ 系综），导引在中等数量（ $m=10$ ）的随机测量下便已成为主导性特征，这一结论对实际量子信息协议具有重要指导意义。

从实践角度而言，本研究为量子通信和计算任务的设计提供了明确指引。鉴于量子导引在一方设备不可信场景下的关键应用，了解导引概率意味着可以评估随机选取的态在未经精密校准的测量装置中成功执行协议（如单边设备无关量子密钥分发）的可能性。例如，在需要引导作为资源的协议中，优先采用 $k=2$ 系综中的态比使用 Hilbert-Schmidt 系综中的态，能指数级地提高成功概率。此外，论文对非对称噪声模型的分析表明，通过简单的局域滤波操作，可以主动塑造和统一态的导引特性，使其从随机行为转变为确定的、等价于 Werner 态的行为。这为实验中控制和稳定量子资源提供了一种可行策略。

未来研究有几个极具潜力的延伸方向。首先是维度扩展，将当前的两量子比特分析推广到高维量子系统（qudits）和多体系统，探索导引典型性是否像贝尔非定域性一样，随系统维度增大而趋于普遍。其次是测量优化，本研究依赖于 Haar 随机投影测量，未来的工作可探寻是否存在能最大化特定态族导引概率的优化测量基矢或广义量子测量（POVM）。最后，与实验中关键指标——如探测效率、态制备和测量保真度——的结合分析，将使得典型性研究更贴近实际物理平台，为在噪声中级量子设备上可靠地开发导引资源绘制出更精确的路线图。总结而言，这项工作确立了两量子比特系统中量子导引作为一项丰富且易得的资源，进一步巩固了其在量子技术核心工具箱中的地位。