Glossary for Core Formalism

This local glossary gives compact meanings for the vocabulary used throughout Core Formalism. It is a router: use it to recall a term, then follow the canonical link for definitions, derivations, examples, and caveats.

For symbol-level lookup, use the Symbol Map. For notation translation across representations, use the Representation Translation Table. For site-wide glossary entries, use the Reference Glossary.

State and Representation Terms

Term	Compact meaning	Canonical home	Common warning
State	The mathematical object that determines all probabilities for a specified system and preparation.	Quantum States	A state is not the same thing as a single measurement outcome.
Pure state	A state represented by a ray, or equivalently by a rank-one density operator.	Pure States	A vector representative is not unique because global phase is unobservable.
Mixed state	A general state represented by a density operator that is not a rank-one projector.	Pure vs Mixed States	A mixed state need not mean ignorance about a unique underlying pure state.
State vector	A vector representative $\lvert\psi\rangle$ of a pure state.	State Vectors	The physical pure state is the ray, not one phase-fixed vector.
Ray	The equivalence class of nonzero vectors differing by a nonzero scalar, usually by phase after normalization.	Rays and Global Phase	Global phase is not relative phase.
Wavefunction	The coordinate representation $\psi(x)=\langle x\vert\psi\rangle$ of a state.	Wavefunctions as Representations	A wavefunction is representation-dependent.
Basis	A set of vectors used to expand states and represent operators by components.	Bases and Representations	Components change when the basis changes.
Amplitude	A complex number whose squared modulus enters a probability.	Probability Amplitudes	Amplitudes can interfere; probabilities are real and nonnegative.
Superposition	A linear combination of state vectors relative to a chosen representation or basis.	Superposition and Relative Phase	The displayed superposition can change under a basis change.

Operator and Spectrum Terms

Term	Compact meaning	Canonical home	Common warning
Operator	A map acting on state vectors or other mathematical objects in the Hilbert-space description.	Operators	Not every operator is an observable.
Observable	A measurable quantity represented by a self-adjoint operator.	Observables	The expectation value is not usually a possible single-shot outcome.
Hermitian	In finite dimensions, a matrix satisfying $A^\dagger=A$. More generally, a symmetric formal expression may need domain care.	Hermitian vs Self-Adjoint	In infinite dimensions, Hermitian-looking is not enough.
Self-adjoint	An operator equal to its adjoint, including the correct domain.	Hermitian vs Self-Adjoint	Self-adjointness is what supports real spectra and unitary dynamics.
Spectrum	The set of spectral values associated with an operator.	Spectra	Continuous spectra need spectral projectors, not normalizable eigenvectors.
Eigenvalue	A value $a$ satisfying $A\lvert a\rangle=a\lvert a\rangle$ for an eigenstate.	Eigenvalues and Eigenstates	Degenerate eigenvalues correspond to eigenspaces, not one preferred vector.
Eigenstate	A state unchanged in direction by an operator, up to multiplication by an eigenvalue.	Eigenvalues and Eigenstates	A generic state is not an eigenstate of a chosen observable.
Projector	An operator $P$ satisfying $P^2=P$ and $P^\dagger=P$.	Projectors	Degenerate outcomes are represented by projectors onto subspaces.
Function of an operator	An operator built from another operator through spectral or functional calculus.	Functions of Operators	It is not generally an entrywise function of a matrix in an arbitrary basis.

Probability and Measurement Terms

