Exact Symmetries, Broken Spacetime Symmetries, and Restoration

A lattice action preserves only transformations that map its regulated variables, measure, boundaries, and couplings into themselves. Internal symmetries can often remain exact, while continuous translations and rotations are reduced to a discrete space group. Continuum restoration is demonstrated by tuning every relevant symmetry-breaking coupling allowed by the regulator and by showing that several untuned, renormalized observables approach the target Ward identities and representation degeneracies with the predicted cutoff scaling. Agreement at one spacing is never sufficient.

Required background. Lattice Regulators and Target Continuum Theories supplies the finite-regulator specification. What Is a Symmetry of a QFT? distinguishes physical symmetry actions from redundancies and accidental invariance.

Helpful background. Relevant, Marginal, and Irrelevant Directions explains why some breaking operators require tuning. Symmetry-Protected Operators, Currents, and Improvement supplies the operator-mixing and current-renormalization framework.

Exact regulator symmetries and reduced spacetime groups

For an isotropic infinite hypercubic lattice, the spacetime symmetry is the semidirect product of discrete translations with the hypercubic point group. In $d$ dimensions the point group consists of signed permutations of the coordinate axes. A finite box or open boundary reduces it further. The classification must therefore be performed for the actual geometry rather than for an ideal infinite lattice.

For the nearest-neighbor scalar,

$$S_a=a^d\sum_x\left[ \frac12\sum_\mu(\nabla_\mu^+\phi_x)^2 +\frac12m_0^2\phi_x^2 +\frac{\lambda_0}{4!}\phi_x^4 \right],$$

the following transformations are exact on a periodic isotropic box:

• translations by integer lattice vectors;
• hypercubic rotations and reflections compatible with the box;
• the internal $\mathbb Z_2$ transformation $\phi_x\mapsto-\phi_x$; and
• complex conjugation, trivially for a real field.

Generic continuous translations and $SO(d)$ rotations are not defined as maps of the site set. An anisotropic lattice distinguishes time and space; unequal spatial spacings can reduce the point group again. Boundary conditions can break translations while leaving a subgroup of reflections intact.

Symmetry and regulator conventions. The page uses a flat Euclidean hypercubic lattice and the site-wide conventions. “Exact” means exact for the action, measure, domain, and boundary data at finite $a$; “restored” means a target symmetry emerges in specified renormalized observables along a continuum trajectory. Gauge redundancy, anomalies, and target supersymmetry require their own definitions and are not inferred from this terminology.

The distinction is operational. If a transformation $R$ is exact, then for an invariant measure

$$\langle\mathcal O[\phi]\rangle_a =\langle\mathcal O[R\phi]\rangle_a$$

at every spacing, up to statistical and numerical error. For a broken target rotation $R\notin H(d)$, equality is expected only after matching physical separations and taking $a\to0$.

Regulator symmetry determines operator mixing

Renormalization can mix local operators that share all exact regulator quantum numbers. Continuum spin is therefore not the correct finite-$a$ label. A continuum $SO(d)$ representation generally decomposes, or subduces, into irreducible representations of the lattice point group. Distinct continuum spins may contain the same lattice representation and can mix until rotational symmetry is restored. The four-dimensional cubic rotation–reflection representations are classified explicitly by Mandula, Zweig, and Govaerts 1983, pp. 91–108.

Schematically, for a set of lattice operators $\mathcal O_i^a$ in one lattice irrep $a$,

$$\mathcal O_{R,i}^a(\mu) =\sum_j Z_{ij}^a(a\mu,\mathbf g_0)\, \mathcal O_{0,j}^a(a).$$

Exact symmetries force $Z$ to be block diagonal between inequivalent irreps; they do not generally diagonalize mixing within a block. If a lower-dimension operator lies in the same block, its coefficient may carry a power divergence and require explicit subtraction. Classifying only by the desired continuum spin can therefore miss the most dangerous allowed mixing.

The Symanzik effective action organizes the same information at the action level:

$$S_{\mathrm{eff}} =S_{\mathrm{target}} +\sum_k a^{\Delta_k-d} c_k(a\mu,\mathbf g_0) \int\mathrm d^dx\,\mathcal Q_k(x).$$

Every $\mathcal Q_k$ must respect the exact lattice symmetries, not the symmetries one hopes to recover. Operators with $\Delta_k\le d$ can require tuning; irrelevant terms control cutoff effects. The allowed set and coefficient scaling, rather than the elegance of the lattice action, determine the restoration program Symanzik 1983, Part I, §§2–4.

