 Classical mixture of coherent states

A normalized nonnegative probability measure over coherent states produces a classical mixture. The measure may contain Dirac delta distributions, so a pure coherent state is included. Conditioning on $\alpha$ gives Poisson distribution photon statistics; hence $\mathrm{Var}n=⟨n⟩+\mathrm{Var}(|\alpha {|}^2)\ge ⟨n⟩$. Each optical quadrature has variance at least its vacuum value because mixing adds nonnegative variance of conditional means. These inequalities provide simple nonclassicality witnesses.