Quantum field theory
25267
223646128
2008-07-05T01:46:52Z
Lightbot
7178666
Units/dates/other
{{nofootnotes}}
{{Quantum field theory}}
'''Quantum field theory (QFT)''' is a theoretical framework for constructing [[quantum mechanics|quantum mechanical]] models of
system classically described by
[[field (physics)|fields]] (having an infinite number of degrees of freedom) or of [[Many-body problem|many-body systems]]
(having a finite number of degrees of freedom). It is widely used in [[particle physics]] and [[condensed matter physics]]. Most theories in modern particle physics, including the [[Standard Model]] of elementary particles and their interactions, are formulated as [[Special relativity|relativistic]] quantum field theories. In condensed matter physics, quantum field theories are used in many circumstances, especially those where the number of particles is allowed to fluctuate—for example, in the [[BCS theory]] of [[superconductivity]].
==History==
{{main|History of quantum field theory}}
Quantum field theory originated in the 1920s from the problem of creating a [[quantum mechanics|quantum mechanical theory]] of the [[electromagnetic field]]. In 1926, [[Max Born]], [[Pascual Jordan]], and [[Werner Heisenberg]] constructed such a theory by expressing the field's internal [[Degrees of freedom (physics and chemistry)|degrees of freedom]] as an infinite set of [[harmonic oscillator]]s and by employing the usual procedure for quantizing those oscillators ([[canonical quantization]]). This theory assumed that no electric charges or currents were present and today would be called a [[free field theory]]. The first reasonably complete theory of [[quantum electrodynamics]], which included both the electromagnetic field and electrically charged matter (specifically, [[electron]]s) as quantum mechanical objects, was created by [[Paul Dirac]] in 1927. This quantum field theory could be used to model important processes such as the emission of a [[photon]] by an electron dropping into a [[quantum state]] of lower energy, a process in which the ''number of particles changes'' — one atom in the initial state becomes an atom plus a [[photon]] in the final state. It is now understood that the ability to describe such processes is one of the most important features of quantum field theory.
It was evident from the beginning that a proper quantum treatment of the electromagnetic field had to somehow incorporate [[Albert Einstein|Einstein's]] [[theory of relativity|relativity]] theory, which had after all grown out of the study of [[classical electromagnetism]]. This need to ''put together relativity and quantum mechanics'' was the second major motivation in the development of quantum field theory. [[Pascual Jordan]] and [[Wolfgang Pauli]] showed in 1928 that quantum fields could be made to behave in the way predicted by [[special relativity]] during [[Covariance and contravariance of vectors|coordinate transformations]] (specifically, they showed that the field [[commutator]]s were [[Lorentz invariant]]), and in 1933 [[Niels Bohr]] and [[Leon Rosenfeld]] showed that this result could be interpreted as a limitation on the ability to measure fields at [[space-like]] separations, exactly as required by relativity. A further boost for quantum field theory came with the discovery of the [[Dirac equation]], a single-particle equation obeying both relativity and quantum mechanics, when it was shown that several of its undesirable properties (such as negative-energy states) could be eliminated by reformulating the Dirac equation as a quantum field theory. This work was performed by [[Wendell Furry]], [[Robert Oppenheimer]], [[Vladimir Fock]], and others.
The third thread in the development of quantum field theory was the need to ''handle the statistics of many-particle systems'' consistently and with ease. In 1927, Jordan tried to extend the canonical quantization of fields to the many-body wavefunctions of [[identical particles]], a procedure that is sometimes called [[second quantization]]. In 1928, Jordan and [[Eugene Wigner]] found that the quantum field describing electrons, or other [[fermion]]s, had to be expanded using anti-commuting creation and annihilation operators due to the [[Pauli exclusion principle]]. This thread of development was incorporated into [[many-body theory]], and strongly influenced [[condensed matter physics]] and [[nuclear physics]].
Despite its early successes, quantum field theory was plagued by several serious theoretical difficulties. Many seemingly-innocuous physical quantities, such as the energy shift of electron states due to the presence of the electromagnetic field, gave infinity — a nonsensical result — when computed using quantum field theory. This "divergence problem" was solved during the 1940s by [[Bethe]], [[Sin-Itiro Tomonaga|Tomonaga]], [[Julian Schwinger|Schwinger]], [[Richard Feynman|Feynman]], and [[Freeman Dyson|Dyson]], through the procedure known as [[renormalization]]. This phase of development culminated with the construction of the modern theory of [[quantum electrodynamics]] (QED). Beginning in the 1950s with the work of [[Chen Ning Yang|Yang]] and [[Robert Mills (physicist)|Mills]], QED was generalized to a class of quantum field theories known as [[gauge theory|gauge theories]]. The 1960s and 1970s saw the formulation of a gauge theory now known as the [[Standard Model]] of [[particle physics]], which describes all known elementary particles and the interactions between them. The weak interaction part of the standard model was formulated by [[Sheldon Glashow]], with the [[Higgs mechanism]] added by [[Steven Weinberg]] and [[Abdus Salam]]. The theory was shown to be consistent by [[Gerardus 't Hooft]] and [[Martinus Veltman]].
Also during the 1970s, parallel developments in the study of [[phase transitions]] in [[condensed matter physics]] led [[Leo Kadanoff]], [[Michael Fisher]] and [[Kenneth Wilson]] (extending work of [[Ernst Stueckelberg]], [[Andre Peterman]], [[Murray Gell-Mann]] and [[Francis Low]]) to a set of ideas and methods known as the [[renormalization group]]. By providing a better physical understanding of the renormalization procedure invented in the 1940s, the renormalization group sparked what has been called the "grand synthesis" of theoretical physics, uniting the quantum field theoretical techniques used in particle physics and condensed matter physics into a single theoretical framework.
The study of quantum field theory is alive and flourishing, as are applications of this method to many physical problems. It remains one of the most vital areas of [[theoretical physics]] today, providing a common language to many branches of [[physics]].
== Principles of quantum field theory ==
=== Classical fields and quantum fields ===
[[Quantum mechanics]], in its most general formulation, is a theory of abstract [[operator]]s (observables) acting on an abstract state space ([[Hilbert space]]), where the observables represent physically-observable quantities and the state space represents the possible states of the system under study. Furthermore, each observable [[correspondence principle|corresponds]], in a technical sense, to the classical idea of a [[Degrees of freedom (physics and chemistry)|degree of freedom]]. For instance, the fundamental observables associated with the motion of a single quantum mechanical particle are the position and momentum operators <math>\hat{x}</math> and <math>\hat{p}</math>. Ordinary quantum mechanics deals with systems such as this, which possess a small set of degrees of freedom.
(It is important to note, at this point, that this article does not use the word "[[particle]]" in the context of [[wave–particle duality]]. In quantum field theory, "particle" is a generic term for any discrete quantum mechanical entity, such as an electron, which can behave like [[particle|classical particles]] or [[wave|classical waves]] under different experimental conditions.)
A '''quantum field''' is a quantum mechanical system containing a large, and possibly [[infinity|infinite]], number of degrees of freedom. This is not as exotic a situation as one might think. A [[Field (physics)|classical field]] contains a set of degrees of freedom at each point of space; for instance, the classical [[electromagnetic field]] defines two [[vector (spatial)|vector]]s — the [[electric field]] and the [[magnetic field]] — that can in principle take on distinct values for each position <math>r</math>. When the field ''as a whole'' is considered as a quantum mechanical system, its observables form an infinite (in fact [[uncountable set|uncountable]]) set, because <math>r</math> is continuous.
Furthermore, the degrees of freedom in a quantum field are arranged in "repeated" sets. For example, the degrees of freedom in an electromagnetic field can be grouped according to the position <math>r</math>, with exactly two vectors for each <math>r</math>. Note that <math>r</math> is an ordinary number that "indexes" the observables; it is not to be confused with the position operator <math>\hat{x}</math> encountered in ordinary quantum mechanics, which is an observable. (Thus, ordinary quantum mechanics is sometimes referred to as "zero-dimensional quantum field theory", because it contains only a single set of observables.) It is also important to note that there is nothing special about <math>r</math> because, as it turns out, there is generally more than one way of indexing the degrees of freedom in the field.
In the following sections, we will show how these ideas can be used to construct a quantum mechanical theory with the desired properties. We will begin by discussing single-particle quantum mechanics and the associated theory of many-particle quantum mechanics. Then, by finding a way to index the degrees of freedom in the many-particle problem, we will construct a quantum field and study its implications.
=== Single-particle and many-particle quantum mechanics ===
In ordinary quantum mechanics, the time-dependent [[Schrödinger equation]] describing the motion of a single non-relativistic particle is
:<math> \left[ \frac{|\mathbf{p}|^2}{2m} + V(\mathbf{r}) \right]
|\psi(t)\rang = i \hbar \frac{\partial}{\partial t} |\psi(t)\rang,</math>
where <math>m</math> is the particle's
[[mass]], <math>V</math> is the applied [[potential]], and <math>|\psi\rang</math> denotes the [[quantum state]] (we are using [[bra-ket notation]]).
We wish to consider how this problem generalizes to <math>N</math> particles. There are two motivations for studying the many-particle problem. The first is a straightforward need in [[condensed matter physics]], where typically the number of particles is on the order of [[Avogadro's number]] (6.0221415 x 10<sup>23</sup>). The second motivation for the many-particle problem arises from [[particle physics]] and the desire to incorporate the effects of [[special relativity]]. If one attempts to include the relativistic [[rest energy]] into the above equation, the result is either the [[Klein-Gordon equation]] or the [[Dirac equation]]. However, these equations have many unsatisfactory qualities; for instance, they possess energy [[eigenvalues]] which extend to –∞, so that there seems to be no easy definition of a [[ground state]]. It turns out that such inconsistencies arise from neglecting the possibility of dynamically creating or destroying particles, which is a crucial aspect of relativity. [[Albert Einstein|Einstein's]] famous [[E=mc^2|mass-energy 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 [[photon]]s. Thus, a consistent relativistic quantum theory must be formulated as a many-particle theory.
Furthermore, we will assume that the <math>N</math> particles are [[identical particles|indistinguishable]]. As described in the article on [[identical particles]], this implies that the state of the entire system must be either symmetric ([[boson]]s) or antisymmetric ([[fermion]]s) when the coordinates of its constituent particles are exchanged. These multi-particle states are rather complicated to write. For example, the general quantum state of a system of <math>N</math> bosons is written as
:<math> |\phi_1 \cdots \phi_N \rang = \sqrt{\frac{\prod_j N_j!}{N!}} \sum_{p\in S_N} |\phi_{p(1)}\rang \cdots |\phi_{p(N)} \rang,</math>
where <math>|\phi_i\rang</math> are the single-particle states, <math>N_j</math> is the number of particles occupying state <math>j</math>, and the sum is taken over all possible [[permutation]]s <math>p</math> acting on <math>N</math> elements. In general, this is a sum of <math>N!</math> (<math>N</math> [[factorial]]) distinct terms, which quickly becomes unmanageable as <math>N</math> increases. The way to simplify this problem is to turn it into a quantum field theory.
=== Second quantization ===
{{main|Second quantization}}
In this section, we will describe a method for constructing a quantum field theory called '''[[second quantization]]'''. This basically involves choosing a way to index the quantum mechanical degrees of freedom in the space of multiple identical-particle states. It is based on the [[Hamiltonian (quantum mechanics)|Hamiltonian]] formulation of quantum mechanics; several other approaches exist, such as the [[Feynman path integral]]<ref>
Abraham Pais, ''Inward Bound: Of Matter and Forces in the Physical World'' ISBN 0198519974. Pais recounts how his astonishment at the rapidity with which [[Feynman]] could calculate using his method. Feynman's method is now part of the standard methods for physicists.
</ref>, which uses a [[Lagrangian]] formulation. For an overview, see the article on [[quantization (physics)|quantization]].
==== Second quantization of bosons ====
For simplicity, we will first discuss second quantization for [[boson]]s, which form perfectly symmetric quantum states. Let us denote the mutually orthogonal single-particle states by <math>|\phi_1\rang, |\phi_2\rang, |\phi_3\rang,</math> and so on. For example, the 3-particle state with one particle in state <math>|\phi_1\rang</math> and two in state<math>|\phi_2\rang</math> is
:<math> \frac{1}{\sqrt{3}} \left[ |\phi_1\rang |\phi_2\rang
|\phi_2\rang + |\phi_2\rang |\phi_1\rang |\phi_2\rang + |\phi_2\rang
|\phi_2\rang |\phi_1\rang \right]. </math>
The first step in second quantization is to express such quantum states in terms of '''occupation numbers''', by listing the number of particles occupying each of the single-particle states <math>|\phi_1\rang, |\phi_2\rang, </math> etc. This is simply another way of labelling the states. For instance, the above 3-particle state is denoted as
:<math> |1, 2, 0, 0, 0, \cdots \rangle.</math>
The next step is to expand the <math>N</math>-particle state space to include the state spaces for all possible values of <math>N</math>. This extended state space, known as a [[Fock space]], is composed of the state space of a system with no particles (the so-called [[vacuum state]]), plus the state space of a 1-particle system, plus the state space of a 2-particle system, and so forth. It is easy to see that there is a one-to-one correspondence between the occupation number representation and valid boson states in the Fock space.
At this point, the quantum mechanical system has become a quantum field in the sense we described above. The field's elementary degrees of freedom are the occupation numbers, and each occupation number is indexed by a number <math>j\cdots</math>, indicating which of the single-particle states <math>|\phi_1\rang, |\phi_2\rang, \cdots|\phi_j\rang\cdots</math> it refers to.
The properties of this quantum field can be explored by defining [[creation and annihilation operators]], which add and subtract particles. They are analogous to "ladder operators" in the [[quantum harmonic oscillator]] problem, which added and subtracted energy quanta. However, these operators literally create and annihilate particles of a given quantum state. The bosonic annihilation operator <math>a_2</math> and creation operator <math>a_2^\dagger</math> have the following effects:
:<math> a_2 | N_1, N_2, N_3, \cdots \rangle = \sqrt{N_2} \mid N_1, (N_2 - 1), N_3, \cdots \rangle,</math>
:<math> a_2^\dagger | N_1, N_2, N_3, \cdots \rangle = \sqrt{N_2 + 1} \mid N_1, (N_2 + 1), N_3, \cdots \rangle.</math>
It can be shown that these are operators in the usual quantum mechanical sense, i.e. [[linear operator]]s acting on the Fock space. Furthermore, they are indeed [[Hermitian adjoint|Hermitian conjugates]], which justifies the way we have written them. They can be shown to obey the [[commutator|commutation relation]]
:<math>
\left[a_i , a_j \right] = 0 \quad,\quad
\left[a_i^\dagger , a_j^\dagger \right] = 0 \quad,\quad
\left[a_i , a_j^\dagger \right] = \delta_{ij},
</math>
where <math>\delta</math> stands for the [[Kronecker delta]]. These are precisely the relations obeyed by the ladder operators for an infinite set of independent [[quantum harmonic oscillator]]s, one for each single-particle state. Adding or removing bosons from each state is therefore analogous to exciting or de-exciting a quantum of energy in a harmonic oscillator.
The [[Hamiltonian (quantum mechanics)|Hamiltonian]] of the quantum field (which, through the [[Schrödinger equation]], determines its dynamics) can be written in terms of creation and annihilation operators. For instance, the Hamiltonian of a field of free (non-interacting) bosons is
:<math>H = \sum_k E_k \, a^\dagger_k \,a_k,</math>
where <math>E_k</math> is the energy of the <math>k</math>-th single-particle energy eigenstate. Note that
:<math>a_k^\dagger\,a_k|\cdots, N_k, \cdots \rangle=N_k| \cdots, N_k, \cdots \rangle</math>.
==== Second quantization of fermions ====
It turns out that a different definition of creation and annihilation must be used for describing [[fermion]]s. According to the [[Pauli exclusion principle]], fermions cannot share quantum states, so their occupation numbers <math>N_i</math> can only take on the value 0 or 1. The fermionic annihilation operators <math>c</math> and creation operators <math>c^\dagger</math> are defined by
:<math> c_j | N_1, N_2, \cdots, N_j = 0, \cdots \rangle = 0 </math>
:<math> c_j | N_1, N_2, \cdots, N_j = 1, \cdots \rangle = (-1)^{(N_1 + \cdots + N_{j-1})} | N_1, N_2, \cdots, N_j = 0, \cdots \rangle </math>
:<math> c_j^\dagger | N_1, N_2, \cdots, N_j = 0, \cdots \rangle = (-1)^{(N_1 + \cdots + N_{j-1})} | N_1, N_2, \cdots, N_j = 1, \cdots \rangle </math>
:<math> c_j^\dagger | N_1, N_2, \cdots, N_j = 1, \cdots \rangle = 0 </math>
These obey an [[anticommutator|anticommutation relation]]:
:<math>
\left\{c_i , c_j \right\} = 0 \quad,\quad
\left\{c_i^\dagger , c_j^\dagger \right\} = 0 \quad,\quad
\left\{c_i , c_j^\dagger \right\} = \delta_{ij}
</math>
One may notice from this that applying a fermionic creation operator twice gives zero, so it is impossible for the particles to share single-particle states, in accordance with the exclusion principle.
==== Field operators ====
We have previously mentioned that there can be more than one way of indexing the degrees of freedom in a quantum field. Second quantization indexes the field by enumerating the single-particle quantum states. However, as we have discussed, it is more natural to think about a "field", such as the electromagnetic field, as a set of degrees of freedom indexed by position.
To this end, we can define ''field operators'' that create or destroy a particle at a particular point in space. In particle physics, these operators turn out to be more convenient to work with, because they make it easier to formulate theories that satisfy the demands of relativity.
Single-particle states are usually enumerated in terms of their [[momentum|momenta]] (as in the [[particle in a box]] problem.) We can construct field operators by applying the [[Fourier transform]] to the creation and annihilation operators for these states. For example, the bosonic field annihilation operator <math>\phi(\mathbf{r})</math> is
:<math>\phi(\mathbf{r}) \ \stackrel{\mathrm{def}}{=}\ \sum_{j} e^{i\mathbf{k}_j\cdot \mathbf{r}} a_{j} </math>
The bosonic field operators obey the commutation relation
:<math>
\left[\phi(\mathbf{r}) , \phi(\mathbf{r'}) \right] = 0 \quad,\quad
\left[\phi^\dagger(\mathbf{r}) , \phi^\dagger(\mathbf{r'}) \right] = 0 \quad,\quad
\left[\phi(\mathbf{r}) , \phi^\dagger(\mathbf{r'}) \right] = \delta^3(\mathbf{r} - \mathbf{r'})
</math>
where <math>\delta(x)</math> stands for the [[Dirac delta function]]. As before, the fermionic relations are the same, with the commutators replaced by anticommutators.
It should be emphasized that the field operator is ''not'' the same thing as a single-particle wavefunction. The former is an operator acting on the Fock space, and the latter is just a scalar field. However, they are closely related, and are indeed commonly denoted with the same symbol. If we have a Hamiltonian with a space representation, say
:<math>H = - \frac{\hbar^2}{2m} \sum_i \nabla_i^2 + \sum_{i < j} U(|\mathbf{r}_i - \mathbf{r}_j|) </math>
where the indices <math>i</math> and <math>j</math> run over all particles, then the field theory Hamiltonian is
:<math>H = - \frac{\hbar^2}{2m} \int d^3\!r \; \phi^\dagger(\mathbf{r}) \nabla^2 \phi(\mathbf{r}) + \int\!d^3\!r \int\!d^3\!r' \; \phi(\mathbf{r})^\dagger \phi(\mathbf{r}')^\dagger U(|\mathbf{r} - \mathbf{r}'|) \phi(\mathbf{r'}) \phi(\mathbf{r}) </math>
This looks remarkably like an expression for the expectation value of the energy, with <math>\phi</math> playing the role of the wavefunction. This relationship between the field operators and wavefunctions makes it very easy to formulate field theories starting from space-projected Hamiltonians.
=== Implications of quantum field theory ===
==== Unification of fields and particles ====
The "second quantization" procedure that we have outlined in the previous section takes a set of single-particle quantum states as a starting point. Sometimes, it is impossible to define such single-particle states, and one must proceed directly to quantum field theory. For example, a quantum theory of the [[electromagnetic field]] ''must'' be a quantum field theory, because it is impossible (for various reasons) to define a [[wavefunction]] for a single [[photon]]. In such situations, the quantum field theory can be constructed by examining the mechanical properties of the classical field and guessing the [[correspondence principle|corresponding]] quantum theory. The quantum field theories obtained in this way have the same properties as those obtained using second quantization, such as well-defined creation and annihilation operators obeying commutation or anticommutation relations.
Quantum field theory thus provides a unified framework for describing "field-like" objects (such as the electromagnetic field, whose excitations are photons) and "particle-like" objects (such as electrons, which are treated as excitations of an underlying electron field).
==== Physical meaning of particle indistinguishability ====
The second quantization procedure relies crucially on the particles being [[identical particles|identical]]. We would not have been able to construct a quantum field theory from a distinguishable many-particle system, because there would have been no way of separating and indexing the degrees of freedom.
Many physicists prefer to take the converse interpretation, which is that ''quantum field theory explains what identical particles are''. In ordinary quantum mechanics, there is not much theoretical motivation for using symmetric (bosonic) or antisymmetric (fermionic) states, and the need for such states is simply regarded as an empirical fact. From the point of view of quantum field theory, particles are identical [[if and only if]] they are excitations of the same underlying quantum field. Thus, the question "why are all electrons identical?" arises from mistakenly regarding individual electrons as fundamental objects, when in fact it is only the electron field that is fundamental.
==== Particle conservation and non-conservation ====
During second quantization, we started with a Hamiltonian and state space describing a fixed number of particles (<math>N</math>), and ended with a Hamiltonian and state space for an arbitrary number of particles. Of course, in many common situations <math>N</math> is an important and perfectly well-defined quantity, e.g. if we are describing a gas of [[particle in a box|atoms sealed in a box]]. From the point of view of quantum field theory, such situations are described by quantum states that are eigenstates of the [[particle number operator|number operator]] <math>\hat{N}</math>, which measures the total number of particles present. As with any quantum mechanical observable, <math>\hat{N}</math> is conserved if it commutes with the Hamiltonian. In that case, the quantum state is trapped in the <math>N</math>-particle [[Euclidean subspace|subspace]] of the total Fock space, and the situation could equally well be described by ordinary <math>N</math>-particle quantum mechanics.
For example, we can see that the free-boson Hamiltonian described above conserves particle number. Whenever the Hamiltonian operates on a state, each particle destroyed by an annihilation operator <math>a_k</math> is immediately put back by the creation operator <math>a_k^\dagger</math>.
On the other hand, it is possible, and indeed common, to encounter quantum states that are ''not'' eigenstates of <math>\hat{N}</math>, which do not have well-defined particle numbers. Such states are difficult or impossible to handle using ordinary quantum mechanics, but they can be easily described in quantum field theory as [[quantum superposition]]s of states having different values of <math>N</math>. For example, suppose we have a bosonic field whose particles can be created or destroyed by interactions with a fermionic field. The Hamiltonian of the combined system would be given by the Hamiltonians of the free boson and free fermion fields, plus a "potential energy" term such as
:<math>H_I = \sum_{k,q} V_q (a_q + a_{-q}^\dagger) c_{k+q}^\dagger c_k</math>,
where <math>a_k^\dagger</math> and <math>a_k</math> denotes the bosonic creation and annihilation operators, <math>c_k^\dagger</math> and <math>c_k</math> denotes the fermionic creation and annihilation operators, and <math>V_q</math> is a parameter that describes the strength of the interaction. This "interaction term" describes processes in which a fermion in state <math>k</math> either absorbs or emits a boson, thereby being kicked into a different eigenstate <math>k+q</math>. (In fact, this type of Hamiltonian is used to describe interaction between [[conduction electron]]s and [[phonon]]s in [[metal]]s. The interaction between electrons and [[photon]]s is treated in a similar way, but is a little more complicated because the role of [[spin (physics)|spin]] must be taken into account.) One thing to notice here is that even if we start out with a fixed number of bosons, we will typically end up with a superposition of states with different numbers of bosons at later times. The number of fermions, however, is conserved in this case.
In [[condensed matter physics]], states with ill-defined particle numbers are particularly important for describing the various [[superfluid]]s. Many of the defining characteristics of a superfluid arise from the notion that its quantum state is a superposition of states with different particle numbers.
=== Axiomatic approaches ===
The preceding description of quantum field theory follows the spirit in which most [[physicist]]s approach the subject. However, it is not [[rigour|mathematically rigorous]]. Over the past several decades, there have been many attempts to put quantum field theory on a firm mathematical footing by formulating a set of [[axiom]]s for it. These attempts fall into two broad classes.
The first class of axioms, first proposed during the 1950s, include the [[Wightman axioms|Wightman]], [[Osterwalder-Schrader theorem|Osterwalder-Schrader]], and [[Haag-Kastler]] systems. They attempted to formalize the physicists' notion of an "operator-valued field" within the context of [[functional analysis]], and enjoyed limited success. It was possible to prove that any quantum field theory satisfying these axioms satisfied certain general theorems, such as the [[spin-statistics theorem]] and the [[CPT symmetry|CPT theorem]]. Unfortunately, it proved extraordinarily difficult to show that any realistic field theory, including the [[Standard Model]], satisfied these axioms. Most of the theories that could be treated with these analytic axioms were physically trivial, being restricted to low-dimensions and lacking interesting dynamics. The construction of theories satisfying one of these sets of axioms falls in the field of [[constructive quantum field theory]]. Important work was done in this area in the 1970s by Segal, Glimm, Jaffe and others.
During the 1980s, a second set of axioms based on [[geometry|geometric]] ideas was proposed. This line of investigation, which restricts its attention to a particular class of quantum field theories known as [[topological quantum field theory|topological quantum field theories]], is associated most closely with [[Michael Atiyah]] and [[Graeme Segal]], and was notably expanded upon by [[Edward Witten]], [[Richard Borcherds]], and [[Maxim Kontsevich]]. However, most physically-relevant quantum field theories, such as the [[Standard Model]], are not topological quantum field theories; the quantum field theory of the [[Quantum Hall effect|fractional quantum Hall effect]] is a notable exception. The main impact of axiomatic topological quantum field theory has been on mathematics, with important applications in [[representation theory]], [[algebraic topology]], and [[differential geometry]].
Finding the proper axioms for quantum field theory is still an open and difficult problem in mathematics. One of the [[Millennium Prize Problems]]—proving the existence of a [[Yang-Mills existence and mass gap|mass gap in Yang-Mills theory]]—is linked to this issue.
== Phenomena associated with quantum field theory ==
In the previous part of the article, we described the most general properties of quantum field theories. Some of the quantum field theories studied in various fields of theoretical physics possess additional special properties, such as renormalizability, gauge symmetry, and supersymmetry. These are described in the following sections.
=== Renormalization ===
{{main|Renormalization}}
Early in the history of quantum field theory, it was found that many
seemingly innocuous calculations, such as the [[perturbation theory (quantum mechanics)|perturbative]] shift in the energy of an electron due to the presence of the electromagnetic field, give infinite results. The reason is that the perturbation theory for the shift in an energy involves a sum over all other energy levels, and there are infinitely many levels at short distances which each give a finite contribution.
Many of these problems are related to failures in [[classical electrodynamics]] that were identified but unsolved in the 19th century, and they basically stem from the fact that many of the supposedly "intrinsic" properties of an electron are tied to the electromagnetic field which it carries around with it. The energy carried by a single electron—its [[self energy]]—is not simply the bare value, but also includes the energy contained in its electromagnetic field, its attendant cloud of photons. The energy in a field of a spherical source diverges in both classical and quantum mechanics, but as discovered by [[Victor Weisskopf|Weisskopf]], in quantum mechanics the divergence is much milder, going only as the logarithm of the radius of the sphere.
The solution to the problem, presciently suggested by [[Ernst Stueckelberg|Stueckelberg]], independently by [[Hans Bethe|Bethe]] after the crucial experiment by [[Willis Lamb|Lamb]], implemented at one loop by [[Julian Schwinger|Schwinger]], and systematically extended to all loops by [[Richard Feynman|Feynman]] and [[Freeman Dyson|Dyson]], with converging work by [[Sin-Itiro Tomonaga|Tomonaga]] in isolated postwar Japan, is called [[renormalization]]. The technique of renormalization recognizes that the problem is essentially purely mathematical, that extremely short distances are at fault. In order to define a theory on a continuum, first place a [[cutoff]] on the fields, by postulating that quanta cannot have energies above some extremely high value. This has the effect of replacing continuous space by a structure where very short wavelengths do not exist, as on a lattice. Lattices break rotational symmetry, and one of the crucial contributions made by Feynman, Pauli and Villars, and modernized by [[Gerardus 't Hooft|'t Hooft]] and [[Martinus Veltman|Veltman]], is a symmetry preserving cutoff for perturbation theory. There is no known symmetrical cutoff outside of perturbation theory, so for rigorous or numerical work people often use an actual lattice.
On a lattice, every quantity is finite but depends on the spacing. When taking the limit of zero spacing, we make sure that the physically-observable quantities like the observed electron mass stay fixed, which means that the constants in the Lagrangian defining the theory depend on the spacing. Hopefully, by allowing the constants to vary with the lattice spacing, all the results at long distances become insensitive to the lattice, defining a continuum limit.
The renormalization procedure only works for a certain class of quantum field theories, called '''renormalizable quantum field theories'''. A theory is '''perturbatively renormalizable''' when the constants in the Lagrangian only diverge at worst as logarithms of the lattice spacing for very short spacings. The continuum limit is then well defined in perturbation theory, and even if it is not fully well defined non-perturbatively, the problems only show up at distance scales which are exponentially small in the inverse coupling for weak couplings. The [[Standard Model]] of [[particle physics]] is perturbatively renormalizable, and so are its component theories ([[quantum electrodynamics]]/[[electroweak interaction|electroweak theory]] and [[quantum chromodynamics]]). Of the three components, quantum electrodynamics is believed to not have a continuum limit, while the [[asymptotic freedom|asymptotically free]] SU(2) and SU(3) weak hypercharge and strong color interactions are nonperturbatively well defined.
The [[renormalization group]] describes how renormalizable theories emerge as the long distance low-energy [[effective field theory]] for any given high-energy theory. Because of this, renormalizable theories are insensitive to the precise nature of the underlying high-energy short-distance phenomena. This is a blessing because it allows physicists to formulate low energy theories without knowing the details of high energy phenomenon. It is also a curse, because once a renormalizable theory like the standard model is found to work, it gives very few clues to higher energy processes. The only way high energy processes can be seen in the standard model is when they allow otherwise forbidden events, or if they predict quantitative relations between the coupling constants.
=== Gauge freedom ===
A [[gauge theory]] is a theory that admits a [[Symmetry in physics|symmetry]] with a local parameter. For example, in every [[quantum mechanics|quantum]] theory the global [[Phase (waves)|phase]] of the [[wave function]] is arbitrary and does not represent something physical. Consequently, the theory is invariant under a global change of phases (adding a constant to the phase of all wave functions, everywhere); this is a [[global symmetry]]. In [[quantum electrodynamics]], the theory is also invariant under a ''local'' change of phase, that is - one may shift the phase of all [[wave function]]s so that the shift may be different at every point in [[space-time]]. This is a [[local symmetry]]. However, in order for a well-defined [[derivative]] operator to exist, one must introduce a new [[field (physics)|field]], the [[gauge field]], which also transforms in order for the local change of variables (the phase in our example) not to affect the derivative. In [[quantum electrodynamics]] this [[gauge field]] is the [[electromagnetic field]]. The change of local gauge of variables is termed [[gauge transformation]].
In quantum field theory the excitations of fields represent [[Elementary particle|particles]]. The particle associated with excitations of the [[gauge field]] is the [[gauge boson]], which is the [[photon]] in the case of [[quantum electrodynamics]].
The [[Degrees of freedom (physics and chemistry)|degrees of freedom]] in quantum field theory are local fluctuations of the fields. The existence of a [[gauge symmetry]] reduces the number of degrees of freedom, simply because some fluctuations of the fields can be transformed to zero by [[gauge transformation]]s, so they are equivalent to having no fluctuations at all, and they therefore have no physical meaning. Such fluctuations are usually called "non-physical degrees of freedom" or ''gauge artifacts''; usually some of them have a negative [[norm (mathematics)|norm]], making them inadequate for a consistent theory. Therefore, if a classical field theory has a gauge symmetry, then its quantized version (i.e. the corresponding quantum field theory) will have this symmetry as well. In other words, a gauge symmetry cannot have a quantum [[Anomaly (physics)|anomaly]]. If a gauge symmetry is [[Gauge anomaly|anomalous]] (i.e. not kept in the quantum theory) then the theory is non-consistent: for example, in [[quantum electrodynamics]], had there been a [[gauge anomaly]], this would require the appearance of [[photon]]s with [[Longitudinal wave|longitudinal]] [[polarization]] and [[polarization]] in the time direction, the latter having a negative [[norm (mathematics)|norm]], rendering the theory inconsistent; another possibility would be for these photons to appear only in intermediate processes but not in the final products of any interaction, making the theory non [[unitarity|unitary]] and again inconsistent (see [[optical theorem]]).
In general, the [[gauge transformation]]s of a theory consist several different transformations, which may not be [[commutative]]. These transformations are together described by a mathematical object known as a [[gauge group]]. [[Infinitesimal]] [[gauge transformation]]s are the [[gauge group]] [[Generator (mathematics)|generators]]. Therefore the number of [[gauge boson]]s is the group [[Dimension (vector space)|dimension]] (i.e. number of generators forming a [[Basis (linear algebra)|basis]]).
All the [[fundamental interaction]]s in nature are described by [[Gauge theory|gauge theories]]. These are:
* [[Quantum electrodynamics]], whose [[gauge transformation]] is a local change of phase, so that the [[gauge group]] is [[U(1)]]. The [[gauge boson]] is the [[photon]].
* [[Quantum chromodynamics]], whose [[gauge group]] is [[SU(3)]]. The [[gauge boson]]s are eight [[gluon]]s.
* The [[Weak interaction|electroweak Theory]], whose [[gauge group]] is <math>U(1)\times SU(2)</math> (a [[direct product]] of [[U(1)]] and [[SU(2)]]).
* [[Gravity]], whose classical theory is [[general relativity]], admits the equivalence principle which is a form of gauge symmetry.
=== Supersymmetry ===
[[Supersymmetry]] assumes that every fundamental [[fermion]] has a superpartner that is a [[boson]] and vice versa. It was introduced in order to solve the so-called [[Hierarchy Problem]], that is, to explain why particles not protected by any symmetry (like the [[Higgs boson]]) do not receive radiative corrections to its mass driving it to the larger scales (GUT, Planck...). It was soon realized that supersymmetry has other interesting properties: its gauged version is an extension of general relativity ([[Supergravity]]), and it is a key ingredient for the consistency of [[string theory]].
The way supersymmetry protects the hierarchies is the following: since for every particle there is a superpartner with the same mass, any loop in a radiative correction is cancelled by the loop corresponding to its superpartner, rendering the theory UV finite.
Since no superpartners have yet been observed, if supersymmetry exists it must be broken (through a so-called soft term, which breaks supersymmetry without ruining its helpful features). The simplest models of this breaking require that the energy of the superpartners not be too high; in these cases, supersymmetry is expected to be observed by experiments at the [[Large Hadron Collider]].
== See also ==
{{multicol}}
* [[List of quantum field theories]]
* [[Feynman path integral]]
* [[Quantum chromodynamics]]
* [[Quantum electrodynamics]]
* [[Quantum flavordynamics]]
* [[Quantum geometrodynamics]]
* [[Quantum magnetodynamics]]
* [[Schwinger-Dyson equation]]
{{multicol-break}}
* [[Relationship between string theory and quantum field theory]]
* [[Abraham-Lorentz force]]
* [[Photon polarization]]
* [[Theoretical and experimental justification for the Schrödinger equation]]
* [[Invariance mechanics]]
*[[Green–Kubo relations]]
*[[Green's function (many-body theory)]]
{{multicol-end}}
==Notes==
{{reflist}}
== Suggested reading ==
* Wilczek, Frank ; ''Quantum Field Theory'', Review of Modern Physics 71 (1999) S85-S95. Review article written by a master of Q.C.D., [http://nobelprize.org/physics/laureates/2004/wilczek-autobio.html ''Nobel laureate 2003'']. Full text available at : [http://fr.arxiv.org/abs/hep-th/9803075 ''hep-th/9803075'']
* Ryder, Lewis H. ; ''Quantum Field Theory '' (Cambridge University Press, 1985), [ISBN 0-521-33859-X]. Introduction to relativistic Q.F.T. for particle physics.
* Zee, Anthony ; ''Quantum Field Theory in a Nutshell'', Princeton University Press (2003) [ISBN 0-691-01019-6].
* Peskin, M and Schroeder, D. ;''An Introduction to Quantum Field Theory'' (Westview Press, 1995) [ISBN 0-201-50397-2]
* Weinberg, Steven ; ''The Quantum Theory of Fields'' (3 volumes) Cambridge University Press (1995). A monumental treatise on Q.F.T. written by a leading expert, [http://nobelprize.org/physics/laureates/1979/weinberg-lecture.html ''Nobel laureate 1979''].
* Loudon, Rodney ; ''The Quantum Theory of Light'' (Oxford University Press, 1983), [ISBN 0-19-851155-8]
*{{cite book | author=Greiner, Walter and Müller, Berndt | title=Gauge Theory of Weak Interactions | publisher=Springer | year=2000 | id=ISBN 3-540-67672-4}}
*[[Paul Frampton| Paul H. Frampton ]], ''Gauge Field Theories'', Frontiers in Physics, Addison-Wesley (1986), Second Edition, Wiley (2000).
*{{cite book | author=Gordon L. Kane | title=Modern Elementary Particle Physics | publisher=Perseus Books | year=1987 | id=ISBN 0-201-11749-5}}
*[[Hagen Kleinert|Kleinert, Hagen]], ''Multivalued Fields in in Condensed Matter, Electrodynamics, and Gravitation'', [http://www.worldscibooks.com/physics/6742.html World Scientific (Singapore, 2008)] (also available [http://www.physik.fu-berlin.de/~kleinert/re.html#B9 online])
==External links==
* Siegel, Warren ; [http://insti.physics.sunysb.edu/%7Esiegel/errata.html ''Fields''] (also available from [[arXiv:hep-th/9912205]])
* 't Hooft, Gerard ; ''The Conceptual Basis of Quantum Field Theory'', Handbook of the Philosophy of Science, Elsevier (to be published). Review article written by a master of gauge theories, [http://nobelprize.org/physics/laureates/1999/thooft-autobio.html''Nobel laureate 1999'']. Full text available in [http://www.phys.uu.nl/~thooft/lectures/basisqft.pdf''pdf''].
* Srednicki, Mark ; [http://gabriel.physics.ucsb.edu/~mark/qft.html ''Quantum Field Theory'']
* Kuhlmann, Meinard ; [http://plato.stanford.edu/entries/quantum-field-theory/ ''Quantum Field Theory''], Stanford Encyclopedia of Philosophy
* Quantum field theory textbooks: [http://motls.blogspot.com/2006/01/qft-didactics.html a list with links to amazon.com]
{{Physics-footer}}
[[Category:Quantum field theory| ]]
[[Category:Quantum mechanics]]
[[Category:Mathematical physics]]
[[Category:Fundamental physics concepts]]
[[be-x-old:Квантавая тэорыя поля]]
[[ca:Teoria quàntica de camps]]
[[cs:Kvantová teorie pole]]
[[da:Kvantefeltteori]]
[[de:Quantenfeldtheorie]]
[[es:Teoría cuántica de campos]]
[[fa:نظریه میدانهای کوانتومی]]
[[fr:Théorie quantique des champs]]
[[gl:Teoría Cuántica de campos]]
[[ko:양자 마당 이론]]
[[it:Teoria quantistica dei campi]]
[[he:תורת השדות הקוונטית]]
[[lt:Kvantinė lauko teorija]]
[[hu:Kvantumtérelmélet]]
[[ms:Teori medan kuantum]]
[[nl:Kwantumveldentheorie]]
[[ja:場の量子論]]
[[no:Kvantefeltteori]]
[[pl:Kwantowa teoria pola]]
[[pt:Teoria quântica de campos]]
[[ru:Квантовая теория поля]]
[[sk:Kvantová teória poľa]]
[[sl:Kvantna teorija polja]]
[[fi:Kvanttikenttäteoria]]
[[sv:Kvantfältteori]]
[[uk:Квантова теорія поля]]
[[zh:量子场论]]