量子纠缠研究中的对偶性与正性

我们呈现了一篇关于可分离态和纠缠见证的数学主题综述。讨论了可分离态与纠缠见证之间的凸锥对偶性，随后将其推广到其他算子族，并通过乘法性质对它们进行刻画。将算子成为纠缠见证的条件重新表述为实多项式族正性问题。通过在一个三参数算子族的具体情形中求解该问题，我们得到了属于该族的纠缠见证的显式描述。讨论了实数域上的块正性相关的问题。我们还考虑了一大类块正性检验，并证明它们永远不可能是充分的，这对于未来在该方向上的努力应有所裨益。最后，我们引入了可分离态长度的概念，并给出了关于长度与Schmidt秩之间关系的新结果。特别地，我们证明了长度小于等于3的可分离态其Schmidt秩等于其长度。我们还给出了一个长度为4且Schmidt秩为3的态的例子。