Diagrammatics and Symmetry Factors

A Feynman graph is the quotient of a labeled Wick-contraction pattern by relabelings that leave its incidence data unchanged. The Taylor coefficients in the Dyson expansion and the factorials in a conventionally normalized interaction cancel most labelings; the residual overcount is the order of the graph’s automorphism group. For a graph $G$ with labeled external legs, its coefficient is therefore $1/S_G$ with $S_G=|\operatorname{Aut}G|$, provided the vertex factorials and field species used to define the graph are stated.

Required background. Wick Expansion for Interacting Fields supplies the labeled contractions whose quotient is taken here.

From a contraction pattern to a graph

For a polynomial interaction, construct a graph by the following reversible bookkeeping steps:

1. make one vertex for each interaction insertion and preserve its interaction type;
2. make one half-edge for each field occurrence at that insertion;
3. join two half-edges when the corresponding fields are contracted;
4. attach a labeled external half-edge when a contraction ends at an external insertion; and
5. retain field species, arrow orientation, Lorentz or internal indices, and derivative labels.

Vertices and internal lines are integration variables, not localized physical events and particle trajectories. A graph records which propagators and tensors are multiplied and which variables are integrated. Weinberg’s operator derivation passes explicitly from pairings to vertices, internal lines, and external lines Weinberg 1995, § 6.1, pp. 261–266.

Two labeled contraction patterns give the same graph when a relabeling of indistinguishable internal data preserves every incidence and decoration. External insertions are held fixed unless the observable itself symmetrizes them. This qualification is decisive: forgetting labels can create a spurious automorphism and an incorrect factor.

Why the residual factor is an automorphism

Consider a real scalar interaction

$$\mathcal L_{\mathrm{int}} =-\frac{\lambda}{4!}\phi^4.$$

At order $V$, the expansion begins with

$$\frac{1}{V!}\left(-\frac{i\lambda}{4!}\right)^V \int\prod_{a=1}^{V}\mathrm d^d z_a.$$

The $V!$ removes arbitrary orderings of indistinguishable vertices, while each $4!$ removes arbitrary orderings of the four identical field slots at a vertex. If the graph has no symmetry, the Wick contractions regenerate all these labelings and the net coefficient is one. When a nontrivial relabeling regenerates the same labeled-external graph, those contractions have been counted repeatedly; dividing by the number of such relabelings leaves

$$\boxed{S_G=|\operatorname{Aut}G|}, \qquad \text{graph weight}=\frac{1}{S_G}.$$

Schwartz derives the same cancellation between interaction normalization and identical-line permutations Schwartz 2014, § 7.2, pp. 84–93. The formula is compact, but its group is the automorphism group of the decorated graph: different fields, arrow directions, external labels, or vertex types cannot be exchanged.

Equivalently, if $N_G$ labeled contractions produce one chosen decorated graph at order $V$, direct counting gives

$$\frac{N_G}{V!\,(4!)^V}=\frac{1}{S_G}$$

in $\phi^4$ theory. This identity is often the safest way to determine $S_G$: the number of loops alone never fixes it, because different decorations and external labels can break different automorphisms.

Three scalar checks

One-loop tadpole in the two-point function

At one $\phi^4$ vertex, connect labeled external points $x$ and $y$ to the vertex and contract the remaining two fields with each other. There are

$$4\times3=12$$

labeled contractions. Multiplication by $1/4!$ gives $12/24=1/2$, hence $S_G=2$. Graphically, the only nontrivial automorphism exchanges the two half-edges forming the self-loop.

One-vertex vacuum figure-eight

Pair the four fields at one vertex into two self-loops. There are $(4-1)!!=3$ pairings, so

$$\frac{3}{4!}=\frac18.$$

Here $S_G=8$: each loop may be flipped, giving $2\times2$, and the two identical loops may be exchanged, giving another factor $2$. This graph is source independent and cancels from normalized correlators, but its combinatorics remains a useful check.

One-loop four-point bubble

At second order, attach two labeled external legs to each vertex and join the two remaining slots at one vertex to the two remaining slots at the other. For a fixed external channel, the only internal automorphism exchanges the two parallel internal lines, so $S_G=2$. Direct counting agrees: after including the two assignments of the external pair to the two integration vertices, the labeled contractions cancel all Taylor and vertex factorials except $1/2$.

