License: CC BY 4.0
arXiv:2606.22078v1 [hep-th] 20 Jun 2026

Metamorphosis of fractional instantons on a twisted π•‹πŸ’\mathbf{{\mathbb{T}}^{4}} with a double-trace deformation: a numerical study

Benjamin Dobozy and Erich Poppitz
Abstract

We use numerical minimization of the lattice action of trace-deformed Yang-Mills theory on 𝕋4{\mathbb{T}}^{4} with twisted boundary conditions to find the classical minimum action configurations of fractional topological charge. We vary the twists and ratios of torus periods to interpolate between different ℝ4βˆ’k×𝕋k{\mathbb{R}}^{4-k}\times{\mathbb{T}}^{k} geometries. This allows us to see how the corresponding minimum action saddle point configurationsβ€”monopole-instantons (k=1k=1), center vortices (k=2k=2), and fractional instantons (k=3,4k=3,4)β€”morph into each other. We also study how the transition between them depends on the presence of a deformation potential. In particular, we argue that the recent analytic picture of chains of monopole-instantons collimating their flux into center-vortex sheets, while technically relying on the deformation potential, also holds in pure Yang-Mills theory, for tori whose shape causes the abelianization due to the deformation to align with the one due to the twists. Our results also indicate that with nonzero deformation potential, some transitions between different minimal-action fractional charge configurations may be discontinuous and involve level crossing.

1 Introduction

1.1 Motivation and some background

Understanding the nonperturbative dynamics of four-dimensional non-abelian gauge theories from first principles is a challenging problem lacking a complete solution. While many approaches exist, none of them can account for all interesting aspects of the physics. This paper is devoted to one particular direction of research: the study of the weak-coupling semiclassical dynamics of S​U​(N)SU(N) gauge theories on compact spaces of the form ℝ4βˆ’kΓ—π•‹βˆ—k{\mathbb{R}}^{4-k}\times{\mathbb{T}}^{k}_{*}. Here π•‹βˆ—k{\mathbb{T}}^{k}_{*} denotes a kk dimensional torus with k=1,2,3,4k=1,2,3,4. The subscript βˆ—* indicates the inclusion of at least one of ’t Hooft twisted boundary conditions [tHooft:1979rtg, tHooft:1981sps] or a double-trace deformation [Unsal:2008ch]. We use Ξ›\Lambda to denote the strong coupling scale of the gauge theory. We take Euclidean signature in all ℝ4βˆ’kΓ—π•‹βˆ—k{\mathbb{R}}^{4-k}\times{\mathbb{T}}^{k}_{*} cases, except on a few occasions where the use of Minkowski signature is explicitly stated.

If the size of the torus L𝕋kL_{{\mathbb{T}}^{k}} is small,111For simplicity, the discussion here only refers to the overall size of the 𝕋k{\mathbb{T}}^{k}, denoted by L𝕋kL_{{\mathbb{T}}^{k}}, tacitly assuming that all periods of the torus are of the same order. Later, we relax this assumption, considering different ratios of periods of 𝕋k{\mathbb{T}}^{k}. such that L𝕋k​N​Λβ‰ͺ1L_{{\mathbb{T}}^{k}}N\Lambda\ll 1, one can show that the ℝ4βˆ’kΓ—π•‹βˆ—k{\mathbb{R}}^{4-k}\times{\mathbb{T}}^{k}_{*} theory abelianizes: the gauge group is Higgsed, by the boundary conditions or the deformation, S​U​(N)β†’U​(1)Nβˆ’1SU(N)\rightarrow U(1)^{N-1} or S​U​(N)β†’β„€NSU(N)\rightarrow{\mathbb{Z}}_{N}, at a high scale 1L𝕋k​N≫Λ{1\over L_{{\mathbb{T}}^{k}}N}\gg\Lambda, ensuring that the theory is weakly coupled. Let us be slightly more precise: for k=1,2k=1,2, the long-distance ℝ3{\mathbb{R}}^{3} or ℝ2{\mathbb{R}}^{2} theory is weakly coupled because of the abelianization. For k=3,4k=3,4, the theory on ℝ×𝕋3{\mathbb{R}}\times{\mathbb{T}}^{3} or 𝕋4{\mathbb{T}}^{4} is weakly coupled at small L𝕋kL_{{\mathbb{T}}^{k}} even without the nontrivial ’t Hooft twists or deformationβ€”this is the β€œfemtouniverse” of [Bjorken:1979hv, Luscher:1982ma]. However, now the small-L𝕋kL_{{\mathbb{T}}^{k}} and large-L𝕋kL_{{\mathbb{T}}^{k}} theories are believed to not be continuously connected in the sense discussed below. The reason for our cautious statement is that the continuous classical vacuum degeneracy in compactifications without ’t Hooft twists or deformations complicates222For recent work on this problem in theories with supersymmetry, see [ArabiArdehali:2026kvt]. the semiclassical study of the ground state properties of the femtouniverseβ€”a task that has not yet been completed, to the best of our knowledge. For this reason, we only study ℝ4βˆ’kΓ—π•‹βˆ—k{\mathbb{R}}^{4-k}\times{\mathbb{T}}^{k}_{*} theories with ’t Hooft twists and/or deformation.

The weak coupling at small L𝕋kL_{{\mathbb{T}}^{k}} permits the use of theoretically controlled semiclassical methods to study ground state properties, ΞΈ\theta-angle dependence, symmetry realization, spectra, etc.; various aspects are reviewed in [Dunne:2016nmc, Poppitz:2021cxe, Gonzalez-Arroyo:2023kqv]. Remarkably, it is found that the properties of the ground state of the pure gauge theory, obtained analytically at small L𝕋kL_{{\mathbb{T}}^{k}}, evolve continuously into the ones seen in the strongly-coupled L𝕋kβ†’βˆžL_{{\mathbb{T}}^{k}}\rightarrow\infty, or ℝ4{\mathbb{R}}^{4}, limit. Demonstrating this continuity, known as β€œadiabatic continuity,” requires, at the current state of the art, the use of numerical simulations to leave the weakly-coupled small-L𝕋kL_{{\mathbb{T}}^{k}} regime; for certain quantities in supersymmetric theories, one can appeal to nonrenormalization theorems (see [Anber:2024mco]) to argue for small to large volume continuity. Here, we shall not review further details of the semiclassical dynamics nor discuss different ideas to connect the semiclassical and the strongly coupled limits; for this, we recommend the reviews cited above.

The purpose of this paper is to study the relation between the nontrivial saddles in the path integral on ℝ4βˆ’kΓ—π•‹βˆ—k{\mathbb{R}}^{4-k}\times{\mathbb{T}}^{k}_{*} for different kk. These are finite action instantons contributing to the nonperturbative dynamics. We begin by listing the kind of finite action configurations that give the leading semiclassical contribution to the nonperturbative dynamics. We use the antisymmetric twist tensor β€œnμ​νn_{\mu\nu},” defined (mod NN) in [tHooft:1979rtg], to denote the imposition of nontrivial twisted boundary conditions in the 𝕋k{\mathbb{T}}^{k} (without, at this point, being explicit about the particular choice made). Likewise, we use β€œdef.” to denote the addition of a double-trace deformation [Unsal:2008ch]. The upshot is that, for the different values of kk, the pattern of gauge symmetry breaking, the kinds of minimal action saddles, their β€œquantum numbers” (e.g. topological charge QQ), as well their localization properties, are found to be as follows:

ℝ3Γ—π•Šdef.1:\displaystyle{\mathbb{R}}^{3}\times{\mathbb{S}}^{1}_{\text{def.}}: S​U​(N)β†’U​(1)Nβˆ’1,N​kinds of monopole-instantons,Q=1N,\displaystyle SU(N)\rightarrow U(1)^{N-1},\;N\;\text{kinds of monopole-instantons},\;Q={1\over N},
localized in​ℝ3​and wrapped around theβ€‹π•Š1,\displaystyle\text{localized in}\;{\mathbb{R}}^{3}\;\text{and wrapped around the}\;{\mathbb{S}}^{1},
with magnetic charges under​U​(1)Nβˆ’1​labelled by​(Ξ±0,Ξ±1,…,Ξ±Nβˆ’1),\displaystyle\text{with magnetic charges under}\;U(1)^{N-1}\;\text{labelled by}\;(\alpha_{0},\alpha_{1},...,\alpha_{N-1}),
ℝ2×𝕋nμ​ν2:\displaystyle{\mathbb{R}}^{2}\times{\mathbb{T}}^{2}_{n_{\mu\nu}}: S​U​(N)β†’β„€N,center vortices,Q=1N,\displaystyle SU(N)\rightarrow{\mathbb{Z}}_{N},\;\text{center vortices},\;Q={1\over N},
localized in​ℝ2​and wrapped around ​𝕋2,\displaystyle\text{localized in}\;{\mathbb{R}}^{2}\;\text{and wrapped around }\;{\mathbb{T}}^{2},
ℝ×𝕋nμ​ν3:\displaystyle{\mathbb{R}}\times{\mathbb{T}}^{3}_{n_{\mu\nu}}: S​U​(N)β†’β„€N,fractional instantons,Q=1N,\displaystyle SU(N)\rightarrow{\mathbb{Z}}_{N},\;\text{fractional instantons},\;Q={1\over N},
localized in​ℝ​and wrapped around ​𝕋3,\displaystyle\text{localized in}\;{\mathbb{R}}\;\text{and wrapped around }\;{\mathbb{T}}^{3},
𝕋nμ​ν4:\displaystyle{\mathbb{T}}^{4}_{n_{\mu\nu}}: S​U​(N)β†’β„€N,fractional instantons,Q=1N,\displaystyle SU(N)\rightarrow{\mathbb{Z}}_{N},\;\text{fractional instantons},\;Q={1\over N},
localized or extended in some or all directions, depending on nμ​νn_{\mu\nu} and ratios of 𝕋4{\mathbb{T}}^{4} periods.

In each case, we have assumed that the choice of nμ​νn_{\mu\nu} twists is such that the minimal Q=1NQ={1\over N}; this choice shall be made more explicit in the body of the paper. Let us now discuss various aspects of (1.1)-(1.1):

  1. 1.

    For all values of kk, the minimum action semiclassical objects have topological charge 1/N1/N. For k=1k=1, this has been known since the classification of finite action configurations on ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} of [Gross:1980br], which implies that Q=1/NQ=1/N at the center-symmetric point [Unsal:2008ch]. For k=2,3k=2,3, the existence of Q=1/NQ={1/N} fractional instantons on ℝ×𝕋nμ​ν3{\mathbb{R}}\times{\mathbb{T}}^{3}_{n_{\mu\nu}} and ℝ2×𝕋nμ​ν2{\mathbb{R}}^{2}\times{\mathbb{T}}^{2}_{n_{\mu\nu}} has been realized already in [RTN:1993ilw, Gonzalez-Arroyo:1995ynx, Gonzalez-Arroyo:1998hjb, Montero:2000pb].333See Appendix B for a classification argument of finite action configurations on ℝ2×𝕋n122{\mathbb{R}}^{2}\times{\mathbb{T}}^{2}_{n_{12}} (and, by a simple extension, to ℝ×𝕋n123{\mathbb{R}}\times{\mathbb{T}}^{3}_{n_{12}}). While the discussion of this semi-infinite volume limit classification seems absent in the literature, it appears to be known to many and we include it for completeness. For k=4k=4, ’t Hooft argued [tHooft:1979rtg, tHooft:1981sps] that Q=1/NQ=1/N for some choices of twists, later studied in great detail in [vanBaal:1982ag]. These instantons are exactly self-dual (or, for k=1k=1 with no supersymmetry, approximately self-dual). Thus, their semiclassical contribution to the path integral scales as exp⁑(βˆ’8​π2g2​N)\exp(-{8\pi^{2}\over g^{2}N}), where g2g^{2} is the gauge theory coupling at a scale of order L𝕋kL_{{\mathbb{T}}^{k}}. As indicated, these finite action configurations are localized in the noncompact ℝ4βˆ’k{\mathbb{R}}^{4-k} and have size of order L𝕋kL_{{\mathbb{T}}^{k}}.

  2. 2.

    Notice that for k=2,3,4k=2,3,4, there is a single, up to moduli, minimal action configuration with Q=1/NQ={1/N}. For k=1k=1, on the other hand, there are NN different objects of fractional topological charge, distinguished by their U​(1)Nβˆ’1U(1)^{N-1} β€œmagnetic” charges. These are labelled by the simple roots, Ξ±1,…,Ξ±Nβˆ’1\alpha_{1},...,\alpha_{N-1}, of S​U​(N)SU(N), along with the affine root Ξ±0\alpha_{0}==βˆ’(Ξ±1-(\alpha_{1}++Ξ±2\alpha_{2}++…...++Ξ±Nβˆ’1)\alpha_{N-1}). These monopole-instantons are the NN β€œconstituents” of the BPST Q=1Q=1 instanton [Lee:1997vp, Kraan:1998sn].

  3. 3.

    In each of the cases with k<4k<4, a dilute gas of the relevant Q=1/NQ=1/N instantons disorders large Wilson loops in the noncompact ℝ3{\mathbb{R}}^{3} (case (1.1)) or ℝ2{\mathbb{R}}^{2} (case (1.1)), leading to area law and confinement. For k=1k=1, see [Unsal:2008ch]. For k=2k=2, confinement by center vortices is shown in [Tanizaki:2022ngt]. For k=3k=3, Refs. [RTN:1993ilw, Gonzalez-Arroyo:1995ynx] showed that tunnelling due to fractional instantons causes the correlator of two winding Wilson loops, separated in ℝ{\mathbb{R}}, to obey the area law (this is recently reviewed in Section 6 of [Anber:2025vjo]). In all cases, the string tensions in the pure gauge theory, computed in the leading semiclassical approximation (for the case (1.1), see [Poppitz:2017ivi]) with exponential-only accuracy, are proportional to exp⁑(βˆ’8​π2g2​N)\exp(-{8\pi^{2}\over g^{2}N})

  4. 4.

    The ℝ3Γ—π•Šdef.1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1}_{\text{def.}} and ℝ2×𝕋nμ​ν2{\mathbb{R}}^{2}\times{\mathbb{T}}^{2}_{n_{\mu\nu}} cases, (1.1) and (1.1), are examples of semiclassically tractable mechanisms of confinement due to monopole-instantons and center vortices, respectively. These mechanisms have been extensively discussed in the lattice community, in the strong coupling regime of a large 𝕋4{\mathbb{T}}^{4}. There, monopoles and center vortices are identified after appropriate gauge fixing of lattice configurations belonging to an ensemble generated via Monte Carlo techniques. It is observed that removing the configurations containing center vortices/monopoles from the ensemble destroys the area law. There are many important details; for these and references, we recommend Greensite’s monograph [Greensite:2011zz].444For more recent work discussing newer developments on the use of effective models of ensembles of unoriented center vortices, see Ref. [Junior:2025gxg], also containing an updated list of references.

  5. 5.

    We will not dwell much on the k=4k=4 case in this Introduction. This is because the study of Q=1/NQ=1/N configurations on 𝕋nμ​ν4{\mathbb{T}}^{4}_{n_{\mu\nu}} is really the subject of most of the rest of the paper. Here, we only mention that fractional instantons on 𝕋nμ​ν4{\mathbb{T}}^{4}_{n_{\mu\nu}} have been used to calculate the gaugino condensate in super-Yang-Mills theory [Anber:2022qsz, Anber:2023sjn, Anber:2024mco], showing complete agreement (owing to the supersymmetric nonrenormalization theorems) with the ℝ4{\mathbb{R}}^{4} results reviewed in [Dorey:2002ik].

  6. 6.

    Our final remark is that there are few known analytic solutions with Q=1/NQ=1/N in the geometries (1.1)-(1.1). In fact, there are only two kinds: the NN BPS monopole instantons on ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} [Lee:1997vp] and ’t Hooft’s constant field strength fractional instantons on 𝕋4{\mathbb{T}}^{4} [tHooft:1981nnx]. Most of what is known about the saddle points mentioned in (1.1)-(1.1) has been learned by numerically minimizing lattice actions with ’t Hooft twists, largely due to the long-term efforts of the Madrid group [Gonzalez-Arroyo:2023kqv]. In its use of numerical tools, this paper is not an exception.

After a further look at the various semiclassical objects appearing in (1.1)-(1.1) it should perhaps not come as a surprise that they can be related to each other. This is easiest to contemplate for the k=2,3,4k=2,3,4 cases, where the only β€œquantum number” is the topological charge Q=1/NQ=1/N. Thus, at least naively (however, see Section 6), one imagines compactifying a center vortex, a 2d sheet wrapped on 𝕋2{\mathbb{T}}^{2}, as in (1.1), on an π•Š1{\mathbb{S}}^{1} orthogonal to the sheet, obtaining (1.1); this can then be further compactified to obtain (1.1). Conversely, one could begin with a 𝕋4{\mathbb{T}}^{4} with appropriately chosen nμ​νn_{\mu\nu} twists (giving the minimal Q=1/NQ=1/N) and then take limits of its periods such that it approximates any one of the cases with k=1,2,3k=1,2,3. This may be especially clear if one wants to obtain the k=2,3k=2,3 cases, where the same twist in the 𝕋2{\mathbb{T}}^{2} or 𝕋3{\mathbb{T}}^{3} appearing in (1.1) or (1.1) can be imposed on the original 𝕋4{\mathbb{T}}^{4}β€”so that one obtains the desired ℝ2×𝕋nμ​ν2{\mathbb{R}}^{2}\times{\mathbb{T}}^{2}_{n_{\mu\nu}} or ℝ×𝕋nμ​ν3{\mathbb{R}}\times{\mathbb{T}}^{3}_{n_{\mu\nu}} in the limit.555A twist involving a 𝕋4{\mathbb{T}}^{4} direction taken to infinity will not be relevant and serves only to select the desired boundary condition, one of the many possible, at ℝ2{\mathbb{R}}^{2} or ℝ{\mathbb{R}} infinity; see Appendix B.

Obtaining ℝ3Γ—π•Šdef.1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1}_{\text{def.}} from (1.1)-(1.1), however, is bound to be a little trickier. First of all, as mentioned above, now there are NN monopole-instantons with different U​(1)Nβˆ’1U(1)^{N-1} magnetic charges, as per (1.1), instead of a single Q=1/NQ=1/N fractional instanton; we call this the β€œmultiplicity problem.” Second, if there is no deformation on the 𝕋4{\mathbb{T}}^{4} one starts with, there is no way to strictly obtain ℝ3Γ—π•Šdef.1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1}_{\text{def.}}, a setup where abelianization only occurs because of the deformation.666As explained in Section 4, at finite 𝕋4{\mathbb{T}}^{4} periods, abelianization around a localized fractional instanton can occur without deformation potential, due to the twists alone, provided the torus periods satisfy particular relations. In some cases, this abelianization is aligned with the one due to the deformation (however, this does not occur in the strict ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} limit; see [Wandler:2024hsq]). These issues were tackled by the authors of [Hayashi:2024yjc, Guvendik:2024umd], who proposed replacing ℝ3Γ—π•Šdef.1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1}_{\text{def.}} by ℝ2Γ—π•Š1Γ—π•Šdef.1{\mathbb{R}}^{2}\times{\mathbb{S}}^{1}\times{\mathbb{S}}^{1}_{\text{def.}} and realized that adding a ’t Hooft twist in the thus-obtained two-torus π•Š1Γ—π•Šdef.1{\mathbb{S}}^{1}\times{\mathbb{S}}^{1}_{\text{def.}} solves the β€œmultiplicity problem.” This is because an π•Š1{\mathbb{S}}^{1}-period translation in the presence of a ’t Hooft twist is a center symmetry transformation in the orthogonal π•Šdef.1{\mathbb{S}}^{1}_{\text{def.}} direction. This center symmetry cyclically permutes the NN different monopole-instantons [Anber:2015wha], thus causing them to alternate on the covering space of the π•Š1{\mathbb{S}}^{1}, in effect creating a single object involving a monopole-instanton and all its NN images under the π•Š1{\mathbb{S}}^{1} translation. Refs. [Hayashi:2024yjc, Guvendik:2024umd] then used analytic tools familiar from ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} studies of deformed Yang-Mills theory [Unsal:2008ch] and classical electrodynamics to show that this single object acts like a center vortex: it localizes in the noncompact ℝ2{\mathbb{R}}^{2}, is wrapped around π•Š1Γ—π•Šdef.1{\mathbb{S}}^{1}\times{\mathbb{S}}^{1}_{\text{def.}}, and disorders the Wilson loops surrounding it. The resulting picture is shown, for N=2N=2, on our Figure 2, referring the reader to Section 5.1 for details.

