Measurement (quantum Physics)
   HOME

TheInfoList



OR:

In
quantum physics 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 ...
, a measurement is the testing or manipulation of a physical system to yield a numerical result. A fundamental feature of quantum theory is that the predictions it makes are
probabilistic Probability is a branch of mathematics and statistics concerning events and numerical descriptions of how likely they are to occur. The probability of an event is a number between 0 and 1; the larger the probability, the more likely an e ...
. The procedure for finding a probability involves combining a
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 ...
, 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 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 ...
. For example, a quantum particle like an
electron The electron (, or in nuclear reactions) is a subatomic particle with a negative one elementary charge, elementary electric charge. It is a fundamental particle that comprises the ordinary matter that makes up the universe, along with up qua ...
can be described by a quantum state that associates to each point in space a
complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
called a
probability amplitude In quantum mechanics, a probability amplitude is a complex number used for describing the behaviour of systems. The square of the modulus of this quantity at a point in space represents a probability density at that point. Probability amplitu ...
. 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 The uncertainty principle, also known as Heisenberg's indeterminacy principle, is a fundamental concept in quantum mechanics. It states that there is a limit to the precision with which certain pairs of physical properties, such as position a ...
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 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 ...
and
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics ...
. Quantum physics has proven to be an empirical success and to have wide-ranging applicability. However, on a more
philosophical Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...
level, debates continue about the meaning of the measurement concept.


Mathematical formalism


"Observables" as self-adjoint operators

In quantum mechanics, each physical system is associated with 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 ...
, each element of which represents a possible state of the physical system. The approach codified by
John von Neumann John von Neumann ( ; ; December 28, 1903 – February 8, 1957) was a Hungarian and American mathematician, physicist, computer scientist and engineer. Von Neumann had perhaps the widest coverage of any mathematician of his time, in ...
represents a measurement upon a physical system by 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 ...
on that Hilbert space termed an "observable". These observables play the role of measurable quantities familiar from classical physics: position,
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. ...
,
energy Energy () is the physical quantity, quantitative physical property, property that is transferred to a physical body, body or to a physical system, recognizable in the performance of Work (thermodynamics), work and in the form of heat and l ...
,
angular momentum Angular momentum (sometimes called moment of momentum or rotational momentum) is the rotational analog of Momentum, linear momentum. It is an important physical quantity because it is a Conservation law, conserved quantity – the total ang ...
and so on. The
dimension In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coo ...
of the Hilbert space may be infinite, as it is for the space of
square-integrable function In mathematics, a square-integrable function, also called a quadratically integrable function or L^2 function or square-summable function, is a real- or complex-valued measurable function for which the integral of the square of the absolute value ...
s 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 operator In mathematics, more specifically functional analysis and operator theory, the notion of unbounded operator provides an abstract framework for dealing with differential operators, unbounded observables in quantum mechanics, and other cases. The t ...
s; questions of convergence (whether the
limit of a sequence As the positive integer n becomes larger and larger, the value n\times \sin\left(\tfrac1\right) becomes arbitrarily close to 1. We say that "the limit of the sequence n \times \sin\left(\tfrac1\right) equals 1." In mathematics, the li ...
of Hilbert-space elements also belongs to the Hilbert space), exotic possibilities for sets of eigenvalues, like
Cantor set In mathematics, the Cantor set is a set of points lying on a single line segment that has a number of unintuitive properties. It was discovered in 1874 by Henry John Stephen Smith and mentioned by German mathematician Georg Cantor in 1883. Throu ...
s; and so forth. These issues can be satisfactorily resolved using
spectral theory In mathematics, spectral theory is an inclusive term for theories extending the eigenvector and eigenvalue theory of a single square matrix to a much broader theory of the structure of operator (mathematics), operators in a variety of mathematical ...
; the present article will avoid them whenever possible.


Projective measurement

