On bounds and boundary conditions in the continuum Landau gauge

In this note, we consider the Landau gauge in the continuum formulation. Our purposes are twofold. Firstly, we try to work out the consequences of the recently derived Cucchieri-Mendes bounds on the inverse Faddeev-Popov operator at the level of the path integral quantization. Secondly, we give an explicit renormalizable prescription to implement the so-called Landau B-gauges as introduced by Maas.


Introduction
The Faddeev-Popov operator M ≡ M ab [A] = −∂ μ D ab μ , with D ab μ = δ ab ∂ μ − g f abc A c μ the covariant derivative in the adjoint representation, plays an important role when discussing geometric features of the Landau gauge fixing ∂ μ A a μ = 0 for non-Abelian gauge theories. The set of all A μ ≡ A a μ that fulfill defines the so-called Gribov region . At its boundary ∂ , the Faddeev-Popov operator becomes zero. The definition (1) makes sense, since M is a Hermitian operator, thus having real eigenvalues. It is then a simple matter to see that A a μ ∈ is a necessary and sufficient condition to ensure that A μ has no infinitesimally gauge equivalent field configurations also subject to the Landau gauge. The Gribov gauge fixing ambiguity at the infinitesimal level is thus overcome if the set of admissible gauge fields in the path integral are those belonging to . A few interesting properties of the region have been established: it is convex, bounded in every direca e-mail: david.dudal@kuleuven-kulak.be; david.dudal@ugent.be b e-mail: msguimaraes@uerj.br c e-mail: igorfjusto@gmail.com d e-mail: sorella@uerj.br tion (it is a kind of multidimensional ellipsoid) and most importantly, each gauge orbit intersects at least once [1,2].
The conditions (1) are nothing else than those for identifying a local minimum of the functional [3,4] If we think in terms of the action of Landau gauge-fixed Yang-Mills theory, the inverse Faddeev-Popov operator can be identified with the ghost propagator G ab (k, A) in the presence of an external gauge field. This observation is the crux of the original recipe [5] of Gribov to work out a practical version of the restriction to : only gauge fields with σ (k, A) ≤ 1 must be taken into account in the path integral, where G(k, A) = A) . This is known as the no-pole condition and it was translated into an effective action at tree level by Gribov. Using an alternative derivation, Zwanziger [6,7] was able to generalize the Gribov effective action to all orders. The end point was the following (Gribov-Zwanziger) action: The fields ϕ ac μ , ϕ ac μ are a set of bosonic fields each with d(N 2 − 1) 2 components, the fields ω ac μ , ω ac μ are ghost fields. The Gribov mass parameter γ 2 is not free, but it is determined in a self-consistent way through the gap equation = 0, where E stands for the vacuum energy of the theory [5][6][7]. In more recent years, it was shown that nontrivial vacuum effects can further alter the action, leading to the so-called refined Gribov-Zwanziger (action) [8][9][10][11]. It is also worthwhile to mention that recently, progress has been made to generalize the Gribov-Zwanziger construction to the maximal Abelian gauge [12][13][14][15][16]. Also studies of Gribov copies in curved space times were considered [17,18], next to theories including Higgs scalar fields [19,20] or supersymmetric gauge theories [21,22].
An alternative way to cope with the Gribov ambiguity, based on sampling over all copies, has been put forward in [23]. The net result was the massive Curci-Ferrari action [24,25], where the presence/value of the mass is, to our knowledge, a somewhat delicate issue related to taking a set of limits; see also [26] for similar questions. Nonetheless, a decent effective description of two-and higher point functions was feasible [27][28][29].
In the Gribov-Zwanziger approach, we are implicitly assigning an equal weight to all further copies inside and sample over those. In the literature, this is sometimes referred to as the minimal Landau gauge. Such sampling might be ill-posed, if the number of copies inside , N [A], depends on the gauge field, but it is the best we can do analytically. Almost nothing is known about N [A]. Let us refer to [30] for a more elaborate discussion on the potential pitfalls of extending the Landau gauge beyond its perturbative definition.
It is perhaps also worthwhile to recall that itself is not free from residual gauge copies. This was discussed in mathematical detail in [3]; see also [31]. Ideally, one would have to resort to restricting the path integral to a region free of Gribov copies, defining an absolute Landau gauge. This socalled fundamental modular region (FMR) in the Landau gauge would correspond to the region ⊂ built from the absolute (in contrast to the local) minima of the functional R[A] (2). Unfortunately, there are no simple criteria which a generic A a μ should fulfill to belong to the FMR . Not much is known about , apart from the fact that it is also convex [3] and evidently, it is also bounded in every direction. Even numerically, it is extremely hard to locate (all) absolute minima of a functional in a complicated space. This is immediately the main reason why the Gribov-Zwanziger restriction to is mostly used in practical applications.
Even itself is not free of copies, its boundary ∂ can display degenerate absolute minima as shown in [32]. It is also known that and share part of their boundary [32]. In e.g. [33], it was conjectured and analytically motivated that . . . = . . . . Until now, this remains, however, a conjecture, and not all lattice studies comply with it [34]. In any case, interpreting lattice results with regard to the (continuum, thus infinite-volume) conjecture should be done with care, since the infinite volume is never reached.
The presence of copies inside the Gribov region opens the door for alternative completions of the Landau gauge; see also [35] for a discussion. For example, one could pick, per gauge configuration, as the relevant contribution to the path integral a copy strictly inside and not the one on the boundary ∂ [36]. Gauge dependent quantities will in general be dependent on the specific copy selection. 1 Though, in principle, when evaluating gauge invariant quantities, it should be of no consequence whatever copy is used. Though, such selection procedure is at the practical level only feasible in the lattice context, and probably even only in at relatively small volumes, for which there is relative control on the set of Gribov copies.
In functional formalisms, with typical proponent the Dyson-Schwinger equations [37][38][39][40], it was discussed in [41,42] that the form/solutions of the equations should not change by cutting off the region of integration at the boundary ∂ .
In the following section, an analytical argument will be provided that-at least in the employed continuum settingthe path integral over the Gribov region is still dominated by the integration over its boundary ∂ when making use of the Cucchieri-Mendes bound on the ghost propagator [43,44]. In the third section, we focus on answering a question, originally posed by Maas [45,46] and improved upon in [30], concerning the implementation at the functional level of a boundary condition on the (inverse) ghost propagator. Besides that, also some quantum aspects of the proposed action, including its renormalizability, are handled in the fourth section. We end with a more concise discussion of the obtained results.

