关于纯三 qutrit 量子态的单粒子约化密度矩阵

我们给出了三个 qutrit 密度矩阵成为纯三 qutrit 量子态的单粒子约化密度矩阵的充要条件。该条件由这些矩阵的本征值所满足的七类不等式组成。其中一类是 qubit 情形下已知不等式的推广。其中一些不等式被代数证明，而其他的证明利用了态的连续函数必存在最小值这一事实。满足这些不等式的态的构造依赖于以角点表示的允许本征值集的凸集表示。我们还给出了关于更一般量子系统的、涉及允许本征值集边界曲面性质的一个结果。