Skip to content

Representation Translation Table

The same quantum object can be represented in different ways. The translation is not merely typography: states, operators, inner products, measures, and update rules must all be translated together.

For the conceptual statement that these presentations can describe the same predictions, see Equivalent Formulations. This page is the quick reference for moving between the notations used most often in Core Formalism.

A representation is a coordinate system for the same abstract object. A correct translation preserves probabilities and expectation values.

For example, the abstract state ∣ψ⟩\lvert\psi\rangle may be represented by:

  • a column of components cn=⟨n∣ψ⟩c_n=\langle n\vert\psi\rangle in a discrete basis;
  • a position-space wavefunction ψ(x)=⟨x∣ψ⟩\psi(x)=\langle x\vert\psi\rangle;
  • a momentum-space wavefunction ψ~(p)=⟨p∣ψ⟩\tilde\psi(p)=\langle p\vert\psi\rangle;
  • a density operator ρψ=∣ψ⟩⟨ψ∣\rho_\psi=\lvert\psi\rangle\langle\psi\rvert.

These are not four different physical states. They are four different ways of doing calculations with the same state, when the representation map is specified.

Abstract notationFinite orthonormal basisPosition representationMomentum representation
∣ψ⟩\lvert\psi\ranglecolumn vector cn=⟨n∣ψ⟩c_n=\langle n\vert\psi\ranglewavefunction ψ(x)=⟨x∣ψ⟩\psi(x)=\langle x\vert\psi\ranglewavefunction ψ~(p)=⟨p∣ψ⟩\tilde\psi(p)=\langle p\vert\psi\rangle
⟨ϕ∣ψ⟩\langle\phi\vert\psi\rangle∑nϕn∗ψn\sum_n \phi_n^*\psi_n∫ϕ(x)∗ψ(x) dx\int \phi(x)^*\psi(x)\,dx∫ϕ~(p)∗ψ~(p) dp\int \tilde\phi(p)^*\tilde\psi(p)\,dp
normalization∑n∣cn∣2=1\sum_n \lvert c_n\rvert^2=1∫∣ψ(x)∣2 dx=1\int \lvert\psi(x)\rvert^2\,dx=1∫∣ψ~(p)∣2 dp=1\int \lvert\tilde\psi(p)\rvert^2\,dp=1
completeness∑n∣n⟩⟨n∣=I\sum_n \lvert n\rangle\langle n\rvert=I∫∣x⟩⟨x∣ dx=I\int \lvert x\rangle\langle x\rvert\,dx=I∫∣p⟩⟨p∣ dp=I\int \lvert p\rangle\langle p\rvert\,dp=I
component extractioncn=⟨n∣ψ⟩c_n=\langle n\vert\psi\rangleψ(x)=⟨x∣ψ⟩\psi(x)=\langle x\vert\psi\rangleψ~(p)=⟨p∣ψ⟩\tilde\psi(p)=\langle p\vert\psi\rangle

The position and momentum formulas assume the default Fourier convention. See Fourier Transform Conventions and Momentum-Space Representation for the exact normalization.

