用有限见证集分类相干性

相干性是量子信息处理中的一种基本资源，可以通过相干性见证来认证。为了检测所有的相干态，我们引入了相干性见证的有用概念，并构建了相干性见证集 $C^{d}_{[m,M]}$。我们提出了基于 $C^{d}_{[m,M]}$ 检测 $d$ 维量子态量子相干性的充分必要条件。此外，我们证明每个相干态都可以被有限集合中的一个相干性见证检测到。我们显式地给出了相应的有限相干性见证集，该集合可以检测所有的相干态。