Metamorphosis of fractional instantons on a twisted with a double-trace deformation: a numerical study
Abstract
We use numerical minimization of the lattice action of trace-deformed Yang-Mills theory on 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 geometries. This allows us to see how the corresponding minimum action saddle point configurationsβmonopole-instantons (), center vortices (), and fractional instantons ()β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.
Contents
- 1 Introduction
- 2 The lattice setup of deformed Yang-Mills (dYM) theory
- 3 dYM vacua on : from βfluxβ to βno-fluxβ upon changing the shape
- 4 Review of minimum action configurations of pure YM with different on of varying shape
- 5 The βfluxβ vacuum of dYM: monopole-instantons and their transmutation into center-vortices
- 6 From the βfluxβ to the βno-fluxβ vacuum: from monopole-instantons on to fractional instantons on
- A Implementing the gradient flow
- B On the classification of finite action Euclidean solutions on
- References
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 gauge theories on compact spaces of the form . Here denotes a dimensional torus with . 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 to denote the strong coupling scale of the gauge theory. We take Euclidean signature in all cases, except on a few occasions where the use of Minkowski signature is explicitly stated.
If the size of the torus is small,111For simplicity, the discussion here only refers to the overall size of the , denoted by , tacitly assuming that all periods of the torus are of the same order. Later, we relax this assumption, considering different ratios of periods of . such that , one can show that the theory abelianizes: the gauge group is Higgsed, by the boundary conditions or the deformation, or , at a high scale , ensuring that the theory is weakly coupled. Let us be slightly more precise: for , the long-distance or theory is weakly coupled because of the abelianization. For , the theory on or is weakly coupled at small even without the nontrivial βt Hooft twists or deformationβthis is the βfemtouniverseβ of [Bjorken:1979hv, Luscher:1982ma]. However, now the small- and large- 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 theories with βt Hooft twists and/or deformation.
The weak coupling at small permits the use of theoretically controlled semiclassical methods to study ground state properties, -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 , evolve continuously into the ones seen in the strongly-coupled , or , 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- 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 for different . 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 β,β defined (mod ) in [tHooft:1979rtg], to denote the imposition of nontrivial twisted boundary conditions in the (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 , the pattern of gauge symmetry breaking, the kinds of minimal action saddles, their βquantum numbersβ (e.g. topological charge ), as well their localization properties, are found to be as follows:
| localized or extended in some or all directions, depending on and ratios of periods. |
In each case, we have assumed that the choice of twists is such that the minimal ; 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.
For all values of , the minimum action semiclassical objects have topological charge . For , this has been known since the classification of finite action configurations on of [Gross:1980br], which implies that at the center-symmetric point [Unsal:2008ch]. For , the existence of fractional instantons on and 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 (and, by a simple extension, to ). 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 , βt Hooft argued [tHooft:1979rtg, tHooft:1981sps] that for some choices of twists, later studied in great detail in [vanBaal:1982ag]. These instantons are exactly self-dual (or, for with no supersymmetry, approximately self-dual). Thus, their semiclassical contribution to the path integral scales as , where is the gauge theory coupling at a scale of order . As indicated, these finite action configurations are localized in the noncompact and have size of order .
-
2.
Notice that for , there is a single, up to moduli, minimal action configuration with . For , on the other hand, there are different objects of fractional topological charge, distinguished by their βmagneticβ charges. These are labelled by the simple roots, , of , along with the affine root . These monopole-instantons are the βconstituentsβ of the BPST instanton [Lee:1997vp, Kraan:1998sn].
-
3.
In each of the cases with , a dilute gas of the relevant instantons disorders large Wilson loops in the noncompact (case (1.1)) or (case (1.1)), leading to area law and confinement. For , see [Unsal:2008ch]. For , confinement by center vortices is shown in [Tanizaki:2022ngt]. For , Refs. [RTN:1993ilw, Gonzalez-Arroyo:1995ynx] showed that tunnelling due to fractional instantons causes the correlator of two winding Wilson loops, separated in , 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
-
4.
The and 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 . 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.
We will not dwell much on the case in this Introduction. This is because the study of configurations on is really the subject of most of the rest of the paper. Here, we only mention that fractional instantons on 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 results reviewed in [Dorey:2002ik].
-
6.
Our final remark is that there are few known analytic solutions with in the geometries (1.1)-(1.1). In fact, there are only two kinds: the BPS monopole instantons on [Lee:1997vp] and βt Hooftβs constant field strength fractional instantons on [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 cases, where the only βquantum numberβ is the topological charge . Thus, at least naively (however, see Section 6), one imagines compactifying a center vortex, a 2d sheet wrapped on , as in (1.1), on an orthogonal to the sheet, obtaining (1.1); this can then be further compactified to obtain (1.1). Conversely, one could begin with a with appropriately chosen twists (giving the minimal ) and then take limits of its periods such that it approximates any one of the cases with . This may be especially clear if one wants to obtain the cases, where the same twist in the or appearing in (1.1) or (1.1) can be imposed on the original βso that one obtains the desired or in the limit.555A twist involving a direction taken to infinity will not be relevant and serves only to select the desired boundary condition, one of the many possible, at or infinity; see Appendix B.
Obtaining from (1.1)-(1.1), however, is bound to be a little trickier. First of all, as mentioned above, now there are monopole-instantons with different magnetic charges, as per (1.1), instead of a single fractional instanton; we call this the βmultiplicity problem.β Second, if there is no deformation on the one starts with, there is no way to strictly obtain , a setup where abelianization only occurs because of the deformation.666As explained in Section 4, at finite 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 limit; see [Wandler:2024hsq]). These issues were tackled by the authors of [Hayashi:2024yjc, Guvendik:2024umd], who proposed replacing by and realized that adding a βt Hooft twist in the thus-obtained two-torus solves the βmultiplicity problem.β This is because an -period translation in the presence of a βt Hooft twist is a center symmetry transformation in the orthogonal direction. This center symmetry cyclically permutes the different monopole-instantons [Anber:2015wha], thus causing them to alternate on the covering space of the , in effect creating a single object involving a monopole-instanton and all its images under the translation. Refs. [Hayashi:2024yjc, Guvendik:2024umd] then used analytic tools familiar from 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 , is wrapped around , and disorders the Wilson loops surrounding it. The resulting picture is shown, for , 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 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 -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 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 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 , 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 (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 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 dYM. To describe our results, we now briefly go over the main features of the setup. The double trace deformation is added in the direction of period . The scaling of the deformation term, with coefficient equal to (see Eqn. (6)) is motivated by the continuum one-loop expression familiar from studies [Unsal:2008ch, Unsal:2007jx]. In our simulations, we consider two choices of the dimensionless coefficient of the double-trace deformation: and . 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 dYM vacua. The other directions are labelled , of respective lengths . We always impose a nontrivial twist in the plane, . For the purpose of finding instantons, we turn on another nontrivial twist, . Finally, in all our simulations we take and vary and , keeping small and fixed. This setup allows us to interpolate between the geometries (1.1)-(1.1), with the deformation in present or not.
Section 3: Level crossing in dYM. We begin by studying the ground state of dYM on a spatial , with considered as time and with the only nonzero βt Hooft twist . This single-twist setup explores minimum action configurations on , i.e. classical ground states. Earlier, two local minima of the energy of dYM 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 ) and none in the other (the βno-fluxβ one, where ).
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 , with a level crossing occurring at a critical value . For 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 , as per (1.1), and fractional instantons on , (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 with twists, with either a single twist or with two twists ). The most important point is that, depending on the ratio between torus periods, abelianization around a 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 instantons in YM and dYM, with the deformation having the main effect of slightly raising the action above the BPS limit of .
Section 5: Center vortex/monopole-instanton continuity. Here, we study the transition between fractional instantons on different approximating and . As usual the nonzero twists are and . To study this transition, in our numerical minimization, we keep small, taking largeβbut by necessity finite, as opposed to the of [Hayashi:2024yjc, Guvendik:2024umd]βand vary from large to small, interpolating between lattices approximating and , our Eqns. (1.1) and (1.1). Using numerics, we are able to relax the condition , needed to justify the analytical tools of [Hayashi:2024yjc, Guvendik:2024umd], and thus show that the continuity persists all the way to small . The dYM vacuum surrounding the localized configurations of Section 5, for sufficiently large , is always the βfluxβ vacuum, as we always have large , hence the level crossing to the βno-fluxβ vacuum plays no role. However, for small , the vacuum surrounding the center vortex in the plane breaks instead.888This is yet another βno-fluxβ vacuum, but this time on a spatial , with considered as time (thus relevant for large ). There are two zero-energy classical vacua, which are the global minima of both YM and dYM (with the deformation still in the direction) for any ratio of periods .
We now summarize the results of the numerical study of Section 5, presented on Figures 3-9:
-
1.
For the small values of , the abelianizations in YM and dYM align (as per the discussion of Section 4) and there is no qualitative difference between the corresponding center-vortex configurations. The small- 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 β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.
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 . 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, , seen for and in the case (with the radial coordinate in ) 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.
On Figure 8(c) and 8(d), we numerically demonstrate the disordering of the Wilson loop surrounding the center vortex for the small- 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 to small , both in YM and dYM.
The main lesson is that the continuity between monopole-instantons and center vortices in dYM persists to small , with all qualitative features similar between the two limits. For the smaller 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, at a scale , and a subsequent (for ) breaking at a lower scale . 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 (see (26) and the discussion in Section 4 that follows) and the 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 is appropriately tuned.
Section 6: From monopole-instantons to fractional instantons on . Here we take a different path, studying the transition between fractional instantons on tori approximating and . As before, the nonzero twists are and . We keep fixed and small, while is fixed and large, and vary from large , to small , 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 , to the βno-fluxβ vacuum at small . Since, as per our results of Section 3, this is a dYM level-crossing transition, we expect that the nature of 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 , we find the fractional instantons studied long ago in [RTN:1993ilw, Gonzalez-Arroyo:1995ynx] (seen in the low- region of Fig. 10, as discussed there). These fractional instantons, as per our Eqn. (1.1), are well localized in . As is also well known, they disorder the Wilson loop, which approaches values away from the solution. Both these features are seen on Fig. 11.
For , 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 , studied in [Wandler:2024hsq]. to dYM is the transition region near . Here, both the Wilson and deformation action of the minimum action configurations have a peak (as a function of ), seen on Fig. 10. For the critical value of , 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 and shown on Fig. 12, or the delocalized (in ) 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 . 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 , , in YM theory on a twisted . For general , 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 , for any , 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 gauge group, on a rectangular lattice of periods , . The theory obtained by the addition of a double-trace deformation [Unsal:2008ch] in the direction with coordinate 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 ) integers . The latter will be chosen to be only nontrivial in the and planes:
| (5) |
As indicated, we sometimes turn off the -plane flux by choosing , notably in Section 3. Further, in all our studies, we take and vary along with , usually keeping the smallest dimension. Thus, upon comparing different dimensions, we shall often refer to ratios of to only. We begin with the lattice action of dYM:
| (6) |
Here, is the -plane plaquette, located at the lattice point , with a unit vector in the direction and βthe -valued link variables, periodic upon a shift of by . denotes the coordinate in the direction with the double-trace deformation, and sometimes we use to label coordinates in the directions. is the two-form (i.e. plaquette-based) topological background for the -form symmetry, or a βt Hooft twist. Explicitly, the fundamental representation Wilson loop winding in the direction, starting from , and the two-form background are:111111Winding Wilson loops in the directions are defined similar to (7), with .
| (7) | |||||
| (8) |
The βt Hooft fluxes are inserted in a corner of the relevant -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 , there is only a single one: a -plane extending in and located at . The double-trace deformation term in (6) is the one proportional to . The scaling of the coefficient of the deformation term is motivated by the usual one-loop expression obtained on in the continuum. Our studies are for the particular value , but we also take the pure YM limit (whose relevant properties are reviewed in Section 4). Throughout, as we further discuss in Section 3, the direction of extent is associated with the small spatial circle familiar from continuum studies on .
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 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 , taking . We study minima of the action (6) with two choices of twists (5). The first choice only involves a single nontrivial twist, ,
| (9) |
and is studied in Section 3. The second case is when both twists are nontrivial [tHooft:1979rtg, tHooft:1981sps, vanBaal:1982ag],
| (10) |
For , for , the minimal action solutions obey the BPS bound, .
3 dYM vacua on : from βfluxβ to βno-fluxβ upon changing the shape
In this section, we study the ground states of dYM on , upon changing the ratio (recall that we always take ). 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):
| (11) |
where now denotes the physical size of the 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 as the time direction and minimize the energy on the spatial of size , with a nontrivial twist . We take , consistent with the interpretation that we are looking for energy minima on a spatial with a single twist. The continuum energy functional, following from the Minkowski version of (11), see [Poppitz:2022rxv], in the gauge,121212We hope that the choice of to label the time direction will not be too confusing. upon setting the momentum variables (electric fields, or derivatives w.r.t. time) to zero and taking generators obeying trβ, is:
| (12) |
with a sum over and implied. The gauge fields obey twisted boundary conditions in the plane and are periodic in the third spatial direction of length .
There are two competing classical states in the theory with a deformation and a βt Hooft twist , 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:
where we ignored the arbitrary origin of in the Wilson lines above and chose a particular gauge [Poppitz:2022rxv] to describe . Notice that both and undergo a center symmetry transformation upon a period shift of or , respectively. Thus, is antiperiodic under upon a translation and v.v.. The antiperiodicity of w.r.t. a period translation in , etc., is a general property due to the nontrivial βt Hooft twist .
For the βno-fluxβ vacuum, we have instead:
Both the flux and no-flux classical ground states are two-fold degenerate, the degenerate states related by the βbrokenβ -form center symmetry in the direction, which acts as . From (12), we immediately obtain for the energies of the states (3, 3):
| (15) |
Thus, the classical flux state has lower energy at small , while the no-flux has lower energy for large . The two energies are of the same order when , for , thus we expect a transition between these two ground states at a critical value of the ratio
| (16) |
where we took . We can summarize the βphase structureβ implied by (16) as:
| (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 , a trivial , and , 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 :
| (18) | |||||
For use below, we also give the lattice definition of the gauge invariant flux, given in the continuum in the last term of the first line in (3):131313The terms vanish in the flux vacuum (3). Now, a general group element is . The inclusion of in (19) is to eliminate the dependence for tr , or . To explain, we note that in our further study we will use the definition (19) to study the field around a monopole-instanton. Near its core, , only approaching zero asymptotically. Naturally, near , the definition (19) breaks down, as and the theory is nonabelian.
| (19) |
For small , as implied by (17), the integral of over the plane is indeed equal to 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.
The flux and no-flux states are local minima of the energy functional in dYM on with . 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 , where the flux state approaches the dYM ground state on ) that one of these two states represent the global minimum of the energy in dYM for any shape of . Below, see Figure 1, by minimizing the lattice action of dYM for various shapes of , 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.
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 , along with the value of given in (3). The winding Wilson loop acts as a unitary Higgs field, whose vev breaks at a scale (the vev only commutes with the Cartan subgroup and the non-Cartan gauge bosons have mass of order ). Then, the last term of (3) is the usual gauge invariant definition of the flux in an unbroken 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 , with the strong coupling scale of the theory (in this limit, the scale of the breaking is , ensuring weak coupling). Thus, the classical flux vacuum is close to the true quantum vacuum for such values of .
-
3.
Similarly, we could describe the no-flux vacuum (3) by taking the Higgs field vev , 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 . These correspond to non-commuting unitary adjoint Higgs fields and whose vevs can be taken the shift and clock matrices, e.g. and for , thus breaking .141414As further elaborated in Section 4, if one takes 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 theory with , for any [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 , or the more precise eqn. (17).
For general the quantum theory in the no-flux vacuum is strongly coupled. However, at small , such that , the gauge group, as described above, can be considered broken to by the βt Hooft boundary conditions. Taking , for such values of , all fields have mass (see [GonzalezArroyo:1987ycm]). The classical theory at distances larger than the inverse mass gap is a 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 operators on , 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 TQFT by a term leading to the restoration of the -form symmetry [Nguyen:2024ikq].
Now, on Figure 1, we present the numerical evidence for the transition (17) between the two minima of the dYM action with and . As seen from the numerical data, there is a transition at a critical value ( 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 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 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 to fractional instantons on .
4 Review of minimum action configurations of pure YM with different on of varying shape
Here, we turn off the deformation and recall some pertinent features of pure YM theory on with twists (5). The reason for this review is that the features of pure YM theory on a twisted 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 classical zero action configurations in pure YM theory on [Witten:1982df, Gonzalez-Arroyo:1997ugn]. Using gauge invariant terms, these are easy to describe. We begin with being the only nonzero twist, where the zero action configurations are:
| (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 or ). 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 center symmetries in the and directions, the ones in the plane with vanishing twist. Likewise, when only is nonzero, the roles of the and directions are reversed, giving rise to four configurations related by the broken center symmetry in the and directions:
| (21) |
Next, when both twists are nonzero, the action saturates the BPS bound for a instanton, [tHooft:1979rtg, tHooft:1981sps, vanBaal:1982ag]. The corresponding instanton, apart from the particular case151515In the tuned case, the action density of the solution in pure YM is uniform through the entire [tHooft:1981nnx]. of an (almost) tuned torus shape, , is generically found to be localized in at least some of the 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 configuration away from the core of the instanton depends on the shape of the torus as follows:
| (26) |
We now give a heuristic argument in favour of the top line above. Let us argue that leads to the asymptotics stated.161616The argument proceeds with the obvious changes for the opposite case . Begin by assuming the opposite of (26): suppose that away from the core, the solution localized in (and maybe also in one of , if one of the two is large) approaches the configuration with . As we already mentioned in our discussion after (3), the nonzero twist in the plane implies that must change sign as traverses a period and must change sign as traverses a period . But since at least one of or is small, say , this change of sign implies that exhibits a large variation (from to ) over a small distance, which should increase the action cost. This action cost is avoided if the asymptotics is simply , i.e. if the asymptotics is the one shown on the top line in (26). On the other hand, since is large, the fact that must change sign (again, from to ) upon traversing a large distance does not result in large action cost; likewise for .
Let us now discuss two examples of the use of (26), which will be relevant further:
-
1.
Consider the theory with two twists and take a with , but obeying . According to the bottom line in (26), away from the core of the solution with , localized in the large , we have that , while . Notice that means, semiclassically, that the theory abelianizes, at a scale . This is because we can take, asymptotically, , thus the βHiggs fieldβ vev is . Notice, however, that there is a second unitary Higgs field which also has an asymptotic vev, since also far away from the solution. The corresponding Higgs vev can be taken , thus not commuting with the first oneβas the vacuum (21) breaks to βbut its effect is small since . This hierarchy thus realizes a two-stage Higgsing in the vacuum surrounding the instanton,
(28) The solution in the , , 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 . It is localized in and extended in the small . Its long-distance abelian field is given by the projection of the field onto the direction set by the asymptotics of , as in (19). The 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 and labels are flipped. for a with for .
-
2.
Now consider the same two-twist theory, taking , but with equal . The resulting finite action configuration is localized in the large , with a core size determined by the small . The asymptotics of the configuration is as in the top line in (26), with and , i.e. the vacuum (20). Notice that because , here the breaking pattern is
(29) The instanton is a center vortex, localized in the large . It disorders the Wilson loop, see [Gonzalez-Arroyo:1998hjb, Montero:2000pb]. In the recent [Wandler:2024hsq], using a of size , the localization in the 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 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 , abelianization in YM occurs, with (at ), 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 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, .
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 with . As per eqn. (17), it is the state of lowest energy at sufficiently small , . To numerically study instantons with , we also turn on , 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 to center vortices on , with a βt Hooft twist in .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 dYM theory on , both of the same topological charge , but with opposite magnetic charges [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 instanton. It is also well known that in dYM, the size of the core of monopole-instantons, an object localized in and extended in , is set by , the size of the circle. At distances larger than in , 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 direction of compact, of size , and further imposing a βt Hooft twist in the resulting . 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 twist causes the BPS and KK monopole instantons to line up along the direction. The twist causes a BPS monopole-instanton of charge , after traversing a period , to convert into a KK monopole-instanton of charge . In other words, the image of the BPS monopole upon a translation on a period in the direction is the KK monopole, whose image after another translation is a BPS monopole instanton, etc. Thus, on the covering space of , there is an infinite chain of alternating BPS and KK monopole-instantons of charges β¦////β¦, 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 , plane (i.e. in ) and has maximum size202020As a function of , with the maximum size reached for taken half-way between the monopole instanton and its image. of order , i.e. determined by . The use of the long-distance approximation to the monopole-instanton field requires (the core size), i.e. the picture assumes the hierarchy of scales:
| (30) |
where we indicated that they considered infinite . In other words, the analytic discussion holds on an asymmetric . Further, ref. [Hayashi:2024yjc, Guvendik:2024umd] showed that on , this localized βblobβ of magnetic flux of size was, in fact, a center vortex. Concretely, a -plane fundamental representation Wilson loop which encloses the flux gets multiplied by , compared to a Wilson loop that does not enclose it.
In summary, what has been achieved is to show that center-vortex semiclassical confinement on with unit βt Hooft flux and obeying (30), and the monopole-instanton confinement in dYM on 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 and show that the continuity between monopole-instantons and center vortices persists to smaller all the way down to a symmetric , where . Numerics will also allow us to explore the core of the instanton and to compare dYM and pure YM solutions.
We begin our discussion with Figures 3 and 4, where we plot various quantities for dYM theory with , for , and two different values of : (on Fig. 3) and (on Fig. 4), as a function of . 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 () as well as the corresponding widths of the localization of the βHiggs fieldβ in the plane around the instanton (i.e. the core of the instanton). All quantities are shown as function of varying in the ranges shown.
Let us now discuss the features of the different regimes seen on Figures 3 and 4:
-
1.
First, we stress that on both figures, , thus according to eqn. (17) of Section 3, this regime would correspond to the flux vacuum of dYM on the βin the absence of a twist or at large enough (strictly infinite) . Thus, for large enough , 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 dYM vacuum at infinite . We shall see that at large , the minimum action configurations have an interpretation as the monopole-instantons.
-
2.
Next, beginning with large , we observe that the dYM Wilson action of the instanton is linear in , while the deformation action levels off as a function of , 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 only in the core of the instanton (and otherwise) and the core size, for large , is independent. Consistent with the picture above, the linear growth of the total action with seen on the Figures is precisely that of the action (18) of the flux vacuum (3).222222For example, on Fig. 3, the slope, for , is easily estimated as , while (18) gives . A similar estimate holds for Fig. 4 with a slope . On both Figures, for large , 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 .
-
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, , for all values of , while the total action in dYM linearly grows with , as per the discussion above.
-
4.
On the bottom right in both Figures 3 and 4, we plot the width of the βHiggs fieldβ in the instanton background, measured in the plane (this is really the core size of the instanton). The width of in the 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 .
-
5.
Regarding the pure YM core size, we note that on Figure 3, the width in YM grows as increases and becomes bigger than around (here while , which is close to the shape leading to the constant- self-dual solution [tHooft:1981nnx]). The similarity of the core sizes in dYM and YM at small , and the growth of the YM core size with are also seen on Figure 4. Notice that the core size growth beyond , seen on Fig. 3, does not appear on Fig. 4: here and in order that exceeds one must go to , beyond the scope of our numerics. (We also refer to Figure 6 and the discussion that follows.)
(a) localization radius for a dYM monopole-instanton on a lattice. (b) localization radius radius for a YM instanton on a lattice. Figure 5: Defining the localization radius of the βHiggs fieldβ: is fitted to the (admittedly simplistic, but sufficient for our purposes) radially symmetric function . The βlocalization radiusβ is then defined as the value of where (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- one, as in Figure 6(d)). -
6.
At smaller , outside of the analytic regime (30), we notice that the core sizes (as measured by the 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 , abelianization due to 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 the 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 is due to the small width of .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 inside a region of order the width and otherwise). We note that the vacuum surrounding the solution in the plane is now .242424This background can, in fact, be thought as the vacuum of dYM on , with taken as time (this is relevant since we are considering the large limit); now and are the two zero energy vacua. These are also the pure YM classical vacua in the same geometry. At the limit where of the two-stage breaking (28) becomes the one-stage (29) (with the obvious interchange 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 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 , 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 , going through the βtransitionβ of (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 (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, defined in eqn. (19), in dYM on a 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 (in particular, the integral of the flux of over each plane taken half-way (in ) between the monopole instanton and its -translation image equals , 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 translations is a KK monopole-instanton absorbing its flux, etc.. The collimation of the flux in the plane in a region of size estimated in[Hayashi:2024yjc, Guvendik:2024umd] as is difficult to see for this lattice size (as the result for the collimation size of is obtained in the infinite limit, while here we also have images upon translations in , ).
Next, we study the collimation of the monopole-instanton flux into a tube stretched along and localized in the plane. We first refer to Figure 7(b), where we plot halfway between the BPS and its KK image, as a function of βequivalently, due to the approximate cylindrical symmetry, this can be though of as the dimensionless radial coordinate in the plane. We see that for the larger sizes (so that images in directions can be neglected), an exponential localization occurs, within, roughly, a 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 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 , the magnetic field falls off as (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 ) study.
6 From the βfluxβ to the βno-fluxβ vacuum: from monopole-instantons on to fractional instantons on
We now study the transition of monopole-instantons in dYM on to fractional instantons on . 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).
We begin our numerical study of the to transition in dYM by focusing on Figure 10, presenting results for a () 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 instead, keeping and fixed, here we vary , from to , keeping fixed the small and the large . For large values of , our lattice can be thought of as , while for we approach ; this will be substantiated by the results that we present below.
The transition from the asymmetric (large ) to the symmetric (small ) 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 ) of dYM on to the no-flux vacuum (small ) occurs at , or for the value of 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 . 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 shape is also discontinuous. We begin our discussion by first discussing the small- and large- limits and then focusing on the transition between the two.
Small-, regime: Let us first focus on the small- regime on Figure 10. The data can be thought as approximating . The first feature we observe is that the deformation action is very small at .
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 and let us take the deformation action in (11) to be . In writing this expression, we replaced in (11). We also assumed that vanishes for some segment along , whose length is of order (for now, this is just our guess for the width in of the finite action solution). Otherwise, equals , for an extent in the direction of length . Remarkably, for we find that this expression for the deformation action equals , precisely matching the values shown on Fig. 10. Likewise, for we find for the deformation action , also perfectly matching the numerics.262626We also studied the smaller lattice with , where similar estimates at the smallest values work as well. Thus, the dYM no-flux vacuum surrounding the localized (in ) solution explains the value of the deformation action for both and , the two points below the transition at .
Next, we can check the assumptions used above to explain the value of the deformation action for . We do this by plotting, on Figure 11, the action density and for the solution as a function of . These plots show that the solution localizes in a segment of length of order on the axis, as we now discuss. On Figure 11(b), we plot the results for the dYM action density (integrated over ) as a function of , for two values of and for . It is easy to infer from the plot that the action density is localized over a region of size .
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 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, , (), values for which the pure YM argument of eqn. (26) implies that far from the core of the solution, (a similar argument albeit leading to a somewhat less strong inequality applies for ). Thus, in the small- regime of Figures 10 and 11, the deformation is not qualitatively important, as the same structure surrounding the solution localized in , the no-flux vacuum (3), is implied by both the dYM criterion (17), and the YM one (26), due to the -plane twist.
Finally, we study the disordering of the Wilson loop by the fractional instanton. The top plot, Figure 11(a), shows the variation of , taken at the point of maximal action in , as a function of , on (the circle size is , approximating ) for of sizes and . We see, in particular, that jumps from to as one crosses the solution. This is the one-dimensional analogue (i.e. on ) of the disordering of the Wilson loop by a center vortex on , observed long ago in [RTN:1993ilw, Gonzalez-Arroyo:1995ynx] and argued to lead to semiclassical center symmetry restoration/confinement.
The large-, regime: We now move to the large- regime on Fig. 10. In this large- 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 () width in the plane shown on the bottom r.h.s. plot on Figure 10, which, in dYM, remains finite and smaller than even for .
It is also easy to see that for the values of and that match the ones of Figs. 3 and 4 all quantities agree with Figure 10. Finally, we note that here, and as . Thus, the lower range of the 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 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 .
The transition region, near . We now move on to discuss the transition seen at , 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 lattice is at is at while . In pure YM these values would be not far from the ones where the minimal action configuration is the constant- one (which would occur at ). Thus in YM, one would expect delocalized configurations, as was found in [Wandler:2024hsq] (this is clear already from the -plane localization plot for YM on the bottom r.h.s.).
In dYM, the nature of the configurations appearing at is as follows. In a small number ( out of ) of the minimum action configurations for a 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 ( out of ) of minimal action configurations identified by our algorithm, are configurations of similar action, which are not localized in . These configurations show a two-peak Wilson action density structure in , see Figure 13, but a single-peak deformation action densityβwith shown on the r.h.s. of the same Figure.272727We note that on the r.h.s. we show the data for the lattice of larger (where we found that all minimum action configurations at were of the βtwo-humpβ variety shown). We stress, however, that the identical identical structure of all quantities shown appears for the out of configurations on the 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 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- and large- 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.
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 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 . The procedure will be summarized below.
The overall action used was the same as in (6), repeated here for convenience:
| (31) |
Following the procedure in [Duane:1987216] and [Lippert:1997qx] we derive equations of motion, where and being the fictitious time evolution parameter:
| (32) |
where , i.e. the Wilson loop winding in the direction starting at site , and the staple is defined by
| (33) |
where is the 2-form topological background (8), as in (9) or (10). The equation is derived by defining the Hamiltonian
| (34) |
and then enforcing and . Then, the procedure for generating a configuration is as follows:
-
1.
Generate a lattice with random link variables .
-
2.
Assign each link variable an -valued momentum . The initial total energy is thus .
-
3.
Numerically evolve the links and momenta for some length of fictitious time according to equations (32), implemented using a leapfrog time-stepping method to conserve .
-
4.
Verify that has decreased. If it has, accept the configuration. Otherwise, increase numerical precision (by reducing and shrinking the time step ) and repeat.
-
5.
If accepted, set all and repeat steps 3 and 4 for the new configuration of links.
-
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 . 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 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 . Each time the change in true action after a period of evolution dropped below 1%, the parameter 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 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 . 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
Let us work on with a twist , in an pure YM theory.282828For brevity we take gauge group, noting that the argument is easily generalized to any with a general twist , see the comment at the end. Also, it generalizes to dYM, with the deformation either in the direction (which then would have to be taken compact, replacing with ) or in one of the directions of , e.g.the . We want to classify the finite Euclidean action configurations in this setup. We begin by taking the gauge, which, we recall, is also very convenient in the usual analysis of finite action instantons on , with denoting Euclidean time. A finite action field configuration should have the property that at -infinity, it should satisfy and , where , i.e. should go to a pure gauge. The second condition, in the gauge, implies that at infinity in . It is convenient to think of infinity in as a square, whose four sides correspond to (for any ) or (for any ).
We then ask what are the minimum (zero) energy classical configurations, , on , which should be the configurations the finite action Euclidean solutions should approach as . To proceed, we take constant transition functions in the plane, , with the gauge field (a sum over is implied) obeying twisted boundary conditions on :
| (35) | |||||
| (36) | |||||
| (37) |
Clearly, implies that is pure gauge at . The solution to this problem has been known for a long time [Witten:1982df]:
| (38) |
In other words, the pure-gauge configurations which the finite action instanton should approach as are either , or . The properties that obeys are:
| (39) | |||||
An explicit expression of a representative292929This is because itself is defined up to large gauge transformations with integer winding number, which can be thought of as maps from to , 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 . of can be written using the function and obeying the following properties
| (40) | |||||
An explicit expression for the function can be found in [Poppitz:2022rxv],303030The meaning of is that it is the function (itself a rather complicated map from the covering space of to ) that maps the constant to the abelian transition functions. This will not be important in our discussion here. We also note that if is taken finite, then in we replace by ; then has the meaning as the center symmetry generator in the direction. The two configurations and from (38) are distinguished by the value of the winding Wilson loop in : it equals for and for . We note that with the definition (40) this distinction remains true in the infinite limit, where now includes an integral over the real axis. where and , but all we need to verify that of (40) obeys (B) is its existence and properties. The function can be any smooth function with the given limits, for example and we note that the scale appearing in on the first line in (40) can be replaced by any fixed scale.
Further, we note that as , the two configurations and from (38) (the two limits of the finite action solution at ) approach zero exponentially fast because approaches times the unit matrix at spatial infinity, thus becomes trivial and vanishes as . In each case, as at , is obeyed there, as required. The configurations at and could both be the same of differ, i.e. correspond to the same or different value of from (38). Thus, a finite action Euclidean configuration on with can have one of four possible boundary conditions at the infinity. In the case where the gauge field approaches the same limit at , i.e. either both have (or ), the topological charge is integer (owing to the fact that the large gauge transformations , 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, at (i.e. ) and at (i.e. ). 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:
| (41) |
The equality above follows from (38) upon integration by parts in , 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 , considered a map obeying the boundary conditions (B), we use the expression for from (40) and introduce the shorthand notation , (explicit expressions for are given in Appendix A in [Poppitz:2022rxv]):
Obtaining the the last line requires using the properties of , along with behaviour of from (40), as well as the already mentioned definitions of . We rescaled all coordinates appropriately so that . The function on the last line is the βbumpβ function entering the definition of , see Appendix A in [Poppitz:2022rxv]; most importantly, it has the property that . The entire calculation follows the one given in Section 3.1 of [Poppitz:2022rxv] for the case, the only difference being that the function is taken to be the one appropriate for . Combining (41) and (B), we obtain that the fractional part of the topological charge with different asymptotics of the gauge field at is . The generalization to with a twist in 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 , . The argument is familiar from and is based on the conditions on the gauge field configurations at infinity ensuring finite Euclidean action (made convenient by choosing ) 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 .323232The only advantage for considering 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 with and . The explicit detailed expression for the map , which we used in (B) to calculate the winding number (41), is not really needed in order to obtain the fractional part of , see for example [vanBaal:1982ag] or the Appendices of [Cox:2021vsa].