Table of Contents
ISRN High Energy Physics
Volumeย 2012, Article IDย 373121, 20 pages
http://dx.doi.org/10.5402/2012/373121
Research Article

Emergent Inert Adjoint Scalar Field in SU(2) Yang-Mills Thermodynamics due to Coarse-Grained Topological Fluctuations

1Institut fรผr Theoretische Physik, Universitรคt Heidelberg, Philosophenweg 16, 69120 Heidelberg, Germany
2Institut fรผr Theoretische Physik, Universitรคt Frankfurt, Johann Wolfgang Goethe-Universitรคt, Max von Laue-Straฮฒe 1, 60438 Frankfurt, Germany

Received 3 November 2011; Accepted 6 December 2011

Academic Editor: A.ย Belhaj

Copyright ยฉ 2012 Ulrich Herbst and Ralf Hofmann. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We compute the phase and the modulus of an energy- and pressure-free, composite, adjoint, and inert field ๐œ™ in an SU(2) Yang-Mills theory at large temperatures. This field is physically relevant in describing part of the ground-state structure and the quasiparticle masses of excitations. The field ๐œ™ possesses nontrivial ๐‘†1-winding on the group manifold ๐‘†3. Even at asymptotically high temperatures, where the theory reaches its Stefan-Boltzmann limit, the field ๐œ™, though strongly power suppressed, is conceptually relevant: its presence resolves the infrared problem of thermal perturbation theory.

1. Introduction

In [1, 2] one of us has put forward an analytical and nonperturbative approach to SU(2)/SU(3) Yang-Mills thermodynamics. Each of these theories comes in three phases: deconfining (electric phase), preconfining (magnetic phase), and completely confining (center phase). This approach assumes the existence of a composite, adjoint Higgs field ๐œ™, describing part of the thermal ground state, that is, the BPS saturated topologically nontrivial sector of the theory. The field ๐œ™ is generated by a spatial average over noninteracting trivial-holonomy SU(2) calorons [3] which can be embedded in SU(3). The โ€œcondensationโ€1 of trivial-holonomy SU(2) calorons into the field ๐œ™ must take place at an asymptotically high temperature [1, 2], that is, at the limit of applicability of the gauge-field theoretical description. For any physics model formulated in terms of an SU(2)/SU(3) Yang-Mills theory this is to say that caloron โ€œcondensationโ€ takes place at ๐‘‡โˆผ๐‘€๐‘ƒ where ๐‘€๐‘ƒ denotes the Planck mass. Since โˆš|๐œ™|โˆผฮ›3/2๐œ‹๐‘‡ topological defects only marginally deform the ideal-gas expressions for thermodynamical quantities at ๐‘‡โ‰ซฮ›. Here ฮ› denotes the Yang-Mills scale. Every contribution to a thermodynamical quantity, which arises from the topologically nontrivial sector, is power suppressed in temperature. As a consequence, the effective theory is asymptotically free and exhibits, though in a quantitatively different way, the infrared-ultraviolet decoupling property [1, 2] seen in renormalized perturbation theory [4โ€“7]. Asymptotic freedom is a conceptually very appealing property of SU(๐‘) Yang-Mills theories. It first was discovered in perturbation theory [8โ€“11].

In the effective thermal theory, interactions between trivial-holonomy calorons in the ground state are taken into account by obtaining a pure-gauge solution to the classical equations of motion for the topologically trivial sector in the (nonfluctuating and nonbackreacting) background ๐œ™. Thus the partition function of the fundamental theory is evaluated in three steps in the deconfining phase: (i) integrate over the admissible part of the moduli space for the caloron-anticaloron system and spatially average over the associated two-point correlations to derive the (classical and temperature dependent) dynamics of an adjoint, spatially homogeneous scalar field ๐œ™, (ii) establish the quantum mechanical and statistical inertness of ๐œ™ and use it as a temperature-dependent background to find a pure-gauge solution ๐‘Žbg๐œ‡ to the Yang-Mills equations describing the trivial-topology sector. Together, ๐œ™ and ๐‘Žbg๐œ‡ constitute the thermal ground state of the system. The fact that the action for the ground-state configurations ๐œ™ and ๐‘Žbg๐œ‡ is infinite is unproblematic since the corresponding, vanishing weight in the partition function is associated with a nonfluctuating configuration and therefore can be factored out and is cancelled when evaluating expectation values in the effective theory. (iii) Consider the interactions between the macroscopic ground state and trivial-topology fluctuations in terms of quasiparticle masses of the latter which are generated by the adjoint Higgs mechanism2 and impose thermodynamical self-consistency to derive an evolution equation for the effective gauge coupling ๐‘’. In the following, we will restrict our discussion to the case SU(2). Isolated magnetic charges are generated by dissociating calorons of sufficiently large holonomy [12โ€“23]; for a quick explanation of the term holonomy, see Figure 1. Nontrivial holonomy is locally excited by interactions between trivial-holonomy calorons and anticalorons mediated by plane-wave configurations. In [18] it was shown as a result of a heroic calculation that small (large) holonomy leads to an attractive (repulsive) potential between the monopole and the antimonopole constituents of a given caloron. An attraction between a monopole and an antimonopole leads to annihilation once the distance between their centers is comparable to the sum of their charge radii. Thermodynamically, the probability for exciting a small holonomy is much larger than that for exciting a large holonomy. In the former case, this probability roughly is determined by the one-loop quantum weight of a trivial holonomy caloron, while in the latter case both monopole constituents have a combined mass โˆผ4๐œ‹2๐‘‡โˆผ39๐‘‡ [14]. Thus an attractive potential between a monopole and its antimonopole is the by far dominating situation. This is the microscopic reason for a negative ground-state pressure ๐‘ƒg.s. which, on spatial average, turns out to be ๐‘ƒg.s.=โˆ’4๐œ‹ฮ›3๐‘‡ (the equation of ground state is ๐œŒg.s.=โˆ’๐‘ƒg.s.) [1, 2]. In the unlikely case of repulsion (large holonomy) the monopole and the antimonopole separate back to back until their interaction is sufficiently screened to facilitate their existence in isolation (as long as the overall pressure of the system is positive). Magnetic monopoles in isolation do not contribute to the pressure of the system3. The overall pressure is positive if the gauge-field fluctuations after spatial coars graining are sufficiently light and energetic to over compensate the negative ground-state contribution, that is, if the temperature is sufficiently large.

373121.fig.001
Figure 1: Possible values of the Polyakov loop ๐’ซ at spatial infinity on a given gauge-field configuration. A small holonomy corresponds to values close to the center elements depicted by the dots. Crosses indicate examples for a large holonomy.

Caloron-induced tree-level masses for gauge-field modes decay as โˆš1/๐‘‡ when heating up the system. Due to the linear rise of ๐œŒg.s. with ๐‘‡ the thermodynamics of the ground state is thus subdominant at large temperatures4. The main purpose of the present work is to compute and to discuss the dynamical generation of an adjoint, macroscopic, and composite scalar field ๐œ™. This is a first-principle analysis of the ground-state structure in the electric phase of an SU(2) Yang-Mills theory. The paper is organized as follows. In Section 2 we write down and discuss a nonlocal definition, relevant for the determination of ๐œ™โ€™s phase, in terms of a spatial and scale-parameter average over an adjointly transforming 2-point function. This average needs to be evaluated on trivial-holonomy caloron and anticaloron configurations at a given time ๐œ. In Section 3 we perform the average and discuss the occurrence of a global gauge freedom in ๐œ™โ€™s phase, which has a geometrical interpretation. In Section 4, we show how the derived information about a nontrivial ๐‘†1 winding of the field ๐œ™ together with analyticity of the right-hand side of the associated BPS equation and with the assumption of the existence of an externally given scale ฮ› can be used to uniquely construct a potential determining ๐œ™โ€™s classical (and temperature dependent) dynamics. In Section 5 we summarize and discuss our results and give an outlook on future research.

2. Definition of ๐“โ€™s Phase

In this section we discuss the BPS saturated, topological part of the ground-state physics in the electric phase of an SU(2) Yang-Mills theory. According to the approach in [1, 2] the adjoint scalar ๐œ™ emerges as an energy- and pressure-free (BPS saturated) field from a spatial average over the classical correlations in a caloron-anticaloron system of trivial holonomy in absence of interactions. On spatial average, the latter are taken into account by a pure-gauge configuration solving the classical, trivial-topology gauge-field equations in the spatially homogeneous background ๐œ™. This is consistent since ๐œ™โ€™s quantum mechanical and statistical inertness can be established. Without assuming the existence of a Yang-Mills scale ฮ› only ๐œ™โ€™s phase, that is ๐œ™/|๐œ™|, can be computed. A computation of ๐œ™ itself requires the existence of ฮ›. As we will see, the information about the ๐‘†1 winding of ๐œ™โ€™s phase together with the analyticity of the right-hand side of ๐œ™โ€™s BPS equation uniquely determines ๐œ™โ€™s modulus in terms of ฮ› and ๐‘‡.