The monopole-instanton/center-vortex continuity is an interesting new development, showing, in a theoretically controlled semiclassical framework, that these two confinement mechanisms are related. We note, however, that the relation between center vortices and monopole-instantons in the strong coupling regime has appeared earlier in the lattice literatureβ€”see [Greensite:2011zz], in particular Ch. 8 there, where pictures of gauge-fixed lattice configurations appear, identical to our Fig. 2.

However, it is satisfying to have a setup where a controllable analytic argument is available: the semiclassical limit on small compact spaces gives a clear sense as to why these configurations dominate the path integralβ€”in contrast with the phenomenological models of the strong coupling regime. Furthermore, weak coupling semiclassics on ℝ4βˆ’kΓ—π•‹βˆ—k{\mathbb{R}}^{4-k}\times{\mathbb{T}}^{k}_{*} allows one to treat properties and theories which are either very challenging or simply intractable at the current level of development of lattice techniques. These include the multibranched structure and associated ΞΈ\theta-dependence of the vacuum777Required by consistency with various generalized anomalies [Gaiotto:2017yup] (these are described in the old-fashioned language close to the one used here in [Cox:2021vsa]). and the study of theories with massless fermions in various representations, including chiral gauge theories and general supersymmetric theories, as in e.g. [Anber:2017pak, Hayashi:2024gxv, Hayashi:2024qkm, Hayashi:2023wwi, Tanizaki:2022plm]. As a concrete application of the recent developments, the picture of [Hayashi:2024yjc, Guvendik:2024umd] was used to explain some puzzles regarding confinement in supersymmetric theories [Hayashi:2024psa, Hayashi:2025mgk]. A more speculative remark [Guvendik:2024umd] is that viewing the monopole-instantons as BPST instanton constituentsβ€”recalling Comment 2. after Eqns. (1.1-1.1)β€”suggests that the continuity is a hint that both monopole-instantons and center vortices may lurk inside the gas of four dimensional instantons, in a way waiting to be made more concrete; see [Nguyen:2023rww, Nguyen:2025voy] for related developments.

In conclusion of this overview, we hope to have conveyed the idea that the study of how the different nonperturbative saddles appearing in (1.1)-(1.1) morph into each other is of interest, as it sheds light on the relation between the confinement mechanisms operating in the various geometriesβ€”and perhaps, ultimately, in the ℝ4{\mathbb{R}}^{4} limit. We now continue to discuss in more detail the scope and results of this paper.

1.2 Overview and summary of results

In this paper, we further study the relationβ€”or β€œmetamorphosis”—between the various minimal action instantons in the geometries (1.1)-(1.1). We focus on S​U​(2)SU(2) Yang-Mills theory with a double-trace deformation potential, which we abbreviate as dYM, the deformed Yang-Mills theory of Ünsal and Yaffe [Unsal:2008ch]. We use numerical minimization of the lattice action of dYM on 𝕋4{\mathbb{T}}^{4}, subject to twisted boundary conditions. To motivate the use of numerics, we note that the analytic tools used in [Hayashi:2024yjc, Guvendik:2024umd] to study the monopole-instanton/center-vortex continuity apply in the limit where Lπ•Š1≫Lπ•Šdef1L_{{\mathbb{S}}^{1}}\gg L_{{\mathbb{S}}^{1}_{\text{def}}} (see Section 5.1). One of our goals is to use numerical methods to study the construction away from this limit. These also allow us to explore the core of the solution and the shape of the center vortex obtained from the monopole-instanton chain of Figure 2. In addition, we are also able to study the transition between the other configurations in some detail, e.g. between (1.1) and (1.1), as alluded to in Section 1.1.

The continuity between different fractionally charged semiclassical configurations on 𝕋4{\mathbb{T}}^{4} was previously studied using cooling (see [GarciaPerez:1993lic, deForcrand:1995qq, Montero:2000mv]) to find the lattice action minima [Wandler:2024hsq], albeit in pure gauge theory, without the addition of a deformation potential. An important technical point is that the addition of the nonlocal deformation potential requires the use of a different method to find the minima of the action. We reduce the action using a gradient flow method, similar to the Hamiltonian evolution phase of hybrid Monte Carlo, as described in Appendix A. dYM has been the subject of Monte Carlo simulations, e.g. [Bonati:2018rfg, Athenodorou:2020clr, Bonati:2020lal, Bonati:2025hik], but to the best of our knowledge, ours is the first study devoted to finding classical minimal action instanton configurations in dYM.

Section 2: Definitions. The paper begins by presenting the lattice action of S​U​(2)SU(2) dYM. To describe our results, we now briefly go over the main features of the setup. The double trace deformation is added in the x0x_{0} direction of period L0L_{0}. The scaling of the deformation term, with coefficient equal to cL03c\over L_{0}^{3} (see Eqn. (6)) is motivated by the continuum one-loop expression familiar from ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} studies [Unsal:2008ch, Unsal:2007jx]. In our simulations, we consider two choices of the dimensionless coefficient cc of the double-trace deformation: c=1c=1 and c=0c=0. The latter choice is equivalent to pure Yang-Mills, which has been previously studied (e.g. [Wandler:2024hsq]), and here is used to generate minimum action configurations to compare with c=1c=1 dYM vacua. The other directions are labelled x1,2,3x_{1,2,3}, of respective lengths L1,2,3L_{1,2,3}. We always impose a nontrivial twist in the 1212 plane, n12=1n_{12}=1. For the purpose of finding |Q|=1/2|Q|=1/2 instantons, we turn on another nontrivial twist, n03=1n_{03}=1. Finally, in all our simulations we take L1=L2L_{1}=L_{2} and vary L1L_{1} and L3L_{3}, keeping L0L_{0} small and fixed. This setup allows us to interpolate between the geometries (1.1)-(1.1), with the deformation in x0x_{0} present or not.

Section 3: Level crossing in dYM. We begin by studying the ground state of dYM on a spatial 𝕋(L0,L1,L2)|n12=13{\mathbb{T}}^{3}_{(L_{0},L_{1},L_{2})|_{n_{12}=1}}, with x3x_{3} considered as time and with the only nonzero ’t Hooft twist n12=1n_{12}=1. This single-twist setup explores Q=0Q=0 minimum action configurations on 𝕋4{\mathbb{T}}^{4}, i.e. classical ground states. Earlier, two local minima of the energy of dYM 𝕋(L0,L1,L2)|n123{\mathbb{T}}^{3}_{(L_{0},L_{1},L_{2})|_{n_{12}}} were proposed [Poppitz:2022rxv] as the candidate ground states: the β€œflux” and β€œno-flux” states (see [GarciaPerez:2013idu] for earlier discussion of the flux state) Their relevant properties are described in Section 3. As the names suggest, there is physical magnetic flux in one of these states (the β€œflux” one, where S​U​(2)β†’U​(1)SU(2)\rightarrow U(1)) and none in the other (the β€œno-flux” one, where S​U​(2)β†’β„€2SU(2)\rightarrow{\mathbb{Z}}_{2}).

The main result of Section 3 is our Figure 1. It presents numerical evidence that either the β€œflux” or β€œno-flux” state is the global energy minimum in dYM, for any shape of 𝕋(L0,L1,L2)|n12=13{\mathbb{T}}^{3}_{(L_{0},L_{1},L_{2})|_{n_{12}=1}}, with a level crossing occurring at a critical value (L1/L0)c≃1.5\left({L_{1}/L_{0}}\right)_{c}\simeq 1.5. For L1/L0L_{1}/L_{0} larger than the critical value, the β€œflux” vacuum is the minimum energy state, while for smaller values of the ratio, it is the β€œno-flux” vacuum. This level crossing has implications on the transition between center vortices on ℝ2×𝕋2{\mathbb{R}}^{2}\times{\mathbb{T}}^{2}, as per (1.1), and fractional instantons on ℝ×𝕋3{\mathbb{R}}\times{\mathbb{T}}^{3}, (1.1), in dYM, the subject of Section 6.

Section 4: Reminder on pure YM theory. Here, we recall some known properties of minimum action configurations in pure YM theory on 𝕋4{\mathbb{T}}^{4} with twists, with either a single twist (Q=0)(Q=0) or with two twists (|Q|=1/2(|Q|=1/2). The most important point is that, depending on the ratio between torus periods, abelianization around a |Q|=1/2|Q|=1/2 instanton localized in some directions can also occur in pure YM theory, as noted in [GarciaPerez:1999hs], [Wandler:2024hsq]. This implies that there are cases where the abelianization due to the deformation potential in dYM and due to the twist in YM align. We shall see later in the paper that, whenever this happens, there is little qualitative difference between |Q|=1/2|Q|=1/2 instantons in YM and dYM, with the deformation having the main effect of slightly raising the action above the BPS limit of 4​π24\pi^{2}.

Section 5: Center vortex/monopole-instanton continuity. Here, we study the transition between fractional instantons on different 𝕋4{\mathbb{T}}^{4} approximating ℝ(x1,x2,x3)3Γ—π•Š(x0)1{\mathbb{R}}^{3}_{(x_{1},x_{2},x_{3})}\times{\mathbb{S}}^{1}_{(x_{0})} and ℝ(x1,x2)2×𝕋(x0,x3)2{\mathbb{R}}^{2}_{(x_{1},x_{2})}\times{\mathbb{T}}^{2}_{(x_{0},x_{3})}. As usual the nonzero twists are n12n_{12} and n03n_{03}. To study this transition, in our numerical minimization, we keep L0L_{0} small, taking L1(=L2)L_{1}\;(=L_{2}) largeβ€”but by necessity finite, as opposed to the ℝ2{\mathbb{R}}^{2} of [Hayashi:2024yjc, Guvendik:2024umd]β€”and vary L3L_{3} from large to small, interpolating between lattices approximating ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} and ℝ2×𝕋2{\mathbb{R}}^{2}\times{\mathbb{T}}^{2}, our Eqns. (1.1) and (1.1). Using numerics, we are able to relax the condition L3≫L0L_{3}\gg L_{0}, needed to justify the analytical tools of [Hayashi:2024yjc, Guvendik:2024umd], and thus show that the continuity persists all the way to small L3≳L0L_{3}\gtrsim L_{0}. The dYM vacuum surrounding the localized |Q|=1/2|Q|=1/2 configurations of Section 5, for sufficiently large L3L_{3}, is always the β€œflux” S​U​(2)β†’U​(1)SU(2)\rightarrow U(1) vacuum, as we always have large L1>1.5​L0L_{1}>1.5L_{0}, hence the level crossing to the β€œno-flux” vacuum plays no role. However, for small L3∼L0L_{3}\sim L_{0}, the vacuum surrounding the center vortex in the 1212 plane breaks S​U​(2)β†’β„€2SU(2)\rightarrow{\mathbb{Z}}_{2} instead.888This is yet another β€œno-flux” vacuum, but this time on a spatial 𝕋(L0,L1,L3)|n03=13{\mathbb{T}}^{3}_{(L_{0},L_{1},L_{3})|_{n_{03}=1}}, with L2L_{2} considered as time (thus relevant for large L2L_{2}). There are two zero-energy classical vacua, which are the global minima of both YM and dYM (with the deformation still in the x0x_{0} direction) for any ratio of periods L0,1,3L_{0,1,3}.

We now summarize the results of the numerical study of Section 5, presented on Figures 3-9:

  1. 1.

    For the small values of L3≳L0L_{3}\gtrsim L_{0}, the abelianizations in YM and dYM align (as per the discussion of Section 4) and there is no qualitative difference between the corresponding |Q|=1/2|Q|=1/2 center-vortex configurations. The small-L3L_{3} similarity between YM and dYM minimal action configurations is clearly seen on Figures 3, 4, 6, and 7(a), the Gaussian fit on Fig. 8 of the center-vortex profile (discussed below), as well as on Fig. 9. The difference between YM and dYM appears at larger values of L3L_{3}β€”where the analysis of [Hayashi:2024yjc, Guvendik:2024umd] is operativeβ€”here dYM abelianizes, but the YM configurations are delocalized. This is seen upon comparing the two columns of Fig. 6, as well as the two rows of Fig. 9.

  2. 2.

    To study the collimation of the flux of the monopole-instanton chain into a center vortex, on Figure 7(b) we show how the dYM monopole-instanton flux profile collimates into a localized center vortex, upon increasing L1​L2L_{1}L_{2}. On Figures 8(a) and 8(b), for both dYM and YM on the same size lattice, we fit the center-vortex profile to a Gaussian and estimate its width, which agrees qualitatively with the exponential falloff estimate, exp⁑(βˆ’r​πL3)\exp(-{r\pi\over L_{3}}), seen for L3≫L0L_{3}\gg L_{0} and in the ℝ(x1,x2)2{\mathbb{R}}^{2}_{(x_{1},x_{2})} case (with rr the radial coordinate in ℝ2{\mathbb{R}}^{2}) in [Hayashi:2024yjc, Guvendik:2024umd]. We observe that the geometry where the fit was done is one where there is little qualitative difference between the YM and dYM configurations, owing to the alignment of abelianizations.

  3. 3.

    On Figure 8(c) and 8(d), we numerically demonstrate the disordering of the Wilson loop surrounding the center vortex for the small-L3L_{3} lattice whose flux is shown on Figure 8(a). This is similar to the analysis in pure YM from [Wandler:2024hsq]. Finally, Figure 9 shows that gauge invariants other than the action density (i.e. various Wilson loops) also evolve smoothly from large L3L_{3} to small L3L_{3}, both in YM and dYM.

The main lesson is that the L3≫L0L_{3}\gg L_{0} continuity between monopole-instantons and center vortices in dYM persists to small L3≳L0L_{3}\gtrsim L_{0}, with all qualitative features similar between the two limits. For the smaller L3L_{3} we studied, the same flux collimation effect is also seen in YM theory without deformation, due to the alignment of abelianization due to twist and deformation, as reviewed in Section 4.999As explained in Section 4, in pure YM with twists, whenever (26) holds, there is a two-stage abelianization, S​U​(2)β†’U​(1)SU(2)\rightarrow U(1) at a scale Ο€/L0\pi/L_{0}, and a subsequent (for L3≫L0L_{3}\gg L_{0}) breaking U​(1)β†’β„€2U(1)\rightarrow{\mathbb{Z}}_{2} at a lower scale Ο€/L3\pi/L_{3}. See [Guvendik:2024umd] for a discussion of the two-stage Higgsing within a monopole-instanton gas effective theory framework. However, pure YM fails to abelianize at larger values of L3L_{3} (see (26) and the discussion in Section 4 that follows) and the |Q|=1/2|Q|=1/2 background becomes delocalized. The alignment of abelianizations in YM and dYM makes it clear, however, that the mechanism of a monopole-instanton chain becoming a center vortex, while technically relying on the deformation potential [Hayashi:2024yjc, Guvendik:2024umd], is more general and also applies in pure YM theory, provided the shape of the 𝕋4{\mathbb{T}}^{4} is appropriately tuned.

Section 6: From monopole-instantons to fractional instantons on ℝ×𝕋3{\mathbb{R}}\times{\mathbb{T}}^{3}. Here we take a different path, studying the transition between fractional instantons on tori approximating ℝ(x1,x2,x3)3Γ—π•Š(x0)1{\mathbb{R}}^{3}_{(x_{1},x_{2},x_{3})}\times{\mathbb{S}}^{1}_{(x_{0})} and ℝ(x3)×𝕋(x0,x1,x2)3{\mathbb{R}}_{(x_{3})}\times{\mathbb{T}}^{3}_{(x_{0},x_{1},x_{2})}. As before, the nonzero twists are n12n_{12} and n34n_{34}. We keep L0L_{0} fixed and small, while L3L_{3} is fixed and large, and vary L1L_{1} (=L2)(=L_{2}) from large L1∼L3L_{1}\sim L_{3}, to small L1∼L0L_{1}\sim L_{0}, interpolating between the two desired geometries, (1.1) and (1.1). As opposed to the previous study, here the dYM vacuum surrounding a localized instanton exhibits level crossing from the β€œflux,” at large L1>1.5​L0L_{1}>1.5L_{0}, to the β€œno-flux” vacuum at small L1<1.5​L0L_{1}<1.5L_{0}. Since, as per our results of Section 3, this is a dYM level-crossing transition, we expect that the nature of |Q|=1/2|Q|=1/2 minimum action solutions will also change discontinuously. Indeed, this is what our results on Figures 10, 11, 12, 13 appear to indicate.

Here, we only give a brief description of the results. For L1<1.5​L0L_{1}<1.5L_{0}, we find the ℝ×𝕋n123{\mathbb{R}}\times{\mathbb{T}}^{3}_{n_{12}} fractional instantons studied long ago in [RTN:1993ilw, Gonzalez-Arroyo:1995ynx] (seen in the low-L1L_{1} region of Fig. 10, as discussed there). These fractional instantons, as per our Eqn. (1.1), are well localized in L3L_{3}. As is also well known, they disorder the tr​W0\,{\rm tr}\,W_{0} Wilson loop, which approaches values Β±2\pm 2 away from the solution. Both these features are seen on Fig. 11.

For L1>1.5​L0L_{1}>1.5L_{0}, on the other hand, we find the flux vacuum monopole-instanton chain configurations described earlier (such a configuration at the transition point is shown on Fig. 12).

The new feature specific101010We recall that along the same path in pure YM theory, for the lattices we study, the transition proceeds, instead, via the maximally delocalized constant-field strength instanton [tHooft:1981nnx], which has minimal action when L1​L2=L0​L3L_{1}L_{2}=L_{0}L_{3}, studied in [Wandler:2024hsq]. to dYM is the transition region near L1≃1.5​L0L_{1}\simeq 1.5L_{0}. Here, both the Wilson and deformation action of the minimum action configurations have a peak (as a function of L1L_{1}), seen on Fig. 10. For the critical value of L1L_{1}, our action minimization algorithm finds two kinds of configurations, of roughly the same total action. These are either monopole-instantons in the flux vacuum, localized in x3x_{3} and shown on Fig. 12, or the delocalized (in x3x_{3}) configurations shown on Fig. 13 and described there in detail. This apparent degeneracy is consistent with a level crossing transition, however, we do not have a detailed understanding of the delocalized configurations; their study requires a more fine-grained resolution of the transition region, which is beyond our scope here.

1.3 Outlook

