Gauge-invariant observables and physical-state space
Define representation-specific Wilson loops and physical-state conditions while separating Higgs and confinement statements from gauge choices.
On this page
The question for today
What you’ll understand
- Normalize and reverse an oriented Wilson loop in a specified representation.
- Relate Gauss constraints and BRST classes under their respective domain assumptions.
- State when area laws and gauge-fixed Higgs expectations provide valid physical evidence.
A gauge-fixed connection is useful for calculation, but a physical statement must identify an invariant observable or a carefully defined state class. Local curvature traces, matter operators joined by transporters, and closed Wilson loops offer different probes. Their interpretation depends on representation, boundaries, matter content, and the quantum state. This final lesson connects those definitions to physical-state constraints, then separates useful perturbative descriptions of Higgs physics from genuinely nonperturbative statements about confinement and a mass gap.
Specify the trace, representation, and orientation
For an oriented closed curve C, use the path ordering and plus-i-g transport convention already established. Divide the trace in representation R by its dimension so the identity holonomy gives one. Gauge transformations conjugate the based holonomy, leaving its trace invariant. Reversing orientation in a unitary representation replaces the matrix by its inverse and complex-conjugates the normalized trace. Some representations have real characters, which can hide this orientation change in the trace without making the holonomy matrices equal.
Representation matters physically. The same group element has different traces in the SU(2) fundamental and adjoint representations; a center element acts nontrivially in one and trivially in the other. An open line still needs endpoint matter or boundary data to form an invariant. A local trace of curvature is another invariant but does not contain all global loop information. One measured loop value therefore does not uniquely reconstruct a connection or its full gauge orbit.
Constrain states without measuring a gauge label
In canonical language, Gauss constraints generate the gauge transformations treated as redundancies and restrict physical states. Transformations that act nontrivially on boundaries can instead carry physical charges, so the allowed transformation class must be declared. In anomaly-free perturbative BRST quantization, closed states modulo exact states supply a corresponding physical construction under domain and positivity assumptions. These statements are compatible tools in their regimes, not an automatic identification of every elementary colored Fock state with an observable particle.
A Higgs field expectation written in a chosen gauge can organize weak-coupling masses, but it is not itself a gauge-invariant local order parameter. In a gauge-invariant lattice measure, local gauge-nonsinglet expectations vanish by group averaging. Physical masses and responses must be characterized through invariant correlators or other observables. Higgs and confinement descriptions can even be analytically connected in certain fundamental-scalar gauge theories; that result has model and parameter-domain assumptions and is not a universal equivalence of all phases.
Make confinement diagnostics conditional
In a suitable zero-temperature pure gauge theory, a large Euclidean rectangular fundamental Wilson loop can extract a static-source potential through its long-time exponential. A linearly rising potential gives an area term with string tension, after accounting for perimeter and other corrections. With dynamical fundamental matter, string breaking can screen the sources and change the asymptotic interpretation. Thus an area law is not an unconditional diagnostic transferable to every representation or matter content.
A classical field configuration, a gauge-fixed propagator, and a nilpotent perturbative algebra each supply useful information but do not prove the exact strong-coupling spectrum. The Clay Mathematics Institute still listed the four-dimensional quantum Yang-Mills existence and mass-gap problem as unsolved when consulted on 18 October 2026. That mathematical problem is distinct from numerical or experimental evidence and from every particular confinement criterion. Keeping these statements separate prevents a successful calculation within one approximation from becoming an unsupported universal conclusion.
Work it through
One holonomy in two representations
An SU(2) closed holonomy is with in the fundamental. Find its normalized fundamental trace, inverse-path matrix, and normalized adjoint trace.
The fundamental eigenvalues are and . Their normalized sum is zero, so .
Reversing the path gives , a different matrix with the same zero trace. This equality of traces is consistent with the real SU(2) fundamental character.
The adjoint eigenvalues are , namely one, minus one, minus one. Their normalized sum is . The same group holonomy therefore gives different invariant traces in different representations.
The fundamental Wilson value is zero, its reverse matrix is different but has the same trace, and the adjoint Wilson value is minus one third.
The living notebook
Explore the model
Interactive lab · quantum
A state picture cannot supply a loop trace
Reset and set mixing angle ninety degrees and phase zero, then compare a fresh Reset run at ninety degrees and phase 180 degrees. Predict equal basis probabilities but opposite Bloch x. This illustrates different coherences of prepared states; it does not measure a Wilson-loop trace, implement Gauss constraints, compute a gauge-invariant Higgs spectrum, or test confinement.
- Probability |0⟩
- 71.1%
- Probability |1⟩
- 28.9%
- Bloch (x, y, z)
- 0.78, 0.45, 0.42
A normalized two-level pure state, not an interacting field simulation. Playback adds one radian per second to the relative phase; basis probabilities stay fixed. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forA pure-state probability display is not a substitute for defining the gauge-invariant observable and quantum measure being tested.
Pause & reason
Check your understanding
Your turn
Try it yourself
In a toy unscreened static-source regime let , , and . Neglect all corrections. Estimate V and the loop expectation, then explain why adding light fundamental matter invalidates a universal extrapolation.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Check that both sigma R and sigma R T have the expected units before exponentiating.
Compare with the solution
The potential estimate is . Its Euclidean exponent is , dimensionless, so the model gives . The numbers are stipulated toy parameters. Light fundamental matter can screen the sources through pair production and string breaking, so extending the same unscreened linear potential to arbitrarily large R would require new justification. This estimate does not establish a continuum mass gap.
Keep the idea
Take it with you
- Gauge-invariant observables retain representation, orientation, state, and boundary information.
- Higgs descriptions and BRST physical classes require their stated gauge and domain qualifications.
- Confinement diagnostics and the mathematical mass-gap problem are distinct strong-coupling questions.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.