On Exact Proper Time Wilsonian RG Flows

We discuss the possibility to define exact RG equations for a UV regulated Wilsonian action based on a proper time (PT) regulator function. We start from a functional mapping which shows how each particular flow equation (and RG scheme) is associated to infinitely many scale dependent field redefinitions, which are related to specific coarse-graining procedures. On specializing to a sub-family of one parameter PT regulators we briefly analyze few results for the Ising Universality class in three dimensions, obtained within a second order truncation in the derivative expansion of the Wilsonian action.

the physical predictions at low energy are unchanged: The subscript Λ in the measure means that momentum integrals are to be cut off in the UV at Λ. There is no unique way to define the cutoff, but all these Wilsonian RG flows can be shown to satisfy some kind of differential equation, usually called an Exact RG Equation (ERGE).
One of the oldest forms of the ERGE is due to Wegner and Houghton [2]. Better-known in the context of particle physics is the Polchinski equation [3], giving the flow of the interaction part of the action.
A different class of equations arise when we consider the generating functional of 1-particle irreducible correlators, the Effective Action (EA) Γ. In this case one introduces in the functional integral an IR cutoff, usually called k, and the functional Γ k is called the Effective Average Action (EAA) [4]. It satisfies an exact RG equation known as the Wetterich equation [5][6][7][8]. Employing various approximation schemes, these exact equations can be used to derive many results in condensed matter, statistical and particle physics. For reviews, see [9][10][11][12][13]. For applications to gauge theories see [14][15][16].
At one loop, in the Schwinger proper time (PT) representation of the effective action, one can introduce the cutoff (either UV or IR or both) in the integral over the proper time, rather than the integral over momenta [17,18]. The resulting "proper time RG equation" for the EAA is known not to be exact [19][20][21], but nevertheless has been applied to various problems from statistical physics [22,23] to gravity [24], and gives comparable results to the various forms of the ERGE. This is generally attributed to the fact that the one loop approximation becomes exact when one considers integration over infinitesimal momentum shells [2]. Recently, a PT-like equation for the Wilsonian action, rather than the EAA, has been introduced in [25]: It has been applied to issues of quantum gravity. Unlike previous PTRG equations, this one is claimed to be exact. We stress that this would not be in contrast with the previous statement for the 1PI functional (EAA) because now the equation holds for a Wilsonian action S Λ , which has to be used in the functional integral of the low momentum modes. In this paper we will examine by different means a more general family of equations which can characterize the RG flow of the Wilsonian action S Λ and, as a simple quantitative test, apply it to derive the scaling exponents of the Ising universality class.