The study of this paper further confirms that the set of minimal action configurations listed in (1.1)-(1.1) are related to each other in intricate ways, forming a rich set of interconnected saddle points related by changing the twists and ratios of periods of 𝕋4{\mathbb{T}}^{4}. In this regard, our study could be furthered by considering in more detail the β€œcritical” region of the transition between the monopole-instanton and fractional instanton configurations of (1.1) and (1.1), studied in Section 6 and associated with a transition between the flux and no-flux vacua of dYM. This, however, requires a significantly more fine-grained study of the transition and the associated computer resources. Additionally, the gradient flow technique used to generate minimum action configurations could in principle be used to place upper bounds on the height of the energy barriers between vacua near the critical point. By giving configurations in one vacuum progressively stronger β€œkicks” or fictitious kinetic energy, until the lattice settles into the other vacuum, it could be possible to trace the path through field space the lattice takes. By computing the energy of these intermediate configurations it would be possible to place an upper bound on the height of the energy barrier.

A more general questionβ€”interesting from both mathematics and physics points of viewβ€”concerns the nature and moduli of classical self-dual instantons of (fractional) charge Q=r/NQ=r/N, βˆ€rβˆˆβ„•\forall r\in\mathbb{N}, in S​U​(N)SU(N) YM theory on a twisted 𝕋4{\mathbb{T}}^{4}. For general r>1r>1, the moduli space of such field configurations is only understood locally, as in [Anber:2025yub, Poppitz:2026gfa], using a combination of numerical and analytic tools. On the numerical side, it would be interesting to study whether one could make further progress, first for N=2N=2, for any r>1r>1, by generalizing the methods of [GarciaPerez:1993lic, deForcrand:1995qq].

2 The lattice setup of deformed Yang-Mills (dYM) theory

We study Wilson’s lattice gauge theory for an S​U​(2)SU(2) gauge group, on a rectangular 𝕋4{\mathbb{T}}^{4} lattice of periods LΞΌL_{\mu}, ΞΌ=0,1,2,3\mu=0,1,2,3. The theory obtained by the addition of a double-trace deformation [Unsal:2008ch] in the L0L_{0} direction with coordinate x0∈{1,2,…,L0}x_{0}\in\{1,2,...,L_{0}\} converts it into deformed Yang-Mills theory (dYM). It is well known that the double trace deformation can be due to massive adjoint fermions [Unsal:2008ch, Unsal:2007jx, Unsal:2007vu] but this interpretation is not relevant for us, as we are focused on studying classical minima.

We also add a ’t Hooft flux background defined by six (mod 22) integers nμ​ν=βˆ’nν​μn_{\mu\nu}=-n_{\nu\mu}. The latter will be chosen to be only nontrivial in the 0303 and 1212 planes:

n03\displaystyle n_{03} =\displaystyle= 1​or​ 0,n12=1.\displaystyle 1\;\text{or}\;0,\penalty 10000\ \penalty 10000\ n_{12}=1. (5)

As indicated, we sometimes turn off the 0303-plane flux by choosing n03=0n_{03}=0, notably in Section 3. Further, in all our studies, we take L1=L2L_{1}=L_{2} and vary L1L_{1} along with L3L_{3}, usually keeping L0L_{0} the smallest dimension. Thus, upon comparing different dimensions, we shall often refer to ratios of L0,L3L_{0},L_{3} to L1L_{1} only. We begin with the lattice action of dYM:

St​o​t​a​l\displaystyle S_{total} =\displaystyle= A​(SW​i​l​s​o​n+Sd​e​f.)=A​(βˆ‘xβˆ‘ΞΌβ€‹Ξ½tr​(πŸβˆ’Bμ​ν​(x)​░μ​ν​(x))+cL03β€‹βˆ‘xβ†’|tr​W0​(xβ†’)|2).\displaystyle A(S_{Wilson}+S_{def.})=A\left(\sum_{x}\sum_{\mu\nu}{\rm tr}\left(\mathbf{1}-B_{\mu\nu}(x){\Box}_{\mu\nu}(x)\right)+{c\over L_{0}^{3}}\sum_{\vec{x}}\left|{\rm tr}W_{0}(\vec{x})\right|^{2}\right)\penalty 10000\ . (6)

Here, ░μ​ν​(x)=Uμ​(x)​Uν​(x+e^ΞΌ)​Uμ†​(x+e^Ξ½)​Uν†​(x)\Box_{\mu\nu}(x)=U_{\mu}(x)U_{\nu}(x+\hat{e}_{\mu})U_{\mu}^{\dagger}(x+\hat{e}_{\nu})U^{\dagger}_{\nu}(x) is the μ​ν\mu\nu-plane plaquette, located at the lattice point xx, with e^ΞΌ\hat{e}_{\mu} a unit vector in the xΞΌx_{\mu} direction and Uμ​(x)U_{\mu}(x)β€”the S​U​(2)SU(2)-valued link variables, periodic upon a shift of xΞΌx_{\mu} by LΞΌL_{\mu}. x0x_{0} denotes the coordinate in the direction with the double-trace deformation, and sometimes we use xβ†’\vec{x} to label coordinates in the x1,2,3x_{1,2,3} directions. Bμ​νB_{\mu\nu} is the two-form (i.e. plaquette-based) topological background for the β„€2(1){\mathbb{Z}}_{2}^{(1)} 11-form symmetry, or a ’t Hooft twist. Explicitly, the fundamental representation Wilson loop W0W_{0} winding in the x0x_{0} direction, starting from x0=1x_{0}=1, and the two-form background are:111111Winding Wilson loops WΞΌW_{\mu} in the xΞΌx_{\mu} directions are defined similar to (7), with 0β†’ΞΌ0\rightarrow\mu.

W0​(xβ†’)\displaystyle W_{0}(\vec{x}) =\displaystyle= ∏j=1j=L0U0​(j,xβ†’),for​xβ†’βˆˆβ„€3,\displaystyle\prod\limits_{j=1}^{j=L_{0}}U_{0}(j,\vec{x}),\;{\text{for}}\;\vec{x}\in\mathbb{Z}^{3}, (7)
Bμ​ν​(x)\displaystyle B_{\mu\nu}(x) =\displaystyle= {(βˆ’1)nμ​ν,xΞΌ=LΞΌ,xΞ½=LΞ½1,else.\displaystyle\begin{cases}(-1)^{n_{\mu\nu}},&x_{\mu}=L_{\mu},x_{\nu}=L_{\nu}\\ 1,&{\rm else}\end{cases}. (8)

The ’t Hooft fluxes are inserted in a corner of the relevant 22-plane; this choice is inessential as the backgrounds are topological. Whenever both twists in (5) are nontrivial, the two-form background consists of two intersecting nondynamical center vortices. When n03=0n_{03}=0, there is only a single one: a 22-plane extending in x3,x4x_{3},x_{4} and located at x1=L1,x2=L2x_{1}=L_{1},x_{2}=L_{2}. The double-trace deformation term in (6) is the one proportional to |tr​W0|2|\,{\rm tr}\,W_{0}|^{2}. The L0βˆ’3L_{0}^{-3} scaling of the coefficient of the deformation term is motivated by the usual one-loop expression obtained on ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} in the continuum. Our studies are for the particular value c=1c=1, but we also take the pure YM limit c=0c=0 (whose relevant properties are reviewed in Section 4). Throughout, as we further discuss in Section 3, the x0x_{0} direction of extent L0L_{0} is associated with the small spatial circle familiar from continuum studies on ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1}.

Our purpose is to study the minima of the classical action, the one in the brackets in (6), upon varying the twists and the ratio of sides of the torus. Thus, the overall coefficient AA will be adjusted at will during the simulation and, after computing the action of a minimum action configuration, it is divided out, see Appendix A. When referring to our results, we always list the lattice size in the order (L0,L1,L2,L3)(L_{0},L_{1},L_{2},L_{3}), taking L1=L2L_{1}=L_{2}. We study minima of the action (6) with two choices of twists (5). The first choice only involves a single nontrivial twist, n12n_{12},

(L0,L1,L2⏟n12=1,L3⏞n03=0)⟹minimum action configurations withΒ Q=0, or classical vacua on 𝕋(L0,L1,L2)|n12=13,\displaystyle(\overbrace{L_{0},\underbrace{L_{1},L_{2}}_{n_{12}=1},L_{3}}^{n_{03}=0})\implies\;{\text{minimum action configurations with $Q=0$, or classical vacua on ${\mathbb{T}}^{3}_{(L_{0},L_{1},L_{2})|_{n_{12}=1}}$}},
(9)

and is studied in Section 3. The second case is when both twists are nontrivial [tHooft:1979rtg, tHooft:1981sps, vanBaal:1982ag],

(L0,L1,L2⏟n12=1,L3⏞n03=1)⟹minimum action configurations with |Q|=12, or fractional instantons.\displaystyle(\overbrace{L_{0},\underbrace{L_{1},L_{2}}_{n_{12}=1},L_{3}}^{n_{03}=1})\implies\;{\text{minimum action configurations with $|Q|={1\over 2}$, or fractional instantons}}. (10)

For |Q|=1/2|Q|=1/2, for c=0c=0, the minimal action solutions obey the BPS bound, 1A​SW​i​l​s​o​n=1A​SB​P​S=4​π2{1\over A}S_{Wilson}={1\over A}S_{BPS}=4\pi^{2}.

3 dYM vacua on 𝕋(π‹πŸŽ,π‹πŸ,π‹πŸ)|𝐧𝟏𝟐=πŸπŸ‘\mathbf{{\mathbb{T}}^{3}_{{(L_{0},L_{1},L_{2})}|_{\;n_{12}=1}}}: from β€œflux” to β€œno-flux” upon changing the π•‹πŸ‘\mathbf{{\mathbb{T}}^{3}} shape

In this section, we study the ground states of dYM on 𝕋(L0,L1,L2)|n12=13{\mathbb{T}}^{3}_{{(L_{0},L_{1},L_{2})}|_{\;n_{12}=1}}, upon changing the ratio L1/L0L_{1}/L_{0} (recall that we always take L1=L2L_{1}=L_{2}). Our lattice minimization of the action (6) shows that the one of the two continuum states discussed in [Poppitz:2022rxv], known to be local minima, is always a global minimum of the energy, with the transition between them being a level crossing. These two states also played important role in the study of [Guvendik:2024umd].

We begin with the classical continuum limit of the dYM lattice action (6):

St​o​t​a​lA|cont.;n03,n12\displaystyle{S_{total}\over A}\bigg|_{cont.;\;n_{03},n_{12}} =\displaystyle= βˆ‘ΞΌ,Ξ½βˆ«π•‹4d4​x​12​tr​Fμ​ν​Fμ​ν+cL03β€‹βˆ«π•‹3d3​x→​|tr​W0​(xβ†’)|2,\displaystyle\sum\limits_{\mu,\nu}\int\limits_{{\mathbb{T}}^{4}}d^{4}x{1\over 2}\text{tr}F_{\mu\nu}F^{\mu\nu}+{c\over L_{0}^{3}}\int\limits_{{\mathbb{T}}^{3}}d^{3}\vec{x}\;\left|{\rm tr}W_{0}(\vec{x})\right|^{2}, (11)

where L0L_{0} now denotes the physical size of the x0x_{0} dimension. As indicated in (11), the continuum fields are subject to twisted boundary conditions determined by the twists (5), as in [tHooft:1979rtg, tHooft:1981sps]. The action (11) is the well-known action of continuum dYM theory [Unsal:2008ch].

We now consider L3L_{3} as the time direction and minimize the energy on the spatial 𝕋3{\mathbb{T}}^{3} of size L0,L1,L2L_{0},L_{1},L_{2}, with a nontrivial twist n12=1n_{12}=1. We take n03=0n_{03}=0, consistent with the interpretation that we are looking for energy minima on a spatial 𝕋3{\mathbb{T}}^{3} with a single twist. The continuum energy functional, following from the Minkowski version of (11), see [Poppitz:2022rxv], in the A3=0A_{3}=0 gauge,121212We hope that the choice of x3x_{3} to label the time direction will not be too confusing. upon setting the momentum variables (electric fields, or derivatives w.r.t. x3x_{3} time) to zero and taking generators obeying tr ta​tb=Ξ΄a​b/2t^{a}t^{b}=\delta^{ab}/2, is:

EA=∫0L1𝑑x1β€‹βˆ«0L2𝑑x2β€‹βˆ«0L0𝑑x0​(12​F12a​F12a+12​F0​ia​F0​ia+cL04​|tr​W0​(xβ†’)|2),\displaystyle{E\over A}=\int\limits_{0}^{L_{1}}dx_{1}\int\limits_{0}^{L_{2}}dx_{2}\int\limits_{0}^{L_{0}}dx_{0}\left({1\over 2}F_{12}^{a}F_{12}^{a}+{1\over 2}F_{0i}^{a}F_{0i}^{a}+{c\over L_{0}^{4}}\;\left|{\rm tr}W_{0}(\vec{x})\right|^{2}\right), (12)

with a sum over a=1,2,3a=1,2,3 and i=1,2i=1,2 implied. The gauge fields obey twisted boundary conditions in the 1212 plane and are periodic in the third spatial direction of length L0L_{0}.

There are two competing classical states in the 𝕋3{\mathbb{T}}^{3} theory with a deformation and a ’t Hooft twist n12=1n_{12}=1, discussed in great detail in [Poppitz:2022rxv]. We refer the reader to that reference for details of the choice of gauge for the transition functions and for the gauge-field backgrounds associated with these states. We call these the β€œflux” and β€œno-flux” state.

The essential properties of the flux state are:

β€œflux”:F12\displaystyle\text{``flux''}:F_{12} =\displaystyle= 2​πL1​L2​σ32,F01=F02=0,tr​W0=0,tr​(W0​F12)=Β±i​2​πL1​L2,\displaystyle{2\pi\over L_{1}L_{2}}{\sigma^{3}\over 2},\penalty 10000\ F_{01}=F_{02}=0,\penalty 10000\ \,{\rm tr}\,W_{0}=0,\penalty 10000\ \text{tr}(W_{0}F_{12})=\pm i{2\pi\over L_{1}L_{2}},
tr​W1=2​cos⁑π​x2L2,tr​W2=2​cos⁑π​x1L1,\displaystyle\,{\rm tr}\,W_{1}=2\cos{\pi x_{2}\over L_{2}},\,{\rm tr}\,W_{2}=2\cos{\pi x_{1}\over L_{1}},

where we ignored the arbitrary origin of x1,x2x_{1},x_{2} in the Wilson lines above and chose a particular gauge [Poppitz:2022rxv] to describe F12F_{12}. Notice that both W1W_{1} and W2W_{2} undergo a center symmetry transformation upon a period shift of x2x_{2} or x1x_{1}, respectively. Thus, W1W_{1} is antiperiodic under upon a x2x_{2} translation and v.v.. The antiperiodicity of W1W_{1} w.r.t. a period translation in x2x_{2}, etc., is a general property due to the nontrivial ’t Hooft twist n12n_{12}.

For the β€œno-flux” vacuum, we have instead:

β€œno-flux”:F12\displaystyle\text{``no-flux''}:F_{12} =\displaystyle= F01=F02=0,tr​W0=Β±2,\displaystyle F_{01}=F_{02}=0,\penalty 10000\ \,{\rm tr}\,W_{0}=\pm 2\penalty 10000\ ,
tr​W1=tr​W2=tr​W1​W2=0.\displaystyle\,{\rm tr}\,W_{1}=\,{\rm tr}\,W_{2}=\,{\rm tr}\,W_{1}W_{2}=0\penalty 10000\ .

Both the flux and no-flux classical ground states are two-fold degenerate, the degenerate states related by the β€œbroken” 11-form β„€2{\mathbb{Z}}_{2} center symmetry in the x0x_{0} direction, which acts as W0β†’βˆ’W0W_{0}\rightarrow-W_{0}. From (12), we immediately obtain for the energies of the states (3, 3):

EfluxA\displaystyle{E_{\text{flux}}\over A} =\displaystyle= 2​π2​L0L1​L2,\displaystyle 2\pi^{2}{L_{0}\over L_{1}L_{2}},
Eno-fluxA\displaystyle{E_{\text{no-flux}}\over A} =\displaystyle= 4​c​L1​L2L03⟹EfluxEno-flux=Ο€22​c​(L0L1​L2)4.\displaystyle 4c{L_{1}L_{2}\over L_{0}^{3}}\implies{E_{\text{flux}}\over E_{\text{no-flux}}}={\pi^{2}\over 2c}\left({L_{0}\over\sqrt{L_{1}L_{2}}}\right)^{4}. (15)

Thus, the classical flux state has lower energy at small L0/L1​L2L_{0}/\sqrt{L_{1}L_{2}}, while the no-flux has lower energy for large L0/L1​L2L_{0}/\sqrt{L_{1}L_{2}}. The two energies are of the same order when L1​L2/L0=(Ο€2/2)14\sqrt{L_{1}L_{2}}/L_{0}=(\pi^{2}/2)^{1\over 4}, for c=1c=1, thus we expect a transition between these two ground states at a critical value of the ratio

L1L0|c​r​i​t.=(Ο€22)14≃1.49,\displaystyle{L_{1}\over L_{0}}\bigg|_{crit.}=\left({\pi^{2}\over 2}\right)^{1\over 4}\simeq 1.49, (16)

where we took L1=L2L_{1}=L_{2}. We can summarize the β€œphase structure” implied by (16) as:

β€œL1L0>1.5↔ flux vacuum”andβ€œL1L0<1.5↔ no-flux vacuum”.\displaystyle\penalty 10000\ \text{``${L_{1}\over L_{0}}>1.5\leftrightarrow$ flux vacuum''}\penalty 10000\ \penalty 10000\ \text{and}\penalty 10000\ \penalty 10000\ \text{``${L_{1}\over L_{0}}<1.5\leftrightarrow$ no-flux vacuum''}. (17)

Numerically, we found that (16, 17) correctly locate the transition between the flux and no-flux vacua on the lattices we study: a minimization of our lattice action (6) with c=1c=1, a trivial n03=0n_{03}=0, and n12=1n_{12}=1, exhibits this transition precisely near this value (see Figure 1 below).

To connect the above analysis to the lattice minimization of the Euclidean action (6), we note that the two vacua (3, 3) are associated with the following actions, found by simply multiplying the energies (3) by the extent of the time direction L3L_{3}:

SfluxA\displaystyle{S_{\text{flux}}\over A} =\displaystyle= 2​π2​L3​L0L1​L2|L1=L2=4​L3L0​π22​(L0L1)2,\displaystyle 2\pi^{2}{L_{3}L_{0}\over L_{1}L_{2}}\bigg|_{L_{1}=L_{2}}=4{L_{3}\over L_{0}}\;{\pi^{2}\over 2}\left({L_{0}\over L_{1}}\right)^{2}, (18)
Sno-fluxA\displaystyle{S_{\text{no-flux}}\over A} =\displaystyle= 4​L3​L1​L2L03|L1=L2=4​L3L0​(L1L0)2.\displaystyle 4{L_{3}L_{1}L_{2}\over L_{0}^{3}}\bigg|_{L_{1}=L_{2}}=4{L_{3}\over L_{0}}\;\left({L_{1}\over L_{0}}\right)^{2}\penalty 10000\ .

For use below, we also give the lattice definition of the gauge invariant U​(1)U(1) flux, given in the continuum in the last term of the first line in (3):131313The terms ∼tr​W0\sim\text{tr}\;W_{0} vanish in the flux vacuum (3). Now, a general S​U​(2)SU(2) group element is W0=cos⁑α+i​sin⁑α​n^β‹…Οƒβ†’W_{0}=\cos\alpha+i\sin\alpha\;\hat{n}\cdot\vec{\sigma}. The inclusion of tr​W0\text{tr}\;W_{0} in (19) is to eliminate the Ξ±\alpha dependence for tr W0β‰ 0W_{0}\neq 0, or Ξ±β‰ Ο€/2\alpha\neq\pi/2. To explain, we note that in our further study we will use the definition (19) to study the U​(1)U(1) field around a monopole-instanton. Near its core, cos⁑α≠0\cos\alpha\neq 0, only approaching zero asymptotically. Naturally, near Ξ±=0\alpha=0, the definition (19) breaks down, as |tr​W0|=2|\text{tr}\;W_{0}|=2 and the theory is nonabelian.