The Cucchieri-Mendes bound on the ghost propagator and its implications
In [43], it was derived how the horizon function, defined via obeys the following inequality: Fig. 1 Pictorial representation of the Gribov region and the distance where 1 − ρ(A) is the normalized distance of the gauge configuration A to ∂ , or, equivalently, ρ(A) is the normalized distance to 0 ∈ . This distance can be defined on basis of the convexity of [1], in the sense that for each A ∈ , we can consider in the ray connecting A μ with 0, calling B μ the intersection of that ray with ∂ . Doing so, ρ(A) corresponds to the scaling factor in the relation A μ = ρ(A)B μ . In more mathematical terms [43], introducing the L 2 norm for vector valued SU(N ) matrices, Notice that by construction ρ(A) ≤ 1. Figure 1 displays the situation in a pictorial manner.
In [47,48], it was shown, order by order in a perturbative expansion, that the horizon function h(A) corresponds to the Gribov ghost form factor σ (k, A) at zero momentum. Imposing σ (0, A) ≤ 1 [while keeping in mind that for the a posteriori constructed integration measure, σ (k, A) is a decreasing function in k] is thus equivalent to imposing h(A) ≤ 1. In the thermodynamic limit [5,6], the inequality becomes an equality, see also [4], and using this we arrive at the horizon condition where we added the superscript 1PI to make it clear that reference is made to the 1-particle-irreducible part of the ghost self-energy [48]. Evidently, the measure underpinning . . . in (7) is not the Faddeev-Popov one, since σ (0) ≡ σ (0, A) 1PI = 1 using standard perturbation theory. Let us also recall here that σ (0) = 1 leads to a more than quadratically IR divergent ghost propagator, a property first pointed out by Gribov [5], later on proven to all orders using a Ward identity argument by Zwanziger [7]. Naively, the Gribov-Zwanziger restriction boils down to taking into account only gauge configurations living on the Gribov horizon ∂ , where the ghost propagator diverges more strongly due to the presence of the zero modes.
Given the a priori sharper Cucchieri-Mendes bound (6), the possibility seems to be lurking around the corner for a geometrical reason behind a non-enhanced ghost in the infrared, given that one is actually integrating over a smaller subregion of the Gribov region , since for many gauge configurations it will hold that ρ(A) < 1. Yet, depending on the number of configurations that do have ρ(A) = 1, ghost enhancement would still be allowed on mere classical/geometrical grounds but not realized explicitly because of another reason; in particular the dynamical refinement as discussed in [8][9][10][11], which would be a reason on quantum grounds. We refer to [43] for many more details, including lattice experiments and related discrete versions of the bound.
In the remainder of this section, we come to our first result: directly working in the continuum, we shall show that the path integral over the Gribov region is still dominated by the integration over the horizon ∂ . Indeed, consider the following path integral: which encompasses the Cucchieri-Mendes bound (6) via the first θ -function, next to the restriction to the Gribov region via the second θ -function. Now given that the region is for sure star-convex, it is natural to use "polar coordinates" to rewrite the integral as an integral over the boundary times a "normalized radial" integral; 3 where N = dim( )−1 = ∞. We first rewrite the B-integral via the identification The latter integral can be interpreted as defining a microcanonical average. Making use of the thermodynamic limit [6,77], the former averages equal those generated by a Boltzmann distribution (see also later for some more details), defined by with γ 4 the critical (Gribov) parameter determined by the self-consistency equation where the measure adopted is the one corresponding to the r.h.s. of (11). We thus get for the partition function Then we use the Laplace approximation rule for an integral of the form where x 0 = 1 is the maximum of ln x over the interval [0, 1]. Thus, it is clear the ρ-integral in (13) will be reduced to its value at ρ = 1 (i.e. on the horizon). We find for our partition function In the latter expression, we recognize almost the standard Gribov-Zwanziger action. The difference lies in the presence of the θ [1 − h(B)], but this is actually an obsolete factor. Indeed, thanks to the thermodynamic limit/infinitedimensionality of the configuration space [4] the θ -function collapses into a δ-function, 4 and we can repeat the microcanonical → Boltzmann averaging. Though, since the mea- there is no need for an additional critical parameterγ 4 (more precisely,γ 4 = 0), and we eventually arrive at which is nothing else than the Gribov-Zwanziger action in its nonlocal formulation.
It should not have come as a surprise that imposing the somewhat more stringent Cucchieri-Mendes bound leads to exactly the Gribov-Zwanziger action after all. In the original derivation, the argument is that the dominant integration region is the boundary of . Naively speaking, imposing the Cucchieri-Mendes bound via (8), amounts to integrating over an outer shell of the ellipsoid . The dominant region will still be the outer boundary of this infinite-dimensional shell, being ∂ .
Let us here also point to [78][79][80] for a numerical verification that the relevant configurations are located close to ∂ , as it was found that the average value of the smallest nontrivial eigenvalue of the Faddeev-Popov operator approaches zero for growing lattice volume.

