[论文解读] Tight bounds for the quantum discord

Sixia Yu, Chengjie Zhang+2 more|arXiv (Cornell University)|Feb 7, 2011

Quantum Computing Algorithms and Architecture被引用 6

一句话总结

该论文为量子比特-量子多态系统中的量子失谐提供了可计算的紧致界，使得在局部酉变换下对7参数族的滤波X态可进行解析计算。这些界通过滤波密度矩阵和关联矩阵的本征值推导得出，应用于DQC1电路和二比特量子通道时，能精确捕捉零失谐条件，并证实冯·诺依曼测量的最优性。

ABSTRACT

Quantum discord quantifies quantum correlations beyond entanglement and assumes nonzero values, which are notoriously hard to compute, for almost all quantum states. Here we provide computable tight bounds for the quantum discord for qubit-qudit states. In the case of two qubits our lower and upper bounds coincide for a 7-parameter family of filtered $X$-states, whose quantum discords can therefore be evaluated analytically. An application to the accessible information of the binary qubit channel is also presented. For the qubit-qudit state output by the circuit of deterministic computation with one qubit, nontrivial lower and upper bounds that respect the zero-discord conditions are obtained for its quantum discord.

研究动机与目标

• 解决长期以来计算非零量子失谐的难题，因其涉及对所有测量的最小化而极为困难。
• 为量子比特-量子多态系统中的量子失谐提供可计算且紧致的上下界，尤其针对以往无法获得解析结果的状态。
• 确保这些界尊重已知的零失谐条件，如DQC1电路和二比特量子通道中的情况，以提升物理一致性。
• 实现对一大类两量子比特滤波X态的量子失谐的解析计算，超越以往有限的解析结果。
• 将这些界应用于量化物理相关场景中的量子关联，包括DQC1协议和量子通道中的可访问信息。

提出的方法

• 为可逆的量子比特约化态定义滤波密度矩阵 $\tilde{\varrho} = \frac{1}{\sqrt{2\varrho_A}} \varrho \frac{1}{\sqrt{2\varrho_A}} $，以简化失谐计算。
• 利用交换算符并对方程对量子多态子系统取迹，从两体关联结构构造一个 $4 \times 4$ 矩阵 $Q_{\varrho}$。
• 计算 $Q_{\varrho} - q\eta$ 的本征值 $q_1 \geq q_2 \geq q_3 \geq q_4$，其中 $\eta = \mathrm{diag}(1,-1,-1,-1)$，其计算复杂度与可逆性相当。
• 利用滤波态关联矩阵的最大本征值 $q_2(\tilde{\varrho})$ 和量子比特子系统冯·诺依曼熵，推导出量子失谐的紧致界。
• 对DQC1态使用界 $D_A(\varrho) \in \left[ \log_2 \frac{2}{1 + \alpha^2 \beta} - h(\alpha^2), \; h(\alpha^2 \beta) - h(\alpha^2) \right]$，其中 $h(x) = -x\log_2 x - (1-x)\log_2(1-x)$。
• 验证在零失谐条件（如 $\alpha=0$ 或 $\beta=1$）下界完全重合，确保物理一致性。

实验结果

研究问题

• RQ1 能否为一般量子比特-量子多态系统中的量子失谐推导出紧致且可计算的界，特别是在以往解析计算不可行的情况下？
• RQ2 对于哪些特定类型的两量子比特态（如滤波X态），量子失谐的上下界重合，从而实现解析计算？
• RQ3 所提出的界是否尊重已知的零失谐条件，例如在DQC1电路中当 $\alpha = 0$ 或 $\beta = 1$ 时 $D_A(\varrho) = 0$？
• RQ4 能否利用这些界确认在二比特量子通道可访问信息中，冯·诺依曼测量是最优的？
• RQ5 在DQC1协议等物理相关场景中，这些界的表现如何，而量子失谐被认为支撑了量子加速？

主要发现

• 对于在局部酉变换下的一族7参数滤波X态，量子失谐的上下界完全重合，从而实现精确的解析计算。
• 在DQC1电路中，推导出的界 $D_A(\varrho_u) \in \left[ \log_2 \frac{2}{1 + \alpha^2 \beta} - h(\alpha^2), \; h(\alpha^2 \beta) - h(\alpha^2) \right]$ 同时尊重两个零失谐条件：$\alpha = 0$ 和 $\beta = 1$。
• 当 $\alpha = 1$ 且 $\beta = 1/2$ 时，上界达到约0.6的峰值，并在 $\alpha = 0$ 或 $\beta = 1$ 时精确归零，确认了物理一致性。
• 这些界证实，在二比特量子通道中可访问信息的最优测量是冯·诺依曼测量，解决了长期悬而未决的问题。
• 该方法提供了一个通用框架，适用于经典关联和可访问信息，且可通过纯态形成纠缠的界，有望推广至一般双粒子态。
• 这些界是紧致且可计算的，相较于以往的数值估计或不敏感的解析估计有显著改进，尤其在DQC1协议等以往估计未能检测到零失谐的场景中表现突出。