## Finite-dimensional Feynman Diagrams

Feature Column Archive

### 6. Calculations with a potential function, Feynman Rules''

The integrals of interest in Physics have the form

which we rewrite using the series expansion for the exponential as

If Uis a polynomial in the coordinate functions v1, ...vd,then each term in thesum of integrals is a sum of m-point functions, and can be evaluated by our method, which can be written symbolically as:

Example: This example is formally like the  theory.'' We take and analyze

using the abbreviation = as before.

Let us compute the terms of degree 2 in .

These terms will involve 6 derivatives; their sum is:

By Wick's Theorem we can rewrite this sum as

where the inside sum is taken over all pairings (i1,i2),(i3,i4)(i5i6)of i, j, k, i', j', k'.

These pairings can also be represented by graphs, very much in thesame way that we used for m-point functions: there will be one trivalentvertexfor each ufactor, and one edge for each A-1. In this case therewill be exactly two distinct graphs, accordingas the number of (unprimed, primed) index pairs is 1 or 3.

The dumbbell'' and the theta''are the two 3-valent 2-vertex graphs.

Summing over all possible labellings of these graphs will give someduplication, since each graph has symmetries that make differentlabellings correspond to the same pairing.

All eight of these labelings correspond to the same product: u123 u456 A-113 A-125 A-146.

All six of these labelings, and their six left-right mirror images,correspond to the same product:u123 u456 A-114 A-125 A-136.

The dumbbell'' graphhas an automorphism (symmetry) group of order eight, whereas the theta'' graphhas an automorphism group of order twelve.

Keeping this in mind, we may rewrite the coefficient of as:

where the sum is taken over the set of the topologically distinct trivalent graphs with two vertices (in this case, 2), the products are taken over the set of all vertices v (here there are 2) and the set of all edges e (here there are 3) respectively, and |AutG| is the number of automorphisms of the graph G.

In general, the Feynman rules'' for computing the coefficient of in the expansion of ZUare stated in exactly this way,except that the sum is over trivalent graphs with 2n vertices(and 3nedges).