Quantum mechanics | ||||||||||||||||
![]() |
||||||||||||||||
Uncertainty principle |
||||||||||||||||
Introduction to... Mathematical formulation of...
|
||||||||||||||||
This box: view • talk • edit |
In quantum physics, a quantum state is a mathematical object that fully describes a quantum system. One typically imagines some experimental apparatus and procedure which "prepares" this quantum state; the mathematical object then reflects the setup of the apparatus. Quantum states can be statistically mixed, corresponding to an experiment involving a random change of the parameters. States obtained in this way are called mixed states, as opposed to pure states, which cannot be described as a mixture of others. When performing a certain measurement on a quantum state, the result is in general described by a probability distribution, and the form that this distribution takes is completely determined by the quantum state and the observable describing the measurement. However, unlike in classical mechanics, the result of a measurement on even a pure quantum state is only determined probabilistically. This reflects a core difference between classical and quantum physics.
Mathematically, a pure quantum state is typically represented by a vector in a Hilbert space. In physics, bra-ket notation is often used to denote such vectors. Linear combinations (superpositions) of vectors can describe interference phenomena. Mixed quantum states are described by density matrices.
In a more general mathematical context, quantum states can be understood as positive normalized linear functionals on a C* algebra; see GNS construction.
Contents |
The state of a physical system is a complete description of the parameters of the experiment. To understand this rather abstract notion, it is useful to first explore it in an example from classical mechanics.
Consider an experiment with a (non-quantum) particle of mass m = 1 which moves freely, and without friction, in one spatial direction.
We start the experiment at time t = 0 by pushing the particle with some speed into some direction. Doing this, we determine the initial position q and the initial momentum p of the particle. These initial conditions are what characterizes the state σ of the system, formally denoted as σ = (p,q). We say that we prepare the state of the system by fixing its initial conditions.
At a later time t > 0, we conduct measurements on the particle. The measurements we can perform on this simple system are essentially its position Q(t) at time t, its momentum P(t), and combinations of these. Here P(t) and Q(t) refer to the measurable quantities (observables) of the system as such, not the specific results they produce in a certain run of the experiment.
These "statistical" states of the system are called mixed states, as opposed to the pure states σ = (p,q) discussed further above. Abstractly, mixed states arise as a statistical mixture of pure states.
In quantum systems, the conceptual distinction between observables and states persists just as described above. The state σ of the system is fixed by the way the physicist prepares his experiment (e.g., how he adjusts his particle source). As above, there is a distinction between pure states and mixed states, the latter being statistical mixtures of the former. However, some important differences arise in comparison with classical mechanics.
For any fixed observable A, it is generally possible to prepare a pure state σA such that A has a fixed value in this state: If we repeat the experiment several times, each time measuring A, we will always obtain the same measurement result, without any random behaviour. Such pure states σA are called eigenstates of A.
However, it is impossible to prepare a simultaneous eigenstate for all observables. For example, we cannot prepare a state such that both the position measurement Q(t) and the momentum measurement P(t) (at the same time t) produce "sharp" results; at least one of them will exhibit random behaviour. This is the content of the Heisenberg uncertainty relation.
Moreover, in contrast to classical mechanics, it is unavoidable that performing a measurement on the system generally changes its state. More precisely: After measuring an observable A, the system will be in an eigenstate of A; thus the state has changed, unless the system was already in that eigenstate. This expresses a kind of logical consistency: If we measure A twice in the same run of the experiment, the measurements being directly consecutive in time, then they will produce the same results. This has some strange consequences however:
Consider two observables, A and B, where A corresponds to a measurement earlier in time than B. Suppose that the system is in an eigenstate of B. If we measure only B, we will not notice statistical behaviour. If we measure first A and then B in the same run of the experiment, the system will transfer to an eigenstate of A after the first measurement, and we will generally notice that the results of B are statistical. Thus, quantum mechanical measurements influence one another, and it is important in which order they are performed.
Another feature of quantum states becomes relevant if we consider a physical system that consists of multiple subsystems; for example, an experiment with two particles rather than one. Quantum physics allows for certain states, called entangled states, that show certain statistical correlations between measurements on the two particles which cannot be explained by classical theory. For details, see entanglement. These entangled states lead to experimentally testable properties (Bell's theorem) that allow us to distinguish between quantum theory and alternative classical (non-quantum) models.
In the discussion above, we have taken the observables P(t), Q(t) to be dependent on time, while the state σ was fixed once at the beginning of the experiment. This approach is called the Heisenberg picture. One can, equivalently, treat the observables as fixed, while the state of the system depends on time; that is known as the Schrödinger picture. Conceptually (and mathematically), both approaches are equivalent; choosing one of them is a matter of convention.
Both viewpoints are used in quantum theory. While non-relativistic quantum mechanics is usually formulated in terms of the Schrödinger picture, the Heisenberg picture is often preferred in a relativistic context, that is, for quantum field theory.
Quantum physics is most commonly formulated in terms of linear algebra, as follows. Any given system is identified with some Hilbert space, such that each vector in the Hilbert space (apart from the origin) corresponds to a pure quantum state. In addition, two vectors that differ only by a nonzero complex scalar correspond to the same state (in other words, each pure state is a ray in the Hilbert space).
Alternatively, many authors choose to only consider normalized vectors (vectors of norm 1) as corresponding to quantum states. In this case, the set of all pure states corresponds to the unit sphere of a Hilbert space, with the proviso that two normalized vectors correspond to the same state if they differ only by a complex scalar of absolute value 1 (called a phase factor).
Calculations in quantum mechanics make frequent use of linear operators, inner products, dual spaces, and Hermitian conjugation. In order to make such calculations more straightforward, and to obviate the need (in some contexts) to fully understand the underlying linear algebra, Paul Dirac invented a notation to describe quantum states, known as bra-ket notation. Although the details of this are beyond the scope of this article (see the article Bra-ket notation), some consequences of this are:
Electrons are fermions with S=1/2, photons (quanta of light) are bosons with S=1.
Apart from the symmetrization or anti-symmetrization, N-particle states can thus simply be obtained by tensor products of one-particle states, to which we return herewith.
∑ | | ci | 2 = 1 |
i |
One example of a quantum interference phenomenon that arises from superposition is the double-slit experiment. The photon state is a superposition of two different states, one of which corresponds to the photon having passed through the left slit, and the other corresponding to passage through the right slit. The relative phase of those two states has a value which depends on the distance from each of the two slits. Depending on what that phase is, the interference is constructive at some locations and destructive in others, creating the interference pattern.
Another example of the importance of relative phase in quantum superposition is Rabi oscillations, where the relative phase of two states varies in time due to the Schrödinger equation. The resulting superposition ends up oscillating back and forth between two different states.
A pure quantum state is a state which can be described by a single ket vector, as described above. A mixed quantum state is a statistical ensemble of pure states (see quantum statistical mechanics).
A mixed state cannot be described as a ket vector. Instead, it is described by its associated density matrix (or density operator), usually denoted ρ. Note that density matrices can describe both mixed and pure states, treating them on the same footing.
The density matrix is defined as
A simple criterion for checking whether a density matrix is describing a pure or mixed state is that the trace of ρ2 is equal to 1 if the state is pure, and less than 1 if the state is mixed. Another, equivalent, criterion is that the von Neumann entropy is 0 for a pure state, and strictly positive for a mixed state.
The rules for measurement in quantum mechanics are particularly simple to state in terms of density matrices. For example, the ensemble average (expectation value) of a measurement corresponding to an observable A is given by
W.r.t. these different types of averaging, i.e. to distinguish pure and/or mixed states, one often uses the expressions 'coherent' and/or 'incoherent superposition' of quantum states.
For a mathematical discussion on states as functionals, see Gelfand-Naimark-Segal construction. There, the same objects are described in a C*-algebraic context.