View source for Quantum field theory

The theory of relativistic quantum systems. The origins of quantum field theory are connected with problems of the interaction of matter with radiation and with the attempts to construct a relativistic quantum mechanics (P.A.M. Dirac (1927), W. Heisenberg, W. Pauli, and others). At relativistic (that is, high) energies there cannot be a consistent quantum mechanics of particles, since a relativistic quantum particle is capable of producing new (similar or different) particles and of vanishing itself. As a result one cannot distinguish a definite number of mechanical degrees of freedom connected with this particle, but one has to talk about a system with a variable, generally infinite, number of degrees of freedom. Quantum field theory unifies the description of fields and particles, which in classical physics appear as two distinct entities.

The notion of a quantum field plays a central role in the theory. It is convenient to explain how it is introduced by the example of an electromagnetic field, since this is the only field having a clear content both in the classical and the quantum case.

A classical electromagnetic field satisfies the [[Maxwell equations|Maxwell equations]]. These equations can be rewritten in the form of the Hamilton canonical equations, so that the field potential plays the role of coordinate while its derivative with respect to time is the momentum in the corresponding phase space. The field is represented as a canonical system with an infinite number of degrees of freedom since the potential at each point is an independent coordinate. This system can be quantized in the same way as an ordinary mechanical system. In the quantum situation, the basic concepts are the states, described by vectors in [[Hilbert space|Hilbert space]], and the observables, described by self-adjoint operators (cf. [[Self-adjoint operator|Self-adjoint operator]]) acting on this space. Quantization consists in replacing the canonical coordinates and momenta by operators so that the [[Poisson brackets|Poisson brackets]] are replaced by commutators of the corresponding operators. A quantum field becomes an operator acting on state vectors, and it brings about a transition between states with different numbers of quantum particles (photons), that is, the operator describes the creation and destruction (radiation and absorption) of the quanta of the field.

In a similar way one can associate a quantum field with fundamental particles of any other sort. The equations for the operator of a free field are obtained from the fundamental requirement of relativity theory, namely the conditions of invariance with respect to the [[Poincaré group|Poincaré group]]. The type of particles is characterized by the rest mass $ m $, the spin, that is, the intrinsic angular momentum $ s $, which can take integer or half-integer values including zero, and the various charges (electric charge, baryon number, lepton number, etc.). The first two numbers $ (m,s) $ define an [[Irreducible representation|irreducible representation]] of the Poincaré group by which the field is transformed and therefore the equations of the field are transformed as well.

