Partition Function (quantum Field Theory)
   HOME

TheInfoList



OR:

In
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
, partition functions are generating functionals for correlation functions, making them key objects of study in the path integral formalism. They are the
imaginary time Imaginary time is a mathematical representation of time which appears in some approaches to special relativity and quantum mechanics. It finds uses in connecting quantum mechanics with statistical mechanics and in certain cosmological theories. M ...
versions of
statistical mechanics In physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. It does not assume or postulate any natural laws, but explains the macroscopic be ...
partition functions, giving rise to a close connection between these two areas of physics. Partition functions can rarely be solved for exactly, although free theories do admit such solutions. Instead, a
perturbative In quantum mechanics, perturbation theory is a set of approximation schemes directly related to mathematical perturbation for describing a complicated quantum system in terms of a simpler one. The idea is to start with a simple system for whi ...
approach is usually implemented, this being equivalent to summing over
Feynman diagram In theoretical physics, a Feynman diagram is a pictorial representation of the mathematical expressions describing the behavior and interaction of subatomic particles. The scheme is named after American physicist Richard Feynman, who introduc ...
s.


Generating functional


Scalar theories

In a d-dimensional field theory with a real
scalar field In mathematics and physics, a scalar field is a function (mathematics), function associating a single number to every point (geometry), point in a space (mathematics), space – possibly physical space. The scalar may either be a pure Scalar ( ...
\phi and
action Action may refer to: * Action (narrative), a literary mode * Action fiction, a type of genre fiction * Action game, a genre of video game Film * Action film, a genre of film * ''Action'' (1921 film), a film by John Ford * ''Action'' (1980 fil ...
S
phi Phi (; uppercase Φ, lowercase φ or ϕ; grc, ϕεῖ ''pheî'' ; Modern Greek: ''fi'' ) is the 21st letter of the Greek alphabet. In Archaic and Classical Greek (c. 9th century BC to 4th century BC), it represented an aspirated voicele ...
/math>, the partition function is defined in the path integral formalism as the
functional Functional may refer to: * Movements in architecture: ** Functionalism (architecture) ** Form follows function * Functional group, combination of atoms within molecules * Medical conditions without currently visible organic basis: ** Functional sy ...
: Z = \int \mathcal D\phi \ e^ where J(x) is a fictitious source current. It acts as a generating functional for arbitrary n-point correlation functions : G_n(x_1, \dots, x_n) = (-1)^n \frac \frac\bigg, _. The derivatives used here are
functional derivative In the calculus of variations, a field of mathematical analysis, the functional derivative (or variational derivative) relates a change in a functional (a functional in this sense is a function that acts on functions) to a change in a function on ...
s rather than regular derivatives since they are acting on functionals rather than regular functions. From this it follows that an equivalent expression for the partition function reminiscent to a
power series In mathematics, a power series (in one variable) is an infinite series of the form \sum_^\infty a_n \left(x - c\right)^n = a_0 + a_1 (x - c) + a_2 (x - c)^2 + \dots where ''an'' represents the coefficient of the ''n''th term and ''c'' is a const ...
in source currents is given by : Z = \sum_\frac\int \prod^n_ d^dx_i G(x_1, \dots, x_n) J(x_1)\cdots J(x_n). In curved spacetimes there is an added subtlety that must be dealt with due to the fact that the initial
vacuum state In quantum field theory, the quantum vacuum state (also called the quantum vacuum or vacuum state) is the quantum state with the lowest possible energy. Generally, it contains no physical particles. The word zero-point field is sometimes used as ...
need not be the same as the final vacuum state. Partition functions can also be constructed for composite operators in the same way as they are for fundamental fields. Correlation functions of these operators can then be calculated as functional derivatives of these functionals. For example, the partition function for a composite operator \mathcal O(x) is given by : Z_ = \int \mathcal D \phi e^. Knowing the partition function completely solves the theory since it allows for the direct calculation of all of its correlation functions. However, there are very few cases where the partition function can be calculated exactly. While free theories do admit exact solutions, interacting theories generally do not. Instead the partition function can be evaluated at weak
coupling A coupling is a device used to connect two shafts together at their ends for the purpose of transmitting power. The primary purpose of couplings is to join two pieces of rotating equipment while permitting some degree of misalignment or end mov ...
perturbatively, which amounts to regular perturbation theory using Feynman diagrams. By performing a Wick transformation, the partition function can be expressed in Euclidean spacetime as : Z = \int \mathcal D\phi \ e^, where S_E is the Euclidean action and x_E are Euclidean coordinates. This form is closely connected to the partition function in statistical mechanics, especially since the Euclidean
Lagrangian Lagrangian may refer to: Mathematics * Lagrangian function, used to solve constrained minimization problems in optimization theory; see Lagrange multiplier ** Lagrangian relaxation, the method of approximating a difficult constrained problem with ...
is usually bounded from below in which case it can be interpreted as an
energy In physics, energy (from Ancient Greek: ἐνέργεια, ''enérgeia'', “activity”) is the quantitative property that is transferred to a body or to a physical system, recognizable in the performance of work and in the form of heat a ...
density. It also allows for the interpretation of the exponential factor as a statistical weight for the field configurations, with larger fluctuations in the gradient or field values leading to greater suppression. This connection with statistical mechanics also lends additional intuition for how correlation functions should behave in a quantum field theory.


General theories

Most of the same principles of the scalar case hold for more general theories with additional fields. Each field requires the introduction of its own fictitious current, with
antiparticle In particle physics, every type of particle is associated with an antiparticle with the same mass but with opposite physical charges (such as electric charge). For example, the antiparticle of the electron is the positron (also known as an antie ...
fields requiring their own separate currents. Acting on the partition function with a derivative of a current brings down its associated field from the exponential, allowing for the construction of arbitrary correlation functions. After differentiation, the currents are set to zero when correlation functions in a vacuum state are desired, but the currents can also be set to take on particular values to yield correlation functions in non-vanishing background fields. For partition functions with
Grassmann Hermann Günther Grassmann (german: link=no, Graßmann, ; 15 April 1809 – 26 September 1877) was a German polymath known in his day as a linguistics, linguist and now also as a mathematician. He was also a physicist, general scholar, and publi ...
valued fermion fields, the sources are also Grassmann valued. For example, a theory with a single
Dirac fermion In physics, a Dirac fermion is a spin-½ particle (a fermion) which is different from its antiparticle. The vast majority of fermions – perhaps all – fall under this category. Description In particle physics, all fermions in the standard model ...
\psi(x) requires the introduction of two Grassmann currents \eta and \bar \eta so that the partition function is : Z bar \eta, \eta= \int \mathcal D \bar \psi \mathcal D \psi \ e^. Functional derivatives with respect to \bar \eta give fermion fields while derivatives with respect to \eta give anti-fermion fields in the correlation functions.


Thermal field theory

A
thermal field theory In theoretical physics, thermal quantum field theory (thermal field theory for short) or finite temperature field theory is a set of methods to calculate expectation values of physical observables of a quantum field theory at finite temperature. ...
at
temperature Temperature is a physical quantity that expresses quantitatively the perceptions of hotness and coldness. Temperature is measured with a thermometer. Thermometers are calibrated in various temperature scales that historically have relied o ...
T is equivalent in Euclidean formalism to a theory with a compactified temporal direction of length \beta = 1/T. Partition functions must be modified appropriately by imposing periodicity conditions on the fields and the Euclidean spacetime integrals : Z beta,J= \int \mathcal D\phi e^\bigg, _. This partition function can be taken as the definition of the thermal field theory in imaginary time formalism. Correlation functions are acquired from the partition function through the usual functional derivatives with respect to currents : G_(x_1, \dots, x_n) = \frac\bigg, _.


Free theories

The partition function can be solved exactly in free theories by
completing the square : In elementary algebra, completing the square is a technique for converting a quadratic polynomial of the form :ax^2 + bx + c to the form :a(x-h)^2 + k for some values of ''h'' and ''k''. In other words, completing the square places a perfe ...
in terms of the fields. Since a shift by a constant does not affect the path integral
measure Measure may refer to: * Measurement, the assignment of a number to a characteristic of an object or event Law * Ballot measure, proposed legislation in the United States * Church of England Measure, legislation of the Church of England * Mea ...
, this allows for separating the partition function into a constant of proportionality N arising from the path integral, and a second term that only depends on the current. For the scalar theory this yields : Z_0 = N \exp\bigg(-\frac\int d^d x d^d y \ J(x)\Delta_F(x-y)J(y)\bigg), where \Delta_F(x-y) is the position space Feynman propagator : \Delta_F(x-y) = \int \frac\frace^. This partition function fully determines the free field theory. In the case of a theory with a single free Dirac fermion, completing the square yields a partition function of the form : Z_0 bar \eta, \eta= N \exp\bigg(\int d^d x d^d y \ \bar \eta(y) \Delta_D(x-y) \eta(x)\bigg), where \Delta_D(x-y) is the position space Dirac propagator : \Delta_D(x-y) = \int \frac\frace^.


References


Further reading

* Ashok Das, ''Field Theory: A Path Integral Approach'', 2nd edition, World Scientific (Singapore, 2006); paperback . * Kleinert, Hagen, ''Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets'', 4th edition, World Scientific (Singapore, 2004); paperback {{ISBN, 981-238-107-4 '' (also available online
PDF-files
''. *
Jean Zinn-Justin (2009), ''Scholarpedia'', 4(2): 8674
Quantum field theory