⚛️ lattice

Blind Spots of the Zwanziger Horizon Function

This paper investigates whether the spectral directions triggering the first Gribov horizon are necessarily accessible to the sources in Zwanziger's horizon function by analyzing radial SU(2) hedgehog backgrounds in three and four Euclidean dimensions, revealing potential "blind spots" where critical subspaces may remain undetected due to degeneracy or domain constraints.

Original authors: Daniel G. Tedesco

Published 2026-08-14

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Daniel G. Tedesco

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe is built from invisible, vibrating strings of force called "fields." To understand how these fields behave, physicists have to take a snapshot of them, but there's a catch: these fields are so tricky that they can look exactly the same from different angles, like a spinning top that looks identical no matter how you tilt your head. This is called "gauge ambiguity." To make sense of the math, scientists have to pick a specific "view" or "gauge" to lock the field in place.

However, there's a hidden trap in this process. As you try to lock the field down, you might accidentally step into a "Gribov horizon," which is like the edge of a cliff where the math suddenly breaks down and stops making sense. To prevent falling off this cliff, physicists use a special safety net called the "horizon function." This function acts like a sensor, checking if the field is getting too close to the edge. For a long time, scientists assumed that if the field was about to fall off the cliff (the horizon), the sensor would definitely scream "DANGER!" because the sensor was thought to be sensitive to every possible way the field could break.

But what if the sensor has a blind spot? What if the field is about to fall off the cliff in a very specific, weird direction, but the sensor is only looking in a different direction? This is the question Daniel G. Tedesco explores in his paper. He investigates whether the "horizon function" can actually miss the moment the field becomes unstable, specifically in certain symmetrical shapes of the field known as "hedgehogs" (named because they look like spiky balls).

The paper finds that yes, the sensor can indeed be blind. In three-dimensional space, if the field is shaped like a hedgehog, the "danger zone" (where the field loses stability) can happen in a direction that the sensor simply cannot see. The author proves that by carefully shaping the "spikes" of the hedgehog, the first moment the field becomes unstable happens in a "dark" channel—a direction the sensor ignores. This means the horizon function stays calm and finite, even though the field has technically hit the edge of the cliff.

This happens even more surprisingly in four-dimensional space. Here, the paper shows that the sensor is blind to the danger on both sides of the stability limit. Whether the field is being squeezed or stretched, the first time it becomes unstable happens in a direction the sensor doesn't watch. The author uses mathematical "shells" (like layers of an onion) to prove that you can create smooth, realistic field shapes where the first instability is completely invisible to the horizon function.

The paper also looks at a famous, specific shape called the "BPST instanton." For this shape, the math gets tricky because the field doesn't quite fit inside the standard "box" the sensor uses. The author concludes that for this specific case, the standard sensor setup doesn't work at all without some extra rules, highlighting that the relationship between the field's instability and the sensor's view is more complex than previously thought.

In short, the paper doesn't say the safety net is broken; it just shows that the net has holes. If the field falls through a hole in a very specific, symmetrical way, the net won't catch it, and the warning signal won't go off. This discovery suggests that the way we calculate the behavior of these fundamental forces might need to account for these "blind spots," where the field is unstable but the usual mathematical tools think everything is fine. The author is very sure about these results for the specific shapes he studied, proving them with rigorous math and simulations, but notes that in the messy, real world of all possible field shapes, we don't yet know if these blind spots are common or rare.

Technical Summary: Blind Spots of the Zwanziger Horizon Function

Problem Statement
This paper investigates the configurationwise relationship between the first Gribov horizon—defined by the loss of positivity of the Faddeev-Popov operator $M[A]$ —and Zwanziger's horizon function $H(A)$ . While the Gribov horizon marks the boundary where the gauge-fixing condition fails to isolate a unique representative (signaled by a vanishing eigenvalue of $M[A]$ ), the horizon function probes the inverse operator $M^{-1}$ through background-dependent sources. The central question is whether the spectral directions associated with the onset of the Gribov horizon are necessarily accessible to the sources entering $H(A)$ . Specifically, the author asks if the first critical eigenspace encountered along a family of Landau-gauge backgrounds can be orthogonal to the horizon source, rendering the horizon function finite even as the operator $M[A]$ develops a zero mode. This distinction is crucial because the divergence of $H(A)$ depends not only on the spectral proximity to zero but also on the overlap (visibility) of the source with the critical subspace.

Methodology
The analysis is conducted using a rigorous operator-theoretic framework applied to specific, highly symmetric background fields:

