Let us consider the product Fock space $\Gamma(\mathbb{C}^m) \otimes \Gamma(\mathbb{C}^n)$ and consider Gaussian states in that space. While reading some literature on Gaussian state entanglement (namely Simon, and Werner and Wolf) , I realised that by separability they mean separability when each components are Gaussian states themselves. So, my question is the following.
Does there exist any Gaussian state which is separable such that in its separable representation there always exist term(s) which are tensor products of non Gaussian state? In other words, does separability means Gaussian separability for Gaussian states?
Recall that, in general sum of two Gaussian states need not be Gaussian. Gaussian states, by themselves do not form a convex body. I could not construct such an example. However, it may be possible that such example may not exist, by some clever application of weak law. Advanced thanks for any help/suggestion.