[论文解读] On the one-particle reduced density matrices of a pure three-qutrit quantum state

Atsushi Higuchi|ArXiv.org|Sep 25, 2003

Quantum Information and Cryptography参考文献 7被引用 11

一句话总结

本文建立了三个单三量子比特密度矩阵作为纯三量子比特量子态的约化密度矩阵的充要条件。推导出七类涉及约化密度矩阵特征值的不等式，推广了已知的量子比特约束，证明过程结合了代数方法与状态空间球面的紧致性论证。

ABSTRACT

We present a necessary and sufficient condition for three qutrit density matrices to be the one-particle reduced density matrices of a pure three-qutrit quantum state. The condition consists of seven classes of inequalities satisfied by the eigenvalues of these matrices. One of them is a generalization of a known inequality for the qubit case. Some of these inequalities are proved algebraically whereas the proof of the others uses the fact that a continuous function of the state must have a minimum. Construction of states satisfying these inequalities relies on a representation of the convex set of the allowed set of eigenvalues in terms of corner points. We also present a result for a more general quantum system concerning the nature of the boundary surface of the set of the allowed set of eigenvalues.

研究动机与目标

• 确定三个单三量子比特约化密度矩阵必须满足的全部特征值约束，以确保其源自一个纯三量子比特量子态。
• 将已知的量子比特约束推广至更高维的三量子比特情形，特别是将两体特征值不等式扩展至三体系统。
• 提供一种构造性方法，从任意满足推导出的不等式的特征值集合生成纯三量子比特态。
• 分析允许特征值集合的几何结构，识别其边界由极值态（即角点）的凸组合构成。

提出的方法

• 推导出纯三量子比特态的三个约化密度矩阵必须满足的七类特征值不等式，包含对子系统循环置换的处理。
• 运用代数技巧证明前三个不等式，这些不等式将已知的量子比特约束推广至三量子比特情形。
• 利用系数空间中54维球面的紧致性，通过连续函数最小值的存在性证明其余不等式。
• 将允许的特征值集合表示为角点（即计算基中仅一个系数为1、其余为0的极值态）的凸包，从而实现态的显式构造。
• 采用基于系数扰动的变分法，证明允许集合的边界超平面必须位于由这些角点定义的超平面上。
• 利用一个引理，将非退化的特征值构型与超平面边界关联，证明允许集合的边界为分段超平面结构。

实验结果

研究问题

• RQ1 三个单三量子比特约化密度矩阵的特征值必须满足什么必要与充分条件，才能源自一个纯三量子比特量子态？
• RQ2 三量子比特系统的特征值约束如何推广已知的量子比特系统不等式？
• RQ3 允许特征值三元组的几何结构是什么？如何对其进行参数化？
• RQ4 任何满足推导出的不等式的有效特征值三元组是否都能通过显式纯三量子比特态实现？
• RQ5 从凸几何与极值态的角度看，允许特征值集合的边界具有何种性质？

主要发现

• 充要条件由七条不等式给出，涉及三个约化密度矩阵的有序特征值，且包含子系统的循环置换。
• 前三个不等式推广了量子比特情形，其中一条是已知两量子比特约化态特征值不等式的直接推广。
• 其余四条不等式通过状态空间的紧致性证明，表明状态系数的连续函数必能取到最小值。
• 当所有最小特征值为零时，唯一非平凡约束退化为 $\lambda_2^{(a)} \leq \lambda_2^{(b)} + \lambda_2^{(c)}$ 对所有排列成立，与先前的量子比特结果一致。
• 允许特征值的集合是一个凸多面体，其极值点对应于在计算基中仅一个系数非零的态。
• 允许特征值集合的边界由超平面组成，每个超平面对应有限个角点，该结论通过约束函数梯度的变分论证得以证明。