In
physics
Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge whi ...
, an observable is a
physical property
A physical property is any property of a physical system that is measurable. The changes in the physical properties of a system can be used to describe its changes between momentary states. A quantifiable physical property is called ''physical ...
or
physical quantity
A physical quantity (or simply quantity) is a property of a material or system that can be Quantification (science), quantified by measurement. A physical quantity can be expressed as a ''value'', which is the algebraic multiplication of a ''nu ...
that can be
measured. In
classical mechanics
Classical mechanics is a Theoretical physics, physical theory describing the motion of objects such as projectiles, parts of Machine (mechanical), machinery, spacecraft, planets, stars, and galaxies. The development of classical mechanics inv ...
, an observable is a
real-valued "function" on the set of all possible system states, e.g.,
position and
momentum
In Newtonian mechanics, momentum (: momenta or momentums; more specifically linear momentum or translational momentum) is the product of the mass and velocity of an object. It is a vector quantity, possessing a magnitude and a direction. ...
. In
quantum mechanics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
, an observable is an
operator, or
gauge
Gauge ( ) may refer to:
Measurement
* Gauge (instrument), any of a variety of measuring instruments
* Gauge (firearms)
* Wire gauge, a measure of the size of a wire
** American wire gauge, a common measure of nonferrous wire diameter, especia ...
, where the property of the
quantum state
In quantum physics, a quantum state is a mathematical entity that embodies the knowledge of a quantum system. Quantum mechanics specifies the construction, evolution, and measurement of a quantum state. The result is a prediction for the system ...
can be determined by some sequence of
operations. For example, these operations might involve submitting the system to various
electromagnetic field
An electromagnetic field (also EM field) is a physical field, varying in space and time, that represents the electric and magnetic influences generated by and acting upon electric charges. The field at any point in space and time can be regarde ...
s and eventually reading a value.
Physically meaningful observables must also satisfy
transformation laws that relate observations performed by different
observers in different
frames of reference
In physics and astronomy, a frame of reference (or reference frame) is an abstract coordinate system, whose origin, orientation, and scale have been specified in physical space. It is based on a set of reference points, defined as geometric ...
. These transformation laws are
automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphism ...
s of the
state space
In computer science, a state space is a discrete space representing the set of all possible configurations of a system. It is a useful abstraction for reasoning about the behavior of a given system and is widely used in the fields of artificial ...
, that is
bijective
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equival ...
transformations that preserve certain mathematical properties of the space in question.
Quantum mechanics
In
quantum mechanics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
, observables manifest as
self-adjoint operators on a
separable complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
representing the
quantum state space
In physics, a quantum state space is an abstract space in which different "positions" represent not literal locations, but rather quantum states of some physical system. It is the quantum analog of the phase space of classical mechanics.
Relativ ...
. Observables assign values to outcomes of ''particular measurements'', corresponding to the
eigenvalue
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
of the operator. If these outcomes represent physically allowable states (i.e. those that belong to the Hilbert space) the eigenvalues are
real; however, the converse is not necessarily true. As a consequence, only certain measurements can determine the value of an observable for some state of a quantum system. In classical mechanics, ''any'' measurement can be made to determine the value of an observable.
The relation between the state of a quantum system and the value of an observable requires some
linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mathemat ...
for its description. In the
mathematical formulation of quantum mechanics
The mathematical formulations of quantum mechanics are those mathematical formalisms that permit a rigorous description of quantum mechanics. This mathematical formalism uses mainly a part of functional analysis, especially Hilbert spaces, whic ...
, up to a
phase constant
The propagation constant of a sinusoidal electromagnetic wave is a measure of the change undergone by the amplitude and phase of the wave as it propagates in a given direction. The quantity being measured can be the voltage, the current in a ...
,
pure states are given by non-zero
vector
Vector most often refers to:
* Euclidean vector, a quantity with a magnitude and a direction
* Disease vector, an agent that carries and transmits an infectious pathogen into another living organism
Vector may also refer to:
Mathematics a ...
s in a
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
''V''. Two vectors v and w are considered to specify the same state if and only if
for some non-zero
. Observables are given by
self-adjoint operator
In mathematics, a self-adjoint operator on a complex vector space ''V'' with inner product \langle\cdot,\cdot\rangle is a linear map ''A'' (from ''V'' to itself) that is its own adjoint. That is, \langle Ax,y \rangle = \langle x,Ay \rangle for al ...
s on ''V''. Not every self-adjoint operator corresponds to a physically meaningful observable. Also, not all physical observables are associated with non-trivial self-adjoint operators. For example, in quantum theory, mass appears as a parameter in the Hamiltonian, not as a non-trivial operator.
In the case of transformation laws in quantum mechanics, the requisite automorphisms are
unitary
Unitary may refer to:
Mathematics
* Unitary divisor
* Unitary element
* Unitary group
* Unitary matrix
* Unitary morphism
* Unitary operator
* Unitary transformation
* Unitary representation
* Unitarity (physics)
* ''E''-unitary inverse semigr ...
(or
antiunitary)
linear transformation
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
s of the Hilbert space ''V''. Under
Galilean relativity
Galilean invariance or Galilean relativity states that the laws of motion are the same in all inertial frames of reference. Galileo Galilei first described this principle in 1632 in his ''Dialogue Concerning the Two Chief World Systems'' using t ...
or
special relativity
In physics, the special theory of relativity, or special relativity for short, is a scientific theory of the relationship between Spacetime, space and time. In Albert Einstein's 1905 paper, Annus Mirabilis papers#Special relativity,
"On the Ele ...
, the mathematics of frames of reference is particularly simple, considerably restricting the set of physically meaningful observables.
In quantum mechanics, measurement of observables exhibits some seemingly unintuitive properties. Specifically, if a system is in a state described by a vector in a
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
, the measurement process affects the state in a non-deterministic but statistically predictable way. In particular, after a measurement is applied, the state description by a single vector may be destroyed, being replaced by a
statistical ensemble
In physics, specifically statistical mechanics, an ensemble (also statistical ensemble) is an idealization consisting of a large number of virtual copies (sometimes infinitely many) of a system, considered all at once, each of which represents a ...
. The
irreversible nature of measurement operations in quantum physics is sometimes referred to as the
measurement problem
In quantum mechanics, the measurement problem is the ''problem of definite outcomes:'' quantum systems have superpositions but quantum measurements only give one definite result.
The wave function in quantum mechanics evolves deterministically ...
and is described mathematically by
quantum operations. By the structure of quantum operations, this description is mathematically equivalent to that offered by the
relative state interpretation where the original system is regarded as a subsystem of a larger system and the state of the original system is given by the
partial trace
In linear algebra and functional analysis, the partial trace is a generalization of the trace (linear algebra), trace. Whereas the trace is a scalar (mathematics), scalar-valued function on operators, the partial trace is an operator (mathemati ...
of the state of the larger system.
In quantum mechanics, dynamical variables
such as position, translational (linear)
momentum
In Newtonian mechanics, momentum (: momenta or momentums; more specifically linear momentum or translational momentum) is the product of the mass and velocity of an object. It is a vector quantity, possessing a magnitude and a direction. ...
,
orbital angular momentum,
spin, and
total angular momentum
In quantum mechanics, the total angular momentum quantum number parametrises the total angular momentum of a given particle, by combining its orbital angular momentum and its intrinsic angular momentum (i.e., its spin).
If s is the particle's ...
are each associated with a
self-adjoint operator
In mathematics, a self-adjoint operator on a complex vector space ''V'' with inner product \langle\cdot,\cdot\rangle is a linear map ''A'' (from ''V'' to itself) that is its own adjoint. That is, \langle Ax,y \rangle = \langle x,Ay \rangle for al ...
that acts on the
state
State most commonly refers to:
* State (polity), a centralized political organization that regulates law and society within a territory
**Sovereign state, a sovereign polity in international law, commonly referred to as a country
**Nation state, a ...
of the quantum system. The
eigenvalues
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
of operator
correspond to the possible values that the dynamical variable can be observed as having. For example, suppose
is an eigenket (
eigenvector
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by ...
) of the observable
, with eigenvalue
, and exists in a
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
. Then
This eigenket equation says that if a
measurement
Measurement is the quantification of attributes of an object or event, which can be used to compare with other objects or events.
In other words, measurement is a process of determining how large or small a physical quantity is as compared to ...
of the observable
is made while the system of interest is in the state
, then the observed value of that particular measurement must return the eigenvalue
with certainty. However, if the system of interest is in the general state
(and
and
are
unit vector
In mathematics, a unit vector in a normed vector space is a Vector (mathematics and physics), vector (often a vector (geometry), spatial vector) of Norm (mathematics), length 1. A unit vector is often denoted by a lowercase letter with a circumfle ...
s, and the
eigenspace
In linear algebra, an eigenvector ( ) or characteristic vector is a Vector (mathematics and physics), vector that has its direction (geometry), direction unchanged (or reversed) by a given linear map, linear transformation. More precisely, an e ...
of
is one-dimensional), then the eigenvalue
is returned with probability
, by the
Born rule
The Born rule is a postulate of quantum mechanics that gives the probability that a measurement of a quantum system will yield a given result. In one commonly used application, it states that the probability density for finding a particle at a ...
.
Compatible and incompatible observables in quantum mechanics
A crucial difference between classical quantities and quantum mechanical observables is that some pairs of quantum observables may not be simultaneously measurable, a property referred to as
complementarity. This is mathematically expressed by non-
commutativity
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a p ...
of their corresponding operators, to the effect that the
commutator
In mathematics, the commutator gives an indication of the extent to which a certain binary operation fails to be commutative. There are different definitions used in group theory and ring theory.
Group theory
The commutator of two elements, ...
This inequality expresses a dependence of measurement results on the order in which measurements of observables
and
are performed. A measurement of
alters the quantum state in a way that is incompatible with the subsequent measurement of
and vice versa.
Observables corresponding to commuting operators are called ''compatible observables''. For example, momentum along say the
and
axes are compatible. Observables corresponding to non-commuting operators are called ''incompatible observables'' or ''complementary variables''. For example, the position and momentum along the same axis are incompatible.
Incompatible observables cannot have a complete set of common
eigenfunction
In mathematics, an eigenfunction of a linear operator ''D'' defined on some function space is any non-zero function f in that space that, when acted upon by ''D'', is only multiplied by some scaling factor called an eigenvalue. As an equation, th ...
s. Note that there can be some simultaneous eigenvectors of
and
, but not enough in number to constitute a complete
basis.
See also
References
Further reading
*
*
*
*
*
*
*
*
*
{{Quantum mechanics topics
Control theory
Mathematical physics
Measurement
Physical quantities
Quantum mechanics
Statistics