Fμ​νU​(1)=tr​(░μ​ν​W0)βˆ’tr​W01βˆ’(12​tr​W0)2.\displaystyle F^{U(1)}_{\mu\nu}=\frac{\text{tr}\left(\Box_{\mu\nu}W_{0}\right)-\text{tr}W_{0}}{\sqrt{1-\left(\frac{1}{2}\text{tr}W_{0}\right)^{2}}}\penalty 10000\ . (19)

For small L0L_{0}, as implied by (17), the integral of F12U​(1)F^{U(1)}_{12} over the 1212 plane is indeed equal to Β±i​2​π\pm i2\pi in the flux vacua (3).

Before continuing to show that the β€œphase transition” (17) is corroborated by our numerical minimization, let us make some comments regarding the flux and no-flux states:

  1. 1.

    The flux and no-flux states are local minima of the energy functional in dYM on 𝕋3{\mathbb{T}}^{3} with n12=1n_{12}=1. For the no-flux state in pure YM theory, this has been known since [Witten:1982df] (see [GonzalezArroyo:1987ycm] for a calculation of the massive spectrum). The argument trivially generalizes to dYM. For the flux state, see [Unsal:2020yeh] and, for details of the massive spectrum [Poppitz:2022rxv].

    However, we stress that there is no proof, but only heuristic arguments [Unsal:2020yeh, Poppitz:2022rxv] (for example, continuity at L1​L2β†’βˆžL_{1}L_{2}\rightarrow\infty, where the flux state approaches the dYM ground state on ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1}) that one of these two states represent the global minimum of the energy in dYM for any shape of 𝕋3{\mathbb{T}}^{3}. Below, see Figure 1, by minimizing the lattice action of dYM for various shapes of 𝕋3{\mathbb{T}}^{3}, we numerically find that, indeed, either the flux or the no-flux state represents the true ground state in the appropriate regime (17). This is one of the new results of this paper.

  2. 2.

    Next, we note that in the flux vacuum the theory classically abelianizes. To see this, we note that upon a choice of gauge, we can describe the flux vacuum (3) by taking ⟨W0⟩=Β±i​σ3\langle W_{0}\rangle=\pm i\sigma_{3}, along with the value of F123F_{12}^{3} given in (3). The winding Wilson loop W0W_{0} acts as a unitary Higgs field, whose vev breaks S​U​(2)β†’U​(1)SU(2)\rightarrow U(1) at a scale Ο€/L0\pi/L_{0} (the vev i​σ3i\sigma_{3} only commutes with the U​(1)U(1) Cartan subgroup and the non-Cartan gauge bosons have mass of order 1/L01/L_{0}). Then, the last term of (3) is the usual gauge invariant definition of the flux in an unbroken U​(1)U(1) via the Higgs field (with lattice version (19)). The massless and massive spectra are explicitly given in [Poppitz:2022rxv].

    The quantum theory in the flux vacuum remains weakly coupled at L0​Λβ‰ͺΟ€L_{0}\Lambda\ll\pi, with Ξ›\Lambda the strong coupling scale of the theory (in this limit, the scale of the breaking is 1/L0≫Λ1/L_{0}\gg\Lambda, ensuring weak coupling). Thus, the classical flux vacuum is close to the true quantum vacuum for such values of L0L_{0}.

    As we saw above, the flux state is the preferred classical ground state when L0/L1​L2β‰ͺ1L_{0}/\sqrt{L_{1}L_{2}}\ll 1 (see eqns. (16, 17)) and certainly in the large L1​L2L_{1}L_{2} limit (e.g. ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1}). From the above, it remains close to the quantum ground state when, in addition, L0L_{0} obeys L0​Λβ‰ͺ1L_{0}\Lambda\ll 1.

  3. 3.

    Similarly, we could describe the no-flux vacuum (3) by taking the Higgs field vev ⟨W0⟩=±𝟏\langle W_{0}\rangle=\pm{\mathbf{1}}, a unit matrix commuting with all generators, apparently implying that there is no gauge symmetry β€œbreaking.” However, there are two more unitary Higgs fields, whose expectation values are ⟨tr​W1⟩=⟨tr​W2⟩=0\langle\,{\rm tr}\,W_{1}\rangle=\langle\,{\rm tr}\,W_{2}\rangle=0. These correspond to non-commuting unitary adjoint Higgs fields W1W_{1} and W2W_{2} whose vevs can be taken the shift and clock matrices, e.g. i​σ1i\sigma_{1} and i​σ3i\sigma_{3} for S​U​(2)SU(2), thus breaking S​U​(2)β†’β„€NSU(2)\rightarrow{\mathbb{Z}}_{N}.141414As further elaborated in Section 4, if one takes L1β‰ L2L_{1}\neq L_{2} the breaking proceeds in two stages.

    In the absence of a deformation (i.e. in pure YM theory), the no-flux vacuum is the classical ground state of the 𝕋(L0,L1,L2)3{\mathbb{T}}^{3}_{(L_{0},L_{1},L_{2})} theory with n12=1n_{12}=1, for any L0,L1,L2L_{0},L_{1},L_{2} [Witten:1982df]. This is clear from the fact that all field strengths in (3) vanishβ€”hence, in the absence of a deformation, the classical energy is zero, the minimum possible one. Thus, it is also clear that this vacuum is expected to be the lowest energy classical state when the deformation contribution is subdominant, i.e. at L0/L1​L2≫1L_{0}/\sqrt{L_{1}L_{2}}\gg 1, or the more precise eqn. (17).

    For general L1,L2L_{1},L_{2} the quantum theory in the no-flux vacuum is strongly coupled. However, at small L1​L2\sqrt{L_{1}L_{2}}, such that L1​L2​Λβ‰ͺ1\sqrt{L_{1}L_{2}}\;\Lambda\ll 1, the gauge group, as described above, can be considered broken to β„€N{\mathbb{Z}}_{N} by the ’t Hooft boundary conditions. Taking L1=L2L_{1}=L_{2}, for such values of L1L_{1}, all fields have mass ∼1/L1≫Λ\sim 1/L_{1}\gg\Lambda (see [GonzalezArroyo:1987ycm]). The classical theory at distances larger than the inverse mass gap is a β„€2{\mathbb{Z}}_{2} TQFT, a theory whose Hilbert space consists of the two degenerate no-flux states (3). Quantum mechanically, the degeneracy of the two states is lifted by tunnelling associated with fractional instantons. The area law of the appropriate Wilson loop, e.g. the long distance correlator of two tr​W0\,{\rm tr}\,W_{0} operators on 𝕋3×ℝ{\mathbb{T}}^{3}\times{\mathbb{R}}, is a consequence of the lifting of this degeneracy. This can be described in different ways: in semiclassical terms, [RTN:1993ilw, Gonzalez-Arroyo:1995ynx], recently also reviewed in section 6 of [Anber:2025vjo], or, in modern language, as the deformation of the β„€2{\mathbb{Z}}_{2} TQFT by a term leading to the restoration of the β„€2(1){\mathbb{Z}}_{2}^{(1)} 11-form symmetry [Nguyen:2024ikq].

Refer to caption

Figure 1: The Wilson action, the deformation action, and the total action, computed for the numerically determined minimal action configuration for dYM on a (15,L,L,64)(15,L,L,64) lattice, for different L=5,…,35L=5,...,35. On each plot, we show the two continuum curves of the actions for the flux and no-flux vacua of eqn. (18). The total action plot shows that there is a transition from the no-flux vacuum, at L<LcL<L_{c}, to the flux vacuum, at L>LcL>L_{c} at Lc=1.5​L0∼20L_{c}=1.5L_{0}\sim 20.

Now, on Figure 1, we present the numerical evidence for the transition (17) between the two minima of the dYM action with n12=1n_{12}=1 and n03=0n_{03}=0. As seen from the numerical data, there is a transition at a critical value Lc∼20L_{c}\sim 20 (22.522.5 is the theoretical continuum value of eqn. (17)). This provides numerical evidence that, indeed, one of the two local minima, the flux (3) and no-flux (3) one, is the dYM ground state on 𝕋(x0,x1,x2)|n12=13{\mathbb{T}}^{3}_{(x_{0},x_{1},x_{2})|_{n_{12}=1}} in the appropriate parts of the β€œphase diagram.” We notice that since both vacua are local minima, the transition is β€œfirst order:” there is level crossing and the flux and the no-flux state are degenerate at the transition point. Our limited numerical study here does not locate precisely this point (at any rate, the continuum critical value (16) is irrational), nor can it measure the height of the energy barrier separating the two. The point shown at L1=20L_{1}=20 has vanishing deformed and nonvanishing Wilson action, i.e. belongs to the flux vacuum. The level crossing and associated transition from the flux to the no-flux state evident on the r.h. plot of Figure 1 will be important in our Section 6, when we study the transition from monopole instantons on ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} to fractional instantons on ℝ×𝕋3{\mathbb{R}}\times{\mathbb{T}}^{3}.

4 Review of minimum action configurations of pure YM with different (π§πŸŽπŸ‘,𝐧𝟏𝟐)\mathbf{(n_{03},n_{12})} on π•‹πŸ’{\mathbf{{\mathbb{T}}^{4}}} of varying shape

Here, we turn off the deformation and recall some pertinent features of pure YM theory on 𝕋4{\mathbb{T}}^{4} with twists (5). The reason for this review is that the features of pure YM theory on a twisted 𝕋4{\mathbb{T}}^{4} described here are important for the interpretation of some our results of the following Sections, notably the comparison between dYM and YM observables.

First, when only a single twist is nonzero, there are 222^{2} classical zero action configurations in pure YM theory on 𝕋4{\mathbb{T}}^{4} [Witten:1982df, Gonzalez-Arroyo:1997ugn]. Using gauge invariant terms, these are easy to describe. We begin with n12=1n_{12}=1 being the only nonzero twist, where the zero action configurations are:

(n03=0,n12=1):Sm​i​n.=0,trW1=trW2=0,trW0=Β±2,trW3=Β±2,trW1W2=0,\displaystyle(n_{03}=0,n_{12}=1):S_{min.}=0,\,{\rm tr}\,W_{1}=\,{\rm tr}\,W_{2}=0,\,{\rm tr}\,W_{0}=\pm 2,\,{\rm tr}\,W_{3}=\pm 2,\,{\rm tr}\,W_{1}W_{2}=0, (20)

with all signs uncorrelated. This is simply the no-flux vacuum of dYM described in Section 3 (twice repeated, i.e. by taking the time direction to be either x3x_{3} or x0x_{0}). In pure YM, the action vanishes due to the absence of deformation potential. The zero-action configurations (20) are related by the action of the classically broken β„€2{\mathbb{Z}}_{2} center symmetries in the 0 and 33 directions, the ones in the plane with vanishing twist. Likewise, when only n03=1n_{03}=1 is nonzero, the roles of the 1212 and 0303 directions are reversed, giving rise to four configurations related by the broken β„€2{\mathbb{Z}}_{2} center symmetry in the 11 and 22 directions:

(n03=1,n12=0):Sm​i​n.=0,trW1=Β±2,trW2=Β±2,trW0=trW3=0,trW0W3=0.\displaystyle(n_{03}=1,n_{12}=0):S_{min.}=0,\,{\rm tr}\,W_{1}=\pm 2,\,{\rm tr}\,W_{2}=\pm 2,\,{\rm tr}\,W_{0}=\,{\rm tr}\,W_{3}=0,\,{\rm tr}\,W_{0}W_{3}=0. (21)

Next, when both twists are nonzero, the action saturates the BPS bound for a |Q|=1/2|Q|=1/2 instanton, SB​P​S=4​π2S_{BPS}=4\pi^{2} [tHooft:1979rtg, tHooft:1981sps, vanBaal:1982ag]. The corresponding instanton, apart from the particular case151515In the tuned L1​L2=L0​L3L_{1}L_{2}=L_{0}L_{3} case, the action density of the solution in pure YM is uniform through the entire 𝕋4{\mathbb{T}}^{4} [tHooft:1981nnx]. of an (almost) tuned torus shape, L1​L2=L0​L3L_{1}L_{2}=L_{0}L_{3}, is generically found to be localized in at least some of the 𝕋4{\mathbb{T}}^{4} directions. The details of the localization, however, depend on the specific choices of shape of the torus. We consider two explicit examples in the paragraphs after eqn. (26) below, taken from [Wandler:2024hsq]. A generic feature seen is that, whenever there are directions in which the instanton is localized, the minimum action configuration approaches, as one moves away from the core of the instanton, one of the two zero action density configurations, (20) or (21). Clearly, this is necessary if the finite action solution is to persist as a localized finite-action β€œblob” in the limit when the size of these directions (the ones in which the solution is localized) is taken to infinity.

The rule-of-thumb observation of [Wandler:2024hsq] is that the asymptotics of the minimum action |Q|=1/2|Q|=1/2 configuration away from the core of the instanton depends on the shape of the torus as follows:

