Jan Dereziński, Christian Gérard
DiagrammaticsThe diagrammatic method is one of the most powerful tools of theoretical physics.It allows us to efficiently organize perturbative computations in statistical physics, quantum many-body theory and quantum field theory.The main feature of this method is a representation of individual terms of a perturbative expansion as diagrams (graphs).Diagrams consist of vertices representing terms in the perturbation, lines representing pairings between vertices and, possibly, external legs.There exist several kinds of diagrams.We will try to present them in a systematic way.In Sect.20.1 we present a diagrammatic formalism whose goal is to organize integration of polynomials with respect to a Gaussian measure.This formalism is used extensively in classical statistical physics.It also plays an important role in quantum physics, especially in the Euclidean approach, since many quantum quantities can be expressed in terms of Gaussian integrals over classical variables.We use the term "Gaussian integration" in a rather broad sense.Beside commuting "bosonic" variables, we also consider anti-commuting "fermionic" variables, where we use the Berezin integral with respect to a Gaussian weight.Even in the case of commuting variables, the "Gaussian integral" is not necessarily meant in the sense of measure theory.It denotes an algebraic operation performed on polynomials (or formal power series), which in the case of a positive definite covariance coincides with the usual integral with a Gaussian weight.However, we allow the covariance to be complex, or even negative definite, and do not insist that the operation have a measure theoretic meaning.We distinguish two kinds of spaces on which we perform the integrals: real and complex.As in many other places in our work, we treat these two cases in parallel.Of course, the difference between the real (i.e.neutral), and the complex (i.e.charged) formalism is mainly that of a different notation.In particular, charged lines need to be equipped with an arrow, whereas neutral lines need not.The terminology that we use is inspired by quantum field theory.Therefore, the variables that enter the integral are associated with "particles"; they are divided into "bosons" and "fermions", each subdivided into "neutral" and "charged" particles.In the main part of the chapter we describe the diagram formalism used in quantum many-body physics and quantum field theory.As a preparation, we include a brief Sect.20.2 devoted to the basic terminology of perturbation theory
Cambridge University Press eBooks•Nov 4, 2022•0 citations