[论文解读] Achieving the Holevo bound via sequential measurements

Vittorio Giovannetti, Seth Lloyd+1 more|DSpace@MIT (Massachusetts Institute of Technology)|Dec 2, 2010

Quantum Computing Algorithms and Architecture参考文献 1被引用 8

一句话总结

本文提出了一种用于量子信道中经典通信的序列测量解码策略，该策略在渐近意义上达到了 Holevo 界——即经典信息传输的理论最大速率。通过对接收的量子码字执行一系列投影型是/否测量，该方案在长码字的渐近极限下实现了趋于零的错误概率，提供了一种比精致测量（PGM）方法更简单、更直观的替代方案，技术复杂度更低，且具有更好的实际实现潜力。

ABSTRACT

We present a new decoding procedure to transmit classical information in a quantum channel which, saturating asymptotically the Holevo bound, achieves the optimal rate of the communication line. Differently from previous proposals, it is based on performing a sequence of (projective) YES/NO measurements which in N steps determines which codeword was sent by the sender (N being the number of the codewords). Our analysis shows that as long as N is below the limit imposed by the Holevo bound the error probability can be sent to zero asymptotically in the length of the codewords.

研究动机与目标

• 提出一种新的解码程序，使经典通信在量子信道中渐近达到 Holevo 界。
• 用基于投影型是/否测量的序列测量策略替代传统的精致测量（PGM）。
• 通过避免 PGM 及相关方案的技术复杂性，简化量子解码的分析与理解。
• 阐明纠缠在解码中的作用，并证明实际实现的可行性。
• 基于典型子空间理论和量子假设检验，建立使用序列检测框架证明 Holevo 界渐近可实现性的正式证明。

提出的方法

• 该方案使用一系列投影型是/否测量，依次检验接收到的量子态是否与 N 种可能的码字之一匹配。
• 在每一步中，测量检查该态是否投影到对应于特定码字的子空间，当出现阳性结果时过程终止。
• 解码策略通过一系列投影算子 $ P_{\vec{j}_k} $ 形式化表示，其中 $ \vec{j}_k $ 表示序列中的第 k 个码字。
• 通过典型子空间论证和量子假设检验技术，对所有码字和所有可能码本的平均错误概率进行分析。
• 引入关键算子如 $ W_0 = \sum_{\vec{j}} p_{\vec{j}} P_{\vec{j}} $ 和 $ \bar{W}_0 = \openone - W_0 $，以界定错误概率并分析收敛性。
• 证明依赖于信息光谱法和量子典型性推导出的不等式，表明当 $ N $ 低于 Holevo 限制时，错误概率呈指数衰减。

实验结果

研究问题

• RQ1 序列测量策略是否能在量子通信信道中实现 Holevo 界？
• RQ2 在长码字的渐近极限下，该序列解码方案的错误概率行为如何？
• RQ3 在可实现通信速率方面，码字数量 $ N $ 与 Holevo 界之间存在何种关系？
• RQ4 与精致测量（PGM）相比，该序列方法在复杂度、可解释性和实用性方面有何差异？
• RQ5 纠缠和测量结构在实现 Holevo 界渐近饱和中的作用是什么？

主要发现

• 序列测量方案渐近达到 Holevo 界，当码字长度 $ n \to \infty $ 时，平均错误概率收敛于零。
• 当码字数量 $ N $ 低于 Holevo 界所施加的限制时，错误概率呈指数衰减，即当 $ N \leq 2^{n(\chi(\mathcal{E}) - \delta)} $ 时，$ \delta > 0 $ 为小量。
• 该方案避免了精致测量（PGM）所需的复杂优化，提供了更简单、更直观的解码程序。
• 分析表明 $ \mathrm{Tr}[W_1 P] > 1 - 2\epsilon' $，在典型子空间条件下确认了对正确码字识别的高成功率。
• 不等式 $ \mathrm{Tr}[W_1 \bar{W}_0^z] \leq \mathrm{Tr}[W_1 \bar{W}_0^{z-1}] \cdot 2^{-n(\chi(\mathcal{E}) - 2\delta)} $ 表明错误项呈指数衰减，确保收敛至零。
• 该方法使用常规技术提供了渐近可实现性的正式证明，同时在序列假设检验的视角下提供了直观的解释。