具有强正部分转置的量子比特 - 量子dit 量子态的可分性

我们证明了所有具有强正部分转置 (SPPT) 的 $2\otimes 4$ 态都是可分的。我们还构造了一族 $2\otimes 5$ 纠缠 SPPT 态，从而彻底解决了关于 SPPT 态可分性的猜想。此外，我们阐明了对于 $d=3,4$ 的情况，所有 $2\otimes d$ 可分态集合与所有 $2\otimes d$ SPPT 态集合之间的关系。