Lably
Skip to content

Measurement in quantum mechanics

Interaction of a quantum system with a classical observer

  • 20 min read
  • 5 chapters

Related on Lably

Through Probability, Electron and Complex number

The procedure for finding a probability involves combining a quantum state, which mathematically describes a quantum system, with a mathematical representation of the measurement to be performed on that system. The formula for this calculation is known as the Born rule. For example, a quantum particle like an electron can be described by a quantum state that associates to each point in space a complex number called a probability amplitude. Applying the Born rule to these amplitudes gives the probabilities that the electron will be found in one region or another when an experiment is performed to locate it. This is the best the theory can do; it cannot say for certain where the electron will be found. The same quantum state can also be used to make a prediction of how the electron will be moving, if an experiment is performed to measure its momentum instead of its position. The uncertainty principle implies that, whatever the quantum state, the range of predictions for the electron's position and the range of predictions for its momentum cannot both be narrow. Some quantum states imply a near-certain prediction of the result of a position measurement, but the result of a momentum measurement will be highly unpredictable, and vice versa. Furthermore, the fact that nature violates the statistical conditions known as Bell inequalities indicates that the unpredictability of quantum measurement results cannot be explained away as due to ignorance about local hidden variables within quantum systems.

Measuring a quantum system generally changes the quantum state that describes that system. This is a central feature of quantum mechanics, one that is both mathematically intricate and conceptually subtle. The mathematical tools for making predictions about what measurement outcomes may occur, and how quantum states can change, were developed during the 20th century and make use of linear algebra and functional analysis. Quantum physics has proven to be an empirical success and to have wide-ranging applicability.

On a more philosophical level, debates continue about the meaning of the measurement concept. The different interpretations of quantum mechanics differ in how they address what is known as the measurement problem.

Mathematical formalism

"Observables" as self-adjoint operators

In quantum mechanics, each physical system is associated with a Hilbert space, each element of which represents a possible state of the physical system. The approach codified by John von Neumann represents a measurement upon a physical system by a self-adjoint operator on that Hilbert space termed an "observable". These observables play the role of measurable quantities familiar from classical physics: position, momentum, energy, angular momentum and so on. The dimension of the Hilbert space may be infinite, as it is for the space of square-integrable functions on a line, which is used to define the quantum physics of a continuous degree of freedom. Alternatively, the Hilbert space may be finite-dimensional, as occurs for spin degrees of freedom. Many treatments of the theory focus on the finite-dimensional case, as the mathematics involved is somewhat less demanding. Indeed, introductory physics texts on quantum mechanics often gloss over mathematical technicalities that arise for continuous-valued observables and infinite-dimensional Hilbert spaces, such as the distinction between bounded and unbounded operators; questions of convergence (whether the limit of a sequence of Hilbert-space elements also belongs to the Hilbert space), exotic possibilities for sets of eigenvalues, like Cantor sets; and so forth. These issues can be satisfactorily resolved using spectral theory; the present article will avoid them whenever possible.

Projective measurement

The eigenvectors of a von Neumann observable form an orthonormal basis for the Hilbert space, and each possible outcome of that measurement corresponds to one of the vectors comprising the basis. A density operator is a positive-semidefinite operator on the Hilbert space whose trace is equal to 1. For each measurement that can be defined, the probability distribution over the outcomes of that measurement can be computed from the density operator. The procedure for doing so is the Born rule, which states that

P(xi)=tr⁡(Πiρ),

where ρ is the density operator, and Πi is the projection operator onto the basis vector corresponding to the measurement outcome xi. The average of the eigenvalues of a von Neumann observable, weighted by the Born rule probabilities, is the expectation value of that observable. For an observable A, the expectation value given a quantum state ρ is

⟨A⟩=tr⁡(Aρ).

A density operator that is a rank-1 projection is known as a pure quantum state, and all quantum states that are not pure are designated mixed. Pure states are also known as wavefunctions. Assigning a pure state to a quantum system implies certainty about the outcome of some measurement on that system (i.e., P(x)=1 for some outcome x). Any mixed state can be written as a convex combination of pure states, though not in a unique way. The state space of a quantum system is the set of all states, pure and mixed, that can be assigned to it.

The Born rule associates a probability with each unit vector in the Hilbert space, in such a way that these probabilities sum to 1 for any set of unit vectors comprising an orthonormal basis. Moreover, the probability associated with a unit vector is a function of the density operator and the unit vector, and not of additional information like a choice of basis for that vector to be embedded in. Gleason's theorem establishes the converse: all assignments of probabilities to unit vectors (or, equivalently, to the operators that project onto them) that satisfy these conditions take the form of applying the Born rule to some density operator.

Generalized measurement (POVM)

In functional analysis and quantum measurement theory, a positive-operator-valued measure (POVM) is a measure whose values are positive semi-definite operators on a Hilbert space. POVMs are a generalisation of projection-valued measures (PVMs) and, correspondingly, quantum measurements described by POVMs are a generalisation of quantum measurement described by PVMs. In rough analogy, a POVM is to a PVM what a mixed state is to a pure state. Mixed states are needed to specify the state of a subsystem of a larger system (see Schrödinger–HJW theorem); analogously, POVMs are necessary to describe the effect on a subsystem of a projective measurement performed on a larger system. POVMs are the most general kind of measurement in quantum mechanics, and can also be used in quantum field theory. They are extensively used in the field of quantum information.

In the simplest case, of a POVM with a finite number of elements acting on a finite-dimensional Hilbert space, a POVM is a set of positive semi-definite matrices {Fi} on a Hilbert space H that sum to the identity matrix,

