Stochastic renormalization group and gradient flow

A non-perturbative and continuous definition of RG transformations as stochastic processes is proposed, inspired by the observation that the functional RG equations for effective Boltzmann factors may be interpreted as Fokker-Planck equations. The result implies a new approach to Monte Carlo RG that is amenable to lattice simulation. Long-distance correlations of the effective theory are shown to approach gradient-flowed correlations, which are simpler to measure. The Markov property of the stochastic RG transformation implies an RG scaling formula which allows for the measurement of anomalous dimensions when transcribed into gradient flow expectation values.


Introduction
There has been much recent work on the subject of how gradient flow (GF) [1,2] is related to the renormalization group (RG), due to the characteristic smoothing properties of GF resembling the high-mode elimination aspect of RG. Inspired by this resemblance, work has been done on the lattice to use gradient flow to define a continuous blocking transformation with which anomalous dimensions have been computed [3,4], with encouraging results. On the analytic side, work has been done [5][6][7][8][9] connecting GF to the framework of functional (or exact) RG (FRG), which is a method by which one defines RG transformations nonperturbatively and continuously in the context of continuum field theory [10][11][12][13]. 1 In particular, it has been noted that certain definitions of a GF effective action lead to a kind of Langevin equation [8], and most recently, that the connected n-point functions of a particular FRG effective theory are equal to the GF observables up to proportionality [9].
In this work, we will contribute to these discussions by demonstrating the equivalence of certain kinds of FRG transformations with a class of stochastic (Markov) processes on field space. 2 It has been noted before [19][20][21] that the functional RG equations for effective actions, when written in terms of effective Boltzmann weights, are of the form of a Fokker-Planck (FP) equation, whose solution is therefore a probability distribution over effective fields. Taking this observation seriously, and recalling that Fokker-Planck distributions can be thought of as being generated by a Langevin equation on the degrees of freedom appearing in the FP distribution, one may ask what kinds of Langevin equation generate the FRG effective actions. In what follows, we will define an RG transformation by a particularly simple (linear) choice of Langevin equation, and show by direct calculation JHEP01(2020)172 that the transition functions resemble the constraint functionals found in the literature of FRG. The effective action for the specific case of φ 4 theory in three dimensions will then be discussed, and the existence of a nontrivial IR fixed point will be checked to 1-loop order in perturbation theory. It will therefore become apparent that although the stationary distribution of the FP equation would be expected to be gaussian, a simple rescaling of variables allows for an interacting fixed point solution. 3 The equivalence we discuss here is a formulation of the Monte Carlo Renormalization Group (MCRG) principle for FRG. Recall that the kind of MCRG discussed by Swendsen [22] in the 1980's provided a prescription for computing observables in an effective theory by computing blocked observables in a bare theory, that is, without having to know the effective action. A similar property will be found for the stochastic RG transformation, namely, that effective observables may be computed from the stochastic observables generated by the Langevin equation, whose initial condition is the bare field. The MCRG property will be valid for both lattice and continuum theories alike, thereby suggesting the possibility of computing general observables in an effective theory on the lattice by integrating a Langevin equation on top of the ensemble generated in the MCMC simulation of the corresponding bare theory.
The relationship to gradient flow will then follow from an observation made by Wilson and Kogut [11], and recently connected to gradient flow by Sonoda and Suzuki [9]. In the context of the stochastic RG transformation, it follows from the MCRG equivalence that the connected expectation values of an FRG effective theory are equal to gradient-flowed expectations up to additive corrections that depend on the choice of Langevin equation, and which decay exponentially at large distances. This relationship implies that the measurement of gradient-flowed quantities is sufficient for the determination of long-distance critical properties of the theory, in much the same way as spin-blocked observables at large distances, avoiding the necessity of performing a full Langevin equation simulation.
A virtue of the characterization of FRG in terms of stochastic processes is that the properties of the Langevin equation guarantee certain traditionally desired properties of an FRG transformation: a composition law for repeated applications of the transformation, a correct initial condition for the effective theory, and a natural characterization of the fixed points of the transformation. Moreover, that the effective Boltzmann factor satisfies a FP equation implies that observables of the effective theory satisfy a similar equation involving the generator of the Markov process. An analysis of this equation for discrete, small time steps leads to the stochastic RG instantiation of usual RG scaling laws of correlations of the fundamental field, as well as of composite operators built from it. In particular, by virtue of the stochastic MCRG equivalence, one is led to correlator ratio formulae of the sort described in [3,4], implying a method for measuring anomalous dimensions of scaling operators close to a critical fixed point.
In what follows, the stochastic RG transformation is first defined and then shown to be equivalent to an FRG transformation in section 2. In section 3, the effective action is JHEP01(2020)172 analyzed in detail with perturbation theory, without recourse to some of the more traditional methods of FRG that may be unfamiliar to the lattice community, as the results are amenable to lattice simulation. Section 4 describes how correlator scaling formulae arise in the stochastic framework, and how they relate to gradient flow observables, which may again be implemented on the lattice. In section 5, we summarize the results and describe an avenue for future work.