Term	Compact meaning	Canonical home	Common warning
Born rule	The rule assigning probabilities to measurement outcomes from states and measurement operators.	Born Rule	A probability needs both a state and a measurement context.
Probability density	A function integrated over a region to produce a probability.	Born Rule for Continuous Spectra	A density value is not itself a probability.
Expectation value	The statistical average of an observable over repeated preparations.	Expectation Values	It need not be one of the observable’s eigenvalues.
Variance	The expectation value of the squared deviation from the mean.	Variance and Standard Deviation	For a valid observable and state, it is nonnegative.
Covariance	The symmetrized two-observable statistic measuring how fluctuations co-vary in a state.	Correlations and Covariance	For noncommuting observables, ordered products and real covariance are different.
Commutator	The operator difference $[A,B]=AB-BA$.	Commutators	Operator order matters.
Compatibility	The condition that observables can be jointly sharp, usually expressed by commuting spectral projectors in the standard setting.	Compatible Observables	Vanishing expectation of a commutator is weaker than operator commutation.
Uncertainty relation	A bound relating spreads of measurement statistics in a prepared state.	General Uncertainty Relations	It is not merely a statement about detector disturbance.
Projective measurement	An ideal measurement described by orthogonal projectors and the associated state-update rule.	Projective Measurement	Degenerate outcomes require the full outcome projector.
POVM effect	A positive operator $E_i$ in a generalized measurement with $\sum_i E_i=I$.	POVMs: First Encounter	Effects need not be projectors.
State update	The conditional change of the state after an outcome has been selected.	State Update Rule	Selective measurement update is not unitary time evolution.

Dynamics and Composite-System Terms

Term	Compact meaning	Canonical home	Common warning
Hamiltonian	The observable generating time translations for a closed system.	Hamiltonians	It is more than an energy formula; it defines dynamics.
Unitary operator	An operator preserving inner products, probabilities, and norms.	Unitary Time Evolution	Closed-system time evolution is unitary; measurement update generally is not.
Stationary state	A state whose observable probabilities are time independent for a time-independent Hamiltonian.	Stationary States	A superposition of energy eigenstates is generally not stationary.
Tensor product	The construction used to build composite-system Hilbert spaces from subsystem Hilbert spaces.	Tensor Products	Tensor-factor ordering must be fixed.
Product state	A composite state that factors into subsystem states.	Product States	Most vectors in a tensor product do not factor.
Entangled state	A composite state that is not a product state, or a mixed state with nonclassical correlations in more advanced settings.	Entangled States	Entanglement does not allow faster-than-light signaling.
Local observable	An observable acting nontrivially on one subsystem and as identity on the others.	Subsystems and Local Observables	Local predictions can be computed from a reduced state.

Density-Operator Terms

Term	Compact meaning	Canonical home	Common warning
Density operator	A positive trace-one operator representing a general quantum state.	Density Operators	It is the state, not merely ignorance bookkeeping.
Density matrix	A matrix representation of a density operator in a chosen basis.	Reference: Density Matrix	Matrix entries are representation-dependent.
Ensemble	A preparation procedure that produces states with specified classical probabilities.	Ensembles and Preparation Procedures	Different ensembles can yield the same density operator.
Trace rule	The rule $\langle A\rangle=\operatorname{Tr}(\rho A)$ for expectation values.	Trace Rule for Expectation Values	Trace formulas require valid trace-class states in infinite-dimensional settings.
Partial trace	The operation that discards one subsystem while preserving local predictions for the rest.	Reduced Density Matrices	It is not a measurement of the discarded subsystem.
Reduced density operator	The density operator assigned to a subsystem by taking a partial trace.	Reduced Density Matrices	A subsystem of an entangled pure state is generally mixed.
Purification	A representation of a mixed state as a reduced state of a larger pure state.	Purification Overview	Purifications are not unique.

Postulates and Classical-Limit Terms