(n03=1,n12=1):Sm​i​n.=4​π2,asymptotics awayΒ from the coreβ†’{tr​W1,2=0,|tr​W0,3|=2,for​L1​L2β‰ͺL0​L3,|tr​W1,2|=2,tr​W0,3=0,for​L1​L2≫L0​L3.\displaystyle(n_{03}=1,n_{12}=1):S_{min.}=4\pi^{2},\;\begin{array}[]{c}\text{asymptotics away}\cr\text{ from the core}\end{array}\rightarrow\;\left\{\begin{array}[]{cc}\,{\rm tr}\,W_{1,2}=0,|\,{\rm tr}\,W_{0,3}|=2,&\text{for}\;L_{1}L_{2}\ll L_{0}L_{3},\cr|\,{\rm tr}\,W_{1,2}|=2,\,{\rm tr}\,W_{0,3}=0,&\text{for}\;L_{1}L_{2}\gg L_{0}L_{3}.\end{array}\right. (26)

We now give a heuristic argument in favour of the top line above. Let us argue that L1​L2β‰ͺL0​L3L_{1}L_{2}\ll L_{0}L_{3} leads to the asymptotics stated.161616The argument proceeds with the obvious changes for the opposite case L1​L2≫L0​L3L_{1}L_{2}\gg L_{0}L_{3}. Begin by assuming the opposite of (26): suppose that away from the core, the solution localized in L0,L3L_{0},L_{3} (and maybe also in one of L1,L2L_{1},L_{2}, if one of the two is large) approaches the configuration with |tr​W1,2|=2|\,{\rm tr}\,W_{1,2}|=2. As we already mentioned in our discussion after (3), the nonzero twist in the 1212 plane implies that tr​W1\,{\rm tr}\,W_{1} must change sign as x2x_{2} traverses a period L2L_{2} and tr​W2\,{\rm tr}\,W_{2} must change sign as x1x_{1} traverses a period L1L_{1}. But since at least one of L1L_{1} or L2L_{2} is small, say L1L_{1}, this change of sign implies that tr​W2\,{\rm tr}\,W_{2} exhibits a large variation (from +2+2 to βˆ’2-2) over a small distance, which should increase the action cost. This action cost is avoided if the asymptotics is simply tr​W2=0\,{\rm tr}\,W_{2}=0, i.e. if the asymptotics is the one shown on the top line in (26). On the other hand, since L3L_{3} is large, the fact that tr​W0\,{\rm tr}\,W_{0} must change sign (again, from +2+2 to βˆ’2-2) upon traversing a large distance L3L_{3} does not result in large action cost; likewise for tr​W3\,{\rm tr}\,W_{3}.

Let us now discuss two examples of the use of (26), which will be relevant further:

  1. 1.

    Consider the theory with two twists and take a 𝕋4{\mathbb{T}}^{4} with L0β‰ͺL1,2,3L_{0}\ll L_{1,2,3}, but obeying L0​L3β‰ͺL1​L2L_{0}L_{3}\ll L_{1}L_{2}. According to the bottom line in (26), away from the core of the solution with |Q|=1/2|Q|=1/2, localized in the large 𝕋(x1,x2,x3)3{\mathbb{T}}^{3}_{(x_{1},x_{2},x_{3})}, we have that tr​W0,3=0\,{\rm tr}\,W_{0,3}=0, while |tr​W1,2|=2|\,{\rm tr}\,W_{1,2}|=2. Notice that tr​W0=0\,{\rm tr}\,W_{0}=0 means, semiclassically, that the theory abelianizes, at a scale 1/L01/L_{0}. This is because we can take, asymptotically, W0=i​σ3=exp⁑(i​σ32​L0​A03)W_{0}=i\sigma_{3}=\exp(i{\sigma_{3}\over 2}L_{0}A^{3}_{0}), thus the β€œHiggs field” vev is A03=Ο€L0A_{0}^{3}={\pi\over L_{0}}. Notice, however, that there is a second unitary Higgs field which also has an asymptotic vev, since also tr​W3=0\,{\rm tr}\,W_{3}=0 far away from the solution. The corresponding Higgs vev can be taken A32=Ο€L3A_{3}^{2}={\pi\over L_{3}}, thus not commuting with the first oneβ€”as the vacuum (21) breaks S​U​(2)SU(2) to β„€2{\mathbb{Z}}_{2}β€”but its effect is small since L3≫L0L_{3}\gg L_{0}. This hierarchy thus realizes a two-stage Higgsing in the vacuum surrounding the instanton,

    S​U​(2)β€‹β†’βŸΟ€/L0​U​(1)β€‹β†’βŸΟ€/L3​℀2,with​π/L0≫π/L3.\displaystyle SU(2)\underbrace{\rightarrow}_{\pi/L_{0}}U(1)\underbrace{\rightarrow}_{\pi/L_{3}}{\mathbb{Z}}_{2},\;\text{with}\;\pi/L_{0}\gg\pi/L_{3}. (28)

    The |Q|=1/2|Q|=1/2 solution in the L0​L3β‰ͺL1​L2L_{0}L_{3}\ll L_{1}L_{2}, L0β‰ͺL3L_{0}\ll L_{3}, geometry was numerically studied in [Wandler:2024hsq] (and much earlier in [GarciaPerez:1999hs]) and it was shown that it, indeed, has the properties of a monopole instanton on ℝ(x1,x2,x3)3Γ—π•Š(x0)1{\mathbb{R}}^{3}_{(x_{1},x_{2},x_{3})}\times{\mathbb{S}}^{1}_{(x_{0})}. It is localized in ℝ3{\mathbb{R}}^{3} and extended in the small π•Š1{\mathbb{S}}^{1}. Its long-distance abelian field is given by the projection of the S​U​(2)SU(2) field onto the direction set by the asymptotics of W0W_{0}, as in (19). The L0L_{0} extent fixes the size of the core of the solution, and the abelian magnetic flux and charge are as expected. This is clearly seen on the plots of the action density, asymptotics of Wilson loops, and magnetic field/charge for this solution: see, respectively, Figs. 16, 17, 18 in [Wandler:2024hsq],171717We use the labeling convention of our eqn. (10). Notice that in ref. [Wandler:2024hsq], the x0x_{0} and x3x_{3} labels are flipped. for a 𝕋4{\mathbb{T}}^{4} with (L0,48,48,48)(L_{0},48,48,48) for L0=6,9,12L_{0}=6,9,12.

  2. 2.

    Now consider the same two-twist theory, taking L0​L3≫L1​L2L_{0}L_{3}\gg L_{1}L_{2}, but with equal L1=L2L_{1}=L_{2}. The resulting |Q|=1/2|Q|=1/2 finite action configuration is localized in the large 𝕋(x0,x3)2{\mathbb{T}}^{2}_{(x_{0},x_{3})}, with a core size determined by the small L1L_{1}. The asymptotics of the configuration is as in the top line in (26), with tr​W1,2=0\,{\rm tr}\,W_{1,2}=0 and |tr​W0,3|=2|\,{\rm tr}\,W_{0,3}|=2, i.e. the vacuum (20). Notice that because L1=L2L_{1}=L_{2}, here the breaking pattern is

    S​U​(2)β€‹β†’βŸΟ€/L1​℀2.\displaystyle SU(2)\underbrace{\rightarrow}_{\pi/L_{1}}{\mathbb{Z}}_{2}. (29)

    The instanton is a center vortex, localized in the large L0,3L_{0,3}. It disorders the Wilson loop, see [Gonzalez-Arroyo:1998hjb, Montero:2000pb]. In the recent [Wandler:2024hsq], using a 𝕋4{\mathbb{T}}^{4} of size (48,12,12,48)(48,12,12,48), the localization in the 0303 plane is shown on Fig. 13, the disordering effect on the Wilson loop surrounding the center vortex is demonstrated on Fig. 14, while Fig. 15 shows that the winding Wilson loops asymptotics at large x0,3x_{0,3} precisely follows our Eqn. (26), i.e. the solution approaches at large distances the zero action density background of our Eqn. (20).

The above properties of pure YM theory with both twists nonzero imply that in either of the limits shown in (26), abelianization occurs already in YM theory without deformation. For us, the most important lesson is that, for L1​L2≫L0​L3L_{1}L_{2}\gg L_{0}L_{3}, abelianization in YM occurs, with tr​W0=0\,{\rm tr}\,W_{0}=0 (at L3≫L0L_{3}\gg L_{0}), exactly as in the flux phase of dYM (3). This implies (and we shall see numerical confirmation of this expectation) that in this limit, the |Q|=1/2|Q|=1/2 solutions in dYM and YM are similar, as the abelianization forced by the twist and by the deformation align. The main effect of the deformation will be seen to lift the action above the BPS limit, S>4​π2S>4\pi^{2}.

5 The β€œflux” vacuum of dYM: monopole-instantons and their transmutation into center-vortices

We begin our study of the fractionally charged instantons in dYM by considering the flux vacuum on 𝕋(x0,x1,x2)3{\mathbb{T}}^{3}_{(x_{0},x_{1},x_{2})} with n12=1n_{12}=1. As per eqn. (17), it is the state of lowest energy at sufficiently small L0L_{0}, L0<L11.5L_{0}<{L_{1}\over 1.5}. To numerically study instantons with |Q|=1/2|Q|=1/2, we also turn on n03=1n_{03}=1, as in eqn. (10).

5.1 Brief review of the analytic study of the monopole/center vortex continuity

Before we begin with our numerical study of this transition, we shall review the compelling analytical picture describing the transition of monopole-instantons in dYM on ℝ(x1,x2,x3)3Γ—π•Š(x0)1{\mathbb{R}}^{3}_{(x_{1},x_{2},x_{3})}\times{\mathbb{S}}^{1}_{(x_{0})} to center vortices on ℝ(x1,x2)2×𝕋(x0,x3)2{\mathbb{R}}^{2}_{(x_{1},x_{2})}\times{\mathbb{T}}^{2}_{(x_{0},x_{3})}, with a ’t Hooft twist in 𝕋(x0,x3)2{\mathbb{T}}^{2}_{(x_{0},x_{3})}.181818We label all coordinates according to the conventions of the present paper, eqn. (10). This picture was recently developed in the continuum in [Hayashi:2024yjc, Guvendik:2024umd].

A side remark is due first, however. The picture of monopole flux collimating to create center vortices has been discussed previously in the lattice literature, see [Greensite:2011zz], in particular Ch. 8 there, where pictures like our Fig. 2, obtained after appropriate gauge fixing, appear. The novelty of the observations of [Hayashi:2024yjc, Guvendik:2024umd] is that in the deformed theory, one can argue for the relation between confinement mechanisms using an analytical treatment within a valid semiclassical approximation. Apart from being satisfactory on its own, this semiclassical construction was later useful [Hayashi:2024psa, Hayashi:2025mgk] in explaining some puzzles regarding confinement in supersymmetric theories.

To describe the construction [Hayashi:2024yjc, Guvendik:2024umd], we first recall that there are two kinds of monopole instantons in S​U​(2)SU(2) dYM theory on ℝ(x1,x2,x3)3Γ—π•Š(x0)1{\mathbb{R}}^{3}_{(x_{1},x_{2},x_{3})}\times{\mathbb{S}}^{1}_{(x_{0})}, both of the same topological charge Q=1/2Q=1/2, but with opposite magnetic charges Β±1\pm 1 [Lee:1997vp, Kraan:1998sn, Kraan:1998pm]; an introduction/review is in [Poppitz:2021cxe]. These are sometimes called BPS and KK monopole-instantons respectively (and, for convenience, we adopt these names here), and can be thought of as the two constituents of a Q=1Q=1 instanton. It is also well known that in dYM, the size of the core of monopole-instantons, an object localized in ℝ(x1,x2,x3)3{\mathbb{R}}^{3}_{(x_{1},x_{2},x_{3})} and extended in π•Š(x0)1{\mathbb{S}}^{1}_{(x_{0})}, is set by L0L_{0}, the size of the circle. At distances larger than L0L_{0} in ℝ3{\mathbb{R}}^{3}, the long distance field of a monopole instanton is abelian and can be described, using 3d abelian duality, in terms of a dual photon.

Ref. [Hayashi:2024yjc, Guvendik:2024umd] used this long-distance description. The construction begins by making the x3x_{3} direction of ℝ(x1,x2,x3)3Γ—π•Š(x0)1{\mathbb{R}}^{3}_{(x_{1},x_{2},x_{3})}\times{\mathbb{S}}^{1}_{(x_{0})} compact, of size L3L_{3}, and further imposing a ’t Hooft twist n03n_{03} in the resulting 𝕋(x0,x3)2{\mathbb{T}}^{2}_{(x_{0},x_{3})}. Using the abelian long-distance description of the monopole instantons and the dual photon’s transformation under center symmetry [Anber:2015wha], they argued that the n03=1n_{03}=1 twist causes the BPS and KK monopole instantons to line up along the x3x_{3} direction. The twist causes a BPS monopole-instanton of charge +1+1, after traversing a period L3L_{3}, to convert into a KK monopole-instanton of charge βˆ’1-1. In other words, the image of the BPS monopole upon a translation on a period L3L_{3} in the x3x_{3} direction is the KK monopole, whose image after another L3L_{3} translation is a BPS monopole instanton, etc. Thus, on the covering space of π•Š(x3)1{\mathbb{S}}^{1}_{(x_{3})}, there is an infinite chain of alternating BPS and KK monopole-instantons of charges …/+1+1/βˆ’1-1/+1+1/…, etc.191919The lining up of BPS and KK monopole-instantons due to the twist was already understood in the lattice studies of [GarciaPerez:1999hs]. The effect of this chain of alternating charges, computed in [Hayashi:2024yjc, Guvendik:2024umd] using the long-distance abelian description of the monopole-instantons, is that the magnetic flux collimates into the x1x_{1},x2x_{2} plane (i.e. in ℝ(x1,x2)2{\mathbb{R}}^{2}_{(x_{1},x_{2})}) and has maximum size202020As a function of x3x_{3}, with the maximum size reached for x3x_{3} taken half-way between the monopole instanton and its image. of order L3/Ο€L_{3}/\pi, i.e. determined by L3L_{3}. The use of the long-distance approximation to the monopole-instanton field requires L3≫L0L_{3}\gg L_{0} (the core size), i.e. the picture assumes the hierarchy of scales:

L0β‰ͺL3β‰ͺL1​L2(β†’βˆž),\displaystyle L_{0}\ll L_{3}\ll\sqrt{L_{1}L_{2}}\penalty 10000\ \penalty 10000\ (\rightarrow\infty), (30)

where we indicated that they considered infinite L1,L2L_{1},L_{2}. In other words, the analytic discussion holds on an asymmetric 𝕋(x0,x3)2{\mathbb{T}}^{2}_{(x_{0},x_{3})}. Further, ref. [Hayashi:2024yjc, Guvendik:2024umd] showed that on ℝ(x1,x2)2{\mathbb{R}}^{2}_{(x_{1},x_{2})}, this localized β€œblob” of magnetic flux of size ∼L3/Ο€\sim L_{3}/\pi was, in fact, a center vortex. Concretely, a 1212-plane fundamental representation Wilson loop which encloses the flux gets multiplied by βˆ’1-1, compared to a Wilson loop that does not enclose it.

Refer to caption
Figure 2: A sketch of the lining up of BPS (charge Ξ±1\alpha_{1}) and its image KK (charge Ξ±0=βˆ’Ξ±1\alpha_{0}=-\alpha_{1}, N=2N=2) monopole-instantons along the compact x3x_{3} direction and the collimation of their flux into a center vortex sheet. There is cylindrical symmetry in the 1212 plane and the small x0x_{0} direction perpendicular to the page is not shown (there is little x0x_{0} dependence in the actual field configuration). Blue arrows indicate the long-range abelian β€œmagnetic” field. The flux of the charge +1+1 BPS monopole-instanton is absorbed by its charge βˆ’1-1 KK image upon a period translation, etc. The infinite chain of images collimates the flux into a finite radius Οƒ\sigma (∼L3/Ο€\sim L_{3}/\pi) in the 1212 plane. The configuration behaves like a center vortex sheet, wrapped around the x3x_{3} and x0x_{0} directions, and localized in x1,x2x_{1},x_{2}. For the actual configurations, compare the fundamental domain of the 1313 plane (indicated by a square surrounding the BPS monopole-instanton) with the field distribution on Fig. 7(a). That the radial profile of the collimated flux in the 1212-plane is Gaussian is shown on Fig. 7(b). The center vortex maximal radius Οƒ\sigma is determined in Fig. 8(a) and the disordering of Wilson loops is shown on Fig. 8(c).

In summary, what has been achieved is to show that center-vortex semiclassical confinement on ℝ(x1,x2)2×𝕋(x0,x3)2{\mathbb{R}}^{2}_{(x_{1},x_{2})}\times{\mathbb{T}}^{2}_{(x_{0},x_{3})} with unit ’t Hooft flux and L0,L3L_{0},L_{3} obeying (30), and the monopole-instanton confinement in dYM on ℝ(x1,x2,x3)3Γ—π•Š(x0)1{\mathbb{R}}^{3}_{(x_{1},x_{2},x_{3})}\times{\mathbb{S}}^{1}_{(x_{0})} are continuously connected, via the deformation described in the previous two paragraphs. The collimation of the flux of monopole instantons into center vortices is illustrated on Figure 2.

5.2 Numerical study of the monopole/center vortex continuity

Via numerical minimization, we are able to relax the condition L3≫L0L_{3}\gg L_{0} and show that the continuity between monopole-instantons and center vortices persists to smaller L3L_{3} all the way down to a symmetric 𝕋(x0,x3)2{\mathbb{T}}^{2}_{(x_{0},x_{3})}, where L3∼L0L_{3}\sim L_{0}. Numerics will also allow us to explore the core of the instanton and to compare dYM and pure YM solutions.

Refer to caption
Figure 3: Properties of the |Q|=12|Q|={1\over 2} fractional instantons for a lattice of size (10,25,25,L3)(10,25,25,L_{3}), for 5<L3<905<L_{3}<90. Top row: separate plots of the Wilson action and the deformation action for dYM. Bottom row: the total action and the width of the instanton, determined by tr​W0\,{\rm tr}\,W_{0}, for dYM and YM. For a discussion, see the text. For pure YM, at large L3L_{3}, the 1212-plane width of the Higgs field (as per Fig. 5) becomes larger than L1L_{1}, which really signifies failure to abelianize, as seen on the r.h.s. plots of Fig. 6.
Refer to caption
Figure 4: Similar to Fig. 3 but for L1=45L_{1}=45: properties of the |Q|=12|Q|={1\over 2} fractional instantons for a lattice of size (10,45,45,L3)(10,45,45,L_{3}), for 5<L3<455<L_{3}<45. Top line: separate plots of the Wilson action and the deformation action for dYM. Bottom line: the total action and the width of the instanton, determined by tr​W0\,{\rm tr}\,W_{0}, for dYM and YM.

We begin our discussion with Figures 3 and 4, where we plot various quantities for dYM theory with n03=n12=1n_{03}=n_{12}=1, for L0=10L_{0}=10, and two different values of L1L_{1}: L1=25L_{1}=25 (on Fig. 3) and L1=45L_{1}=45 (on Fig. 4), as a function of L3L_{3}. On the top line of both figures, we separately plot the dYM Wilson action and the action due to the deformation term. On the bottom line in each figure, we compare the total action for dYM to the one for YM (c=0c=0) as well as the corresponding widths of the localization of the β€œHiggs field” tr​W0\,{\rm tr}\,W_{0} in the 1212 plane around the instanton (i.e. the core of the instanton). All quantities are shown as function of L3L_{3} varying in the ranges shown.

Let us now discuss the features of the different regimes seen on Figures 3 and 4:

  1. 1.

    First, we stress that on both figures, L1L0>1.5{L_{1}\over L_{0}}>1.5, thus according to eqn. (17) of Section 3, this regime would correspond to the flux vacuum of dYM on the 𝕋(x0,x1,x2)3{\mathbb{T}}^{3}_{(x_{0},x_{1},x_{2})}β€”in the absence of a n03n_{03} twist or at large enough (strictly infinite) L3L_{3}. Thus, for large enough L3L_{3}, the vacuum surrounding the localized fractional instanton is the dYM flux vacuum; further evidence for this is discussed in the following point 2. Recall also that the dYM flux vacuum (3) approaches the ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} dYM vacuum at infinite L1,2L_{1,2}. We shall see that at large L3L_{3}, the |Q|=1/2|Q|=1/2 minimum action configurations have an interpretation as the ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} monopole-instantons.

  2. 2.

    Next, beginning with large L3L_{3}, we observe that the dYM Wilson action of the instanton is linear in L3L_{3}, while the deformation action levels off as a function of L3L_{3}, as seen on the l.h.s. plots on both Figures 3 and 4.

    The fact that the action of an instanton grows with the volume may be unusual but should not be surprising: this is because it includes the action of the vacuum, which is nonzero for the flux vacuum of dYM, recall (18).212121The instanton interpolates between the two degenerate flux vacua [Unsal:2020yeh]. The fact that the deformation action levels off is also expected, as tr​W0β‰ 0\,{\rm tr}\,W_{0}\neq 0 only in the core of the instanton (and tr​W0=0\,{\rm tr}\,W_{0}=0 otherwise) and the core size, for large L3L_{3}, is L3L_{3} independent. Consistent with the picture above, the linear growth of the total action with L3L_{3} seen on the Figures is precisely that of the action (18) of the flux vacuum (3).222222For example, on Fig. 3, the slope, for L3>40L_{3}>40, is easily estimated as S/L3≃0.3S/L_{3}\simeq 0.3, while (18) gives S/L3=2​π2​L0​L1βˆ’2=0.31S/L_{3}=2\pi^{2}L_{0}L_{1}^{-2}=0.31. A similar estimate holds for Fig. 4 with a slope ∼0.1\sim 0.1. On both Figures, for large L3L_{3}, the total action can be fit by a fixed value, roughly of order the BPS action (but we stress that a more precise study of interpolations and scaling is needed, which is beyond our scope here) plus the action of the flux vacuum (18) accounting for the linearity in L3L_{3}.

  3. 3.

    On the bottom left figure we plot the total action in dYM vs YM, for the same twists and lattice sizes. The YM action equals the BPS action, 4​π2∼39.54\pi^{2}\sim 39.5, for all values of L3L_{3}, while the total action in dYM linearly grows with L3L_{3}, as per the discussion above.

  4. 4.

    On the bottom right in both Figures 3 and 4, we plot the width of the β€œHiggs field” tr​W0\,{\rm tr}\,W_{0} in the instanton background, measured in the 1212 plane (this is really the core size of the instanton). The width of tr​W0\,{\rm tr}\,W_{0} in the 1212 plane is determined by a simple fit, sufficient for our purposes (details are explained in the caption of Figure 5). We see that the core size of the instanton levels off in dYM, consistent with the fact that the instanton size is set by the deformation potential, for large L3L_{3}.

  5. 5.

    Regarding the pure YM core size, we note that on Figure 3, the W0W_{0} width in YM grows as L3L_{3} increases and becomes bigger than L1L_{1} around L3∼40L_{3}\sim 40βˆ’-5050 (here L1​L2=625L_{1}L_{2}=625 while L0​L3=500L_{0}L_{3}=500, which is close to the 𝕋4{\mathbb{T}}^{4} shape leading to the constant-FF self-dual solution [tHooft:1981nnx]). The similarity of the core sizes in dYM and YM at small L3L_{3}, and the growth of the YM core size with L3L_{3} are also seen on Figure 4. Notice that the core size growth beyond L1L_{1}, seen on Fig. 3, does not appear on Fig. 4: here L1​L2=2025L_{1}L_{2}=2025 and in order that L0​L3L_{0}L_{3} exceeds L1​L2L_{1}L_{2} one must go to L3∼200L_{3}\sim 200, beyond the scope of our numerics. (We also refer to Figure 6 and the discussion that follows.)

    Refer to caption
    (a) tr​W0\,{\rm tr}\,W_{0} localization radius for a dYM monopole-instanton on a (10,25,25,30)(10,25,25,30) lattice.
    Refer to caption
    (b) tr​W0\,{\rm tr}\,W_{0} localization radius radius for a YM |Q|=1/2|Q|=1/2 instanton on a (10,25,25,30)(10,25,25,30) lattice.
    Figure 5: Defining the localization radius of the β€œHiggs field”: tr​W0​(x1,x2)\,{\rm tr}\,W_{0}(x_{1},x_{2}) is fitted to the (admittedly simplistic, but sufficient for our purposes) radially symmetric function f​(|x|)=a​eβˆ’b​|x|f(|x|)=ae^{-b|x|}. The β€œlocalization radius” is then defined as the value of rr where ∫|x|<rd2​x​f​(|x|)=14β€‹βˆ«0L1𝑑x1β€‹βˆ«0L2𝑑x2​f​(|x|)\int_{|x|<r}d^{2}xf(|x|)={1\over 4}\int\limits_{0}^{L_{1}}dx_{1}\int\limits_{0}^{L_{2}}dx_{2}f(|x|) (the large radius for the YM background on the right figure above is because the fitting function does not represent well the actual minimum action configuration, which is close to the constant-FF one, as in Figure 6(d)).
  6. 6.

    At smaller L3L_{3}, outside of the analytic regime (30), we notice that the core sizes (as measured by the W0W_{0} width defined in Figure 5) in YM and dYM appear to coincide. Now, we recall the features of YM discussed in Section 4, in particular our eqn. (26), arguing that for L0​L3β‰ͺL1​L2L_{0}L_{3}\ll L_{1}L_{2}, abelianization due to W0W_{0} around the localized instanton also occurs in YM theory. Precisely in this limit, the pure YM abelianization is aligned with the one due to the deformation term. Thus, at the smallest values of L3L_{3} the tr​W0\,{\rm tr}\,W_{0} widths seen are similar in YM and dYM (this is seen even more clearly on our next Figure 6). The smallness of the deformation action for L3=5,10L_{3}=5,10 is due to the small width of tr​W0\,{\rm tr}\,W_{0}.232323In fact, the width shown on the bottom r.h.s. figure can be used to obtain a reasonable estimate of the numerical value of the deformation action of the top r.h.s. figure (assuming e.g. that |tr​W0|=2|\,{\rm tr}\,W_{0}|=2 inside a region of order the width and =0=0 otherwise). We note that the vacuum surrounding the solution in the 1212 plane is now tr​W0=tr​W3=0\,{\rm tr}\,W_{0}=\,{\rm tr}\,W_{3}=0.242424This background can, in fact, be thought as the vacuum of dYM on 𝕋(L0,L1,L3)|n03=13{\mathbb{T}}^{3}_{(L_{0},L_{1},L_{3})|_{n_{03}=1}}, with L2L_{2} taken as time (this is relevant since we are considering the large L2L_{2} limit); now tr​W0=tr​W3=0\,{\rm tr}\,W_{0}=\,{\rm tr}\,W_{3}=0 and tr​W1=Β±2\,{\rm tr}\,W_{1}=\pm 2 are the two zero energy vacua. These are also the pure YM classical vacua in the same geometry. At L0∼L3L_{0}\sim L_{3} the limit where of the two-stage breaking (28) becomes the one-stage (29) (with the obvious interchange 03↔1203\leftrightarrow 12 in the latter). See also Figure 9 and its caption.