A rotational-restoration benchmark

The free scalar inverse propagator has the expansion

$$G_a^{-1}(p) =m_0^2+p^{[2]}-\frac{a^2}{12}p^{[4]}+O(a^4p^{[6]}), \qquad p^{[n]}\equiv\sum_\mu p_\mu^n.$$

$p^{[2]}=p^2$ is rotationally invariant, while $p^{[4]}$ is only hypercubic invariant. Two momenta with equal $p^2$ but different $p^{[4]}$ therefore have different propagators at finite $a$. In two dimensions, choose

$$p_A=(q,0), \qquad p_D=\left(\frac q{\sqrt2},\frac q{\sqrt2}\right).$$

Then

$$p_A^{[4]}=q^4, \qquad p_D^{[4]}=\frac{q^4}{2},$$

and

$$G_a^{-1}(p_A)-G_a^{-1}(p_D) =-\frac{a^2q^4}{24}+O(a^4q^6).$$

This splitting is an exactly checkable restoration observable. At fixed physical $q$ and matched renormalized mass, it must vanish as $a^2$ for the standard action. A comparison at one spacing proves only that the splitting is small there. A fit across several spacings tests the scaling law, while a second action with a different leading artifact tests whether the common continuum value is formulation independent.

Position-space data provide a distinct check. Compare a renormalized two-point function at on-axis and near-diagonal separations matched to the same physical $r$. Interpolation and differing lattice vectors introduce their own errors, so the momentum- and position-space tests are not identical repetitions.

Ward identities, spectra, and restoration evidence

A convincing program uses at least two observables sensitive to different possible failures.

Target structure	Finite-$a$ test	Continuum evidence	Main confounder
Rotation symmetry	Equal-$p^2$ directional splitting	Splitting vanishes with predicted powers after matching	Unequal physical momenta or anisotropy mistuning
Continuous translations	Momentum conservation modulo reciprocal vectors; position dependence near boundaries	Bulk observables become origin independent; lattice artifacts vanish	Boundary-state contamination
Internal current symmetry	Exact or broken lattice Ward identity	Renormalized current identity and charge normalization agree	Contact terms and current mixing
Multiplet degeneracy	Energies in lattice irreps	States subduced from one continuum irrep become degenerate	Finite volume and accidental crossings
Supersymmetric target	Exact lattice subalgebra when present; broken Ward identities	Multiple Ward identities, boson–fermion relations, and tuned continuum agreement	Sign problem, flat directions, mistuned relevant operators

For a transformation $\delta\phi=\epsilon\Delta\phi$, changing variables in the regulated integral gives

$$\left\langle\delta\mathcal O\right\rangle_a -\left\langle\mathcal O\,\delta S_a\right\rangle_a +\left\langle\mathcal O\,\delta\log J_a\right\rangle_a=0.$$

If the measure Jacobian $J_a$ and action are invariant, this is an exact finite-regulator Ward identity. If the target transformation is broken, $\delta S_a$ contains breaking operators whose matrix elements should scale according to their tuned coefficients. Contact terms, boundary terms, and operator renormalization remain part of the identity; dropping them can manufacture apparent restoration.

Spectral degeneracy offers an independent route because it probes transfer eigenvalues rather than only local correlation identities. The comparison must use states assigned to the correct lattice irreps and control avoided crossings, finite-volume shifts, and operator-basis overlap.

Restoration, emergence, and accidental agreement

Three claims should remain distinct.

Restoration along a known target trajectory. The regulator was designed for a declared target symmetry; all allowed relevant breakings are tuned; multiple observables approach the target relations.

Emergent symmetry. The infrared fixed point has a larger symmetry than the microscopic regulator. Establishing this requires the RG and operator-spectrum evidence appropriate to Critical Surfaces, Crossover, and Corrections to Scaling, not merely small lattice anisotropy.

Accidental finite-spacing agreement. One ratio or degeneracy is small because coefficients cancel at a particular bare coupling. A second observable or another spacing can expose the accident.

The distinction is especially important for supersymmetric lattice constructions. A lattice formulation with an exact scalar supersymmetry but additional continuum-restoration obligations provides a concrete example Catterall 2005. This volume treats the finite-regulator subalgebra, allowed breaking terms, tuning, Ward identities, and continuum diagnostics. The target supersymmetry algebra, component multiplets, closure, protected observables, and duality consequences belong to Component Multiplets and Closure Conditions and the rest of the supersymmetry volume. A restored lattice Ward identity alone does not establish a protected-sector or duality claim.

