Physics–Mathematics Formalism Crosswalk

The working notation of quantum mechanics suppresses information shared by a calculation’s participants. A rigorous translation restores the information needed to decide whether the calculation applies: the space, domain, measure, topology, or observable algebra. The notation itself need not be abandoned. Its interpretation must be specified.

Kets can denote different kinds of objects

A normalized $|\psi\rangle\in\mathcal H$ represents a vector state; multiplication by a global phase leaves its ray unchanged. An expression such as $|x\rangle$, however, usually denotes a generalized eigenvector or kernel notation. It is not an element of $L^2(\mathbb R)$ of infinite norm that one can normalize later. Its action is defined on a suitable test-function space.

Physical States as Rays explains the phase equivalence. The distribution primer explains generalized eigenvectors. Before taking an inner product of two symbols, establish that their pairing exists in the spaces being used.

Hermitian matrices and self-adjoint operators

In finite dimension, $H^\dagger=H$ is a complete self-adjointness test because every linear operator has full domain. For an unbounded operator, equality must include

$$H=H^*,\qquad D(H)=D(H^*).$$

Equality of differential expressions or a vanishing boundary form on a selected test space proves less. Physicists sometimes use “Hermitian” for symmetry on that domain; others use it for self-adjointness. Read the accompanying assumptions rather than inferring the stronger property from terminology. Self-Adjoint Operators gives the precise definition and examples.

Sums over states become spectral resolutions

In finite dimension, $A=\sum_a aP_a$ and $I=\sum_a P_a$ express the spectral theorem. The general self-adjoint version is

$$A=\int_{\mathbb R}\lambda\,dE_A(\lambda), \qquad E_A(\mathbb R)=I.$$

The first integral includes a domain condition; the second is a bounded-operator identity. Notation involving both a sum and an integral over eigenkets presupposes a suitable spectral representation and any multiplicity labels. It is not a universal decomposition into ordinary eigenvectors. A spectral measure can contain a singular continuous part that does not fit a naive discrete-plus-density picture.

For probabilities, take matrix elements of the PVM: $\Pr(A\in\Delta)=\langle\psi,E_A(\Delta)\psi\rangle$. For moments, check integrability separately. Projection-Valued Measures and the Unbounded Spectral Theorem develop these two steps.

Exponentials and differential equations have different domains

The symbol $e^{-itH/\hbar}$ for a self-adjoint $H$ means bounded spectral calculus, not necessarily a convergent power series applied to every state. The resulting group acts on all of $\mathcal H$. Its strong derivative acts on $D(H)$. Translate a formal Schrödinger equation into either a differentiable Hilbert-space solution on the generator domain or a unitary orbit with weaker regularity.

The exponential series may be valid for analytic vectors or bounded operators, but this is extra structure. Stone’s Theorem supplies the general definition without requiring that series.

Density matrices represent normal states

On $B(\mathcal H)$, a positive trace-class operator $\rho$ with unit trace gives

$$\omega(A)=\operatorname{Tr}(\rho A),\qquad A\in B(\mathcal H).$$

This represents every normal state on that algebra. An abstract algebraic state is instead a positive normalized linear functional; a density operator in a fixed representation need not exist for every such state. Restricting the accessible observable algebra can change purity and distinguishability. Operator Algebra Minimum introduces the distinction, while Normal States gives the trace-class characterization.

Worked translation: commuting observables

For bounded self-adjoint operators, $AB=BA$ implies commutation of their spectral projections. For unbounded self-adjoint operators, vanishing of a commutator on a common dense domain is weaker than strong commutation, namely

$$E_A(\Delta)E_B(\Gamma)=E_B(\Gamma)E_A(\Delta)$$

for every pair of Borel sets. It is this spectral statement that supplies a joint sharp observable. Translating the physical claim “simultaneously measurable sharp observables” requires checking the spectral meaning, not merely a formal derivative commutator. Teschl’s treatment of commuting operators makes this hypothesis explicit.

Exercise: translate a continuum probability

A calculation writes $\Pr(x)=|\langle x|\psi\rangle|^2$. Give a precise interpretation for a normalized wavefunction on the line and state what the formula does not mean.

Solution

The right side denotes a probability density $|\psi(x)|^2$ relative to $dx$, defined almost everywhere. The probability of an event is $\int_\Delta|\psi(x)|^2dx$. It is not the probability of the exact singleton $\{x\}$, which is zero in this absolutely continuous case. Nor does it make $|x\rangle$ a normalizable Hilbert vector.

References

• Bratteli, Ola, and Derek W. Robinson, Operator Algebras and Quantum Statistical Mechanics 1, 2nd ed., Springer, 1987, doi:10.1007/978-3-662-02520-8 — algebraic and normal states.
• Hall, Brian C., Quantum Theory for Mathematicians, Graduate Texts in Mathematics 267, Springer, 2013, doi:10.1007/978-1-4614-7116-5 — translations between quantum notation and operator theory.
• Teschl, Gerald, Mathematical Methods in Quantum Mechanics: With Applications to Schrödinger Operators, 2nd ed., Graduate Studies in Mathematics 157, American Mathematical Society, 2014, author’s edition — spectral calculus and commuting operators.