To further elaborate on the similarity and difference between dYM and pure YM, at the same twists and lattice sizes, we now move to Figure 6. Here, we plot the Higgs field localization in the 1212 plane (or the core size or the fractional instanton) in YM and dYM for three different lattice sizes. The point is to show that at L0​L3β‰ͺL1​L2L_{0}L_{3}\ll L_{1}L_{2}, the abelianization in YM due to twists, discussed in Section 4, and in dYM due to the deformation potential are aligned in a manner consistent with eqn. (26). The fractional instanton solutions in this regime are qualitatively similar and the role of the deformation potential is only to raise the action above the BPS limit (and to slightly decrease the core size in dYM compared to YM, as a careful look at the top two plots shows). However, as one increases L3L_{3}, going through the β€œtransition” of L0​L3=L1​L2L_{0}L_{3}=L_{1}L_{2} (where the YM fractional instanton is position independent), abelianization in YM disappears, while it persists in dYM. The abelianized regime in dYM on Figures 6(c) and 6(e), the ones where L3>L0L_{3}>L_{0} (recall (30)) is where the considerations of [Hayashi:2024yjc, Guvendik:2024umd] are valid.

We continue, on Figure 7(a), by studying the monopole-instanton’s magnetic field, F12U​(1)F_{12}^{U(1)} defined in eqn. (19), in dYM on a (10,20,20,25)(10,20,20,25) lattice. This is, in fact, very similar to the monopole-instantons in pure YM theory on a lattice of a similar size and with the same twists studied in [Wandler:2024hsq]; as in that reference, the total magnetic flux surrounding the monopole-instanton can be seen to be 4​π4\pi (in particular, the integral of the flux of F12U​(1)F_{12}^{U(1)} over each 1212 plane taken half-way (in x3x_{3}) between the monopole instanton and its x3x_{3}-translation image equals 2​π2\pi, as in that reference and as suggested in [Unsal:2020yeh]). As already discussed, the similarity is due to the fact that for this size YM theory also abelianizes in a direction aligned with the deformation. The image of the BPS monopole-instanton upon L3L_{3} translations is a KK monopole-instanton absorbing its flux, etc.. The collimation of the flux in the 1212 plane in a region of size estimated in[Hayashi:2024yjc, Guvendik:2024umd] as L3/Ο€βˆΌ8L_{3}/\pi\sim 8 is difficult to see for this lattice size (as the result for the collimation size of is obtained in the infinite L1,L2L_{1},L_{2} limit, while here we also have images upon translations in L1L_{1}, L2L_{2}).

Next, we study the collimation of the monopole-instanton flux into a tube stretched along x3x_{3} and localized in the 1212 plane. We first refer to Figure 7(b), where we plot F12U​(1)F_{12}^{U(1)} halfway between the BPS and its KK image, as a function of x1/L1x_{1}/L_{1}β€”equivalently, due to the approximate cylindrical symmetry, this can be though of as the dimensionless radial coordinate in the 1212 plane. We see that for the larger L1L_{1} sizes (so that images in x1,x2x_{1},x_{2} directions can be neglected), an exponential localization occurs, within, roughly, a L3/Ο€L_{3}/\pi radius. Further, on Figure 8(a) and 8(b) we show that the flux in both in dYM and YM fits well to a Gaussian and determine its parameters, shown in the caption. That this tube of flux with a finite thickness is a center vortex is seen clearly by studying the disordering effect on Wilson loops surrounding the tube, shown on Figure 8(c), 8(d).

We note that refs. [Hayashi:2024yjc, Guvendik:2024umd], working in the L1,2β†’βˆžL_{1,2}\rightarrow\infty limit, used the long-distance abelian field of a monopole-instanton to argue that the effect of the infinite …-BPS-KK-BPS-… chain of Figure 2 is to collimate the magnetic flux into a center-vortex-like configuration. They showed that the this collimation is such that, in the midpoint between a monopole-instanton and its image, as |x1,2|β†’βˆž|x_{1,2}|\rightarrow\infty, the magnetic field falls off as eβˆ’|x|​πL3e^{-{|x|\pi\over L_{3}}} (this falloff can serve as an approximate measure of the localization of the flux). The actual Gaussian shape seen on Figure 8(a) and 8(b) and its width were not determined. Thus, their observation and determination are new results of this (finite L1,2L_{1,2}) study.

Refer to caption
(a) (10, 25, 25, 15): dYM, tr​W0\,{\rm tr}\,W_{0} in 1212 plane
Refer to caption
(b) (10, 25, 25, 15): YM, tr​W0\,{\rm tr}\,W_{0} in 1212 plane
Refer to caption
(c) (10, 25, 25, 40): dYM, tr​W0\,{\rm tr}\,W_{0} in 1212 plane
Refer to caption
(d) (10, 25, 25, 40): YM, tr​W0\,{\rm tr}\,W_{0} in 1212 plane
Refer to caption
(e) (10, 25, 25, 70): dYM, tr​W0\,{\rm tr}\,W_{0} in 1212 plane
Refer to caption
(f) (10, 25, 25, 70): YM, tr​W0\,{\rm tr}\,W_{0} in 1212 plane
Figure 6: Instanton core size in dYM (left column) and YM (right column) for three different lattice sizes. Top line: L0​L3β‰ͺL1​L2L_{0}L_{3}\ll L_{1}L_{2} - abelianization directions due to deformation in dYM and twist in YM are aligned. Middle line: L0​L3≲L1​L2L_{0}L_{3}\lesssim L_{1}L_{2} dYM abelianizes due to deformation, no abelianization in YM. Bottom line: L0​L3≳L1​L2L_{0}L_{3}\gtrsim L_{1}L_{2} dYM abelianizes, no abelianization in YM (almost constant solution).
Refer to caption
(a) F12U​(1)F_{12}^{U(1)}, or the x3x_{3}-component (on the plot, upward pointing) of the β€œmagnetic” field of a dYM monopole-instanton as a function of x1x_{1} and x3x_{3} on a (10,20,20,25)(10,20,20,25) lattice at x0x_{0}==55, x2x_{2}==1010. There is cylindrical symmetry in the 1212 plane. The BPS monopole-instanton flux is absorbed by its oppositely charged image upon L3L_{3} translations. The picture is almost identical to the one in pure YM theory with the same twists, due to the aligned abelianizations in YM and dYM for this lattice size (see fig. 25 of [Wandler:2024hsq] for a YM monopole-instanton on a (6,18,18,24)(6,18,18,24) lattice).
Refer to caption
(b) Collimation of the magnetic flux F12U​(1)F_{12}^{U(1)} of a monopole-instanton in dYM into a center vortex on a (10,L1,L1,25)(10,L_{1},L_{1},25) lattice. The monopole-instanton is at x3x_{3}==L3/2L_{3}/2, x1x_{1}==x2x_{2}==L1/2L_{1}/2 and is extended in x0x_{0}. The value of F12U​(1)F_{12}^{U(1)} at x3x_{3}==0, x2x_{2}==L1/2L_{1}/2, halfway between the BPS and its KK image, is plotted as a function of x1/L1x_{1}/L_{1} for L1=20,…,45L_{1}=20,...,45. The infinite-L1L_{1} limit calculation shows the collimation of the flux into a tube, a center-vortex of an estimated radius ∼L3/Ο€βˆΌ8\sim L_{3}/\pi\sim 8. This value is consistent with our plots for L1=40,45L_{1}=40,45; for smaller L1L_{1}, there are additional images in the x1,2x_{1,2} direction. See the Gaussian fit on Fig. 8 for the L1=45L_{1}=45 curve.
Figure 7: The chain of monopole-instantons (recall Fig. 2) and their center-symmetry/translation images collimate the flux into a center vortex; see also Fig. 8.
Refer to caption
(a) F12U​(1)F_{12}^{U(1)} in dYM on (10,45,45,25)(10,45,45,25) lattice fitted to a Gaussian: A=0.01A=0.01, ΞΌ=21.41\mu=21.41, Οƒ=6.92\sigma=6.92, b=0b=0.
Refer to caption
(b) F12U​(1)F_{12}^{U(1)} YM on (10,45,45,25)(10,45,45,25) lattice fitted to a Gaussian: A=0.01A=0.01, ΞΌ=22.15\mu=22.15, Οƒ=6.89\sigma=6.89, b=0b=0.
Refer to caption
(c) The center vortex disordering of the Wilson loop: values of x2x_{2}<<1010, x2x_{2}>>2525 correspond to loops AA and CC (see Fig. 8(d)) not surrounding the center vortex, while x2x_{2}∼\sim1717 corresponds to the loop BB.
Refer to caption
(d) The center vortex disordering of the Wilson loop: three positions of the 1212 plane Wilson loop, AA, BB, CC, with respect to the center vortex (schematically indicated by the circle).
Figure 8: The profile of the field of the center vortex and the disordering of the Wilson loop. Top row, figs. 8(a), 8(b): A Gaussian fit of the magnetic field, midway between the monopole-instanton and its image upon L3L_{3} translation, for the L1=45L_{1}=45 curve of Figure 7(b). F12U​(1)F_{12}^{U(1)}, at x3=0,x2=L2/2x_{3}=0,x_{2}=L_{2}/2, is fitted to A​eβˆ’12​(x1βˆ’ΞΌΟƒ)2+bAe^{-{1\over 2}({x_{1}-\mu\over\sigma})^{2}}+b. The best fit parameters shown are essentially the same in YM and dYM, due to the alignment of abelianizations, as per (26). Bottom row, figs. 8(c), 8(d): The left Figure 8(c) shows the value of trace of a 43Γ—1243\times 12 Wilson loop in the 1212-plane, evaluated in the β€œcenter vortex” minimum action configuration in dYM on a (10,45,45,25)(10,45,45,25) lattice. The loop is dragged along the x2x_{2} direction across the center vortex localized in x1,x2x_{1},x_{2}. The Wilson loops at x2<10x_{2}<10 and x2>25x_{2}>25 do not enclose the center vortex, but the ones at 10<x2<2510<x_{2}<25 do (partially), as in the examples A,B,CA,B,C on Figure 8(d). There is clear indication of the sign difference between the loops that enclose the center vortex and the ones that do not. The vertical lines on Figure 8(c) represent the points where the edges of the Wilson loop cross the peak of the center vortex, which is located at the midpoint of the lattice.
Refer to caption
(a) dYM: tr​W0​(x1L1)\,{\rm tr}\,W_{0}({x_{1}\over L_{1}}) for L3=5,15,25,40L_{3}=5,15,25,40
Refer to caption
(b) dYM: tr​W3​(x1L1)\,{\rm tr}\,W_{3}({x_{1}\over L_{1}}) for L3=5,15,25,40L_{3}=5,15,25,40
Refer to caption
(c) YM: tr​W0​(x1L1)\,{\rm tr}\,W_{0}({x_{1}\over L_{1}}) for L3=5,15,25,40L_{3}=5,15,25,40
Refer to caption
(d) YM: tr​W3​(x1L1)\,{\rm tr}\,W_{3}({x_{1}\over L_{1}}) for L3=5,15,25,40L_{3}=5,15,25,40
Figure 9: Smoothly interpolating from large to small L3L_{3} on a (10,45,45,L3)(10,45,45,L_{3}) lattice. Recall that L3≫L0L_{3}\gg L_{0} is the regime where the analytic construction of [Hayashi:2024yjc, Guvendik:2024umd] and the picture of Figure 2 hold. On the other hand, for small L3∼L0L_{3}\sim L_{0}, there is no qualitative difference between the YM and dYM center vortex with L0​L3β‰ͺL1​L2L_{0}L_{3}\ll L_{1}L_{2}, due to the alignment of abelianizations. Here we compare tr​W0​(x1L1)\,{\rm tr}\,W_{0}({x_{1}\over L_{1}}) and tr​W3​(x1L1)\,{\rm tr}\,W_{3}({x_{1}\over L_{1}}) (the other coordinates are taken at the point of maximal action density) for dYM (top row) and YM (bottom row) for four different values of L3L_{3}. It is clearly seen that for small L3∼L0L_{3}\sim L_{0}, blue curve, tr​W0\,{\rm tr}\,W_{0} and tr​W3\,{\rm tr}\,W_{3} in YM and dYM are qualitatively similar. On the other hand, for the largest L3=40L_{3}=40, the YM solution becomes more delocalized, as seen on Fig. 9(c), while dYM remains localized, as per the behaviour of tr​W0\,{\rm tr}\,W_{0} on Fig. 9(a), but with tr​W3\,{\rm tr}\,W_{3}, on Fig. 9(b), becoming small.

6 From the β€œflux” to the β€œno-flux” vacuum: from monopole-instantons on β„πŸ‘Γ—π•ŠπŸ\mathbf{{\mathbb{R}}^{3}\times{\mathbb{S}}^{1}} to fractional instantons on β„Γ—π•‹πŸ‘\mathbf{{\mathbb{R}}\times{\mathbb{T}}^{3}}

We now study the transition of monopole-instantons in dYM on ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} to fractional instantons on ℝ×𝕋3{\mathbb{R}}\times{\mathbb{T}}^{3}. In this case, there is no analytical picture of the transition between the corresponding semiclassical configurations as explicit as the one of Figure 2 (studied numerically in our previous Section 5).

Refer to caption
Figure 10: Results for a (10,L,L,45)(10,L,L,45) lattice interpolating between 𝕋3×ℝ{\mathbb{T}}^{3}\times{\mathbb{R}} for small LL and π•Š1×ℝ3{\mathbb{S}}^{1}\times{\mathbb{R}}^{3} for large LL. All quantities are shown for 5≀5\leqLL≀40\leq 40. Top row: The Wilson and deformation contributions to the action of dYM. Bottom row: The total actions of YM and dYM, as well as the tr​W0\,{\rm tr}\,W_{0} width in the x1,x2x_{1},x_{2}-plane, determined as in Fig. 5. The W0W_{0} width in the 1212 plane is not shown for L<15L<15. For dYM, this is because the theory transitions to the no-flux vacuum. For YM minimum action configurations, the W0W_{0} width becomes larger than LL as Lβ†’25L\rightarrow 25 from above, showing that the solutions delocalize on the 𝕋3{\mathbb{T}}^{3} and abelianization in YM along tr​W0=0\,{\rm tr}\,W_{0}=0, i.e. aligned with dYM flux vacuum, fails. On the other hand, for L<15L<15, the no-flux vacua of dYM and YM are aligned, as per (26) (see the discussion in the text).

We begin our numerical study of the ℝ(x1,x2,x3)3Γ—π•Š(x0)1{\mathbb{R}}^{3}_{(x_{1},x_{2},x_{3})}\times{\mathbb{S}}^{1}_{(x_{0})} to ℝ(x3)×𝕋(x0,x1,x2)3{\mathbb{R}}_{(x_{3})}\times{\mathbb{T}}^{3}_{(x_{0},x_{1},x_{2})} transition in dYM by focusing on Figure 10, presenting results for a (10,L,L,4510,L,L,45) lattice.252525As always, we use the notation and choice of twists from (10). The plots shown are similar to the ones on Figures 3 and 4. However, while there we varied L3L_{3} instead, keeping L0L_{0} and L1L_{1}(=L2)(=L_{2}) fixed, here we vary L=L1L=L_{1}, from 55 to 4040, keeping fixed the small L0L_{0} and the large L3L_{3}. For large values of L1∼L3L_{1}\sim L_{3}, our lattice can be thought of as ℝ(x1,x2,x3)3Γ—π•Š(x0)1{\mathbb{R}}^{3}_{(x_{1},x_{2},x_{3})}\times{\mathbb{S}}^{1}_{(x_{0})}, while for L1∼L0L_{1}\sim L_{0} we approach 𝕋(x0,x1,x2)3×ℝ(x3){\mathbb{T}}^{3}_{(x_{0},x_{1},x_{2})}\times{\mathbb{R}}_{(x_{3})}; this will be substantiated by the results that we present below.

The transition from the asymmetric (large L∼L3L\sim L_{3}) to the symmetric (small L∼L0L\sim L_{0}) 𝕋3{\mathbb{T}}^{3} studied on Figure 10 is related to the transition from the flux to no-flux vacua in dYM as determined by (17). Recall that the transition from the flux vacuum (large L1/L0L_{1}/L_{0}) of dYM on 𝕋(x0,x1,x2)3{\mathbb{T}}^{3}_{(x_{0},x_{1},x_{2})} to the no-flux vacuum (small L1/L0L_{1}/L_{0}) occurs at L1≃1.5​L0L_{1}\simeq 1.5L_{0}, or L1=15L_{1}=15 for the value of L0L_{0} chosen on the figures. A quick glance on Figure 10 shows that both the Wilson and the total action of dYM show a maximum at values of L1=Lc∼15L_{1}=L_{c}\sim 15. The discontinuous nature of the flux to the no-flux transition from Section 3 (recall the level crossing from the flux to the no-flux vacuum seen on Figure 1) suggests that the associated change of the nature of the minimal action fractional instantons upon changing the 𝕋4{\mathbb{T}}^{4} shape is also discontinuous. We begin our discussion by first discussing the small- and large-LL limits and then focusing on the transition between the two.

Refer to caption
(a) The dYM fractional instanton on 𝕋3×ℝ{\mathbb{T}}^{3}\times{\mathbb{R}} disordering the Wilson loop tr​W0\,{\rm tr}\,W_{0}.
Refer to caption
(b) The action density of the fractional instanton in dYM integrated over 𝕋3{\mathbb{T}}^{3}.
Figure 11: Top figure: the disordering effect of the monopole instanton on ℝ(x3)×𝕋(x0,x1,x2)|n12=13{\mathbb{R}}_{(x_{3})}\times{\mathbb{T}}^{3}_{(x_{0},x_{1},x_{2})|_{n_{12}=1}} on the Wilson loop winding in the x0x_{0} direction, for 𝕋3{\mathbb{T}}^{3} of sizes (10,10,10)(10,10,10) and (10,5,5)(10,5,5) for two different values of L3=25,45L_{3}=25,45. This is the counterpart of the center-vortex disorder of Figure 8(c). Bottom figure: The instanton is localized at x3/L3=0.5x_{3}/L_{3}=0.5. The action density plots indicate that the instanton more strongly localized at smaller L1​L2=L12L_{1}L_{2}=L_{1}^{2}, with its scale set by L1L_{1}. The small-𝕋3{\mathbb{T}}^{3} regime studied here is where the YM and dYM abelianizations align and the effect of the deformation is small. (The continuous curves on the plot are obtained by interpolating between discrete values of x3x_{3}, which are not shown.)

