Mathematical Methods for Quantum Research
A complete mathematical laboratory for quantum research. Twelve sequential units develop proof literacy, complex linear algebra, spectral theory, Hilbert spaces, analytic functions, contour methods, Fourier analysis, Green operators, stochastic dynamics, distributions, and unbounded operators. Each unit includes explicit hypotheses, derivations, checked worked examples, independent exercises, computational investigations, and mastery questions. Expanded with original in-page technical chapters, mathematical proofs, independently checked calculation baselines and directly embedded credited original instructor videos where relevant.
Published syllabus
Course Units
Mathematical reasoning for quantum models
Develop quantum models as explicit mathematical hypotheses, derive two-state predictions, and learn to distinguish proofs from numerical evidence.
Vectors, bases, and coordinate changes
Build a precise theory of complex vector spaces, orthonormal projections and unitary coordinate changes, with worked qubit examples.
Linear maps, matrices, and adjoints
Linearity makes superposition calculable: T(aψ+bφ)=aTψ+bTφ. An operator is not only a rectangle of numbers; a matrix represents it after choosing ordered bases. A map between spaces of different dimension may have a matrix that is not square, and nothing in the definition of linearity requires invertibility.
Eigenvalues, spectra, and observables
An energy eigenstate evolves by an overall phase when the Hamiltonian is time independent. For a superposition of different eigenvalues, relative phases evolve and generate interference. Spectral theory connects these statements to projectors, degeneracy, and experimental probabilities.
Hilbert spaces and orthonormal expansions
Wavefunctions inhabit spaces of functions, not merely vectors with a very large number of entries. For square-integrable functions, two functions that differ on a set of measure zero represent the same L² element. This is one reason quantum wavefunctions should not be treated solely as pointwise graphs.
Complex functions and analytic structure
A real-differentiable function of two real variables need not be holomorphic. Requiring the derivative to be independent of the complex direction of approach imposes coupled constraints on real and imaginary parts. These constraints explain why contour integrals carry so much information.
Contour integrals and residues
Residue calculus translates an integral around a closed contour into a sum of local coefficients at enclosed singularities. It does not absolve us from proving that the chosen contour is valid. For integrals on the real axis, contributions from closing arcs and any singularities on the axis require separate treatment.
Fourier series and transforms
A localized signal cannot be sharply concentrated in both position and spatial frequency. Fourier transform pairs make this statement quantitative and connect the mathematics of quantum momentum to the mathematics of waves, filters, and diffusion.
Green functions and differential operators
A Green function is the response to a unit point source under a specified differential operator and specified boundary conditions. Superposition then constructs the response to an extended source. This viewpoint unifies electrostatic potentials, quantum resolvents, heat kernels, and linear response.
Probability and stochastic processes
An experiment produces a distribution of outcomes, and a noisy device produces a distribution of histories. The mathematics of random variables, conditional expectation, and Markov processes distinguishes independent trials from correlated noise and separates stationary distributions from rapid equilibration.
Distributions and Dirac delta functions
Plane waves and point sources lead to objects that cannot be described as normalizable functions. Distributions resolve the issue by defining generalized functions through their action on smooth test functions. Their derivatives are defined by integration by parts, allowing discontinuities to produce delta terms.
Functional analysis bridge to quantum theory
In finite dimensions, a Hermitian matrix automatically defines a self-adjoint operator. On spaces of wavefunctions, differential operators are often unbounded. Their domains and boundary conditions are mathematically essential: merely writing a formally symmetric differential expression does not guarantee unique unitary evolution.