Let us first set up some prerequisites. We consider BPS saturated solutions to the Yang-Mills equation๐ท๐œ‡๐น๐œ‡๐œˆ=0(2.1) which are periodic in Euclidean time ๐œ (0โ‰ค๐œโ‰ค1/๐‘‡) and of trivial holonomy. The only relevant configurations are calorons of topological charge5โ€‰โ€‰ยฑ1. They are [3]๐ด๐ถ๐œ‡(๐œ,๐ฑ)=๐œ‚๐‘Ž๐œ‡๐œˆ๐œ†๐‘Ž2๐œ•๐œˆ๐ดlnฮ (๐œ,๐ฑ)or๐ด๐œ‡(๐œ,๐ฑ)=๐œ‚๐‘Ž๐œ‡๐œˆ๐œ†๐‘Ž2๐œ•๐œˆlnฮ (๐œ,๐ฑ),(2.2) where the โ€™t Hooft symbols ๐œ‚๐‘Ž๐œ‡๐œˆ and ๐œ‚๐‘Ž๐œ‡๐œˆ are defined as๐œ‚๐‘Ž๐œ‡๐œˆ=๐œ–๐‘Ž๐œ‡๐œˆ+๐›ฟ๐‘Ž๐œ‡๐›ฟ๐œˆ4โˆ’๐›ฟ๐‘Ž๐œˆ๐›ฟ๐œ‡4,๐œ‚๐‘Ž๐œ‡๐œˆ=๐œ–๐‘Ž๐œ‡๐œˆโˆ’๐›ฟ๐‘Ž๐œ‡๐›ฟ๐œˆ4+๐›ฟ๐‘Ž๐œˆ๐›ฟ๐œ‡4.(2.3) The solutions in (2.2) (the superscript (A)C refers to (anti)caloron) are generated by a temporal mirror sum of the (pre) potential ฮ  of a single (anti)instanton in singular gauge [24โ€“26]. They have the same color orientation as the โ€œseedโ€ instanton or โ€œseedโ€ anti-instanton. In (2.2) ๐œ†๐‘Ž, (๐‘Ž=1,2,3), denote the Pauli matrices. The โ€œnonperturbativeโ€ definition of the gauge field is used were the gauge coupling constant g is absorbed into the field.

The scalar function ฮ (๐œ,๐ฑ) is given as [3]ฮ (๐œ,๐ฑ)=ฮ (๐œ,๐‘Ÿ)โ‰ก1+๐œ‹๐œŒ2๐›ฝ๐‘Ÿsinh(2๐œ‹๐‘Ÿ/๐›ฝ),cosh(2๐œ‹๐‘Ÿ/๐›ฝ)โˆ’cos(2๐œ‹๐œ/๐›ฝ)(2.4) where ๐‘Ÿโ‰ก|๐ฑ|, ๐›ฝโ‰ก1/๐‘‡, and ๐œŒ denotes the scale parameter whose variation leaves the classical action ๐‘†=8๐œ‹2/๐‘”2 invariant. At a given ๐œŒ the solutions in (2.2) can be generalized by shifting the center from ๐‘ง=0 to ๐‘ง=(๐œ๐‘ง,๐ณ) by the (quasi)translational invariance of the classical action6โ€‰โ€‰๐‘†. Another set of moduli is associated with global color rotations of the solutions in (2.2).

From the BPS saturation๐น๐œ‡๐œˆ๎€บ๐ด(๐ถ,๐ด)๎€ป=๎‚๐น(+,โˆ’)๐œ‡๐œˆ๎€บ๐ด(๐ถ,๐ด)๎€ป(2.5) it follows that the (Euclidean) energy-momentum tensor ๐œƒ๐œ‡๐œˆ, evaluated on ๐ด๐œ‡(๐ถ,๐ด), vanishes identically๐œƒ๐œ‡๐œˆ๎€บ๐ด(๐ถ,๐ด)๎€ปโ‰ก0.(2.6) This property translates to the macroscopic field ๐œ™ with energy-momentum tensor ๐œƒ๐œ‡๐œˆ in an effective theory since ๐œ™ is obtained by a spatial average over caloron-anticaloron correlations neglecting their interactions7๐œƒ๐œ‡๐œˆ[๐œ™]โ‰ก0.(2.7) The field ๐œ™ is spatially homogeneous since it emerges from a spatial average. If the action density governing ๐œ™โ€™s dynamics in the absence of caloron interactions contains a kinetic term quadratic in the ๐œ-derivatives and a potential ๐‘‰ then (2.7) is equivalent to ๐œ™ solving the first-order equation๐œ•๐œ๐œ™=๐‘‰(1/2),(2.8) where ๐‘‰(1/2) denotes the โ€œsquare rootโ€ of ๐‘‰8, ๐‘‰โ‰กtr(๐‘‰(1/2))โ€ ๐‘‰(1/2). In (2.8) the right-hand side will turn out to be determined only up to a global gauge rotation, see Figure 2. Already at this point it is important to remark that the Yang-Mills scale parametrizes the potential ๐‘‰ and thus also the classical solution to (2.8). In the absence of trivial-topology fluctuations it is, however, invisible, see (2.7). Only after the macroscopic equation of motion for the trivial-topology sector is solved for a pure-gauge configuration in the background ๐œ™ does the existence of a Yang-Mills scale become manifest by a nonvanishing ground-state pressure and a nonvanishing ground-state energy density [1, 2]. Hence the trace anomaly ฬƒ๐œƒ๐œ‡๐œ‡โ‰ 0 for the total energy-momentum tensor ฬƒ๐œƒ๐œ‡๐œˆโ‰ก๐œƒg.s.๐œ‡๐œˆ+๐œƒ๏ฌ‚uc๐œ‡๐œˆ in the effective theory which includes the effects of trivial-topology fluctuations: since ๐œƒg.s.๐œ‡๐œˆ=4๐œ‹๐‘‡ฮ›3๐›ฟ๐œ‡๐œˆ and ๐œƒ๏ฌ‚uc๐œ‡๐œˆโˆ๐‘‡4 for ๐‘‡โ‰ซฮ› the trace anomaly dies off as ฮ›3/๐‘‡3.

373121.fig.002
Figure 2: Possible directions of winding of (๐œ™/|๐œ™|)(๐œ) around the group manifold ๐‘†3 of SU(2). The angles ๐›พ,๐›ฟ are arbitrary but constant. They are determined by the choice of plane in which angular regularization is carried out when computing ๐œ™โ€™s phase, see below. The angle ๐›ผ(๐œ) parametrizes the ๐‘†1 winding of ๐œ™/|๐œ™|.

