We present a numerical method for solving the separability problem of Gaussian quantum states in continuous-variable quantum systems. We show that the separability problem can be cast as an equivalent problem of determining the feasibility of a set of linear matrix inequalities. Thus, it can be efficiently solved using existent numerical solvers. We apply this method to the identification of bound entangled Gaussian states. We show that the proposed method can be used to identify bound entangled Gaussian states that could be simple enough to be producible in quantum optics.

中文翻译：

---

高斯纠缠的数值检测及其在约束高斯纠缠态识别中的应用。

我们提出了一种数值方法来解决连续变量量子系统中高斯量子态的可分离性问题。我们表明，可分离性问题可以看作是确定一组线性矩阵不等式可行性的等效问题。因此，可以使用现有的数值求解器来有效地求解。我们将此方法应用于约束纠缠的高斯状态的识别。我们表明，提出的方法可用于识别边界纠缠的高斯状态，该状态可能足够简单以在量子光学中产生。