Using the inverse ghost form factor as a "nonperturbative gauge parameter": construction of the corresponding action
In this section, we will take a closer look at the so-called Landau B-gauges as first introduced in [45,46] and studied afterwards in [59], albeit mostly in a numerical lattice context. Obviously, the Landau gauge is assumed to begin with. The motivation lies in the Dyson-Schwinger quantum equations of motion (DSEs). These functional equations appear to have multiple solutions, and finding a unique solution depends on a choice of boundary conditions; see e.g. [81,82]. In the context of the DSEs, the (not always explicitly mentioned) boundary condition that is imposed is making a choice for the 1PI ghost self-energy at zero momentum; see e.g. [83, Sect V.C]. This observation was explicitly made and numerically tested in [84] for the ghost propagator in the Coulomb gauge. More precisely, in the Landau gauge, using global color invariance, one may write One then imposes the requirement that the ghost form factor g( p 2 ) obey A special case is provided by B = 0, which corresponds to a ghost propagator that is more singular than 1/ p 2 in the deep infrared. This is commonly known as the "scaling" scenario, while B > 0 corresponds to the "decoupling/massive" scenario, the latter being realized in current lattice simulations. 5 This terminology was coined in [62]. Although the question whether both scenarios could be realized on the lattice is to our knowledge not yet answered with strict rigor, various reasons why finding a scaling solution on the lattice would be rather surprising can be found in the discussion of [43]; see also [85] for an argumentation in the continuum. Interestingly, the latter paper also discusses the effective action related to both classes of solutions, giving evidence that the massive/decoupling solution corresponds to a more stable situation. The fact that multiple distinct solutions do exist, but that the theory itself singles one out on energetic grounds (smaller vacuum energy) sounds, evidently, physically appealing and logical. Arguments suggesting the possible existence of the scaling solution were provided in [86].
Our goal now is to show that it is possible to enforce the specific boundary condition g −1 (0) = B directly at the level of the action, without making compromises w.r.t. the renormalizability of the construction. This gives an explicit answer to the speculations of [45,46] if it is possible to implement at the functional level the boundary condition. Notice that being able to implement all constraints at the level of the Lagrangian/action allows for a clean discussion of the properties of the eventual solution. We will therefore combine the tools of [48,77]. Let us consider the Faddeev-Popov operator, M ab and for the moment we treat A μ as a classical external field. The ghost propagator in Fourier space reads with For the ghost form factor, a compact expression can be derived if we look at the color trace of (20), that is, with V ≡ δ(0) the (infinite) 4d spacetime volume. Using Wick's theorem, the transversality of the Landau gauge, and some algebra, it was shown in [48] that σ ( p = 0, A) can be compactly rewritten as Footnote 5 continued finite scale P 2 > 0, i.e. a ghost tachyon. There is neither need nor any lattice evidence for such.
where A ab Now, we can quantize the gauge field as well, and (22) can be translated into the following equality: where "conn" stands for the connected set of diagrams and 1PI for the 1-particle-irreducible ones. The boundary condition (18) is then equivalent to requiring How to impose this at the level of the partition function? This can be accommodated for by a replacement of the Landau gauge Faddeev-Popov measure as follows: In statistical mechanics terms, the latter measure corresponds to taking a microcanonical ensemble average. In the thermodynamic limit, d.o.f. → ∞, V → ∞; d.o.f./V = constant; the measure can be reformulated with a steepest descent evaluation (a.k.a. saddle point approximation) to arrive at a Boltzmann ensemble. 6 More precisely [5,77], with Power counting shows that β has mass dimension 4. To evaluate the β-integral of (26), we need to solve to locate the critical point β * and make sure we can deform the contour to pass through β * . This is allowed if the integration along the imaginary axis can be extended to a contour integration. From the representation (26) it is actually clear that E(β) corresponds to the vacuum energy up to the (infinite) volume factor V . On dimensional grounds, in d dimensions, we will have E(β) ∝ β, so if we close the contour on the right (Re(β) > 0), the e −E(β) will vanish for β → ∞ and we can safely deform the contour to pass through β * , as long as β * ≥ 0 and if there are no poles or cuts located in the complex β-plane with Re(β) > 0. We will come back to the latter issue further on. A little algebra results This will correspond to a global minimum of the vacuum energy, 7 and the steepest descent evaluation should thus be allowed.
Returning to the saddle point equation (28), we notice that it can be rephrased as where the expectation value is taken w.r.t. the new measure Now, since E is composed of vacuum bubble contributions, any potential one-particle reducible diagram contributing to E must be proportional to the square of the zero-momentum expectation value of the field propagating in the reducible line. This refers to nothing else than the vacuum expectation value of the fundamental field. Due to Lorentz and/or global color invariance, such condensates are, however, zero. Consequently, the relation (29) actually reads which, upon using (22) again, leads to that is, we indeed have constructed a novel partition function that precisely gives the desired result (18), g −1 (0) = B.
A word of caution is in order here. Writing down (25), we made the a priori assumption that for each gauge configuration, there is at least one gauge equivalent configuration leading to the imposed value of B while satisfying the Landau gauge condition. 8 Unfortunately, there is no formal proof 7 Notice that E(0) = 0. 8 It would be no problem if some gauge fields are not included in the path integral, as long as it is a zero measure set. However, if relevant of this. To our knowledge, at most it is rigorously known that each gauge orbit has at least one representant inside the Gribov region , including its boundary [2]. We will, however, stick to the assumption that every value of B ≥ 0 is allowed. This is in part motivated by the (less strong) assumption of the Dyson-Schwinger paper [62] that, after taking expectation values, the ghost propagator's form factor can attain any B > 0 as its zero momentum value. Further numerical studies concerning the range of allowed B's and related discussion can be found in [30,35,43,59,87].
To bring the partition function in a more usual, i.e. exponential, form, we can, completely analogously to the original Zwanziger derivation, introduce a set of auxiliary bosonic ϕ ab μ , ϕ ab μ , and fermionic fields, ω ab μ , ω ab μ , to localize the nonlocal operator H (A). We eventually find that the partition function is completely determined in terms of the action Indeed, being Gaussian, both the ϕand the ω-integrals can be executed exactly, their respective determinants canceling due to their opposite Grassmann parity. The mass scale β * is still to be fixed from the gap equation (28), which can, in the local formulation, also be expressed as Obviously, the action we just constructed is a generalization of the Gribov-Zwanziger one, which is recovered in the limit B = 1, in which case the original no-pole condition of Gribov is implemented. From the local formulation, to which we can apply the usual effective action formalism, it becomes evident that the vacuum energy, upon including the quantum corrections, will be a function of the type E β * , g 2 , ln √ β * μ 2 . Indeed, apart from the pure vacuum term, √ β * only appears in the quadratic term that mixes the A a μ -field with the ϕ ac μ , ϕ ac μ fields, thus it will only enter the (mixed) (b a , A a μ , ϕ ac μ , ϕ ac μ ) propagators. In the absence of any other scale, up to the global prefactor, the only way it can enter the vacuum energy is logarithmically. Taking as before Re(β) > 0, we avoid the cut Footnote 8 continued gauge fields were to be excluded, part of the (gauge invariant) physics would be missed. of the logarithm, and we can safely deform the contour for the saddle point evaluation.
By a simple rescaling β * → β * B , the "gauge parameter" B will only enter via the (b a , A a μ , ϕ ac μ , ϕ ac μ ) propagators, a situation rather akin to one with a genuine gauge parameter. Though the situation is very different, in particular physical quantities, as E, may explicitly depend onB; see later in this paper.
4 The inverse ghost form factor as a "nonperturbative gauge parameter": some quantum aspects

