Wick's theorem is a method of reducing high-order derivatives to a combinatorics problem. It is named after Italian physicist Gian-Carlo Wick. It is used extensively in quantum field theory to reduce arbitrary products of creation and annihilation operators to sums of products of pairs of these operators. This allows for the use of Green's function methods, and consequently the use of Feynman diagrams in the field under study. A more general idea in probability theory is Isserlis' theorem.
In perturbative quantum field theory, Wick's theorem is used to quickly rewrite each time ordered summand in the Dyson series as a sum of normal ordered terms. In the limit of asymptotically free ingoing and outgoing states, these terms correspond to Feynman diagrams.
For two operators and we define their contraction to be
where denotes the normal order of an operator . Alternatively, contractions can be denoted by a line joining and , like .
We shall look in detail at four special cases where and are equal to creation and annihilation operators. For particles we'll denote the creation operators by and the annihilation operators by .
They satisfy the commutation relations for bosonic operators , or the anti-commutation relations for fermionic operators where denotes the Kronecker delta.
We then have
where .
These relationships hold true for bosonic operators or fermionic operators because of the way normal ordering is defined.
We can use contractions and normal ordering to express any product of creation and annihilation operators as a sum of normal ordered terms. This is the basis of Wick's theorem. Before stating the theorem fully we shall look at some examples.
Suppose and are bosonic operators satisfying the commutation relations:
where , denotes the commutator, and is the Kronecker delta.
We can use these relations, and the above definition of contraction, to express products of and in other ways.
Note that we have not changed but merely re-expressed it in another form as
In the last line we have used different numbers of symbols to denote different contractions.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
The goal of the course is to introduce relativistic quantum field theory as the conceptual and mathematical framework describing fundamental interactions such as Quantum Electrodynamics.
This course is an introduction to the non-perturbative bootstrap approach to Conformal Field Theory and to the Gauge/Gravity duality, emphasizing the fruitful interplay between these two ideas.
In quantum field theory, correlation functions, often referred to as correlators or Green's functions, are vacuum expectation values of time-ordered products of field operators. They are a key object of study in quantum field theory where they can be used to calculate various observables such as S-matrix elements. They are closely related to correlation functions between random variables, although they are nonetheless different objects, being defined in Minkowski spacetime and on quantum operators.
In physics, the S-matrix or scattering matrix relates the initial state and the final state of a physical system undergoing a scattering process. It is used in quantum mechanics, scattering theory and quantum field theory (QFT). More formally, in the context of QFT, the S-matrix is defined as the unitary matrix connecting sets of asymptotically free particle states (the in-states and the out-states) in the Hilbert space of physical states.
Creation operators and annihilation operators are mathematical operators that have widespread applications in quantum mechanics, notably in the study of quantum harmonic oscillators and many-particle systems. An annihilation operator (usually denoted ) lowers the number of particles in a given state by one. A creation operator (usually denoted ) increases the number of particles in a given state by one, and it is the adjoint of the annihilation operator.