Large N limit of Wilson Loops on orientable closed surfaces in the light of Koike-Schur-Weyl duality and Spin Networks

This paper proves the convergence in probability of Wilson loops under the Yang-Mills measure on closed orientable surfaces of genus greater than two for large unitary or special unitary groups by employing Koike-Schur-Weyl duality and Spin Networks to refine existing arguments.

The Gist

Imagine you are standing on a vast, complex landscape. This landscape is a surface (like a sphere, a donut, or a pretzel with many holes). On this surface, there are invisible loops (like rubber bands) that can be stretched, twisted, and moved around, but they cannot be cut or torn.

Now, imagine that every point on this surface is governed by a set of rules from a mysterious, high-dimensional universe called Quantum Physics. In this universe, the "strength" or "value" of a rubber band loop is measured by something called a Wilson Loop.

For a long time, physicists and mathematicians have been trying to answer a simple question: What happens to these rubber bands when the universe gets infinitely huge?

In the language of the paper, this is the "Large N Limit." Think of "N" as the number of dimensions or the complexity of the rules. When N is small, the rubber bands wiggle chaotically. But as N grows toward infinity, the chaos should settle down into a predictable, smooth pattern. This smooth pattern is called the "Master Field."

The Problem: The "Donut" vs. The "Sphere"

Scientists already knew what happened on a flat sheet of paper (the plane) or a simple ball (the sphere). On these shapes, the rubber bands settle down nicely. If a loop can be shrunk to a point (contractible), it has a specific value. If it's stuck around a hole (non-contractible), it vanishes (becomes zero).

But what about a pretzel (a surface with two or more holes)? This is much harder. The loops can get tangled in complex ways around the holes. For decades, no one could prove exactly what the rubber bands do on these complex shapes as the universe gets infinitely big.

The Solution: Two New Tools

The author, Antoine Dahlqvist, solves this puzzle by combining two powerful mathematical "tools" that act like special lenses to see through the chaos.

1. The "Koike-Schur-Weyl" Lens (The Translator)

Imagine you have a secret code written in a language of tensors (complex multi-dimensional arrays). This code describes the behavior of the rubber bands.

• The Old Way: Trying to read this code directly was like trying to solve a Rubik's cube by guessing every move. It was messy and slow.
• The New Way: The author uses a "dictionary" called Koike-Schur-Weyl duality. This dictionary translates the complex tensor code into a simpler language of Brauer diagrams.
• The Analogy: Think of a Brauer diagram as a set of string art or knots. Instead of calculating massive numbers, the author draws pictures of strings connecting points. Some strings cross, some loop back.
  • The author discovered that these string pictures can be counted and organized like maps.
  • By analyzing the "shape" of these maps (specifically their Euler characteristic, which is a way of counting holes and vertices), they can predict the value of the rubber band.

2. The "Spin Network" Lens (The Weaver)

The second tool comes from a different field called Spin Networks (used in quantum gravity).

• The Analogy: Imagine the surface is a giant loom. The rubber bands are threads being woven.
• The author uses a formula (originally found by a physicist named T. Lévy) that acts like a loom pattern. It tells you exactly how the threads (the loops) interact at every crossing point.
• Instead of getting lost in the math, this formula breaks the problem down into small, manageable pieces: "If the loop crosses itself here, multiply by this number. If it touches a hole, multiply by that number."

The Big Discovery

By combining these two lenses, the author proved a long-standing guess (conjecture):

On a complex surface (like a pretzel with 2+ holes):