Stochastic processes and FRG
Here we discuss the general framework for stochastic RG. The RG transformation will be defined by a Langevin equation on the degrees of freedom of a field theory. The simplicity of the equation will allow for an explicit calculation of the probability distribution which it generates, and the functional form of the distribution will entail an equivalence to conventional FRG transformations. A brief consideration of the observables generated by the stochastic process will lead to the MCRG equivalence between the effective theory and the stochastic observables. Lastly, we will comment on the pitfalls of a seemingly simpler definition of the effective theory.
The Langevin equation. We will define an RG transformation by a stochastic process φ t on field space over R d determined by a Langevin equation (LE) of the form where ω(p) is positive for p > 0 and ω(0) ≥ 0, e.g. ω(p) = p 2 , where p 2 := p 2 . 4 The "time" t in this equation does not denote physical time, but rather an "RG time" which we will call flow time, or simply time. The noise η t (p) is chosen to be gaussian-distributed according to the measure where the notation (φ, M χ) denotes a quadratic form, written variously as 5 3) The cutoff function K 0 (p) suppresses noise momentum modes greater than Λ 0 , e.g. K 0 (p) = e −p 2 /Λ 2 0 under Schwinger regularization. 6 Expectation values with respect to the noise distribution of functions O(η) are defined by

JHEP01(2020)172
The first two moments of µ 0 are then Later we will take the initial condition φ 0 = ϕ to be distributed according to a measure dρ 0 (ϕ) corresponding to the bare theory of interest, the cutoff of which is chosen to be Λ 0 . Hence, the cutoff for the noise is chosen to match the cutoff of the bare theory. Turning back to eq. (2.2), the constant c(Λ 0 , Ω) is chosen to normalize dµ 0 to unity, Ω is the (dimensionless) variance of the noise, and I ⊂ R is an arbitrary time interval large enough to include all desired times. In position space, the Langevin equation takes the form of a stochastic heat equation For the case ω(p) = p 2 , one has (ωφ)(x) = −∆φ(x) = −∂ µ ∂ µ φ(x). In position space, therefore, we see that the equation becomes a stochastic partial differential equation.
The form of the momentum space equation above is a simple field-theoretic generalization of the well-known Ornstein-Uhlenbeck process (i.e. damped Brownian motion) q t with Langevin equation and solution [17], respectively, where η t is gaussian white noise, so it is quite simple to find the solution. One treats the noise term like a non-homogeneous part of the equation, finding where f t (p) is a generalized momentum space heat kernel of the form In position space, one finds (2.10) We will sometimes denote the solution's dependence on initial condition and noise by φ t [ϕ; η]. The first term on the right-hand side implies that the mean of φ t (x) satisfies the free gradient flow equation, i.e. "heat" equation, corresponding to the differential operator ω.
The Fokker-Planck distribution. With the explicit solution in-hand, one can compute the probability distribution of fields φ at time t given ϕ at t = 0. We say that the Langevin equation generates a Fokker-Planck (FP) distribution P (φ, t; ϕ, 0) defined by