II. WILSONIAN PTRG EQUATIONS
Consider a general family of PT flows Here s is the Schwinger proper time, and ρ k,Λ (s) is a suitably normalized regulator function depending on an IR scale k and an UV scale Λ. It goes to zero for s < 1/Λ 2 (UV regularization) and s > 1/k 2 (IR regularization), and is roughly equal to one in between. Choosing the regulator function one obtains de Alwis' equation (2). We will now discuss other choices of regulator. Let us consider the following 1-parameter family of regulators (m ≥ 0), Using the properties of the incomplete Gamma function we obtain Note that this object is actually dependent on the UV cutoff Λ only, justifying the notation (4).
We shall call this the "A-scheme". Inserting this choice of regulator in (3) and performing the Mellin transform we get the following RG equation for the Wilsonian action S Λ , Note that for m = 1 this looks like the Wetterich Equation with a massive regulator (which can define a flow for the IR regulated effective average action in low dimensionality). In the LPA approximation, the specific value m = d/2 + 1 gives essentially the same flow for the potential as the Wetterich equation with an optimized regulator. One should not be misled by these analogies, since S Λ has to be interpreted only as a Wilsonian action (to appear inside a functional integral) and not as an IR-regulated generator of the 1PI correlators [26].
Note also that for m → ∞ the scale derivative of ρ k,Λ (s) becomes a Dirac delta distribution, or equivalently, one has in (8) the representation of an exponential, so the flow equation reduces again to the one given in Eq. (2).
The cutoffs (5) only depend on s, k and Λ. It is also possible to introduce in the PT regulator some field dependence. This is related to the idea of "spectral adjustment". Let us start by considering the derivative expansion of a generic Wilsonian action S Λ (ϕ), with Here ϕ has to be slowly varying on length scales of order p −1 , where p are the momenta appearing in −✷. In equation (3), the regulator ρ(s) suppresses the part of the integral with s < 1/Λ 2 , while the exponential suppresses modes with Z Λ p 2 > 1/s. Altogether the suppression occurs for Z Λ p 2 > Λ 2 . We see that if Z Λ is sizable, the cutoff is not directly related to the spacetime scale of the fluctuation: this scale is modulated by a flowing field-dependent dynamical factor Z Λ . Let us consider instead a more "spectrally adjusted" scheme obtained using a proper time regulator ρ(Z Λ s). In this case the regulator suppresses the part of the integral with s < 1 Λ 2 Z Λ , which corresponds to a suppression of the modes with p 2 > Λ 2 . This is closer to the original intent of cutting off the modes at the sliding scale Λ. One observes that it is in the spectrally adjusted scheme that the two steps in the renormalization procedure, namely (1) coarse-graining and (2) rescaling, are tuned to each other as desired for a comparison along the flow.
If we "spectrally adjust" in this fashion the cutoff (6) we obtain We call this the "B scheme". Then inserting in (3) we arrive at the RG equation In the limit m → ∞ one gets In the preceding discussion we have assumed that the "spectral adjustment" is introduced at the level of the cutoff function ρ k,Λ . In principle, it could also be carried out at the level of the infinitesimal RG transformation (4), or (7), namely This then leads to an RG equation that is similar to (12), but without the term Λ d dΛ log Z Λ (φ). We will refer to it as the "C scheme".

III. RELATION TO FORMAL COARSE-GRAINING SCHEMES
The main goal of this Section is to investigate in a formal way if the family of flow equations Eq. (3), can be interpreted as Wilsonian flows. In general terms the coarse-graining procedure for the Wilsonian action can be defined as for some ψ Λ x [ϕ]. This equation implies that the partition function Z = [dϕ]e −S Λ [ϕ] is manifestly independent of Λ. The specific form of the quantity in brackets leads to the following general form for Wilsonian flow: We also recall that this general Wilsonian flow is associated to an infinitesimal field redefinition . Indeed starting from a given coarse-graining map ϕ → b Λ (ϕ), transforming the field ϕ 0 at the scale Λ 0 into the field ϕ at the scale Λ < Λ 0 , one can derive the following relation [13,27] It is then natural to ask whether the general flow equation (15) [3].
In this case one can directly guess the form of ψ Λ x [ϕ] to be plugged in the general formula (15): where ∆ is a suitably regulated propagator with a dot standing for the derivative w.r.t. log Λ and Σ Λ [ϕ] is given by This choice leads to the desired flow equation The same RG flow equation can be actually obtained also by other choices of ψ Λ x [ϕ], belonging to an infinite family obtained adding to the expression in Eq. (17) = 0. They correspond to different (but equivalent, in generating the flow) implementations of the coarse-graining procedure.
The Polchiski Wilsonian effective action S Λ , which satisfies the above flow equation, gets, in general, both 1PI (the second term) and 1PR (the first term) contributions. It is known in this case that only in the sharp cutoff limit, if the momenta flowing into a vertex of a 1PR term have sum below the UV cutoff Λ, then such contributions are absent [6]. Similar considerations are valid for the Wegner-Houghton Wilsonian action. Moreover the Polchinski action has a simple relation with the regulated generator of the connected Green's functions and with the effective average action [6].
Going back to the goal of this section, in order to interpret in the Wilsonian sense the general PT flow Eq. (3), we would have to rewrite it in the form given in the Eqs. (15) or (14). Thus we must look for a solution of the following functional equation Before moving to this task let us make a comment. The existence of a solution would make it possible to interpret this particular PT regulated action S Λ , as a Wilsonian action, i.e. an action which, inserted in a functional integral, not only generates the partition function Z, but also all the possible correlators (connected and not connected) with momenta below the scale Λ, i.e.
From the structure of the flow equation one notes that in general, contrary to the Polchinski action, this action gets along the flow contributions which results into 1PI non local vertices.
We stress that the relation between the PT regulated S Λ and the effective action Γ (eventually IR regulated) is not trivial and certainly not so simple as for the Polchinski Wilsonian action.

