Adjoint

An adjoint is basically a Conjugate transpose but for an operator (whereas a conjugate transpose can only be applied to a matrix)

Given operator A^\hat{A}, it’s adjoint is the operator A^+\hat{A}^+ such that i,j\forall\left\lvert i \right\rangle,\left\lvert j \right\rangle

iA^+j=(jA^i)(A^+)ij=A^ji\begin{gather*} \left\langle i \right\rvert\hat{A}^+\left\lvert j \right\rangle=(\left\langle j \right\rvert\hat{A}\left\lvert i \right\rangle)^*\\ (\hat{A}^+)_{ij}=\hat{A}^*_{ji} \end{gather*}

Where, for any operator O^\hat{O}, a matrix Element iO^j\left\langle i \right\rvert\hat{O}\left\lvert j \right\rangle is just the (i,j)(i,j)-th element of the matrix representing O^\hat{O} in basis {i}\{\left\lvert i \right\rangle\}

Note that i\left\lvert i \right\rangle and j\left\lvert j \right\rangle are arbitrary Basis State

where AA^* is the complex conjugation of AA

properties:

(A^+)+=A^(A^+B^)+=A^++B^+(A^B^)+=B^+A^+\begin{gather*} (\hat{A}^+)^+=\hat{A}\\ (\hat{A}+\hat{B})^+=\hat{A}^++\hat{B}^+\\ (\hat{A}\hat{B})^+=\hat{B}^+\hat{A}^+ \end{gather*}

Example:

Consider operator

A^=12+2i21+322adjoint of A^=212i12+322\begin{gather*} \hat{A}=\left\lvert 1 \right\rangle\left\langle 2 \right\rvert+2i\left\lvert 2 \right\rangle\left\langle 1 \right\rvert+3\left\lvert 2 \right\rangle\left\langle 2 \right\rvert\\ \Rightarrow\text{adjoint of $\hat{A}$}=\left\lvert 2 \right\rangle\left\langle 1 \right\rvert-2i\left\lvert 1 \right\rangle\left\langle 2 \right\rvert+3\left\lvert 2 \right\rangle\left\langle 2 \right\rvert \end{gather*}

So w.r.t. to basis {1,2}\{\left\lvert 1 \right\rangle,\left\lvert 2 \right\rangle\}, A^\hat{A} is

A^=(012i3)\begin{gather*} \hat{A}=\begin{pmatrix} 0 & 1 \\ 2i & 3 \end{pmatrix} \end{gather*}

The conjugate transpose of A^=A^+\hat{A}=\hat{A}^+ which is

A^+=(02i13)\begin{gather*} \hat{A}^+=\begin{pmatrix} 0 & -2i \\ 1 & 3 \end{pmatrix} \end{gather*}

Which, once we pick an orthonormal basis, the matrix of A^+\hat{A}^+ equals the conjugate transpose of the matrix of A^\hat{A}

A^+=adjoint of A^\begin{gather*} \hat{A}^+=\text{adjoint of $\hat{A}$} \end{gather*}