∑i=1nFi=I.

In quantum mechanics, the POVM element Fi is associated with the measurement outcome i, such that the probability of obtaining it when making a measurement on the quantum state ρ is given by

Prob(i)=tr⁡(ρFi),

where tr is the trace operator. When the quantum state being measured is a pure state |ψ⟩ this formula reduces to

Prob(i)=tr⁡(|ψ⟩⟨ψ|Fi)=⟨ψ|Fi|ψ⟩.

State change due to measurement

A measurement upon a quantum system will generally bring about a change of the quantum state of that system. Writing a POVM does not provide the complete information necessary to describe this state-change process. To remedy this, further information is specified by decomposing each POVM element into a product:

Ei=Ai†Ai.

The Kraus operators Ai, named for Karl Kraus, provide a specification of the state-change process. They are not necessarily self-adjoint, but the products Ai†Ai are. If upon performing the measurement the outcome Ei is obtained, then the initial state ρ is updated to

ρ→ρ′=AiρAi†Prob(i)=AiρAi†tr⁡(ρEi).

An important special case is the Lüders rule, named for Gerhart Lüders. If the POVM is itself a PVM, then the Kraus operators can be taken to be the projectors onto the eigenspaces of the von Neumann observable:

ρ→ρ′=ΠiρΠitr⁡(ρΠi).

If the initial state ρ is pure, and the projectors Πi have rank 1, they can be written as projectors onto the vectors |ψ⟩ and |i⟩, respectively. The formula simplifies thus to

ρ=|ψ⟩⟨ψ|→ρ′=|i⟩⟨i|ψ⟩⟨ψ|i⟩⟨i||⟨i|ψ⟩|2=|i⟩⟨i|.

Lüders rule has historically been known as the "reduction of the wave packet" or the "collapse of the wavefunction". The pure state |i⟩ implies a probability-one prediction for any von Neumann observable that has |i⟩ as an eigenvector. Introductory texts on quantum theory often express this by saying that if a quantum measurement is repeated in quick succession, the same outcome will occur both times. This is an oversimplification, since the physical implementation of a quantum measurement may involve a process like the absorption of a photon; after the measurement, the photon does not exist to be measured again.

We can define a linear, trace-preserving, completely positive map, by summing over all the possible post-measurement states of a POVM without the normalisation:

ρ→∑iAiρAi†.

It is an example of a quantum channel, and can be interpreted as expressing how a quantum state changes if a measurement is performed but the result of that measurement is lost.

Examples

The prototypical example of a finite-dimensional Hilbert space is a qubit, a quantum system whose Hilbert space is 2-dimensional. A pure state for a qubit can be written as a linear combination of two orthogonal basis states |0⟩ and |1⟩ with complex coefficients:

|ψ⟩=α|0⟩+β|1⟩

A measurement in the (|0⟩,|1⟩) basis will yield outcome |0⟩ with probability |α|2 and outcome |1⟩ with probability |β|2, so by normalization,

|α|2+|β|2=1.

An arbitrary state for a qubit can be written as a linear combination of the Pauli matrices, which provide a basis for 2×2 self-adjoint matrices:

ρ=12(I+rxσx+ryσy+rzσz),

where the real numbers (rx,ry,rz) are the coordinates of a point within the unit ball and

σx=(0110),σy=(0−ii0),σz=(100−1).

POVM elements can be represented likewise, though the trace of a POVM element is not fixed to equal 1. The Pauli matrices are traceless and orthogonal to one another with respect to the Hilbert–Schmidt inner product, and so the coordinates (rx,ry,rz) of the state ρ are the expectation values of the three von Neumann measurements defined by the Pauli matrices. If such a measurement is applied to a qubit, then by the Lüders rule, the state will update to the eigenvector of that Pauli matrix corresponding to the measurement outcome. The eigenvectors of σz are the basis states |0⟩ and |1⟩, and a measurement of σz is often called a measurement in the "computational basis." After a measurement in the computational basis, the outcome of a σx or σy measurement is maximally uncertain.

A pair of qubits together form a system whose Hilbert space is 4-dimensional. One significant von Neumann measurement on this system is that defined by the Bell basis, a set of four maximally entangled states:

|Φ+⟩=12(|0⟩A⊗|0⟩B+|1⟩A⊗|1⟩B)|Φ−⟩=12(|0⟩A⊗|0⟩B−|1⟩A⊗|1⟩B)|Ψ+⟩=12(|0⟩A⊗|1⟩B+|1⟩A⊗|0⟩B)|Ψ−⟩=12(|0⟩A⊗|1⟩B−|1⟩A⊗|0⟩B)

A common and useful example of quantum mechanics applied to a continuous degree of freedom is the quantum harmonic oscillator. This system is defined by the Hamiltonian

H=p22m+12mω2x2,

where H, the momentum operator p and the position operator x are self-adjoint operators on the Hilbert space of square-integrable functions on the real line. The energy eigenstates solve the time-independent Schrödinger equation:

H|n⟩=En|n⟩.

These eigenvalues can be shown to be given by

En=ℏω(n+12),

and these values give the possible numerical outcomes of an energy measurement upon the oscillator. The set of possible outcomes of a position measurement on a harmonic oscillator is continuous, and so predictions are stated in terms of a probability density function P(x) that gives the probability of the measurement outcome lying in the infinitesimal interval from x to x+dx.

Sign in to keep reading

4 more chapters are free with a Lably account.

More in Physics