Mathematical bridges

You do not need to complete a separate mathematics curriculum before starting this site. These bridges introduce the next tool at the moment a physical or mathematical question requires it. Each begins with a familiar calculation, explains the new language, and reconnects it to the Yang–Mills problem.

The ten bridges support the introductory course and provide tools for reading a precise research statement. Begin with the question you have; their sidebar order is an index, not a required extra semester.

Prerequisites: the QFT and linear algebra used in the first course; each bridge states any local prerequisite.
Outcome: find the mathematical tool needed for your next physical question, and return to that question after a worked example.

Find the bridge for your question

If your question is…	Read…	The central idea
How can a spectrum be continuous?	Spectral theorem	Replace a sum over eigenstates by a positive spectral measure
What does a field at a point mean?	Distributions	Define fields by their action on test functions
How do we integrate a gauge field on a lattice?	Haar measure	Use the group’s invariant normalized integration rule
What is a free-field measure?	Gaussian measures	Encode all Gaussian correlations in a covariance
Why does a bound fail in a limit?	Uniform estimates	Follow constants, units, and hypotheses along the limiting sequence
Is stochastic time physical time?	Semigroups	Distinguish quantum evolution from Markov relaxation
What does an expectation average?	Probability measures	Separate observables, normalization, and the law
Why might a sequence have several limits?	Weak convergence and tightness	Distinguish compactness from uniqueness and identification
What is missing from a formal Hamiltonian?	Operator domains and forms	Specify a domain and the closure hypotheses
Which positive quantity is being tested?	Positivity and inequalities	Separate ordinary covariance from reflected forms

One example connects several bridges

For a nonnegative self-adjoint Hamiltonian $H$ and a vector $\psi$, the spectral theorem gives

$$\langle\psi,e^{-tH}\psi\rangle =\int e^{-tE}\,d\mu_\psi(E).$$

The semigroup $e^{-tH}$ evolves through Euclidean time. The positive measure $\mu_\psi$ describes the energies accessible to the probe. If it is supported above $\Delta>0$, this correlator decays at least as fast as $e^{-t\Delta}$.

Now imagine a regulated sequence. To pass that decay bound to a limit, we need convergence of the relevant correlators and control of the constants in common physical units. To create $\psi$ from a continuum field, we generally need a suitably smeared observable. These are precisely the jobs of uniform estimates and distribution theory.

No single bridge completes a construction. Together they make its statements readable.

Read in the order you need

For the first course, begin with spectral theory when you reach Euclidean correlators. Read Haar measure with the lattice definition. Use distributions and uniform estimates around the continuum limit. Gaussian measures support reflection positivity.

For stochastic approaches, read Gaussian measures and semigroups together. A Markov process may possess an invariant measure and a relaxation gap while the physical interpretation still requires additional arguments. The stochastic clock itself can be rescaled without changing its equilibrium measure.

For constructive renormalization, concentrate on distributions, uniform estimates, and the distinction between a finite regulator and a limit. The ultraviolet-stability dossier gives a concrete place to apply this reading habit.

A useful standard of understanding

After a bridge, you should be able to explain the definition in plain language, do its small calculation, and name the point at which an additional hypothesis is needed. Recognizing that an argument needs a domain, a convergence statement, or an appropriate class of observables is a form of understanding.

For the role of these structures in the target problem, consult Jaffe and Witten’s official description. Then use the Proof Map to connect the mathematical tools to the outcomes a solution must establish.