[论文解读] On quantum channels

Frank Verstraete, Henri Verschelde|ArXiv.org|Feb 21, 2002

Quantum Information and Cryptography参考文献 38被引用 23

一句话总结

本文建立了量子通道与量子态之间的对偶性，表明定义在输入与输出希尔伯特空间张量积上的对偶态，编码了完全正（CP）映射的所有性质。通过利用纠缠理论，作者表征了极值CP映射，通过纠缠态的规范形式参数化了比特通道，并利用concurrence和熵优化推导出经典容量的精确表达式，揭示了当使用两个纯态输入时，经典容量达到最大。

ABSTRACT

One of the most challenging open problems in quantum information theory is to clarify and quantify how entanglement behaves when part of an entangled state is sent through a quantum channel. Of central importance in the description of a quantum channel or completely positive map (CP-map) is the dual state associated to it. The present paper is a collection of well-known, less known and new results on quantum channels, presented in a unified way. We will show how this dual state induces nice characterizations of the extremal maps of the convex set of CP-maps, and how normal forms for states defined on a Hilbert space with a tensor product structure lead to interesting parameterizations of quantum channels.

研究动机与目标

• 通过双态构造统一描述量子通道，将CP映射与纠缠态联系起来。
• 利用对偶态形式化方法表征迹保持CP映射凸集的极值点。
• 利用量子通道与双粒子态之间的对偶性，推导参数化形式并计算经典容量。
• 建立经典容量与纠缠度量（如concurrence）之间的直接对应关系，适用于比特通道。
• 通过纯态系综上的优化，提供一种构造性方法，用于计算极值比特通道的经典容量。

提出的方法

• 对偶态定义为 $ \rho_{\Phi} = I_n \otimes \Phi(|I\rangle\langle I|) $，其中 $ |I\rangle $ 为未归一化的最大纠缠态。
• $ \rho_{\Phi} $ 的特征值分解可导出Kraus算符 $ A_i $，从而通过 $ \Phi(X) = \sum_i \lambda_i A_i X A_i^\dagger $ 参数化CP映射。
• 通过在纯态系综上优化Holevo信息来计算经典容量，结果简化为concurrence $ C $ 和输出熵 $ S(\Phi(\rho)) $ 的函数。
• 对于秩-2比特通道，最优输入系综由两个纯态构成，最优分解通过涉及 $ A_1^T\sigma_y A_2 - A_2^T\sigma_y A_1 $ 的矩阵的奇异值分解求得。
• 容量公式推导为 $ S(\Phi(\rho)) - f(C) $，其中 $ f(C) $ 依赖于concurrence $ C $，且优化针对系综平均 $ \rho $ 进行。
• 该方法利用混合双粒子态与量子通道之间的对偶性，将容量计算重新表述为类似纠缠熵的优化问题。

实验结果

研究问题

• RQ1 如何利用对偶量子态表征完全正映射的集合？
• RQ2 纠缠在量子通道对偶态中扮演什么角色，它与通道的极值性有何关联？
• RQ3 能否使用纠缠理论工具精确计算极值比特通道的经典容量？
• RQ4 在一量子比特通道中，使Holevo信息最大化的最优输入系综是什么？
• RQ5 对偶态的concurrence与量子通道的经典容量之间有何关系？

主要发现

• 对偶态 $ \rho_{\Phi} $ 完全表征任意CP映射，其纠缠性质直接反映通道的结构。
• 迹保持的极值CP映射对应于对偶空间中的纯态，其Kraus算符由 $ \rho_{\Phi} $ 的特征向量导出。
• 对于极值比特通道，当使用两个纯态输入系综时，经典容量达到最大，且最优分解可通过奇异值分解构造性地确定。
• 经典容量表达为 $ S(\Phi(\rho)) - f(C) $，其中 $ C $ 为矩阵 $ X^T(A_1^T\sigma_y A_2 - A_2^T\sigma_y A_1)X $ 的concurrence，$ f(C) $ 为concurrence的函数。
• 通过将对称矩阵的特征向量与奇异向量对齐，可找到最优输入态，从而确保旋转后矩阵的对角元素为零。
• 比特通道的经典容量可通过三参数优化进行数值计算，而对偶态形式化方法使得在秩-2情况下可实现精确的解析处理。