# Projective Measurements

## Alexei Gilchrist

In classical physics the measurements are often implicit. The assumption is that any variables in the system are measureable, at least in principle. In contrast, in quantum mechanics the process of measurement is prescribed by it’s own set of postulates.

In the following, the simplest formulation of quantum measurements is presented. This can also be considered the core formulation as more general measurement theory is applying this core in combination with adding and removing systems.

### 1 Born rule

The *Born Rule* states that if a quantum system is in state \(|\psi\rangle\), the probability of measuring it to be in some other state \(|\phi\rangle\) is

As a quick sanity-check of the rule, imagine the quantum state is \(|\psi\rangle\) and we ask what is the probability that the system is in state \(|\psi\rangle\)? The answer should be 1, and this is indeed the case as \(|\langle \psi| \psi\rangle|^2 = 1\). Note the requirement of representing states by normalised vectors for this to work. Similarly, if we ask what is the probability that the system is in a state \(|\psi_\perp\rangle\) orthogonal to \(|\psi\rangle\), the answer should be 0 as it is: \(|\langle \psi_\perp| \psi\rangle|^2 = 0\).

Now imagine we ask what is the probability that it’s in state \(e^{i\theta}|\phi\rangle\)? Now we get

The form of Born’s rule is suggestive, since we can write

### 2 Observables

We’ve seen that Hermitian operators have real eigenvalues and their eigenvectors form a complete orthonormal basis. Both of these features are key for modelling observable quantities in quantum mechanics.

First, let’s review some of the properties of Hermitian, or self-adjoint operators. A Hermitian operator \(A\) has a specral decomposition, which we can write grouping by distinct eigenvallues:

*rank*of the projector and the rank will be greater than one if the eigenvalue is degenerate. Also remember that projectors for distinct eigenvalues are orthogonal, so all the \(\mathbb{P}_j\) in the expansion above are orthogonal to each other.

The operator \(A\) represents an observable quantity. If the system is in state \(\rho\), measuring \(A\) will have the following aspects:

**Measurement results**: A measurement result will yield one of the eigenvalues \(a_j\).**Probability**: Result \(a_j\) is obtained with probability\[p(a_j) = \mathrm{Tr}(\mathbb{P}_j\;\rho\;\mathbb{P}_j) = \mathrm{Tr}(\mathbb{P}_j\;\rho).\]**Post-measurement state**: The process of measurement may change the system’s state. If result \(a_j\) is obtained then the state*after*the measurement is\[\rho_j = \frac{\mathbb{P}_j\;\rho\;\mathbb{P}_j}{p(a_j)}.\]

These rules describe an ideal measureent process known as *projective measurements*, or *von Neumann measurements*.

First let’s look at some simplifying cases

- If the projector is rank-1, i.e. \(\mathbb{P}_j = |a_j \rangle\langle a_j|\), then probability simplifies: \[p(a_j) = \mathrm{Tr}(|a_j \rangle\langle a_j|\rho) = \langle a_j|\rho |a_j\rangle,\]and the post-measurement state is the eigen-state \(|a_j\rangle\):\[\rho_j = \frac{|a_j \rangle\langle a_j|\rho|a_j \rangle\langle a_j|}{\langle a_j|\rho |a_j\rangle} = |a_j \rangle\langle a_j|.\]
- If the system is in a pure state e.g. \(\rho = |\psi\rangle\langle \psi|\) then \[\begin{gather*}p(a_j) = \mathrm{Tr}(\mathbb{P}_j|\psi\rangle\langle \psi|) = \langle \psi|\mathbb{P}_j |\psi\rangle \\ \rho_j = \frac{\mathbb{P}_j|\psi\rangle\langle \psi|\mathbb{P}_j}{ \langle \psi|\mathbb{P}_j |\psi\rangle }.\end{gather*}\]In this case we can express the effect of the measurement using only the state vectors:\[\begin{gather*}p(a_j) = \lVert \mathbb{P}_j |\psi\rangle\rVert^2 \\ |\psi_j\rangle = \frac{\mathbb{P}_j|\psi\rangle}{\lVert \mathbb{P}_j |\psi\rangle\rVert^2 }.\end{gather*}\]
- If both the projector is rank-1
*and*the state is pure, then we recover the Born rule:\[p(a_j) = |\langle a_j| \psi\rangle|^2,\]

That last point explains what it means to “measure the system to be in state \(|\phi\rangle\)”. The observable we are measuring in such cases is of the form

One of the key properties of projective measurements is the *Principle of Repeatability*: if we measure a system using an ideal measurement apparatus and obtain outcome \(a\), then immediately re-measure the system with the same apparatus, we should again obtain outcome \(a\). After all, nothing has changed in between the two measurements. This principle is held up by the orthogonality of projectors for different measurement results

### 3 Expectation of observables

Starting with some classical definitions, say we have a set of \(n\) values \(\{x_1,x_2,\ldots,x_n\}\), and value \(x_j\) occurs with probability \(p_j\). Then the *average*, or *mean* of the set is

More generally, if the system is in state \(\rho\) then the average of some observable \(A\) is

Again, starting with the classical definition, the *variance* of the set \(\{x_j\}\), which is a measure of the width of the distribution of values, is given by

If \(A\) is Hermitian then \(A^2\) is also Hermitian (i.e. \(A^2 = \sum_{jk} a_j a_k \mathbb{P}_j\mathbb{P}_k = \sum_j a_j \mathbb{P}_j\)) so the variance of an observable is

### 4 Uncertainty principle

Say we have two observables \(A\) and \(B\). In general they won’t commute so \([A,B]\ne 0\). If the state of the quantum system is \(|\psi\rangle\) then there is an *uncertainty principle* between the two observables know as Robertson’s inequality: