1. Préliminaires : qu'est-ce qu'une jauge ?1. Preliminaries: what is a gauge?

Commençons par le cas le plus simple, sans aucun prérequis. En mécanique quantique, l'état d'un électron est décrit par une fonction d'onde complexe $\psi(x)$. Toute quantité observable dépend de $|\psi|^2$. Multiplier $\psi$ par une phase constante $e^{i\alpha}$ ne change donc rien de mesurable.Start with the simplest case, assuming nothing. In quantum mechanics an electron's state is a complex wavefunction $\psi(x)$. Every observable depends on $|\psi|^2$. Multiplying $\psi$ by a constant phase $e^{i\alpha}$ therefore changes nothing measurable.

Voici la question de Weyl, reprise par Yang et Mills : et si la phase pouvait varier d'un point à l'autre ? Exigeons queHere is Weyl's question, later taken up by Yang and Mills: what if the phase could vary from point to point? Demand that

$$\psi(x) \;\longmapsto\; e^{i\alpha(x)}\,\psi(x)$$

laisse la physique invariante. Le problème apparaît immédiatement dans la dérivée : $\partial_\mu\psi$ ne se transforme plus proprement, car la règle de Leibniz produit un terme parasite $i(\partial_\mu\alpha)\psi$. La seule façon de réparer cela est d'introduire un champ compensateur $A_\mu$ et de remplacer la dérivée ordinaire par la dérivée covariante :leaves the physics invariant. The problem shows up immediately in the derivative: $\partial_\mu\psi$ no longer transforms cleanly, because the Leibniz rule produces a spurious term $i(\partial_\mu\alpha)\psi$. The only way to repair this is to introduce a compensating field $A_\mu$ and replace the ordinary derivative by the covariant derivative:

$$D_\mu = \partial_\mu + i g A_\mu, \qquad A_\mu \longmapsto A_\mu - \tfrac{1}{g}\partial_\mu\alpha$$

Les phases $e^{i\alpha}$ forment le groupe $U(1)$ : un cercle. Deux phases commutent toujours, $e^{i\alpha}e^{i\beta}=e^{i\beta}e^{i\alpha}$. On dit que $U(1)$ est abélien. Toute l'électrodynamique découle de ce cercle.The phases $e^{i\alpha}$ form the group $U(1)$: a circle. Two phases always commute, $e^{i\alpha}e^{i\beta}=e^{i\beta}e^{i\alpha}$. We say $U(1)$ is abelian. All of electrodynamics follows from that circle.

2. De Maxwell à Yang–Mills : la non-commutativité2. From Maxwell to Yang–Mills: non-commutativity

En 1954, Chen Ning Yang et Robert Mills posent une question d'une simplicité désarmante : et si le groupe n'était pas un cercle, mais quelque chose de plus gros — $SU(2)$, $SU(3)$ — dont les éléments ne commutent pas ?In 1954, Chen Ning Yang and Robert Mills asked a disarmingly simple question: what if the group were not a circle but something bigger — $SU(2)$, $SU(3)$ — whose elements do not commute?

Le champ de jauge devient alors matriciel : $A_\mu = A_\mu^a T^a$, où les $T^a$ sont les générateurs de l'algèbre de Lie. Leur non-commutativité est encodée par les constantes de structure $f^{abc}$ :The gauge field then becomes matrix-valued: $A_\mu = A_\mu^a T^a$, where the $T^a$ are the Lie-algebra generators. Their non-commutativity is encoded by the structure constants $f^{abc}$:

$$[T^a, T^b] = i f^{abc} T^c$$

La conséquence est spectaculaire. Le tenseur de champ acquiert un terme supplémentaire, quadratique dans le champ lui-même :The consequence is spectacular. The field-strength tensor acquires an extra term, quadratic in the field itself:

$$F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu + i g\,[A_\mu, A_\nu]$$

3. L'action et les équations du mouvement3. The action and the field equations

L'action de Yang–Mills est la plus simple quantité invariante de jauge et invariante de Lorentz que l'on puisse former avec $F_{\mu\nu}$ :The Yang–Mills action is the simplest gauge-invariant, Lorentz-invariant quantity one can build from $F_{\mu\nu}$:

$$S_{\rm YM} = -\frac{1}{4}\int d^4x\; F^a_{\mu\nu}F^{a\,\mu\nu}$$