Renormalizability
In order to discuss the renormalizability, we can follow the same argumentation as for the Gribov-Zwanziger action, as the only difference is the tree level pure vacuum term, which leads to a different gap equation. We use the setup and notations of 9 [88] which fits within the general algebraic formalism [91]. We set √ β = γ 2 and first introduce a multi-index i ≡ (μ, a) which allows one to rewrite the action (33) as with In order to find a sufficiently large set of Ward identities, it is useful to embed the previous action into another, more general one, whereby 9 Alternative routes to discuss the renormalization effects of a GZ-like theory can be found in [89,90].
The Yang-Mills fields are subject to their standard BRST variation, while the auxiliary fields are BRST doublets, We have also introduced three new BRST doublets of sources (U ai μ , M ai μ ), (V ai μ , N ai μ ), and (T ai μ , R ai μ ) transforming according to For the special set of source values we recover the action of interest, S (35). To consistently define the nonlinear BRST variations of A a μ and c a , we also temporarily need to address with s K a μ = 0, s L a = 0.
The "full" action obeys several powerful Ward identities. We refrain from writing them all down there, they can be found in the Appendices of [88]; the only difference with the action discussed there is the presence of the additional parameterB, which only affects the pure source (vacuum) term ∝ M V − U N. Clearly, a change of the latter will never have any consequence whatsoever on the UV structure of the theory, so the theory for any value ofB will be renormalizable, given that the renormalizability has already been established in e.g. [7,88,92] forB = 1. In fact, there is an additional Ward identity directly related toB, namely The latter is a pure source term, as such the identity remains valid at the quantum level for the 1PI effective action . Consequently, asB does appear in the bare action but not in the counterterm, the renormalization of this pure source term,B(−M V + U N), will happen as where h is the infinitesimal parameter associated to the quantum perturbation of the classical action [91]. As can be inferred from [88], and so we have which finally gives In the above, a 1 is an arbitrary parameter that comes from the counterterm and Z γ 2 , which is the multiplicative renormalization factor for γ 2 , is given by Z 2 as can be learned from [9] (notations and conventions are as follows [88]). The only possible change in the other Ward identities of [88] will at most occur in the pure source term, that is, in the potential harmless linear breaking terms (even zeroth order terms) of the classical/quantum Ward identities. For further usage, we will need the following Ward identities: next to the global invariance (thanks to the multi-index) 10 This identity was actually not considered in [88].
by means of which we can introduce the "i-charge" Q = U ii . Last but not least, we will also need the Slavnov-Taylor identity:

The anomalous dimension γB
It is interesting to take a closer look at the anomalous dimension ofB, which we define via and from (48) we learn Therefore we can write Setting g 2 0 =μ ε Z 2 g g 2 we have so that leading to According to (59) and sinceB ≥ 1 the anomalous dimension ofB is thus positive and it has a fixed point atB = 1, reached in the UV regime. The fact thatB = 1 is a fixed point to all orders 11 is a cross-check that the original Gribov-Zwanziger action is a stable special case of the general action that gives a prescribed zero-momentum ghost form factor. SinceB = 1 is reached in the ultraviolet regime, it would appear that, starting from a choice ofB that does not correspond to the original Gribov-Zwanziger case (scaling solution), one will likely not end up withB = 1 at low momentum.

Explicit proof of the boundary condition being realized
In this subsection, we provide a proof that the ghost propagator indeed obeys the boundary condition (18) when quantum corrections are taken into account. The argumentation will solely rest on the underlying Ward identities defining the quantum effective action. In the case ofB = 1, a proof can already be found in [7], but the more general new proof here presented is shorter and somewhat less technical and applies to generalB. The gain is coming from explicit use of the quantum Slavnov-Taylor identity. We depart from the partition function associated with the action (33). By adding sources coupled to the Faddeev-Popov ghosts and Gribov-Zwanziger ghosts, integrating them out exactly as they appear at most quadratically, one finds the general identification (see e.g. Section III of [88], albeit the proportionality factor mentioned there is now corrected here).
where f (A) is a generic functional of the gauge fields; the 4(N 2 − 1) corresponds to δ ii , where i runs over d(N 2 − 1) values, with d the spacetime dimensionality. Rather than considering the ghost form factor at zero momentum itself, we can thus equally well look at the equivalent expression For now, let us focus on the Green function ω a i (x)ω a i (y) , or even more specifically, to its 1PI counterpart (inverse propagator). The latter can be inferred from where after the derivation, all (external) fields are put to zero, while also the sources should be attributed their physical value (42), both manipulations denoted with | 0 . is the quantum effective action, which is subject to the same constrains (Ward identities) as its classical version . In particular, acting with δ δω c j on δ δω a i (x) gives since we also have δ δb a = ∂ μ A a μ . The previous expression (64) can be further simplified, using the quantum version of the EOM (51): while we keep the relations (42) in mind, together with global color invariance. Notice that, since there are no (ω, c)vertices, the contribution of the term ∝ δ 2 δ K δ N will vanish, as it corresponds to insertions of operators ∼ cω and no diagrams can be formed of this type.
Given˜ as in (37), (65) actually corresponds to We also need to reformulate the gap equation (34) a bit.
Reconsider the relevant (physical) action (35). First we notice that the term T ≡ −g f abc ∂ μ ω a i D bd μ c d ϕ c i actually plays no role when computing quantities with Grassmann charge zero; indeed, there are no compensating (ω, c)-vertices that would allow for the vertices of T to generate any diagram. So, for practical purposes we can actually set T = 0. Doing so, the action (35) enjoys the ϕ ↔ ϕ symmetry; the extra ϕϕ∂ Aterm which comes about after interchanging the role of ϕ and ϕ can be easily overcome by a shift in the multiplier b-field, or equivalently said, it vanishes on-shell because of the Landau gauge ∂ A = 0. This observation can be used to reformulate the boundary condition (34) g f abc A a μ ϕ bc μ = g f abc A a μ ϕ bc Next, we notice that Nextly, we consider the quantum Slavnov-Taylor identity, Subsequently, we assign to the remaining sources their physical values. The contributions from the second line vanish, since N = 0 and because we can also drop the term ∼ δ 2 δ N δT since it corresponds to a correlation function of the type . . . ωc 1PI , which is yet again zero since no diagrams can be formed because of the absence of (ω, c) vertices. We also have Substituting (42) and (71) into (70), we obtain, taking into account the expression for and the gap equation (68), while also keeping in mind the underlying global color and Q icharge invariance, The 1PI-ness is of course coming from the fact that we worked with the 1PI generating functional . The limit d → 4 is implicitly understood. In momentum space, Eq. (72) can be reformulated as a condition on the (1PI) zero-momentum correlation function: Specifically, parameterizing the 1PI correlation function as we get from (73) at least when assuming that F 2 ( p 2 ) does not develop a dynamical pole at zero momentum. That the latter would be rather unlikely has been argued for by a Dyson-Schwinger analysis in [93].

Explicit one-loop analysis
It is instructive to check if the the boundary condition for the ghost propagator is indeed satisfied at the first order in the loop expansion. For this, we will need the vacuum energy and its behavior with respect to γ 2 andB. With this aim in mind, we only need the quadratic terms of (35) in order to obtain the vacuum energy and the ghost propagator. As some renormalization scheme will be used, the distinction between the bare and renormalized quantities will be explicitly written down. As usual the bare quantities will be identified by a subscript zero: as φ 0 for denoting fields and λ 0 for denoting parameters. There are no specific labels for renormalized fields and parameters. The partition function accounting only for the quadratic terms of the proposed action can be recast in where Q ab μν = When the limit α → 0 is taken at the end of a computation, the Landau gauge is recovered. Therefore, as the (bare) vacuum energy is defined by in the general case, we are able to find Tr ln Q ab μν + Tr ln p 2 , which gives For the ghost propagator, see Fig. 2, we need just to calculate the ghost form factor σ (0) , as can be seen form (21)- (23), keeping in mind that Then we have which can be reduced to Making use of MS renormalization scheme after dimensional regularization, with d = 4 − ε (ε → 0) and with the result (48), we are led to the following renormalized quantities: for the vacuum energy, and for the ghost form factor, upon setting λ 4 = 2g 2 Nβ. In order to evaluate (86) we need to fix the value of λ 2 (∼ √ β), which is done by solving the gap equation, leading to the following vacuum energy and ghost form factor, respectively, and Therefore, the boundary condition over the ghost propagator at first-loop order was explicitly obtained from the proposed action (35). Interestingly enough, the second derivative at the critical value is negative, meaning that we are dealing with a local maximum rather than minimum, putting in a different perspective the comments made below (28). Notice that the general argumentation made there and the explicit one-loop verification are not necessarily at odds with each other. An important subtlety not taken into account below (28) is, besides that in practice we work in a formal series expansion, one must renormalize, which means infinities are subtracted. It is immediate to realize that a positive infinity can become negative after the renormalization procedure. The derivation of the action and gap equation must be understood at the formal and bare level, in which case there is no problem with negative vari- The gap equation (87) can be explicitly solved for by summing the potentially large logarithms. This is achieved by setting μ 2 = λ * 2 (corresponding to use the renormalization group invariance of the effective action), giving where the one-loop coefficient of the β-function reads β 0 = Having found the expression for the vacuum energy in terms of the parameterB, one might wonder if it would be possible to find a specific value forB by using it as a variational parameter. In the CJT formalism [94], the two-point functions are to be determined by minimizing the effective action w.r.t. those. 12 However, this frequently amounts to a tremendously difficult task, in which case it can be fortuitous to model the propagators in terms of a (few) parameter(s), leading to algebraic equations for these parameters from the minimization of the effective action. From this perspective, we can indeed employB as a variational parameter associated to a specific ghost propagator and discuss whether somê B minimizes the corresponding vacuum functional.
In a one-loop approximation, given the result (92), it is immediately clear that ∂ E ∂B = 0 has no sensible solutions in terms ofB. This is not a coincidence, as we can provide an exact argument valid at any order. Writing the vacuum functional as we need to solve, for each value ofB, The vacuum energy, E(λ * 2 ), must then depend minimally on B. The condition can be written as Upon using the supplementary condition (94), the expression (95) reduces to requiring that λ * 2 = 0, which is not allowed, otherwise the gauge field region of integration will not be restricted to the first Gribov region and, thus, the ambiguity problem in gauge fixing will be present. This means that using our formalism, there is no optimal value forB to be found that would minimize the vacuum energy, at least when restricting the analysis to a specific order in perturbation theory.

