Pure vs Mixed States
So far you have described a quantum system by a single state vector . That is the most complete description physics allows — but it is not the most general situation you can be in. Often you do not know exactly which state was prepared; you only know a list of possibilities and how likely each one is. Capturing that uncertainty is what mixed states are for.
Pure states: maximal knowledge
A pure state is one that can be written as a single normalized ket,
A pure state encodes everything that can possibly be known about the system. The superposition above is not ignorance about whether the qubit is "really" or "really" : it is a definite state with definite phase relationships, and there exists a measurement (in the right basis) whose outcome is certain. For example, gives the outcome with probability when measured along the -axis.
Mixed states: classical uncertainty about which pure state
A mixed state describes a situation where the system is in one of several pure states with classical probabilities (with and ). This is an ensemble
Crucially, the system is genuinely in one of the — we simply do not know which. This is ordinary classical ignorance layered on top of quantum mechanics. A common laboratory example is an unpolarized beam: each photon is in a definite polarization state, but the source emits them with random, uniformly distributed polarizations.
Why a superposition is not a mixture
It is tempting to think the superposition is "the same as" a 50/50 mixture of and . It is not. Measure both in the computational basis and you get or with probability either way — they look identical. But measure along the -axis:
- The superposition yields with certainty.
- The 50/50 mixture yields or with probability each.
The superposition has a definite phase relationship between and ; the mixture has none. Interference distinguishes them. No single state vector can represent the mixture, because a state vector always carries definite phases.
The need for a new tool
Ensembles are awkward to manipulate directly: many different ensembles can be physically indistinguishable (a 50/50 mix of behaves exactly like a 50/50 mix of ). We need a single mathematical object that depends only on the physically observable content of the state and not on the particular list we wrote down. That object is the density operator , introduced in the next lesson. It represents pure and mixed states on equal footing, makes expectation values a one-line trace, and — as we will see — is the only way to describe a subsystem of an entangled pair.
Sign in on the full site to ask questions and join the discussion.