Small-L1L_{1}, 𝕋3×ℝ{\mathbb{T}}^{3}\times{\mathbb{R}} regime: Let us first focus on the small-L1L_{1} regime on Figure 10. The L1=5,10L_{1}=5,10 data can be thought as approximating 𝕋(x0,x1,x2)|n12=13×ℝ(x3){\mathbb{T}}^{3}_{(x_{0},x_{1},x_{2})|_{n_{12}=1}}\times{\mathbb{R}}_{(x_{3})}. The first feature we observe is that the deformation action is very small at L1=5,10L_{1}=5,10.

We can estimate the value of the deformation action as follows. Let us assume that the configuration around the localized solution is the no-flux vacuum of dYM with |tr​W0|=2|\,{\rm tr}\,W_{0}|=2 and let us take the deformation action in (11) to be 4​(L3βˆ’L1)​L12L034(L_{3}-L_{1}){L_{1}^{2}\over L_{0}^{3}}. In writing this expression, we replaced |tr​W0|2β†’4|\,{\rm tr}\,W_{0}|^{2}\rightarrow 4 in (11). We also assumed that tr​W0\,{\rm tr}\,W_{0} vanishes for some segment along x3x_{3}, whose length is of order L1L_{1} (for now, this is just our guess for the width in x3x_{3} of the finite action solution). Otherwise, tr​W0\,{\rm tr}\,W_{0} equals Β±2\pm 2, for an extent in the x3x_{3} direction of length L3βˆ’L1L_{3}-L_{1}. Remarkably, for L1=5L_{1}=5 we find that this expression for the deformation action equals 44, precisely matching the values shown on Fig. 10. Likewise, for L1=10L_{1}=10 we find for the deformation action 1414, also perfectly matching the numerics.262626We also studied the smaller lattice with L3=25L_{3}=25, where similar estimates at the smallest L1L_{1} values work as well. Thus, the dYM no-flux vacuum surrounding the localized (in x3x_{3}) solution explains the value of the deformation action for both L1=5L_{1}=5 and L1=10L_{1}=10, the two points below the transition at L1=15L_{1}=15.

Next, we can check the assumptions used above to explain the value of the deformation action for L1=5,10L_{1}=5,10. We do this by plotting, on Figure 11, the action density and tr​W0\,{\rm tr}\,W_{0} for the solution as a function of x3x_{3}. These plots show that the solution localizes in a segment of length of order L1L_{1} on the x3x_{3} axis, as we now discuss. On Figure 11(b), we plot the results for the dYM action density (integrated over x0,x1,x2x_{0},x_{1},x_{2}) as a function of x3/L3x_{3}/L_{3}, for two values of L3=25,45L_{3}=25,45 and for L1=5,10L_{1}=5,10. It is easy to infer from the plot that the action density is localized over a region of size L1L_{1}.

Further, we note that despite the fact that we are plotting the properties of the dYM minimum action configuration, the resulting configuration is very close to the one in pure YM theory, due to the fact that for lattices such as plotted here, the abelianizations due to the twist n12n_{12} in YM and in dYM align, as per (26). Concretely, as in our discussion in Section 5, we notice that for our choice of parameters, L1=5L_{1}=5, L1​L2=25β‰ͺL0​L3L_{1}L_{2}=25\ll L_{0}L_{3} (=450=450), values for which the pure YM argument of eqn. (26) implies that far from the core of the solution, tr​W0=Β±2\,{\rm tr}\,W_{0}=\pm 2 (a similar argument albeit leading to a somewhat less strong inequality applies for L1=10L_{1}=10). Thus, in the small-L1L_{1} regime of Figures 10 and 11, the deformation is not qualitatively important, as the same structure surrounding the solution localized in x3x_{3}, the no-flux vacuum (3), is implied by both the dYM criterion (17), and the YM one (26), due to the 1212-plane twist.

Finally, we study the disordering of the tr​W0\,{\rm tr}\,W_{0} Wilson loop by the 𝕋3×ℝ{\mathbb{T}}^{3}\times{\mathbb{R}} fractional instanton. The top plot, Figure 11(a), shows the variation of tr​W0\,{\rm tr}\,W_{0}, taken at the point of maximal action in x1,x2x_{1},x_{2}, as a function of x3/L3x_{3}/L_{3}, on 𝕋3Γ—π•Š(x3)1{\mathbb{T}}^{3}\times{\mathbb{S}}^{1}_{(x_{3})} (the circle size is L3L_{3}, approximating ℝ{\mathbb{R}}) for 𝕋3{\mathbb{T}}^{3} of sizes (10,10,10)(10,10,10) and (10,10,5)(10,10,5). We see, in particular, that tr​W0\,{\rm tr}\,W_{0} jumps from +2+2 to βˆ’2-2 as one crosses the solution. This is the one-dimensional analogue (i.e. on 𝕋3×ℝ{\mathbb{T}}^{3}\times{\mathbb{R}}) of the disordering of the Wilson loop by a center vortex on ℝ2×𝕋2{\mathbb{R}}^{2}\times{\mathbb{T}}^{2}, observed long ago in [RTN:1993ilw, Gonzalez-Arroyo:1995ynx] and argued to lead to semiclassical center symmetry restoration/confinement.

The large-L1L_{1}, ℝ3Γ—π•Š1{\mathbb{R}}^{3}\times{\mathbb{S}}^{1} regime: We now move to the large-L1β‰₯20L_{1}\geq 20 regime on Fig. 10. In this large-L1L_{1} regime, the solutions are the monopole-instantons in the flux vacuum of dYM already discussed in Section 5. That this is so is already clear from the plot of the Higgs field (tr​W0\,{\rm tr}\,W_{0}) width in the 1212 plane shown on the bottom r.h.s. plot on Figure 10, which, in dYM, remains finite and smaller than LL even for L=20L=20.

It is also easy to see that for the values of L1L_{1} and L3L_{3} that match the ones of Figs. 3 and 4 all quantities agree with Figure 10. Finally, we note that here, L0​L3=450L_{0}L_{3}=450 and L1​L2=L12=(400,…,1600)L_{1}L_{2}=L_{1}^{2}=(400,...,1600) as L1=(20,…,40)L_{1}=(20,...,40). Thus, the lower range of the 20<L1<4020<L_{1}<40 regime plotted, is similar to the one on Figs. 6(c), 6(e), where dYM abelianizes but YM does not. This is not entirely surprising since the level crossing transition at L1=1.5.L0L_{1}=1.5.L_{0} from flux to no-flux vacuum is one appearing in dYM. In YM, on the other hand, the transition is through the completely delocalized constant field strength minimal action solutions at L0​L3=L1​L2L_{0}L_{3}=L_{1}L_{2}.

Refer to caption
(a) (10, 15, 15, 45): tr​W0\,{\rm tr}\,W_{0} in 1313 plane
Refer to caption
(b) (10, 15, 15, 45): F12U​(1)F_{12}^{U(1)} in 1313 plane
Figure 12: A small number (22 out of 99) of minimum action dYM configurations with |Q|=1/2|Q|=1/2 at L1L0=1.5{L_{1}\over L_{0}}=1.5, on a (10,15,15,45)(10,15,15,45) lattice, at the transition point between the flux and no-flux vacua of dYM, are found to look like monopole instantons in the flux vacuum of dYM. tr​W0\,{\rm tr}\,W_{0} shows localization in x3x_{3}, with width of order L1L_{1}, and approaches 0 far away from the core of the monopole instanton showing abelianization in dYM.

The transition region, near L1=Lc∼15L_{1}=L_{c}\sim 15. We now move on to discuss the transition seen at L1∼15L_{1}\sim 15, associated, as per discussion above, with the dYM transition from the flux to the no-flux vacuum.

First we note that on Fig. 10, the action peak for the (10,L,L,45)(10,L,L,45) lattice is at Lc=15L_{c}=15 is at L1​L2=225L_{1}L_{2}=225 while L0​L3=450L_{0}L_{3}=450. In pure YM these values would be not far from the ones where the minimal action configuration is the constant-FF one (which would occur at L1=L2≃21L_{1}=L_{2}\simeq 21). Thus in YM, one would expect delocalized configurations, as was found in [Wandler:2024hsq] (this is clear already from the tr​W0\,{\rm tr}\,W_{0} 1212-plane localization plot for YM on the bottom r.h.s.).

In dYM, the nature of the configurations appearing at L=15L=15 is as follows. In a small number (22 out of 99) of the minimum action configurations for a (10,15,15,45)(10,15,15,45) lattice found by our minimization algorithm, we observe configurations with properties like those of the flux vacuum monopole instantons, as shown on Figure 12. However, the majority (77 out of 99) of minimal action configurations identified by our algorithm, are configurations of similar action, which are not localized in x3x_{3}. These configurations show a two-peak Wilson action density structure in x3x_{3}, see Figure 13, but a single-peak deformation action densityβ€”with |tr​W0|2/2|\,{\rm tr}\,W_{0}|^{2}/2 shown on the r.h.s. of the same Figure.272727We note that on the r.h.s. we show the data for the (10,15,15,64)(10,15,15,64) lattice of larger L3L_{3} (where we found that all minimum action configurations at L=15L=15 were of the β€œtwo-hump” variety shown). We stress, however, that the identical identical structure of all quantities shown appears for the 77 out of 99 configurations on the (10,15,15,45)(10,15,15,45) lattice.

Our final comment on the transition region is that its more detailed study requires significantly more resources: in particular, a more fine-grained study of the transition region, as well as studies of larger lattices and possibly different values of cc may be warranted, a task that goes beyond the scope of this work. However, the point made clear by our results is that the small-LL and large-LL values correspond to the no-flux and flux vacua surrounding the localized finite action solution, with the detailed study of the transition region left for future work.

Refer to caption
(a) The Wilson term action density for a (10,15,15,45)(10,15,15,45) lattice in the 1313 plane. Its two-hump profile as a function of x3x_{3}, taken at the point of maximal action in 1212 plane, is also shown on the right, albeit for a (10,15,15,64)(10,15,15,64) lattice with larger L3L_{3}.
Refer to caption
(b) The deformation action, |tr​W0/2|2|\,{\rm tr}\,W_{0}/2|^{2} (the curve with a single maximum, with scale given on the r.h.s.), along with |tr​W1/2|2|\,{\rm tr}\,W_{1}/2|^{2} and the Wilson term action density, displaying a two maxima structure, as a function of x3x_{3}
Figure 13: The majority (77 out of 99) of the minimum action dYM configurations with |Q|=1/2|Q|=1/2, on a (10,15,15,45)(10,15,15,45) lattice, at the transition point L1L0=1.5{L_{1}\over L_{0}}=1.5 between the flux and no-flux vacua of dYM, are found to have the two maxima structure of their Wilson action density, shown on the left figure, but a single deformation action peak, seen on the r.h.s. On the r.h.s., we compare |tr​W0/2|2|\,{\rm tr}\,W_{0}/2|^{2}, |tr​W1/2|2|\,{\rm tr}\,W_{1}/2|^{2}, and the Wilson action density as a function of x3x_{3}, for a lattice with a larger L3L_{3} at the same critical value of L1L_{1} (we do not show |tr​W2|2|\,{\rm tr}\,W_{2}|^{2} as its behaviour is identical to that of |tr​W1|2|\,{\rm tr}\,W_{1}|^{2} shown). These configurations show no localization in x3x_{3}, with the region of nonzero Wilson and deformation action density taking roughly half the L3L_{3} length. (This is true for L3=45L_{3}=45 shown as well as for L3=65L_{3}=65, which we do not show). These configurations have, within our precision, roughly the same (or a bit smaller) total action as the flux vacua ones on Fig. 12, but a smaller Wilson and larger deformation action, due to the tr​W0\,{\rm tr}\,W_{0} behaviour shown.

Acknowledgments: This work is supported by an NSERC Discovery Grant. We also acknowledge the Digital Research Alliance of Canada for giving us access to computer resources. We thank Rajamani Narayanan for helpful discussions of numerical methods.

Appendix A Implementing the gradient flow

Typically minimization of the Wilson action in S​U​(2)SU(2) pure Yang-Mills is done using cooling techniques, see [GarciaPerez:1993lic, deForcrand:1995qq, Montero:2000mv] or the recent [Wandler:2024hsq, Anber:2025yub]. However, cooling techniques rely on plaquettes in the Wilson action being first order in the link variables, and therefore will not work for more general actions. Hamiltonian Monte Carlo [Duane:1987216] techniques are more flexible, but reproduce the statistics of the path integral rather than generating minimum action configurations. To circumvent this limitation, we used a modified version of the HMC algorithm, where rather than giving a configuration random momentum in between evolution periods, the configuration’s momentum was set to zero. If the Hamiltonian evolution periods are short enough, this ensures that each evolution period will reduce the action of the configuration, unless numerical errors have caused the algorithm to not conserve energy, in which case the configuration is rejected and the evolution is tried again with a smaller δ​τ\delta\tau. The procedure will be summarized below.

The overall action used was the same as in (6), repeated here for convenience:

St​o​t​a​l=A​(SW​i​l​s​o​n+Sd​e​f.)=A​(βˆ‘xβˆ‘ΞΌβ€‹Ξ½tr​(πŸβˆ’Bμ​ν​(x)​░μ​ν​(x))+cL03β€‹βˆ‘xβ†’|tr​W0​(xβ†’)|2).S_{total}=A(S_{Wilson}+S_{def.})=A\left(\sum_{x}\sum_{\mu\nu}{\rm tr}\left(\mathbf{1}-B_{\mu\nu}(x){\Box}_{\mu\nu}(x)\right)+{c\over L_{0}^{3}}\sum_{\vec{x}}\left|{\rm tr}W_{0}(\vec{x})\right|^{2}\right)\penalty 10000\ . (31)

Following the procedure in [Duane:1987216] and [Lippert:1997qx] we derive equations of motion, where xβˆˆβ„4x\in\mathbb{R}^{4} and Ο„\tau being the fictitious time evolution parameter:

U˙μ​(x,Ο„)\displaystyle\dot{U}_{\mu}(x,\tau) =πμ​(x,Ο„)​Uμ​(x,Ο„),\displaystyle=\pi_{\mu}(x,\tau)U_{\mu}(x,\tau),
π˙μ​(x,Ο„)\displaystyle\dot{\pi}_{\mu}(x,\tau) =A​(cL03​(T​r​(W0†)​W0βˆ’T​r​(W0)​W0†)⏟Contribution fromΒ Sd​e​f.+(Vμ†​UΞΌβ€ βˆ’Uμ​VΞΌ)⏟Contribution fromΒ SW​i​l​s​o​n)​(x,Ο„).\displaystyle=A\left(\underbrace{\frac{c}{L_{0}^{3}}(Tr(W_{0}^{\dagger})W_{0}-Tr(W_{0})W_{0}^{\dagger})}_{\text{Contribution from $S_{def.}$}}+\underbrace{(V^{\dagger}_{\mu}\;U_{\mu}^{\dagger}-U_{\mu}\;V_{\mu})}_{\text{Contribution from $S_{Wilson}$}}\right)(x,\tau)\penalty 10000\ . (32)

where W0:=W0​(x)W_{0}:=W_{0}(x), i.e. the Wilson loop winding in the 0 direction starting at site xx, and the staple Vμ​(x)V_{\mu}(x) is defined by

Vμ​(x)=βˆ‘Ξ½β‰ ΞΌ(Bμ​ν​(x)​Uν​(x+e^ΞΌ)​Uμ†​(x+e^Ξ½)​Uν†​(x)+Bμ​ν​(xβˆ’e^Ξ½)​Uν†​(xβˆ’e^Ξ½+e^ΞΌ)​Uν†​(xβˆ’e^Ξ½)​Uν​(xβˆ’e^Ξ½)).V_{\mu}(x)=\sum_{\nu\neq\mu}\left(B_{\mu\nu}(x)U_{\nu}(x+\hat{e}_{\mu})U^{\dagger}_{\mu}(x+\hat{e}_{\nu})U^{\dagger}_{\nu}(x)+B_{\mu\nu}(x-\hat{e}_{\nu})U_{\nu}^{\dagger}(x-\hat{e}_{\nu}+\hat{e}_{\mu})U_{\nu}^{\dagger}(x-\hat{e}_{\nu})U_{\nu}(x-\hat{e}_{\nu})\right)\penalty 10000\ . (33)

where Bμ​νB_{\mu\nu} is the 2-form topological background (8), as in (9) or (10). The π˙μ​(x)\dot{\pi}_{\mu}(x) equation is derived by defining the Hamiltonian

β„‹=βˆ‘x,ΞΌtr​(πμ​πμ†2)+St​o​t​a​l​[UΞΌ].\mathcal{H}=\sum_{x,\mu}\,{\rm tr}\,\left(\frac{\pi_{\mu}\pi_{\mu}^{\dagger}}{2}\right)+S_{total}[U_{\mu}]\penalty 10000\ . (34)

and then enforcing β„‹Λ™=0\dot{\mathcal{H}}=0 and U˙μ​(x,Ο„)=πμ​(x,Ο„)​Uμ​(x,Ο„)\dot{U}_{\mu}(x,\tau)=\pi_{\mu}(x,\tau)U_{\mu}(x,\tau). Then, the procedure for generating a configuration is as follows:

  1. 1.

    Generate a lattice with random link variables Uμ​(x)U_{\mu}(x).

  2. 2.

    Assign each link variable an 𝔰​𝔲​(2)\mathfrak{su}(2)-valued momentum πμ​(x)=𝟎\pi_{\mu}(x)=\mathbf{0}. The initial total energy is thus β„‹=St​o​t​a​l\mathcal{H}=S_{total}.

  3. 3.

    Numerically evolve the links and momenta for some length of fictitious time Ο„0\tau_{0} according to equations (32), implemented using a leapfrog time-stepping method to conserve β„‹\mathcal{H}.

  4. 4.

    Verify that St​o​t​a​lS_{total} has decreased. If it has, accept the configuration. Otherwise, increase numerical precision (by reducing AA and shrinking the time step δ​τ\delta\tau) and repeat.

  5. 5.

    If accepted, set all πμ​(x)=𝟎\pi_{\mu}(x)=\mathbf{0} and repeat steps 3 and 4 for the new configuration of links.

  6. 6.

    Repeat this process until action has stopped changing or a predetermined number of evolution periods have elapsed.

This procedure is the same as in standard HMC, with the exception that momenta are set to zero rather than randomized between evolution periods and the acceptance criterion is a reduction in the action, not of β„‹\mathcal{H}. In contrast with HMC, this acceptance step plays no statistical role and is simply a check that the algorithm is numerically stable.

To speed up the rate of convergence, the parameter AA can be adjusted, which increases the β€œforces” present in equation (32). However, the β€œtrue” action of a configuration, the value shown in figures above, was always calculated by dividing out the parameter AA. Each time the change in true action after a period of evolution dropped below 1%, the parameter AA was multiplied by 10 for the next period of evolution. This continued until the program started to encounter numerical instability, at which point the multiplication stopped. Any subsequent numerical instability resulted in AA being halved.