A. Construction of a general solution
Let us then ask the following question: given a certain Wilsonian RG flow is it possible to reconstruct the associated coarse-graining procedure which may be encoded in the infinitesimal Keeping in mind that the quadratic kinetic part of the Wilsonian action is defined by a UV regulated Laplacian (✷) Λ , it is convenient to define a slightly different object, which already simplifies the analysis for the free theory case as discussed in the next subsection, 1 where we have introduced the space-time 'regulated' Green's function G xy satisfying One can assume that as in any finite dimensional vector space, the vector field v x [ϕ] can be decomposed as a sum of a "gradient" part and a divergenceless part as follows Then a particular solution of Eq. (22) using Eq. (25) can be obtained solving an infinite dimensional Poisson-like equation where the metric in field space is field independent (flat geometry in field space) even if has a non trivial space-time dependence. Since the determinant of the metric is field independent one can see that the operator in field space above is really a covariant Laplacian. We expect that this generalized "elliptic" second order linear differential problem can have solutions, unique at least from the physical point of view when suitable boundary conditions are imposed.
where J · G · J = dxdy J(x)G xy J(y), and derive its solution Using this setup for our original problem we can then formally write where w x [ϕ] is an arbitrary divergenceless vector field according to Eq. (25), which again can be chosen to improve the behavior of the solution. Therefore we can see that formally, given a Wilsonian flow, one can construct a coarse-graining procedure which generates it. Moreover the coarse-graining procedure is not unique, indeed there are infinitely many. One can take eventually advantage of this freedom to make the most sensible choice of coarse-graining from the physical point of view.
One can even try to formalize this picture considering the space of Wilsonian actions S and the space of Wilsonian RG flows V, where each point p ∈ V is the vector field functional of the flow, e.g., associated to Eq. (15). Then one can consider a fiber bundle space F such that, to each point p belonging to its base V is associated a fiber related to the coarse-graining generator ψ Λ x . Like in a gauge theory an infinite set of ψ Λ x is associated to the same vector field p generating the Wilsonian RG flow.
In summary at least formal solutions of Eq. (20) can be constructed. This is true also in the spectrally adjusted cases named B and C in the end of Section II, which are the ones which make it possible to interpret a proper time coarse-graining in terms of a momentum coarse-graining in the derivative expansion. This seems to confirm that the general PT regulated flow equation (3) can represent a Wilsonian RG flow.
so that one can writẽ Using Eq. (30) we can then write the solution for the "potential" h as One has to keep in mind that a functional derivative must be taken to construct v x and the infinitesimal Wilsonian field redefinition Ψ Λ x as well, so that in the integral in Eq. (33) the singular region in the origin (inJ space) is harmless and one could replace e iJ·G − 1 2 ϕ → e iJ·G − 1 2 ϕ − 1 − iJ · G − 1 2 ϕ , given that non zero contributions in the integral inJ comes from even integrands. One can then perform the Fourier transform.
We follow here an alternative path in the computation by introducing a parameter a to be set to 1 2 at the end in the previous formal solution for h[ϕ]: and, after taking a derivative w.r.t. a, perform theJ functional integration Therefore I a can be thought of as a function of S Λ [ϕ] = 1 2 ϕ · (−✷) Λ · ϕ. Re-integrating back in a one finds where the last term is an a-independent functional. From a direct integration it turns out to be a simple constant and can be discarded. Setting a = 1/2 and ignoring also w x [ϕ] in Eq. (25) one gets We note that in this free theory the coarse-graning is, as said, a function of the free Wilsonian action, and therefore non local, however this non locality is harmless in this case.
More generally, in presence of interactions, any analysis is extremely complicated and it could be carried on only with drastic simplifications. A fortiori in this case we should not expect in general quasi locality in the action, e.g. in strongly interacting theories where bound states appear in the spectrum. In such cases the flow equation is also bound to be non-local. We note, however, that infinitely many coarse-graining schemes give the same flow and that the freedom to introduce the divergenceless vector in field space, as defined in Eq. (25) may be helpful to eliminate some pathological non-localities. Similar considerations can be applied in a quasi local regime, i.e. when the action can be written as a power series in derivatives.

