Expectation Values
A chemist measures a bond length by diffraction, an energy by spectroscopy, a dipole moment by microwave splitting. Every one of these numbers is an expectation value in disguise. Quantum mechanics does not, in general, predict what a single measurement will yield. Instead, it predicts the statistical average one obtains from measuring identically prepared systems many times over. The bridge between an abstract wavefunction and a number you can compare to experiment is the expectation value . Learning to compute it — cleanly, correctly, and with physical judgment about what it means — is one of the load-bearing skills of quantum chemistry. This matters because almost nothing in molecular science is deterministic at the microscopic level. An electron in a orbital does not sit at a fixed distance from the nucleus. Instead, it has a probability distribution, and is the number that shows up in the periodic trends chemists memorize. A vibrating bond does not have a single "position"; tells you how floppy it is. A spin does not point in one direction; tells you the net magnetization an NMR instrument detects. Expectation values are the currency in which quantum theory pays out testable, tabulated, comparable numbers. These include bond lengths, dipole moments, polarizabilities, magnetic moments, and transition intensities. They emerge from wavefunctions that are otherwise inaccessible to direct observation. The big picture is that expectation values unify three things that look separate at first. These are the abstract postulate that observables are represented by Hermitian Operators, the practical need to extract numbers from a computed or measured , and the statistical interpretation of established by the Normalization of the Wavefunction. Once you see as literally "the probability-weighted average of the eigenvalues of ," things change. A huge amount of quantum chemistry — variational energies, virial ratios, spectroscopic selection rules, population analysis — becomes a single recurring calculation performed in different costumes. This article builds the expectation-value formalism from the ground up. It covers the postulate itself, its derivation from eigenvalue expansions, and the crucial normalization and Hermiticity requirements. It then presents three fully worked examples. These span particle-in-a-box position averages, the hydrogen-atom radius, and a two-state superposition relevant to spectroscopy. It closes with the traps that catch students. These include forgetting normalization, confusing with , and misordering non-commuting operators. Finally, it shows how this single idea feeds directly into the Uncertainty Principle and the Measurement Postulate.
- The expectation value of observable in state is , the mean of many identical measurements, not the outcome of one.
- For a normalized this equals ; an un-normalized needs the ratio .
- Expanding in eigenstates of gives : a probability-weighted average of eigenvalues.
- Hermiticity of guarantees is always real, matching the fact that it represents a physical measurement outcome.
- in general; the difference is exactly the variance that feeds the uncertainty principle.
- Expectation values of position, momentum, energy, and dipole operators are how quantum states connect to bond lengths, spectra, and molecular polarities.
- Key idea: an expectation value is the probability-weighted average of an operator's eigenvalues, computed as a single integral over the full wavefunction.
Where this lives today
Every computed molecular property reported by quantum chemistry software — dipole moments, quadrupole moments, polarizabilities, NMR shielding tensors, spin densities — is an expectation value of the corresponding operator evaluated over a computed wavefunction or electron density, whether that wavefunction comes from Hartree–Fock, coupled cluster, or density functional theory. When a paper reports a computed dipole moment of a drug candidate to compare with a measured Stark-effect splitting, the number quoted is literally evaluated on the optimized electronic wavefunction. In NMR spectroscopy, the observed bulk magnetization is summed over an ensemble of nuclear spins, and the entire vector model of pulsed NMR — on which every modern structural biology and metabolomics measurement depends — is built from tracking how this expectation value precesses and relaxes over time. In electronic structure theory, the variational principle itself is stated as a claim about an expectation value: , which is the operational foundation of every basis-set calculation performed in computational chemistry, from small-molecule DFT to large-scale materials screening. In spectroscopy generally, transition intensities are governed by expectation values of the transition dipole operator between different states, , determining which electronic or vibrational transitions are allowed or forbidden — the operational basis of UV-Vis and IR selection rules used daily in structure elucidation. Population analysis schemes (Mulliken, natural bond orbital, Bader's QTAIM) partition expectation values of the number operator or position operator across atomic centers to assign "atomic charges," a concept every organic chemist uses informally but which is, underneath, an expectation-value calculation. Even something as applied as designing a magnetic resonance imaging contrast agent relies on computing expectation values of spin and electronic operators to predict relaxation rates.
Ask the tutor: How does the expectation value formalism change once you move from a pure state to a mixed statistical ensemble described by a density matrix?
The physical picture
Imagine preparing a thousand identical hydrogen atoms in the same state and measuring the electron–nucleus distance on each one, using some (idealized) instantaneous position probe. You will not get the same number a thousand times. You will get a scatter of distances, weighted by the probability density , and if you average all thousand readings you converge on a specific number: . That average — not any single reading — is what means, and it is exactly what the operator formalism computes without ever needing to "measure" anything. The key conceptual move is that operators act inside an integral sandwiched between and . The wavefunction alone is not observable; is a probability, and any observable quantity must be built by weighting the operator's action by that probability density. This is precisely why the expectation value is written as a triple structure: bra , operator , ket . The bra–ket notation is not decoration — it encodes "how the operator's effect on overlaps back with itself," which is the mathematical definition of a weighted average. A second essential picture: any wavefunction can be expanded in the eigenstates of the operator you care about, with . Measuring on this state can only ever yield one of the eigenvalues , with probability (this is the Measurement Postulate in miniature). The expectation value is then nothing but the ordinary statistical mean of a discrete probability distribution, — the same arithmetic you'd use to average dice rolls weighted by their probabilities, except the "outcomes" are quantized eigenvalues like energy levels or angular momentum quantum numbers.
A third picture worth holding in mind is the difference between the spread of a distribution and its mean. Two wavefunctions can share the same while having wildly different — one sharply localized, one smeared over a large region. The mean alone never tells you about the shape; you need the second moment, and the gap between and is precisely the variance that reappears as the width of a spectral line or the delocalization of an electron in a conjugated system.
The core ideas
The central postulate connects an operator, a state, and a number:
where: is the Hermitian operator representing the observable, is normalized (), is the full volume element (all spatial and spin coordinates), and the operator acts on first, with the result then dotted against .
Reading: this is a weighted average, structurally identical to from elementary statistics, except the "outcomes" are eigenvalues of and the "probabilities" are supplied automatically by . If is not normalized, the correct general formula is the ratio
where: the denominator rescales the un-normalized overlap so the answer is independent of any arbitrary constant multiplying .
Reading: multiplying by any nonzero constant must not change a physical prediction; the ratio form guarantees this because both numerator and denominator scale as and cancel. When is expanded in the orthonormal eigenbasis of , with and , the expectation value collapses to a discrete sum:
where: are expansion coefficients and is the probability of measuring eigenvalue , satisfying .
Reading: this is the discrete-spectrum version of the integral definition and makes explicit that is a genuine statistical mean over quantized outcomes, never itself an eigenvalue unless the state happens to be a pure eigenstate. Finally, the variance — how far a single measurement typically strays from the mean — is defined through the second moment:
where: is the expectation value of the squared operator, and (the standard deviation) is the root-mean-square spread of measurement outcomes.
Reading: this quantity is never negative, vanishes only if is an eigenstate of , and is the direct precursor to the Uncertainty Principle, where .
Goal. Show rigorously that reduces to whenever has a complete, orthonormal set of eigenfunctions — establishing that the integral definition and the "statistical average of eigenvalues" picture are the same object.
Step 1. Expand the state in the operator's eigenbasis. Because is Hermitian, its eigenfunctions form a complete orthonormal set (). Any normalized can be written as a superposition,
Normalization of requires , so the coefficients automatically form a probability distribution.
Step 2. Let the operator act term by term. Apply to the expansion. Since is linear and each is an eigenfunction,
The operator has done its entire job here: it multiplied each basis component by its eigenvalue, nothing more.
Step 3. Sandwich with and integrate. Now form the full expectation-value integral, substituting both expansions:
The orthonormality integral kills every cross term except :
Step 4. Confirm the eigenstate limiting case. If happens to equal a single eigenfunction exactly, then , and the sum collapses to — a single sharp value with zero spread, exactly as expected for a measurement on a pure eigenstate. This is the boundary case that any correct expectation-value formula must reproduce, and it does so automatically here.
Go deeper · Derivation B · 1 minHermiticity forces ⟨A⟩ to be real
Goal. Prove that if satisfies the Hermitian (self-adjoint) condition required of all observables, then computed from any state is guaranteed to be a real number, consistent with it representing an actual measurable quantity.
Step 1. State the Hermiticity condition. An operator is Hermitian if, for any two well-behaved functions and in its domain,
This is the defining property carried over from Hermitian Operators; physically it says the operator's action can be "moved across" the bra–ket sandwich without changing the integral's value.
Step 2. Apply the condition with . Set in the Hermiticity identity:
The left-hand side is, by definition, .
Step 3. Recognize the right-hand side as the complex conjugate. The right-hand side is exactly the complex conjugate of :
This uses only the algebraic fact that when the underlying integral is taken over the same real measure .
Step 4. Conclude reality. Combining Steps 2 and 3 gives
and any complex number equal to its own conjugate must be purely real. Therefore for every state , not just eigenstates — this is exactly why physicists insist observables be represented by Hermitian operators: it is the mathematical guarantee that predicted averages are experimentally sensible numbers, never complex.
Worked examples
Example 1 — Foundational: average position in an asymmetric excited state of a particle in a box. Consider an electron confined to a one-dimensional box of length (a crude but standard model for a conjugated polyene chromophore), in the stationary state
This state is already normalized (a standard particle-in-a-box result), so with no extra normalization ratio needed.
Using and the standard box integral (valid for any integer , including here), this evaluates cleanly to
For , — the electron is on average at the geometric center of the box, exactly as symmetry demands (the density is symmetric about regardless of quantum number ). This is the sanity check: any asymmetric-looking intermediate integral must still deliver a midpoint mean because of that reflection symmetry. Now the physically more informative quantity, the spread. For the box-integral formula for the second moment is
With :
Numerically, and , so . With , , giving
The variance is
so — the electron's position genuinely fluctuates over roughly a quarter of the box length even though its average sits exactly at the center. This is the first concrete illustration that : here , and the 0.102 nm² gap is exactly the physically meaningful spread.
Limiting case check. As , (the classical uniform-distribution value), because the oscillatory term vanishes — recovering the correspondence-principle limit where quantum averages match a classical particle bouncing uniformly between the walls.
Example 2 — Applied: average electron–nucleus distance in the hydrogen 1s and 2p orbitals. The radial expectation value sets the effective "size" chemists use to rationalize periodic trends and orbital overlap. For the hydrogen ground state,
already normalized, with the Bohr radius. The position operator here is simply multiplication by , and the volume element is . Because has no angular dependence, the angular integral gives the full solid angle , leaving
Using the standard Gamma-function integral with :
So
With , this gives — a textbook number confirming the formula. Now the non-trivial comparison, chosen with an asymmetric quantum number to show the trend clearly rather than just re-deriving the case: the hydrogen orbital,
already normalized. Squaring and separating radial/angular parts,
where the angular factor is already absorbed into the normalization constant , so the clean radial-only formula (a standard hydrogenic result) applies directly:
For : , , so
With : — more than three times larger than the value (), quantitatively capturing the qualitative rule that higher- orbitals are larger and that, at fixed , higher pulls the electron slightly outward less than lower (compare , : , larger than 's , because the orbital's inner lobe is offset by even more density piled up far out).
Limiting case check. As at fixed , , reproducing the scaling of Rydberg-state orbital radii used in Rydberg-atom spectroscopy.
Example 3 — Exam/competition level: expectation value of energy in a non-stationary superposition. A particle in a box of length is prepared (say, by a sudden perturbation) in the un-normalized superposition
where are the (real, normalized, mutually orthogonal) particle-in-a-box eigenfunctions with energies
This tests two things simultaneously: handling an un-normalized state and handling complex coefficients correctly.
Step 1 — Normalize. Compute using orthonormality of :
(Cross terms vanish by orthogonality; note since are real.) So is 25 times "too big"; the normalized state is .
Step 2 — Identify the probabilities. In the normalized state, and , so
which correctly sum to 1 — the imaginary unit in contributes nothing extra to the probability, only a phase, illustrating that phases never affect when is diagonal in this basis (energy).
Step 3 — Apply the weighted-average formula. Since are eigenstates of the Hamiltonian,
For a specific numerical case, take an electron ( kg) in :
Numerator: . Denominator: . So
Then
Verification via the direct ratio form. Using directly on the un-normalized : , and dividing by gives — identical to Step 3, confirming that normalizing first versus dividing at the end are equivalent, exactly as the ratio formula guarantees.
Limiting case check. If instead (pure ), exactly, with zero variance — the single-eigenstate limit recovers a sharp, dispersion-free energy, as any correctly built superposition formula must.
Limiting cases, scope & common traps
| Situation | What happens to | Why |
|---|---|---|
| is an eigenstate of | exactly, | Sum collapses to one term, |
| is un-normalized | Must divide by | Physical predictions can't depend on arbitrary scale of |
| do not commute | in general | Operator ordering matters; only commuting observables share eigenstates |
| Classical / large quantum number limit | classical value | Correspondence principle (e.g. as ) |
| Superposition of eigenstates with a relative phase | unaffected by phase if diagonal in that basis | Phases matter for interference terms of other operators, not for itself |
| Time-dependent | can oscillate even for stationary-basis coefficients with different energies | Interference terms carry factors |
The chemist behind it
The mathematical apparatus of expectation values belongs to the founders of matrix and wave mechanics, but the physicist whose interpretive framework is most directly responsible for how chemists use today is Max Born, who supplied the probabilistic reading of that makes the entire weighted-average picture meaningful in the first place. Born, trained in Göttingen alongside Heisenberg and Jordan during the frantic years of matrix mechanics' construction, initially worked on scattering theory — computing how an electron beam's wavefunction after collision with a potential related to the probability of finding the electron deflected into a given direction. It was in that scattering context, in 1926, that he proposed treating as a probability density rather than a literal charge or mass density, a move that took years to be accepted (Schrödinger himself resisted it) but that became the load-bearing statistical foundation beneath every expectation value calculated since.
Origins · 1 minMax Born and how this was discovered
Born built the statistical interpretation of the wavefunction that underlies the entire expectation-value formalism: without as a genuine probability density, "the average of many measurements" has no rigorous meaning. He shared the 1954 Nobel Prize in Physics specifically "for his fundamental research in quantum mechanics, especially for his statistical interpretation of the wavefunction" — decades after the original proposal, reflecting how contested the probabilistic reading initially was even among the theory's own architects.
Is the expectation value ever the result you'd get from a single measurement?
Only in the special case that is exactly an eigenstate of the operator being measured. In that situation every individual measurement yields the same eigenvalue , so the "average" and the "single outcome" coincide, and the variance is exactly zero. For any other state — which is the overwhelming majority of realistic molecular wavefunctions, since they are superpositions in most bases — a single measurement yields one of several possible eigenvalues, and only the average over many repeated measurements on identically prepared systems converges to . This is why spectroscopic and diffraction measurements always report averages over enormous numbers of molecules or repeated pulses.
Why does the position operator sit "in the middle" of the bra-ket rather than being multiplied directly?
Writing between and is essential when involves derivatives, like the momentum operator , because the order of operations matters: must act on (the ket) first, producing a new function, before that result is multiplied by and integrated. For a purely multiplicative operator like position, , the ordering happens not to matter numerically, but the notation is kept general and consistent so the same formula applies uniformly to every observable, whether multiplicative, differential, or matrix-valued in a discrete basis.
Does the expectation value depend on which representation (position or momentum) you compute it in?
No — this is one of the deep consistency checks of the formalism. Whether you compute using the position-space wavefunction or Fourier-transform to momentum space and compute the equivalent integral there, you get the same number, because the two representations are related by a unitary (norm-preserving) transformation. This representation-independence is what lets computational chemists freely switch between real-space grids, plane-wave bases, and localized atomic-orbital bases without worrying that a computed dipole moment or energy will change simply because of the choice of basis representation, provided the basis is complete enough.
How does the expectation value connect to the variational method used in computational chemistry?
The variational principle states that for any normalized trial wavefunction , the energy expectation value can never fall below the true ground-state energy . This turns "compute an expectation value" into an optimization target: quantum chemistry software adjusts basis-set coefficients to minimize , and the minimized value is reported as the best estimate of within that basis. Every Hartree–Fock and Kohn–Sham DFT calculation performed today is, at its computational core, a large-scale expectation-value minimization.
What happens to ⟨A⟩ for a time-dependent superposition of stationary states?
If , then generally oscillates in time whenever connects states of different energy, because cross terms in the double sum carry phase factors that do not cancel. Physically, this is exactly the origin of oscillating dipole moments in a coherent superposition — the classical picture of a "rotating" or "breathing" charge distribution that emits or absorbs radiation, which underlies both spontaneous emission intuition and Rabi oscillations in laser spectroscopy.
Can two different wavefunctions give the same expectation value for every observable?
Only if they are physically identical states (differing at most by an overall phase factor , which never affects any expectation value since it cancels between and ). If two wavefunctions give the same for every possible observable , they must be the same quantum state, because the full set of expectation values over a complete operator algebra uniquely determines the density matrix (and hence the state). Agreement on just one or a few observables, however, certainly does not imply identical states — many different wavefunctions share the same while differing in , energy, or angular momentum.
Why is Hermiticity required rather than just picking convenient operators?
If were not Hermitian, could come out complex, which has no sensible correspondence to a real experimental readout — a voltmeter, a spectrometer, a balance never displays an imaginary number. Hermiticity is therefore not a mathematical nicety layered on top of the physics; it is the precise condition that guarantees every observable's expectation value, and every one of its eigenvalues, is real, tying the abstract operator formalism tightly to the requirement that physical measurements yield real numbers. It is the same condition, established under Hermitian Operators, that also guarantees orthogonality of eigenstates belonging to different eigenvalues.