Registry · Definition IV.D157 tau-effective formalized

IV.D157 — Wilson Loop

The Wilson loop W(gamma) = (1/3) Tr U(gamma) is the gauge-invariant trace of the holonomy around a closed path gamma, serving as the order parameter for confinement: area-law decay signals the confining phase.

Book IV Part 5 Ch. 38

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.WilsonLoop