JHEP01(2020)172
From the definition of noise expectations, we then find Substituting in the explicit solution for φ t , the integrand becomes the constant C involving times s > t, which divide out of any noise averages and will now be dropped. The noise integral over relevant η t 's is a standard gaussian integral, which yields (2.14) Next, note that the s-integral (which does not care about λ or K 0 ) produces a kernel which in momentum space is given by a diagonal matrix, (2.16) We will sometimes denote A −1 t by B t ; the inverse exists by virtue of the restrictions on ω(p). The remaining λ-integral is also gaussian, and evaluates to Here we note that similar functionals to this one are common to several formulations of FRG [11,13,23]. We will call such a functional a gaussian constraint functional or a transition function (when emphasizing its probabilistic interpretation). In momentum space, the exponent is explicitly One observes that the mean of the field φ is set to the flowed field f t (p)ϕ(p) within a functional variance determined by A t (p). Thus the effect of the stochastic RG transformation is to produce a low-mode fluctuating field, in the sense that the mean value of modes of φ with p 2 ≫ 1/t are exponentially suppressed. This suggests that the effective cutoff of the resulting theory is roughly Λ t ∼ 1/ √ t ; a more precise identification will be made later.

JHEP01(2020)172
For reasons explained in the next subsection, we may write the transition function as P t (φ, ϕ) rather than P (φ, t; ϕ, 0), and we will sometimes suppress the initial condition by writing P t (φ). The transition function is a Green function for the Fokker-Planck equation 7 where the drift B and diffusion matrix Σ are defined by [16] B(φ, t) = lim With the explicit solution eq. (2.17), we compute If the initial condition ϕ is distributed according to a measure dρ 0 (ϕ) = e −S 0 (ϕ) Dϕ corresponding to a bare theory, then the effective distribution also satisfies the FP equation, with initial condition ρ 0 (ϕ). For the specific choice eq. (2.1) of Langevin equation above, we find where we have set Ω = 1, and ∆ ω = K 0 ω −1 is a regularized propagator. The drift term (ωφ t )(x) may be regarded as the functional derivative of what we might call a "flow action"Ŝ Similar equations are common in the FRG literature, where they are sometimes referred to as linear FRG equations or generalized heat equations [15]. Of course, by writing ρ t = e −St and letting dρ 0 (ϕ) = e −S 0 (ϕ) Dϕ, one recovers functional PDEs for the effective action S t (φ) given some bare action S 0 (ϕ), similar to the Polchinski equation.