Without imposing constraints other than nonlocality9 the ๐œ dependence of ๐œ™โ€™s phase (the ratio of the two averages ๐œ™ and |๐œ™| over admissible moduli deformations, ๐ด๐œ‡(๐ถ,๐ด) would naively be characterized as๐œ™๐‘Ž||๐œ™||๎‚ธ๐›ฝ(๐œ)โˆผtr0๎€œ๐‘‘1!3๐‘ฅ๎€œ๐œ†๐‘‘๐œŒ๐‘Ž2๐น๐œ‡๐œˆ๎€บ๐ด๐›ผ๎€ป๎€บ๐ด(๐œŒ,๐›ฝ)((๐œ,0)){(๐œ,0),(๐œ,๐ฑ)}๐›ผ๎€ป(๐œŒ,๐›ฝ)ร—๐น๐œ‡๐œˆ๎€บ๐ด๐›ผ๎€ป๎€บ๐ด(๐œŒ,๐›ฝ)((๐œ,๐ฑ)){(๐œ,๐ฑ),(๐œ,0)}๐›ผ๎€ป(๐œŒ,๐›ฝ)+๐›ฝโˆ’1๎€œ๐‘‘2!3๐‘ฅ๎€œ๐‘‘3๐‘ฆ๎€œ๐œ†๐‘‘๐œŒ๐‘Ž2๐น๐œ‡๐œ†๎€บ๐ด๐›ผ๎€ป๎€บ๐ด(๐œŒ,๐›ฝ)((๐œ,0)){(๐œ,0),(๐œ,๐ฑ)}๐›ผ๎€ป(๐œŒ,๐›ฝ)ร—๐น๐œ†๐œˆ๎€บ๐ด๐›ผ๎€ป๎€บ๐ด(๐œŒ,๐›ฝ)((๐œ,๐ฑ)){(๐œ,๐ฑ),(๐œ,๐ฒ)}๐›ผ๎€ป(๐œŒ,๐›ฝ)ร—๐น๐œˆ๐œ‡๎€บ๐ด๐›ผ๎€ป(๐œŒ,๐›ฝ)((๐œ,๐ฒ)){(๐œ,๐ฒ),(๐œ,0)}+๐›ฝโˆ’2๎€œ๐‘‘3!3๐‘ฅ๎€œ๐‘‘3๐‘ฆ๎€œ๐‘‘3๐‘ข๎€œ๐œ†๐‘‘๐œŒ๐‘Ž2๐น๐œ‡๐œ†๎€บ๐ด๐›ผ๎€ป๎€บ๐ด(๐œŒ,๐›ฝ)((๐œ,0)){(๐œ,0),(๐œ,๐ฑ)}๐›ผ๎€ป(๐œŒ,๐›ฝ)ร—๐น๐œ†๐œˆ๎€บ๐ด๐›ผ๎€ป๎€บ๐ด(๐œŒ,๐›ฝ)((๐œ,๐ฑ)){(๐œ,๐ฑ),(๐œ,๐ฒ)}๐›ผ๎€ป(๐œŒ,๐›ฝ)ร—๐น๐œˆ๐œ…๎€บ๐ด๐›ผ๎€ป(๐œŒ,๐›ฝ)((๐œ,๐ฒ)){(๐œ,๐ฒ),(๐œ,๐ฎ)}๐น๐œ…๐œ‡๎€บ๐ด๐›ผ๎€ป๎‚น.(๐œŒ,๐›ฝ)((๐œ,๐ฎ))ร—{(๐œ,๐ฎ),(๐œ,0)}+โ‹ฏ(2.9) The dots in (2.9) stand for the contributions of higher ๐‘›-point functions and for reducible, that is, factorizable, contributions with respect to the spatial integrations. In (2.9) the following definitions apply:||๐œ™||โ‰ก12tr๐œ™2,๎€บ๐ด{(๐œ,0),(๐œ,๐ฑ)}๐›ผ๎€ป๎‚ธ๐‘–๎€œโ‰ก๐’ซexp(๐œ,๐ฑ)(๐œ,0)๐‘‘๐‘ฆ๐›ฝ๐ด๐›ฝ๎‚น,๎€บ๐ด(๐‘ฆ,๐œŒ){(๐œ,๐ฑ),(๐œ,0)}๐›ผ๎€ป๎‚ธ๎€œโ‰ก๐’ซexpโˆ’๐‘–(๐œ,๐ฑ)(๐œ,0)๐‘‘๐‘ฆ๐›ฝ๐ด๐›ฝ(๎‚น.๐‘ฆ,๐œŒ)(2.10) The integral in the Wilson lines in (2.10) is along a straight line10 connecting the points (๐œ,0) and (๐œ,๐ฑ), and ๐’ซ denotes the path-ordering symbol.

Under a microscopic gauge transformation ฮฉ(๐‘ฆ) the following relations hold:๎€บ๐ด{(๐œ,0),(๐œ,๐ฑ)}๐›ผ๎€ปโŸถฮฉโ€ ๎€บ๐ด((๐œ,0)){(๐œ,0),(๐œ,๐ฑ)}๐›ผ๎€ปฮฉ๎€บ๐ด((๐œ,๐ฑ)),{(๐œ,๐ฑ),(๐œ,0)}๐›ผ๎€ปโŸถฮฉโ€ ๎€บ๐ด((๐œ,๐ฑ)){(๐œ,๐ฑ),(๐œ,0)}๐›ผ๎€ป๐นฮฉ((๐œ,0)),๐œ‡๐œˆ๎€บ๐ด๐›ผ๎€ป((๐œ,๐ฑ))โŸถฮฉโ€ ((๐œ,๐ฑ))๐น๐œ‡๐œˆ๎€บ๐ด๐›ผ๎€ป๐น((๐œ,๐ฑ))ฮฉ((๐œ,๐ฑ)),๐œ‡๐œˆ๎€บ๐ด๐›ผ๎€ป((๐œ,0))โŸถฮฉโ€ ((๐œ,0))๐น๐œ‡๐œˆ๎€บ๐ด๐›ผ๎€ป((๐œ,0))ฮฉ((๐œ,0)).(2.11) As a consequence of (2.11) the right-hand side of (2.9) transforms as๐œ™๐‘Ž||๐œ™||(๐œ)โŸถ๐‘…๐‘Ž๐‘๐œ™(๐œ)๐‘||๐œ™||(๐œ),(2.12) where the SO(3) matrix ๐‘…๐‘Ž๐‘(๐œ) is defined as๐‘…๐‘Ž๐‘(๐œ)๐œ†๐‘=ฮฉ((๐œ,0))๐œ†๐‘Žฮฉโ€ ((๐œ,0)).(2.13) Thus we have defined an adjointly transforming scalar in (2.9). Moreover, only the time-dependent part of a microscopic gauge transformation survives after spatial averaging (macroscopic level).

In (2.9) the ~ sign indicates that both left- and right-hand sides satisfy the same homogeneous evolution equation in ๐œ๐’Ÿ๎‚ธ๐œ™||๐œ™||๎‚น=0.(2.14) Here ๐’Ÿ is a differential operator such that (2.14) represents a homogeneous differential equation. As it will turn out, (2.14) is a linear second-order equation which, up to global gauge rotations, determines the first-order or BPS equation whose solution ๐œ™โ€™s phase is. Each term in the series in (2.9) is understood as a sum over the two solutions in (2.2), that is, ๐ด๐›ผ=๐ด๐ถ๐›ผ or ๐ด๐›ผ=๐ด๐ด๐›ผ. As we will show in Section 3, the dimensionless quantity defined on the right-hand side of (2.9) is ambiguous11; the operator ๐’Ÿ, however, is not.

The quantities appearing in the numerator and denominator of the left-hand side of (2.9) are understood as functional and spatial averages over the appropriate multilocal operators, being built of the field strength and the gauge field. The functional average is restricted to the moduli spaces of ๐ด๐›ผ=๐ด๐ถ๐›ผ and ๐ด๐›ผ=๐ด๐ด๐›ผ excluding global color rotations and time translations.

Let us explain this in more detail. For the gauge variant density in (2.9) an average over global color rotations and time shifts ๐œโ†’๐œ+๐œ๐‘ง (0โ‰ค๐œ๐‘งโ‰ค๐›ฝ) would yield zero and thus is forbidden12. The nonflatness of the measure with respect to the separate ๐œŒ integration in the numerator and the denominator average in (2.9) transforms into flatness by taking the ratio. Since the integration weight exp(โˆ’๐‘†) is independent of temperature on the moduli space of a caloron, the right-hand side of (2.9) must not exhibit an explicit temperature dependence. This forbids the contribution of ๐‘›-point functions with ๐‘›>2, and we are left with an investigation of the first term in (2.9). In the absence of a fixed mass scale on the classical level an average overspatial translations would have a dimensionful measure ๐‘‘3๐‘ง making the definition of a dimensionless quantity โˆผ๐œ™/|๐œ™| impossible. We conclude that the average overspatial translations is already performed in (2.9). Since one of the two available length scales ๐œŒ and ๐›ฝ parametrizing the caloron or the anticaloron is integrated over in (2.9), the only scale responsible for a nontrivial ๐œ dependence of ๐œ™๐‘Ž/|๐œ™| is ๐›ฝ.

What about the contribution of calorons with a topological charge modulus larger than unity? Let us consider the charge-two case. Here we have three moduli of dimension length which should enter the average defining the differential operator ๐’Ÿ: two scale parameters and a core separation. The reader may easily convince himself that by the absence of an explicit temperature dependence it is impossible to define the associated dimensionless quantity in terms of spatial and moduli averages over ๐‘›-point functions involving these configurations. The situation is even worse for calorons of topological charge larger than two. We conclude that only calorons of topological charge ยฑ1 contribute to the definition of the operator ๐’Ÿ in (2.14) by means of (2.9).

3. Computation of Two-Point Correlation

Before we perform the actual calculation let us stress some simplifying properties of the solutions ๐ด๐œ‡(๐ถ,๐ด) in (2.2).

The path-ordering prescription for the Wilson lines {(๐œ,0),(๐œ,๐ฑ)} and {(๐œ,0),(๐œ,๐ฑ)}โ€  in (2.10) can actually be omitted. To see this, we first consider the quantity ๐‘ƒ(๐ถ,๐ด)(๐œ,๐‘Ÿ๐‘ ๐ญ) defined as๐‘ƒ(๐ถ,๐ด)(๐œ,๐‘Ÿ๐‘ ๐ญ)โ‰ก๐ด๐‘–(๐ถ,๐ด)(๐œ,๐‘ ๐‘Ÿ๐ญ)๐‘ก๐‘–,(3.1) where 0โ‰ค๐‘Ÿโ‰คโˆž, 0โ‰ค๐‘ โ‰ค1, (๐‘–=1,2,3). The vector ๐ญ denotes the unit line tangential along the straight line connecting the points (๐œ,0) and (๐œ,๐ฑ)โ‰ก(๐œ,๐‘Ÿ๐ญ). We have{(๐œ,0),(๐œ,๐‘Ÿ๐ญ)}(๐ถ,๐ด)๎‚ธ๎€œ=๐’ซexp๐‘–๐‘Ÿ10๐‘‘๐‘ ๐‘ƒ(๐ถ,๐ด)๎‚น,(๐œ,๐‘ ๐‘Ÿ๐ญ)(3.2) where๐‘ƒ(๐ถ,๐ด)1(๐œ,๐‘ ๐‘Ÿ๐ญ)=โˆ“2๐ญโ‹…๐€๐œ•4lnฮ (๐œ,๐‘ ๐‘Ÿ).(3.3) Thus the path-ordering symbol can, indeed, be omitted in (3.2). The field strength ๐น๐ถ๐‘Ž๐œ‡๐œˆ on the caloron solution in (2.2) is๐น๐ถ๐‘Ž๐œ‡๐œˆ=๐œ‚๐‘Ž๐œ‡๐œˆ๎€ท๐œ•๐œ…ฮ ๐œ•๎€ธ๎€ท๐œ…ฮ ๎€ธฮ 2+๐œ‚๐‘Ž๐œ‡๐œ…ฮ ๎€ท๐œ•๐œˆ๐œ•๐œ…ฮ ๎€ธ๎€ท๐œ•โˆ’2๐œ…ฮ ๐œ•๎€ธ๎€ท๐œˆฮ ๎€ธฮ 2โˆ’๐œ‚๐‘Ž๐œˆ๐œ…ฮ ๎€ท๐œ•๐œ‡๐œ•๐œ…ฮ ๎€ธ๎€ท๐œ•โˆ’2๐œ…ฮ ๐œ•๎€ธ๎€ท๐œ‡ฮ ๎€ธฮ 2,(3.4) where ฮ  is defined in (2.4). For the anticaloron one replaces ๐œ‚ by ๐œ‚ in (3.4). Using (2.9), (3.2), and (3.4), we obtain the following expression for the contribution (๐œ™๐‘Ž/|๐œ™|)|๐ถ arising from calorons:๐œ™๐‘Ž|||||๐œ™|๐ถ๎€œ๎€œ๐‘‘โˆผ๐‘–๐‘‘๐œŒ3๐‘ฅ๐‘ฅ๐‘Ž๐‘Ÿ๎ƒฌ๎€ท๐œ•4๎€ธฮ (๐œ,0)2ฮ 2(โˆ’2๐œ,0)3๐œ•24ฮ (๐œ,0)๎ƒญร—๎ƒฏ๎ƒฌ๐œ•ฮ (๐œ,0)4cos(2๐‘”(๐œ,๐‘Ÿ))๐‘Ÿ๐œ•4ฮ (๐œ,๐‘Ÿ)๎€ท๐œ•ฮ (๐œ,๐‘Ÿ)โˆ’2๐‘Ÿ๐œ•ฮ (๐œ,๐‘Ÿ)๎€ธ๎€ท4๎€ธฮ (๐œ,๐‘Ÿ)ฮ 2๎ƒญ๎ƒฌ4๎€ท๐œ•(๐œ,๐‘Ÿ)+sin(2๐‘”(๐œ,๐‘Ÿ))4๎€ธฮ (๐œ,๐‘Ÿ)2โˆ’๎€ท๐œ•๐‘Ÿ๎€ธฮ (๐œ,๐‘Ÿ)2ฮ 2๐œ•(๐œ,๐‘Ÿ)+22๐‘Ÿฮ (๐œ,๐‘Ÿ)โˆ’๐œ•24ฮ (๐œ,๐‘Ÿ),ฮ (๐œ,๐‘Ÿ)๎ƒญ๎ƒฐ(3.5) where๎€œ๐‘”(๐œ,๐‘Ÿ)โ‰ก10๐‘Ÿ๐‘‘๐‘ 2๐œ•4๎€ท๐œ•lnฮ (๐œ,๐‘ ๐‘Ÿ),(3.6)4๎€ธฮ (๐œ,0)2ฮ 2(โˆ’2๐œ,0)3๐œ•24ฮ (๐œ,0)ฮ (๐œ,0)=โˆ’163๐œ‹4๐œŒ2๐›ฝ2๐œ‹2๐œŒ2+๐›ฝ2(2+cos(2๐œ‹๐œ/๐›ฝ))๎€บ2๐œ‹2๐œŒ2+๐›ฝ2(๎€ป1โˆ’cos(2๐œ‹๐œ/๐›ฝ))2.(3.7) The dependences on ๐œŒ and ๐›ฝ are suppressed in the integrands of (3.5) and (3.6). It is worth mentioning that the integrand in (3.6) is proportional to ๐›ฟ(๐‘ ) for ๐‘Ÿโ‰ซ๐›ฝ. A useful set of identities is๐น๐ถ๐œ‡๐œˆ(๐œ,๐ฑ)=๐น๐ด๐œ‡๐œˆ(๐œ,โˆ’๐ฑ){(๐œ,0),(๐œ,๐ฑ)}๐ถ=๎€ท{(๐œ,๐ฑ),(๐œ,0)}๐ถ๎€ธโ€ ==๎€ท{(๐œ,โˆ’๐ฑ),(๐œ,0}๐ด๎€ธโ€ .{(๐œ,0),(๐œ,โˆ’๐ฑ)}๐ด(3.8) Equation (3.8) states that the integrand for (๐œ™๐‘Ž/|๐œ™|)|๐ด can be obtained by a parity transformation ๐ฑโ†’โˆ’๐ฑ of the integrand for (๐œ™๐‘Ž/|๐œ™|)|๐ถ. Since the latter changes its sign, see (3.5); one naively would conclude that๐œ™๐‘Ž||๐œ™||=๐œ™๐‘Ž|||||๐œ™|๐ถ+๐œ™๐‘Ž|||||๐œ™|๐ด=0.(3.9) This, however, would only be the case if no ambiguity in evaluating the integral in both cases existed. But such ambiguities do occur! First, the ๐œ dependence of the anticaloronโ€™s contribution may be shifted as compared to that of the caloron. Second, the color orientation of caloron and anticaloron contributions may be different. Third, the normalization of the two contributions may be different. To see this, we need to investigate the convergence properties of the radial integration in (3.5). It is easily checked that all terms give rise to a converging ๐‘Ÿ integration except for the following one:2๐‘ฅ๐‘Ž๐‘Ÿ๐œ•sin(2๐‘”(๐œ,๐‘Ÿ))2๐‘Ÿฮ (๐œ,๐‘Ÿ).ฮ (๐œ,๐‘Ÿ)(3.10) Namely, for ๐‘Ÿ>๐‘…โ‰ซ๐›ฝ (3.10) goes over in4๐‘ก๐‘Ž๐œ‹๐œŒ2sin(2๐‘”(๐œ,๐‘Ÿ))๐›ฝ๐‘Ÿ3.(3.11) Thus the ๐‘Ÿ-integral of the term in (3.10) is logarithmically divergent in the infrared13:4๐‘ก๐‘Ž๐œ‹๐œŒ2๐›ฝ๎€œโˆž๐‘…๐‘‘๐‘Ÿ๐‘Ÿsin(2๐‘”(๐œ,๐‘Ÿ)).(3.12) Recall that ๐‘”(๐œ,๐‘Ÿ) behaves like a constant in ๐‘Ÿ for ๐‘Ÿ>๐‘…. The angular integration, on the other hand, would yield zero if the radial integration was regular. Thus a logarithmic divergence can be cancelled by the vanishing angular integral to yield some finite and real but undetermined normalization of the emerging ๐œ dependence. To investigate this, both angular and radial integration need to regularized.

We may regularize the ๐‘Ÿ integral in (3.12) by prescribing๎€œโˆž๐‘…๐‘‘๐‘Ÿ๐‘ŸโŸถ๐›ฝ๐œ–๎€œโˆž๐‘…๐‘‘๐‘Ÿ๐‘Ÿ1+๐œ–(3.13) with ๐œ–>0. We have๐›ฝ๐œ–๎€œโˆž๐‘…๐‘‘๐‘Ÿ๐‘Ÿ1+๐œ–=๐›ฝ๐œ–๎€œโˆž0๐‘‘๐‘Ÿ(๐‘Ÿ+๐‘…)1+๐œ–=1๐œ–๎‚ต๐‘…โˆ’log๐›ฝ๎‚ถ+12๐œ–log2๎‚ต๐‘…๐›ฝ๎‚ถ+โ‹ฏ.(3.14) Away from the pole at ๐œ–=0 this is regular. For ๐œ–<0 (3.14) can be regarded as a legitimate analytical continuation. An ambiguity inherent in (3.14) relates to how one circumvents the pole in the smeared expression1๎€œ2๐œ‚๐œ‚โˆ’๐œ‚๎‚ต1๐‘‘๐œ–๎‚ต๐‘…๐œ–ยฑ๐‘–0โˆ’log๐›ฝ๎‚ถ+12๐œ–log2๎‚ต๐‘…๐›ฝ๎‚ถ๎‚ถ+โ‹ฏ=โˆ“๐œ‹๐‘–๎‚ต๐‘…2๐œ‚โˆ’log๐›ฝ๎‚ถ+โ‹ฏ,(๐œ‚>0,๐œ‚โ‰ช1).(3.15) Concerning the regularization of the angular integration we may introduce defect (or surplus) angles 2๐œ‚๎…ž in the azimuthal integration as๎€œ๐œ‹0๎€œ๐‘‘๐œ”sin๐œ”02๐œ‹๎€œ๐‘‘๐œƒโŸถ๐œ‹0๎€œ๐‘‘๐œ”sin๐œ”๐›ผ๐ถ๐›ผ+2๐œ‹โˆ“๐œ‚๎…ž๐ถยฑ๐œ‚๎…ž๐‘‘๐œƒ,(3.16) see Figure 3. In (3.16) ๐›ผ๐ถ is a constant angle with 0โ‰ค๐›ผ๐ถโ‰ค2๐œ‹ and 0<๐œ‚๎…žโ‰ช1. Obviously, this regularization singles out the ๐‘ฅ1๐‘ฅ2 plane. As we will show below, the choice of regularization plane translates into a global gauge choice for the ๐œ dependence of ๐œ™โ€™s phase and thus is physically irrelevant: the apparent breaking of rotational symmetry by the angular regularization translates into a gauge choice.

373121.fig.003
Figure 3: The axis for the integration over ๐œƒ.

The value of ๐›ผ๐ถ is determined by an (physically irrelevant) initial condition. We have๎€œ๐œ‹0๎€œ๐‘‘๐œ”sin๐œ”๐›ผ๐ถ๐›ผ+2๐œ‹โˆ“๐œ‚๎…ž๐ถยฑ๐œ‚๎…ž๐‘‘๐œƒ๐‘ก๐‘Žโˆผโˆ“๐œ‹๐œ‚๎…ž๎€ท๐›ฟ๐‘Ž1cos๐›ผ๐ถ+๐›ฟ๐‘Ž2sin๐›ผ๐ถ๎€ธ.(3.17) To see what is going on we may fix, for the time being, the ratio ๐œ‚๎…ž/๐œ‚ for the normalization of the caloron contribution to a finite and positive but otherwise arbitrary constant ฮž when sending ๐œ‚ and ๐œ‚๎…ž to zero in the end of the calculation:lim๐œ‚,๐œ‚๎…žโ†’0๐œ‚๎…ž๐œ‚=ฮž.(3.18) Combining (3.12), (3.15), (3.17), and (3.7), expression (3.5) reads:๐œ™๐‘Ž|||||๐œ™|๐ถโˆผยฑ323๐œ‹7๐›ฝ3ฮž๎€ท๐›ฟ๐‘Ž1cos๐›ผ๐ถ+๐›ฟ๐‘Ž2sin๐›ผ๐ถ๎€ธ๎€œ๎‚ธ๐‘‘๐œŒlim๐‘Ÿโ†’โˆž๎‚นsin(2๐‘”(๐œ,๐‘Ÿ))ร—๐œŒ4๐œ‹2๐œŒ2+๐›ฝ2(2+cos(2๐œ‹๐œ/๐›ฝ))๎€บ2๐œ‹2๐œŒ2+๐›ฝ2๎€ป(1โˆ’cos(2๐œ‹๐œ/๐›ฝ))2๎€ท๐›ฟโ‰กยฑฮž๐‘Ž1cos๐›ผ๐ถ+๐›ฟ๐‘Ž2sin๐›ผ๐ถ๎€ธ๐’œ๎‚ต2๐œ‹๐œ๐›ฝ๎‚ถ,(3.19) where ๐’œ is a dimensionless function of its dimensionless argument. The sign ambiguity in (3.19) arises from the ambiguity associated with the way how one circumvents the pole in (3.15) and whether one introduces a surplus or a defect angle in (3.16). Furthermore, there is an ambiguity associated with a constant shift ๐œโ†’๐œ+๐œ๐ถ (0โ‰ค๐œ๐ถโ‰ค๐›ฝ) in (3.19).

For the anticaloron contribution we may, for the time being, fix the ratio ๐œ‚๎…ž/๐œ‚ to another finite and positive constant ฮžโ€ฒ. In analogy to the caloron case, there is the ambiguity related to a shift ๐œโ†’๐œ+๐œ๐ด (0โ‰ค๐œ๐ดโ‰ค๐›ฝ) in the anticaloron contribution. Moreover, we may without restriction of generality (global gauge choice) use an axis for the angular regularization which also lies in the ๐‘ฅ1๐‘ฅ2 plane, but with a different angle ๐›ผ๐ด. Then we have๐œ™๐‘Ž||๐œ™||=๐œ™๐‘Ž||๐œ™||||||๐ถ+๐œ™๐‘Ž||๐œ™||||||๐ด๎€ท๐›ฟ=ยฑฮž๐‘Ž1cos๐›ผ๐ถ+๐›ฟ๐‘Ž2sin๐›ผ๐ถ๎€ธ๐’œ๎ƒฉ๎€ท2๐œ‹๐œ+๐œ๐ถ๎€ธ๐›ฝ๎ƒช๎€ท๐›ฟยฑฮžโ€ฒ๐‘Ž1cos๐›ผ๐ด+๐›ฟ๐‘Ž2sin๐›ผ๐ด๎€ธ๐’œ๎ƒฉ๎€ท2๐œ‹๐œ+๐œ๐ด๎€ธ๐›ฝ๎ƒชโ‰ 0,(3.20) where the choices of signs in either contribution are independent. Equation (3.20) is the basis for fixing the operator ๐’Ÿ in (2.14).

To evaluate the function ๐’œ(2๐œ‹๐œ/๐›ฝ) in (3.19) numerically, we introduce the same cutoff for the ๐œŒ integration in the caloron and anticaloron case as follows:๎€œ๎€œ๐‘‘๐œŒโŸถ0๐œ๐›ฝ๐‘‘๐œŒ,(๐œ>0).(3.21) This introduces an additional dependence of ๐’œ on ๐œ. In Figure 4 the ๐œ dependence of ๐’œ for various values of ๐œ is depicted. It can be seen that๐’œ๎‚ต2๐œ‹๐›ฝ๎‚ถ๐œ,๐œโŸถโˆžโŸถ272๐œ3๎‚ตsin2๐œ‹๐›ฝ๐œ๎‚ถ.(3.22) Therefore we have๐œ™๐‘Ž||๐œ™||โˆผ272๐œ3๎‚ต๎€ท๐›ฟยฑฮž๐‘Ž1cos๐›ผ๐ถ+๐›ฟ๐‘Ž2sin๐›ผ๐ถ๎€ธ๎‚ตsin2๐œ‹๐›ฝ๎€ท๐œ+๐œ๐ถ๎€ธ๎‚ถ๎€ท๐›ฟยฑฮžโ€ฒ๐‘Ž1cos๐›ผ๐ด+๐›ฟ๐‘Ž2sin๐›ผ๐ด๎€ธ๎‚ตsin2๐œ‹๐›ฝ๎€ท๐œ+๐œ๐ด๎€ธโ‰ก๎๐œ™๎‚ถ๎‚ถ๐‘Ž.(3.23) The numbers ๐œ3ฮž, ๐œ3ฮžโ€ฒ, ๐œ๐ถ/๐›ฝ, and ๐œ๐ด/๐›ฝ in (3.23) are undetermined. For each color orientation (corresponding to a given angular regularization) there are two independent parameters, a normalization and a phase shift. The principal impossibility to fix the normalizations reflects the fact that on the classical level the theory is invariant under spatial dilatations. To give a meaning to these number, a mass scale needs to be generated dynamically. This, however, can only happen due to dimensional transmutation, which is known to be an effect induced by trivial-topology fluctuations [8โ€“11]. The result in (3.23) is highly nontrivial since it is obtained only after an integration over the entire admissible part of the moduli spaces of (anti)calorons is performed.

fig4
Figure 4: ๐’œ as a function of (2๐œ‹/๐›ฝ๐œ) for ๐œ=1,2,10. For each case the dashed line is a plot of max๐’œร—sin((2๐œ‹/๐›ฝ)๐œ). We have fitted the asymptotic dependence on ๐œ of the amplitude of ๐’œ as ๐’œ((2๐œ‹/๐›ฝ)๐œ=๐œ‹/2,๐œ)=272๐œ3,(๐œ>10). The fit is stable under variations of the fitting interval. For the case ๐œ=10 the difference between the two curves cannot be resolved anymore.

Let us now discuss the physical content of (3.23). For fixed values of the parameters ๐œ3ฮž, ๐œ3ฮžโ€ฒ, ๐œ๐ถ/๐›ฝ, and ๐œ๐ด/๐›ฝ the right-hand side of (3.23) resembles a fixed elliptic polarization in the ๐‘ฅ1๐‘ฅ2 plane of adjoint color space. For a given polarization plane the two independent numbers (normalization and phase-shift) of each oscillation axis parametrize the solution space (in total four undetermined parameters) of a second-order linear differential equation๐’Ÿ๎๐œ™=0.(3.24) From (3.23) we observe that the operator ๐’Ÿ is๐’Ÿ=๐œ•2๐œ+๎‚ต2๐œ‹๐›ฝ๎‚ถ2.(3.25) Since for a given polarization plane there is a one-to-one map from the solution space of (3.24) to the parameter space associated with the ambiguities in the definition (2.9) we conclude that the operator ๐’Ÿ is uniquely determined by (2.9).

What we need to assure the validity of (2.7) is a BPS saturation14 of the solution to (3.24). Thus we need to find first-order equations whose solutions solve the second-order equation (3.24). The relevant two first-order equations are๐œ•๐œ๎๐œ™=ยฑ2๐œ‹๐‘–๐›ฝ๐œ†3๎๐œ™,(3.26) where we have defined ๎๐œ™=|๐œ™|๐œ™(๐œ). Obviously, the right-hand sides of (3.26) are subject to a global gauge ambiguity associated with the choice of plane for angular regularization, any normalized generator other than ๐œ†3 could have appeared, see Figure 2. Now the solution to either of the two equations (3.26) also solves (3.24),๐œ•2๐œ๎๐œ™=ยฑ2๐œ‹๐‘–๐›ฝ๐œ†3๐œ•๐œ๎๐œ™=2๐œ‹๐‘–๐›ฝ๐œ†32๐œ‹i๐›ฝ๐œ†3๎๐œ™๎‚ต=โˆ’2๐œ‹๐›ฝ๎‚ถ2๎๐œ™.(3.27) Traceless, hermitian solutions to (3.26) are given as๎๐œ™=๐ถ๐œ†1๎‚ตโˆ“exp2๐œ‹๐‘–๐›ฝ๐œ†3๎€ท๐œโˆ’๐œ0๎€ธ๎‚ถ,(3.28) where ๐ถ and ๐œ0 denote real integration constants which both are undetermined. Notice that the requirement of BPS saturation has reduced the number of undetermined parameters from four to two: an elliptic polarization in the ๐‘ฅ1๐‘ฅ2 plane is cast into a circular polarization. Thus the field ๐œ™ winds along an ๐‘†1 on the group manifold ๐‘†3 of SU(2). Both winding senses appear but cannot be distinguished physically [1, 2].

4. How to Obtain ๐“โ€™s Modulus

Here we show how the information about ๐œ™โ€™s phase in (3.28) can be used to infer its modulus. Let us assume that a scale ฮ› is externally given which characterizes this modulus at a given temperature ๐‘‡. Together, ฮ› and ๐‘‡ determine what the minimal physical volume |๐œ™|โˆ’3 is for which the spatial average over the caloron-anticaloron system saturates the infinite-volume average appearing in (2.9).

We have๎‚ต๐œ๐œ™=๐œ™๐›ฝ,ฮ›,๐›ฝ๎‚ถ.(4.1) In order to reproduce the phase in (3.28) a linear dependence on ๐œ™ must appear on the right-hand side of the BPS equation (2.8). Furthermore, this right-hand side ought not depend on ๐›ฝ explicitly and must be analytic in ๐œ™15. The two following possibilities exist:๐œ•๐œ๐œ™=ยฑ๐‘–ฮ›๐œ†3๐œ™(4.2) or๐œ•๐œ๐œ™=ยฑ๐‘–ฮ›3๐œ†3๐œ™โˆ’1,(4.3) where ๐œ™โˆ’1โ‰ก๐œ™/|๐œ™|2. Recall that๐œ™โˆ’1=๐œ™0โˆžโˆ’1๎“๐‘›=0(โˆ’1)๐‘›๐œ™0โˆ’๐‘›๎€ท๐œ™โˆ’๐œ™0๎€ธ๐‘›(4.4) has a finite radius of convergence. According to (3.28) we may write||๐œ™||๐œ™=(๐›ฝ,ฮ›)ร—๐œ†1๎‚ตโˆ“exp2๐œ‹๐‘–๐›ฝ๐œ†3๎€ท๐œโˆ’๐œ0๎€ธ๎‚ถ.(4.5) Substituting (4.5) into (4.2) yieldsฮ›=2๐œ‹๐›ฝ(4.6) which is unacceptable since ฮ› is a constant scale. For the possibility in (4.3) we obtain||๐œ™||๎ƒŽ(๐›ฝ,ฮ›)=๐›ฝฮ›3=๎‚™2๐œ‹ฮ›32๐œ‹๐‘‡(4.7) when substituting (4.5) into (4.3). This is acceptable and indicates that at ๐‘‡โ‰ซฮ›๐œ™โ€™s modulus is small. The right-hand side of (4.3) defines the โ€œsquare-rootโ€ ๐‘‰(1/2) of a potential ๐‘‰(|๐œ™|)โ‰กtr(๐‘‰(1/2))โ€ ๐‘‰(1/2)=ฮ›6tr๐œ™โˆ’2, and the equation of motion (4.3) can be derived from the following action:๐‘†๐œ™๎€œ=tr๐›ฝ0๎€œ๐‘‘๐‘‘๐œ3๐‘ฅ๎€ท๐œ•๐œ๐œ™๐œ•๐œ๐œ™+ฮ›6๐œ™โˆ’2๎€ธ.(4.8) Notice that a shift ๐‘‰โ†’๐‘‰+const is forbidden in (4.8) since the relevant equation of motion is the first-order equation (4.3).

After the spatial average is performed the action ๐‘†๐œ™ is extended by including topologically trivial configurations ๐‘Ž๐œ‡ in a minimal fashion: ๐œ•๐œ๐œ™โ†’๐œ•๐œ‡๐œ™+๐‘–๐‘’[๐œ™,๐‘Ž๐œ‡]โ‰ก๐ท๐œ‡๐œ™ and an added kinetic term. Here ๐‘’ denotes the effective gauge coupling. Thus the effective Yang-Mills action ๐‘† is written as๎€œ๐‘†=tr๐›ฝ0๎€œ๐‘‘๐‘‘๐œ3๐‘ฅ๎‚€12๐บ๐œ‡๐œˆ๐บ๐œ‡๐œˆ+๐ท๐œ‡๐œ™๐ท๐œ‡๐œ™+ฮ›6๐œ™โˆ’2๎‚,(4.9) where ๐บ๐œ‡๐œˆ=๐บ๐‘Ž๐œ‡๐œˆ๐œ†๐‘Ž/2 and ๐บ๐‘Ž๐œ‡๐œˆ=๐œ•๐œ‡๐‘Ž๐‘Ž๐œˆโˆ’๐œ•๐œˆ๐‘Ž๐‘Ž๐œ‡โˆ’๐‘’๐œ–๐‘Ž๐‘๐‘๐‘Ž๐‘๐œ‡๐‘Ž๐‘๐œˆ.

In (4.2) and (4.3) the existence of the mass scale ฮ› (the Yang-Mills scale) was assumed. One attributes the generation of a mass scale to the topologically trivial sector which, however, was assumed to be switched off so far. How can a contradiction be avoided? The answer to this question is that the scale ฮ› remains hidden as long as topologically trivial fluctuations are switched off; see (2.7). Only after switching on interactions between trivial-holonomy calorons within the ground state can ฮ› be seen [1, 2]. Let us repeat the derivation of this result: in [1, 2] we have shown that the mass squared of ๐œ™-field fluctuations, ๐œ•2|๐œ™|๐‘‰(|๐œ™|), is much larger than the square of the compositeness scale |๐œ™|. Moreover ๐œ•2|๐œ™|๐‘‰(|๐œ™|) is much larger than ๐‘‡2 for all temperatures ๐‘‡โ‰ฅ๐‘‡๐‘,๐ธ where ๐‘‡๐‘,๐ธ denotes the critical temperature for the electric-magnetic transition. Thus ๐œ™ is quantum mechanically and statistically inert: it provides a (nonbackreacting and undeformable) source for the following equation of motion:๐’Ÿ๐œ‡๐บ๐œ‡๐œˆ๎€บ=2๐‘–๐‘’๐œ™,๐’Ÿ๐œˆ๐œ™๎€ป(4.10) which follows from the action in (4.9). A pure-gauge solution to (4.10), describing the ground state together with ๐œ™, is๐‘Ž๐œ‡๐‘๐‘”=๐œ‹๐‘’๐‘‡๐›ฟ๐œ‡4๐œ†3.(4.11) As a consequence of (4.11) we have ๐’Ÿ๐œ‡๐œ™โ‰ก0, and thus a ground-state pressure ๐‘ƒg.s.=โˆ’4๐œ‹ฮ›3๐‘‡ and a ground-state energy-density ๐œŒg.s.=4๐œ‹ฮ›3๐‘‡ are generated in the electric phase: The so far hidden scale ฮ› becomes visible by averaged-over caloron-anticaloron interactions encoded in the pure-gauge configuration ๐‘Ž๐œ‡๐‘๐‘”.

5. Summary and Outlook

Let us summarize our results. We have derived the phase and the modulus of a statistically and quantum mechanically inert adjoint and spatially homogeneous scalar field ๐œ™ for an SU(2) Yang-Mills theory being in its electric phase. This field and a pure-gauge configuration together suggest the concept of a thermal ground state since they generate temperature-dependent pressure and energy density with an equation of state corresponding to a cosmological constant. The existence of ๐œ™ originates from the spatial correlations inherent in BPS saturated, trivial-holonomy solutions to the classical Yang-Mills equations at finite temperature: the Harrington-Shepard solutions of topological charge modulus one. To derive ๐œ™โ€™s phase these field configurations are, in a first step, treated as noninteracting when performing the functional average over the admissible parts of their moduli spaces. We have shown why adjoint scalar fields arising from configurations of higher topological charge do not exist.

The BPS saturated and classical field ๐œ™ possesses nontrivial ๐‘†1 winding on the group manifold ๐‘†3. The associated trajectory on ๐‘†3 becomes circular and thus a pure phase only after the integration over the entire admissible parts of the moduli spaces is carried out. Together with a pure-gauge configuration the adjoint scalar field ๐œ™ generates a linear temperature dependence of the ground-state pressure and the ground-state energy density where the pure-gauge configuration solves the Yang-Mills equations in the background ๐œ™ and, after the spatial average, describes the interactions between trivial-holonomy calorons. The pure-gauge configuration also makes explicit that the electric phase is deconfining [1, 2]. Since trivial-topology fluctuations may acquire quasiparticle masses on tree level by the adjoint Higgs mechanism [1, 2], the presence of ๐œ™ resolves the infrared problem inherent in a perturbative loop expansion of thermodynamical quantities [27]. Since there are kinematical constraints for the maximal hardness of topologically trivial quantum fluctuations, no renormalization procedure for the treatment of ultraviolet divergences is needed in the loop expansion of thermodynamical quantities [27] performed in the effective theory. These kinematical constraints arise from ๐œ™โ€™s compositeness emerging at distances โˆผ|๐œ™|โˆ’1. The usual assertion that the effects of the topologically nontrivial sector are extremely suppressed at high temperatureโ€”they turn out to be power suppressed in ๐‘‡โ€”is shown to be correct by taking this sector into account. The theory, indeed, has a Stefan-Boltzmann limit which is very quickly approached. It turns out to be incorrect, however, to neglect the topologically nontrivial sector from the start: assuming ๐‘‡โ‰ซฮ› to justify the omission of the topologically nontrivial sector before performing a (perturbative) loop expansion of thermodynamical quantities does not capture the thermodynamics of an SU(2) Yang-Mills theory and leads to the known problems in the infrared sector [28].

Acknowledgments

The authors would like to thank Nucu Stamatescu for his continuing interest in our work, and Janos Polonyi and Dirk Rischke for stressing the necessity of this paper. Useful conversations with H. Gies and J. Pawlowski are gratefully acknowledged.

Endnotes

  1. By โ€œcondensationโ€ we mean the effects of long-range spatial correlations in the classical, BPS-saturated, trivial-holonomy configurations in singular gauge, see (2.9).
  2. In unitary gauge off-Cartan fluctuations acquire a temperature-dependent mass when propagating through and thereby interacting with the โ€œmediumโ€ of caloron fluctuations.
  3. The reader may convince himself of this fact by computing the energy-momentum tensor on a BPS monopole.
  4. Gauge-field excitations are free at large temperatures [27] and contribute to the total pressure and the total energy density like โˆผ๐‘‡4. The small residual interactions, which peak close to a 2nd-order transition to the magnetic phase at ๐‘‡๐‘,๐ธ, are likely to explain the large-angle anomalies seen in some CMB power spectra [27, 29]. When cooling the system, monopoles and antimonopoles, which were generated by dissociating calorons (large holonomy), start to overlap at a temperature ๐‘‡๐‘œ slightly higher than ๐‘‡๐‘,๐ธ because they are moving towards one another under the influence of an overall negative pressure. The latter is generated by the dominating pressure component generated by small-holonomy calorons whose monopole constituents attract and eventually annihilate at a given point in space but get recreated elseswhere. Naively seen, negative pressure corresponds to an instability of the system causing it to collapse. We usually imagine a contracting system in terms of a decrease of the mean interparticle distance while tacitly assuming the particles to be pointlike. Despite an overall negative pressure a total collapse in the above sense does not occur in an SU(2) Yang-Mills theory. This can be understood as follows: the mass of an isolated, screened monopole is ๐‘šโˆผ2๐œ‹2๐‘‡/๐‘’, and the effective gauge coupling ๐‘’ is constant if monopoles do not overlap, that is, for ๐‘‡>๐‘‡๐‘œ (magnetic charge conservation [1, 2]). At ๐‘‡๐‘œ the magnetic charge contained in a given spatial volume no longer remains constant in time because of the increasing mobility of strongly screened monopoles. Thus formerly separated monopoles can annihilate and but also get recreated. Therefore the notion of a local collapse ceases to be applicable since the associated particles cease to exist if they are close to one another. If the rate of annihilation equals the rate of recreation of monopole-antimonopole pairs then we are witnessing an equilibium situation characterized by a temperature despite a negative overall pressure.
  5. Configurations with higher topological charge and trivial holonomy have been constructed, see for example [30, 31]. A priori they should contribute to the ground-state thermodynamics of the theory in terms of additional adjoint scalar fields. The nonexistence of these Higgs fields is assured by their larger number of dimensionful moduliโ€”for the charge-two case we have two instanton radii and the core separationโ€”which does not allow for the nonlocal definition of a macroscopic, dimensionless phase; see (2.9) and the discussion following it.
  6. Because of periodicity, ๐œ๐‘ง needs to be restricted as 0โ‰ค๐œ๐‘งโ‰ค๐›ฝ.
  7. A spatial average over zero energy momentum yields zero.
  8. The fact that an ordinary and not a covariant derivative appears in (2.8) is, of course, tied to our specific gauge choice. If we were to leave the (singular) gauge for the (anti)instanton, in which the solutions of (2.2) are constructed, by a time-dependent gauge rotation ฮฉ(๐œ) then a pure-gauge configuration ๐ดp.g.๐œ‡(๐œ)=๐‘–๐›ฟ๐œ‡4ฮฉโ€ ๐œ•๐œฮฉ would appear in a covariant derivative on the left-hand side of (2.8).
  9. A local definition of ๐œ™โ€™s phase always yields zero due to the (anti)self-duality of the (anti)caloron configuration.
  10. Curved integration contours introduce scales which have no physical counterpart on the classical level. Furthermore, shifting the spatial part of the argument (๐œ,0)โ†’(๐œ,๐ณ) in (2.9) introduces a parameter |๐ณ| of dimension inverse mass. There is no physical reason for a finite value of |๐ณ| to exist on the classical level. Thus we conclude that ๐ณ=0.
  11. A shift, ๐œโ†’๐œ+๐œ๐‘ง (0โ‰ค๐œ๐‘งโ‰ค๐›ฝ), is always possible and not fixed by a physical boundary condition on the classical level. As we will see below, the same holds true for the normalization of the right-hand side of (2.9). Therefore, for each color direction these two ambiguities parametrize the solution space of the second-order linear operator ๐’Ÿ.
  12. The โ€œnakedโ€ gauge charge in (2.9) is needed for a coupling of the trivial topology sector to the ground-state after spatial coarse-graining generating (i) quasiparticle masses and (ii) finite values of the ground-state energy density and the ground-state pressure [1, 2].
  13. The integral converges for ๐‘Ÿโ†’0.
  14. The modulus |๐œ™| does not depend on ๐œ in thermal equilibrium and thus can be cancelled out.
  15. The former requirement derives from the fact that ๐œ™ and its potential ๐‘‰ are obtained by functionally integrating over a noninteracting caloron-anticaloron system. The associated part of the partition function does not exhibit an explicit ๐›ฝ dependence since the action ๐‘† is ๐›ฝ independent on the caloron and anticaloron moduli spaces. Thus a ๐›ฝ dependence of ๐‘‰ or ๐‘‰(1/2) can only be generated via the periodicity of ๐œ™ itself. The latter requirement derives from the demand that the thermodynamics at temperature ๐‘‡+๐›ฟ๐‘‡ to any given accuracy must be derivable from the thermodynamics at temperature ๐‘‡ for ๐›ฟ๐‘‡ sufficiently small provided no phase transition occurs at ๐‘‡. This is accomplished by a Taylor expansion of the right-hand side of the BPS equation (finite radius of convergence) which, in turn, is the starting point for a perturbative treatment with expansion parameter ๐›ฟ๐‘‡/๐‘‡.

References

  1. R. Hofmann, โ€œNonperturbative approach to Yang-Mills thermodynamics,โ€ International Journal of Modern Physics A, vol. 20, no. 18, pp. 4123โ€“4216, 2005. View at Publisher ยท View at Google Scholar
  2. R. Hofmann, โ€œErratum: nonperturbative approach to Yang-Mills thermodynamics (International Journal of Modern Physics A (2005) 20, 18, (4123-4216)),โ€ International Journal of Modern Physics A, vol. 21, no. 31, pp. 6515โ€“6523, 2006. View at Publisher ยท View at Google Scholar ยท View at Scopus
  3. B. J. Harrington and H. K. Shepard, โ€œPeriodic euclidean solutions and the finite-temperature Yang-Mills gas,โ€ Physical Review D, vol. 17, no. 8, pp. 2122โ€“2125, 1978. View at Publisher ยท View at Google Scholar ยท View at Scopus
  4. G. 't Hooft and M. Veltman, โ€œRegularization and renormalization of gauge fields,โ€ Nuclear Physics B, vol. 44, no. 1, pp. 189โ€“213, 1972. View at Google Scholar
  5. G. 't Hooft, โ€œRenormalization of massless Yang-Mills fields,โ€ Nuclear Physics B, vol. 33, no. 1, pp. 173โ€“199, 1971. View at Publisher ยท View at Google Scholar
  6. G. 't Hooft, โ€œAn algorithm for the poles at dimension four in the dimensional regularization procedure,โ€ Nuclear Physics B, vol. 62, pp. 444โ€“460, 1973. View at Google Scholar
  7. G. 't Hooft and M. J. G. Veltman, โ€œCombinatorics of gauge fields,โ€ Nuclear Physics B, vol. 50, no. 1, pp. 318โ€“353, 1972. View at Publisher ยท View at Google Scholar
  8. D. J. Gross and F. Wilczek, โ€œAsymptotically free gauge theories. I,โ€ Physical Review D, vol. 8, no. 10, pp. 3633โ€“3652, 1973. View at Publisher ยท View at Google Scholar
  9. D. J. Gross and F. Wilczek, โ€œUltraviolet behavior of non-abelian gauge theories,โ€ Physical Review Letters, vol. 30, no. 26, pp. 1343โ€“1346, 1973. View at Publisher ยท View at Google Scholar
  10. H. D. Politzer, โ€œReliable perturbative results for strong interactions?โ€ Physical Review Letters, vol. 30, no. 26, pp. 1346โ€“1349, 1973. View at Publisher ยท View at Google Scholar
  11. H. D. Politzer, โ€œAsymptotic freedom: an approach to strong interactions,โ€ Physics Reports, vol. 14, no. 4, pp. 129โ€“180, 1974. View at Google Scholar
  12. W. Nahm, โ€œA simple formalism for the BPS monopole,โ€ Physics Letters B, vol. 90, no. 4, pp. 413โ€“414, 1980. View at Google Scholar
  13. W. Nahm, โ€œSelf-dual monopoles and calorons,โ€ in Lecture Notes in Physics, G. Denaro, Ed., vol. 201, pp. 189โ€“200, 1984. View at Publisher ยท View at Google Scholar
  14. K. Lee and C. Lu, โ€œSu(2) calorons and magnetic monopoles,โ€ Physical Review D, vol. 58, pp. 025011-1โ€“025011-7, 1998. View at Publisher ยท View at Google Scholar
  15. T. C. Kraan and P. van Baal, โ€œPeriodic instantons with non-trivial holonomy,โ€ Nuclear Physics B, vol. 533, no. 1–3, pp. 627โ€“659, 1998. View at Google Scholar ยท View at Scopus
  16. T. C. Kraan and P. van Baal, โ€œMonopole constituents inside SU(n) calorons,โ€ Physics Letters B, vol. 435, no. 3-4, pp. 389โ€“395, 1998. View at Google Scholar ยท View at Scopus
  17. R. C. Brower, D. Chen, J. Negele, K. Orginos, and C.-I. Tan, โ€œMagnetic monopole content of hot instantons,โ€ Nuclear Physics B—Proceedings Supplements, vol. 73, no. 1–3, pp. 557โ€“559, 1999. View at Google Scholar ยท View at Scopus
  18. D. Diakonov, N. Gromov, V. Petrov, and S. Slizovskiy, โ€œQuantum weights of dyons and of instantons with nontrivial holonomy,โ€ Physical Review D, vol. 70, no. 3, Article ID 036003, 2004. View at Publisher ยท View at Google Scholar ยท View at Scopus
  19. C. P. K. Altes, โ€œSpatial 't Hooft loop, hot QCD and Z_N domain walls,โ€ Physics Letters B, vol. 469, no. 1–4, pp. 205โ€“212, 1999. View at Publisher ยท View at Google Scholar ยท View at MathSciNet
  20. C. P. K. Altes, โ€œQuasi-particles and strong first order transition in hot QCD,โ€ Acta Physica Polonica B, vol. 34, no. 12, pp. 5825โ€“5845, 2003. View at Google Scholar
  21. P. Giovannangeli and C. P. K. Altes, โ€œ'T Hooft and Wilson loop ratios in the QCD plasma,โ€ Nuclear Physics B, vol. 608, no. 1-2, pp. 203โ€“234, 2001. View at Publisher ยท View at Google Scholar
  22. C. P. K. Altes, โ€œSpatial 't Hooft loop, hot QCD and Z_N domain walls,โ€ Physics Letters B, vol. 469, no. 1–4, pp. 205โ€“212, 1999. View at Publisher ยท View at Google Scholar ยท View at MathSciNet
  23. C. H. Hoelbing, C. Rebbi, and V. A. Rubakov, โ€œFree energy of an SU(2) monopole-antimonopole pair,โ€ Physical Review D, vol. 63, no. 3, Article ID 034506, 8 pages, 2001. View at Publisher ยท View at Google Scholar
  24. G. 't Hooft, โ€œComputation of the quantum effects due to a four-dimensional pseudoparticle,โ€ Physical Review D, vol. 14, no. 12, pp. 3432โ€“3450, 1976. View at Publisher ยท View at Google Scholar
  25. G. 't Hooft, โ€œErratum: computation of the quantum effects due to a four-dimensional pseudoparticle (Physical Review D (1978) 18, 6),โ€ Physical Review D, vol. 18, no. 6, pp. 2199โ€“2200, 1978. View at Publisher ยท View at Google Scholar
  26. M. F. Atiyah, V. G. Drinfeld, N. J. Hitchin, and Y. U. Manin, โ€œConstruction of instantons,โ€ Physics Letters A, vol. 65, no. 3, pp. 185โ€“187, 1978. View at Google Scholar
  27. U. Herbst, R. Hofmann, and J. Rohrer, โ€œSU(2) Yang-Mills thermodynamics: two-loop corrections to the pressure,โ€ Acta Physica Polonica B, vol. 36, no. 3, 881 pages, 2005. View at Google Scholar
  28. A. D. Linde, โ€œInfrared problem in the thermodynamics of the Yang-Mills gas,โ€ Physics Letters B, vol. 96, no. 3-4, pp. 289โ€“292, 1980. View at Google Scholar ยท View at Scopus
  29. D. N. Spergel, L. Verde, H. V. Peiris et al., โ€œFirst-year Wilkinson Microwave Anisotropy Probe (WMAP) observations: determination of cosmological parameters,โ€ The Astrophysical Journal Supplement Journal, vol. 148, no. 1, pp. 175โ€“194, 2003. View at Publisher ยท View at Google Scholar ยท View at Scopus
  30. A. Actor, โ€œSelf dual solutions of the temperature SU(2) Yang-Mills theory,โ€ Annals of Physics, vol. 148, no. 1, pp. 32โ€“56, 1983. View at Google Scholar ยท View at Scopus
  31. A. Chakrabarti, โ€œPeriodic generalizations of static, self-dual SU(2) gauge fields,โ€ Physical Review D, vol. 35, no. 2, pp. 696โ€“706, 1987. View at Publisher ยท View at Google Scholar ยท View at MathSciNet ยท View at Scopus