Term	Compact meaning	Canonical home	Common warning
Postulate	A structural assumption used to define the formalism and connect it to experiment.	Minimal Postulates	Postulates do not by themselves settle interpretation debates.
Equivalent formulation	A different mathematical presentation that gives the same operational predictions in its domain.	Equivalent Formulations	Equivalent does not mean notationally identical.
Assumption and scope	The domain in which a statement of the formalism is meant to apply.	Assumptions and Scope	Nonrelativistic quantum mechanics is not a universal theory of all regimes.
Correspondence principle	The requirement that quantum theory reproduce appropriate classical predictions in suitable regimes.	Correspondence Principle	It is a guide, not a complete derivation of classical mechanics by itself.
Classical limit	A regime in which quantum predictions approximate classical behavior for selected variables and scales.	Classical Limit	There is no single universal knob called “the classical limit.”
Semiclassical limit	A regime where phase scales such as $S/\hbar$ are large enough for stationary-phase or WKB methods.	Semiclassical Limit Overview	The statement "$\hbar\to0$" needs dimensionless control parameters.
Decoherence	Suppression of local interference due to entanglement with uncontrolled degrees of freedom.	Decoherence Preview	Decoherence does not by itself select a unique outcome.
Quantization	A procedure for constructing quantum models from classical structures.	Quantization vs Classical Limit	Quantization and taking a classical limit are opposite-direction tasks.

Contrast Pairs

Some terms are commonly confused because they are nearby in formulas.

Contrast	Distinction
amplitude vs probability	An amplitude is complex; a probability is real, nonnegative, and obtained from the appropriate quadratic rule.
state vector vs state	A vector is a representative; the physical pure state is a ray, and general states may require density operators.
superposition vs mixture	A superposition has coherent relative phases; a mixture is represented by a density operator with classical preparation weights or subsystem reduction.
Hermitian vs self-adjoint	In finite dimensions they coincide; in infinite dimensions domains matter.
eigenvalue vs expectation value	An eigenvalue can be a sharp measurement outcome; an expectation value is an ensemble average.
density operator vs density matrix	The operator is abstract; the matrix depends on a chosen basis.
partial trace vs measurement	Partial trace discards a subsystem mathematically; measurement conditions the state on an outcome.
global phase vs relative phase	A global phase cancels from all probabilities; relative phases affect interference.
quantization vs classical limit	Quantization builds quantum models from classical input; a classical limit extracts classical behavior from quantum dynamics.

Formula Hooks

A few formulas anchor much of the glossary:

$$p(a) = \langle\psi\vert P_a\vert\psi\rangle, \qquad \langle A\rangle = \operatorname{Tr}(\rho A).$$ $$[A,B] = AB-BA, \qquad U^\dagger U = I.$$ $$\rho_A = \operatorname{Tr}_B\rho_{AB}, \qquad \mathcal H_{AB} = \mathcal H_A\otimes\mathcal H_B.$$

These formulas are not substitutes for the assumptions behind them. Use Common Checks and Sanity Tests before trusting a calculation built from them.

Cross-Links

• Reference Glossary
• POVMs: First Encounter
• Exercises and Problems
• Symbol Map
• Representation Translation Table
• Common Checks and Sanity Tests
• Common Mistakes in the Formalism
• Dependency Graph of the Formalism

References

• P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed., Oxford University Press, 1958.
• J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955.
• R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
• J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
• C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
• M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2010.

Exercises

1. A calculation gives $\langle A\rangle=0.7$ for an observable whose only eigenvalues are $0$ and $1$. Is that impossible?

Solution

No. An expectation value is an ensemble average, not necessarily a single-shot outcome. If the probability of outcome $1$ is $0.7$ and the probability of outcome $0$ is $0.3$, the expectation value is $0.7$.

2. A student says that a subsystem of an entangled pure state must also be pure because the full state is pure. Which glossary terms correct the statement?

Solution

Use “entangled state,” “partial trace,” and “reduced density operator.” A subsystem state is obtained by tracing out the other subsystem. For an entangled pure joint state, the reduced density operator is generally mixed.

3. Why is the phrase “take $\hbar\to0$” incomplete as a definition of the classical limit?

Solution

$\hbar$ is dimensionful, so the meaningful control parameter is dimensionless, such as an action scale divided by $\hbar$. A classical approximation also depends on which observables, states, scales, and environmental conditions are being considered.