|q⟩ Bad Qubits

beginner · Physics · Math Foundations: Linear Algebra

Hermitian Matrices

The conjugate transpose

Before defining Hermitian matrices, recall the conjugate transpose (also called the adjoint or dagger) of a matrix. Given a matrix AA with entries aija_{ij}, its conjugate transpose AA^\dagger is the matrix whose (i,j)(i,j) entry is aji\overline{a_{ji}} — the complex conjugate of the entry at position (j,i)(j,i) in the original. In two steps: transpose the matrix (swap rows and columns), then take the complex conjugate of every entry.

For a concrete 2×22 \times 2 example,

A=(αβγδ)    A=(αγβδ).A = \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} \implies A^\dagger = \begin{pmatrix} \overline{\alpha} & \overline{\gamma} \\ \overline{\beta} & \overline{\delta} \end{pmatrix}.

Definition of a Hermitian matrix

A square matrix AA is Hermitian (sometimes called self-adjoint) if it equals its own conjugate transpose:

A=A.A = A^\dagger.

Entry by entry this means aij=ajia_{ij} = \overline{a_{ji}} for every pair of indices ii and jj. Two immediate consequences follow from this single equation:

  1. Diagonal entries are real. Setting i=ji = j gives aii=aiia_{ii} = \overline{a_{ii}}, which forces aiiRa_{ii} \in \mathbb{R}.
  2. Off-diagonal entries come in conjugate pairs. The entry above the diagonal at position (i,j)(i,j) is the complex conjugate of the entry below the diagonal at (j,i)(j,i).

A simple 2×22 \times 2 Hermitian matrix therefore has the form

H=(rzzs),r,sR,  zC.H = \begin{pmatrix} r & z \\ \overline{z} & s \end{pmatrix}, \quad r, s \in \mathbb{R},\; z \in \mathbb{C}.

Why Hermitian matrices matter in quantum mechanics

In quantum mechanics every observable — every measurable physical quantity such as energy, momentum, or spin — is represented by a Hermitian operator. Three reasons make Hermitian operators the right choice:

Real eigenvalues. If HH is Hermitian and Hv=λvH |v\rangle = \lambda |v\rangle, then λR\lambda \in \mathbb{R}. The proof is a one-liner using the inner product:

λvv=vHv=vHv=vHv=λvv.\lambda \langle v | v \rangle = \langle v | H | v \rangle = \langle v | H^\dagger | v \rangle = \overline{\langle v | H | v \rangle} = \overline{\lambda} \langle v | v \rangle.

Since vv0\langle v | v \rangle \neq 0, it follows that λ=λ\lambda = \overline{\lambda}, so λ\lambda is real. This is physically necessary: measurement outcomes must be real numbers.

Orthogonal eigenstates. Eigenvectors of a Hermitian matrix that correspond to different eigenvalues are orthogonal. This allows the eigenstates to form a complete orthonormal basis for the Hilbert space — the set of possible outcomes of a measurement forms a well-defined sample space.

Spectral theorem. Every Hermitian matrix on a finite-dimensional space is diagonalisable by a unitary matrix: H=UDUH = U D U^\dagger, where DD is real diagonal. This guarantees that the eigenstates of any observable provide a complete description of the system.

A worked example

Consider the matrix

A=(31+2i12i5).A = \begin{pmatrix} 3 & 1+2i \\ 1-2i & 5 \end{pmatrix}.

Diagonal entries: a11=3Ra_{11} = 3 \in \mathbb{R} and a22=5Ra_{22} = 5 \in \mathbb{R}. Both are real.

Off-diagonal pair: a12=1+2ia_{12} = 1+2i and a21=12ia_{21} = 1-2i. The complex conjugate of a21a_{21} is 12i=1+2i\overline{1-2i} = 1+2i, which equals a12a_{12}. The condition a12=a21a_{12} = \overline{a_{21}} is satisfied.

Because every condition holds, AA is Hermitian: A=AA = A^\dagger.

As a check, the eigenvalues of AA must be real. The characteristic polynomial is

det(AλI)=(3λ)(5λ)(1+2i)(12i)=λ28λ+155=λ28λ+10.\det(A - \lambda I) = (3-\lambda)(5-\lambda) - (1+2i)(1-2i) = \lambda^2 - 8\lambda + 15 - 5 = \lambda^2 - 8\lambda + 10.

The discriminant is 6440=24064 - 40 = 24 \geq 0, so both eigenvalues are real: λ=4±6\lambda = 4 \pm \sqrt{6}.

Non-example

The matrix

B=(2i113)B = \begin{pmatrix} 2i & 1 \\ 1 & 3 \end{pmatrix}

is not Hermitian because b11=2ib_{11} = 2i is not real. Observables are never represented by such matrices.

Try it

This is a logical exercise — your code should return a boolean, not a circuit. The matrix AA from the worked example above has entries a11=3a_{11} = 3, a12=1+2ia_{12} = 1+2i, a21=12ia_{21} = 1-2i, a22=5a_{22} = 5. Is AA Hermitian?

Run your code to see the quantum state.

Sign in on the full site to ask questions and join the discussion.