A free classical scalar field $ u(x) $ is subject to the equation ($ x = (x^{0},\mathbf{x}) \in \Bbb{R}^{4} $)
$$
(\Box + m^{2}) u(x) = 0, \qquad \Box \stackrel{\text{df}}{=} \partial_{\mu} \partial^{\mu} = \partial_{0}^{2} - \partial_{1}^{2} - \partial_{2}^{2} - \partial_{3}^{2}. \qquad (1)
$$
This is the variational Euler equation for the action functional
$$
A \stackrel{\text{df}}{=} \int {\mathcal{L}_{0}}(u(x)) ~ \mathrm{d}{x}
$$
with Lagrangian density
$$
{\mathcal{L}_{0}}(u(x)) \stackrel{\text{df}}{=} \frac{1}{2} (\partial_{\mu} u) (\partial^{\mu} u) - \frac{m^{2}}{2} u^{2}.
$$
If one regards $ u(\mathbf{x}) $, $ \mathbf{x} \in \Bbb{R}^{3} $, as a canonical coordinate, then the conjugate momentum is $ p(\mathbf{x}) \stackrel{\text{df}}{=} \dfrac{\partial \mathcal{L}_{0}}{\partial \dot{u}(\mathbf{x})} = \dot{u}(\mathbf{x}) $ (the dot denotes differentiation with respect to time). The quantization is carried out by associating the functions $ u(\mathbf{x}) $ and $ p(\mathbf{x}) $ with the operator-valued functions $ \phi(\mathbf{x}) $ and $ \pi(\mathbf{x}) $ respectively, which satisfy the commutation relations (the quantum Poisson brackets)
$$
[\phi(\mathbf{x}),\pi(\mathbf{x}')] = i \hbar \cdot \delta(\mathbf{x} - \mathbf{x}'),
$$
where $ \hbar $ is the Planck constant (below, $ \hbar $ is set equal to 1). The Hamilton operator has the form
\begin{align}
H_{0}
& \stackrel{\text{df}}{=} \int {H_{0}}(\phi(\mathbf{x}),\pi(\mathbf{x})) ~ \mathrm{d}{\mathbf{x}} \\
& = \int \left( : \frac{1}{2} {\pi^{2}}(\mathbf{x}) + \frac{1}{2} (\nabla \phi(\mathbf{x}))^{2} + \frac{m^{2}}{2} {\phi^{2}}(\mathbf{x}) :  \right) ~ \mathrm{d}{\mathbf{x}},
\end{align}
that is, $ H_{0} $ is the same function of the quantum operators $ \phi $ and $ \pi $ as the classical Hamiltonian, apart from the order of (non-commuting) operators. The symbol $ : ~ : $ of the normal product makes this order precise. The Hamiltonian equations of motion
\begin{align}
\dot{\phi}(\mathbf{x}) & = i [H_{0},\phi(\mathbf{x})], \\
\dot{\pi}(\mathbf{x}) & = i [H_{0},\pi(\mathbf{x})]
\end{align}
are equivalent to the equation
$$
(\Box + m^{2}) \phi(x) = 0. \qquad (2)
$$
The quantum field in four-dimensional space-time is necessarily a generalized, rather than an ordinary, operator-valued function; therefore $ \phi(x) $ must be understood as a symbolic description only.

A mathematical meaning is attached to these symbols in the formulation of Fock spaces (cf. [[Fock space|Fock space]]), which represent a realization of the state space in quantum field theory. The state of a particle at a given moment of time is described by a complex square-integrable function $ \Psi(\mathbf{p}) $ with respect to the relativistically invariant measure
$$
\mathrm{d}{\sigma}(\mathbf{p}) \stackrel{\text{df}}{=} \frac{\mathrm{d}{\mathbf{p}}}{2 \omega(\mathbf{p})}, \qquad \mathbf{p} \in \Bbb{R}^{3},
$$
where $ \omega(\mathbf{p}) \stackrel{\text{df}}{=} \sqrt{\mathbf{p}^{2} + m^{2}} $ is the relativistic energy of a particle with mass $ m $. These functions form a Hilbert space $ \mathcal{H} = {L^{2}}(\mathrm{d}{\sigma}) $. A system of $ n $ identical particles is described by a square-integrable function $ {\Psi_{n}}(p_{1},\ldots,p_{n}) $ that is symmetric (for bosons, i.e. particles with integral spin) or anti-symmetric (for fermions, i.e. particles with half-integral spin) with respect to permutation of any two coordinates. These functions (for bosons) belong to the Hilbert space $ \mathcal{F}_{n} $, which is the symmetric tensor product of $ n $ copies of $ \mathcal{H} $. One introduces, for the description of systems with a variable number of particles, the direct sum of the spaces $ \mathcal{F}_{n} $, namely the Fock space $ \displaystyle \mathcal{F} \stackrel{\text{df}}{=} \bigoplus_{n = 0}^{\infty} \mathcal{F}_{n} $, where $ \mathcal{F}_{0} \stackrel{\text{df}}{=} \Bbb{C} $. The vector $ \Omega_{0} = (1,0,0,\ldots) $ is called the vacuum and is interpreted as the state of a system without particles. Vectors of the form $ (0,\ldots,0,\Psi_{n},0,\ldots) $ are called partial vectors and are identified with $ \Psi_{n} $. It is convenient to regard the functions $ \Psi(\mathbf{p}) $ of $ \mathcal{H} $ as functions of the $ 4 $-vector $ p = (p_{0},\mathbf{p}) $, where $ p_{0} = \omega(\mathbf{p}) $. The representation of the Poincaré group $ U(a,\Lambda) $ is then given by the formula
$$
(U(a,\Lambda) \Psi)(p) = e^{- i \langle p,a \rangle} \Psi(\Lambda^{-1} p),
$$
where $ (p,a) \stackrel{\text{df}}{=} p_{\mu} a^{\mu} = p^{0} a^{0} - \mathbf{p} \cdot \mathbf{a} $ is a Lorentz-invariant (cf. [[Lorentz transformation|Lorentz transformation]]) bilinear form. The representation defined in $ \mathcal{H} $ naturally induces a representation in the whole of the Fock space $ \mathcal{F} $. The generator of the shifts along the $ p_{0} $-axis is the same as the Hamiltonian $ H_{0} $. Here the simplest representation of the Poincaré group, corresponding to spin $ s = 0 $, has been described.

The various operators on the Fock space are expressed in terms of [[Creation operators|creation operators]] and [[Annihilation operators|annihilation operators]]. Let $ f(\mathbf{p}) $ be a single-particle wave function (that is, $ f \in \mathcal{H} $). Then the annihilation operator $ a(f): \mathcal{F}_{n} \to \mathcal{F}_{n - 1} $ is defined by the formula
$$
(a(f) ~ \Psi_{n})(\mathbf{p}_{1},\ldots,\mathbf{p}_{n - 1}) \stackrel{\text{df}}{=}
\sqrt{n} \int {\Psi_{n}}(\mathbf{p}_{1},\ldots,\mathbf{p}_{n}) \overline{f(\mathbf{p}_{n})} ~ \mathrm{d}{\sigma}(\mathbf{p}_{n})
$$
and the creation operator $ {a^{*}}(f): \mathcal{F}_{n - 1} \to \mathcal{F}_{n} $ is its adjoint. In particular, $ {a^{*}}(f) ~ \Omega_{0} = (0,f(\mathbf{p}),0,\ldots) $, that is, the operator $ {a^{*}}(f) $ produces from the vacuum a particle with wave function $ f(\mathbf{p}) $, while $ a(f) ~ \Omega_{0} = 0 $. The creation and annihilation operators are usually written in the symbolic form
$$
a(f) = \int a(\mathbf{p}) \overline{f(\mathbf{p})} ~ \mathrm{d}{\sigma}(\mathbf{p}), \qquad
{a^{*}}(f) = \int {a^{*}}(\mathbf{p}) f(\mathbf{p}) ~ \mathrm{d}{\sigma}(\mathbf{p}).
$$
The Fourier transform of the sum of the creation and annihilation operators $ \phi(f) = a \left( \widetilde{f} \right) + a^{*} \left( \widetilde{f} \right) $ is a symmetric operator for real $ f \in {L^{2}}(\Bbb{R}_{x}^{3}) $ and is called the free (scalar) quantum field at time zero. The quantum field at time $ x^{0} $ has the form
$$
\phi(x^{0},f) = e^{i x^{0} H_{0}} \phi(f) e^{- i x^{0} H_{0}}
$$
and as an operator-valued generalized function $ \phi(x) $ satisfies on its domain of definition equation (2) and the canonical commutation relations
$$
[\phi(f),\pi(g)] = i \int f(\mathbf{x}) g(\mathbf{x}) ~ \mathrm{d}{\mathbf{x}}. \qquad (3)
$$
Thus, in the Fock space the canonical quantization described above is realized.

The theory of a free quantum field can be set forth with mathematical rigor and consistency. For interacting fields the situation is different. Although in quantum field theory there have indeed been a number of important results on problems admitting a correct mathematical formulation, the main problem of the foundation of the theory of interacting fields so far remains unsolved: No non-trivial example has been constructed in four space-time dimensions that satisfies all physical requirements. Concrete physical computations rely on heuristic schemes of quantum field theory at the basis of which there lies, in the majority of cases, some perturbation theory [[#References|[5]]], [[#References|[21]]]. The equation for an interacting field has a non-linear term $ j(\Phi(x)) $:
$$
(\Box + m^{2}) \Phi(x) = j(\Phi(x)). \qquad (4)
$$
This equation, as well as (1), can be obtained as a variational equation for $ \mathcal{L} = \mathcal{L}_{0} + \mathcal{L}_{\text{int}} $, where
$$
j(\Phi(x)) = \frac{\partial \mathcal{L}_{\text{int}}}{\partial \Phi(x)}.
$$
The Lagrangian of the interaction $ {\mathcal{L}_{\text{int}}}(\Phi) $ is chosen in the form of a non-linear invariant combination of the fields participating in the interaction and their derivatives. In the simplest case of a scalar field interacting with itself, $ \mathcal{L}_{\text{int}} = - \lambda ~ {\Phi^{4}}(x) $. When $ \lambda = 0 $, one obtains a free field. The interaction of a quantum field $ \Phi(\mathbf{x}) $ can be explicitly expressed in terms of the initial data $ \Phi(\mathbf{x}) $ and $ \Pi(\mathbf{x}) = \dot{\Phi}(\mathbf{x}) $ by the formula
$$
\Phi(x) = e^{i x^{0} H} \Phi(\mathbf{x}) e^{- i x^{0} H},
$$
where, however, the exponent now contains the complete Hamiltonian
$$
H = H_{0} + H_{\text{int}} = \int \left\{ {H_{0}}(\Phi(\mathbf{x}),\Pi(\mathbf{x})) + \lambda : {\Phi^{4}}(\mathbf{x}) : \right\} ~ \mathrm{d}{\mathbf{x}}.
$$
By choosing as the initial data the values of the free field $ \phi(\mathbf{x}) $ and $ \pi(\mathbf{x}) $, one can express the solution of the non-linear equation (4) in terms of the [[Creation operators|creation operators]] $ {a^{*}}(\mathbf{p}) $ and [[Annihilation operators|annihilation operators]] $ a(\mathbf{p}) $ of the free particles.

In this scheme it is necessary to introduce into the discussion non-interacting particles and to consider interaction as an extra which in the subsequent discussion one has to "include" and "exclude" by means of a special adiabatic procedure (see [[#References|[5]]]). At the same time, for these interactions one can alter the spectrum and other characteristics of the fields under consideration quite considerably. In the standard method, the field $ \Phi $ is taken to correspond to those particles that appear in the linearized equation. Only for a fairly weak interaction of type $ \lambda ~ \Phi^{4} $ can it be proved that this is the case. However, in perturbation theory the spectrum is generally altered. The eigenvector $ \Omega $ corresponding to the minimum eigenvalue of $ H $ (more precisely, one ought to talk about the mass operator) is called the renormalized vacuum and is interpreted as the state without particles. The eigenvalues corresponding to the remaining points of the discrete spectrum are called renormalized single-particle states. It is different from the state $ {a^{*}}(f) ~ \Omega_{0} $ and has mass $ M $ that differs from the mass $ m $.

A direct application of perturbation theory gives meaningless divergent expressions (the so-called "ultraviolet divergences" ). If regularization of these divergences is carried out in accordance with physical principles (the main condition proving to be relativistic and gauge invariance of the whole procedure), then all the arbitrariness (in electrodynamics) leads to a formally-infinite renormalization of the mass and charge of the electron, as was proved in 1948 by J. Schwinger, R.P. Feynman and F.G. Dyson.

A final and rigorously mathematical analysis of quantum field theory within the framework of perturbation theory was given by N.N. Bogolyubov (1951–1955). He pointed out that ultraviolet divergences in perturbation theory emerge as the result of multiplying generalized functions at points where their supports intersect, and formulated a method of multiplying them in which the physical requirements of relativistic invariance, causality, etc., are fulfilled. In practical calculation, perturbation theory is not applied directly to equation (4) but rather to various other objects which can be obtained from it, for example the $ S $-matrix (see [[Scattering matrix|Scattering matrix]]) or the Green functions (cf. [[Green function|Green function]]). The calculation of the $ S $-matrix is one of the main problems in elementary particle physics. Its matrix entries have a simple expression in terms of the Green function of the field $ \Phi(x) $:
$$
{G_{n}}(x_{1},\ldots,x_{n}) \stackrel{\text{df}}{=} (\Omega,T(\Phi(x_{1}) \cdots \Phi(x_{n})) ~ \Omega),
$$
where $ T(\cdot) $ is the symbol of chronological ordering:
$$
T(\Phi(x_{1}) \cdots \Phi(x_{n})) = \Phi(x_{i_{1}}) \cdots \Phi(x_{i_{n}})
$$
if
$$
x_{i_{1}}^{0} \geq \ldots \geq x_{i_{n}}^{0}.
$$
By expanding $ G_{n} $ in a power series in $ \mathcal{L}_{\text{int}} $ and using, for example, the representation for $ G_{n} $ in the form of a functional integral,
$$
{G_{n}}(x_{1},\ldots,x_{n}) =
\frac{1}{C} \int
u(x_{1}) \ldots u(x_{n})
\left[ e^{i \int \mathcal{L}_{0} \langle u \langle x \rangle \rangle + \mathcal{L}_{\text{int}} \langle u \langle x \rangle \rangle ~ \mathrm{d}{x}} \right] \Pi_{x}
~ \mathrm{d}{u(x)}, \qquad (5)
$$
one can express it to each order of perturbation in terms of integrals of products of the simplest Green functions of a free field,
\begin{align}
D(x_{1} - x_{2})
& = (\Omega_{0},T(\phi(x_{1}) \phi(x_{2})) ~ \Omega_{0}) \\
& = \frac{i}{(2 \pi^{4})} \int \frac{e^{i \langle p,x_{1} - x_{2} \rangle}}{(p,p) - m^{2} + i 0} ~ \mathrm{d}{p}.
\end{align}
For calculations in terms of perturbation theory the technique of Feynman diagrams has been developed. Here arise products of Green functions $ D(x) $ at coincident points. For example, the function $ {G_{2}}(x_{1},x_{2}) $ is for the model $ \mathcal{L}_{\text{int}} = - \lambda ~ \Phi^{4} $ proportional to the expression
$$
\int D(x_{1} - y_{1}) {D^{3}}(y_{1} - y_{2}) D(y_{2} - x_{2}) ~ \mathrm{d}{y_{1}} \mathrm{d}{y_{2}} \qquad (6)
$$
up to second order in $ \lambda $. This integral diverges, but it can be regularized, that is, a sensible meaning can be given to it. First of all one has to attach a meaning to the product of the generalized functions $ {D^{3}}(x) $. This can be achieved as follows. Consider the smoothing function
$$
{D_{\kappa,\epsilon}}(x) \stackrel{\text{df}}{=} \frac{i}{(2 \pi)^{4}} \int \frac{e^{i \langle p,x \rangle} {\rho_{\kappa}}((p,p))}{(p,p) - m^{2} + i \epsilon} ~ \mathrm{d}{p},
$$
where $ \epsilon > 0 $ and $ {\rho_{\kappa}}(\xi) $ is a function such that $ {D_{\kappa,\epsilon}}(x) $ is sufficiently smooth, for example, $ {\rho_{\kappa}}(\xi) = \left( 1 + \dfrac{\xi}{\kappa} \right)^{- N} $, where $ N > 2 $, and $ {D_{\kappa,\epsilon}}(x) \to D(x) $ as $ \kappa \to \infty $ and $ \epsilon \to 0 $ ($ \kappa $ is called the ultraviolet cut-off). It can be assumed that the Lagrangian $ \mathcal{L} $ in (5) may be replaced by
$$
\mathcal{L}^{\langle \kappa \rangle} = \frac{1}{2} (\partial_{\mu} u) (\rho(\Box) ~ \partial^{\mu} u) - \frac{m^{2}}{2} u^{2} - \lambda u^{4}.
$$
There exist constants $ a_{\kappa} $ and $ b_{\kappa} $ (growing unboundedly as $ \kappa \to \infty $) such that the limit
$$
{D_{\text{reg}}^{3}}(x) = \lim_{\kappa \to \infty} \left[ \lim_{\epsilon \to 0} {{D_{\kappa,\epsilon}}^{3}}(x) - a_{\kappa} \Box \delta(x) - b_{\kappa} \delta(x) \right]
$$
exists in the sense of generalized functions. The function $ {D_{\text{reg}}^{3}}(x) $ is a regularization of $ {D^{3}}(x) $. It is defined up to terms $ a \Box \delta(x) + b \delta(x) $, where $ a $ and $ b $ are arbitrary constants. The whole expression (6) is regularized in the same way and no new arbitrariness appears. Similarly all the Green functions in each order in $ \lambda $ of perturbation are regularized. A similar procedure can be carried out for $ \mathcal{L}_{\text{int}} $, like for any polynomial. For $ \mathcal{L}_{\text{int}} = - \lambda ~ \Phi^{4} $ a regularization procedure can be carried out in a self-consistent way in all orders in $ \lambda $ of perturbation in the following sense. There exist constants $ A_{\kappa}, B_{\kappa}, C_{\kappa} $ (represented as power series in $ \lambda $ of degree $ 2 $ or higher; simple rules for calculating them have been developed) such that on replacing the Lagrangian $ \mathcal{L}^{\langle \kappa \rangle} $ in (5) by the renormalized Lagrangian
$$
\mathcal{L}_{\text{ren}}^{\langle \kappa \rangle} = \mathcal{L}^{\langle \kappa \rangle} + : A_{\kappa} (\partial_{\mu} u) (\partial^{\mu} u) + B_{\kappa} u^{2} + C_{\kappa} u^{4} :,
$$
one obtains finite expressions at each order of the power series expansion in $ \lambda $ as $ \kappa \to \infty $. $ \mathcal{L}_{\text{ren}}^{\langle \kappa \rangle} $ is called the renormalized Lagrangian, and one says that divergent counter-terms are added to the original $ \mathcal{L} $. These counter-terms have the same structure as the original Lagrangian (that is, they are linear combinations of the expressions $ (\partial_{\mu} u) (\partial^{\mu} u), u^{2}, u^{4} $). As a result, the quantities $ A_{\kappa}, B_{\kappa}, C_{\kappa} $ can be fixed if one regards the mass and charge of the system as given. (The mass is defined as the value of $ p^{2} $ for which $ {G_{2}}(p^{2}) $ has a pole, and the charge as the value of $ G_{4} $ at some specific point.) The analysis of the non-uniqueness leads to the important concept of the renormalization group [[#References|[5]]].

If in the given model it is possible to remove the ultraviolet divergences by adding counter-terms of the same structure as the original Lagrangian, then such a model is called renormalizable, otherwise non-renormalizable. All models of a scalar field in which the interaction is a polynomial of degree exceeding 4 are non-renormalizable. This relates only to perturbation theory. The consistent formulation of the above method of isolating "infinities" that arise from the multiplication of singular generalized functions to all orders in perturbation theory is the content of the so-called theorem on the "R-operation" , obtained by Bogolyubov and O.S. Parasyuk (1956) [[#References|[5]]], [[#References|[19]]]. In this way a theorem on the existence of quantum fields to all orders in perturbation theory has been proved. Subsequent investigations have shown that a number of perturbation theories are at best asymptotic, and estimates based on it are applicable only when particles of not too high energy participate in the process. The removal of ultraviolet divergences has been successfully carried out only within the framework of perturbation theory.

All the above relates to real four-dimensional space-time. In three-dimensional space-time the interaction becomes less singular and it is possible to restrict oneself to adding a counter-term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300158.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300159.png" /> is of second order in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300160.png" />. In two-dimensional space-time counter-terms are not necessary.

Here only the simplest model of a scalar field with interaction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300161.png" /> has been described. In quantum field theory one has to deal with more complicated multi-component systems of interacting Fermi and Bose fields. For example, the chiral field takes, even at the classical level, values in certain homogeneous spaces that are not necessarily linear (for example, the sphere); the gauge fields are connections in certain vector bundles; these are related to the electromagnetic field, the gravitational field and the Yang–Mills field (see [[#References|[11]]], [[#References|[15]]]).

The perturbation method is not applicable in those cases when the interaction constant, the basic parameter of the expansion, is known to be greater than 1, as for the strong nuclear interactions of mesons and nucleons. For strong interactions other methods are used in which a significant role is played by considering the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300162.png" />-matrix in the large and studying the general properties of its matrix entries that directly describe the quantities of experimental interest, which are the amplitudes of creation and scattering processes. In this connection, quantum fields (or currents) that can be expressed in terms of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300163.png" />-matrix play an important role, since the central condition of causality is imposed on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300164.png" />-matrix (Bogolyubov, 1955), as a restriction on the support of specific matrix entries of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300165.png" />-matrix. Together with other physical requirements, such as relativistic invariance and the character of the energy spectrum, the causality condition enables one to establish holomorphy properties of generalized functions, in particular the scattering amplitude, as functions of several complex variables. These analytic properties prove to be sufficient for the deduction of special types of integral representations for the scattering amplitude, namely the "dispersion relations81U30dispersion relations" . A rigorous proof of the dispersion relations [[#References|[4]]] required the development of special mathematical methods lying at the junction of the theory of generalized functions and the theory of functions of several complex variables and, in particular, the proof of the [[edge-of-the-wedge theorem]] of Bogolyubov and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300167.png" />-convex hull theorem of V.S. Vladimirov [[#References|[8]]]. Dispersion relations have become the basis of many of the concrete methods for calculation in the theory of strong interactions (A.A. Logunov, S. Mandelstam and others). They touch upon so-called axiomatic field theory, in which the compatibility of the axioms and their corollaries touching on questions of existence and properties of fields are explained.

The method of perturbation theory presupposes that for the equation (4), of which the quantum field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300168.png" /> is a solution, one selects the simplest initial data <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300169.png" />, defined in the Fock space of free particles. There exist many unitarily-inequivalent realizations (representations) of the commutation relations (3); here there is a difference between quantum field theory as a system with an infinite number of degrees of freedom and quantum mechanics, in which there is the von Neumann theorem on the uniqueness of these representations. For physics, any realization of the initial data for which equation (4) has a solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300170.png" /> and for which the Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300171.png" /> is bounded below is of interest. The Hilbert space in which such a representation is realized is called a sector. Some models can appear in several phases (a phase is a sector with a unique vacuum), for example, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300172.png" />-model for sufficiently large <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300173.png" /> has two phases, arising from phase transition. In the construction of phases the method of quasi-averages (cf. [[Quasi-averages, method of|Quasi-averages, method of]]) is applied. The representation of phase transition and, related to it, the phenomenon of spontaneous symmetry breakdown has played an important role, in particular in the unified theory of weak and electromagnetic interactions. It was proved in 1974 that in certain two-dimensional models there are so-called soliton sectors in which a vacuum is absent but which have a rich spectrum (L.D. Faddeev and others).

In quantum field theory there are many problems requiring for their solution methods in various areas of mathematics that are being intensively studied. Conventionally, they are divided into the following groups.

1) The analysis of the axioms and their corollaries for quantum fields and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300174.png" />-matrix. Besides the tools of functional analysis, such as the theory of self-adjoint operators, generalized functions and group representations, one here uses methods of the theory of functions of several complex variables, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300175.png" />-algebras and von Neumann algebras, and, more recently, methods of probability theory. The fundamental quantities, the Green functions or the Wightman functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300176.png" />, are boundary values of functions that are holomorphic in certain domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300177.png" />. The unsolved problem here is the construction of envelopes of holomorphy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300178.png" />. The domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300179.png" /> contains Euclidean points of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300180.png" />. For a number of models in two- and three-dimensional space-time it has been proved that the values of the Wightman functions at these points are moments of a probability measure. The further analysis of this Euclidean approach to quantum field theory from the point of view of probability theory is worthy of attention.

There is a general algebraic approach to field theory, at the basis of which are the algebras of observables, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300181.png" />-algebras or von Neumann algebras endowed with certain natural structural properties from a physical point of view. Here one of the fundamental problems is the analysis of the connection between algebraic fields and algebraic observables, and also the problem of the description of the dynamics within the framework of this approach.

2) Constructive quantum field theory has the very important problem of proving the existence of a model of quantum field theory in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300182.png" />-dimensional space-time. In the two- and three-dimensional case the existence of a number of models has been proved using the Euclidean (probabilistic) approach by applying methods that are developed in analogy to statistical mechanics; here a further mathematical analysis is required of such questions as the spectrum of the Hamiltonian, phase transitions, the properties of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300183.png" />-matrix, etc. [[#References|[13]]].

3) In formal quantum field theory, the existence of which is known in each order of perturbation theory, there are also a number of problems admitting a mathematical treatment. In this connection there are, for example, the analysis of the perturbation series (in particular, the analytic properties of Feynman diagrams), the study of classical equations of field theory and the quasi-classical corrections to them; here there arise non-linear equations of elliptic and hyperbolic types, for the analysis of which one applies in particular the inverse-scattering method, methods of differential and algebraic geometry and topology, etc.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> A.I. Akhiezer, V.B. Berestetskii, "Quantenelektrodynamik" , H. Deutsch , Frankfurt a.M. (1962) (Translated from Russian) {{MR|}} {{ZBL|0084.45004}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> F.A. Berezin, "The method of second quantization" , Acad. Press (1966) (Translated from Russian) (Revised (augmented) second edition: Kluwer, 1989) {{MR|0208930}} {{ZBL|0151.44001}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> N.N. Bogolyubov, A.A. Logunov, I.T. Todorov, "Introduction to axiomatic quantum field theory" , Benjamin (1975) (Translated from Russian) {{MR|452277}} {{ZBL|}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> N.N. Bogolyubov, B.V. Medvedev, M.K. Polivanov, "Questions in the theory of dispersion relations" , Moscow (1958) (In Russian) {{MR|0102357}} {{ZBL|}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> N.N. Bogolyubov, D.V. Shirkov, "Introduction to the theory of quantized fields" , Interscience (1959) (Translated from Russian) {{MR|110471}} {{ZBL|0088.21701}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> A. Wightman, "Problems in relativistic dynamics of quantized fields" , Moscow (1968) (In Russian; translated from English)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> A.N. Vasil'ev, "Functional methods in quantum field theory and statistics" , Leningrad (1976) (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> V.S. Vladimirov, "Methods of the theory of functions of several complex variables" , M.I.T. (1966) (Translated from Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> R. Jost, "The general theory of quantized fields" , Amer. Math. Soc. (1965) {{MR|0177667}} {{ZBL|0127.19105}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> , ''Constructive quantum field theory'' , ''Lect. notes in physics'' , '''25''' , Springer (1973) {{MR|}} {{ZBL|0325.00006}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> V.N. Popov, "Functional integrals in quantum field theory and statistical physics" , Reidel (1983) (Translated from Russian) {{MR|0711367}} {{ZBL|0518.28010}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> M. Reed, B. Simon, "Methods of modern mathematical physics" , '''1–4''' , Acad. Press (1972–1978) {{MR|0751959}} {{MR|0529429}} {{MR|0493423}} {{MR|0493421}} {{MR|0493422}} {{MR|0493420}} {{MR|0493419}} {{ZBL|0521.47001}} {{ZBL|0517.47006}} {{ZBL|0459.46001}} {{ZBL|0405.47007}} {{ZBL|0401.47001}} {{ZBL|0308.47002}} {{ZBL|0242.46001}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> B. Simon, "The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300184.png" /> Euclidean (quantum) field theory" , Princeton Univ. Press (1974)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> I. Segal, "Mathematical problems of relativistic physics" , Amer. Math. Soc. (1963) {{MR|0144227}} {{ZBL|0112.45307}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> A.A. Slavnov, L.D. Faddeev, "Introduction to the theory of gauge fields" , Moscow (1978) (In Russian) {{MR|}} {{ZBL|0663.53060}} </TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top"> R.F. Streater, A.S. Wightman, "PCT, Spin, statistics and all that" , Benjamin (1964) {{MR|161603}} {{ZBL|}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> F. Pham, "Introduction à l'Aeetude topologique des singularités de Landau" , Gauthier-Villars (1967)</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top"> K. Friedrichs, "Perturbation of spectra of operators in Hilbert space" , Amer. Math. Soc. (1965) {{MR|182883}} {{ZBL|}} </TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top"> C. Hepp, "Théorie de la renormalisation" , ''Lect. notes in physics'' , '''2''' , Springer (1969) {{MR|0277208}} {{ZBL|}} </TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top"> A.S. Švarts, "Mathematical foundations of quantum field theory" , Moscow (1975) (In Russian)</TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top"> S. Schweber, "Introduction to relativistic quantum field theory" , Harper &amp; Row (1961) {{MR|0127796}} {{ZBL|0111.43102}} </TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top"> , ''Quantum theory of gauge fields'' , Moscow (1977) (In Russian; translated from English)</TD></TR></table>



====Comments====
There is now a vast literature on the existence of specific quantum fields in two and three space-time dimensions. See [[#References|[13]]], [[#References|[a1]]], [[#References|[a2]]], and [[#References|[a4]]] for recent expositions of part of these developments and several viewpoints.

For the notation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076300/q076300185.png" /> see [[Wick product|Wick product]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Glimm, A. Jaffe, "Quantum physics, a functional integral point of view" , Springer (1987) {{MR|}} {{ZBL|0589.46061}} {{ZBL|0461.46051}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> E. Seiler, "Gauge theories as a problem of constructive quantum field theory and statistical mechanics" , ''Lect. notes in physics'' , '''159''' , Springer (1982) {{MR|0785937}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> C. Itzykson, J. Zuber, "Quantum field theory" , McGraw-Hill (1988) {{MR|1486325}} {{MR|0750833}} {{MR|0750832}} {{MR|0603127}} {{MR|0585517}} {{ZBL|0453.05035}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> J.C. Baez, I.E. Segal, Z. Zhou, "Introduction to algebraic and constructive quantum field theory" , Princeton Univ. Press (1990) {{MR|1178936}} {{ZBL|0760.46061}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> J.D. Ajörken, S. Drell, "Relativistic quantum mechanics" , McGraw-Hill (1964) {{MR|187641}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> J.D. Ajörken, S. Drell, "Relativistic quantum fields" , McGraw-Hill (1965) {{MR|187642}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> O.I. [O.I. Zav'yalov] Zavialov, "Renormalized quantum field theory" , Kluwer (1990) (Translated from Russian) {{MR|1071508}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> S.S. [S.S. Khorozhii] Horuzhy, "Introduction to algebraic quantum field theory" , Kluwer (1990) (Translated from Russian) {{MR|1063850}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> N.N. Bogolyubov, A.A. Logunov, A.I. Oksak, I.T. Todorov, "General principles of quantum field theory" , Kluwer (1990) (Translated from Russian) {{MR|1135574}} {{ZBL|0732.46040}} </TD></TR></table>