Abstract
Positivity preservation is an important issue in the dynamics of open quantum systems: positivity violations always mark the border of validity of the model. We investigate the positivity of self-adjoint polynomial Gaussian integral operators κ_PG, that is, the multivariable kernel κ_PG is a product of a polynomial P and a Gaussian kernel κ_G. These operators frequently appear in open quantum systems. We show that κ_PG can be only positive if the Gaussian part is positive, which yields a strong and quite easy test for positivity. This has an important corollary for the bipartite entanglement of the density operators κ_PG: if the Gaussian density operator κ_G fails the Peres-Horodecki criterion, then the corresponding polynomial Gaussian density operators κ_PG also fail the criterion for all P, hence they are all entangled. We prove that polynomial Gaussian operators with polynomials of odd degree cannot be positive semidefinite. We introduce a new preorder on Gaussian kernels such that if κ_G₀ κ_G₁ then κ_PG₀≥ 0 implies κ_PG₁≥ 0 for all polynomials P. Therefore, deciding the positivity of a polynomial Gaussian operator determines the positivity of a lot of another polynomial Gaussian operators having the same polynomial factor, which might improve any given positivity test by carrying it out on a much larger set of operators. We will show an example that this really can make positivity tests much more sensitive and efficient. This preorder has implication for the entanglement problem, too.