JHEP01(2020)172
There are many possibilities for how to generalize the scheme presented above. First, one could choose a different distribution for the noise, perhaps even a non-gaussian one. Second, one could generalize the flow action to be arbitrarily complicated in φ, thereby making the Langevin equation non-linear, but these will generate FP distributions which are more difficult to calculate, and it is unclear what is gained by doing so, especially because we will find that the linear equation is sufficient to define a proper RG transformation. For theories whose field variables are in compact spaces, or theories with local symmetries, however, one will need non-linear LEs to ensure that the flow preserves the symmetry; such equations will likely resemble those found in the context of stochastic quantization [18,24].
Further properties and MCRG. Although the distribution above has the same form as the constraint functionals found in the FRG literature, a notable difference here is that the kernel B t is determined by the associated Langevin equation having a fixed relation to ω, the choice of drift. The initial condition for the transition function, P 0 (φ, ϕ) = δ(φ − ϕ), is guaranteed by the fact that it is generated by a LE with initial condition ϕ. As a distribution, it is furthermore normalized such that for all t ≥ 0, and in particular, the integral is independent of the field ϕ. These conditions allow one to define the effective theory in a more conventional way by inserting unity into the partition function Z of the bare theory as thereby defining a Boltzmann weight of effective (low-mode) fields and the partition function remains invariant. The stochastic process generated by a Langevin equation is a Markov process, so that future states depend only on the present state, so long as the noise at different times are uncorrelated. This kind of feature was desirable at least in Wilson's philosophy of RG, where any particular blocking step could be carried out by knowing only the previous step. In terms of the abstract distribution P this implies, ∀ t > s ≥ 0, By considering time-homogeneous Langevin equations (i.e. no explicit t-dependence in the LE or the noise variance), the transition function depends only on the difference t − s, and we can write P (φ, t; χ, s) = P t−s (φ, χ). 8 This property may also be directly computed from the definition, eq. (2.11), suitably modified to have the initial condition φ t→s = χ. It follows JHEP01(2020)172 that the set {P t : t ≥ 0} form a semigroup of operators and may be written in terms of a generator L as P t = e tL [16]. We will discuss L in the last section. For now we simply note that L is the adjoint of the functional differential operator appearing in the FP equation.
Next, consider the usual definition of the expectation value of an operator O in the effective theory, By inserting the definition eq. (2.30), and noting that where φ t [ϕ; η] denotes the solution of the LE, one readily obtains the equality This formula states the equivalence of a low-mode FRG effective theory (in the Polchinski sense, i.e., no rescaling is yet performed) and a double expectation value over the bare fields and the random noise. Since the right-hand side may be calculated without knowledge of the effective action, it further constitutes a generalization of MCRG to FRG for all observables. Notice that there are just as many degrees of freedom φ as there are ϕ (this is especially clear on the lattice).
In the next section, we will explore various properties of the effective action S t (φ) defined above. First, however, one might wonder why the noise average is necessary in eq. (2.34), when compared with the corresponding statement for a spin-blocked theory [22], where B b denotes the blocking operator. This is perhaps clarified by the fact that when spin-blocking, there are fewer blocked spins than bare spins, so the blocked expectation values really involve an integration over "extra" degrees of freedom, from the perspective of the effective theory; here the role is played by noise. If one were to choose a blocked lattice of the same size as the original, so that the bare Boltzmann factor were integrated against a delta functional over the whole lattice, the resulting blocked action would be trivial, namely, S 0 (B −1 b φ). Likewise in the continuum, it has long been assumed [13] that a pure δ-function constraint functional is not sufficient to define a non-trivial Wilson action for continuum FRG. Let us elaborate on this. One might have wanted to define the Wilson action through where f t ϕ is the solution of a gradient flow equation such as or some generalization thereof. The problem with this definition is that it generates a trivial effective action, in the sense to be described. In momentum space, the solution is simply (f t ϕ)(p) = e −p 2 t ϕ(p), so one can do a linear change of variables in eq. (2.36) and compute

JHEP01(2020)172
Hence, the couplings of the new action are exactly computable, and because their dependence on t is trivially determined by how many powers of φ and p 2 appear in each term, without involving any loop corrections, one verifies that the resulting "Wilson action" is not acceptable. Lastly, we remark that the inadequacy of the definition eq. (2.36) does not mean that the observables computed from gradient-flowed fields are not useful for studying certain RG properties of the system. At the end of the next section, in particular, we will describe how gradient-flowed observables are sufficient for studying the long-distance properties of the theory.

