《量子信息论的公开问1.docVIP

量子信息论的公开问题 摘要 人们在量子信息论中描述了很多公开性的问题。它们中的大部分是在2007年2月11日到16日于班芙的班夫国际研究站算子结构研讨会上发表的。考虑到最近针对p范数可乘性的一些反例，新的材料已被添加了进来。 目录 1 CPT映射的极点 2 2 CPT映射的凸分解或一个分块矩阵的Horn引理的推广 3 3 广义去极化信道 6 3.1去极化沃纳-霍尔沃信道 6 3.2 广义去极化的发展前景 7 4 随机次酉信道 8 4.1 d=3 8 4.2 d3 9 5 可加性与可乘性的猜想 10 5.1引言 10 5.2 猜想 11 5.3 寻找反例 12 5.4 具体的可乘性问题 14 5.5 还原到极点 14 5.6 新的反例及其意义 15 6 相干信息和可分解性 17 7 N可表示性的定域不变量 18 1 CPT映射的极点 在量子信息理论中，信道以一个cpt映射来表示，它经常被写作Choi-Kraus式的形式： ，其中 (1) 的典型状态或choi矩阵是： (2) 其中是一种最大纠缠Bell状态。Choi[10]表明Ak能通过非零特征值从的特征向量中获得。我们知道公式(1)中的算子Ak被定义为仅取决于局部等距并且经常被叫做Kraus算子。当一个最小集用Choi的方法获得，该方法使用（2）中的特征向量，它们被定义为退化特征值的混合形式并且我们将它们作为Choi-Kraus算子。Choi表明当且仅当集合在点线性独立时是一个CPT映射集合的极值点。这表明一个极值CPT映射的Choi矩阵有最大为的秩。我们把（2）的秩叫做的Choi秩（注释：这和作为从到的线性算子的秩是不同的） 考虑所有Choi秩小于等于d1的CPT映射集是有用的。在47]中这些集被称作“广义极点”并且表现的与量子比特映射的极点集合闭包等价。通常情况下这是正确的1。设表示从到的CPT映射的凸集极点 。 定理 1. CPT映射的极点集合的闭包正是Choi秩最大为的映射的集合。 证明：设为Choi-Kraus算子，其映射为Choi秩的映射，非极值。设为Choi-Kraus算子，一个Choi秩为的真极值点。当时通过令,(m=r+1，r+2,…d1)且定义来扩展。存在一个数*使得矩阵在上线性独立。来看这，对每个“叠加” 纵列来赋予一个长度为的矢量并令表示以这些矢量构成列的矩阵。然后令行列式为一个度数为的多项式，此多项式有至多个相异根。因为矩阵被假定为线性相关，那么其中一个根为0；它满足以为第二大的根（或者如果没有正根的话则+1）。因此，算子在上线性无关。映射是CP，其中。 对于足够小的，算子是半正定可逆的，并且映射是一个CPT映射，其Krause算子为。因此，我们可以找到使得意味着。 可以看出，。 证明完毕 当=2时， 通过奇异值分解来说明拥有至多两个Choi秩的CPT映射的Kraus算子能被写为如下形式： （3） 其中 ，是在中的一对正交单位向量，，是在中的两对正交单位向量。在中这给出了所有的CPT映射。虽然从物理的角度去考虑看起来像人为指定的，在量子香农理论中的几个约简结果要求考虑的映射。 问题 1.描述、分类和/或用参数表示CPT映射的极点的集合闭包，其中2且为任意值。 虽然在这个问题上是否感兴趣是你自己的权利，我们将给出扩展阅读，在5.5节中我们看到对的CPT映射的推测在的极点闭包中的信道情况下能被还原。 2 CPT映射的凸分解或一个分块矩阵的Horn引理的推广 基于与K.Audenaert的合作 因为CPT映射的集合是凸的，它能被写成一个极点映射的凸性组合，且也可以满足。对于在量子位上的映射，47]中表明如果在上的所有映射是许可的，那么其中只有两个是需要的且为了权重均匀它们可以被选。这种结果可以推广到任何有量子位输出的CPT映射，例如，对，我们可以写为 （4） 其中和的Choi秩d。我们推测此结果可扩展到任意CPT映射。 猜想2.（Audenaert-Ruskai）令为一个CPT映射。人们会发现CPT映射，其Choi秩最大为使得： （5） CPT映射的伴随矩阵或对偶是一个单CP映射且它对在此形态中重新叙述这个猜想是有用的。 猜想3.令为 CP映射，其中。我们会发现单CP映射，其中Choi秩最大为使得 （6） 在这个式子中，这个