added probability distribution for a harmonic oscillator, given its density matrix