← Exercise library← All exercises for this theme
Theme 2 — Hilbert Spaces and Dirac Notation

Plane rotations and complex diagonalisation

Keywords: rotation · orthogonal matrix · complex eigenvalues · diagonalisation · generator · Pauli matrices · circular polarisation

Exercise 1 : Plane rotations and complex diagonalisation

For a real angle θ\theta, consider the plane rotation matrix

R(θ)=(cos⁡θ−sin⁡θsin⁡θcos⁡θ),\begin{aligned} R(\theta)=\begin{pmatrix}\cos\theta&-\sin\theta\\ \sin\theta&\cos\theta\end{pmatrix}, \end{aligned}

acting on C2\C^2 equipped with the usual Hermitian inner product. Let

σy=(0−ii0).\begin{aligned} \sigma_y=\begin{pmatrix}0&-i\\ i&0\end{pmatrix}. \end{aligned}
Question 1
Show that R(θ)R(\theta) is unitary, has determinant 11, and satisfies R(θ)R(φ)=R(θ+φ)R(\theta)R(\varphi)=R(\theta+\varphi).

Solution
The matrix is real, so R†=RTR^\dagger=R^{\mathsf T}, and

RTR=(cos⁡θsin⁡θ−sin⁡θcos⁡θ)(cos⁡θ−sin⁡θsin⁡θcos⁡θ)=(cos⁡2θ+sin⁡2θ00sin⁡2θ+cos⁡2θ)=1.\begin{aligned} R^{\mathsf T}R=\begin{pmatrix}\cos\theta&\sin\theta\\-\sin\theta&\cos\theta\end{pmatrix}\begin{pmatrix}\cos\theta&-\sin\theta\\ \sin\theta&\cos\theta\end{pmatrix}=\begin{pmatrix}\cos^2\theta+\sin^2\theta&0\\0&\sin^2\theta+\cos^2\theta\end{pmatrix}=\mathbf{1}. \end{aligned}

The determinant is cos⁡2θ+sin⁡2θ=1\cos^2\theta+\sin^2\theta=1. Finally, the top-left entry of R(θ)R(φ)R(\theta)R(\varphi) is cos⁡θcos⁡φ−sin⁡θsin⁡φ=cos⁡(θ+φ)\cos\theta\cos\varphi-\sin\theta\sin\varphi=\cos(\theta+\varphi), while its bottom-left entry is sin⁡θcos⁡φ+cos⁡θsin⁡φ=sin⁡(θ+φ)\sin\theta\cos\varphi+\cos\theta\sin\varphi=\sin(\theta+\varphi); the other two entries follow in the same way. Two successive rotations compose to give a rotation whose angle is the sum of the two angles.

Question 2
Determine the eigenvalues of R(θ)R(\theta). For which values of θ\theta does the matrix have real eigenvectors? Interpret the result geometrically.

Solution
The characteristic polynomial is (cos⁡θ−λ)2+sin⁡2θ=λ2−2λcos⁡θ+1(\cos\theta-\lambda)^2+\sin^2\theta=\lambda^2-2\lambda\cos\theta+1. Its reduced discriminant is cos⁡2θ−1=−sin⁡2θ\cos^2\theta-1=-\sin^2\theta, and its roots are

λ±=cos⁡θ±isin⁡θ=e±iθ.\lambda_\pm=\cos\theta\pm i\sin\theta=e^{\pm i\theta}.

They have unit modulus, as for every unitary matrix. They are real only if sin⁡θ=0\sin\theta=0, that is, for θ  =def  0\theta\equiv0 (the identity) or θ  =def  π\theta\equiv\pi (a half-turn rotation, equal to −1-\mathbf{1}). In every other case, the rotation has no real eigenvector, which is geometrically evident: a rotation through an arbitrary angle leaves no direction in the plane invariant. It is therefore not diagonalisable over R\R.

Question 3
Show that R(θ)R(\theta) is diagonalisable over C\C in the orthonormal basis formed by the vectors ∣±⟩=12(1,∓i)\ket{\pm}=\frac{1}{\sqrt2}(1,\mp i). State the eigenvalue associated with each vector.

Solution
Let us calculate the action of R(θ)R(\theta) on (1,−i)(1,-i):

R(θ)(1−i)=(cos⁡θ+isin⁡θsin⁡θ−icos⁡θ)=(eiθ−i(cos⁡θ+isin⁡θ))=eiθ(1−i).R(\theta)\begin{pmatrix}1\\-i\end{pmatrix}=\begin{pmatrix}\cos\theta+i\sin\theta\\ \sin\theta-i\cos\theta\end{pmatrix}=\begin{pmatrix}e^{i\theta}\\-i(\cos\theta+i\sin\theta)\end{pmatrix}=e^{i\theta}\begin{pmatrix}1\\-i\end{pmatrix}.

Similarly, R(θ)(1,i)=e−iθ(1,i)R(\theta)(1,i)=e^{-i\theta}(1,i). Thus ∣+⟩=12(1,−i)\ket+=\frac{1}{\sqrt2}(1,-i) is an eigenvector with eigenvalue eiθe^{i\theta}, while ∣−⟩=12(1,i)\ket-=\frac{1}{\sqrt2}(1,i) has eigenvalue e−iθe^{-i\theta}. These vectors are normalised and orthogonal with respect to the Hermitian inner product: ⟨+|−⟩=12(1⋅1+(i)(i))=0\braket+-=\frac12\bigl(1\cdot1+(i)(i)\bigr)=0, since the bra ⟨+∣\bra+ has components 12(1,i)\frac{1}{\sqrt2}(1,i). Therefore R(θ)=eiθ∣+⟩⟨+∣+e−iθ∣−⟩⟨−∣R(\theta)=e^{i\theta}\ket+\bra++e^{-i\theta}\ket-\bra-. In optics, if the two components represent the horizontal and vertical polarisations of a light wave, the vectors ∣±⟩\ket\pm represent the two circular polarisations, which are changed only by a phase when the apparatus is rotated.

Question 4
Show that R(θ)=e−iθσyR(\theta)=e^{-i\theta\sigma_y}. Hence recover the eigenvalues and eigenvectors of R(θ)R(\theta) from those of σy\sigma_y.

Solution
We have −iσy=(0−110)-i\sigma_y=\begin{pmatrix}0&-1\\1&0\end{pmatrix} and σy2=1\sigma_y^2=\mathbf{1}. Separating the even and odd terms of the exponential series gives e−iθσy=cos⁡θ 1−isin⁡θ σye^{-i\theta\sigma_y}=\cos\theta\,\mathbf{1}-i\sin\theta\,\sigma_y, which is exactly R(θ)R(\theta). The matrix σy\sigma_y is Hermitian, with eigenvalues ±1\pm1; one checks that σy(1,i)=(1,i)\sigma_y(1,i)=(1,i) and σy(1,−i)=−(1,−i)\sigma_y(1,-i)=-(1,-i). The eigenvectors of R(θ)=e−iθσyR(\theta)=e^{-i\theta\sigma_y} are those of σy\sigma_y, with eigenvalues e−iθ×(±1)e^{-i\theta\times(\pm1)}: we recover e−iθe^{-i\theta} for ∣−⟩=12(1,i)\ket-=\frac{1}{\sqrt2}(1,i) and eiθe^{i\theta} for ∣+⟩\ket+. The Hermitian matrix σy\sigma_y is the generator of plane rotations, just as angular momentum is the generator of rotations in quantum mechanics.