Notons un point souvent survivé en implantation numérique : cette action est quadratique en $F$. Si l'on remplace $F \to \lambda F$, alors $S \to \lambda^2 S$. C'est un test élémentaire mais redoutablement efficace pour valider un solveur (nous l'utilisons comme test de régression dans pysic-rs).One point that is often lost in numerical implementations: this action is quadratic in $F$. Replacing $F \to \lambda F$ gives $S \to \lambda^2 S$. That is an elementary but ruthlessly effective check on a solver — we use exactly this as a regression test in pysic-rs.

La variation de l'action donne les équations du mouvement. Elles ressemblent aux équations de Maxwell, avec une différence décisive : la dérivée est covariante, donc l'équation est non linéaire.Varying the action gives the field equations. They resemble Maxwell's equations with one decisive difference: the derivative is covariant, so the equation is non-linear.

$$D_\mu F^{\mu\nu} = \partial_\mu F^{\mu\nu} + ig[A_\mu, F^{\mu\nu}] = J^\nu$$

4. Histoire : 1954–20004. History: 1954–2000

1954. Yang présente la théorie à Princeton. Wolfgang Pauli l'interrompt : « Quelle est la masse de ce champ ? » Yang n'a pas de réponse. La théorie prédit des bosons de jauge sans masse, comme le photon — mais on n'observe aucune force de portée infinie autre que l'électromagnétisme et la gravitation. Pauli insiste si durement que Yang s'assoit. L'article paraît néanmoins, et reste pendant une décennie une curiosité mathématique.1954. Yang presents the theory at Princeton. Wolfgang Pauli interrupts: “What is the mass of this field?” Yang has no answer. The theory predicts massless gauge bosons, like the photon — yet no infinite-range force is observed beyond electromagnetism and gravity. Pauli presses so hard that Yang sits down. The paper is published anyway and remains, for a decade, a mathematical curiosity.

1964. Higgs, Englert et Brout montrent qu'un champ scalaire peut donner une masse aux bosons de jauge sans briser l'invariance de jauge. L'objection de Pauli reçoit sa réponse.1964. Higgs, Englert and Brout show that a scalar field can give mass to gauge bosons without breaking gauge invariance. Pauli's objection finally has an answer.

1971–72. 't Hooft et Veltman démontrent la renormalisabilité des théories de jauge non abéliennes brisées. La théorie devient calculable.1971–72. 't Hooft and Veltman prove that broken non-abelian gauge theories are renormalisable. The theory becomes computable.

1973. Gross, Wilczek et Politzer découvrent la liberté asymptotique : dans Yang–Mills, le couplage diminue à haute énergie. C'est l'inverse de l'électrodynamique, et cela explique pourquoi les quarks semblent libres dans les collisions violentes tout en restant confinés au repos. Prix Nobel 2004.1973. Gross, Wilczek and Politzer discover asymptotic freedom: in Yang–Mills the coupling decreases at high energy. This is the opposite of electrodynamics, and it explains why quarks look free in violent collisions while remaining confined at rest. Nobel Prize 2004.

2000. L'institut Clay inscrit le gap de masse de Yang–Mills parmi les sept problèmes du millénaire. L'énoncé officiel est rédigé par Arthur Jaffe et Edward Witten. Il reste ouvert.2000. The Clay Institute lists the Yang–Mills mass gap among its seven Millennium Problems. The official statement is written by Arthur Jaffe and Edward Witten. It remains open.

5. Le gap de masse : l'énoncé exact5. The mass gap: the exact statement

Le problème demande deux choses, et il est essentiel de les distinguer.The problem asks for two things, and it is essential to keep them apart.

(i) L'existence. Construire une théorie quantique des champs de Yang–Mills sur $\mathbb{R}^4$ pour un groupe de jauge compact simple, satisfaisant les axiomes de Wightman (ou d'Osterwalder–Schrader). Autrement dit : montrer que l'objet dont les physiciens calculent les prédictions depuis cinquante ans existe en tant qu'objet mathématique bien défini.(i) Existence. Construct a quantum Yang–Mills field theory on $\mathbb{R}^4$ for a compact simple gauge group, satisfying the Wightman (or Osterwalder–Schrader) axioms. In other words: show that the object whose predictions physicists have been computing for fifty years exists as a well-defined mathematical object.

(ii) Le gap. Démontrer qu'il existe une constante $\Delta > 0$ telle que tout état non vide ait une énergie au moins $\Delta$. Le spectre de l'hamiltonien doit avoir un trou au-dessus du vide :(ii) The gap. Prove there exists a constant $\Delta > 0$ such that every non-vacuum state has energy at least $\Delta$. The Hamiltonian's spectrum must have a hole above the vacuum:

