连续变量匹配的纠缠 witness 判据

我们利用由高斯算符导出的量子纠缠 witness 来研究连续变量态的可分离判据。我们将高斯 witness 的有效性转化为玻色高斯信道问题。根据玻色高斯信道的性质，两模及某些四模高斯算符在乘积纯态上的极大值由真空（或相干态与压缩态）达到。由此，我们不仅得到了高斯量子态，而且得到了由对高斯态进行光子增加和/或光子减去制备的非高斯态的可分离的充分必要条件。该判据可进一步用高斯态的协方差矩阵或非高斯态的高斯核的协方差矩阵显式表达。这为精确探测非高斯纠缠开辟了一条途径。