量子计算机中的多体纠缠分区检测

我们提出了一种检测多体纠缠分区的方法，利用其内在对称性。诸如真正的多体纠缠、m-可分离性和纠缠深度等结构，可作为特殊案例被检测。这种表述使我们能够 characterize 所有三个和四体态及 witness 的所有纠缠分区，并具备单元ary 和置换对称性。特别是，我们找到并参数化了其中一组完整的 bound 纠缠态。对于更大的系统，我们提供了一大类解析 witness，用于检测任意大小的多体态，其中没有任何一方与其余部分可分离。该方法依赖于弱 Schur 抽样和投影测量，因此可在量子计算机上实现。除物理学外，我们的结果也扩展到数学文献：我们建立了矩阵 immanant 之间的新不等式，并特征化了三个和四矩阵的不等式集合。