Discussion
In the first part of this paper, we have tried to take into account at the level of the path integration the recently derived Cucchieri-Mendes bounds on the ghost propagator in the presence of an external gauge field that belongs to the Gribov region . Our result indicates that this bound might not leave its footprints in the continuum restriction of the gauge field path integral, since the integral gets its main contribution from gauge fields close to the boundary where the (stricter) bound of Cucchieri-Mendes is saturated. Our result is based on an infinite-volume continuum formulation, so we cannot say much about what happens exactly when a genuine discrete setting (as on a lattice, the setting of [43]) would be used, e.g. how "fast" the boundary of the Gribov region is approached or how this would depend on a variable lattice size/volume.
In the second part of the paper, we have provided a positive answer to the query put forward by Maas [45,46] by constructing an action principle that allows one to give a prescribed value to the zero-momentum ghost form factor and this without jeopardizing the renormalizability. We have also given a formal proof, based on the Ward identities of the theory, that the boundary condition is met. One issue we did not touch upon is that we did not show that our implementation of the restriction corresponds to a stable theory. Likely, following [8][9][10][11], the vacuum will be unstable against the condensation of d = 2 operators which will drastically effect the properties of e.g. the propagators, given the underlying vacuum will get nonperturbatively changed. If this happens, the Ward identities of the new theory will be different, and the proof that the boundary condition is realized, will no longer apply. Said otherwise, the ghost form factor at zero momentum, g(0), will attain a value that will be not predetermined, but needs to be computed in one or another approximation. This scenario would correspond to a quantum modification of the fact that the path integral is geometrically dominated by configurations near the boundary ∂ of the Gribov region.
An important ingredient in the refinement of Gribov-Zwanziger like theories is the condensation of the d = 2 operator ϕ ab μ ϕ ab μ − ω ab μ ω ab μ = −s(ω ab μ ϕ ab μ ). This operator can be coupled to the action (43), via the addition of − d d x J (ϕ ab μ ϕ ab μ − ω ab μ ω ab μ ) with J a local BRST invariant source, s J = 0. The Ward identities used will thus at most get modified by linear breakings in J , so they remain useful at the quantum level. The main obstacle, however, is that we lose the connection (60) between the Faddeev-Popov ghost propagator and the auxiliary Gribov-Zwanziger ghost propagator, since the latter acquires a dynamical mass due to J (more precisely, due to the ensuing condensation; see [8][9][10]). So, even if we would be able to prove something about the ωω propagator at zero momentum, we do not longer have a connection to the propagator of interest, cc . Also in functional formalisms, a similar caveat might interfere. One can write down the quantum (Dyson-Schwinger) equations of motion based on the action (33). Since the Ward identities should in principle be obeyed by the nonperturbative n-point functions, 13 the boundary condition of the ghost propagator should remain valid. Though, if composite operators, as ϕ ab μ ϕ ab μ − ω ab μ ω ab μ can condense, their dynamics can be included in the functional formalism as well, e.g. by applying the CJT method [94]. Similarly, the Ward identities of the CJT action will be adapted, changing the conclusion about the ghost boundary condition.
Lastly, an important feature of our formalism, completely analogous to the standard Gribov-Zwanziger formalism, is that it comes with a soft breaking of the BRST. Indeed, taking for instance the s-variation of the action (33), we get sS = d 4 x β * g f abc D am μ c m ϕ bc μ + ϕ bc μ − β * g f abc A a μ ω bc μ (97) which is clearly nonzero if β * = 0. In retrospect, this also indicates we cannot giveB the same meaning as a genuine gauge parameter. Clearly, physical quantities will depend on it. A first explicit example is the vacuum energy that varies withB. If we define physical operators as the quantum extensions of the classical gauge invariant operators (see e.g. [95]), their expectation values will in general depend onB. First of all,B is not coupled to a BRST-exact expression 14 and even if it would be, the BRST symmetry is broken, so the standard argument that the expectation value of BRST-exact operators nullifies would anyhow no longer apply. 15 As the BRST breaking is proportional to a lower dimensional operator, it is a soft breaking and hence controllable at the UV level. This is at the core of the renormalization properties of the GZ-like theories. The precise physical consequences of such a BRST breaking are not fully understood yet [96], despite a series of various recent efforts [97][98][99][100][101][102].
Here, we only wish to point out that in a recent numerical effort, further lattice backup has been provided in favor of the BRST breaking by a restriction to the first Gribov region [103]. More work is under way concerning the search for a (lattice verifiable) signal of the BRST breaking [104,105].
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited. Funded by SCOAP 3 / License Version CC BY 4.0.