The effective theory
In what follows, the nontriviality of the effective action determined by the stochastic RG transformation will be discussed for the example case of φ 4 3 theory. We will show that by a rescaling of variables, the existence of an interacting IR fixed point of the transformation becomes possible. From the point of view of stochastic processes, the result implies that, by merely rescaling degrees of freedom appropriately, the stationary solutions of the Fokker-Planck equation may be non-gaussian even though the Langevin equation is linear. Lastly, the correlation functions of the effective theory will be related to gradient-flowed correlations.
The effective action. That the EFT defined by a gaussian constraint functional for Ω > 0 is nontrivial can be understood as follows. One may insert the expression eq. (2.17) for the transition function into the definition of the effective action eq. (2.30), and then expand out the exponent of P t (φ, ϕ); the part proportional to ϕ 2 modifies the bare theory propagator, and the part linear in ϕ acts as a source term with J = f t B t φ. The remaining φ 2 term contributes to the φ propagator. The result is a relation between effective and bare actions: where F t is due to the normalization of P t (φ, ϕ), and W Expanding the generator term in φ yields a formula which allows for the systematic computation of effective vertices, where the set of n momenta p i is denoted by p. It is then apparent that the effective action for any finite t is indeed non-trivial, since the vertices of S t contain the dynamics of the bare theory via the [W

JHEP01(2020)172
The scale Λ t of the effective theory may be determined by looking at the effective 2-point function at tree level, after isolating the quadratic part of S t (φ): 4) where the inverse cutoff a 0 = Λ −1 0 has been used, and we recall that A t is given by eq. (2.16). In position space, the first term decays rapidly at large distances with respect to the first. The second term is a Schwinger-regularized propagator; we therefore observe that the effective cutoff induced by the stochastic RG transformation is where the dimensionless flow time τ = Λ 2 0 t has been introduced. We will take another look at the effective correlation functions and the function A t in the next section.
We can make sense of the odd-looking factors of f t and B t that appear in the effective action as follows. First, the additive h t in the propagator ∆ which means that as t increases, more of the bare field modes get integrated out. For example, in the case of φ 4 d theory (discussed in more detail in the next subsection), the momentum-independent part of the 1-loop contribution to the amputated effective 4-point vertex in We observe that the presence of h t in the denominator, combined with the multiplicative bare cutoff function, effectively restricts the domain of integration to p ∈ [Λ t , Λ 0 ], similarly to what one would have found in a standard (sharp) high-mode elimination RG step Λ 0 → Λ, where the domain of the integral would be p ∈ [Λ, Λ 0 ] (see [14] for details). Next, note that the argument B t f t φ of W for each factor of φ(p). Since the vertices [W (t) 0 ] (n) are connected n-point functions, which have n factors of external propagators ∆ (t) 0 (p i ) ∝ K 0 (p i ) attached to them, we see that the effective vertices decay like f t (p i ) = e −p 2 i t and therefore strongly suppress the p i ≫ Λ t contribution of the n-point functions. Moreover, the leading momentum behavior of the products of B t f t with ∆ (t) 0 demonstrates that they are, in a sense, amputated, 9) 10 We choose to consider the mass term in S0 as part of the interaction V0(φ) from now on.

JHEP01(2020)172
in a manner similar to what one finds with sharp high-mode elimination. Thus, in sum, the effective vertices are amputated connected n-point functions to leading order in external momenta, which are heavily damped in the UV ( p ≫ Λ t ), and whose loop corrections effectively involve domains of integration p ∈ [Λ t , Λ 0 ]. It is also noteworthy that the external momemtum dependence implied by the amputation formula above goes like powers of p 2 /Λ 2 t , for Λ −2 t ≫ Λ −2 0 , as one expects from the general philosophy of effective field theory.
Flow of the couplings and rescaling. At first sight it appears that the effective action, written as an integration against the bare density, eq. (2.30), has a gaussian infinite flow time limit, as where B ∞ (p) = 2K −1 0 (p)ω(p), due to the exponential decay of f t . Indeed, it is well-known that the Ornstein-Uhlenbeck process has a gaussian stationary distribution. And yet, we know that the stationary distribution of an RG transformation should correspond to a fixed point theory, which in many cases is interacting.
To understand why the gaussian limit is not obtained, note that the properties of the drift ω imply that the zero mode of the bare field is not suppressed (see eq. (2.18)); only its variance changes. Since the zero-mode theory is not gaussian, in general, the flowed distribution will also have a non-gaussian zero mode effective action, implying that the long-distance physics is non-trivial. This would suggest, however, that the infinite-time degrees of freedom do not propagate. To further clarify the situation, we will look at the flow of the most relevant effective couplings as the RG time t increases, and then we will address the role of rescaling of degrees of freedom, finding that the limit of the rescaled effective action differs from the gaussian limit, eq. (3.10), obtained above.
As an example of where an IR fixed point is known to exist by other means, we choose to analyze φ 4 3 theory perturbatively, treating the mass term also as a perturbation. Denoting the coefficient of p 2 in the quadratic part of S t (φ) by c t , and the momentum-independent parts of the quadratic and quartic terms, respectively, by m 2 t , λ t , we find (3.13) at 1-loop order, where the loop integrals are given by

