, where:

Proof

The Von Neumann Entropy for a state is defined as . This can be calculated by diagonalizing and then summing over the 2 eigenvalues . For a 2x2 Matrix , we calculate the eigenvalues through

Hence we can now calculate

Where is the Binary entropy function, following the distribution below