Adjoint Operators

For every linear operator there is a partner operator — its adjoint, written $A^\dagger$ ("A dagger"). The adjoint is the single most important construction in this module: Hermitian operators are defined by $A = A^\dagger$ , unitary operators by $A^\dagger A = \mathbb{1}$ , and the inner-product structure of quantum mechanics is exactly what makes the adjoint well defined.

The defining property

The adjoint of $A$ is the unique operator $A^\dagger$ such that, for all vectors $|\psi\rangle$ and $|\phi\rangle$ ,

\langle \phi \,|\, A\,\psi\rangle = \langle A^\dagger \phi \,|\, \psi\rangle.

In words: moving an operator across the inner-product bar turns it into its adjoint. The left side applies $A$ to the right vector; the right side applies $A^\dagger$ to the left vector. The two are equal by definition of $A^\dagger$ . An equivalent and often handier statement is

\langle \phi | A | \psi\rangle = \overline{\langle \psi | A^\dagger | \phi\rangle}.

The existence and uniqueness of $A^\dagger$ in finite dimensions follow from the fact that an inner product pairs the space with its dual without losing information.

The adjoint is the conjugate transpose

Fix an orthonormal basis. The matrix elements of the adjoint are obtained from those of $A$ by transposing and complex-conjugating:

(A^\dagger)_{ij} = \overline{A_{ji}}.

To see this, set $|\phi\rangle = |e_i\rangle$ and $|\psi\rangle = |e_j\rangle$ in the boxed identity:

(A^\dagger)_{ij} = \langle e_i | A^\dagger | e_j\rangle = \overline{\langle e_j | A | e_i\rangle} = \overline{A_{ji}}.

So computing an adjoint is a two-step mechanical operation: swap rows with columns, and flip the sign of every imaginary part. For example,

A = \begin{pmatrix} 1 & 2i \\ 3 & 4 \end{pmatrix} \;\Longrightarrow\; A^\dagger = \begin{pmatrix} 1 & 3 \\ -2i & 4 \end{pmatrix}.

The real entries $1$ and $4$ stay put on the diagonal; the off-diagonal $2i$ and $3$ swap places, and the $2i$ picks up a conjugation to become $-2i$ .

Algebra of the dagger

The adjoint interacts with operator algebra through three rules you will use constantly:

(A + B)^\dagger = A^\dagger + B^\dagger, \qquad (cA)^\dagger = \bar{c}\,A^\dagger, \qquad (AB)^\dagger = B^\dagger A^\dagger.

The first is linearity of conjugate-transpose. The second shows daggering is antilinear in the scalar: a constant comes out conjugated. The third — the reversal rule — is the one people most often get wrong: the dagger of a product reverses the order of the factors, just as taking the inverse of a product does, $(AB)^{-1} = B^{-1}A^{-1}$ . Daggering twice returns the original operator, $(A^\dagger)^\dagger = A$ , so $\dagger$ is an involution.

Why it matters

The adjoint is the gateway to the two operator families that run all of quantum mechanics. An operator equal to its own adjoint, $A = A^\dagger$ , is Hermitian — these represent observables and have real eigenvalues. An operator whose adjoint is its inverse, $U^\dagger U = \mathbb{1}$ , is unitary — these represent reversible evolution and preserve inner products. Both definitions are just statements about the dagger, which is why we built it first.

Try it

Form the adjoint $A^\dagger$ of the operator $A = \begin{pmatrix} 1 & 2i \\ 3 & 4 \end{pmatrix}$ , then return the imaginary part of the entry in row $1$ , column $0$ of $A^\dagger$ .

Run your code to see the quantum state.