纠缠问题的双向算法

我们提出了一种算法，其在有限步内证明给定 bipartite 量子态为可分离态。我们的方法基于通过可数乘积态子集（其在所有乘积态中稠密）寻找分解。将我们的算法与 Doherty、Parrilo 和 Spedalieri 的算法（其在有限步内证明量子态为纠缠态）同时执行，得到一种对任意输入态都会终止的双向算法。仅在可分离态与纠缠态边界附近任意小测度的集合上结果是不确定的。