---
title: "Why can the comparison rule interact with itself?"
description: "Derive Yang–Mills self-interactions from noncommuting matrices, then calculate vector masses in the Abelian Higgs model."
canonical_url: "https://sandboxphysics.com/stories/gauge-effective-theory/yang-mills-higgs/"
language: "en"
page_type: "story"
alternate_languages:
  zh-CN: "https://sandboxphysics.com/zh/stories/gauge-effective-theory/yang-mills-higgs/"
last_modified: "2026-10-26"
---

[Gauge theory and EFT](https://sandboxphysics.com/stories/gauge-effective-theory/)

L2 · Chapter 3

# Why can the comparison rule interact with itself?

Sandbox Physics · 2026-10-26

A field with several internal components needs matrices to compare neighboring sites. Their multiplication can depend on order, allowing a gauge field to interact with itself. A nonzero matter-field amplitude can also turn its covariant kinetic term into a vector mass term.

## Before you begin

Chapters 1–2, multiplication of two-by-two matrices, Hermitian conjugation and differentiation. The Higgs example requires reading the coefficient of a squared field. The particle and charge assignments of the Standard Model are outside this minimal model.

[Review the preceding prerequisite](https://sandboxphysics.com/stories/gauge-effective-theory/covariant-derivative-ward/)

- Find a nonzero field strength from a matrix commutator.
- Read an Abelian vector mass from the kinetic term.
- Count physical degrees of freedom across the Higgs mechanism.

## Order carries information

Rotate an arrow about a horizontal axis and then a vertical axis. Reversing the order usually gives a different direction. Matrices acting in an internal space can behave similarly. A single complex phase has commuting multiplication, called Abelian; noncommuting comparison matrices give a non-Abelian theory.

For a two-component field, use $SU(2)$ matrices. Write $A_\mu=A_\mu^aT^a$ with $T^a=\sigma^a/2$, half the Pauli matrices. They obey $[T^1,T^2]=iT^3$. The index $a$ labels a direction in the internal space.

$$
D_\mu=\partial_\mu-igA_\mu,\qquad F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu-ig[A_\mu,A_\nu]
$$

Choose positive coupling and background amplitude. In this natural-unit convention the coupling is in the covariant derivative. The commutator records the difference between orders of matrix comparison.

Source: David Tong

## Constant potentials can produce a field

A spatially constant electromagnetic potential has zero curl. Non-Abelian potentials have another contribution: their commutator. Choose $A_x=aT^1$ and $A_y=aT^2$. Every ordinary derivative vanishes, but $F_{xy}=ga^2T^3$.

Squaring this field strength in the field energy produces fourth-order terms in the potentials; cross terms with derivatives give third-order terms. These are gauge self-interactions. The example identifies their algebraic origin without assuming this background solves a chosen source-free boundary problem.

$$
-ig[aT^1,aT^2]=-ig\,a^2(iT^3)=ga^2T^3
$$

Zero ordinary derivatives do not guarantee a zero non-Abelian field strength.

Constant comparison potentials with commuting and noncommuting matrices.

| Comparison rule | Order difference | Field in this example |
| --- | --- | --- |
| One complex phase | $[A_x,A_y]=0$ | $F_{xy}=0$ |
| $SU(2)$ | $[aT^1,aT^2]=ia^2T^3$ | $F_{xy}=ga^2T^3$ |

## A vector mass from a matter background

Return to an Abelian model with one complex scalar. Its potential $V=\lambda(|\phi|^2-v^2/2)^2$ is minimized at a nonzero modulus. The scale $v$ has mass dimension one; $\lambda>0$ is dimensionless. Write the field in terms of an amplitude fluctuation $h$ and a phase $\theta/v$.

Substitution into the covariant kinetic term gives the two squares below. The first describes amplitude variations; the second combines the phase gradient and potential. Choosing a locally vanishing phase exposes $g^2v^2A_\mu A^\mu/2$, a vector mass term, so $m_A=gv$.

$$
\phi=\frac{v+h}{\sqrt2}e^{i\theta/v},\qquad |D_\mu\phi|^2=\frac12(\partial_\mu h)^2+\frac12g^2(v+h)^2\left(A_\mu-\frac{\partial_\mu\theta}{gv}\right)^2
$$

The scalar, phase variable and background scale have mass dimension one. The phase in the exponential is dimensionless.

$$
m_A=gv,\qquad m_h=\sqrt{2\lambda}\,v
$$

The scalar mass comes from the quadratic potential term; the vector mass comes from the covariant kinetic term.

## A numerical example and a count of modes

Take $g=0.4$, $v=3\,\mathrm{TeV}$ and $\lambda=0.5$. The vector mass is $1.2\,\mathrm{TeV}$ and the amplitude mass is $3.0\,\mathrm{TeV}$. Halving only the gauge coupling halves the vector mass and leaves the scalar mass fixed. The background amplitude alone does not determine every mass.

Initially, a massless vector has two transverse polarizations and a complex scalar has two real degrees of freedom. In the local massive description, the vector has three polarizations and one amplitude fluctuation remains. The total is four in either description. The phase degree of freedom supplies the longitudinal vector polarization.

Gauge redundancy remains valid. The common phrase “broken gauge symmetry” should not be read as an observable breaking of local redundancy. The calculation here is a local expansion near a uniform background; defects and global gauge patches require additional tools.

## Try the reasoning in an experiment

### [Establish the Abelian comparison first](https://sandboxphysics.com/labs/gauge-links/)

1. Predict whether reversing the multiplication order of two phase links changes the loop.
2. Redistribute link phases at fixed total and record the loop.
3. Explain why this result cannot be transferred to matrix links. Construct a pair of noncommuting matrices as a counterexample; this Lab demonstrates Abelian transport.

## Exercises and explanations

1. For constant $A_x=aT^1$ and $A_y=bT^1$, is the field strength still nonzero?

   Read the explanation

   It vanishes in this constant background. Both potentials point along the same internal generator and commute. A non-Abelian theory permits self-interactions without requiring every background to have a nonzero commutator.

2. What happens to the example’s masses if $v$ doubles?

   Read the explanation

   Both masses double when the dimensionless couplings remain fixed. Both are proportional to the background scale.

3. Can a plot of a scalar expectation value alone prove observable breaking of local gauge redundancy?

   Read the explanation

   No. Scalar components depend on the gauge choice. Compare invariant quantities, mass spectra or correlation functions. Here the mass terms and mode count explain the mechanism.

[Previous: Why does an ordinary derivative miss the same physical state?](https://sandboxphysics.com/stories/gauge-effective-theory/covariant-derivative-ward/) [Next: How do you calculate the influence of a particle you cannot produce?](https://sandboxphysics.com/stories/gauge-effective-theory/heavy-field-matching/)

## Sources and reproduced scope

Derivations, tables and the plot are authored for this course. The reading locations below separate source results from our teaching extensions. Numerical examples are model references or labeled synthetic observations. No experimental dataset or source figure is copied.

1. [David Tong, Gauge Theory (2018 lecture notes)](https://www.damtp.cam.ac.uk/user/tong/gaugetheory/gt.pdf)

   Sections 2.1–2.1.3 (connections and Wilson loops), 2.7.3 (Higgs phase), 3.1.1–3.2.2 (two-dimensional anomaly and Ward identities), 4.2.1 (link endpoints) and 4.3.1–4.3.3 (lattice fermions). Printed pages 26–37, 105–108, 122–139, 207–210, 220–228.

2. [Aneesh V. Manohar, Introduction to Effective Field Theories, arXiv:1804.05863v1 (2018)](https://arxiv.org/html/1804.05863v1)

   Sections 3.5 and 4 (integrating out and power counting), 5.5–5.7 (matching), 5.10.1, PDF equations (5.51)–(5.60) (QCD running and operator mixing), and 6.2–6.3 (field redefinitions). The scalar-channel examples are derived for this course. The known-log boundary expansion checks truncation of the published running factors; it does not calculate finite hard matching.