Source Visibility Formalism: The author defines a source map $T_A$ and a finite-rank "visibility operator" $V_A = T_A T_A^*$ . The divergence of the horizon function is determined by the compression of $V_A$ onto the critical subspace of $M[A]$ , denoted $P_c V_A P_c$ . Crossings are classified as dark (rank 0), partially visible, or fully visible based on this rank.
Symmetric Backgrounds: The study focuses on radial $SU(2)$ hedgehog backgrounds in three and four Euclidean dimensions.
- 3D: Radial profiles $h(r)$ are used to construct $SU(2)$ hedgehogs. Rotational symmetry separates the source sector (confined to orbital angular momentum $L=1$ ) from the radial threshold ordering.
- 4D: An $SO(4)$-covariant hedgehog based on 't Hooft symbols is analyzed. The source is confined to hyperspherical degree $n=1$ .
Threshold Analysis: The ordering of Faddeev-Popov thresholds is controlled by varying the radial profile $h(r)$ $h (r)$ . The author employs:
- Variational Estimates: Using the Rayleigh quotient to characterize threshold amplitudes for smooth and delta-shell profiles.
- Finite-Volume Calculations: Comparing results on Dirichlet balls to half-line limits to ensure robustness.
- Exact Solutions: Utilizing Henyey's profile in 3D and the regular-gauge BPST instanton in 4D to test selection rules and domain issues.

Key Contributions and Results

Orbital Selection Rules:
- In 3D, the horizon source is strictly confined to the $L=1$ sector. Consequently, any critical zero mode occurring in a channel with $L \neq 1$ is "dark" (invisible to the horizon function).
- In 4D, the source is confined to hyperspherical degree $n=1$ . Due to the specific angular spectrum of the 't Hooft hedgehog, the $n=1$ sector has a restricted set of couplings. Notably, the attractive channel $2c = -3$ (which would correspond to the lowest threshold in a generic spectrum) is absent.
Existence of Dark First Crossings:
- 3D Results: By tuning the radial profile (specifically using narrow, finite-width shells), the author constructs configurations where the first negative-branch threshold occurs in a channel with $L \geq 2$ . Since the source has no support in $L \geq 2$ , the horizon function remains finite despite the operator $M[A]$ acquiring a zero mode. This demonstrates that the first loss of positivity does not necessarily trigger a divergence in $H(A)$ .
- 4D Results: Due to the missing $2c=-3$ coupling, the first positive-branch threshold also occurs in a dark sector ( $n=2$ ). Similarly, the negative branch can be tuned to cross first in a dark sector ( $n \geq 2$ ). Thus, in 4D, it is possible to have "dark" first crossings on both amplitude branches.
Classification of Crossings:
The paper provides a precise classification of crossings based on the rank of the compressed visibility operator:
- Dark: The critical subspace is orthogonal to the source range ( $P_c V_A P_c = 0$ ). The horizon function remains finite.
- Partially Visible: The critical subspace contains both visible and dark directions. The horizon function diverges but probes only a subset of the critical modes.
- Fully Visible: The entire critical subspace is accessible to the source.
Regular-Gauge BPST Background:
The analysis of the physical BPST instanton ( $g=1$ ) reveals domain subtleties. In the full-space setting, the horizon source columns are not square-integrable ( $L^2$ ), and the zero-energy solutions are not isolated $L^2$ eigenvalues. Consequently, the standard trace formula for $H(A)$ is ill-defined for this specific background without additional regularization or finite-volume prescriptions. In the Friedrichs quadratic-form setting, the physical amplitude sits exactly at the Hardy-critical threshold for the visible $n=1$ channel.

Significance and Claims
The paper claims to demonstrate that "spectral proximity to the boundary" and "source sensitivity to the critical direction" are independent data. The primary significance lies in showing that the divergence of the Zwanziger horizon function is not an automatic consequence of the first Gribov horizon being reached; it depends critically on the alignment between the background's critical modes and the horizon source.

The author emphasizes that these results are configurationwise. The findings do not alter the statistical weighting of configurations in the Yang-Mills functional integral, nor do they modify the ensemble horizon condition or the Gribov-Zwanziger (GZ) framework itself. Instead, the work identifies a structural "blind spot" where the horizon function fails to detect the onset of the Gribov horizon due to symmetry-induced orthogonality. The paper concludes that while angular selection can suppress this coupling exactly in symmetric families, the behavior under symmetry-breaking perturbations remains an open question.

More like this