Quantum field theory (QFT) is the application of quantum mechanics to fields. It provides a theoretical framework widely used in particle physics and condensed matter physics. In particular, the quantum theory of the electromagnetic field, known as quantum electrodynamics, is one of the most welltested and successful theories in physics. The fundamentals of quantum field theory were developed during 1935 – 1955, notably by Dirac, Pauli, Tomonaga, Schwinger[?], Feynman, and Dyson.

Shortcomings of ordinary quantum mechanics
Quantum field theory corrects several deficiencies of ordinary quantum mechanics, which we will briefly discuss. The Schrödinger equation, in its most commonlyencountered form, is
where Ψ is the wavefunction of a particle, m its mass, and V an applied potential energy.
There are two problems with this equation. Firstly, it is not relativistic, reducing to classical mechanics rather than relativistic mechanics in the correspondence limit. To see this, we note that the first term on the left is only the classical kinetic energy p²/2m, with the rest energy mc² omitted. It is possible to modify the Schrödinger equation to include the rest energy, resulting in the KleinGordon equation or the Dirac equation. However, these equations have many unsatisfactory qualities; for instance, they possess energy spectra[?] which extend to ∞, so that there is no ground state. Such inconsistencies occur because these equations neglect the possibility of dynamically creating or destroying particles, which is a crucial aspect of relativity. Einstein's famous massenergy relation predicts that sufficiently massive particles can decay into several lighter particles, and sufficiently energetic particles can combine to form massive particles. For example, an electron and a positron can annihilate each other to create photons. Such processes must be accounted for in a truly relativistic quantum theory.
The second problem occurs when we seek to extend the equation to large numbers of particles. It was discovered that quantum mechanical particles of the same species are indistinguishable, in the sense that the wavefunction of the entire system must be symmetric (bosons) or antisymmetric (fermions) when the coordinates of its consituent particles are exchanged. This makes the wavefunction of systems of many particles extremely complicated. For example, the general wavefunction of a system of N bosons is written as
where r_{i} are the coordinates of the ith particle, φ_{i} are the singleparticle wavefunctions, and the sum is taken over all possible permutations of p elements. In general, this is a sum of N! (N factorial) distinct terms, which quickly becomes unmanageable as N increases.
Both of the above problems are resolved by moving our attention from a set of indestructible particles to a quantum field. The procedure by which quantum fields are constructed from individual particles was introduced by Dirac, and is (for historical reasons) known as second quantization[?].
We should mention two possible points of confusion. Firstly, the aforementioned "field" and "particle" descriptions do not refer to waveparticle duality. By "particle", we refer to entities which possess both wave and pointparticle properties in the usual quantum mechanical sense; for example, these "particles" are generally not located at a fixed point, but have a certain probability of being found at each position in space. What we refer to as a "field" is an entity existing at every point in space, which regulates the creation and annihilation of the particles. Secondly, quantum field theory is essentially quantum mechanics, and not a replacement for quantum mechanics. Like any quantum system, a quantum field possesses a Hamiltonian H (albeit one that is more complicated than typical singleparticle Hamiltonians), and obeys the usual Schrödinger equation
(Quantum field theory is often formulated in terms of a Lagrangian, which is more convenient to work with. However, the Lagrangian and Hamiltonian formulations are entirely equivalent.)
In second quantization, we make use of particle indistinguishability by specifying multiparticle wavefunctions in terms of singleparticle occupation numbers. For example, suppose we have a system of N bosons which can occupy various singleparticle states φ_{1}, φ_{2}, φ_{3}, and so on. The usual method of writing a multiparticle wavefunction is to assign a state to each particle and then impose exchange symmetry. As we have seen, the resulting wavefunction is an unwieldy sum of N! terms. In the second quantized approach, we simply list the number of particles in each of the singleparticle states, with the understanding that the multiparticle wavefunction is symmetric. To be precise, suppose that N = 3, with one particle in state φ_{1} and two in state φ_{2}. The normal way of writing the wavefunction is
whereas in second quantized form it is simply
Though the difference is entirely notational, the latter form makes it extremely easy to define creation and annihilation operators, which add and subtract particles from multiparticle states. These creation and annihilation operators are very similar to those defined for the quantum harmonic oscillator, which added and subtracted energy quanta. However, these operators literally create and annihilate particles with a given quantum state. For example, the annihilation operator a_{2} has the following effects:
(The √2 factor in the first line normalizes the wavefunction, and is not important.)
Finally, we introduce field operators that define the probability of creating or destroying a particle at a particular point in space. It turns out that singleparticle wavefunction are usually enumerated in terms of their momenta (as in the particle in a box problem), so field operators can be constructed by applying the Fourier transform to the creation and annihilation operators. For example, the bosonic field annihilation operator φ(r) (which is not to be confused with the wavefunction) is
In quantum field theories, Hamiltonians are written in terms of either the creation and annihilation operators or, equivalently, the field operators. The former practice is more common in condensed matter physics, whereas the latter is more common in particle physics since it makes it easier to deal with relativity. An example of a Hamiltonian written in terms of creation and annihilation operators is
This describes a field of free (noninteracting) bosons, where E_{k} is the kinetic energy of the kth momentum mode. In fact, this Hamiltonian is useful for describing noninteracting phonons.
The pure states are given by the vectors of some separable complex Hilbert space on which continuous unitary representation U(a,L) of Poincaré group acts according to the following interpretation:
An ensamble corresponding to U(a,L)v> is to be described with respect to the coordinates <math>x'=L^{1}(xa)</math> in exactly the same way as an ensemble corresponding to v> is to be described with respect to the coordinates x.
The representation U(a,L) fulfills the spectral condition  that eigenvalues of energymomentum are contained in the forward cone. There is a unique state, represented by a ray in the Hilbert space, which is invariant under the action of the Poincare group. It is called a vacuum.
For each test function f, there exists a set of operators <math>A_1(f),\ldots A_n(f)</math> which, together with their adjoints, are defined on a dense subset of the Hilbert state space, containing vacuum. The fields A are operator valued tempered distributions. The Hilbert state space is spanned by the field polynomials acting on the vacuum (cyclicity condition).
The fields are covariant under the action of Poincaré group, and they transform according to some representation S of the Lorentz group: <math>U(a,L)^{\dagger}A(x)U(a,L)=S(L)A(L^{1}(xa))</math>
If the supports of two fields are spacelike separated, then the fields either commute or anticommute
Cyclicity of a vacuum, and uniqueness of a vacuum are sometimes considered separately. Also, there is property of asymptotic completeness  that hilbert state space is spanned by the asymptotic spaces <math>H^{in}</math> and <math>H^{out}</math>, appearing in the collision S matrix[?]. The other important property of field theory is mass gap[?] which is not required by the axioms  that energymomentum spectrum has a gap between zero and some positive number.
From these axioms, certain general theorems follow:
Arthur Wightman showed that the vacuum expectation value distributions, satisfying certain set of properties which follow from the axioms, are sufficient to reconstruct the field theory  Wightman reconstruction theorem[?], although he did not get the uniqueness of a vaccuum.
If the theory has a mass gap[?], i.e. there are no masses between 0 and some constant greater than zero, then vacuum expectation distributions are asimptotically independent in distant regions.
Haag's theorem[?] says that there can be no interaction picture  that we cannot use the Fock space of noninteracting particles as a Hilbert space  in the sense that we would identify Hilbert spaces via field polynomials acting on a vacuum at a certain time.
Currently, there is no proof that these axioms can be satisfied for gauge theories in dimension 4  Standard model thus has no strict foundations. There is a million dollar prize for a proof that these axioms can be satisfied for gauge theories[?], with the additional requirement of a mass gap.
Search Encyclopedia
