通过半定规划检测可分态

我们引入了一种利用半定规划检测可分态的新技术。该方法为态的可分性提供了一个充分条件，该条件基于将某个局部线性映射应用于已知可分态的存在性。当一个态被证明是可分的时，会以该态关于积态的显式凸分解形式提供这一事实的证明。除了可能一个测度为零的集合外，可分态集合内部的所有态都可以用这种方式检测到。尽管该技术更适合数值方法，但也可以导出一个新的可分性解析判据。