IV. WORKING EXAMPLE: THE WILSON-FISHER FIXED POINT
It is interesting to apply this formalism to the determination of critical exponents for the Wilson-Fisher fixed point. Let us therefore consider the following euclidean action, which represents the leading term in a derivative expansion: We will study the flow of this action with a modified type-A regulator. In order to take into account the anomalous dimensions, we shall assume that the field does not have the standard mass dimension d/2 − 1 but rather d/2 − 1 + η/2. Then the prefactor Z Λ (φ) has dimension −η.
Accordingly, we modify the cutoffs of equations (6) and (7) to and We will call this a type-A' regulator.
Expressing the functional trace in terms of a momentum integral, the PT flow equation reads This can be evaluated by employing the derivative expansion within the functional trace and then performing the momentum integral. We will take into account all terms up to two derivatives, i.e., we will calculate the flow of Z Λ (φ) and V Λ (φ). Thus, for evaluating the functional trace, we need to commute all derivatives to the right, The fixed-point solutions are obtained by means of a multiple shooting method. In particular (see [8] for an extended discussion), a large field expansion is assumed to be valid at some fixed value of the field where the initial conditions are set, and an inward numerical integration of the fixed point equations (61)  Let us also mention the equations for the other types of coarse-graining schemes (type B and C) previously discussed. We shall derive the flow equations but postpone to another work the full numerical analysis for these schemes. We introduce a regulator, field dependent in general, of the form, cf. Eq. (6), The various classes of regulators can be distinguished in terms of the parameters p and α. For p = 0 we have a regulator of type-A while for p = 1 we have regulators of type B or C for α = 1 or α = 0, respectively.
In addition, in the type-C regulator one can replace In the full type-C case one should keep β = 1. Historically, the PT flow equations used in the literature have been derived heuristically by a simple RG-improvement of the 1-loop propertime expression, [28][29][30] and that simplified type-C scheme corresponds to setting β = 0. On the contrary, regulators of type A and B have never been used to calculate the critical exponents for the Wilson-Fisher fixed point.
The flow equations for v and z in these spectrally adjusted coarse-graining schemes are given in the Appendix in Eqs. (63) and (64) as a function of p, α and β.

V. CONCLUSIONS
We have argued that, at least at a formal level, the PTRG equation (2)

Appendix: Derivative expansion
In this appendix the main steps to obtain the flow equation in the derivative expansion are given. As this involves quite some algebra, we use the Mathematica package xAct [31,32].
However, I In a first step we split the second functional derivative into two pieces, the first contains the box operator, and the second is the remainder, This split allows us to only take into account finitely many commutators when evaluating the exponential in Eq. (42), as higher orders lie outside of our truncation. Using the Zassenhaus (Baker-Campbell-Haussdorff) formula we find where [X, Y ] n+1 = [X, [X, Y ] n ] and [X, Y ] 0 = Y . The first two exponentials can be expanded to finite order, as they contain at least one derivative of the field. For the third exponential, we perform a second split. We rewrite δS (2) [φ] as, where δS contains an actual operator,