Graph with labeled external legs	Residual automorphism	$S_G$	Coefficient
two-point tadpole	flip the self-loop	$2$	$1/2$
one-vertex vacuum figure-eight	flip either loop; exchange the loops	$8$	$1/8$
four-point one-loop bubble in a fixed channel	exchange the parallel internal lines	$2$	$1/2$

These examples also expose a practical rule: compute one low-order coefficient directly from Wick contractions before trusting a graphical mnemonic.

Connected components and repeated subgraphs

If a full diagram contains $n_\alpha$ indistinguishable copies of a connected component $C_\alpha$, permutations of those copies add a factor $n_\alpha!$ to the symmetry group. Schematically,

$$S_{\bigsqcup_\alpha n_\alpha C_\alpha} =\prod_\alpha n_\alpha!\,S_{C_\alpha}^{n_\alpha},$$

when the components have no shared external labels and the decorations match. This product formula is the combinatorial mechanism behind exponentiation of connected vacuum diagrams. Srednicki derives the $\prod_I n_I!$ factor and the resulting exponential in Srednicki 2007, § 9, p. 76.

For correlators, external labels usually distinguish components and forbid their exchange. For scattering of identical particles, state normalization and the later phase-space symmetry factor are separate from a graph’s internal $S_G$; applying both without checking their origins can double-divide the result.

A reproducible symmetry-factor procedure

For a new graph:

1. write the normalized interaction monomial, including every explicit factorial;
2. label all external insertions and all field species;
3. count the Wick contractions that yield the chosen decorated topology;
4. multiply by the Taylor and vertex coefficients;
5. independently enumerate graph automorphisms with external labels fixed; and
6. require the two methods to agree.

For mixed fields, first ask which half-edges are genuinely interchangeable. For an interaction $-g\phi^2\chi/2!$, the two $\phi$ slots may be exchanged but the $\chi$ slot cannot. For an oriented fermion line, reversing an arrow is not an automorphism unless the field content and conventions specifically identify the reversed graph.

Common pitfalls

Using the topology of an undecorated sketch. Species, arrows, derivative attachments, color tensors, and external labels can break apparent symmetries. The automorphism group belongs to the fully decorated graph.

Multiplying by a symmetry factor instead of dividing. $S_G$ counts how many labeled contractions collapsed to the same graph after the action’s factorials were included; the residual graph coefficient is $1/S_G$.

Mixing graph symmetry with identical-particle phase space. A diagram’s automorphisms organize perturbative contractions. Dividing a final-state phase-space integral by $n!$ is a separate statement about state counting.

Check your understanding

For an interaction $-g\phi^2\chi/2$, compute the symmetry factor of a $\chi$ two-point graph made from two vertices and two parallel $\phi$ lines. Use both automorphisms and direct contraction counting.

Solution

With the external $\chi$ insertions fixed, the only nontrivial automorphism exchanges the two parallel $\phi$ lines, so $S_G=2$. Directly, the $1/2!$ from the Dyson expansion is canceled by the two assignments of the labeled external $\chi$ legs to the two integration vertices. At each vertex the two identical $\phi$ slots can be assigned to the two internal lines in $2!$ ways, canceling the two factors $1/2$ from the interaction. The exchange of the two internal contractions has then been counted twice, leaving the coefficient $1/2$.

Where to continue

• Translate the decorated graph into an integral: Momentum-Space Feynman Rules supplies propagators, vertex deltas, and loop measures.
• Track graded signs separately from $S_G$: Fermion Signs and Closed Loops fixes external ordering and the minus per closed fermion loop.
• Understand repeated connected components: Connected, Disconnected, and Vacuum Diagrams derives vacuum exponentiation and correlator partitions.

References

• Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge: Cambridge University Press, 2014. DOI.
• Srednicki, Mark. Quantum Field Theory. Cambridge: Cambridge University Press, 2007. DOI.
• Weinberg, Steven. The Quantum Theory of Fields, Volume I: Foundations. Cambridge: Cambridge University Press, 1995. First edition; 2005 paperback, 2012 printing consulted. DOI.