$\pi$-LME 态的纠缠与 SAT 问题
量子物理
2014-10-15 v1
摘要
在本文中，我们研究了 -局域最大可纠缠 (-LME) 态类的纠缠性质，这类态也被称为“实等权态”或“超图态”。-LME 态包含了一些经过充分研究的量子态类（例如图态），并表现出高度的对称性。受 LME 态结构的启发，我们表明，若能（高效地）判定一个 -LME 态是否纠缠，则意味着布尔可满足性 (SAT) 问题存在高效解法。更具体地说，我们表明这一特定的纠缠检测问题，表述为判定问题时，是 -完全的。我们所考虑的受限设定提供了一个技术上不复杂的证明，并说明了即使所考虑的量子态受到高度限制，纠缠检测仍然是一个困难的问题。
引用
@article{arxiv.1405.7429,
title = {Entanglement of $\pi$-LME states and the SAT problem},
author = {Adi Makmal and Markus Tiersch and Vedran Dunjko and Shengjun Wu},
journal= {arXiv preprint arXiv:1405.7429},
year = {2014}
}