$$\operatorname{spec}(H) \subseteq \{0\} \cup [\Delta, \infty), \qquad \Delta > 0$$

6. Liberté asymptotique et instantons6. Asymptotic freedom and instantons

Le couplage de Yang–Mills dépend de l'échelle d'énergie. Au premier ordre :The Yang–Mills coupling depends on the energy scale. To one loop:

$$\alpha_s(Q) = \frac{1}{b_0\,\ln(Q^2/\Lambda^2)}, \qquad b_0 = \frac{33 - 2 n_f}{12\pi}$$

Le signe de $b_0$ change tout. Pour $n_f < 16{,}5$ saveurs de quarks, $b_0 > 0$ et le couplage décroît quand $Q$ croît. C'est la liberté asymptotique. Inversement, à basse énergie le couplage explose vers $\Lambda \approx 200$ MeV — là où la théorie des perturbations meurt et où le confinement commence.The sign of $b_0$ changes everything. For $n_f < 16.5$ quark flavours, $b_0 > 0$ and the coupling decreases as $Q$ grows. That is asymptotic freedom. Conversely, at low energy the coupling blows up towards $\Lambda \approx 200$ MeV — precisely where perturbation theory dies and confinement begins.

Les instantons sont des solutions classiques de l'équation euclidienne, auto-duales ($F = \tilde F$), qui font tunneler le vide d'un secteur topologique à un autre. Leur action est remarquablement simple :Instantons are classical solutions of the Euclidean equation, self-dual ($F = \tilde F$), which tunnel the vacuum from one topological sector to another. Their action is remarkably simple:

$$S_{\rm inst} = \frac{8\pi^2}{g^2}, \qquad \text{amplitude} \sim e^{-S_{\rm inst}} = e^{-8\pi^2/g^2}$$

7. Charge topologique et vides θ7. Topological charge and θ-vacua

Le vide de Yang–Mills n'est pas unique. Les configurations de jauge se rangent en secteurs étiquetés par un entier — la charge topologique, ou nombre d'enroulement :The Yang–Mills vacuum is not unique. Gauge configurations fall into sectors labelled by an integer — the topological charge, or winding number:

$$Q = \frac{g^2}{32\pi^2}\int d^4x\; \epsilon^{\mu\nu\rho\sigma}F^a_{\mu\nu}F^a_{\rho\sigma} \;\in\; \mathbb{Z}$$

Cette quantification n'est pas un accident de calcul : elle vient de la topologie. Un enroulement ne peut pas changer continuûment. C'est exactement le même mécanisme que le nombre d'enroulement d'une courbe plane ou la charge d'un skyrmion — des objets que pysic-rs calcule directement et que nous validons contre leurs valeurs exactes.This quantisation is not a computational accident: it comes from topology. A winding cannot change continuously. It is exactly the same mechanism as the winding number of a plane curve, or a skyrmion's charge — objects pysic-rs computes directly and which we validate against their exact values.

Puisque tous les secteurs sont physiquement accessibles par tunneling, le vrai vide est une superposition pondérée par un angle $\theta$ : $|\theta\rangle = \sum_n e^{in\theta}|n\rangle$. Cet angle autorise un terme violant CP dans le lagrangien. Or l'expérience impose $|\theta| < 10^{-10}$. Pourquoi si petit ? C'est le problème CP fort, un second mystère ouvert né de la même structure topologique.Since all sectors are physically reachable by tunnelling, the true vacuum is a superposition weighted by an angle $\theta$: $|\theta\rangle = \sum_n e^{in\theta}|n\rangle$. That angle permits a CP-violating term in the Lagrangian. Experiment, however, requires $|\theta| < 10^{-10}$. Why so small? This is the strong CP problem, a second open mystery born of the same topological structure.

8. Le lien avec le Higgs8. The Higgs connection

Il faut ici dissiper une confusion très répandue. Le mécanisme de Higgs et le gap de masse de Yang–Mills donnent tous deux une masse, mais ce sont des phénomènes distincts.A very common confusion needs clearing up here. The Higgs mechanism and the Yang–Mills mass gap both produce mass, but they are distinct phenomena.

Le Higgs agit par brisure spontanée de symétrie. Un champ scalaire acquiert une valeur moyenne dans le vide, $\langle\phi\rangle = v \approx 246$ GeV, et les bosons de jauge « mangent » les degrés de liberté de Goldstone pour devenir massifs : $m_W = \tfrac12 g v$. C'est perturbatif, calculable, et c'est ce qui a été confirmé au LHC en 2012.The Higgs works by spontaneous symmetry breaking. A scalar field acquires a vacuum expectation value, $\langle\phi\rangle = v \approx 246$ GeV, and the gauge bosons “eat” the Goldstone degrees of freedom to become massive: $m_W = \tfrac12 g v$. This is perturbative, computable, and it is what the LHC confirmed in 2012.