Abstract notationFinite basisPosition representationMeaning
AAmatrix Amn=⟨m∣A∣n⟩A_{mn}=\langle m\vert A\vert n\rangledifferential, multiplication, or integral operatorsame abstract operator in different coordinates
A∣ψ⟩A\lvert\psi\ranglecomponent column (Ac)m=∑nAmncn(Ac)_m=\sum_n A_{mn}c_nfunction (Aψ)(x)(A\psi)(x)operator acting on state
⟨ϕ∣A∣ψ⟩\langle\phi\vert A\vert\psi\rangle∑m,nϕm∗Amncn\sum_{m,n}\phi_m^*A_{mn}c_n∫ϕ(x)∗(Aψ)(x) dx\int \phi(x)^*(A\psi)(x)\,dxtransition matrix element
PψP_\psimatrix of ∣ψ⟩⟨ψ∣\lvert\psi\rangle\langle\psi\rvertkernel ψ(x)ψ(x′)∗\psi(x)\psi(x')^*rank-one projector when ∣ψ⟩\lvert\psi\rangle is normalized
HHHamiltonian matrixoften −ℏ2∇2/(2m)+V(r)-\hbar^2\nabla^2/(2m)+V(\mathbf r)energy observable and generator of time evolution

The position-representation Hamiltonian shown here is the common single-particle Cartesian form. It is not the universal form of every Hamiltonian. Boundary conditions, domains, coordinates, spin, gauge fields, and many-body variables can change the operator representation.

For the general rule, see Operator Representations.

QuantityAbstract pure-state formFinite-basis formPosition representationDensity-operator form
outcome probability⟨ψ∣Pa∣ψ⟩\langle\psi\vert P_a\vert\psi\ranglec†Pacc^\dagger P_a c∫ψ(x)∗(Paψ)(x) dx\int \psi(x)^*(P_a\psi)(x)\,dxTr⁡(ρPa)\operatorname{Tr}(\rho P_a)
expectation value⟨ψ∣A∣ψ⟩\langle\psi\vert A\vert\psi\ranglec†Acc^\dagger A c∫ψ(x)∗(Aψ)(x) dx\int \psi(x)^*(A\psi)(x)\,dxTr⁡(ρA)\operatorname{Tr}(\rho A)
continuous position probability⟨ψ∣PR∣ψ⟩\langle\psi\vert P_R\vert\psi\ranglebasis-dependent matrix expression∫R∣ψ(x)∣2 dx\int_R \lvert\psi(x)\rvert^2\,dxTr⁡(ρPR)\operatorname{Tr}(\rho P_R)
variance⟨A2⟩−⟨A⟩2\langle A^2\rangle-\langle A\rangle^2c†A2c−(c†Ac)2c^\dagger A^2c-(c^\dagger Ac)^2integral version of the same expressionTr⁡(ρA2)−Tr⁡(ρA)2\operatorname{Tr}(\rho A^2)-\operatorname{Tr}(\rho A)^2

The symbol PRP_R denotes the projector onto a spatial region RR in the ideal position measurement. The continuous-position probability formula is a special case of the Born rule for continuous spectra.

See Born Rule, Born Rule for Continuous Spectra, Expectation Values, and Trace Rule for Expectation Values.

Abstract density-operator notationFinite basisPosition representationComment
ρ\rhomatrix ρmn=⟨m∣ρ∣n⟩\rho_{mn}=\langle m\vert\rho\vert n\ranglekernel ρ(x,x′)=⟨x∣ρ∣x′⟩\rho(x,x')=\langle x\vert\rho\vert x'\ranglesame state in different representations
ρψ=∣ψ⟩⟨ψ∣\rho_\psi=\lvert\psi\rangle\langle\psi\rvertρmn=cmcn∗\rho_{mn}=c_m c_n^*ρ(x,x′)=ψ(x)ψ(x′)∗\rho(x,x')=\psi(x)\psi(x')^*pure-state density operator
Tr⁡ρ=1\operatorname{Tr}\rho=1∑nρnn=1\sum_n \rho_{nn}=1∫ρ(x,x) dx=1\int \rho(x,x)\,dx=1trace-one condition
ρA=Tr⁡BρAB\rho_A=\operatorname{Tr}_B\rho_{AB}sum over the BB indexintegral or sum over discarded variablesreduced state for subsystem AA

The diagonal kernel ρ(x,x)\rho(x,x) is a probability density in position representation. The full kernel ρ(x,x′)\rho(x,x') contains off-diagonal coherence information in that representation.

Abstract equationMatrix representationPosition representationDensity-operator representation
iℏ d∣ψ⟩/dt=H∣ψ⟩i\hbar\,d\lvert\psi\rangle/dt=H\lvert\psi\rangleiℏ c˙=Hci\hbar\,\dot c=Hciℏ ∂tψ(x,t)=Hxψ(x,t)i\hbar\,\partial_t\psi(x,t)=H_x\psi(x,t)not the natural primary form
∣ψ(t)⟩=U(t)∣ψ(0)⟩\lvert\psi(t)\rangle=U(t)\lvert\psi(0)\ranglec(t)=U(t)c(0)c(t)=U(t)c(0)ψ(x,t)=∫K(x,t;x′,0)ψ(x′,0) dx′\psi(x,t)=\int K(x,t;x',0)\psi(x',0)\,dx'ρ(t)=U(t)ρ(0)U(t)†\rho(t)=U(t)\rho(0)U(t)^\dagger
U(t)=e−iHt/ℏU(t)=e^{-iHt/\hbar}matrix exponential or spectral decompositionpropagator kernel or differential equation solutionconjugation by U(t)U(t)

Here K(x,t;x′,0)=⟨x∣U(t)∣x′⟩K(x,t;x',0)=\langle x\vert U(t)\vert x'\rangle is the propagator kernel. The kernel language belongs in detail to the Dynamics and Formulations volume; Core uses it as a translation aid.

Suppose the old orthonormal basis is {∣en⟩}\{\lvert e_n\rangle\} and the new orthonormal basis is {∣fa⟩}\{\lvert f_a\rangle\}. With the convention

San=⟨fa∣en⟩,S_{an} = \langle f_a\vert e_n\rangle,

state components transform as

d=Sc,d=Sc,

and operator matrices transform as

Af=SAeS†.A_f = S A_e S^\dagger.

The formulas must be used together. If the state column is transformed but the operator matrix is not, probabilities and expectation values generally change. See Change of Basis for the derivation and a two-level example.

Use this sequence when moving a calculation from one representation to another:

  1. Identify the abstract object: state, operator, projector, density operator, or time-evolution map.
  2. Choose the representation: discrete basis, position basis, momentum basis, or density-operator language.
  3. Translate the state and every operator appearing in the expression.
  4. Translate the inner product, trace, sum, or integral measure.
  5. Check that normalization and probabilities are unchanged.
  6. Only then simplify in the chosen representation.

This procedure is slower than casual symbol replacement, but it prevents most representation errors.

For an abstract normalized state ∣ψ⟩\lvert\psi\rangle, the position-space probability density is obtained by inserting the position basis:

ψ(x)=⟨x∣ψ⟩,p(x)=∣ψ(x)∣2.\psi(x) = \langle x\vert\psi\rangle, \qquad p(x) = \lvert\psi(x)\rvert^2.

For a finite-dimensional state with components cnc_n and an observable matrix AmnA_{mn}, the expectation value is

⟨A⟩=c†Ac=∑m,ncm∗Amncn.\langle A\rangle = c^\dagger A c = \sum_{m,n}c_m^*A_{mn}c_n.

For the same state written as a pure-state density operator,

ρψ=∣ψ⟩⟨ψ∣,\rho_\psi = \lvert\psi\rangle\langle\psi\rvert,

the same expectation value is

⟨A⟩=Tr⁡(ρψA).\langle A\rangle = \operatorname{Tr}(\rho_\psi A).

These are the same number when the state and operator have been translated consistently.

For a compact audit after translating a calculation, see Common Checks and Sanity Tests. For the linear-algebra meaning of the bra-ket pieces used in these translations, see Dirac Notation as Linear Algebra.

  • Treating a column vector as basis-independent.
  • Changing the state representation but not the operator representation.
  • Forgetting the complex conjugation in bras and wavefunction inner products.
  • Forgetting the integration measure in continuous representations.
  • Confusing ψ(x)\psi(x) with ∣ψ⟩\lvert\psi\rangle rather than treating it as ⟨x∣ψ⟩\langle x\vert\psi\rangle.
  • Applying a matrix formula to a differential operator without checking domains or boundary conditions.
  • Using position-space formulas for momentum-space wavefunctions without transforming the operator.
  • Treating a density matrix as a different theory rather than a more general state representation.
  • 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.