https://peeterjoot.com/2015/09/20/entropy-when-density-operator-has-zero-eigenvalues/