Le gap de Yang–Mills n'a besoin d'aucun champ scalaire. Dans la QCD pure, sans aucun Higgs, la théorie génère elle-même une échelle de masse — la transmutation dimensionnelle. Le lagrangien classique ne contient aucune masse, il est invariant d'échelle ; la théorie quantique produit néanmoins $\Lambda \approx 200$ MeV et un glueball à 1,6 GeV. C'est ce phénomène, purement non perturbatif, que personne ne sait démontrer.The Yang–Mills gap needs no scalar field at all. In pure QCD, with no Higgs whatsoever, the theory generates its own mass scale — dimensional transmutation. The classical Lagrangian contains no mass and is scale-invariant; the quantum theory nonetheless produces $\Lambda \approx 200$ MeV and a glueball at 1.6 GeV. It is this purely non-perturbative phenomenon that nobody knows how to prove.

9. Le lien avec les ondes gravitationnelles à haute fréquence9. The high-frequency gravitational-wave connection

LIGO et Virgo observent des ondes gravitationnelles entre 10 Hz et quelques kHz — des fusions d'objets compacts. Les ondes gravitationnelles à haute fréquence (HFGW), au-delà du MHz, sont d'une autre nature : aucun objet astrophysique connu ne rayonne là. Toute détection y serait la signature de physique fondamentale, et plusieurs sources candidates sont directement de nature Yang–Mills.LIGO and Virgo observe gravitational waves between 10 Hz and a few kHz — compact-object mergers. High-frequency gravitational waves (HFGW), above the MHz, are a different animal: no known astrophysical object radiates there. Any detection would be a signature of fundamental physics, and several candidate sources are directly Yang–Mills in nature.

La raison est une question d'échelle. Une transition de phase dans l'univers primordial à une température $T$ produit un fond d'ondes gravitationnelles dont la fréquence aujourd'hui vaut, en ordre de grandeur,The reason is a matter of scale. A phase transition in the early universe at temperature $T$ produces a gravitational-wave background whose frequency today is, in order of magnitude,

$$f_0 \;\sim\; 10^{-8}\,\mathrm{Hz} \times \left(\frac{T}{1\ \mathrm{GeV}}\right)$$

La transition de déconfinement de la QCD, vers $T \approx 150$ MeV, tombe ainsi dans le domaine du nanohertz — celui que sondent les réseaux de chronométrage de pulsars. En revanche, une transition de jauge à une échelle bien plus haute (secteur sombre confinant, brisure de grande unification) se projette vers le MHz–GHz : le domaine HFGW.The QCD deconfinement transition, near $T \approx 150$ MeV, therefore lands in the nanohertz band — the one pulsar-timing arrays probe. A gauge transition at a much higher scale, however (a confining dark sector, grand-unification breaking), projects into the MHz–GHz range: the HFGW band.

Trois mécanismes lient donc Yang–Mills aux HFGW. D'abord, une transition de phase de premier ordre dans un secteur de jauge produit des collisions de bulles, source violente d'ondes gravitationnelles. Ensuite, les défauts topologiques — cordes, parois, monopôles — sont exactement les objets classifiés par les charges topologiques de la section 7 ; leur effondrement rayonne à haute fréquence. Enfin, l'amplitude du signal dépend de l'ordre de la transition, qui dépend du spectre de la théorie — donc du gap. Savoir si un secteur de jauge produit un fond HFGW détectable revient en partie à connaître son gap de masse.Three mechanisms therefore tie Yang–Mills to HFGW. First, a first-order phase transition in a gauge sector produces colliding bubbles, a violent source of gravitational waves. Second, topological defects — strings, walls, monopoles — are exactly the objects classified by the topological charges of §7; their collapse radiates at high frequency. Third, the signal amplitude depends on the order of the transition, which depends on the theory's spectrum — hence on the gap. Deciding whether a gauge sector yields a detectable HFGW background is, in part, a question about its mass gap.

10. Recettes de code pysic-rs10. pysic-rs code recipes

La non-commutativité, explicitementNon-commutativity, explicitly

import numpy as np
from pysicrs import su2_structure_constants, su3_structure_constants