1. If a rubber band loop can be shrunk to a point (it doesn't go around a hole), it behaves exactly like it does on a flat sheet of paper. It settles into a smooth, predictable value.
2. If a rubber band loop gets stuck around a hole (it cannot be shrunk), it disappears. As the universe gets infinitely big, the value of these "stuck" loops becomes zero.

Why Does This Matter?

This isn't just about rubber bands.

• Physics: It helps us understand the fundamental forces of nature (like the strong nuclear force that holds atoms together) in a simplified, 2D world. It confirms that even in a complex, "tangled" universe, there is an underlying order (the Master Field) that emerges when things get large enough.
• Mathematics: It connects three different worlds:
  • Geometry (shapes and surfaces),
  • Probability (randomness and chance),
  • Algebra (symmetry and groups).
    The paper shows that these worlds are actually speaking the same language, just using different dialects.

The "Aha!" Moment

The author's breakthrough was realizing that you don't need to calculate the exact value of every single loop. Instead, you can look at the topology (the shape) of the loops.

• If the loop is "simple" (can be shrunk), it survives.
• If the loop is "complex" (tied to a hole), the sheer size of the universe (N → ∞) washes it out, making it vanish.

It's like standing in a massive stadium (the Large N limit). If you whisper a secret to someone right next to you (a contractible loop), they hear it clearly. But if you try to shout a secret across the stadium to someone on the other side of a wall (a non-contractible loop), the noise of the crowd drowns it out completely. The "Master Field" is the clear, quiet voice that remains when the crowd is infinitely large.

Technical Summary

Here is a detailed technical summary of the paper "Large N Limit of Wilson Loops on Orientable Closed Surfaces in the Light of Koike-Schur-Weyl Duality and Spin Networks" by Antoine Dahlqvist.

1. Problem Statement

The paper addresses the Large $N$ limit (where $N \to \infty$) of Wilson loops under the Yang-Mills measure on closed, orientable surfaces of genus $g \ge 2$ with structure groups $U(N)$ or $SU(N)$.

• Context: Wilson loops, defined as $W_\ell = \frac{1}{N}\text{Tr}(h_\ell)$, are the primary observables in 2D Yang-Mills theory. It is well-established that on the plane, disc, and sphere, these loops converge in probability to a deterministic limit known as the Master Field.
• The Conjecture: Previous work by the author and collaborators (DL23, DL25) proved this convergence for the torus ($g=1$) and conjectured that for any closed surface of genus $g \ge 2$, the limit $\tau_\Sigma(\ell)$ of a loop $\ell$ is:
  • The planar master field evaluated on the lift of $\ell$ to the universal cover $\tilde{\Sigma}$ if $\ell$ is contractible.
  • Zero if $\ell$ is non-contractible.
• The Gap: While the convergence of the expectation $E[W_\ell]$ for non-contractible loops to zero was recently established for the Atiyah-Bott-Goldman measure (the semi-classical limit of Yang-Mills) by Magee (Mag22, Mag25), the convergence of the second moment $E[|W_\ell|^2]$ (and thus convergence in probability) for the full Yang-Mills measure on surfaces of genus $g \ge 2$ remained an open problem.

2. Methodology

The author employs a multi-faceted approach combining representation theory, combinatorics, and geometric analysis to prove $L^2$ convergence.

A. Decomposition into Characters (IRF Formulas)

The first step involves expanding the Wilson loop expectations into sums over irreducible representations (irreps) of $U(N)$ and $SU(N)$.

• New Formula: The paper utilizes a new formula by T. Lévy (Theorem 3.1) which expresses Wilson loop expectations as sums over "Interaction-Round-a-Face" (IRF) models. This formula involves sums over highest weights $\alpha$, weighted by dimensions $d_\alpha$ and exponential factors involving the area.
• Truncation: A crucial technical step is proving that the contribution of "large" representations (those with large size $|\alpha|$) to the sum is negligible. This relies on bounds for the Witten zeta function and the decay of representation dimensions, allowing the infinite sum to be truncated to a finite sum with arbitrary precision in powers of $1/N$.

B. Koike-Schur-Weyl Duality and Traceless Tensors

To handle the integration of characters against the Haar measure (which appears in the expansion), the paper moves beyond standard Schur-Weyl duality.

• Traceless Tensors: The author realizes irreducible representations of $U(N)$ as traceless mixed tensors. This is essential because the standard tensor product space $V^{\otimes n} \otimes (V^*)^{\otimes m}$ contains representations that do not appear in the large $N$ limit of the specific gauge theory context.
• Koike-Schur-Weyl Duality: The paper applies K. Koike's duality theorem, which states that the commutant of the $U(N)$ action on traceless mixed tensors is the Walled Brauer Algebra (rather than just the symmetric group algebra).
• Projection Operators: The author derives explicit formulas for the projection onto traceless tensors using elements of the Walled Brauer algebra. This allows for the computation of integrals of the form $\int \chi_\lambda(U) \dots dU$ as sums over Brauer diagrams.

C. Combinatorial Surface Sums and Euler Characteristic Bounds

The integration of Wilson loop moments is transformed into a combinatorial sum over surfaces (maps) with boundaries, weighted by $N^{\chi}$, where $\chi$ is the Euler characteristic.

• Brauer Maps: The paper defines "Brauer maps" constructed from products of Brauer diagrams. These maps correspond to 2-CW complexes (surfaces) $\Sigma_m$.
• Upper Bounds on $\chi$: The core technical innovation is proving that for non-contractible loops (specifically "almost-shortest" representatives), the Euler characteristic of the associated surfaces is strictly bounded from above.
  • The author refines the Birman-Series bound and Dehn's algorithm for surface groups.
  • By analyzing the geometry of the loops and the structure of the Brauer diagrams (specifically distinguishing between "pre-pieces" and "pieces" of the surface), the paper proves that $\chi(\Sigma_m) \le -n - m + h(m)$, where $h(m)$ relates to the number of horizontal strings in the diagrams.
  • Crucially, for non-contractible loops, this bound ensures that the exponent of $N$ in the sum is negative, forcing the terms to vanish as $N \to \infty$.

D. Reduction to Shortest Loops

Using the Makeenko-Migdal equations (differential equations relating variations of Wilson loops to area changes), the author adapts arguments from previous works (DL25) to reduce the problem of convergence for all loops to the convergence for "almost-shortest" loops (loops that are geodesic representatives in a regular map).

3. Key Contributions

1. Proof of Conjecture: The paper rigorously proves the conjecture that for any closed orientable surface of genus $g \ge 2$, the Wilson loop $W_\ell$ converges in probability to the Master Field if $\ell$ is contractible, and to 0 if $\ell$ is non-contractible.
2. $L^2$ Convergence: Unlike previous results that only established convergence in expectation ($L^1$), this work proves convergence in $L^2$ (convergence of the second moment), which implies convergence in probability.
3. Extension to Yang-Mills Measure: The results are generalized from the Atiyah-Bott-Goldman measure (the zero-area limit) to the full Yang-Mills measure with finite area.
4. Koike-Schur-Weyl Duality Application: The paper provides a novel and rigorous application of Koike's duality for traceless tensors to the large $N$ limit of gauge theories, offering an alternative to the branching rule approaches used in earlier literature.
5. Recovery of Physics Formulas: The methodology recovers and provides rigorous proofs for combinatorial formulas discovered in theoretical physics by Gross and Taylor (1993) and Kimura and Ramgoolam (2008) regarding the $1/N$ expansion of partition functions and dimensions of unitary irreps.
6. Wick Ordering Relation: The paper establishes a precise relation between rational Schur functions and the Wick ordering of power sum functions (Newton polynomials) under the Haar measure, generalizing the Gross-Taylor formula.

4. Main Results

• Theorem 2.5 & 2.6: For a closed orientable surface $\Sigma$ of genus $g \ge 2$, and any loop $\ell$:
  $$\lim_{N \to \infty} E\left[ \left| W_\ell - \tau_\Sigma(\ell) \right|^2 \right] = 0$$
  where $\tau_\Sigma(\ell) = \tau_{\tilde{\Sigma}}(\tilde{\ell})$ if $\ell$ is contractible (with $\tilde{\ell}$ the lift to the universal cover), and $\tau_\Sigma(\ell) = 0$ otherwise.
• Theorem 4.3: Provides a specific bound for the second moment of Wilson loops for non-contractible "almost-shortest" loops:
  $$E[|W_\gamma|^2] \le \frac{K}{N^2}$$
  This $O(N^{-2})$ decay is the critical step ensuring the vanishing of the limit.
• Corollary 4.3 & Lemma 4.8: Provide absolutely convergent topological expansions for the partition function and irreducible representation dimensions in terms of counting ramified coverings (Hurwitz numbers) and surface maps.

5. Significance

• Mathematical Physics: This work resolves a long-standing open problem in the rigorous mathematical formulation of 2D Yang-Mills theory. It confirms the "Master Field" hypothesis for all orientable closed surfaces, solidifying the connection between random matrix theory, gauge theory, and topology.
• Rigorous Justification of Physics Heuristics: The paper bridges the gap between the heuristic "string theory" expansions (Gross-Taylor) used in physics and rigorous probability theory. It validates the combinatorial interpretations of $1/N$ expansions using the language of Brauer algebras and traceless tensors.
• Methodological Advancement: The introduction of Koike-Schur-Weyl duality and the specific analysis of traceless tensors provides a powerful new toolkit for studying large $N$ limits in gauge theories, potentially applicable to other groups or higher-dimensional settings.
• Geometric Insight: The refined use of Dehn's algorithm and the Birman-Series bound to control the topology of the surfaces appearing in the expansion highlights a deep interplay between the geometry of loops on surfaces and the algebraic structure of the gauge group.

In summary, Dahlqvist's paper is a landmark result that completes the picture of the Large $N$ limit of 2D Yang-Mills theory on closed surfaces, providing rigorous proofs for convergence in probability and offering a sophisticated combinatorial framework for understanding the underlying topological expansions.