Quantum state
From Wikipedia, the free encyclopedia
In quantum mechanics, the quantum state of a system completely describes all aspects of the system. All experimental predictions are based on the quantum state of the system and the quantum operations acting on the state. A fully specified quantum state can be described by a state vector, a wavefunction, or a complete set of quantum numbers for a specific system. A partially known quantum state, such as an ensemble with some quantum numbers fixed, can be described by a density operator.
Contents |
[edit] Bra-ket notation
Paul Dirac invented a powerful and intuitive notation to describe quantum states, known as bra-ket notation. For instance, one can refer to an |excited atom> or to for a spin-up particle, hiding the underlying complexity of the mathematical description, which is revealed when the state is projected onto a coordinate basis. For instance, the simple notation |1s> describes the first hydrogen atom bound state, but becomes a complicated function in terms of Laguerre polynomials and spherical harmonics when projected onto the basis of position vectors |r>. The resulting expression Ψ(r)=<r|1s>, which is known as the wavefunction, is a special representation of the quantum state, namely, its projection into position space. Other representations, such as projection into momentum space, are possible. The various representations are simply different expressions of a single physical quantum state.
[edit] Basis states
Any quantum state can be expressed in terms of a sum of basis states (also called basis kets) in the form
where ci are the coefficients representing the probability amplitude, such that the absolute square of the probability amplitude, is the probability of a measurement in terms of the basis states yielding the state . The normalization condition mandates that the total sum of probabilities is equal to one,
The simplest understanding of basis states is obtained by examining the quantum harmonic oscillator. In this system, each basis state has an energy . The set of basis states can be extracted using a construction operator and a destruction operator in what is called the ladder operator method.
[edit] Superposition of states
If a quantum mechanical state can be reached by more than one path, then is said to be a linear superposition of states. In the case of two paths, if the states after passing through path α and path β are
- and
then is defined as the normalized linear sum of these two states. If the two paths are equally likely, this yields
Note that in the states and the two states and each have a probability of as obtained by the absolute square of the probability amplitudes, which are and In a superposition, it is the probability amplitudes which add, and not the probabilities themselves. The pattern which results from a superposition is often called an interference pattern. In the above case, is said to constructively interfere, and is said to destructively interfere.
For more about superposition of states, see the double-slit experiment.
[edit] Pure and mixed states
A pure quantum state is a state which can be described by a single ket vector, or as a sum of basis states. A mixed quantum state is a statistical distribution of pure states.
The expectation value of a measurement A on a pure quantum state is given by
where are basis kets for the operator A, and P(αi) is the probability of being measured in state
In order to describe a statistical distribution of pure states, or mixed state, the density matrix (or density operator), ρ, is used. This extends quantum mechanics to quantum statistical mechanics. The density operator is defined as
where ps is the fraction of each ensemble in pure state The ensemble average of a measurement A on a mixed state is given by
where it is important to note that two types of averaging are occurring, one being a quantum average over the basis kets of the pure states, and the other being a statistical average over the ensemble of pure states.
[edit] Mathematical formulation
For a mathematical discussion on states as functionals, see GNS construction. There, the same objects are described in a C*-algebraic context.