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

Oblique projector and orthogonal projector

Keywords: projector · idempotent · oblique projector · orthogonal projector · self-adjoint operator · measurement postulate

Exercise 1 : Oblique projector and orthogonal projector

In C2\C^2, consider the operator with matrix

Q=(1100).\begin{aligned} Q=\begin{pmatrix}1&1\\0&0\end{pmatrix}. \end{aligned}
Question 1
Verify that Q2=QQ^2=Q. Determine the image and kernel of QQ. Are they orthogonal? Is the operator QQ self-adjoint?

Solution
We calculate Q2=(1⋅1+1⋅01⋅1+1⋅000)=QQ^2=\begin{pmatrix}1\cdot1+1\cdot0&1\cdot1+1\cdot0\\0&0\end{pmatrix}=Q: the operator is idempotent, so it is a projector. For ∣v⟩=(x,y)\ket v=(x,y), we have Q∣v⟩=(x+y,0)Q\ket v=(x+y,0). The image is therefore the line spanned by (1,0)(1,0), and the kernel is the line x+y=0x+y=0, spanned by (1,−1)(1,-1). These two lines are not orthogonal, since ⟨(1,0),(1,−1)⟩=1≠0\bigl\langle(1,0),(1,-1)\bigr\rangle=1\neq0. We say that QQ is an oblique projector: it projects onto the xx-axis parallel to the direction (1,−1)(1,-1), rather than perpendicularly. Finally, Q†=(1010)≠QQ^\dagger=\begin{pmatrix}1&0\\1&0\end{pmatrix}\neq Q: it is not self-adjoint.

Question 2
Calculate ∥Qv∥\norm{Qv} for ∣v⟩=12(1,1)\ket v=\frac{1}{\sqrt2}(1,1). Compare it with ∥v∥\norm v.

Solution
We have Q∣v⟩=12(2,0)=(2,0)Q\ket v=\frac{1}{\sqrt2}(2,0)=(\sqrt2,0), whose norm is 2>1=∥v∥\sqrt2>1=\norm v. Unlike an orthogonal projector, which can only decrease the norm of a vector, an oblique projector can increase it.

Question 3
Show that an idempotent operator P^\hat P has an image orthogonal to its kernel if and only if P^†=P^\hat P^\dagger=\hat P.

Solution
Suppose that P^†=P^\hat P^\dagger=\hat P. If ∣a⟩=P^∣u⟩\ket a=\hat P\ket u is in the image and ∣b⟩\ket b is in the kernel, then ⟨a|b⟩=⟨P^u|b⟩=⟨u|P^†b⟩=⟨u|P^b⟩=0\braket ab=\braket{\hat Pu}{b}=\braket{u}{\hat P^\dagger b}=\braket{u}{\hat Pb}=0: the image and the kernel are orthogonal.

Conversely, suppose that the image FF is orthogonal to the kernel GG. Since P^\hat P is idempotent, every vector can be written as ∣v⟩=P^∣v⟩+(1−P^)∣v⟩\ket v=\hat P\ket v+(\mathbf{1}-\hat P)\ket v, with P^∣v⟩∈F\hat P\ket v\in F and (1−P^)∣v⟩∈G(\mathbf{1}-\hat P)\ket v\in G, since P^(1−P^)=0\hat P(\mathbf{1}-\hat P)=0. For two vectors ∣v⟩\ket v and ∣w⟩\ket w, the orthogonality of FF and GG gives

⟨w|P^v⟩=⟨P^w|P^v⟩=⟨P^w|v⟩,\braket{w}{\hat Pv}=\braket{\hat Pw}{\hat Pv}=\braket{\hat Pw}{v},

by expanding ∣w⟩\ket w in the first equality and ∣v⟩\ket v in the second. Thus ⟨w|P^v⟩=⟨P^w|v⟩\braket{w}{\hat Pv}=\braket{\hat Pw}{v} for all ∣v⟩,∣w⟩\ket v,\ket w, which means that P^†=P^\hat P^\dagger=\hat P.

Question 4
Let ∣v⟩=12(1,i)\ket v=\frac{1}{\sqrt2}(1,i). Calculate ⟨v∣Q∣v⟩\bra vQ\ket v and ∥Qv∥2\norm{Qv}^2. Why do the measurement postulates involve orthogonal projectors rather than arbitrary projectors?

Solution
We have Q∣v⟩=12(1+i,0)Q\ket v=\frac{1}{\sqrt2}(1+i,0), hence

⟨v∣Q∣v⟩=12(1⋅(1+i)+(−i)⋅0)=1+i2,∥Qv∥2=∣1+i∣22=1.\bra vQ\ket v=\frac12\bigl(1\cdot(1+i)+(-i)\cdot0\bigr)=\frac{1+i}{2}, \qquad \norm{Qv}^2=\frac{|1+i|^2}{2}=1 .

The number ⟨v∣Q∣v⟩\bra vQ\ket v is complex, and differs from ∥Qv∥2\norm{Qv}^2. It clearly cannot represent a probability. For an orthogonal projector, by contrast, we showed in the preceding exercise that ⟨v∣P^∣v⟩=∥P^v∥2\bra v\hat P\ket v=\norm{\hat Pv}^2 is a real number between 00 and 11 for a normalised vector. Moreover, the orthogonal projectors onto the eigenspaces of an observable have orthogonal images and their sum is the identity, which ensures that the probabilities of the different outcomes are positive and sum to one. This is why the Born rule and the collapse postulate use orthogonal projectors.