This procedure was able to easily reproduce the known numerical results on pure Yang-Mills twisted lattices found in [Wandler:2024hsq]. For most lattices, if a true minimum of the action was found, the program had reduced the action to that minimum within around 300 periods of evolution for a fictitious time Ο„=10\tau=10. Frequently a local minimum of the action would be encountered far above the true minimum. These local minima appeared frequently when reducing the action of dYM configurations, and became more common as lattice sizes increased. Pure Yang-Mills configurations very rarely encountered local minima, if at all.

Given the lack of a BPS bound for dYM, the numerical value of actions designated β€œtrue” vacua were determined by performing this minimization process on a large number of configurations, and taking the smallest action found to be the true minimum. Usually, a significant fraction of configurations clustered around this β€œtrue” minimum value, and others clustered around various local minima above the true vacuum.

Appendix B On the classification of finite action Euclidean solutions on ℝ2×𝕋n122{\mathbb{R}}^{2}\times{\mathbb{T}}^{2}_{n_{12}}

Let us work on ℝ(x0,x3)2×𝕋(x1,x2)2{\mathbb{R}}^{2}_{(x_{0},x_{3})}\times{\mathbb{T}}^{2}_{(x_{1},x_{2})} with a twist n12=1n_{12}=1, in an S​U​(2)SU(2) pure YM theory.282828For brevity we take S​U​(2)SU(2) gauge group, noting that the argument is easily generalized to any S​U​(N)SU(N) with a general twist n12n_{12}, see the comment at the end. Also, it generalizes to dYM, with the deformation either in the x3x_{3} direction (which then would have to be taken compact, replacing 𝕋2{\mathbb{T}}^{2} with 𝕋3{\mathbb{T}}^{3}) or in one of the directions of 𝕋2{\mathbb{T}}^{2}, e.g.the x1x_{1}. We want to classify the finite Euclidean action configurations in this setup. We begin by taking the A0=0A_{0}=0 gauge, which, we recall, is also very convenient in the usual analysis of finite action instantons on ℝ×ℝ3{\mathbb{R}}\times{\mathbb{R}}^{3}, with ℝ{\mathbb{R}} denoting Euclidean time. A finite action field configuration should have the property that at ℝ2{\mathbb{R}}^{2}-infinity, it should satisfy Fi​j=0F_{ij}=0 and F0​i=0F_{0i}=0, where i=1,2,3i=1,2,3, i.e. should go to a pure gauge. The second condition, in the A0=0A_{0}=0 gauge, implies that βˆ‚0Ai=0\partial_{0}A_{i}=0 at infinity in ℝ(x0,x3)2{\mathbb{R}}^{2}_{(x_{0},x_{3})}. It is convenient to think of infinity in ℝ2{\mathbb{R}}^{2} as a square, whose four sides correspond to x0β†’Β±βˆžx_{0}\rightarrow\pm\infty (for any x3x_{3}) or x3β†’Β±βˆžx_{3}\rightarrow\pm\infty (for any x0x_{0}).

We then ask what are the minimum (zero) energy classical configurations, Fi​j=0F_{ij}=0, on ℝ(x3)×𝕋(x1,x2)|n12=12{\mathbb{R}}_{(x_{3})}\times{\mathbb{T}}^{2}_{(x_{1},x_{2})|_{n_{12}=1}}, which should be the configurations the finite action Euclidean solutions should approach as x0β†’Β±βˆžx_{0}\rightarrow\pm\infty. To proceed, we take constant transition functions in the 1212 plane, Ξ“1,Ξ“2∈S​U​(2)\Gamma_{1},\Gamma_{2}\in SU(2), with the gauge field A≑Ai​d​xiA\equiv A_{i}dx^{i} (a sum over i=1,2,3i=1,2,3 is implied) obeying twisted boundary conditions on 𝕋2{\mathbb{T}}^{2}:

A​(xβ†’+eβ†’1​L1)\displaystyle A(\vec{x}+\vec{e}_{1}L_{1}) =\displaystyle= Ξ“1​A​(xβ†’)​Γ1†,\displaystyle\Gamma_{1}A(\vec{x})\Gamma_{1}^{\dagger}, (35)
A​(xβ†’+eβ†’2​L2)\displaystyle A(\vec{x}+\vec{e}_{2}L_{2}) =\displaystyle= Ξ“2​A​(xβ†’)​Γ2†,\displaystyle\Gamma_{2}A(\vec{x})\Gamma_{2}^{\dagger}, (36)
Ξ“1​Γ2\displaystyle\Gamma_{1}\Gamma_{2} =\displaystyle= ei​π​Γ2​Γ1\displaystyle e^{i\pi}\Gamma_{2}\Gamma_{1} (37)

Clearly, Fi​j=0F_{ij}=0 implies that A≑Ai​d​xiA\equiv A_{i}dx^{i} is pure gauge at x0β†’Β±βˆžx_{0}\rightarrow\pm\infty. The solution to this problem has been known for a long time [Witten:1982df]:

A(k)=βˆ’i​Tk​d​Tβˆ’k,k=0,1,where​T=T​(x1,x2,x3)≑T​(xβ†’)∈S​U​(2).\displaystyle A^{(k)}=-iT^{k}dT^{-k},\penalty 10000\ k=0,1,\penalty 10000\ \text{where}\;T=T(x_{1},x_{2},x_{3})\equiv T(\vec{x})\in SU(2). (38)

In other words, the pure-gauge configurations which the finite action instanton should approach as x0β†’Β±βˆžx_{0}\rightarrow\pm\infty are either A(0)=0A^{(0)}=0, or A(1)=βˆ’i​T​d​Tβˆ’1A^{(1)}=-iTdT^{-1}. The properties that T​(xβ†’)T(\vec{x}) obeys are:

T​(xβ†’+eβ†’1​L1)\displaystyle T(\vec{x}+\vec{e}_{1}L_{1}) =\displaystyle= Ξ“1​T​(xβ†’)​Γ1†\displaystyle\Gamma_{1}T(\vec{x})\Gamma_{1}^{\dagger}
T​(xβ†’+eβ†’2​L2)\displaystyle T(\vec{x}+\vec{e}_{2}L_{2}) =\displaystyle= Ξ“2​T​(xβ†’)​Γ2†\displaystyle\Gamma_{2}T(\vec{x})\Gamma_{2}^{\dagger} (39)
T​(x1,x2,x3β†’βˆž)\displaystyle T(x_{1},x_{2},x_{3}\rightarrow\infty) =\displaystyle= ei​π​T​(x1,x2,x3β†’βˆ’βˆž)\displaystyle e^{i\pi}T(x_{1},x_{2},x_{3}\rightarrow-\infty)

An explicit expression of a representative292929This is because TT itself is defined up to large gauge transformations with integer winding number, which can be thought of as maps from π•Š3{\mathbb{S}}^{3} to S​U​(2)SU(2), see [Cox:2021vsa] for a recent discussion. In other words, as written, the two configurations (38) only capture the fractional part of the topological charge. The integer action classification is the same as on ℝ4{\mathbb{R}}^{4}. of TT can be written using the function g​(x1,x2)g(x_{1},x_{2}) and f​(x3/L1)f(x_{3}/L_{1}) obeying the following properties

T​(x1,x2,x3)\displaystyle T(x_{1},x_{2},x_{3}) =\displaystyle= g​(x1,x2)​eβˆ’i​π​σ3​f​(x3L1)​gβˆ’1​(x1,x2),\displaystyle g(x_{1},x_{2})e^{-i\pi\sigma^{3}f({x_{3}\over L_{1}})}g^{-1}(x_{1},x_{2}), (40)
where​g​(x1+L1,x2)\displaystyle\text{where}\penalty 10000\ g(x_{1}+L_{1},x_{2}) =\displaystyle= Ξ“1​g​(x1,x2),\displaystyle\Gamma_{1}g(x_{1},x_{2}),
g​(x1,x2+L2)\displaystyle g(x_{1},x_{2}+L_{2}) =\displaystyle= Ξ“2​g​(x1,x2)​eβˆ’i​π​σ3​x1L1,\displaystyle\Gamma_{2}g(x_{1},x_{2})e^{-i\pi\sigma^{3}{x_{1}\over L_{1}}},
f​(yβ†’+∞)\displaystyle f(y\rightarrow+\infty) =\displaystyle= 1,\displaystyle 1,
f​(yβ†’βˆ’βˆž)\displaystyle f(y\rightarrow-\infty) =\displaystyle= 0.\displaystyle 0.

An explicit expression for the function g​(x1,x2)g(x_{1},x_{2}) can be found in [Poppitz:2022rxv],303030The meaning of g​(x1,x2)g(x_{1},x_{2}) is that it is the function (itself a rather complicated map from the covering space of 𝕋2{\mathbb{T}}^{2} to S​U​(2)SU(2)) that maps the constant to the abelian transition functions. This will not be important in our discussion here. We also note that if L3L_{3} is taken finite, then in TT we replace f​(x3/L1)f(x_{3}/L_{1}) by x3/L3x_{3}/L_{3}; TT then has the meaning as the center symmetry generator in the x3x_{3} direction. The two configurations A(0)A^{(0)} and A(1)A^{(1)} from (38) are distinguished by the value of the winding Wilson loop in x3x_{3} tr​W3\,{\rm tr}\,W_{3}: it equals 22 for k=0k=0 and βˆ’2-2 for k=1k=1. We note that with the definition (40) this distinction remains true in the infinite L3L_{3} limit, where tr​W3\,{\rm tr}\,W_{3} now includes an x3x_{3} integral over the real axis. where Ξ“1=i​σ1\Gamma_{1}=i\sigma^{1} and Ξ“2=i​σ3\Gamma_{2}=i\sigma^{3}, but all we need to verify that T​(xβ†’)T(\vec{x}) of (40) obeys (B) is its existence and properties. The function f​(y)f(y) can be any smooth function with the given limits, for example f​(y)=12​(1+tanh⁑y)f(y)={1\over 2}(1+\tanh y) and we note that the scale L1L_{1} appearing in f​(x3/L1)f(x_{3}/L_{1}) on the first line in (40) can be replaced by any fixed scale.

Further, we note that as x3β†’Β±βˆžx_{3}\rightarrow\pm\infty, the two configurations A(0)A^{(0)} and A(1)A^{(1)} from (38) (the two limits of the finite action solution at x0β†’Β±βˆžx_{0}\rightarrow\pm\infty) approach zero exponentially fast because ei​π​σ3​fe^{i\pi\sigma^{3}f} approaches Β±1\pm 1 times the unit matrix at spatial infinity, thus TT becomes trivial and AA vanishes as |x3|β†’βˆž|x_{3}|\rightarrow\infty. In each case, as A=0A=0 at |x3|β†’βˆž|x_{3}|\rightarrow\infty, βˆ‚0Ai=F0​i=0\partial_{0}A_{i}=F_{0i}=0 is obeyed there, as required. The configurations at x0=∞x_{0}=\infty and x0=βˆ’βˆžx_{0}=-\infty could both be the same of differ, i.e. correspond to the same or different value of kk from (38). Thus, a finite action Euclidean configuration on ℝ2×𝕋2{\mathbb{R}}^{2}\times{\mathbb{T}}^{2} with n12=1n_{12}=1 can have one of four possible boundary conditions at the ℝ2{\mathbb{R}}^{2} infinity. In the case where the gauge field approaches the same limit at x0β†’Β±βˆžx_{0}\rightarrow\pm\infty, i.e. either both have k=0k=0 (or k=1k=1), the topological charge is integer (owing to the fact that the large gauge transformations π•Š3β†’S​U​(2){\mathbb{S}}^{3}\rightarrow SU(2), not included in (38), can have different integer winding in the two limits, recall Footnote 29).

Consider then the gauge field approaching different limits, for definiteness, k=1k=1 at x0β†’βˆžx_{0}\rightarrow\infty (i.e. A|x0β†’βˆž=βˆ’i​T​d​Tβˆ’1A|_{x_{0}\rightarrow\infty}=-iTdT^{-1}) and k=0k=0 at x0β†’βˆ’βˆžx_{0}\rightarrow-\infty (i.e. A|x0β†’βˆ’βˆž=0A|_{x_{0}\rightarrow-\infty}=0). The (fractional part of the) topological charge of such a configuration is then calculated, upon integrations by parts, in terms of its asymptotics, following the steps outlined below:

Q|k=0k=1\displaystyle Q\big|^{k=1}_{k=0} =\displaystyle= 18​π2β€‹βˆ«β„(x0,x3)2×𝕋(x1,x2)2tr​F∧F=124​π2β€‹βˆ«β„(x3)×𝕋(x1,x2)2tr​(T​d​Tβˆ’1)3\displaystyle{1\over 8\pi^{2}}\int_{{\mathbb{R}}^{2}_{(x_{0},x_{3})}\times{\mathbb{T}}^{2}_{(x_{1},x_{2})}}\,{\rm tr}\,F\wedge F={1\over 24\pi^{2}}\int\limits_{{\mathbb{R}}_{(x_{3})}\times{\mathbb{T}}^{2}_{(x_{1},x_{2})}}\,{\rm tr}\,(TdT^{-1})^{3} (41)

The equality above follows from (38) upon integration by parts in x0x_{0}, similar to [tHooft:1979rtg, tHooft:1981sps] (also given in detail in [Cox:2021vsa, Poppitz:2022rxv]; we stress that the use of constant transition functions is important).

To further calculate the winding number (which appears on the r.h.s. in (41)) of TT, considered a map ℝ×𝕋2β†’S​U​(2){\mathbb{R}}\times{\mathbb{T}}^{2}\rightarrow SU(2) obeying the boundary conditions (B), we use the expression for TT from (40) and introduce the shorthand notation Xα≑gβˆ’1β€‹βˆ‚Ξ±gX_{\alpha}\equiv g^{-1}\partial_{\alpha}g, Ξ±=1,2\alpha=1,2 (explicit expressions for XΞ±X_{\alpha} are given in Appendix A in [Poppitz:2022rxv]):

124​π2β€‹βˆ«β„(x3)×𝕋(x1,x2)2tr​(T​d​Tβˆ’1)3\displaystyle{1\over 24\pi^{2}}\int\limits_{{\mathbb{R}}_{(x_{3})}\times{\mathbb{T}}^{2}_{(x_{1},x_{2})}}\,{\rm tr}\,(TdT^{-1})^{3}
=\displaystyle= i4β€‹Ο€β€‹βˆ«β„(x3)×𝕋(x1,x2)2𝑑x1​𝑑x2​𝑑x3β€‹βˆ‚3f​tr​[Οƒ3​(Xα​(1βˆ’cos2⁑π​f)βˆ’Οƒ3​Xα​σ3​sin2⁑π​f)​ϡα​β​XΞ²]\displaystyle{i\over 4\pi}\int\limits_{{\mathbb{R}}_{(x_{3})}\times{\mathbb{T}}^{2}_{(x_{1},x_{2})}}dx_{1}dx_{2}dx_{3}\;\partial_{3}f\;\,{\rm tr}\,\left[\sigma_{3}(X_{\alpha}(1-\cos^{2}\pi f)-\sigma^{3}X_{\alpha}\sigma^{3}\sin^{2}\pi f)\epsilon^{\alpha\beta}X_{\beta}\right]
=\displaystyle= βˆ«βˆ’βˆžβˆžπ‘‘x3​(1βˆ’cos⁑2​π​f)β€‹βˆ‚3fβ€‹βˆ«01𝑑x1β€‹βˆ«01𝑑x2β€‹βˆ‚2f~2​(x2)=(f|x3β†’βˆžβˆ’f|x3β†’βˆ’βˆž)​(f~2​(1)βˆ’f~2​(0))=12.\displaystyle\int\limits_{-\infty}^{\infty}dx_{3}(1-\cos 2\pi f)\partial_{3}f\int\limits_{0}^{1}dx_{1}\int\limits_{0}^{1}dx_{2}\;\partial_{2}\tilde{f}^{2}(x_{2})=(f|_{x_{3}\rightarrow\infty}-f|_{x_{3}\rightarrow-\infty})(\tilde{f}^{2}(1)-\tilde{f}^{2}(0))={1\over 2}.

Obtaining the the last line requires using the properties of g​(x1,x2)g(x_{1},x_{2}), along with behaviour of f​(x3)f(x_{3}) from (40), as well as the already mentioned definitions of XΞ±X_{\alpha}. We rescaled all coordinates appropriately so that L1=L2=1L_{1}=L_{2}=1. The function f~​(x2)\tilde{f}(x_{2}) on the last line is the β€œbump” function entering the definition of g​(x1,x2)g(x_{1},x_{2}), see Appendix A in [Poppitz:2022rxv]; most importantly, it has the property that f~2​(1)βˆ’f~2​(0)=12\tilde{f}^{2}(1)-\tilde{f}^{2}(0)={1\over 2}. The entire calculation follows the one given in Section 3.1 of [Poppitz:2022rxv] for the ℝ×𝕋3{\mathbb{R}}\times{\mathbb{T}}^{3} case, the only difference being that the function f​(x3)f(x_{3}) is taken to be the one appropriate for ℝ2×𝕋2{\mathbb{R}}^{2}\times{\mathbb{T}}^{2}. Combining (41) and (B), we obtain that the fractional part of the topological charge with different asymptotics of the gauge field at x0β†’Β±βˆžx_{0}\rightarrow\pm\infty is Q|k=0k=1=1/2Q\big|^{k=1}_{k=0}=1/2. The generalization to ℝ×𝕋3{\mathbb{R}}\times{\mathbb{T}}^{3} with a twist n12n_{12} in 𝕋3{\mathbb{T}}^{3} follows essentially the same steps.

The moral of the discussion here is that one can argue for the fractionality of the topological charge already in the semi-infinite limit ℝk×𝕋n124βˆ’k{\mathbb{R}}^{k}\times{\mathbb{T}}^{4-k}_{n_{12}}, k=1,2k=1,2. The argument is familiar from ℝ4{\mathbb{R}}^{4} and is based on the conditions on the gauge field configurations at infinity ensuring finite Euclidean action (made convenient by choosing A0=0A_{0}=0) and on the understanding of the kinds of locally pure-gauge configurations that are allowed in the presence of ’t Hooft twists. This had been understood already by the authors of [RTN:1993ilw, Gonzalez-Arroyo:1995ynx, Gonzalez-Arroyo:1998hjb, Montero:2000pb] who observed that the fractional instantons persist as localized configurations of finite action when the appropriate semi-infinite volume limit is taken. As already noted, we are not aware of a more formal argument, along the lines given here, in the published literature,313131However, A. GonzΓ‘lez-Arroyo has told us that he is familiar with the argument given here. which is why we included it for completeness.

The argument generalizes to dYM as well, in both the flux and no-flux vacua. We shall not give any details, which can be filled in by the reader, but will only mention that if one considers the no-flux vacuum of dYM, the argument is essentially the same as the one already given. On the other hand, in the flux vacuum, the fractional topological charge corresponds to tunnelling events between the two different flux vacua, a fact that has been recognized already in [Unsal:2020yeh].

Our final comment concerns the generalization to S​U​(N)SU(N).323232The only advantage for considering S​U​(2)SU(2) is that all quantities entering Eqns. (40)-(B) are explicitly worked out in [Poppitz:2022rxv]. Here, one can similarly show that the topological charges are Q=pN′​(mod​ 1)Q={p\over N^{\prime}}(\rm{mod}\;1) with p=0,…,Nβ€²βˆ’1p=0,...,N^{\prime}-1 and Nβ€²=N/gcd​(n12,N)N^{\prime}=N/{\rm{gcd}}(n_{12},N). The explicit detailed expression for the map TT, which we used in (B) to calculate the winding number (41), is not really needed in order to obtain the fractional part of QQ, see for example [vanBaal:1982ag] or the Appendices of [Cox:2021vsa].

References