According to Hudson’s theorem, any pure quantum state with a positive Wigner function is necessarily a Gaussian state. Here, we make a step toward the extension of this theorem to mixed quantum states by finding upper ...