JHEP01(2020)172
and Ω d = S d−1 /(2π) d . The first integral is superificially divergent, but for a 0 > 0, it has a finite t → ∞ limit, and one may compute (3.16) where α 1 ≈ 0.379064 for d = 3. The second integral C d 0 (t) exists even for a 0 = 0, and its time derivative is (3.17) where δ > 0 and α 2 ≈ 0.594978 for d = 3. 11 Hence, to 1-loop order, we find for the derivatives of effective couplings These expressions do not clearly indicate any nontrivial fixed-point behavior at this order in perturbation theory. To proceed further, one must cast the flow equations in terms of rescaled dimensionless quantities, as one usually does to study RG flows. We will find below that such quantities naturally arise after a passive momentum and field redefinition. Now we introduce dimensionless rescaled variables using the effective scale Λ t to give dimension [25]. Dimensionless momentap are defined by setting (3.20) The kinetic term in the effective action therefore becomes This motivates a change of field variables φ → Φ, where Φ is dimensionless: with d φ = −d/2 − 1 being the canonical mass dimension of φ in momentum space. After doing so, the kinetic term is of the canonical form at 1-loop order, while the mass and quartic terms pick up factors of Λ t which define dimensionless couplings r t , u t by (3.24) 11 Recall that φ 4 3 theory is superrenormalizable, having only two superficially divergent diagrams: the snail and the sunset diagrams.

JHEP01(2020)172
We note that these rescalings are all quite familiar when written in terms of the scale factor (3.25) reflecting that the mass and the 4-point coupling are relevant at the gaussian fixed point (hats denote quantities rendered dimensionless with Λ 0 ). Next, we compute the RG flow equations which describe how the dimensionless variables change with the flow time t. In the expression for the derivatives above, one replaces m 2 0 and λ 0 by m 2 t and λ t , valid at this order in perturbation theory. The derivatives of the dimensionless couplings with respect to b t are then As b t → ∞, the second equation has a nontrivial stationary solution u * , and implies a corresponding critical value r * , which for d = 3 are given, at 1-loop order, by u * ≈ 8.46, r * ≈ −0.12. Linearizing about the fixed point and computing the left-eigenvalues y i of the stability matrix, one finds that y 2 = 2, y 4 = −1, which are crude approximations to the precisely-known values y 2 = 1.58831(76), y 4 = −0.845(10) at the Wilson-Fisher fixed point [26]. 12 Thus we observe the existence of an IR fixed point in perturbation theory, as we expect in φ 4 3 theory. If we worked to O(λ 2 0 ), we would find, as usual, the necessity of including a wave function renormalization factor ζ t = b γ φ t to normalize the kinetic term coefficient c t := 1, so that eq. (3.22) is replaced by which modifies the scaling dimension ∆ φ of φ to include an anomalous dimension γ φ = O(u 2 t ), which has a non-zero t → ∞ limit. As an alternative to perturbation theory, one could instead reformulate the Fokker-Planck equation, eq. (2.25), in terms of a logarithmic b-derivative and the dimensionless rescaled fields Φ according to eq. (3.28). The result is a functional PDE which is related to those considered in [15] in the case of a free seed action, and the search for fixed points may be attempted along similar lines. Such an analysis will be pursued in future work.
The existence of an IR fixed point for the dimensionless, rescaled effective action implies that the expectation values of rescaled effective observables (3.29) 12 The values at this loop order from sharp high-mode elimination combined with epsilon expansion in [14] are y2 = 1.67, y4 = −1, which, however, treats the mass non-perturbatively. As a step in that direction, extending the analysis above to include terms of order ru yields modified exponents y2 ≈ 1.63, y4 ≈ −1.33; we stress that our formalism is not expected to do any better than the epsilon expansion.

