Assume and take . The free Gaussian integral gives , and the normalized free Gaussian measure has covariance . Expanding only the interaction exponential gives the asymptotic expansion
In this zero-dimensional scalar field theory, the path integral has become an ordinary integral, but its combinatorics are precisely those of sextic scalar field theory.
The free generating functional is . Differentiating it proves Wick theorem: odd moments vanish, while each even moment is the sum over pairings of its factors. Each Wick contraction contributes , so
Thus the Feynman rules are a quantum field theory propagator for each internal line and a factor for each six-valent interaction vertex. The factorials and remove vertex and half-edge labels; the remaining weight is , where is the Feynman-diagram symmetry factor, the order of the automorphism group of the resulting diagram, including its half-edge symmetries. A tadpole diagram has an additional interchange symmetry of the two ends of its loop.
There is one empty Vacuum Feynman diagram, contributing . At one interaction vertex, the six half-edges form three loops. Its Feynman-diagram symmetry factor is , so its contribution is .
At two interaction vertices let count the lines joining them. Each interaction vertex has self-loops, so can only be . These four possibilities exhaust all Vacuum Feynman diagrams at this order. Their Feynman-diagram symmetry factors are
Here the leading exchanges the two interaction vertices, permutes the joining lines, and the remaining factors permute and reverse the self-loops. The graph is disconnected and must be included in ; only a connected generating functional would discard it.
Figure 1. . The empty diagram, the one-interaction vertex diagram, and the four two-interaction vertex diagrams, with their Feynman-diagram symmetry factors. Details.
Consequently,
Indeed , independently agreeing with from Wick theorem.
This is an asymptotic expansion, rather than a convergent perturbation series: the coefficient of contains and grows too rapidly for a nonzero radius of convergence. For any fixed truncation order, the Taylor expansion remainder bound for on , followed by the finite Gaussian moment integral, proves the stated remainder estimate. For negative real the original integral diverges.

Articles by others on the same topic (0)

There are currently no matching articles.