计算有限维双部量子可分离性

自从量子纠缠被识别为计算和密码学资源以来，人们一直在寻找一种高效的方法来判断给定的密度矩阵是否表示一个不可纠缠的、可分离的状态。本质上，这就是量子可分离问题。第 1-3 章激发了一种新的内点算法，该算法在给定一组正交可观测量子态子集的预期值后，搜索是否存在于该子集可观测量的张量空间内的纠缠见证。当所有预期值已知时，该算法解决可分离问题。在第 4 章中，我给出该算法的动机，说明如何在特定的物理情境中使用该算法来检测未知量子态的纠缠（或决定其可分离性），同时以最少的量子资源实现。在第 5 章中，我阐述了该算法的直观思想，并将其与其类方法的标准算法相关系。最后，我在第 5 章中呈现该算法的细节并讨论其相对于标准方法的性能。