标题： 在稳定子形式中的纠缠检测 显示英文标题

标题： Entanglement Detection in the Stabilizer Formalism

摘要： 我们研究如何利用稳定子理论来构建纠缠的充分条件。 首先，我们展示如何在已知状态的一些稳定子算符的情况下，为给定状态推导出纠缠判据。 这些判据只需少量的实验实现努力，并且对噪声具有鲁棒性。 其次，我们证明也可以从稳定子算符中推导出基于不确定关系的非线性判据。 这些判据有时可以通过添加非线性修正项来改进判据。 我们所有的判据都能检测接近Greenberger-Horne-Zeilinger态、簇态和图态的状态。 我们表明，类似的想法可以用于推导不符合稳定子形式的态的纠缠条件，例如三量子比特W态。 我们还讨论了判据与某些贝尔不等式之间的联系。 显示英文摘要

摘要： We investigate how stabilizer theory can be used for constructing sufficient conditions for entanglement. First, we show how entanglement witnesses can be derived for a given state, provided some stabilizing operators of the state are known. These witnesses require only a small effort for an experimental implementation and are robust against noise. Second, we demonstrate that also nonlinear criteria based on uncertainty relations can be derived from stabilizing operators. These criteria can sometimes improve the witnesses by adding nonlinear correction terms. All our criteria detect states close to Greenberger-Horne-Zeilinger states, cluster and graph states. We show that similar ideas can be used to derive entanglement conditions for states which do not fit the stabilizer formalism, such as the three-qubit W state. We also discuss connections between the witnesses and some Bell inequalities.