Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-60/1/a/solution

Use the real vector space of Hermitian matrices and its Hilbert-Schmidt inner product . A Hermitian -by- matrix has real diagonal entries and two real parameters for each off-diagonal pair, hence real dimension . Imposing zero trace removes one real dimension. Each supplied generalized Pauli matrix is Hermitian and traceless, and there are off-diagonal matrices and diagonal matrices, totaling .
Their assumed orthonormality makes them linearly independent. Since this equals the dimension of the traceless space, they are an orthonormal basis of the traceless Hermitian matrices. To extend the family, the required additional generator is , which is implicit in the indexing of the question. It has unit Hilbert-Schmidt norm and is orthogonal to every traceless generator, so the extended family is an orthonormal basis of all Hermitian matrices.
For a density operator , cyclicity of the trace gives
Thus . Since , the resulting Generalized Bloch representation is

New to topics? Read the docs here!