f2 = np.array(su2_structure_constants())   # 3x3x3
f3 = np.array(su3_structure_constants())   # 8x8x8

print("su(2) non-zero:", int((abs(f2) > 1e-12).sum()))   # 6  = 1 triple x 3!
print("su(3) non-zero:", int((abs(f3) > 1e-12).sum()))    # 54 = 9 triples x 3!

# Total antisymmetry is the defining property: f^abc = -f^bac
print("antisymmetric:", np.allclose(f3, -f3.transpose(1, 0, 2)))   # True

# Jacobi identity - the statement that the algebra closes
J = np.einsum('ade,bcd->abce', f3, f3) \
  + np.einsum('bde,cad->abce', f3, f3) \
  + np.einsum('cde,abd->abce', f3, f3)
print("Jacobi residual:", abs(J).max())    # ~1e-16

Le coût d'un instantonThe cost of an instanton

import math
from pysicrs import instanton_action

for g in (0.5, 1.0, 2.0):
    S = instanton_action(g)
    print(f"g={g}:  S={S:8.3f}   e^-S={math.exp(-S):.3e}")

# g=0.5:  S= 315.827   e^-S=0.000e+00   <- tunnelling utterly suppressed
# g=1.0:  S=  78.957   e^-S=5.20e-35
# g=2.0:  S=  19.739   e^-S=2.67e-09    <- strong coupling: instantons matter

La charge topologique d'un videThe topological charge of a vacuum

import math
from pysicrs import winding_number, skyrmion_number

# A loop in the gauge group, traversed n times -> vacuum label n
for n in (1, 2, -3):
    ts = [2*math.pi*i/2000 for i in range(2000)]
    f1 = [math.cos(n*t) for t in ts]
    f2 = [math.sin(n*t) for t in ts]
    print(f"n={n:+d} -> winding {winding_number(f1, f2):+.0f}")

# A localised self-dual lump carries exactly one unit of charge
span, npts = 16.0, 641
xs = [-span + 2*span*i/(npts-1) for i in range(npts)]
h = xs[1] - xs[0]
field = [[[2*x/(x*x+y*y+1), 2*y/(x*x+y*y+1), (x*x+y*y-1)/(x*x+y*y+1)]
          for y in xs] for x in xs]
print(f"|Q| = {abs(skyrmion_number(field, h, h)):.4f}")   # 0.9951 (exact: 1)

11. Récapitulatif11. Recap

12. Références12. References

1. C. N. Yang & R. L. Mills, Conservation of Isotopic Spin and Isotopic Gauge Invariance, Phys. Rev. 96, 191 (1954).
2. A. Jaffe & E. Witten, Quantum Yang–Mills Theory, Clay Mathematics Institute Millennium Prize Problem official description (2000).
3. D. J. Gross & F. Wilczek, Ultraviolet Behavior of Non-Abelian Gauge Theories, Phys. Rev. Lett. 30, 1343 (1973).
4. H. D. Politzer, Reliable Perturbative Results for Strong Interactions?, Phys. Rev. Lett. 30, 1346 (1973).
5. P. W. Higgs, Broken Symmetries and the Masses of Gauge Bosons, Phys. Rev. Lett. 13, 508 (1964).
6. F. Englert & R. Brout, Broken Symmetry and the Mass of Gauge Vector Mesons, Phys. Rev. Lett. 13, 321 (1964).
7. G. 't Hooft & M. Veltman, Regularization and Renormalization of Gauge Fields, Nucl. Phys. B 44, 189 (1972).
8. A. A. Belavin, A. M. Polyakov, A. S. Schwartz & Yu. S. Tyupkin, Pseudoparticle Solutions of the Yang–Mills Equations, Phys. Lett. B 59, 85 (1975).
9. K. G. Wilson, Confinement of Quarks, Phys. Rev. D 10, 2445 (1974).
10. C. J. Morningstar & M. Peardon, The Glueball Spectrum from an Anisotropic Lattice Study, Phys. Rev. D 60, 034509 (1999).
11. N. Aggarwal et al., Challenges and Opportunities of Gravitational-Wave Searches at MHz to GHz Frequencies, Living Rev. Relativ. 24, 4 (2021).
12. C. Caprini & D. G. Figueroa, Cosmological Backgrounds of Gravitational Waves, Class. Quantum Grav. 35, 163001 (2018).
13. M. E. Peskin & D. V. Schroeder, An Introduction to Quantum Field Theory, Addison-Wesley (1995), chapters 15–17.
14. pysic-rs documentation — gauge theory, topology.