JHEP01(2020)172
can have nontrivial infinite flow time limits. In terms of the stochastic RG transformation of section 2, this is written as Since the stochastic RG transformation was generated by a linear Langevin equation, it may be surprising to find that by simply rescaling the correlation functions, one can arrive at a non-gaussian stationary distribution of the Fokker-Planck equation. We also note that the quantities Λ −d φ 0 φ t correspond directly to the dimensionless field variables one would work with on the lattice.

Correlation functions.
Wilson and Kogut demonstrated a relation between effective n-point functions and the bare n-point functions in their FRG scheme [11]. Recently, the authors of [9] have noted that this relation is an equivalence between effective correlations and gradient-flowed correlations. In the context of the stochastic approach here, the corresponding relation is given in terms of generators W (J) of connected Green functions by where A t is given by (eq. (2.15)). This relation is simply derived by shifting φ ′ = φ − f t ϕ in eq. (2.30) and using the definition of the generator, with Z 0 being the free theory partition function [14,17]. It follows that the 2-point functions of S t and S 0 are related by 0 (x ′ , y ′ ), (3.33) and higher n-points are related by The function A t (x, y) is determined by the choice of Langevin equation. In the case ω(p) = p 2 , for example, one finds an expression in terms of upper incomplete gamma functions where the inverse effective cutoff a t = Λ −1 t was used. For large separations z ≫ a t , this quantity decays as a gaussian. The effective propagator is therefore equal to the gradientflowed propagator asymptotically in x − y (so long as the correlation length ξ ≫ a t ): Note also that if no cutoff function were imposed on the gaussian noise η t , there would be a short-distance singularity in A t (z, 0), regardless of whether the bare theory was regulated.

JHEP01(2020)172
The connected correlators of composite operators also are simply related to their gradient flow counterparts, except we must be careful to define the generators of their m-point functions properly. For example, in the case of O = φ 2 , the generator of correlators W (0,m) t is defined by [17,27] e Wt(L) : By inserting the definition of S t (φ), one may compute the relation between effective and bare generators exactly, as the integrals involved are gaussian. We note, however, that given the simplicity of the Langevin equation, we can just as easily use the explicit solution φ t [ϕ; η] to compute expectations. For example, the 2-point correlator of the φ 2 composite operator is which again shows the asymptotic equivalence of effective and gradient-flowed quantities.
In sum, what we have found is that the correlation functions of composite operators in the effective theory are equal to the gradient-flowed correlators, up to terms proportional to powers of A t (x − y), which itself is determined by the drift term ω. Thus, so long as the drift is chosen to imply an exponentially decaying A t , the flowed observables are sufficient to determine the long-distance properties of the effective theory.

Ratio formulae
The fact that the transition functional P t satisfies the Fokker-Planck equation implies that observables at finite t satisfy where the generator L of the Markov process is a linear differential operator given by For the flow we have been considering, the generator takes the form where ω is (minus) the laplacian operator. After a small timestep ǫ, then, successive observables are related by