The
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 ...
s of a von Neumann observable form an
orthonormal basis In mathematics, particularly linear algebra, an orthonormal basis for an inner product space V with finite Dimension (linear algebra), dimension is a Basis (linear algebra), basis for V whose vectors are orthonormal, that is, they are all unit vec ...
for the Hilbert space, and each possible outcome of that measurement corresponds to one of the vectors comprising the basis. A
density operator In quantum mechanics, a density matrix (or density operator) is a matrix used in calculating the probabilities of the outcomes of measurements performed on physical systems. It is a generalization of the state vectors or wavefunctions: while thos ...
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 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 ...
, which states that :P(x_i) = \operatorname(\Pi_i \rho), where \rho is the density operator, and \Pi_i is the projection operator onto the basis vector corresponding to the measurement outcome x_i. The average of 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 ...
s of a von Neumann observable, weighted by the Born rule probabilities, is the
expectation value In probability theory, the expected value (also called expectation, expectancy, expectation operator, mathematical expectation, mean, expectation value, or first moment) is a generalization of the weighted average. Informally, the expected va ...
of that observable. For an observable A, the expectation value given a quantum state \rho is : \langle A \rangle = \operatorname (A\rho). 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 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 ...
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 In mathematical physics, Gleason's theorem shows that the rule one uses to calculate probabilities in quantum physics, the Born rule, can be derived from the usual mathematical representation of measurements in quantum physics together with the a ...
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 Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics ...
and quantum measurement theory, a positive-operator-valued measure (POVM) is a measure whose values are positive semi-definite operators on 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 ...
. POVMs are a generalisation of
projection-valued measure In mathematics, particularly in functional analysis, a projection-valued measure, or spectral measure, is a function defined on certain subsets of a fixed set and whose values are self-adjoint projections on a fixed Hilbert space. A projection-va ...
s (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 In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
. They are extensively used in the field of
quantum information Quantum information is the information of the state of a quantum system. It is the basic entity of study in quantum information theory, and can be manipulated using quantum information processing techniques. Quantum information refers to both t ...
. In the simplest case, of a POVM with a finite number of elements acting on a finite-dimensional
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 ...
, a POVM is a set of positive semi-definite
matrices Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the ...
\ on a Hilbert space \mathcal that sum to the
identity matrix In linear algebra, the identity matrix of size n is the n\times n square matrix with ones on the main diagonal and zeros elsewhere. It has unique properties, for example when the identity matrix represents a geometric transformation, the obje ...
, :\sum_^n F_i = \operatorname. In quantum mechanics, the POVM element F_i is associated with the measurement outcome i, such that the probability of obtaining it when making a measurement on 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 ...
\rho is given by :\text(i) = \operatorname(\rho F_i) , where \operatorname is the trace operator. When the quantum state being measured is a pure state , \psi\rangle this formula reduces to :\text(i) = \operatorname(, \psi\rangle\langle\psi, F_i) = \langle\psi, F_i, \psi\rangle.


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: :E_i = A^\dagger_ A_. The Kraus operators A_, named for Karl Kraus, provide a specification of the state-change process. They are not necessarily self-adjoint, but the products A^\dagger_ A_ are. If upon performing the measurement the outcome E_i is obtained, then the initial state \rho is updated to :\rho \to \rho' = \frac = \frac. 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: :\rho \to \rho' = \frac. If the initial state \rho is pure, and the projectors \Pi_i have rank 1, they can be written as projectors onto the vectors , \psi\rangle and , i\rangle, respectively. The formula simplifies thus to :\rho = , \psi\rangle\langle\psi, \to \rho' = \frac = , i\rangle\langle 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\rangle implies a probability-one prediction for any von Neumann observable that has , i\rangle 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: :\rho \to \sum_i A_i \rho A^\dagger_i. 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 In quantum computing, a qubit () or quantum bit is a basic unit of quantum information—the quantum version of the classic binary bit physically realized with a two-state device. A qubit is a two-state (or two-level) quantum-mechanical syste ...
, a quantum system whose Hilbert space is 2-dimensional. A pure state for a qubit can be written as a
linear combination In mathematics, a linear combination or superposition is an Expression (mathematics), expression constructed from a Set (mathematics), set of terms by multiplying each term by a constant and adding the results (e.g. a linear combination of ''x'' a ...
of two orthogonal basis states , 0 \rangle and , 1 \rangle with complex coefficients: : , \psi \rangle = \alpha , 0 \rangle + \beta , 1 \rangle A measurement in the (, 0\rangle, , 1\rangle) basis will yield outcome , 0 \rangle with probability , \alpha , ^2 and outcome , 1 \rangle with probability , \beta , ^2, so by normalization, : , \alpha , ^2 + , \beta , ^2 = 1. An arbitrary state for a qubit can be written as a linear combination of the
Pauli matrices In mathematical physics and mathematics, the Pauli matrices are a set of three complex matrices that are traceless, Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma (), they are occasionally denoted by tau () ...
, which provide a basis for 2 \times 2 self-adjoint matrices: :\rho = \tfrac\left(I + r_x \sigma_x + r_y \sigma_y + r_z \sigma_z\right), where the real numbers (r_x, r_y, r_z) are the coordinates of a point within the
unit ball Unit may refer to: General measurement * Unit of measurement, a definite magnitude of a physical quantity, defined and adopted by convention or by law **International System of Units (SI), modern form of the metric system **English units, histo ...
and : \sigma_x = \begin 0&1\\ 1&0 \end, \quad \sigma_y = \begin 0&-i\\ i&0 \end, \quad \sigma_z = \begin 1&0\\ 0&-1 \end . 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 (r_x, r_y, r_z) of the state \rho 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 \sigma_z are the basis states , 0\rangle and , 1\rangle, and a measurement of \sigma_z is often called a measurement in the "computational basis." After a measurement in the computational basis, the outcome of a \sigma_x or \sigma_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: :\begin , \Phi^+\rangle &= \frac (, 0\rangle_A \otimes , 0\rangle_B + , 1\rangle_A \otimes , 1\rangle_B) \\ , \Phi^-\rangle &= \frac (, 0\rangle_A \otimes , 0\rangle_B - , 1\rangle_A \otimes , 1\rangle_B) \\ , \Psi^+\rangle &= \frac (, 0\rangle_A \otimes , 1\rangle_B + , 1\rangle_A \otimes , 0\rangle_B) \\ , \Psi^-\rangle &= \frac (, 0\rangle_A \otimes , 1\rangle_B - , 1\rangle_A \otimes , 0\rangle_B) \end A common and useful example of quantum mechanics applied to a continuous degree of freedom is the
quantum harmonic oscillator The quantum harmonic oscillator is the quantum-mechanical analog of the classical harmonic oscillator. Because an arbitrary smooth potential can usually be approximated as a harmonic potential at the vicinity of a stable equilibrium point, ...
. This system is defined by the
Hamiltonian Hamiltonian may refer to: * Hamiltonian mechanics, a function that represents the total energy of a system * Hamiltonian (quantum mechanics), an operator corresponding to the total energy of that system ** Dyall Hamiltonian, a modified Hamiltonian ...
: = \frac + \fracm\omega^2 ^2, where , the momentum operator and the position operator are self-adjoint operators on the Hilbert space of square-integrable functions on the
real line A number line is a graphical representation of a straight line that serves as spatial representation of numbers, usually graduated like a ruler with a particular origin (geometry), origin point representing the number zero and evenly spaced mark ...
. The energy eigenstates solve the time-independent
Schrödinger equation The Schrödinger equation is a partial differential equation that governs the wave function of a non-relativistic quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after E ...
: : , n\rangle = E_n , n\rangle. These eigenvalues can be shown to be given by :E_n = \hbar\omega\left(n + \tfrac\right), 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 In probability theory, a probability density function (PDF), density function, or density of an absolutely continuous random variable, is a Function (mathematics), function whose value at any given sample (or point) in the sample space (the s ...
P(x) that gives the probability of the measurement outcome lying in the infinitesimal interval from x to x + dx.


History of the measurement concept


The "old quantum theory"

The old quantum theory is a collection of results from the years 1900–1925 which predate modern
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 ...
. The theory was never complete or self-consistent, but was rather a set of
heuristic A heuristic or heuristic technique (''problem solving'', '' mental shortcut'', ''rule of thumb'') is any approach to problem solving that employs a pragmatic method that is not fully optimized, perfected, or rationalized, but is nevertheless ...
corrections to
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 ...
. The theory is now understood as a semi-classical approximation to modern quantum mechanics. Notable results from this period include Planck's calculation of the blackbody radiation spectrum,
Einstein Albert Einstein (14 March 187918 April 1955) was a German-born theoretical physicist who is best known for developing the theory of relativity. Einstein also made important contributions to quantum mechanics. His mass–energy equivalence f ...
's explanation of the
photoelectric effect The photoelectric effect is the emission of electrons from a material caused by electromagnetic radiation such as ultraviolet light. Electrons emitted in this manner are called photoelectrons. The phenomenon is studied in condensed matter physi ...
, Einstein and Debye's work on the
specific heat In thermodynamics, the specific heat capacity (symbol ) of a substance is the amount of heat that must be added to one unit of mass of the substance in order to cause an increase of one unit in temperature. It is also referred to as massic heat ...
of solids, Bohr and van Leeuwen's
proof Proof most often refers to: * Proof (truth), argument or sufficient evidence for the truth of a proposition * Alcohol proof, a measure of an alcoholic drink's strength Proof may also refer to: Mathematics and formal logic * Formal proof, a co ...
that classical physics cannot account for
diamagnetism Diamagnetism is the property of materials that are repelled by a magnetic field; an applied magnetic field creates an induced magnetic field in them in the opposite direction, causing a repulsive force. In contrast, paramagnetic and ferromagnet ...
, Bohr's model of the
hydrogen atom A hydrogen atom is an atom of the chemical element hydrogen. The electrically neutral hydrogen atom contains a single positively charged proton in the nucleus, and a single negatively charged electron bound to the nucleus by the Coulomb for ...
and
Arnold Sommerfeld Arnold Johannes Wilhelm Sommerfeld (; 5 December 1868 – 26 April 1951) was a German Theoretical physics, theoretical physicist who pioneered developments in Atomic physics, atomic and Quantum mechanics, quantum physics, and also educated and ...
's extension of the
Bohr model In atomic physics, the Bohr model or Rutherford–Bohr model was a model of the atom that incorporated some early quantum concepts. Developed from 1911 to 1918 by Niels Bohr and building on Ernest Rutherford's nuclear Rutherford model, model, i ...
to include relativistic effects. The Stern–Gerlach experiment, proposed in 1921 and implemented in 1922, became a prototypical example of a quantum measurement having a discrete set of possible outcomes. In the original experiment, silver atoms were sent through a spatially varying magnetic field, which deflected them before they struck a detector screen, such as a glass slide. Particles with non-zero
magnetic moment In electromagnetism, the magnetic moment or magnetic dipole moment is the combination of strength and orientation of a magnet or other object or system that exerts a magnetic field. The magnetic dipole moment of an object determines the magnitude ...
are deflected, due to the magnetic field
gradient In vector calculus, the gradient of a scalar-valued differentiable function f of several variables is the vector field (or vector-valued function) \nabla f whose value at a point p gives the direction and the rate of fastest increase. The g ...
, from a straight path. The screen reveals discrete points of accumulation, rather than a continuous distribution, owing to the particles' quantized spin.


Transition to the “new” quantum theory

A 1925 paper by Heisenberg, known in English as " Quantum theoretical re-interpretation of kinematic and mechanical relations", marked a pivotal moment in the maturation of quantum physics. Heisenberg sought to develop a theory of atomic phenomena that relied only on "observable" quantities. At the time, and in contrast with the later standard presentation of quantum mechanics, Heisenberg did not regard the position of an electron bound within an atom as "observable". Instead, his principal quantities of interest were the frequencies of light emitted or absorbed by atoms. The
uncertainty principle The uncertainty principle, also known as Heisenberg's indeterminacy principle, is a fundamental concept in quantum mechanics. It states that there is a limit to the precision with which certain pairs of physical properties, such as position a ...
dates to this period. It is frequently attributed to Heisenberg, who introduced the concept in analyzing a
thought experiment A thought experiment is an imaginary scenario that is meant to elucidate or test an argument or theory. It is often an experiment that would be hard, impossible, or unethical to actually perform. It can also be an abstract hypothetical that is ...
where one attempts to measure an electron's position and momentum simultaneously. However, Heisenberg did not give precise mathematical definitions of what the "uncertainty" in these measurements meant. The precise mathematical statement of the position-momentum uncertainty principle is due to Kennard, Pauli, and Weyl, and its generalization to arbitrary pairs of noncommuting observables is due to Robertson and Schrödinger. Writing and for the self-adjoint operators representing position and momentum respectively, a
standard deviation In statistics, the standard deviation is a measure of the amount of variation of the values of a variable about its Expected value, mean. A low standard Deviation (statistics), deviation indicates that the values tend to be close to the mean ( ...
of position can be defined as :\sigma_x=\sqrt, and likewise for the momentum: :\sigma_p=\sqrt. The Kennard–Pauli–Weyl uncertainty relation is :\sigma_x \sigma_p \geq \frac. This inequality means that no preparation of a quantum particle can imply simultaneously precise predictions for a measurement of position and for a measurement of momentum. The Robertson inequality generalizes this to the case of an arbitrary pair of self-adjoint operators A and B. 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, ...
of these two operators is : ,BAB-BA, and this provides the lower bound on the product of standard deviations: :\sigma_A \sigma_B \geq \left, \frac\langle ,Brangle \ = \frac\left, \langle ,Brangle \. Substituting in the
canonical commutation relation In quantum mechanics, the canonical commutation relation is the fundamental relation between canonical conjugate quantities (quantities which are related by definition such that one is the Fourier transform of another). For example, hat x,\hat p ...
= i\hbar, an expression first postulated by
Max Born Max Born (; 11 December 1882 – 5 January 1970) was a German-British theoretical physicist who was instrumental in the development of quantum mechanics. He also made contributions to solid-state physics and optics, and supervised the work of a ...
in 1925, recovers the Kennard–Pauli–Weyl statement of the uncertainty principle.


From uncertainty to no-hidden-variables

The existence of the uncertainty principle naturally raises the question of whether quantum mechanics can be understood as an approximation to a more exact theory. Do there exist " hidden variables", more fundamental than the quantities addressed in quantum theory itself, knowledge of which would allow more exact predictions than quantum theory can provide? A collection of results, most significantly
Bell's theorem Bell's theorem is a term encompassing a number of closely related results in physics, all of which determine that quantum mechanics is incompatible with local hidden-variable theories, given some basic assumptions about the nature of measuremen ...
, have demonstrated that broad classes of such hidden-variable theories are in fact incompatible with quantum physics.
Bell A bell /ˈbɛl/ () is a directly struck idiophone percussion instrument. Most bells have the shape of a hollow cup that when struck vibrates in a single strong strike tone, with its sides forming an efficient resonator. The strike may be m ...
published the theorem now known by his name in 1964, investigating more deeply a
thought experiment A thought experiment is an imaginary scenario that is meant to elucidate or test an argument or theory. It is often an experiment that would be hard, impossible, or unethical to actually perform. It can also be an abstract hypothetical that is ...
originally proposed in 1935 by
Einstein Albert Einstein (14 March 187918 April 1955) was a German-born theoretical physicist who is best known for developing the theory of relativity. Einstein also made important contributions to quantum mechanics. His mass–energy equivalence f ...
, Podolsky and Rosen. According to Bell's theorem, if nature actually operates in accord with any theory of ''local'' hidden variables, then the results of a Bell test will be constrained in a particular, quantifiable way. If a Bell test is performed in a laboratory and the results are ''not'' thus constrained, then they are inconsistent with the hypothesis that local hidden variables exist. Such results would support the position that there is no way to explain the phenomena of quantum mechanics in terms of a more fundamental description of nature that is more in line with the rules of classical physics. Many types of Bell test have been performed in physics laboratories, often with the goal of ameliorating problems of experimental design or set-up that could in principle affect the validity of the findings of earlier Bell tests. This is known as "closing loopholes in Bell tests". To date, Bell tests have found that the hypothesis of local hidden variables is inconsistent with the way that physical systems behave.


Quantum systems as measuring devices

The Robertson–Schrödinger uncertainty principle establishes that when two observables do not commute, there is a tradeoff in predictability between them. The Wigner–Araki–Yanase theorem demonstrates another consequence of non-commutativity: the presence of a
conservation law In physics, a conservation law states that a particular measurable property of an isolated physical system does not change as the system evolves over time. Exact conservation laws include conservation of mass-energy, conservation of linear momen ...
limits the accuracy with which observables that fail to commute with the conserved quantity can be measured. Further investigation in this line led to the formulation of the Wigner–Yanase skew information. Historically, experiments in quantum physics have often been described in semiclassical terms. For example, the spin of an atom in a Stern–Gerlach experiment might be treated as a quantum degree of freedom, while the atom is regarded as moving through a
magnetic field A magnetic field (sometimes called B-field) is a physical field that describes the magnetic influence on moving electric charges, electric currents, and magnetic materials. A moving charge in a magnetic field experiences a force perpendicular ...
described by the classical theory of
Maxwell's equations Maxwell's equations, or Maxwell–Heaviside equations, are a set of coupled partial differential equations that, together with the Lorentz force law, form the foundation of classical electromagnetism, classical optics, Electrical network, electr ...
. But the devices used to build the experimental apparatus are themselves physical systems, and so quantum mechanics should be applicable to them as well. Beginning in the 1950s, Rosenfeld, von Weizsäcker and others tried to develop consistency conditions that expressed when a quantum-mechanical system could be treated as a measuring apparatus. One proposal for a criterion regarding when a system used as part of a measuring device can be modeled semiclassically relies on the Wigner function, a quasiprobability distribution that can be treated as a probability distribution on
phase space The phase space of a physical system is the set of all possible physical states of the system when described by a given parameterization. Each possible state corresponds uniquely to a point in the phase space. For mechanical systems, the p ...
in those cases where it is everywhere non-negative.


Decoherence

A quantum state for an imperfectly isolated system will generally evolve to be entangled with the quantum state for the environment. Consequently, even if the system's initial state is pure, the state at a later time, found by taking 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 joint system-environment state, will be mixed. This phenomenon of entanglement produced by system-environment interactions tends to obscure the more exotic features of quantum mechanics that the system could in principle manifest. Quantum decoherence, as this effect is known, was first studied in detail during the 1970s. (Earlier investigations into how classical physics might be obtained as a limit of quantum mechanics had explored the subject of imperfectly isolated systems, but the role of entanglement was not fully appreciated.) A significant portion of the effort involved in
quantum computing A quantum computer is a computer that exploits quantum mechanical phenomena. On small scales, physical matter exhibits properties of wave-particle duality, both particles and waves, and quantum computing takes advantage of this behavior using s ...
is to avoid the deleterious effects of decoherence. To illustrate, let \rho_S denote the initial state of the system, \rho_E the initial state of the environment and H the Hamiltonian specifying the system-environment interaction. The density operator \rho_E can be diagonalized and written as a linear combination of the projectors onto its eigenvectors: :\rho_E = \sum_i p_i , \psi_i\rangle\langle \psi_i, . Expressing time evolution for a duration t by the unitary operator U = e^, the state for the system after this evolution is :\rho_S' = _E U \left \psi_i\rangle\langle \psi_i, \right)\rightU^\dagger, which evaluates to :\rho_S' = \sum_ \sqrt \langle \psi_j , U , \psi_i \rangle \rho_S \sqrt\langle \psi_i , U^\dagger , \psi_j \rangle. The quantities surrounding \rho_S can be identified as Kraus operators, and so this defines a quantum channel. Specifying a form of interaction between system and environment can establish a set of "pointer states," states for the system that are (approximately) stable, apart from overall phase factors, with respect to environmental fluctuations. A set of pointer states defines a preferred orthonormal basis for the system's Hilbert space.


Quantum information and computation

Quantum information science Quantum information science is a field that combines the principles of quantum mechanics with information theory to study the processing, analysis, and transmission of information. It covers both theoretical and experimental aspects of quantum phys ...
studies how information science and its application as technology depend on quantum-mechanical phenomena. Understanding measurement in quantum physics is important for this field in many ways, some of which are briefly surveyed here.


Measurement, entropy, and distinguishability

The von Neumann entropy is a measure of the statistical uncertainty represented by a quantum state. For a density matrix \rho, the von Neumann entropy is :S(\rho) = -(\rho \log \rho); writing \rho in terms of its basis of eigenvectors, :\rho = \sum_i \lambda_i , i\rangle\langle i, , the von Neumann entropy is :S(\rho) = -\sum_i \lambda_i \log \lambda_i. This is the Shannon entropy of the set of eigenvalues interpreted as a probability distribution, and so the von Neumann entropy is the Shannon entropy of the
random variable A random variable (also called random quantity, aleatory variable, or stochastic variable) is a Mathematics, mathematical formalization of a quantity or object which depends on randomness, random events. The term 'random variable' in its mathema ...
defined by measuring in the eigenbasis of \rho. Consequently, the von Neumann entropy vanishes when \rho is pure. The von Neumann entropy of \rho can equivalently be characterized as the minimum Shannon entropy for a measurement given the quantum state \rho, with the minimization over all POVMs with rank-1 elements. Many other quantities used in quantum information theory also find motivation and justification in terms of measurements. For example, the trace distance between quantum states is equal to the largest ''difference in probability'' that those two quantum states can imply for a measurement outcome: :\frac, , \rho-\sigma, , = \max_ E \rho) - (E \sigma) Similarly, the
fidelity Fidelity is the quality of faithfulness or loyalty. Its original meaning regarded duty in a broader sense than the related concept of '' fealty''. Both derive from the Latin word , meaning "faithful or loyal". In the City of London financial m ...
of two quantum states, defined by :F(\rho, \sigma) = \left(\operatorname \sqrt\right)^2, expresses the probability that one state will pass a test for identifying a successful preparation of the other. The trace distance provides bounds on the fidelity via the Fuchs–van de Graaf inequalities: :1 - \sqrt \leq \frac, , \rho-\sigma, , \leq \sqrt.


Quantum circuits

Quantum circuits are a
model A model is an informative representation of an object, person, or system. The term originally denoted the plans of a building in late 16th-century English, and derived via French and Italian ultimately from Latin , . Models can be divided in ...
for quantum computation in which a computation is a sequence of
quantum gate In quantum computing and specifically the quantum circuit model of computation, a quantum logic gate (or simply quantum gate) is a basic quantum circuit operating on a small number of qubits. Quantum logic gates are the building blocks of quantu ...
s followed by measurements. The gates are reversible transformations on a quantum mechanical analog of an ''n''- bit
register Register or registration may refer to: Arts, entertainment, and media Music * Register (music), the relative "height" or range of a note, melody, part, instrument, etc. * ''Register'', a 2017 album by Travis Miller * Registration (organ), ...
. This analogous structure is referred to as an ''n''-
qubit In quantum computing, a qubit () or quantum bit is a basic unit of quantum information—the quantum version of the classic binary bit physically realized with a two-state device. A qubit is a two-state (or two-level) quantum-mechanical syste ...
register Register or registration may refer to: Arts, entertainment, and media Music * Register (music), the relative "height" or range of a note, melody, part, instrument, etc. * ''Register'', a 2017 album by Travis Miller * Registration (organ), ...
. Measurements, drawn on a circuit diagram as stylized pointer dials, indicate where and how a result is obtained from the quantum computer after the steps of the computation are executed.
Without loss of generality ''Without loss of generality'' (often abbreviated to WOLOG, WLOG or w.l.o.g.; less commonly stated as ''without any loss of generality'' or ''with no loss of generality'') is a frequently used expression in mathematics. The term is used to indicat ...
, one can work with the standard circuit model, in which the set of gates are single-qubit unitary transformations and controlled NOT gates on pairs of qubits, and all measurements are in the computational basis.


Measurement-based quantum computation

Measurement-based quantum computation (MBQC) is a model of
quantum computing A quantum computer is a computer that exploits quantum mechanical phenomena. On small scales, physical matter exhibits properties of wave-particle duality, both particles and waves, and quantum computing takes advantage of this behavior using s ...
in which the answer to a question is, informally speaking, created in the act of measuring the physical system that serves as the computer.


Quantum tomography

Quantum state tomography is a process by which, given a set of data representing the results of quantum measurements, a quantum state consistent with those measurement results is computed. It is named by analogy with
tomography Tomography is imaging by sections or sectioning that uses any kind of penetrating wave. The method is used in radiology, archaeology, biology, atmospheric science, geophysics, oceanography, plasma physics, materials science, cosmochemistry, ast ...
, the reconstruction of three-dimensional images from slices taken through them, as in a
CT scan A computed tomography scan (CT scan), formerly called computed axial tomography scan (CAT scan), is a medical imaging technique used to obtain detailed internal images of the body. The personnel that perform CT scans are called radiographers or ...
. Tomography of quantum states can be extended to tomography of quantum channels and even of measurements.


Quantum metrology

Quantum metrology is the use of quantum physics to aid the measurement of quantities that, generally, had meaning in classical physics, such as exploiting quantum effects to increase the precision with which a length can be measured. A celebrated example is the introduction of squeezed light into the
LIGO The Laser Interferometer Gravitational-Wave Observatory (LIGO) is a large-scale physics experiment and observatory designed to detect cosmic gravitational waves and to develop gravitational-wave observations as an astronomical tool. Prior to LIG ...
experiment, which increased its sensitivity to
gravitational wave Gravitational waves are oscillations of the gravitational field that Wave propagation, travel through space at the speed of light; they are generated by the relative motion of gravity, gravitating masses. They were proposed by Oliver Heaviside i ...
s.


Laboratory implementations

The range of physical procedures to which the mathematics of quantum measurement can be applied is very broad. In the early years of the subject, laboratory procedures involved the recording of
spectral line A spectral line is a weaker or stronger region in an otherwise uniform and continuous spectrum. It may result from emission (electromagnetic radiation), emission or absorption (electromagnetic radiation), absorption of light in a narrow frequency ...
s, the darkening of photographic film, the observation of scintillations, finding tracks in
cloud chamber A cloud chamber, also known as a Wilson chamber, is a particle detector used for visualizing the passage of ionizing radiation. A cloud chamber consists of a sealed environment containing a supersaturated vapor of water or alcohol. An energetic ...
s, and hearing clicks from Geiger counters. Language from this era persists, such as the description of measurement outcomes in the abstract as "detector clicks". The
double-slit experiment In modern physics, the double-slit experiment demonstrates that light and matter can exhibit behavior of both classical particles and classical waves. This type of experiment was first performed by Thomas Young in 1801, as a demonstration of ...
is a prototypical illustration of quantum interference, typically described using electrons or photons. The first interference experiment to be carried out in a regime where both wave-like and particle-like aspects of photon behavior are significant was
G. I. Taylor Sir Geoffrey Ingram Taylor Order of Merit, OM Royal Society of London, FRS FRSE (7 March 1886 – 27 June 1975) was a British physicist and mathematician, who made contributions to fluid dynamics and wave theory. Early life and education Tayl ...
's test in 1909. Taylor used screens of smoked glass to attenuate the light passing through his apparatus, to the extent that, in modern language, only one photon would be illuminating the interferometer slits at a time. He recorded the interference patterns on photographic plates; for the dimmest light, the exposure time required was roughly three months. In 1974, the Italian physicists Pier Giorgio Merli, Gian Franco Missiroli, and
Giulio Pozzi Giulio Pozzi is an Italian physicist. His research activity was mainly devoted to the development of electron microscopy techniques applied to the study of magnetic and electric fields. Together with Pier Giorgio Merli and Gian Franco Missiroli, ...
implemented the double-slit experiment using single electrons and a television tube. A quarter-century later, a team at the
University of Vienna The University of Vienna (, ) is a public university, public research university in Vienna, Austria. Founded by Rudolf IV, Duke of Austria, Duke Rudolph IV in 1365, it is the oldest university in the German-speaking world and among the largest ...
performed an interference experiment with buckyballs, in which the buckyballs that passed through the interferometer were ionized by a
laser A laser is a device that emits light through a process of optical amplification based on the stimulated emission of electromagnetic radiation. The word ''laser'' originated as an acronym for light amplification by stimulated emission of radi ...
, and the ions then induced the emission of electrons, emissions which were in turn amplified and detected by an
electron multiplier An electron multiplier is a vacuum-tube structure that multiplies incident charges. In a process called secondary emission, a single electron can, when bombarded on secondary-emissive material, induce emission of roughly 1 to 3 electrons. If an ele ...
. Modern quantum optics experiments can employ single-photon detectors. For example, in the "BIG Bell test" of 2018, several of the laboratory setups used
single-photon avalanche diode A single-photon avalanche diode (SPAD), also called Geiger-mode avalanche photodiode (G-APD or GM-APD) is a solid-state photodetector within the same family as photodiodes and avalanche photodiodes (APDs), while also being fundamentally linked wi ...
s. Another laboratory setup used superconducting qubits. The standard method for performing measurements upon superconducting qubits is to couple a qubit with a
resonator A resonator is a device or system that exhibits resonance or resonant behavior. That is, it naturally oscillates with greater amplitude at some frequencies, called resonant frequencies, than at other frequencies. The oscillations in a reso ...
in such a way that the characteristic frequency of the resonator shifts according to the state for the qubit, and detecting this shift by observing how the resonator reacts to a probe signal.


Interpretations of quantum mechanics

Despite the consensus among scientists that quantum physics is in practice a successful theory, disagreements persist on a more philosophical level. Many debates in the area known as quantum foundations concern the role of measurement in quantum mechanics. Recurring questions include which interpretation of probability theory is best suited for the probabilities calculated from the Born rule; and whether the apparent randomness of quantum measurement outcomes is fundamental, or a consequence of a deeper
deterministic Determinism is the metaphysical view that all events within the universe (or multiverse) can occur only in one possible way. Deterministic theories throughout the history of philosophy have developed from diverse and sometimes overlapping mo ...
process. Worldviews that present answers to questions like these are known as "interpretations" of quantum mechanics; as the physicist N. David Mermin once quipped, "New interpretations appear every year. None ever disappear." A central concern within quantum foundations is the " quantum measurement problem," though how this problem is delimited, and whether it should be counted as one question or multiple separate issues, are contested topics. Of primary interest is the seeming disparity between apparently distinct types of time evolution. Von Neumann declared that quantum mechanics contains "two fundamentally different types" of quantum-state change. First, there are those changes involving a measurement process, and second, there is unitary time evolution in the absence of measurement. The former is stochastic and discontinuous, writes von Neumann, and the latter deterministic and continuous. This dichotomy has set the tone for much later debate. Some interpretations of quantum mechanics find the reliance upon two different types of time evolution distasteful and regard the ambiguity of when to invoke one or the other as a deficiency of the way quantum theory was historically presented. To bolster these interpretations, their proponents have worked to derive ways of regarding "measurement" as a secondary concept and deducing the seemingly stochastic effect of measurement processes as approximations to more fundamental deterministic dynamics. However, consensus has not been achieved among proponents of the correct way to implement this program, and in particular how to justify the use of the Born rule to calculate probabilities. Other interpretations regard quantum states as statistical information about quantum systems, thus asserting that abrupt and discontinuous changes of quantum states are not problematic, simply reflecting updates of the available information. Of this line of thought,
Bell A bell /ˈbɛl/ () is a directly struck idiophone percussion instrument. Most bells have the shape of a hollow cup that when struck vibrates in a single strong strike tone, with its sides forming an efficient resonator. The strike may be m ...
asked, "''Whose'' information? Information about ''what''?" Answers to these questions vary among proponents of the informationally-oriented interpretations.


See also

* Einstein's thought experiments * Holevo's theorem * Quantum error correction * Quantum limit *
Quantum logic In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manip­ulation of propositions inspired by the structure of quantum theory. The formal system takes as its starting p ...
*
Quantum Zeno effect In quantum mechanics, frequent measurements cause the quantum Zeno effect, a reduction in transitions away from the systems initial state, slowing a systems time evolution. Sometimes this effect is interpreted as "a system cannot change while you ...
*
Schrödinger's cat In quantum mechanics, Schrödinger's cat is a thought experiment concerning quantum superposition. In the thought experiment, a hypothetical cat in a closed box may be considered to be simultaneously both alive and dead while it is unobserved, ...
* SIC-POVM


Notes


References


Further reading

* * * * * {{DEFAULTSORT:Measurement In Quantum Mechanics Philosophy of physics fr:Problème de la mesure quantique