面向判定分布式量子态可分离性的高效算法

指出任意多体态的可分离性问题可由有限规模、基本递归算法完全求解。在最坏情况下，底层数值过程可能随态的秩呈双指数增长。然而，我们认为对一般态，对并发矩阵的分析实质上将 $m \times n$ 维可分离问题的求解归结为求解约 $\binom{mn+D-1}{D}$ 个变量的线性方程组，其中 $D$ 随 $mn$ 减小，对大 $mn$ 不应超过 4。此外，同一方法也适用于多体态，且至少同样高效。