JHEP01(2020)172
Applied to n-point functions, the formula reads 13 Writing both sides in terms of the rescaled theory variables, φ(x) ∝ Λ Motivated by the definition of scale changes b t = Λ 0 /Λ t with respect to the bare scale, we introduce the relative scale change b ǫ (t) := b t+ǫ /b t = Λ t /Λ t+ǫ . Since the rescaled positions at different scales,x andȳ, refer to the same dimensionful position x defined at the bare scale (i.e. in units of a 0 = Λ −1 0 ), it follows thatȳ = b ǫx , and we may write the previous formula as To the extent that we may neglect the O(ǫ) terms (which we justify in the appendix), we therefore find a familiar RG scaling relation, This formula is the stochastic RG analogue of a spin-blocked correlator scaling relation.
We may now derive a scaling relation for correlations with (scaling) operator insertions [21]. Consider a 1-parameter family of actions S t (θ) (which may be polynomial in Φ). n-point functions of Φ with insertions of V O in the rescaled effective theory may be written as . (4.11) Now consider a small time step ǫ as before. If V O is an operator in the rescaled action whose coefficient transforms as g t+ǫ = b yg ǫ g t (obtained by diagonalizing the linearized flow equations for the couplings), and if we introduce θ as a perturbation of S t+ǫ , then eq. (4.10) together with the previous equation imply (4.12) The minus sign before y g arises because, with respect to θ, which is the coupling at t + ǫ, the previous step would have coupling b (4.13) 13 This formula corresponds to the spin-blocking equation where B b ϕ(m) = b −d ε ϕ(m + ε) is the blocking operator, ε ≤ b, and ∆m stands for the differences |mi − mj| ≫ b ∀i = j. This follows from the usual correlator scaling relations of rescaled spins ϕ b (n/b) := b ∆ φ (B b ϕ)(n), ϕ b (m1/b) · · · ϕ b (mn/b) S b = b n∆ φ ϕ(m1) · · · ϕ(mn) S + O(ε/∆m), (4.6) that one finds in textbooks, e.g. [27,28].

JHEP01(2020)172
In Writing the rescaled variables in eq. (4.13) back in terms of φ, and by using the MCRG equivalence between expectations of φ and f t ϕ, one finds that the factors of b n∆ φ ǫ cancel, and the remaining gradient-flowed quantities satisfy a ratio formula:

Conclusion
In this work, it has been demonstrated that a class of stochastic processes on field space defined by a linear Langevin equation may be used to define an FRG transformation on the degrees of freedom of a given bare theory. By suitably rescaling the effective degrees of freedom, the Fokker-Planck distribution generated by the Langevin equation can approach a non-gaussian stationary distribution, in accordance with the requirement that an RG transformation should possibly have a nontrivial fixed point, so long as the dynamics of the theory allows it; this was explicitly checked in the case of φ 4 3 theory. By equating the observables of the effective theory with stochastic observables, a form of MCRG for exact RG has been established, implying the possibility of directly simulating such effective theories on the lattice by supplementing an ensemble average by the integration of a Langevin equation. By further analyzing the properties of effective theory observables, it was found that gradient-flowed correlators are asymptotically (in operator-separation) equal to their effective theory counterparts, and therefore the sufficiency of measuring gradient-flowed quantities at large distances to determine long-distance properties of the effective theory was established. Lastly, the Markov property of the stochastic process was used to derive a scaling formula for the ratios of gradient-flow observables with composite operator insertions, thereby implying a means of measuring anomalous dimensions of such operators.
The utility of the relation of stochastic RG to gradient flow lies in its avoidance of the necessity of a full Langevin equation simulation, subject to the requirement that the observables one measures are correlators at large distances. At short distances the presence of additive contributions from the function A t imply that the gradient flow observables are not sufficient, and one should properly simulate the full transformation. The fact that the stochastic RG transformation is continuous, together with the observation that the effective action flows towards an IRFP, then suggests the possibility of a continuous counterpart to the equations proposed in [22] which allowed for the measurement of the discrete RG stability matrix using correlations between volume-averaged operators in the action. Work in this direction is underway.