Adversarial failure cases

Tuning with the same observable later used as validation. The tuned observable is guaranteed to agree by construction. Reserve at least one Ward identity, directional splitting, or spectral relation as a held-out test.

A symmetry channel omitted from the mixing basis. If the regulator allows a lower-dimension operator, setting its coefficient to zero in a fit is not evidence that it is absent. Enumerate operators from exact lattice quantum numbers.

Restoration inferred at fixed lattice momentum index. Holding the integer mode $n$ fixed while changing both $a$ and $L$ need not hold physical $p=2\pi n/L$ fixed. Match physical momenta before comparing directional splittings.

Boundary breaking mistaken for bulk cutoff breaking. Open boundaries break translations at every $a$. Move operators away from the boundary and vary the physical distance to distinguish boundary-state contamination from bulk restoration.

Exact subgroup mistaken for the full target group. Preserving one scalar supercharge, a discrete chiral subgroup, or the hypercubic group is valuable but does not imply restoration of the complete continuum algebra.

The map below locates symmetry restoration in the complete finite-regulator chain. Exact lattice transformations constrain the action and operator basis; directional dispersion and correlator comparisons test, rather than define, the recovered continuum spacetime symmetry.

Geometry and action data jointly determine finite-regulator propagation. Periodic, twisted, open, and anisotropic choices cannot share one momentum or dispersion formula without translation. The continuum expansion is a tested limit, not an identification at finite spacing. The diagram is schematic and not to scale.

Observable-level validation checklist

For a restoration claim, require:

• the exact symmetry group of the action, measure, constraints, and boundaries;
• a complete list of relevant or marginal breaking operators allowed by that group;
• independent renormalized conditions for every required tuning;
• at least two held-out tests with different operator content;
• several lattice spacings at matched physical volume and renormalized parameters;
• a fit form justified by the allowed Symanzik operators, including logarithms when relevant;
• finite-volume, boundary, and anisotropy effects varied separately;
• representation assignments made in lattice irreps before continuum interpretation; and
• agreement with a second discretization or formulation when the claim is consequential.

Exercises

1. Hypercubic invariants. Show that $p^{[4]}=\sum_\mu p_\mu^4$ is invariant under signed permutations but not under a generic rotation. Construct two momenta with equal $p^2$ and unequal $p^{[4]}$ in three dimensions.

Solution

Signed permutations only reorder the fourth powers, so their sum is fixed. A generic rotation mixes components and does not preserve the fourth-power sum. For example, $(q,0,0)$ and $(q/\sqrt3,q/\sqrt3,q/\sqrt3)$ both have norm $q$, while their $p^{[4]}$ values are $q^4$ and $q^4/3$.

2. Design two independent tests. For an anisotropic scalar lattice, propose one dispersion test and one position-space test of rotational restoration, and name a distinct confounder for each.

Solution

Compare transfer energies at matched $\mathbf p^2$ for on-axis and diagonal momenta; bare-to-renormalized anisotropy mistuning is the main confounder. Separately compare renormalized correlators at matched physical distances along inequivalent lattice directions; interpolation and unequal boundary distance are confounders. Agreement of both after independent control is stronger than either alone.

What you can now do

You should now be able to classify observables by exact lattice symmetries, identify allowed mixing and tuning terms, and design multiple held-out tests of continuum restoration. Continue with Reflection Positivity and Transfer-Matrix Criteria to determine when a Euclidean discretization also supports a positive-state transfer interpretation.

References

• Catterall, Simon. “Lattice Formulation of $\mathcal N=4$ Super Yang–Mills Theory.” Journal of High Energy Physics 2005, no. 06 (2005): 027. doi:10.1088/1126-6708/2005/06/027.
• Mandula, Jeffrey E., George Zweig, and James Govaerts. “Representations of the Rotation Reflection Symmetry Group of the Four-Dimensional Cubic Lattice.” Nuclear Physics B 228, no. 1 (1983): 91–108. doi:10.1016/0550-3213(83)90399-1.
• Symanzik, Kurt. “Continuum Limit and Improved Action in Lattice Theories. I. Principles and $\phi^4$ Theory.” Nuclear Physics B 226, no. 1 (1983): 187–204. doi:10.1016/0550-3213(83)90468-6.

Further reading

• Wilson, Kenneth G. “Confinement of Quarks.” Physical Review D 10, no. 8 (1974): 2445–2459. doi:10.1103/PhysRevD.10.2445.