[论文解读] Correcting quantum channels by measuring the environment

Patrick Hayden, Christopher King|ArXiv.org|Sep 3, 2004

Quantum Computing Algorithms and Architecture参考文献 3被引用 11

一句话总结

本文研究通过环境测量实现量子信道纠错，表明所有量子比特信道的校正容量均为 log 2，意味着通过基于测量的纠错可实现完美信息恢复。本文证明，无论维度如何，每个量子信道的校正容量至少为 log 2，确立了利用环境监测和自适应纠错从噪声信道中恢复信息的 fundamental 下限。

ABSTRACT

The corrected capacity of a quantum channel is defined as the best one-shot capacity that can be obtained by measuring the environment and using the result to correct the output of the channel. It is shown that (i) all qubit channels have corrected capacity log 2, (ii) a product of N qubit channels has corrected capacity N log 2, and (iii) all channels have corrected capacity at least log 2. The question is posed of finding the channel with smallest corrected capacity in any dimension d.

研究动机与目标

• 定义并分析量子信道的校正容量，即通过测量环境并应用条件校正所能实现的最大单次容量。
• 确定在无纠缠或联合处理的情况下，环境测量是否能显著提升噪声量子信道的性能。
• 为所有量子信道建立校正容量的紧致边界，特别是确定任意维度 d 下可能的最小校正容量。
• 探讨校正容量作为可恢复信息度量的实用意义，与 Holevo 容量等其他度量进行对比。

提出的方法

• 将校正容量 $ C_{\text{corr}}(\Phi) $ 定义为所有 Kraus 表示 $ \mathcal{A} \in \mathcal{K}(\Phi) $ 和校正映射 $ \mathcal{R} $ 上的上确界，最大化校正信道 $ \Phi_{\mathcal{A},\mathcal{R}} $ 的单次香农容量。
• 利用任意信道均可由系统与环境之间的酉相互作用产生，且 Kraus 算符 $ A_k $ 可通过酉演化后对环境取部分迹得到的事实。
• 应用 Walgate 等人提出的 LOCC（本地操作与经典通信）结果：在复合系统中，任意两个正交纯态均可通过局部测量完美区分。
• 构造一种特定的 Kraus 表示，使得每个算符的第一列与第二列正交，从而可通过测量结果完美区分两个正交输入态。
• 对 Kraus 算符施加酉变换，以确保编码列内积矩阵 $ M(B) $ 的所有对角线元素为零，从而保证第一、二列的正交性。
• 利用数学事实：任意迹为零的矩阵均可通过酉变换使所有对角线元素为零，该方法应用于 $ M(A) $ 以构造所需的 Kraus 表示。

实验结果

研究问题

• RQ1 量子信道引入的噪声是否可通过测量环境并应用条件校正来纠正？
• RQ2 对于任意给定的量子信道，通过环境测量与输出校正所能实现的最大单次容量是多少？
• RQ3 在给定维度 d 下，所有信道中校正容量的最小值是多少？哪些信道达到该下界？
• RQ4 是否存在一个适用于所有量子信道的通用下限，使其校正容量不依赖于其结构？
• RQ5 是否所有量子比特信道均可仅通过环境测量与经典反馈实现全容量（log 2）校正？

主要发现

• 所有量子比特信道的校正容量恰好为 $ \log 2 $，意味着通过测量环境并应用校正映射，可实现完整的单次容量。
• N 个量子比特信道的乘积具有 $ N \log 2 $ 的校正容量，表明独立量子比特信道的校正容量具有可加性。
• 无论维度如何，每个量子信道的校正容量至少为 $ \log 2 $，确立了通用下限。
• 存在一种 Kraus 表示，使得每个算符的第一列与第二列正交，从而确保在纠错后可完美区分两个正交输入态。
• 对于任意信道，均可找到合适的酉变换作用于 Kraus 算符，使列内积矩阵的对角线元素全为零，从而保证列对的正交性。
• 校正容量在所有维度下均有 $ \log 2 $ 的下界，而 $ d > 2 $ 时精确的最小校正容量 $ C_{\text{corr}}(d) $ 仍为开放问题。