Skip to main content
Springer logoLink to Springer
. 2020 Oct 6;21(11):3499–3574. doi: 10.1007/s00023-020-00909-1

A Supersymmetric Hierarchical Model for Weakly Disordered 3d Semimetals

Giovanni Antinucci 1, Luca Fresta 1, Marcello Porta 2,
PMCID: PMC7567744  PMID: 33088211

Abstract

In this paper, we study a hierarchical supersymmetric model for a class of gapless, three-dimensional, weakly disordered quantum systems, displaying pointlike Fermi surface and conical intersections of the energy bands in the absence of disorder. We use rigorous renormalization group methods and supersymmetry to compute the correlation functions of the system. We prove algebraic decay of the two-point correlation function, compatible with delocalization. A main technical ingredient is the multiscale analysis of massless bosonic Gaussian integrations with purely imaginary covariances, performed via iterative stationary phase expansions.

Introduction

An important conjecture in mathematical quantum mechanics is that disordered, noninteracting, 3d quantum systems display a localization/delocalization transition as a function of the disorder strength [1, 7]. The simplest model that is expected to give rise to such transition is the Anderson model, described by a random Schrödinger operator

Hω=-Δ+γVω,on2(Z3) 1.1

with -Δ the lattice Laplacian and Vω a random potential, e.g., (Vωψ)(x)=ω(x)ψ(x) with {ω(x)}xZ3 i.i.d. random variables with variance O(1).

From a mathematical viewpoint, a lot is known about this problem for strong disorder, |γ|1. There, one expects wave packets not to spread in time, and transport to be suppressed (zero conductivity). This phenomenon has been rigorously understood for general d-dimensional models starting from the seminal work [41], where a KAM-type multiscale analysis approach to localization was developed, and later via the fractional moments method [3]. See [6] for a pedagogical review of mathematical results on Anderson localization.

Instead, for small disorder much less is known from a rigorous viewpoint. In three dimensions, one expects nontrivial transport and an emergent diffusive behavior of the quantum dynamics. Unfortunately, so far no fully satisfactory rigorous result is available on this problem. Results have been obtained for tree graphs and similar structures [46, 13, 14, 40, 51, 52, 69]. The analogous problem for random matrix models is much better understood; see [32] for a review of recent results. Concerning short-ranged lattice models, important progress has been obtained in [3335], where diffusion for the Anderson model has been proven in the scaling limit, and in [27, 28], where a localization/delocalization transition for a supersymmetric effective model has been established. (See also [24] for more recent extensions.)

The starting point of [27, 28] is a mapping of the disorder-averaged correlations of the Anderson model into those of an interacting supersymmetric quantum field theory model. This mapping was first introduced in physics in [30] (see also [75], for a related approach based on the replica trick) and allows to import field-theoretic methods to study random Schrödinger operators. Let us briefly describe it. Consider a general class of random Schrödinger operators, Hω=H+γVω, with H a short-ranged lattice Schrödinger operator, on a finite sublattice Λ of Z3. Let Gω(x,y;μ-iε) be the Green’s function:

Gω(x,y;μ-iε):=δx,1Hω-μ+iεδy. 1.2

The parameter μR plays the role of chemical potential, while ε>0 introduces a regularization of the Green’s function. The relevant setting for weakly disordered metals is μσ(H) (as L). It is well known that the Green’s function can be represented as the covariance of a Gaussian Grassmann field, as follows:

iGω(x,y;μ-iε)=[xΛdψx+dψx-]e-(ψ+,Cω-1ψ-)ψx-ψy+[xΛdψx+dψx-]e-(ψ+,Cω-1ψ-), 1.3

with Cω-1:=-i(Hω-μ)+ε; the reason for the multiplication by the trivial factor i will be clear in a moment. The denominator is the determinant of the matrix Cω-1, which is a random object; as a consequence, the expression (1.3) is not very useful for the purpose of computing the disorder average.

The key remark is that the reciprocal of a determinant can be written as a complex Gaussian integral:

iGω(x,y;μ-iε)=xΛdψx+dψx-xΛdϕx+dϕx-e-(ψ+,Cω-1ψ-)e-(ϕ+,Cω-1ϕ-)ψx-ψy+. 1.4

Suppose that Vω(x)=ω(x), with {ω(x)} i.i.d. Gaussian variables with variance 1. One has, by the Hubbard–Stratonovich formula:

iEωGω(x,y;μ-iε)=D[ψ,ϕ]e-(ψ+,C-1ψ-)e-(ϕ+,C-1ϕ-)e-λx(ϕx+ϕx-+ψx+ψx-)2ψx-ψy+ 1.5

where D[ψ,ϕ]=[xΛdψx+dψx-][xΛdϕx+dϕx-], the inverse covariance is C-1 =-i(H-μ)+ε and λ=γ2/2. The same trick can be applied to rewrite the average of the product of Green’s functions, by introducing internal degrees of freedom for the fields, labeling different copies of Gω. Internal degrees of freedom for H (e.g., spin or sublattice labels) can also be taken into account in a similar way.

Equation (1.5) is an exact formula for the averaged Green’s function of the model on a finite volume. It allows to recast the problem of computing the averaged Green’s function for a random Schrödinger operator into a statistical mechanics/quantum field theory problem. The factor i allows to circumvent the fact that the operator H-μ need not be positive. Moreover, the parameter ε>0 allows to avoid singularities in the determinant at the denominator and to make sense of the complex Gaussian integrals. The problem we now have to face is to construct this interacting quantum field theory model for λ small, uniformly in the volume of the system and as ε0+.

A formal approach often adopted in the physics literature is to perform a saddle point analysis for the Gaussian superfield Φ±=(ϕ±,ψ±); see [31] for a review. As a result, one obtains remarkable predictions about the behavior of the systems, such as the emergence of random matrix statistics for the eigenvalue distribution of Hω. Making this strategy rigorous, however, presents very serious mathematical challenges, which so far have been rigorously tackled only for a class of effective supersymmetric models, [23, 27, 28], or in the context of random matrix models (mean field regime) [71, 72].

Another possibility, less explored from a rigorous viewpoint, is to apply rigorous renormalization group (RG) methods to construct the Gibbs state of the interacting supersymmetric model for small λ, that is to evaluate the integral in Eq. (1.5) via a convergent multiscale analysis. Similar methods have been recently used in [59], for an analysis at all orders in renormalized perturbation theory of the correlation functions of an effective supersymmetric model of graphene in the presence of random gauge fields. See also [15, 56, 57, 68] for earlier approaches to disordered systems via a combination of RG and random matrix techniques. For quantum systems with quasi-random disorder, rigorous RG techniques have been used to prove the existence of localization in the ground state of the interacting fermionic chains [62].

In the present context, the most serious difficulties one has to face in a nonperturbative application of RG methods are:

  • (i)

    the large field problem, due to the unboundedness of the bosonic fields;

  • (ii)

    the infrared problem, which arises whenever μ lies in the spectrum of H;

  • (iii)

    the presence of a purely imaginary covariance for the bosonic integration.

The goal of this paper is to present a rigorous solution to these problems, in a simple yet nontrivial case. As usual in condensed matter physics models, the geometry of the Fermi surface determines how severe are the infrared divergences appearing in the naive perturbative expansion. In particular, in the context of interacting fermionic systems, the rigorous study of the ground state of models with general extended Fermi surfaces is so far out of the reach of the existing rigorous RG methods. Important progress has been achieved in [25, 26], for the low-temperature construction of jellium, in [17], for low-temperature analysis of the 2d Hubbard model on the square lattice, and in [36], for the Fermi liquid construction of 2d models with asymmetric Fermi surface.

Here, we shall consider a class of 3d quantum systems with pointlike Fermi surface; these are models for Weyl semimetals; see [8] for a review. Weyl semimetals are a class of recently discovered condensed matter systems [50] that might be thought as a 3d generalization of graphene. In these models, the (translation invariant) Schrödinger operator H can be written as H=T3dkH^(k), with H^(k) the Bloch Hamiltonian of the model, k the quasi-momentum of the particle, and T3 the Brillouin zone. The energy bands of H^(k) display conical intersections at the Fermi level μ, at a finite number of Fermi points, also called Weyl nodes, k=kFα, α=1,,2M. As a consequence of this fact, one has, up to oscillating prefactors:

G(x,y;μ)=T3dkeik·(x-y)1H^(k)-μ1x-y2asx-y. 1.6

It turns out that the reduced dimensionality of the Fermi surface allows to use RG methods to construct the low/zero temperature interacting Gibbs state of the model, both in two (corresponding to graphene-like systems) and in three dimensions, and to prove universality results for transport coefficients; see [4549, 60, 61]. We refer the reader to [58] for a review of recent applications of rigorous RG methods interacting condensed matter systems.

Here, we shall focus on three-dimensional disordered Weyl semimetals, in the presence of weak disorder and no interactions. Heuristic perturbative analysis suggests that disorder is irrelevant in the renormalization group sense; see [37, 38, 55] for early renormalization group approaches to disordered semimetals. Nevertheless, the emergence of localized states at the Weyl points for weak disorder has been recently proposed in [67] and then challenged in [21]; see also [22] and references therein for numerical simulations, showing that the delocalized phase in Weyl semimetals with well-separated nodes is robust against weak disorder. From a rigorous viewpoint, the stability of the Weyl phase against weak quasi-periodic external potentials has been recently proved in [63]. In this paper, we shall consider a SUSY hierarchical approximation for disordered Weyl semimetals: The connection between the hierarchical model and the original lattice model lies in the scaling of the superfield covariance, which will be chosen so to match the decay properties of the massless Green’s function of the original model, Eq. (1.6). Let us also point out that our model describes an interacting SUSY field associated with one Weyl node: from the point of view of Weyl semimetals, it is relevant for the description of random potentials that do not couple different Fermi points.

Hierarchical models played an important role in the development of rigorous RG methods [16, 19, 29, 42, 43]. For instance, we mention the study of the hierarchical φ44 theory [43], which paved the way to the construction of the full lattice φ44 theory [44]. The connection between the two models is provided by a cluster expansion [44], technically similar to a high-temperature expansion in classical statistical mechanics. See also [10, 11] for a recent extension of this result to SUSY φ44, relevant for the study of the weakly self-avoiding walk, and [12] for a detailed discussion of the hierarchical approximation of the model.

Hierarchical models have also been considered in the context of random Schrödinger operators [20, 53, 54, 65, 73, 74]; see also [64, 66] for discussions about the connection with the Anderson localization/delocalization transition. There, the model is defined on a one-dimensional lattice, and the range of the hierarchical hopping is tuned to fix the effective dimension of the system. The works [53, 54, 65, 73, 74] prove that, as long as the hopping is summable, the model is in the localized phase.

In this paper, we rigorously construct the SUSY hierarchical version of 3d Weyl semimetals with well-separated Weyl nodes, and we prove algebraic decay of correlations; the decay exponents are the same as those of the non-disordered model. Our RG analysis is inspired by the block spin transformation of [43, 44]; in particular, the study of the bosonic sector of the theory is performed thanks to the careful control of the growth of the analyticity domain of the effective action as a function of the complex bosonic field, and to the iteration of suitable analyticity (Cauchy) estimates. With respect to [43], an important simplification in our case is due to the fact that the interaction (hence the disorder) is irrelevant in the renormalization group sense. However, in contrast to [43], the Gaussian covariances are purely imaginary, which means that the single step of RG has to be performed exploiting oscillations. Also, one has to deal with the extra presence of fermionic fields, which makes the analysis considerably more involved with respect to a purely bosonic theory. A key role in our construction is played by supersymmetry, that allows to reduce the number of running coupling constants and to prove the equality (up to a sign) of fermionic and bosonic correlations. If combined with a suitable cluster expansion, we expect our result to extend to the full lattice model; we postpone this study to future work. The first application of cluster expansion techniques and RG methods to QFT models with complex covariances we are aware of is the work [9], on the construction of the ultraviolet sector of interacting three-dimensional lattice bosonic systems. Recently, a cluster expansion for supersymmetric lattice models with imaginary covariance, relevant for disordered quantum systems, has been developed by one of us in [39]. This expansion allows to study the localization regime, for strong disorder and for all energies, or for weak disorder and away from the unperturbed spectrum. We expect the combination of these tools with multiscale analysis to shed light on delocalized phases, at least in cases in which the disorder is irrelevant in the renormalization group sense.

The paper is organized as follows. In Sect. 2, we introduce the model we will study, and we will state our main result, Theorem 2.2. In Sect. 3, we develop the RG method that we will first apply to the construction of the effective potential of the theory. Then, in Sect. 4 we apply this strategy to the computation of the two-point function of the model, which allows to prove our main result. Finally, in Appendix A we discuss the flow of the counterterm fixing the choice of the interacting chemical potential; in Appendix B, we prove some key technical results, while in Appendix C we discuss the (super) symmetries of the model.

The Model

The Hierarchical Gaussian Superfield

Let NN, L2N. Let ΛN3 be the set:

Λ:={xN30xi<LN,i=1,2,3}. 2.1

Let Λ(1):=L-1ΛN3. Later, it will be convenient to look at Λ as being covered by disjoint blocks Bz(1) of side L and labeled by zΛ(1):

Bz(1):={xΛziL-1xi<zi+1,i=1,2,3}.Λ=zΛ(1)Bz(1). 2.2

More generally, for any 1kN, we set Λ(k):=L-kΛN3. Obviously, Λ(k+1)Λ(k). We set, for any zΛ(k), with the understanding Λ(0)Λ:

Bz(k):={xΛ(k-1)ziL-1xi<zi+1,i=1,2,3},Λ(k-1)=zΛ(k)Bz(k). 2.3

See Fig. 1. Given xΛ, the box B(1) containing x is BL-1x(1), where a denotes the vector in N3 which approximates a from below. Notice that the box B(2) containing L-1xΛ(1) is BL-2x(2) and so on. In this way, one defines a hierarchy of boxes, where a box at a given scale contains the lattice points of the previous scale. We are now ready to introduce the hierarchical Gaussian superfield. Roughly speaking, one associates with any point xΛ a sum of independent Gaussian variables, each of them corresponding to a box within the hierarchy described above. We will follow the definition of the hierarchical model of [43], which captures the main features of the multiscale decomposition of the full lattice Gaussian field [44]. We define a complex Gaussian field ϕx,σ and a pair of Grassmann Gaussian fields ψx,σ+, ψx,σ- as follows, for all xΛ, and for all spins σ=:

ϕx,σ:=h=0N-1L-hAL-hxζϕ,L-h-1x,σ(h),ψσ,x±:=h=0N-1L-hAL-hxζψ,L-h-1x,σ(h)± 2.4

for suitable independent complex Gaussian fields ζϕ(h) and Grassmann Gaussian fields ζψ(h)±, whose covariance will be defined in Eq. (2.10). The function A is the scale-independent local version of the kernels that appear in the block-spin transformation [44]. It is chosen so that Ay=±1, for all yΛ(0), with yBz(1)Ay=0 for all zΛ(1), and it is invariant under translations by L in each direction.

Fig. 1.

Fig. 1

Two-dimensional example of the hierarchy of blocks, with L=2 and N=3. The small circles are the lattice sites, elements of ΛΛ(0). The smallest squares constitute the blocks B(1), which, if identified with their labels, form the lattice Λ(1). The smallest blocks containing B(1) are the blocks B(2) and so on. Notice that blocks are labeled by referring to the coordinates of the bottom left element they contain, here highlighted as black circles, or continuous-line blocks

Recall the defining properties of Grassmann variables1:

ζψ,x,σ(h)εζψ,y,σ(k)ε+ζψ,y,σ(k)εζψ,x,σ(h)ε=0,dζψ,x,σ(h)ε=0,dζψ,x,σ(h)εζψ,x,σ(h)ε=1, 2.5

for all possible choices of the labels. Notice that, in Eq. (2.4), the fields ζψ,L-h-1x,σ(h)±, ζϕ,L-h-1x,σ(h)± are labeled by the same points L-h-1xΛ(h+1) that label the blocks Bz(h+1).

Setting ϕ-:=ϕ and ϕ+:=ϕ¯, we shall collect both complex and Grassmann fields in a single Gaussian superfield Φx,σ±:

Φx,σ±:=(ϕx,σ±,ψx,σ±). 2.6

Setting also ζϕ(h)+ζϕ(h), ζϕ(h)-=ζϕ(h)¯, we shall also introduce single-scale superfields ζx,σ(h) as ζx,σ(h)±=(ζϕ,x,σ(h)±,ζψ,x,σ(h)±). In terms of those, we rewrite the superfield Φ± as:

Φx,σ±=h=0N-1L-hAL-hxζL-h-1x,σ(h). 2.7

Equation (2.7) defines the hierarchical Gaussian superfield. Notice that the term in the above sum labeled by a given h varies on the length scale Lh, and it is of size L-h. In particular, replacing the above sum by a truncated sum starting from the scale k, one obtains a field that varies on length scale Lk, and it is of size L-k. For later convenience, it is useful to rescale this truncated field, in such a way that it varies on scale 1, and it is of size 1, for all k0. We introduce, for all xΛ(k):

Φx,σ(k)±:=Lkh=kN-1L-hAL-hLkxζL-h-1Lkx,σ(h). 2.8

Notice that Φx,σ(k)± satisfies the recursion relation:

Φx,σ(k)±=L-1Φx/L,σ(k+1)±+Axζx/L,σ(k). 2.9

This decomposition has a clear meaning: the field Φx(k) is written as the sum of a term which is constant in the block Bx/L(k+1), the average of the field in the block, plus a fluctuation with zero sum in the same block.

We shall choose the covariance of the independent single-scale superfields ζ(h) as, for =ϕ,ψ:

C;σ,σ(h)(x,y):=ζ,σ,L-h-1x(h)-ζ,σ,L-h-1y(h)+=-iδσ,σδL-h-1x,L-h-1y. 2.10

Thus, the covariance of the full superfield is:

C;σ,σ(N-1)(x,y)=h=0N-1L-2hC;σ,σ(h)(x,y)=δσ,σ-id(x,y)2h=k(x,y)NAL-h+1xAL-h+1yL2(h-k), 2.11

where d(xy) is the hierarchical distance between x and y:

d(x,y):=Lk(x,y),k(x,y):=min{kN:x/L(k+1)=y/L(k+1)}. 2.12

Notice that this covariance mimics the real space algebraic decay of the Green’s function of the full lattice model, Eq. (1.6). In particular, the algebraic decay of the covariance implies that the Gaussian superfield is massless.

The Gibbs State of the Interacting Hierarchical Model

The goal of this paper is to study weak perturbations of the massless Gaussian superfield defined in the previous section. We define:

V(Φ):=λxΛ(Φx+·Φx-)2+iμxΛ(Φx+·Φx-) 2.13

where (Φx+·Φx-):=σ[ϕσ,x+ϕσ,x-+ψσ,x+ψσ,x-]. The first term plays the role of the many-body interaction for the superfield, while the second term will fix the chemical potential of the system and will be suitably chosen later on. Given an analytic function P(Φ), with Φ as in Eq. (2.7), we define, for λ>0 and |μ|C|λ|:

P(Φ)N:=1ZNh=0N-1dμ(ζ(h))e-V(Φ)P(Φ),dμ(ζ(h)):=xΛ(h+1)dμ(ζx(h)),dμ(ζx(h)):=dμϕ(ζϕ,x(h))dμψ(ζψ,x(h)),dμ(ζ,x(h)):=-σ=dζ,x,σ(h)+dζ,x,σ(h)-e-iσ=ζ,x,σ(h)+ζ,x,σ(h)-. 2.14

Fermionic integration, =ψ, is defined in Eq. (2.5), while for bosonic integration, =ϕ, we use the convention dζϕ,x,σ(h)+dζϕ,x,σ(h)-:=π-1dReζϕ,x,σ(h)dImζϕ,x,σ(h). The minus sign in front of the RHS of last equation in (2.14) is for normalization purposes; indeed, limϵ0+dμϕ(ζϕ,x(h))e-ϵσ=ζϕ,x,σ(h)+ζϕ,x,σ(h)-=1, dμψ(ζψ,x(h))=1. It is important to notice that although h=0N-1xΛ(h)dμϕ(ζϕ,x(h)) does not provide any decay, the integral is well-defined for all λ>0 by the presence of the quartic interaction.

The normalization factor ZN is the partition function of the model,

ZN=h=0N-1dμ(ζ(h))e-V(Φ); 2.15

as discussed in Appendix C, ZN=1 by the localization theorem of supersymmetric integration, [18, 70].

Remark 2.1

In the following, we shall use the symbols C,C~,K,K~ for generic universal constants. Whenever a constant will depend on L, we shall denote it explicitly, i.e., with the symbol CL.

Main Result

In this paper, we shall construct the Gibbs state of the hierarchical SUSY model. In particular, we shall focus on the two-point correlation function; the same methods can be extended in a straightforward way to all higher-order correlations. The next theorem is our main result.

Theorem 2.2

There exists L02N such that for all L2N, LL0, and for all 0<θ<1/2, NN the following is true. There exists λ¯ independent of N such that for all 0<λ<λ¯ there exists a unique function μμ(λ)C, |μ(λ)|C|λ| and a constant K>0 such that, for all x,yΛ:

ϕσ,x+ϕσ,y-N=-ψσ,x+ψσ,y-N=-iδσ,σd(x,y)2h=k(x,y)NAL-h+1xAL-h+1yL2(h-k)+EN(x,y), 2.16

with:

|EN(x,y)|Kλθd(x,y)θ. 2.17

Remark 2.3

The constants λ¯ and K only depend on L and θ.

The proof of Theorem 2.2 is based on rigorous renormalization group methods. The parameter μ plays the role of bare chemical potential; technically, its choice allows to control the relevant direction of the RG flow and to prove the convergence to a Gaussian fixed point. In the original lattice model, the choice of μ would correspond to a shift of the Fermi level associated with the Weyl phase, induced by the disorder. We stated the theorem for μC; we believe that with some extra effort one could actually prove that μR, but we will not need this improvement in our analysis. Notice that for a general disordered lattice model μ has to be real, since otherwise the Green’s function would decay exponentially fast by a Combes–Thomas estimate.

As mentioned in the Introduction, the main difficulties in the RG analysis are due to the massless covariance of the superfield, to the unboundedness of the bosonic field (large field problem) and to the fact that the covariance is purely imaginary. In order to perform the single-scale integration in the RG, one has to exploit oscillations in the Gaussian integration.

Relation with the full lattice model. Before discussing the proof, let us briefly comment on the relevance of this result for the understanding of the behavior of the full lattice model, beyond the hierarchical approximation. As discussed in the Introduction, the supersymmetric representation can be used to study the averaged resolvent of the lattice model, with Gaussian disorder:

Eω1-i(Hω-μ)+ε(x,y),ε>0. 2.18

Notice that we will not be concerned with the average of the absolute value of the resolvent, which is expected to diverge as ε0. Our analysis focuses on a hierarchical approximation of the SUSY field-theoretical representation of the averaged Green’s function. More precisely, our hierarchical field is related to the quasi-particle field associated with one conical intersection; from the point of view of the original lattice model, this would amount to introducing a momentum cutoff in the covariance of the disorder, which has the effect of keeping the Fermi points decoupled.

The resolvent can be used to compute the Fermi projector in a finite volume, via functional calculus [2, 6]:

Pω(Hωμ)=Cμdz2πi1z-Hω=Q1(Hω-μ)+Q2(Hω-μ) 2.19

where Cμ is the counterclockwise path in the complex plane, (--i)(μ-i)(μ+i)(-+i), and where:

Q1(Hω-μ):=12π-11dη1iη+μ-Hω,Q2(Hω-μ):=12πi-0du1u-i+μ-Hω-1u+i+μ-Hω. 2.20

Here, we are assuming that the point μ does not belong to the spectrum of Hω (which consists of eigenvalues, since we are in a finite volume); as discussed below, this is true with probability one. The u integration in Q2 converges absolutely, uniformly in all disorder realizations. Moreover, a Combes–Thomas estimate [2] gives |Q2(Hω-μ)(x,y)|Ce-cx-y uniformly in the disorder and in the system size. Consider now the Q1 term. Let γ be the disorder strength, recall Eq. (1.1). The following bound holds true, for a broad class of disordered lattice models in a finite volume [3] (including the finite volume version of (1.1)):

Pω(|1Hω-z(x;y)|t)C|γ|t,t>0. 2.21

This estimate implies that, uniformly in xy and in the system size, and for some Cγ,θ<, see (2.12) of [3]:

Eω|1Hω-z(x;y)|θCγ,θ,0θ<1. 2.22

In particular, the probability that any point μR belongs to the spectrum of Hω is zero; hence, Eq. (2.19) holds true for almost all disorder configurations. Moreover, the bound (2.22) together with the estimate |(Hω-z)-1(x;y)|1-θ|Imz|θ-1 can be used to prove that the quantity Eω(Hω-μ-iη)-1(x;y) is absolutely integrable in η[-1;1]. Therefore, we can interchange the η integration with the average over the disorder:

EωQ1(Hω-μ)=12π-11dηEω1iη+μ-Hω(x;y). 2.23

Thus, one can deduce decay properties of the averaged Fermi projector starting from the decay properties of the averaged Green’s function. This is exactly what we study in the present paper, in the hierarchical approximation, at the most singular point η=0. We prove that the averaged Green’s function at η=0 decays as x-y-2 at large distances (as in the disorder-free case). More generally, for η0 a straightforward extension of the analysis performed in the present paper would give a decay at most as x-y-2e-|η|x-y for the hierarchical approximation of the resolvent. Therefore, based on our result for the hierarchical approximation, the natural conjecture for the full lattice model is that:

EωP(Hωμ)(x,y)1x-y3asx-y. 2.24

Notice that this is not what happens in the regime of strong disorder, where one has the fractional moment bound Eω|(Hω-z)-1(x,y)|θCe-cx-y for 0<θ<1, an estimate which can be used to prove Anderson localization. (See [6] for a review.) In particular, the fractional moment bound implies that [2]:

Eω|P(Hωμ)(x,y)|Ce-cx-y. 2.25

As discussed in the Introduction, in order to extend our main result, Theorem 2.2, to the full lattice model, one has to combine the RG analysis introduced in this paper with a cluster expansion; we defer this nontrivial extension to future work.

Renormalization Group Analysis: The Effective Potential Flow

In this section, we discuss the renormalization group analysis of our model. We shall start by computing the effective potential of the theory, at all scales. The main result is the expression (3.143), for the effective potential on an arbitrary scale. This will play an important role in the computation of the two-point correlation function, postponed to Sect. 4.

The Effective Potential

The Gibbs state of the model will be constructed in an iterative fashion, integrating the fluctuation fields starting from the scale h=0 until the last scale, h=N. A key role in this iterative strategy will be played by the study of the following map (recall Eq. (2.9)):

U(h+1)(Φ(h+1)):=TRGU(h)(Φ(h))TRGU(h)(Φ(h)):=1N(h)dμ(ζ(h))U(h)(L-1Φ(h+1)+Aζ(h))U(0)(Φ(0)):=e-V(Φ(0)), 3.1

where (L-1Φ(h+1)+Aζ(h))x,σ=L-1Φx/L,σ(h+1)+Axζx/L,σ(h) and where the normalization factor N(h) is given by:

N(h):=dμ(ζ(h))U(h)(Aζ(h)). 3.2

The main simplification introduced in the hierarchical model with respect to the original lattice model is that, on any scale h, the argument of the integral factorizes: U(h)(Φ(h))=xΛ(h)U(h)(Φx(h)). Therefore, for all xΛ(h), one has the following local version of the map defined in Eq. (3.1):

U(h+1)(Φx/L(h+1))=tRGU(h)(Φx(h))tRGU(h)(Φx(h)):=1N(h)dμ(ζx/L(h))yBx/L(h+1)U(h)(L-1Φx/L(h+1)+Ayζx/L(h))U(0)(Φx(0)):=e-λ(Φx(0)+·Φx(0)-)2-iμ(Φx(0)+·Φx(0)-), 3.3

with normalization factor:

N(h):=dμ(ζx/L(h))yBx/L(h+1)U(h)(Ayζx/L(h)). 3.4

The assumption Ay=±1, yBx(1)Ay=0 implies:

U(h+1)(Φx/L(h+1))=1N(h)dμ(ζx/L(h))[U(h)(Φx/L(h+1)/L+ζx/L(h))U(h)(Φx/L(h+1)/L-ζx/L(h))]L32N(h)=dμ(ζx/L(h))[U(h)(ζx/L(h))U(h)(-ζx/L(h))]L32. 3.5

The main technical goal of this paper is the control of this map. We shall prove that, as N, the iteration (3.5) converges to a unique Gaussian fixed point, for a suitable choice of the bare chemical potential μ. In the following, we shall drop the dependence of the superfields on the scale and position labels, since they will play no role in the study of the single step of the iteration.

Integration of the Scale Zero

In this section, we will discuss the first iteration of the map defined in Eq. (3.3). The iteration of the map on later scales will be performed inductively; the correct inductive assumptions will be motivated by the discussion of this section.

Setting Up the Integration

Given two superfields Φ±=(ϕ±,ψ±) and ζ±=(ζϕ±,ζψ±), we define:

Φ·ζ:=ϕ·ζϕ+ψ·ζψ,ϕ·ζϕ:=12σ=ϕσ+ζϕ,σ-+ζϕ,σ+ϕσ-,ψ·ζψ:=12σ=ψσ+ζψ,σ-+ζψ,σ+ψσ-. 3.6

Setting ψ=(ψ+,ψ-,ψ+,ψ-)T, ζψ=(ζ+,ζ-,ζ+,ζ-)T, the fermionic product can also be represented as:

ψ·ζψ=12ψT(iσ212)ζψ, 3.7

where iσ2=01-10 acts on the components of the Grassmann vector with a given spin. Also, it is easy to check that ψ·ψ=σψσ+ψσ-.

Concerning the bosonic product ϕ·ζϕ in (3.6), notice that, setting ϕσ±=ϕ1,σ±iϕ2,σ, with ϕi,σR:

ϕ·ζϕ=σ=[ϕ1,σζϕ,1,σ+ϕ2,σζϕ,2,σ]. 3.8

Hence, (3.8) coincides with the usual scalar product of the following vectors in R4:

ϕ:=(ϕ1,,ϕ2,,ϕ1,,ϕ2,)T,ζϕ:=(ζϕ,1,,ζϕ,2,,ζϕ,1,,ζϕ,2,)T. 3.9

In particular, (ϕ·ϕ)=ϕ2=i,σϕi,σ2=σϕσ+ϕσ-.

Later, we will be interested in considering the extension of Eq. (3.8) for complex ϕ1,σ and ϕ2,σ. In this general case, Eq. (3.8) does not define a scalar product on C4, and ϕ·ϕϕ2=i,σ|ϕi,σ|2: what is missing to define a scalar product is the complex conjugate on the first factor. Nevertheless, we still have |(ϕ·ζϕ)|ϕζϕ. The usual scalar product in Cn will be denoted by ·,·, v,w=jv¯jwj.

Setting

U(0)(Φ)=e-λ(Φ·Φ)2-iμ(Φ·Φ), 3.10

we shall discuss the evaluation of:

U(1)(Φ)=1N(0)dμ(ζ)[U(0)(Φ/L+ζ)U(0)(Φ/L-ζ)]L32. 3.11

Equation (3.11) defines the effective interaction of the hierarchical model on scale 1. In order to perform the integration, we explicitly rewrite:

U(0)(Φ/L+ζ)U(0)(Φ/L-ζ)=e-2λL4(Φ·Φ)2-2λ(ζ·ζ)2-8λL2(Φ·ζ)2-4λL2(Φ·Φ)(ζ·ζ)-2iμL2(Φ·Φ)-2iμ(ζ·ζ). 3.12

Therefore,

dμ(ζ)[U(0)(Φ/L+ζ)U(0)(Φ/L-ζ)]L32=e-λL(Φ·Φ)2-iμL(Φ·Φ)·dμ(ζ)e-4λL(Φ·ζ)2-2λL(Φ·Φ)(ζ·ζ)-λL3(ζ·ζ)2-iμL3(ζ·ζ)e-λL(Φ·Φ)2-iμL(Φ·Φ)dμ(ζ)e-V(0)(Φ,ζ), 3.13

where we introduced:

V(0)(Φ,ζ):=4λL(Φ·ζ)2+2λL(Φ·Φ)(ζ·ζ)+λL3(ζ·ζ)2+iμL3(ζ·ζ). 3.14

Our goal will be to discuss the integration of the fluctuation superfield ζ. We shall start by integrating its fermionic component.

Integration of the Fermionic Fluctuation Field

We rewrite the effective interaction on the scale zero as:

V(0)(Φ,ζ)=Vb(0)(Φ,ζϕ)+Vf(0)(Φ,ζ)Vb(0)(Φ,ζϕ):=V(0)(Φ,ζ)|ζψ=0. 3.15

Explicitly:

Vb(0)(Φ,ζϕ)=4λL(ϕ·ζϕ)2+2λL(Φ·Φ)(ζϕ·ζϕ)+λL3(ζϕ·ζϕ)2+iμL3(ζϕ·ζϕ)Vf(0)(Φ,ζ)=λL3(ζψ·ζψ)2+2λL3(ζψ·ζψ)(ζϕ·ζϕ)+2λL(Φ·Φ)(ζψ·ζψ)+4λL(ψ·ζψ)2+8λL(ϕ·ζϕ)(ψ·ζψ)+iμL3(ζψ·ζψ).

Therefore, we rewrite the integral in Eq. (3.13) as:

dμ(ζ)e-V(0)(Φ,ζ)=dμϕ(ζϕ)e-Vb(0)(Φ,ζϕ)dμψ(ζψ)e-Vf(0)(Φ,ζ). 3.16

The integration of the Grassmann field ζψ will be performed by writing the function exp{-Vf(0)(Φ,ζ)} as a linear combination of finitely many monomials in the ζψ variable, due to the fact that the Grassmann algebra is finite. Then, we evaluate the Gaussian integration using the rules of Grassmann calculus, Eq. (2.5). We get:

dμψ(ζψ)e-Vf(0)(Φ,ζ)=n=0,1,2Cn(0)(ϕ/L,ζϕ)(ψ·ψ)nL-2n, 3.17

where the functions Cn(0)(ϕ/L,ζϕ) are polynomials in ϕ/L,ζϕ, which we shall estimate. The (ψ·ψ)-dependence of the outcome of the integration follows by symmetry; see Corollary C.2. We shall proceed as follows. A general function of the supervectors Φ and ζ can be written as

f(Φ,ζ)=a_,b_fa_,b_(ϕ,ζϕ)ψa_ζψb_, 3.18

where the summation is over multi-indices a_,b_{0,1}{±}×{,} and ψa_, ζψb_ are the corresponding monomial (uniquely defined once an order for the set {±}×{,} is chosen). For such multi-indices a_=(aσε)σ=ε=±, we also set |a_|:=ε,σaσε. In our setting, the coefficients of the expansion fa_,b_ are functions of ϕ and ζϕ.

Definition 3.1

We say that f(ψ,ζψ)=a_,b_fa_,b_ψa_ζψb_ satisfies (κ,N,M)-bounds if

fa_,b_κN|a_|M|b_| 3.19

for some κ,N,M0. (The convention 001 is understood.) If the function only depends on ψ, f(ψ)=a_fa_ψa_, we shall say that it satisfies (κ,N)-bounds if fa_κN|a_|.

Remark 3.2

The interesting part of the definition is the power law, (i.e., analytic) structure of the bounds, which exhibits useful properties under algebraic manipulation and fermion integration, see below. Notice that many choices of κ,N,M can of course be made. In particular, since the number of coefficients to bound is finite, for any choice of N,M, a suitable κ can always be found.

Let us take the function f(Φ,ζ) to be the exponential e-Vf(0)(Φ,ζ). We would like to prove (κ,N,M)-bounds for this function. We write:

exp{-Vf(0)(Φ,ζ)}=exp-j=17Vf,j(0)(Φ,ζ) 3.20

where:

Vf,1(0)(Φ,ζ)=λL3(ζψ·ζψ)2,Vf,2(0)(Φ,ζ)=2λL3(ζψ·ζψ)(ζϕ·ζϕ)Vf,3(0)(Φ,ζ)=2λL(ϕ·ϕ)(ζψ·ζψ),Vf,4(0)(Φ,ζ)=2λL(ψ·ψ)(ζψ·ζψ)Vf,5(0)(Φ,ζ)=4λL(ψ·ζψ)2,Vf,6(0)(Φ,ζ)=8λL(ϕ·ζϕ)(ψ·ζψ)Vf,7(0)(Φ,ζ)=iμL3(ζψ·ζψ). 3.21

Being each term Vf,j(0)(Φ,ζ) given by a sum of products of an even number of Grassmann variables, we can write:

exp{-Vf(0)(Φ,ζ)}=j=17exp{-Vf,j(0)(Φ,ζ)}, 3.22

where every term in the product can be expanded in a finite sum. To begin, we shall derive (κ,N,M)-bounds for every contribution to the product. Let us denote by (κj,Nj,Mj) the parameters of the (κ,N,M)-bound for the jth term in the product. A simple computation gives:

(κ1,N1,M1)=(1,0,λ14L34),(κ2,N2,M2)=(1,0,(2λL3)12ζϕ),(κ3,N3,M3)=(1,0,(2λL)12ϕ),(κ4,N4,M4)=(1,λ14L,212λ14L32)(κ5,N5,M5)=(1,λ14L,2λ14L32),(κ6,N6,M6)=(1,λ14L,8λ34L2ϕζϕ)(κ7,N7,M7)=(1,0,Cλ12L32). 3.23

As already pointed out in Remark 3.2, we stress that these choices are not unique. However, as it will be clear in the following, the choice N=λ1/4/L is consistent with the size of the “small field region” for the bosonic field, to be introduced later. Also, the value κ=1 is natural, because it is equal to the value of all the entries in the product (3.22) for vanishing fermionic fields.

Next, we would like to get a (κ,N,M)-bound for the product in Eq. (3.22). To this end, we shall use the following lemma.

Lemma 3.3

Suppose f(ψ,ζψ) and g(ψ,ζψ) satisfy, respectively, (κ1,N1,M1)-bounds and (κ2,N2,M2)-bounds. Then, their product f(ψ,ζψ)g(ψ,ζψ) satisfies (κ1κ2,(N1+N2),(M1+M2))-bounds.

Proof

Set h(ψ,ζψ):=f(ψ,ζψ)g(ψ,ζψ)a_,b_ha_,b_ψa_ζψb_. The coefficients ha_,b_ are given by the following expression:

ha_,b_=a1_,b1_,a2_,b2_(a1_,b1_)+(a2_,b2_)=(a_,b_)sign(a1_,b1_;a2_,b2_)fa1_,b1_ga2_,b2_, 3.24

for a suitable sign sign(a1_,b1_;a2_,b2_){±}, which we shall leave unspecified. By the triangle inequality and by the hypotheses on fa1_,b1_ and ga2_,b2_:

|ha_,b_|κκa1_,b1_,a2_,b2_(a1_,b1_)+(a2_,b2_)=(a_,b_)N|a1_|(N)|a2_|M|b1_|(M)|b2_|=κκN+N|a_|M+M|b_|, 3.25

and the claim is proven.

Let us go back to (3.22). By Eq. (3.23) together with Lemma 3.3, we get that exp{-Vf(0)(Φ,ζ)} satisfies (κ,N,M) bounds with, for λ small enough:

κ=1,N=3L-1λ14,M=8λ14L32+(2λL)12ϕ+(2λL3)12ζϕ+8λ34L2ϕζϕ. 3.26
Remark 3.4

For later use, notice that the function exp{-Vf(0)(Φ,ζ)}-1 satisfies the same (κ,N,M)-bounds: This is due to the fact that subtraction by 1 simply sets to zero the first coefficient of the Grassmann expansion, f0_,0_=0. Also, the Grassmann expansion of the function exp{-Vf(0)(Φ,ζ)}-1 is such that fa_,0_=0 for all a_.

Next, we have to perform the Grassmann Gaussian integration with respect to the variable ζψ. The result is a function of the Grassmann variable ψ. The next lemma allows to get bounds on the coefficients of the new Grassmann polynomial, in terms of the (κ,N,M)-bounds of the integrand.

Lemma 3.5

Suppose f(ψ,ζψ)=a_,b_fa_,b_ψa_ζψb_ satisfies (κ,N,M)-bounds. Then, the function:

h(ψ):=dμψ(ζψ)f(ψ,ζψ) 3.27

satisfies (κ,N)-bounds with:

κ=κ(1+12M2+2M4),N=N. 3.28

Furthermore, if fa_,0_=0 for all a_, then:

κ=κ(12M2+2M4),N=N. 3.29
Proof

Set h(ψ)=a_ha_ψa_. Notice that:

dμψ(ζψ)1=1,dμψ(ζψ)ζψb_=0unless|b_|is even. 3.30

If |b_| is even, the outcome of the integration is bounded by 2. Therefore:

|ha_|b_|fa_,b_||dμψ(ζψ)ζψb_|κN|a_|(1+12M2+2M4). 3.31

If furthermore fa_,0_=0 for all a_, then the 1 in the last parenthesis is not present.

Equation (3.26) together with Lemma 3.5 allows to estimate the coefficients Cn(0)(ϕ/L,ζϕ) in Eq. (3.17). This is the content of the next proposition.

Proposition 3.6

There exists a universal constant C>0 such that the following is true. The coefficients Cn(0)(ϕ/L,ζϕ) satisfy the following bounds, for λ small enough and for all ζϕC4, ϕC4:

|Cn(0)(ϕ/L,ζϕ)-δn,0|Kα(ϕ,ζϕ)λn2(λ12L3+λLϕ2+λL3ζϕ2+λ32L4ϕ2ζϕ2) 3.32

where:

α(ϕ,ζϕ)=1+λLϕ2+λL3ζϕ2+λ32L4ϕ2ζϕ2. 3.33
Proof

Let us rewrite the outcome of the Gaussian Grassmann integration in Eq. (3.16) as 1+h(ψ;ϕ,ζϕ), with, using that dμψ(ζψ)1=1:

h(ψ;ϕ,ζϕ)=dμψ(ζψ)(e-Vf(0)(Φ,ζ)-1)=a_,b_fa_,b_(ϕ,ζϕ)ψa_dμψ(ζψ)ζψb_a_ha_(ϕ,ζϕ)L-|a_|ψa_. 3.34

Recalling Remark 3.4, the function e-Vf(0)(Φ,ζ)-1 satisfies (κ,N,M)-bounds with κ, N, M given by (3.26). Also, by the same remark, fa_,0_=0 for all a_. Therefore, by Lemma 3.5, the function h(ψ;ϕ,ζϕ) satisfies (κ,N)-bounds with:

κ=Cα(ϕ,ζϕ)(λ12L3+λLϕ2+λL3ζϕ2+λ32L4ϕ2ζϕ2)α(ϕ,ζϕ):=1+λLϕ2+λL3ζϕ2+λ32L4ϕ2ζϕ2N=3L-1λ14. 3.35

The final statements follow by using that C0-1=h0_, C1=ha_ with |a_|=2 and C2=ha_ with |a_|=4.

Integration of the Bosonic Fluctuation Field

Next, we shall compute:

dμϕ(ζϕ)e-Vb(0)(Φ,ζϕ)n=0,1,2Cn(0)(ϕ/L,ζϕ)(ψ·ψ)nL-2n. 3.36

We rewrite:

Vb(0)(Φ,ζϕ)=V~b(0)(ϕ,ζϕ)+V^b(0)(Φ,ζϕ)V~b(0)(ϕ,ζϕ):=Vb(0)(Φ,ζϕ)ψ=0; 3.37

that is:

V~b(0)(ϕ,ζϕ)=4λL(ϕ·ζϕ)2+2λL(ϕ·ϕ)(ζϕ·ζϕ)+λL3(ζϕ·ζϕ)2+iμL3(ζϕ·ζϕ)V^b(0)(Φ,ζϕ)=2λL(ψ·ψ)(ζϕ·ζϕ). 3.38

We then get:

e-Vb(0)(Φ,ζϕ)n=0,1,2Cn(0)(ϕ/L,ζϕ)(ψ·ψ)nL-2ne-V~b(0)(ϕ,ζϕ)n=0,1,2Dn(0)(ϕ/L,ζϕ)(ψ·ψ)nL-2n, 3.39

where:

Dn(0)(ϕ/L,ζϕ)=k=0n(-2λL3)k(ζϕ·ζϕ)kk!Cn-k(0)(ϕ/L,ζϕ). 3.40

The bounds for these new coefficients are collected in the next proposition.

Proposition 3.7

There exists a universal constant C>0 such that the following is true. The coefficients Dn(0)(ϕ/L,ζϕ) satisfy the following bounds, for λ small enough and for all ζϕC4, ϕC4:

|Dn(0)(ϕ/L,ζϕ)-δn,0|Cα~(ϕ,ζϕ)λn2(λ12L3+λLϕ2+λL3ζϕ2+λ32L4ϕ2ζϕ2)+CλnL3nζϕ2n(1-δn,0), 3.41

where:

α~(ϕ,ζϕ):=α(ϕ,ζϕ)(1+λ12L3ζϕ2+λL6ζϕ4).
Proof

The statement for n=0 is trivial, since D0(0)=C0(0). Consider now n0. From Eq. (3.40), we get:

|Dn(0)(ϕ/L,ζϕ)|Ck=0nλkL3kζϕ2k|Cn-k(0)(ϕ/L,ζϕ)|Ck=0nλkL3kζϕ2k|Cn-k(0)(ϕ/L,ζϕ)-δn-k,0|+CλnL3nζϕ2n. 3.42

Using the bounds for Cn-k(0), Proposition 3.6, we get:

|Dn(0)(ϕ/L,ζϕ)|Cλn2k=0nλk2L3kζϕ2k·α(ϕ,ζϕ)(λ12L3+λLϕ2+λL3ζϕ2+λ32L4ϕ2ζϕ2)+CλnL3nζϕ2n. 3.43

which concludes the proof.

We are now ready to integrate the ζϕ variable. We shall perform the integration for ϕC4: the reason being that the bounds on the kernels on the next scales will be obtained via Cauchy estimates. In order to integrate the field ζϕ, we shall exploit the oscillations of the complex Gaussian, via the next lemma.

Lemma 3.8

(Stationary phase expansion.). Let f be a Schwartz function on R4. Then, for any mN, the following identity holds true:

dμϕ(ζϕ)f(ζϕ)=j=0m-1dj(Δjf)(0)+Em(f)

where Δ denotes the Laplacian, Δ=i=1,2σ=,ζϕ,i,σ2, dj=(-i)j4jj! and

|Em(f)|CmR4dpp2m|f^(p)|. 3.44
Proof

See Appendix B.

The next lemma is the key technical tool that we will use to estimate the derivatives and the error terms arising from the stationary phase expansion.

Lemma 3.9

(Bounds for stationary phase expansions). Let f(z)=f(z1,,z4) be a complex-valued function on C4.

  1. (Cauchy estimate) Let R>0, and suppose that f(z) is an analytic function in all zi, i=1,,4, for zBRC4, with BR the ball of radius R centered at z=0. Suppose that |f(z)|fR for all zBR. Let 0R<R. Then, for all multi-indices αN4 and for all zBR:
    |zαf(z)|Cα(R-R)|α|fR, 3.45
    with |α|=iαi.
  2. (Decay of Fourier transforms) Let W>0, and suppose that f(z) is an analytic function in all zi, i=1,,4, for zRW4 with:
    RW4:={zC4|Imzi|<W,i=1,,4}. 3.46
    Let furthermore f^(p1,,p4) be the Fourier transform of the restriction of f to R4. Suppose that, for all 0W<W there exists a constant 0FW(f)< such that for all wRW4:
    R4dx|f(w+x)|FW(f). 3.47
    Then, for all kN, there exists Ck>0 such that:
    |f^(p)|CkFW(f)1+(Wp)k. 3.48
    In particular, let Em(f) be the error term in the stationary phase expansion (3.44). Then, there exists a universal constant Km>0 such that:
    |Em(f)|KmW-4-2mFW(f). 3.49
Proof

See Appendix B.

As a test run, let us estimate the normalization factor N(0) in Eq. (3.11). Notice that, as a consequence of the localization theorem, see Theorem C.10, supersymmetry (in the sense of Definition C.4) implies that, see Remark C.12:

N(0)=1. 3.50

Nevertheless, the simple procedure discussed below will be generalized to the computation of the effective potential and of the correlation functions, where the localization theorem cannot be applied because of the lack of supersymmetry. We rewrite:

N(0)=dμϕ(ζϕ)e-V~b(0)(0,ζϕ)D0(0)(0,ζϕ). 3.51

Apply Lemma 3.8 recalling that V~b(0)(0,0)=0:

N(0)=D0(0)(0,0)+d1(Δe-V~b(0)(0,·)D0(0)(0,·))(0)+E2(e-V~b(0)(0,·)D0(0)(0,·)); 3.52

let us estimate the various terms. By Proposition 3.7, we have |D0(0)(0,0)-1|Cλ12L32. To estimate the second term, we write (all derivatives correspond to the field ζϕ):

(Δe-V~b(0)(0,·)D0(0)(0,·))(0)=(Δe-V~b(0)(0,·))(0)D0(0)(0,0)+(ΔD0(0)(0,·))(0)+2(e-V~b(0)(0,·))(0)·(D0(0)(0,·))(0). 3.53

From the definition of V~b(0)(ϕ,ζϕ), Eq. (3.38), we get:

(e-V~b(0)(0,·))(0)=0,|(Δe-V~b(0)(0,·))(0)|C|μ|K|λ|. 3.54

Moreover, Proposition 3.7 together with Cauchy estimates for the derivatives gives:

|D0(0)(0,0)-1|Cλ12L3|(ΔD0(0)(0,·))(0)|C2λ12λ12L3KλL3. 3.55

The second estimate follows from the Cauchy estimate (3.45) and from the bound (3.41), after taking R=λ-14.

Consider now the last term in Eq. (3.52). We claim that, for some L-dependent constant CL>0:

|E2(e-V~b(0)(0,·)D0(0)(0,·))|CLλ. 3.56

To prove this estimate, we proceed as follows. Let f(ζϕ):=e-V~b(0)(0,ζϕ)D0(0)(0,ζϕ). This function is trivially entire in ζϕC4. Let us estimate it. We have:

|e-V~b(0)(0,ζϕ)|e-λL3Re(ζϕ·ζϕ)2+C|μ|L3ζϕ2. 3.57

Also,

Re(ζϕ·ζϕ)2=(Re(ζϕ·ζϕ))2-(Im(ζϕ·ζϕ))2=(Reζϕ2-Imζϕ2)2-(2(Imζϕ·Reζϕ))2(Reζϕ2-Imζϕ2)2-4Imζϕ2Reζϕ2=ζϕ4-8Imζϕ2Reζϕ2. 3.58

Let ζϕRW4, with W=λ-1/4. Then:

Re(ζϕ·ζϕ)2ζϕ4-8λ-12ζϕ2. 3.59

Therefore, using that |μ|C|λ|, for some K>0 and taking λ small enough:

|e-V~b(0)(0,ζϕ)|Ke-L38λζϕ4forζϕ>4λ-14KecL3forζϕ4λ-14. 3.60

Recalling the bound (3.41) for D0(0)(0,ζϕ), one finds that the bound (3.47) is satisfied, with FW(e-V~b(0)(0,·)D0(0)(0,·))=CLλ-1. Therefore, from Eq. (3.49):

|E2(e-V~b(0)(0,·)D0(0)(0,·))|C~Lλ14(4+4)λ-1=C~Lλ. 3.61

This concludes the check of Eq. (3.56).

Next, we shall consider, for ϕ0:

dμϕ(ζϕ)e-V~b(0)(ϕ,ζϕ)Dn(0)(ϕ/L,ζϕ); 3.62

to do this, we shall discuss separately a small and a large field regime for the bosonic field ϕC4. More precisely, we shall consider separately the following cases: ϕ/LS(0), the small field set, and ϕ/LL(0), the large field set:

S(0):={ϕC4ϕλ-1/4},L(0):={ϕC4ϕ>λ-1/4,Imϕλ-1/4}. 3.63

Small Field Regime

Let ϕLS(0). Let us define:

En(0)(ϕ):=L-2ndμϕ(ζϕ)e-V~b(0)(ϕ,ζϕ)Dn(0)(ϕ/L,ζϕ). 3.64

As a preliminary remark, notice that En(0) is analytic in ϕLS(0), since the integral is absolutely convergent in ζϕ uniformly for ϕLS(0) and the integrand is entire in ϕ. (Analyticity follows from dominated convergence theorem and from Morera’s theorem.) Let us now prove bounds for En(0)(ϕ).

Consider first the case n=0. By the stationary phase expansion, Lemma 3.44, we get:

E0(0)(ϕ)=D0(0)(ϕ/L,0)+d1(Δe-V~b(0)(ϕ,·)D0(0)(ϕ/L,·))(0)+E2(e-V~b(0)(ϕ,·)D0(0)(ϕ/L,·)). 3.65

We shall proceed as we did for the analysis of the normalization factor N(0). Consider the first term in Eq. (3.65). By Proposition 3.7, we get, for ϕλ-14L:

|D0(0)(ϕ/L,0)-1|Cλ12L3. 3.66

To estimate the second term in Eq. (3.65), we use a Cauchy estimate. To begin, notice that for ϕλ-14L and for ζϕλ-14, by Proposition 3.7:

|D0(0)(ϕ/L,ζϕ)-1|CL12λ12. 3.67

Therefore, by the Cauchy bound (3.45), with R=λ-1/4 and R=0:

|ΔD0(0)(ϕ/L,·)(0)|KL12λ. 3.68

On the other hand, recalling the definition of V~b(0), Eq. (3.38):

|(Δe-V~b(0)(ϕ,·))(0)|=|(ΔV~b(0)(ϕ,·))(0)|C(λLϕ2+|μ|L3)Cλ12L3. 3.69

Using that:

(Δe-V~b(0)(ϕ,·)D0(0)(ϕ/L,·))(0)=(Δe-V~b(0)(ϕ,·))(0)D0(0)(ϕ/L,0)+(ΔD0(0)(ϕ/L,·))(0)+2(e-V~b(0)(ϕ,·))(0)·(D0(0)(ϕ/L,·))(0)=(Δe-V~b(0)(ϕ,·))(0)D0(0)(ϕ/L,0)+(ΔD0(0)(ϕ/L,·))(0) 3.70

we finally get, from the bounds (3.67), (3.68), (3.69), for λ small enough:

|(Δe-V~b(0)(ϕ,·)D0(0)(ϕ/L,·))(0)|Cλ12L3. 3.71

Consider now the third term in Eq. (3.65), which is the remainder in the stationary phase expansion. We shall first extend the bound (3.60) to ϕLS(0). For ϕLλ-14, ζϕ4λ-14, we have:

|e-V~b(0)(ϕ,ζϕ)|KecL3. 3.72

Let W=λ-14. We have, for ϕLλ-14, ζϕRW4, ζϕ>4λ-14, proceeding as in Eqs. (3.57)–(3.59):

|e-V~b(0)(ϕ,ζϕ)|Ke-L38λζϕ4+6λLϕ2ζϕ2K~e-L316λζϕ4. 3.73

In conclusion, the bounds (3.72), (3.73), together with the estimate (3.41) for D0(0)(ϕ/L,ζϕ), give:

|e-V~b(0)(ϕ,ζϕ)D0(0)(ϕ/L,ζϕ)|CLζϕ4λ-14Ce-L316ζϕ4λ3L18ζϕ8ζϕ>4λ-14,ζϕRW4. 3.74

Hence, we are in the position to apply Lemma 3.9, with:

FW(e-V~b(0)(ϕ,·)D0(0)(ϕ/L,·))C~Lλ-1. 3.75

We get, by Lemma 3.9:

|E2(e-V~b(0)(ϕ,·)D0(0)(ϕ/L,·))|KLλ14(4+4)λ-1KLλ. 3.76

This bound together with (3.66), (3.71) implies, for λ small enough:

|E0(0)(ϕ)-1|CL3λ12. 3.77

Notice also that E0(0)(0)=N(0); by supersymmetry, see Remark C.12,

E0(0)(0)=1. 3.78

Let us now consider En(0)(ϕ) for n=1,2. By the stationary phase expansion:

En(0)(ϕ)=L-2nDn(0)(ϕ/L,0)+L-2nd1(Δe-V~b(0)(ϕ,·)Dn(0)(ϕ/L,·))(0)+L-2nE2(e-V~b(0)(ϕ,·)Dn(0)(ϕ/L,·)). 3.79

By Proposition 3.7:

L-2n|Dn(0)(ϕ/L,0)|CL3-2nλn2+12. 3.80

To estimate the second term, we proceed as follows. We write:

L-2n(Δe-V~b(0)(ϕ,·)Dn(0)(ϕ/L,·))(0)=L-2n(Δe-V~b(0)(ϕ,·))(0)Dn(0)(ϕ/L,0)+L-2n(ΔDn(0)(ϕ/L,·))(0); 3.81

the first term is estimated using the bound (3.69). We get:

|L-2n(Δe-V~b(0)(ϕ,·))(0)Dn(0)(ϕ/L,0)|KL6-2nλn2+1. 3.82

Concerning the second term, it is convenient to rewrite the derivative in terms of the Cn(0) coefficients; recall the definition (3.40). We get:

L-2n(ΔDn(0)(ϕ/L,·))(0)=L-2n(ΔCn(0)(ϕ/L,·))(0)+L-2n(2λL3)8Cn-1(0)(ϕ/L,0). 3.83

We estimate the right-hand side using the bounds for the Cn(0) coefficients, (3.32), plus a Cauchy estimate with R=λ-14 for the first term. We get:

|L-2n(ΔDn(0)(ϕ/L,·))(0)|CL-2n+6λn2+1+CL6-2nλn2+1. 3.84

Therefore:

|L-2n(Δe-V~b(0)(ϕ,·)Dn(0)(ϕ/L,·))(0)|CLλn2+1. 3.85

Consider now the remainder term in the stationary phase expansion. Let us choose again W=λ-1/4. Proceeding as in Eqs. (3.72)–(3.74), we get:

|e-V~b(0)(ϕ,ζϕ)Dn(0)(ϕ/L,ζϕ)|CLλn2ζϕ4λ-14Ce-L316ζϕ4λ3+n2L18ζϕ8ζϕ>4λ-14,ζϕRW4. 3.86

Therefore, by Lemma 3.9:

|L-2nE2(e-V~b(0)(ϕ,·)Dn(0)(ϕ/L,·))|KLλn2+1. 3.87

In conclusion, for λ small enough, the expression (3.79) for En(0)(ϕ), together with the bounds (3.80), (3.85), (3.87), implies, for n=1,2:

|En(0)(ϕ)|4CL3-2nλn2+12+KLλn2+1KL3-2nλn2+12. 3.88

As it will be clear later on, the bounds (3.77), (3.88) are not enough to iterate the multiscale integration on higher scales. We shall isolate the dangerous contributions by introducing a localization operation, as follows.

By symmetry considerations, see Appendix C, Remark C.3, for ϕR4 the function En(0)(ϕ) is radial: We shall write En(0)(ϕ)=En(0)(ϕ), with a slight abuse of notation.

Localization and renormalization. We define, for ϕLS(0):

LEn(0)(ϕ):=E2(0)(0)ifn=2E1(0)(0)+12(ϕ·ϕ)ϕ2E1(0)(0)ifn=112(ϕ·ϕ)ϕ2E0(0)(0)+14!(ϕ·ϕ)2ϕ4E0(0)(0)ifn=0. 3.89

That is, the L operator extracts the first few orders in the Taylor expansion of En(0). To see this, notice that (ϕ·ϕ) is just the analytic continuation of ϕ2 from ϕR4 to ϕC4, recall Eq. (3.8). Also, notice that in the expansion in ϕR4 of En(0)(ϕ) odd powers of ϕ are forbidden, due to the fact that they are not analytic in ϕi,σ. Hence, Eq. (3.89) collects the first few orders in the Taylor expansion in ϕ, for ϕLS(0). The terms E1(0)(0) and 12(ϕ·ϕ)ϕ2E0(0)(0) are relevant in the renormalization group terminology. As it will be clear later on, they correspond to an expanding direction in the RG flow. The other terms are irrelevant, thus strictly speaking that there should be no need to localize them. Nevertheless, the above procedure turns out to simplify the analysis of the large field regime.

Correspondingly, we define the renormalization operation R so that the function REn(0)(ϕ) contains all the higher-order terms in the Taylor expansion. Recalling that E0(0)(0)=1, Eq. (3.78):

E0(0)(ϕ)=1+LE0(0)(ϕ)+RE0(0)(ϕ)En(0)(ϕ)=LEn(0)(ϕ)+REn(0)(ϕ),n=1,2. 3.90

To estimate the derivatives, we will use again Cauchy bounds. More precisely, we will consider the functions En(0)(ϕ) in a much smaller domain than the original analyticity domain LS(0), for which the bounds (3.77), (3.88) hold true. By the general estimate (3.45), we will use that every derivative introduces a gain with respect to the L bound of En(0)(ϕ) in LS(0), proportional to the inverse of the distance between the smaller domain and LS(0).

Given λ1C such that |Lλ1-λ|Cλ3/2, we define:

S(1):={ϕC4ϕ|λ1|-1/4}LS(0). 3.91

Notice that, for L large enough and some universal constant c>0:

dist(LS0c,S1)=Lλ-1/4-|λ1|-1/4cLλ-1/4. 3.92

Let us estimate REn(0)(ϕ) in S(1) as a Lagrange remainder. We have, using the bounds (3.77), (3.88), together with (3.92) and the Cauchy estimate (3.45), for all ϕS(1):

|RE2(0)(ϕ)|CL-3λ2ϕ2,|RE1(0)(ϕ)|CL-3λ2ϕ4,|RE0(0)(ϕ)|CL-3λ2ϕ6. 3.93

Also, again by Cauchy estimates:

|ϕ2E1(0)(0)|CL-1λ32,|ϕ2E0(0)(0)CLλ,|ϕ4E0(0)(0)|CL-1λ3/2. 3.94

Finally, we set:

γψ,2(0):=E1(0)(0),γϕ,2(0):=12ϕ2E0(0)(0)γψψ,4(0):=E2(0)(0),γϕψ,4(0):=12ϕ2E1(0)(0),γϕϕ,4(0):=14!ϕ4E0(0)(0). 3.95

By supersymmetry, see Corollary C.9, Appendix C:

γψ,2(0)=γϕ,2(0)=:γ2(0),γψψ,4(0)=12γϕψ,4(0)=γϕϕ,4(0)=:γ4(0). 3.96

This concludes the discussion of the small field regime.

Large Field Regime

Let ϕLL(0). With respect to the small field region, here we have to face the extra difficulty that the terms “ϕ2ζϕ2” in V~b(0) might be large; recall Eq. (3.38). In the small field region, we could control these terms using the quartic term in ζϕ, and the smallness of ϕ. In the large field region, we shall exploit the sign of the real part of such terms. This is the content of the next inequality.

Let 0<ε<1/4, and consider ζϕ such that Imζϕλ-14+ε. Then, for Im(ϕ/L±ζϕ)λ-14:

|eV~b(0)(ϕ,ζϕ)|CLeλ1+4εLϕ4-λL32ζϕ4. 3.97

This holds as a special case of Proposition 3.15, proven in Appendix B. Therefore, we are in the position to apply Lemma 3.8. We rewrite:

En(0)(ϕ)=dμϕ(ζϕ)gn(0)(ϕ,ζϕ)gn(0)(ϕ,ζϕ):=L-2ne-V~b(0)(ϕ,ζϕ)Dn(0)(ϕ/L,ζϕ). 3.98

The functions gn(0)(ϕ,ζϕ) are entire in ζϕ for all ϕ. The bounds for the functions Dn(0) in (3.41) imply the following (non-optimal) estimates, for all ϕ, ζϕ in C4, and for a universal constant C>0

|Dn(0)(ϕ/L,ζϕ)|CL-2nλn2eCλL4ϕ2+Cλ12ζϕ2|Dn(0)(ϕ/L,0)|CL-2nλn2eCλLϕ2. 3.99

Hence, for ζϕC4, Imζϕλ-14+ε, with 0<ε<14, the bound (3.99) together with the bound (3.97) implies:

|gn(0)(ϕ,ζϕ)|KLλn2eCλL4ϕ2+Cλ12ζϕ2eλ1+4εLϕ4-L32λζϕ4. 3.100

To estimate En(0)(ϕ) efficiently, we shall perform a stationary phase expansion. We have:

En(0)(ϕ)=gn(0)(ϕ,0)+E1(gn(0)(ϕ,·)). 3.101

From the second of (3.99):

|gn(0)(ϕ,0)|CL-2nλn2eCλLϕ2; 3.102

instead, to estimate the remainder term from the stationary phase expansion, we use that, for W=λ-14+ε, thanks to the bound (3.100):

FW(gn(0)(ϕ,·))CLL-2nλn2eCλL4ϕ2+λ1+4εLϕ4. 3.103

Hence, by Lemma 3.9:

|E1(gn(0)(ϕ,·))|C~LL-2nλn2+12-4εeCλL4ϕ2+λ1+4εLϕ4. 3.104

Consider first n=0. Using that ϕ>Lλ-1/4 we have, for any 12δ<1, for λ small enough and L large enough, from the bounds (3.102), (3.104):

|g0(0)(ϕ,0)|δ2eλ8Lϕ4,|E1(g0(0)(ϕ,·))|δ2eλ8Lϕ4. 3.105

The first bound follows from the fact that the combination λLϕ2-λ8Lϕ4 can be arbitrarily negative, for L large enough uniformly in ϕLL(0). The second bound follows from the observation that, for λ small enough and L large enough uniformly in ϕLL(0), the combination λL4ϕ2+λ1+4εLϕ2-λ8Lϕ4 is negative. Hence,

|E0(0)(ϕ)|δeλ8Lϕ4. 3.106

Consider now En(0) for n=1,2. By the above reasoning, for λ small enough and L large enough:

|gn(0)(ϕ,0)|L-2nλn22eλ8Lϕ4,|E1(gn(0)(ϕ,·))|L-2nλn22eλ8Lϕ4,n=1,2. 3.107

Therefore,

|En(0)(ϕ)|L-2nλn2eλ8Lϕ4,n=1,2. 3.108

This concludes the discussion of the large field regime.

The Effective Potential on Scale h=1

We obtained:

U(1)(Φ)=e-λL(Φ·Φ)2-iμL(Φ·Φ)n=0,1,2En(0)(ϕ)(ψ·ψ)n, 3.109

where the functions En(0)(ϕ) are analytic in ϕLS(0)LL(0). Moreover, they satisfy the bounds (3.77), (3.88) for ϕLS(0) and the bounds (3.106), (3.108) for ϕLL(0). Also, the renormalized functions REn(0)(ϕ) satisfy the bounds (3.93) for ϕS(1).

To conclude the discussion of the scale zero, we have to renormalize the coupling constant and the chemical potential, by taking into account the terms extracted with the localization procedure in Sect. 3.2.4.

Small field bounds. We rewrite:

U(1)(Φ)=e-λL(Φ·Φ)2-iμL(Φ·Φ)n=0,1,2REn(0)(ϕ)(ψ·ψ)n 3.110
+e-λL(Φ·Φ)2-iμL(Φ·Φ)n=0,1,2(δn,0+LEn(0)(ϕ))(ψ·ψ)nUR(1)(Ψ)+UL(1)(Ψ). 3.111

Consider first UL(1). We define:

λ1:=L-1λ+β4(0),μ1:=μL+β2(0),β2(0):=iγ2(0),β4(0):=-γ4(0)-γ2(0)22, 3.112

where, by Eqs. (3.94), (3.95):

|β2(0)|CLλ,|β4(0)|CL-1λ3/2. 3.113

We then rewrite:

UL(1)(Φ)=e-λ1(Φ·Φ)2-iμ1(Φ·Φ)·eβ4(0)(Φ·Φ)2+iβ2(0)(Φ·Φ)n=0,1,2(δn,0+LEn(0)(ϕ))(ψ·ψ)ne-λ1(Φ·Φ)2-iμ1(Φ·Φ)U~L(1)(Φ). 3.114

The function U~L(1)(Φ) can be expanded in powers of (ψ·ψ), in terms of suitable coefficients UL;n(1)(ϕ):

U~L(1)(Φ)=n=0,1,2U~L;n(1)(ϕ)(ψ·ψ)n. 3.115

Notice that, by construction, thanks to the definitions (3.112), U~L(1)(0)=1 and moreover the function U~L(1)(Φ)-1 has a Taylor expansion in Φ=0 that starts from order 6. Consider now UR(1) in Eq. (3.110). We rewrite it as:

UR(1)(Φ)=e-λL(Φ·Φ)2-iμL(Φ·Φ)n=0,1,2REn(0)(ϕ)(ψ·ψ)ne-λ1(Φ·Φ)2-iμ1(Φ·Φ)U~R(1)(Φ), 3.116

where U~R(1)(Φ) can also be expanded in powers of (ψ·ψ), for suitable coefficients U~R;n(1)(ϕ):

U~R(1)(Φ)=n=0,1,2U~R;n(1)(ϕ)(ψ·ψ)n. 3.117

All in all:

U(1)(Φ)=e-λ1(Φ·Φ)2-iμ1(Φ·Φ)n=0,1,2Rn(1)(ϕ)(ψ·ψ)2, 3.118

with

Rn(1)(ϕ):=U~L;n(1)(ϕ)+U~R;n(1)(ϕ). 3.119

To conclude the integration of the scale zero, we shall estimate the coefficients Rn(1)(ϕ). The functions Rn(1)(ϕ) are analytic in S(1), with:

S(1)={ϕC4ϕ|λ1|-1/4}LS(0). 3.120

Consider first U~L;n(1)(ϕ). By construction, this function has a Taylor series in ϕ=0 that starts from order 6-2n. By inspection, and using the bounds (3.113), we have:

|U~L;0(1)(ϕ)-1|CLλ52ϕ6,|U~L;1(1)(ϕ)|CLλ52ϕ4,|U~L;2(1)(ϕ)|CL|λ|3ϕ2. 3.121

Consider now U~R;n(1)(ϕ). By inspection:

|U~R;0(1)(ϕ)|C|RE0(0)(ϕ)||U~R;1(1)(ϕ)|C|RE1(0)(ϕ)|+CL(λ+λ32ϕ2)|RE0(0)(ϕ)||U~R;2(1)(ϕ)|C|RE2(0)(ϕ)|+CL(λ+λ32ϕ2)|RE1(0)(ϕ)|+CL(λ32+λ3ϕ4)|RE0(0)(ϕ)|. 3.122

The constant C takes into account the fact that, for ϕS(1) and for λ small enough, there exists a universal constant K such that |e|β4|ϕ4+|β2|ϕ2|K. In conclusion, from the bounds (3.93):

|U~R;0(1)(ϕ)|C~L-3λ2ϕ6|U~R;1(1)(ϕ)|C~L-3λ2ϕ4+C~Lλ3ϕ62C~L-3λ2ϕ4|U~R;2(1)(ϕ)|C~L-3λ2ϕ2+C~Lλ3ϕ4+C~Lλ72ϕ62C~L-3λ2ϕ2. 3.123

Therefore, putting the bounds (3.121), (3.123) together, we get, for L large enough and for ϕS(1):

|R2(1)(ϕ)||λ1|2ϕ2,|R1(1)(ϕ)||λ1|2ϕ4,|R0(1)(ϕ)-1||λ1|2ϕ6. 3.124

Large field bounds. We write again:

U(1)(Φ)=e-λ1(Φ·Φ)2-iμ1(Φ·Φ)·eβ4(0)(Φ·Φ)2+iβ2(0)(Φ·Φ)n=0,1,2En(0)(ϕ)(ψ·ψ)ne-λ1(Φ·Φ)2-iμ1(Φ·Φ)n=0,1,2,Rn(1)(ϕ)(ψ·ψ)n 3.125

with:

R0(1)(ϕ)=eβ4(0)(ϕ·ϕ)2+iβ2(0)(ϕ·ϕ)E0(0)(ϕ)R1(1)(ϕ)=eβ4(0)(ϕ·ϕ)2+iβ2(0)(ϕ·ϕ)(E1(0)(ϕ)+E0(0)(ϕ)(iβ2(0)+2β4(0)(ϕ·ϕ)))R2(1)(ϕ)=eβ4(0)(ϕ·ϕ)2+iβ2(0)(ϕ·ϕ)(E2(0)(ϕ)+E1(0)(ϕ)(iβ2(0)+2β4(0)(ϕ·ϕ))+E0(0)(ϕ)(-β2(0)2+β4(0)+4β4(0)2(ϕ·ϕ)2)). 3.126

The functions Rn(1)(ϕ) are analytic in L(1), with:

L(1):={ϕC4ϕ|λ1|-1/4,Imϕ|λ1|-1/4}, 3.127

and they satisfy the following bounds. Suppose first that ϕ is in the “very large” fields, ϕL(1)LL(0). Consider first R0(1)(ϕ). Recall the estimates (3.113) for β4(0) and β2(0) and (3.106) for E0(0)(ϕ). Using that, for λ small enough,

Cλ32Lϕ4+CLλϕ2+λ8Lϕ2λ6Lϕ4, 3.128

we have:

R0(1)(ϕ)δeλ6Lϕ4δec1|λ1|ϕ4, 3.129

with c1=16+|λ|12. Consider R1(1)(ϕ). Proceeding as for R0(1)(ϕ), and using also the bound (3.108) for E1(0)(ϕ):

|R1(1)(ϕ)|eCλ32Lϕ4+CλLϕ2(|E1(0)(ϕ)|+|E0(0)(ϕ)|(CLλ+CL-1λ32ϕ2))eCλ32Lϕ4+CλLϕ2+λ8Lϕ4(λ12L2+δ(CLλ+CL-1λ32ϕ2))eCλ32Lϕ4+CλLϕ2+λ8Lϕ4(λ12L2+δCLλ)(1+Kλ12L2ϕ2)eCλ32Lϕ4+CλLϕ2+λ8Lϕ4+Cλ12L2ϕ2(λ12L2+δCLλ). 3.130

For ϕL(1)LL(0), choosing L large enough and λ small enough, the argument of the exponential is bounded by λ6Lϕ4c1|λ1|ϕ4. At the same time, the argument of the last parenthesis is bounded by (λ/2L)1/2|λ1|1/2. Therefore:

|R1(1)(ϕ)||λ1|12ec1|λ1|ϕ4. 3.131

Finally, consider R2(1)(ϕ). Proceeding as for R1(1)(ϕ), we get:

|R2(1)(ϕ)|eCλ32Lϕ4+CλLϕ2·(|E2(0)(ϕ)|+|E1(0)(ϕ)|(CLλ+CL-1λ32ϕ2)+|E0(0)(ϕ)|(CL2λ2+CL-1λ32+CL-2λ3ϕ4)). 3.132

Using that, recalling the bounds (3.108) for En(0)(ϕ), n=1,2:

|E1(0)(ϕ)|(CLλ+CL-1λ32ϕ2)|E1(0)(ϕ)|CLλ(1+KL-2λ12ϕ2)CL-2λ32eλ8Lϕ4+Kλ12L2ϕ2, 3.133

and that, recalling the bound (3.106) for E0(0)(ϕ), for λ small enough:

|E0(0)(ϕ)|(CL2λ2+CL-1λ32+CL-2λ3ϕ4)|E0(0)(ϕ)|2CL-1λ32(1+KL-1λ32ϕ4)2CL-1λ32δeλ8Lϕ4+Kλ32Lϕ4. 3.134

Putting everything together, taking λ small enough and L large enough, for ϕL(1)LL(0) and for a suitable universal constant C>0 we get:

|R2(1)(ϕ)|eCλ32Lϕ4+Cλ12L2ϕ2+λ8Lϕ4(L-4λ+L-2λ32+CL-1λ32)|λ1|ec1|λ1|ϕ4. 3.135

This concludes the discussion of the Rn(1)(ϕ) coefficients for the “very large” field region ϕL(1)LL(0). Consider the “moderately large” field region ϕL1LS(0). Here, we use again the expressions (3.126) for the Rn(0) coefficients, together with the nonrenormalized bounds (3.77), (3.88) for En(0)(ϕ), n=0,1,2.

Recall that for ϕL1LS(0), we can use the bound ϕLλ-14. In particular,

|eβ4(0)(ϕ·ϕ)2+iβ2(0)(ϕ·ϕ)-1|C|β4(0)|ϕ4+C|β2(0)|ϕ2KL3λ12. 3.136

Consider first R0(1)(ϕ). We get:

R0(1)(ϕ)=eβ4(0)(ϕ·ϕ)2+iβ2(0)(ϕ·ϕ)(E0(0)(ϕ)-1+1)=eβ4(0)(ϕ·ϕ)2+iβ2(0)(ϕ·ϕ)+eβ4(0)(ϕ·ϕ)2+iβ2(0)(ϕ·ϕ)(E0(0)(ϕ)-1)=1+(eβ4(0)(ϕ·ϕ)2+iβ2(0)(ϕ·ϕ)-1)+eβ4(0)(ϕ·ϕ)2+iβ2(0)(ϕ·ϕ)(E0(0)(ϕ)-1); 3.137

therefore, using (3.136) and (3.77)

|R0(1)(ϕ)-1|2KL3λ12. 3.138

Then, choosing λ small enough:

R0(1)(ϕ)e2KL3λ12=e2KL3λ12-c1|λ1|ϕ4ec1|λ1|ϕ4δec1|λ1|ϕ4,δ:=e-18<1. 3.139

In the last step, we used that ϕ|λ1|-14, since ϕL(1). Next, consider R1(1)(ϕ). We get:

|R1(1)(ϕ)|C(|E1(0)(ϕ)|+|E0(0)(ϕ)|(CLλ+CL-1λ32ϕ2))C~Lλ+2C(CLλ+CL-1λ32ϕ2)=2C~L2|λ1|+4C(CL2|λ1|+CL12|λ1|32ϕ2)|λ1|12, 3.140

where in the last step we used that ϕLλ-14, and we took λ small enough. Finally, consider R2(1)(ϕ). We get:

|R2(1)(ϕ)|C(|E2(0)(ϕ)|+|E1(0)(ϕ)|(CLλ+CL-1λ32ϕ2)+|E0(0)(ϕ)|(CL2λ2+CL-1λ32+CL-2λ3ϕ4))C(KL-1λ32+KLλ(CLλ+CL-1λ32ϕ2)+2(CL2λ2+CL-1λ32+CL-2λ3ϕ4))|λ1|, 3.141

where in the last step we used again that ϕLλ-14, and we chose λ small enough.

Let us summarize the large field analysis. The Rn(1)(ϕ) functions are analytic for ϕL(1), and for those values of ϕ they satisfy the bounds:

|R0(1)(ϕ)|δec1|λ1|ϕ4,|Rn(1)(ϕ)||λ1|n2ec1|λ1|ϕ4n=1,2, 3.142

for e-18δ<1. These bounds conclude the discussion of the integration of the scale zero.

General Integration Step

We are now ready to perform the integration of the general scale h0. We shall show inductively that the effective potentials satisfy certain properties and bounds that allow to iterate the map. These properties and bounds are the content of the next theorem.

Theorem 3.10

(Effective potential flow). Under the same assumptions of Theorem 2.2, the following is true. Let C>0, 0<ε<14 and e-18δ<1. Then, for λ small enough, there exists a unique choice μ=μ(λ)C, with |μ(λ)|Cλ, such that for any NN and for any 0hN the effective potential U(h)(Φ) can be written as:

U(h)(Φ)=e-λh(Φ·Φ)2-iμh(Φ·Φ)n=0,1,2Rn(h)(ϕ)(ψ·ψ)n 3.143

where:

|Lhλh-λ|Cλ3/2,|μh|C|λh|,λh,μhC, 3.144

and where Rn(h)(ϕ) are analytic functions in ϕS(h)L(h); the small field set S(h) and the large field set L(h) are defined as, see Fig. 2:

S(h):={ϕC4ϕ|λh|-1/4}L(h):={ϕC4ϕ>|λh|-1/4,Imϕ|λh|-1/4}. 3.145

The functions Rn(h)(ϕ) are radial for ϕR4, Rn(h)(ϕ)Rn(h)(ϕ), and R0(h)(0)=1. They satisfy the following bounds, for a universal constant C>0.

Fig. 2.

Fig. 2

Schematic picture of the relevant analyticity domains and the small field sets. The strips represent the analyticity domains S(h)L(h), S(h+1)L(h+1), L(S(h)L(h)), respectively, from darker to brighter gray. The dotted, dashed and thick circles represent, respectively, the boundary of the small field sets LS(h), S(h+1) and S(h)

Small field bounds. Let ϕS(h). Then:

|R2(h)(ϕ)||λh|2ϕ2,|R1(h)(ϕ)||λh|2ϕ4|R0(h)(ϕ)-1||λh|2ϕ6. 3.146

Large field bounds. Let ϕL(h). Then:

|R0(h)(ϕ)|δech|λh|ϕ4,|Rn(h)(ϕ)||λh|n2ech|λh|ϕ4n=1,2, 3.147

with c0=0 and, for a universal constant K>0:

ch=16+k=0h-1K|λk|ε,for h>0. 3.148

All the statements in the theorem are trivially true on scale h=0 and have been checked on scale h=1 in Sect. 3.2.6. The goal of this section is to prove by induction that they propagate to scale h+1. To be more precise, we shall prove all but the statement concerning the existence of μ(λ) and the bounds |μh|C|λh|: This part of the proof is postponed to Appendix A.

Setting up the Integration

Recall the flow of the effective potentials, defined in Eq. (3.5):

U(h+1)(Φ)=1N(h)dμ(ζ)[U(h)(Φ/L+ζ)U(h)(Φ/L-ζ)]L32, 3.149

with normalization:

N(h)=dμ(ζ)[U(h)(ζ)U(h)(-ζ)]L32. 3.150

By the localization theorem, Theorem C.10, N(h)=1, see Remark C.12. Let us consider the integrand in Eq. (3.149), with U(h)(Φ) given as in the inductive assumptions; see (3.143)–(3.148). We introduce the notation:

f(h)(Φ):=n=0,1,2Rn(h)(ϕ)(ψ·ψ)n. 3.151

We have:

graphic file with name 23_2020_909_Equ183_HTML.gif 3.152

where:

graphic file with name 23_2020_909_Equ184_HTML.gif 3.153

We set:

[f(h)(Φ/L+ζ)f(h)(Φ/L-ζ)]L32=a_,b_Ba_,b_(h)(ϕ/L,ζϕ)L-|a_|ψa_ζψb_; 3.154

our first task will be to derive bounds for the functions Ba_,b_(h)(ϕ/L,ζϕ). To this end, the next lemma will be useful.

Lemma 3.11
  • (i)

    Suppose f(ψ) satisfies (κ,N)-bounds. Then, f(ψ±ζψ) satisfies (κ,N,N)-bounds.

  • (ii)

    Suppose f(ψ,ζψ) satisfies (κ,N,M)-bounds and let pN. Then, the function 1+f(ψ,ζψ)p-1 satisfies (Kpκ,N,M)-bounds for some constant K depending on κp only.

Proof

Proofofitem(i). For simplicity, consider h+(ψ,ζψ)=f(ψ+ζψ). Set: h+(ψ,ζψ)=a_,b_ha_,b_ψa_ζψb_. The claim follows by noticing that

(ψ+ζψ)a_=a_,b_a_+b_=a_sign(a_,b_)ψa_ζψb_ 3.155

where sign(a_,b_){-1,1} is left unspecified. Indeed,

h+(ψ,ζψ)=a_fa_(ψ+ζψ)a_=a_,b_sign(a_,b_)fa_+b_ψa_ζψb_, 3.156

and hence, |ha_,b_|=|fa_+b_|κN|a_|N|b_|.

Proofofitem(ii). By Lemma 3.3, it follows that the function (f(ψ,ζψ))p satisfies (κp,pN,pM)-bounds. For simplicity, denote by fa_,b_(p) the coefficients of (f(ψ,ζψ))p. Setting h(ψ,ζψ):=(1+f(ψ,ζψ))p-1, with coefficients ha_,b_, we notice that h(ψ,ζψ)=i=1ppi(f(ψ,ζψ))p. Therefore:

|ha_,b_|=i=1ppifa_,b_(p)pκN|a_|M|b_|i=1i8i!(pκ)i-1. 3.157

We denote the series by K and notice that Ke3exp(e3pκ).

Lemma 3.11 will be used to prove the following statements on the Ba_,b_(h) functions.

Proposition 3.12

Under the same assumptions of Theorem 3.10, the following is true. The functions Ba_,b_(h)(ϕ/L,ζϕ) are analytic in ϕC4 and in ζϕC4, provided ϕ/L±ζϕS(h)L(h). Moreover, B0_,0_(h)(0,0)=1. Also, there exists a universal constant C~>0 such that for L large enough and for λ small enough the following is true.

  • (i)
    Let ϕ/L±ζϕS(h). Then:
    |B0_,0_(h)(ϕ/L,ζϕ)-1|2|λh|12L3,|Ba_,b_(h)(ϕ/L,ζϕ)|C~|λh|12+|a_|+|b_|4L3for|a_|+|b_|>0.
  • (ii)
    Let ϕ/L+ζϕS(h) and ϕ/L-ζϕL(h). Then, for δ as in the assumptions of Theorem 3.10, see also Eq. (3.147):
    |Ba_,b_(h)(ϕ/L,ζϕ)|4δL32-|a_|+|b_|2L3(|a_|+|b_|)|λh||a_|+|b_|4eL32ch|λh|ϕ/L-ζϕ4. 3.158
  • (iii)
    Let ϕ/L±ζϕL(h). Then:
    |Ba_,b_(h)(ϕ/L,ζϕ)|4δL3-|a_|+|b_|2L3(|a_|+|b_|)|λh||a_|+|b_|4eL32ch|λh|ϕ/L-ζϕ4+L32ch|λh|ϕ/L+ζϕ4.
Proof

To begin, notice that

B0_,0_(h)(ϕ/L,ζϕ)=R0(h)(ϕ/L+ζϕ)R0(h)(ϕ/L-ζϕ)L32 3.159

and therefore R0(h)(0)=1 implies B0_,0_(h)(0,0)=1. Analyticity of the functions Ba_,b_(h)(ϕ/L,ζϕ) is an obvious consequence of the analyticity of Rn(h)(ϕ). Next, we set:

g(h)(ϕ/L,ζ):=[f(h)(Φ/L+ζ)f(h)(Φ/L-ζ)]L32=a_,b_Ba_,b_(h)(ϕ/L,ζϕ)L-|a_|ψa_ζψb_. 3.160

We also notice that for ϕ/LS(h) the inductive estimates (3.146) imply that the functions f(h)(Φ/L) and f(h)(Φ/L)-1 satisfy, respectively, (κ,N) and (κ,N) bounds, with:

(κ,N)=((1+|λh|12),L-1|λh|38),(κ,N)=(|λh|12,L-1|λh|14). 3.161

On the other hand, for ϕL(h), the inductive estimates (3.147) imply that f(Φ/L) satisfies (κ,N) bounds with:

(κ,N)=(δech|λh|ϕ4,L-1δ-12|λh|14). 3.162

Proof of item (i). By using the inductive assumption (3.146) on R0(h), we get:

|B0_,0_(h)(ϕ/L,ζϕ)-1|(1+|λh|12)L3-12|λh|12L3. 3.163

For the case n>0, we proceed as follows. By Lemma 3.11 part (i) and by Eq. (3.161), we know that f~(h)(Φ/L±ζ):=f(h)(Φ/L±ζ)-1 satisfies (κ,N,M)-bounds with:

κ=|λh|12,N=L-1|λh|14,M=|λh|14. 3.164

Therefore, by Lemma 3.11 part (ii), the function f(Φ/L±ζ)L32-1(1+f~(Φ/L±ζ))L32-1 satisfies (κ,N,M)-bounds with:

κ=KL32|λh|12,N=L-1|λh|14,M=|λh|14. 3.165

We then write:

g(h)(Φ/L,ζ)-1=f(h)(Φ/L+ζ)L32-1+f(h)(Φ/L-ζ)L32-1+f(h)(Φ/L+ζ)L32-1f(h)(Φ/L-ζ)L32-1. 3.166

The first two terms in the sum satisfy the (κ,N,M)-bound, (3.165). The last term satisfies a (κ,N,M)-bound, with, using Lemma 3.3:

κ=κ2,N=2N,M=2M. 3.167

The final (κ,N,M)-bound for g(Φ/L,ζ)-1 follows setting:

κ=2κ+κ2KL3|λh|12,N=L-1M=2N+N4L-1|λh|14. 3.168

We are now ready to estimate the coefficients of the function g(Φ/L,ζ) with n>1. We have:

|Ba_,b_(h)(ϕ/L,ζϕ)|2KL3|λh|124|a_|+|b_||λh||a_|+|b_|432KL3|λh|12+|a_|+|b_|4. 3.169

This concludes the proof of item (i).

Proof of item (ii). Here, we write:

g(h)(Φ/L,ζ)=f(h)(Φ/L+ζ)L32f(h)(Φ/L-ζ)L32 3.170

and we use that the (κ,N,M) bound of g(h)(Φ/L,ζ) is such that, by Lemma 3.3:

κ=κ+κ-,N=N++N-,M=M++M- 3.171

where the quantities labeled by the sign η=± correspond to f(h)(Φ/L+ηζ)L32. Then, by Eqs. (3.161), (3.162), and using again Lemma 3.3:

κ+=(1+|λh|12)L32,N+=L22|λh|38,M+=L32|λh|38κ-=δL32echL32|λh|ϕ/L-ζϕ4,N-=L22δ-12|λh|14,M-=L32δ-12|λh|14. 3.172

From this, the proof of item (ii) easily follows.

Proof of item (iii). We proceed as in the proof of item (ii), except that now all functions depend on large fields. Hence, we shall use the (κ,N,M)-bounds for g(h) generated by Eq. (3.162). We easily get:

κ=δL3eL32ch|λh|ϕ/L-ζϕ4+L32ch|λh|ϕ/L+ζϕ4,N=L-1M=L2δ-12|λh|14, 3.173

which implies item (iii).

Recalling the expression (3.152), (3.153), we rewrite:

graphic file with name 23_2020_909_Equ205_HTML.gif 3.174

where:

Vb(h)(Φ,ζϕ)=4λhL(ϕ·ζϕ)2+2λhL(Φ·Φ)(ζϕ·ζϕ)+λhL3(ζϕ·ζϕ)2+iμhL3(ζϕ·ζϕ)Vf(h)(Φ,ζ)=λhL3(ζψ·ζψ)2+2λhL3(ζψ·ζψ)(ζϕ·ζϕ)+4λhL(ψ·ζψ)2+2λhL(Φ·Φ)(ζψ·ζψ)+8λhL(ψ·ζψ)(ϕ·ζϕ)+iμhL3(ζψ·ζψ); 3.175

we rewrite:

U(h+1)(Φ)=e-λhL(Φ·Φ)2-iLμh(Φ·Φ)dμϕ(ζϕ)e-Vb(h)(Φ,ζϕ)·dμψ(ζψ)e-Vf(h)(Φ,ζ)a_,b_Ba_,b_(h)(ϕ/L,ζϕ)L-|a_|ψa_ζψb_.

In the next section, we shall discuss the integration of the fermionic fluctuation field ζψ.

Integration of the Fermionic Fluctuation

The goal of this section is to compute:

dμψ(ζψ)e-Vf(h)(Φ,ζ)a_,b_Ba_,b_(h)(ϕ/L,ζϕ)L-|a_|ψa_ζψb_. 3.176

The integration is performed by expanding the exponential, and by using the fermionic Wick’s rule to integrate the field ζψ. By Corollary C.2, the outcome of the integration depends on the field ψ only via the combination (ψ·ψ). That is:

dμψ(ζψ)e-Vf(h)(Φ,ζ)a_,b_Ba_,b_(h)(ϕ/L,ζϕ)L-|a_|ψa_ζψb_=n=0,1,2Cn(h)(ϕ/L,ζϕ)(ψ·ψ)nL-2n, 3.177

for suitable functions Cn(h). The next proposition collects important properties of these functions.

Proposition 3.13

Under the same assumptions of Theorem 3.10, the following is true. The functions Cn(h)(ϕ/L,ζϕ) are analytic in ϕ,ζϕ, provided ϕ/L±ζϕS(h)L(h). Let

αh(ϕ,ζϕ):=1+|λh|Lϕ2+|λh|L3ζϕ2+|λh|32L4ϕ2ζϕ2. 3.178

Then, there exists a universal constant K>0 such that the following bounds hold true.

  • (i)
    Let ϕ/L±ζϕS(h). Then,
    |Cn(h)(ϕ/L,ζϕ)-δn,0|Kαh(ϕ,ζϕ)|λh|n2·(|λh|12L3+|λh|Lϕ2+|λh|L3ζϕ2+|λh|32L4ϕ2ζϕ2).
  • (ii)
    Let ϕ/L+ζϕS(h) and ϕ/L-ζϕL(h). Then,
    |Cn(h)(ϕ/L,ζϕ)|Kαh(ϕ,ζϕ)2δL32-nL6n|λh|n2eL32ch|λh|ϕ/L-ζϕ4. 3.179
  • (iii)
    Let ϕ/L±ζϕL(h). Then,
    |Cn(h)(ϕ/L,ζϕ)|Kαh(ϕ,ζϕ)2δL3-nL6n|λh|n2eL32ch|λh|ϕ/L-ζϕ4+L32ch|λh|ϕ/L+ζϕ4. 3.180
Proof

The functions Cn(h)(ϕ/L,ζϕ) have the same analyticity domain of the functions Ba_,b_(h)(ϕ/L,ζϕ) because e-Vf(h)(Φ,ζ) has entire coefficients and because fermionic integration preserves analyticity.

In order to prove bounds for the functions Cn(h), we shall first derive (κ,N,M)-bounds for the function e-Vf(h)(Φ,ζ). These are proven as in the discussion of the integration of scale zero, see Eqs. (3.20)–(3.26), with the only difference that now λ and μ are replaced, respectively, by λh and μh. We get:

κ=1,N=3L-1|λh|14,M=8|λh|14L32+(2λL)12ϕ+(2|λh|L3)12ζϕ+8|λh|34L2ϕζϕ. 3.181

Recall the definition of the function g(h)(Φ/L,ζ), Eq. (3.160).

Proof of item (i). The goal is to obtain (κ,N,M)-bounds for

h(h)(ψ;ϕ,ζϕ):=(dμψ(ζψ)e-Vf(h)(Φ,ζ)g(h)(Φ/L,ζ))-1hI(h)(ψ;ϕ,ζϕ)+hII(h)(ψ;ϕ,ζϕ),hI(h)(ψ;ϕ,ζϕ):=dμψ(ζψ)e-Vf(h)(Φ,ζ)(g(h)(Φ/L,ζ)-1)hII(h)(ψ;ϕ,ζϕ):=dμψ(ζψ)(e-Vf(h)(Φ,ζ)-1).

Consider first the term hII(h). Proceeding as in the proof of Proposition 3.6 for the integration of scale zero (simply replacing λ and μ with λh and μh), this function satisfies (κ,N)-bounds with; recall Eq. (3.35):

κ=C~αh(ϕ,ζϕ)(|λh|12L3+|λh|Lϕ2+|λh|L3ζϕ2+|λh|32L4ϕ2ζϕ2)αh(ϕ,ζϕ):=1+|λh|Lϕ2+|λh|L3ζϕ2+|λh|32L4ϕ2ζϕ2N=3L-1|λh|14. 3.182

The condition ϕ/L±ζϕS(h) implies that ζϕ|λh|-14, ϕL|λh|-14. Therefore:

κ8C~L6|λh|12. 3.183

Consider now hI(h). As proven in the proof of Proposition 3.13, see Eqs. (3.166)–(3.168), the function g(h)(Φ/L,ζ)-1 satisfies (κ,N,M)-bounds with:

κ=2KL3|λh|12,N=4L-1|λh|14,M=4|λh|14. 3.184

To deduce bounds for hI(h)(ψ;ϕ,ζϕ), we use Lemma 3.5. We get that hI(h)(ψ;ϕ,ζϕ) satisfies (κ,N)-bounds, with:

κ=κ(1+12M2+2M4)4KL3|λh|12N=N=4L-1|λh|14. 3.185

The final (κ~,N~)-bounds for h(h)=hI(h)+hII(h) are obtained summing the estimates for the corresponding parameters of hI(h) and hII(h). The final claim follows using that (Cn(h)-δn,0)L-2n are the coefficients of the expansion of h(h) in (ψ·ψ)n.

Proof of item (ii). By Proposition 3.12, g(h)(Φ/L,ζ) satisfies (κ,N,M)-bounds with:

κ=4δL32eL32ch|λh|ϕ/L-ζϕ4,N=δ-12L2|λh|14,M=δ-12L3|λh|14. 3.186

On the other hand, the function e-Vf(h)(Φ,ζ) satisfies (κ,N,M)-bounds with, see Eq. (3.26) with λ replaced by |λh|:

κ=1,N=3L-1|λh|14,M=8|λh|14L32+(2|λh|L)12ϕ+(2|λh|L3)12ζϕ+8|λh|34L2ϕζϕ. 3.187

Therefore, by Lemma 3.3, e-Vf(h)(Φ,ζ)g(h)(Φ/L,ζ) satisfies (κ,N,M)-bounds with, for L large enough:

κ=κκ=4δL32eL32ch|λh|ϕ/L-ζϕ4N=N+N2δ-12L2|λh|14,M=M+M2δ-12L3|λh|14+(2|λh|L)12ϕ+(2|λh|L3)12ζϕ+8|λh|34L2ϕζϕ. 3.188

Next, by Lemma 3.5, the outcome of the Grassmann integration satisfies (κ,N)-bounds with:

κ=κ(1+12M2+2M4)KδL32eL32ch|λh|ϕ/L-ζϕ4αh(ϕ,ζϕ)2N=N2δ-12L2|λh|14, 3.189

from which the bound (3.179) easily follows.

Proof of item (iii). By Proposition 3.12, g(h)(Φ/L,ζ) satisfies (κ,N,M)-bounds with:

κ=4δL3eL32ch|λh|ϕ/L-ζϕ4+L32ch|λh|ϕ/L+ζϕ4N=δ-12L2|λh|14,M=δ-12L3|λh|14, 3.190

while e-Vf(h)(Φ,ζ) satisfies (κ,N,M)-bounds (3.187). Thus, from the point of view of the estimates the only difference with respect to case (ii) is the different κ. Hence, the final bound (3.180) follows from the same argument used in item (ii).

This proposition concludes the discussion of the integration of the fermionic fluctuation field. In the next section, we shall discuss the integration of the bosonic fluctuation field.

Integration of the Bosonic Fluctuation Field

We now consider:

dμϕ(ζϕ)e-Vb(h)(Φ,ζϕ)n=0,1,2Cn(h)(ϕ/L,ζϕ)(ψ·ψ)nL-2n. 3.191

To begin, we extract from Vb(h)(Φ,ζϕ) the contribution due to the fermionic external field ψ. We proceed as for the integration of the scale zero; see Eqs. (3.36)–(3.40). We have:

e-Vb(0)(Φ,ζϕ)n=0,1,2Cn(0)(ϕ/L,ζϕ)(ψ·ψ)nL-2ne-V~b(0)(ϕ,ζϕ)n=0,1,2Dn(0)(ϕ/L,ζϕ)(ψ·ψ)nL-2n, 3.192

where:

V~b(h)(ϕ,ζϕ)=4λhL(ϕ·ζϕ)2+2λhL(ϕ·ϕ)(ζϕ·ζϕ)+λhL3(ζϕ·ζϕ)2+iμhL3(ζϕ·ζϕ)Dn(h)(ϕ/L,ζϕ)=k=0n(-2λhL3)k(ζϕ·ζϕ)kk!Cn-k(h)(ϕ/L,ζϕ). 3.193

The next proposition collects important properties of the new coefficients Dn(h).

Proposition 3.14

Under the same assumptions of Theorem 3.10, the following is true. The functions Dn(h)(ϕ/L,ζϕ) are analytic in ϕ,ζϕ, provided ϕ/L±ζϕS(h)L(h). Moreover, there exists a universal constant K>0 such that the following bounds hold true.

  • (i)
    Let ϕ/L±ζϕS(h). Then,
    |Dn(h)(ϕ/L,ζϕ)-δn,0|Kα~h(ϕ,ζϕ)|λh|n2·(|λh|12L3+|λh|Lϕ2+|λh|L3ζϕ2+|λh|32L4ϕ2ζϕ2)+K|λh|nL3nζϕ2n(1-δn,0), 3.194
    with
    α~h(ϕ,ζϕ)=αh(ϕ,ζϕ)(1+λ12L3ζϕ2+λL6ζϕ4). 3.195
  • (ii)
    Let ϕ/L-ζϕS(h), ϕ/L+ζϕL(h). Then:
    |Dn(h)(ϕ/L,ζϕ)|Kαh(ϕ,ζϕ)4δL32-nL6n|λh|n2eL32ch|λh|ϕ/L-ζϕ4. 3.196
  • (iii)
    Let ϕ/L±ζϕL(h). Then:
    |Dn(h)(ϕ/L,ζϕ)|Kαh(ϕ,ζϕ)4δL3-nL6n|λh|n2eL32ch|λh|ϕ/L-ζϕ4+L32ch|λh|ϕ/L+ζϕ4. 3.197
Proof

The statement about analyticity follows immediately from the analyticity of the Cn(h) functions. Also, the proof of item (i) is identical to the proof of Proposition 3.7, since the bounds for the Cn(h) functions for ϕ/L±ζϕS(h) are identical to the bounds for the Cn(0) functions, after replacing λ with |λh|; compare (3.32) with (3.179). Let us now discuss the proof of the remaining two items.

Proof of part (ii). The statement for n=0 is trivial, since D0(h)=C0(h). Suppose now that n0. We write:

|Dn(h)(ϕ/L,ζϕ)|Kk=0n|λh|kL3kζϕ2k|Cn-k(h)(ϕ/L,ζϕ)|. 3.198

Plugging in the bound (3.179) for Cn-k(h), we get:

|Dn(h)(ϕ/L,ζϕ)|Kαh(ϕ,ζϕ)2δL32-nL6n|λh|n2eL32ch|λh|ϕ/L-ζϕ4·k=0n|λh|kL3kζϕ2kδkL-6k|λh|-k2Kαh(ϕ,ζϕ)2δL32-nL6n|λh|n2eL32ch|λh|ϕ/L-ζϕ4·(1+|λh|12ζϕ2+|λh|ζϕ4) 3.199

where in the last step we chose L large enough. The final claim (3.196) follows from

αh(ϕ,ζϕ)2(1+|λh|12ζϕ2+|λh|ζϕ4)αh(ϕ,ζϕ)4. 3.200

Proof of item (iii). The proof of item (iii) is identical to the proof of item (ii), the only difference being that one has to use the bound (3.180) for the functions Cn-k(h). We omit the details.

Proposition 3.14 implies that the functions Dn(h) satisfy the following (non-optimal) bound, for all values of ϕ,ζϕ such that ϕ/L±ζϕS(h)L(h):

|Dn(h)(ϕ/L,ζϕ)|CL|λh|n2(1+|λh|ζϕ4)4e|λh|32Lϕ4eL32ch|λh|ϕ/L-ζϕ4+L32ch|λh|ϕ/L+ζϕ4, 3.201

where we used that

αh(ϕ,ζϕ)K(1+|λh|ζϕ4)e|λh|32Lϕ4, 3.202

for λ small enough. This bound will be used to estimate the remainder terms of the stationary phase expansion.

Small Field Regime

We define:

En(h)(ϕ)=L-2ndμϕ(ζϕ)e-V~b(h)(ϕ,ζϕ)Dn(h)(ϕ/L,ζϕ), 3.203

in terms of which the effective potential can be rewritten as:

U(h+1)(Φ)=e-λhL(Φ·Φ)2-iLμh(Φ·Φ)n=0,1,2En(h)(ϕ)(ψ·ψ)n. 3.204

We proceed in a way analogous to the integration of scale zero; see Sect. 3.2.4. To begin, we have to prove that the bounds we derived on the functions Dn(h) are compatible with integrability. This is an immediate consequence of the following bound, whose proof is deferred to Appendix B.

Proposition 3.15

Let ε>0 as in the inductive assumptions (3.148). Suppose that Imζϕ|λh|-14+ε, Im(ϕ/L±ζϕ)|λh|-14. Suppose that ch is as in Eq. (3.148). Then:

|e-V~b(h)(ϕ,ζϕ)echL32λhϕ/L+ζϕ4+chL32λhϕ/L-ζϕ4|CLe-|λh|L32ζϕ4+(ch+|λh|4ε)|λh|Lϕ4. 3.205

Proposition 3.15 together with the bound (3.201) immediately implies the following estimate, for Imζϕ|λh|-14+ε, Im(ϕ/L±ζϕ)|λh|-14:

L-2n|e-V~b(h)(ϕ,ζϕ)Dn(h)(ϕ/L,ζϕ)|CL|λh|n2e-|λh|L34ζϕ4+c^h|λh|Lϕ4, 3.206

with c^h=ch+|λh|12+|λh|4ε.

Next, recall that, by Proposition 3.14, the integrand is analytic in ϕ and ζϕ, provided ϕ/L±ζϕS(h)L(h). Therefore, since in the integral ζϕR4, the integrand is analytic for ϕLS(h). Moreover, thanks to Proposition 3.15, for these values of ϕ the integrand is absolutely integrable in ζϕ. In conclusion, by dominated convergence and by Morera’s theorem, the function En(h)(ϕ) is analytic in ϕLS(h).

Let us now derive estimates for En(h)(ϕ). The analysis is similar to the one performed for the integration of the scale zero, Sect. 3.2.4. For reasons that will be clear in a moment, in what follows we shall restrict ourselves to a smaller domain ϕ(L/2)S(h).

We write, by stationary phase expansion:

En(h)(ϕ)=L-2nDn(h)(ϕ/L,0)+L-2nd1(Δe-V~b(h)(ϕ,·)Dn(h)(ϕ/L,·))(0)+L-2nE2(e-V~b(h)(ϕ,·)Dn(h)(ϕ/L,·)). 3.207

By Eq. (3.194):

L-2n|Dn(h)(ϕ/L,0)-δn,0|KL3-2n|λh|12+n2. 3.208

Consider now the second term in Eq. (3.207). We have:

L-2n(Δe-V~b(h)(ϕ,·)Dn(h)(ϕ/L,·))(0)=L-2n(Δe-V~b(h)(ϕ,·))(0)Dn(h)(ϕ/L,0)+L-2n(ΔDn(h)(ϕ/L,·))(0); 3.209

the first term is estimated using the analogue of the bound (3.69). We have:

|(Δe-V~b(h)(ϕ,·))(0)|=|(ΔV~b(h)(ϕ,·))(0)|K(|λh|Lϕ2+|μh|L3)K|λh|12L3. 3.210

Hence, using Proposition 3.14 part (i), together with the bound (3.210) we get:

L-2n|(Δe-V~b(h)(ϕ,·))(0)Dn(h)(ϕ/L,0)|K~L6-2n|λh|n2+1. 3.211

The second term in Eq. (3.209) is bounded using a Cauchy estimate, for ζϕ(1/2)|λh|-1/4, in order to make sure that ϕ/L±ζϕS(h). We have, proceeding as in Eqs. (3.83)–(3.85):

L-2n|(ΔDn(h)(ϕ/L,·))(0)CL|λh|n2+1. 3.212

Finally, consider the third term in Eq. (3.207). This term will be estimated using Lemma 3.9, which requires analyticity in ζϕ in RW4. We shall choose W=|λh|-14+ε; due to the restriction to the smaller set of fields ϕ(L/2)S(h), the condition ζϕRW4 implies that ϕ/L±ζϕS(h)L(h); hence, the argument of the integral in Eq. (3.203) is analytic in ϕ(L/2)S(h) and in ζϕRW4. Thanks to Lemma 3.9 and the bound (3.206), we get:

L-2n|E2(e-V~b(h)(ϕ,·)Dn(h)(ϕ/L,·))|KL|λh|n2+1-8ε. 3.213

In conclusion, for λ small enough uniformly in h, for all ϕ(L/2)S(h):

|En(h)(ϕ)-δn,0|2KL3-2n|λh|n2+12. 3.214

Notice that this bound is identical to the corresponding one obtained on scale zero, Eqs. (3.77), (3.88), except that now λ is replaced by |λh|. Notice also that that, by supersymmetry, E0(h)(0)=1; see Remark C.12 in Appendix C.

Localization and renormalization. Next, we define a localization and a renormalization procedure, restricting the set of allowed values of ϕ. Given λh+1C (to be determined later) such that |Lλh+1-λh|C|λh|32, we define:

S(h+1):={ϕC4ϕ|λh+1|-1/4}(L/2)S(h). 3.215

Notice that, for some universal constant c>0:

dist(S(h+1),(L/2)S(h)c)cL|λh|-14. 3.216

We set En(h)(ϕ)=δn,0+LEn(h)(ϕ)+REn(h)(ϕ) with:

LEn(h)(ϕ):=E2(h)(0)if n=2E1(h)(0)+12(ϕ·ϕ)ϕ2E1(h)(0)ifn=112(ϕ·ϕ)ϕ2E0(h)(0)+14!(ϕ·ϕ)2ϕ4E0(h)(0)ifn=0. 3.217

Arrived at this point, the discussion of the small field regime is identical to the one for scale zero, see Eqs. (3.93)–(3.96), except that in all estimates one has to replace λ with |λh|. We get, by the bound (3.214), using Cauchy estimates for ϕS(h+1):

|RE2(h)(ϕ)|KL-3|λh|2ϕ2,|RE1(h)(ϕ)|KL-3|λh|2ϕ4,|RE0(h)(ϕ)|KL-3|λh|2ϕ6. 3.218

Concerning the contribution of the L-term, we set:

γψ,2(h):=E1(h)(0),γϕ,2(h):=12ϕ2E0(h)(0)γψψ,4(h):=E2(h)(0),γϕψ,4(h):=12ϕ2E1(h)(0),γϕϕ,4(h):=14!ϕ4E0(h)(0). 3.219

By supersymmetry, see Corollary C.9, Appendix C:

γψ,2(h)=γϕ,2(h)=:γ2(h),γψψ,4(h)=12γϕψ,4(h)=γϕϕ,4(h)=:γ4(h). 3.220

Also, by Cauchy estimates:

|γ4(h)|KL-1|λh|32,|γ2(h)|KL|λh|. 3.221

This concludes the small field analysis.

Large Field Regime

To begin, notice that the function En(h)(ϕ) is analytic in ϕLL(h). This follows from the analyticity in ϕ, ζϕ of the argument of the integral in Eq. (3.203), which holds provided ϕ/L±ζϕS(h)L(h), and from the bound (3.206), which ensures integrability in ζϕ. As for the small field regime, analyticity in ϕLL(h) follows from dominated convergence and from Morera’s theorem. We shall now prove bounds for En(h)(ϕ), in the domain:

L(h+1):={ϕC4ϕ>|λh+1|-14,Imϕ|λh+1|-14}, 3.222

with λh+1 as in the small field regime (to be determined later). Notice that ϕL(h+1) implies Imϕ(1/2)|λh|-14 provided that L is large enough.

We compute Enh(ϕ) performing one step of stationary phase expansion. We have:

En(h)(ϕ)=L-2ndμϕ(ζϕ)e-V~b(h)(ϕ,ζϕ)Dn(h)(ϕ/L,ζϕ)=L-2nDn(h)(ϕ/L,0)+L-2nE1(e-V~b(h)(ϕ,·)Dn(h)(ϕ/L,·)). 3.223

We shall discuss the relevant bounds separately in the regions ϕL(h+1)LS(h) and ϕL(h+1)LS(h)c.

CaseϕL(h+1)LS(h)_. We estimate the first term in Eq. (3.223) as in (3.209), since the bound holds for any ϕLS(h):

L-2n|Dn(h)(ϕ/L,0)|δn,0+KL3-2n|λh|12+n2.

Consider now the remainder term of the stationary phase expansion in Eq. (3.223).

By the bound (3.206), together with Lemma 3.9, for W=|λh|-14+ε:

L-2nE1e-V~b(h)(ϕ,·)Dn(h)(ϕ/L,·)CL|λh|n2+12-6εec^h|λh|Lϕ4.

Therefore, proceeding as we did for the bound (3.139), for λ small enough:

|E0(h)(ϕ)|1+KL|λh|12+CL|λh|n2+12-6εec^h|λh|Lϕ4.δ~ec^h|λh|Lϕ4, 3.224

with δ~<δ, say δ~=e-16. Similarly, for n=1,2:

|En(h)(ϕ)|KL3-2n|λh|n2+12+CL|λh|n2+12-6εec^h|λh|Lϕ4L-2n|λh|n2ec^h|λh|Lϕ4. 3.225

CaseϕL(h+1)LS(h)c_. We estimate the first term in Eq. (3.223) by using Proposition 3.14 item (iii). We have, for L large enough:

L-2n|e-V~b(h)(ϕ,0)Dn(h)(ϕ/L,0)|Kαh(ϕ,0)4δL3-nL6n|λh|n2ech|λh|Lϕ4δL32|λh|n2ec^h|λh|Lϕ4, 3.226

with c^h as in Eq. (3.206). We used that αh(ϕ,0)=1+|λh|Lϕ2e|λh|Lϕ2K~e|λh|32Lϕ4 for a universal constant K~, for λ small enough. Concerning the remainder term, it is bounded as before.

In conclusion, for δ~<δ as in Eq. (3.224), for L large enough and λ small enough:

|E0(h)(ϕ)|δ~ec^h|λh|Lϕ4,|En(h)(ϕ)|L-2n|λh|n2ec^h|λh|Lϕ4(n=1,2). 3.227

This concludes the discussion of the large field regime.

The Effective Potential on Scale h+1

We obtained:

U(h+1)(Φ)=e-λhL(Φ·Φ)2-iμhL(Φ·Φ)n=0,1,2En(h)(ϕ)(ψ·ψ). 3.228

The functions En(h)(ϕ) are analytic for ϕLS(h)LL(h+1). Moreover, they satisfy the bounds (3.214) for ϕLS~(h) and the bounds (3.227) for ϕL(h+1). Instead, the renormalized functions REn(h) satisfy the bounds (3.218) in the domain S(h+1).

As we did after the integration of the scale zero, we now redefine the effective coupling constant and the chemical potential, taking into account the terms extracted in the renormalization procedure.

Small field bounds. Here, we proceed exactly as for the corresponding discussion on scale zero, Eqs. (3.110)–(3.124). The only difference is that now λ is replaced by λh. We get, for ϕS(h+1):

U(h+1)(Φ)=e-λh+1(Φ·Φ)2-iμh+1(Φ·Φ)n=0,1,2Rn(h+1)(ϕ)(ψ·ψ)n, 3.229

with:

λh+1:=L-1λh+β4(h),μh+1:=Lμh+β2(h)β2(h)=iγ2(h),β4(h)=-γ4(h)-γ2(h)22, 3.230

hence |β2(h)|KL|λh| and |β4(h)|KL-1|λh|32, by the bounds (3.221). The functions Rn(h+1)(ϕ) are analytic in ϕS(h+1) and satisfy the bounds:

|R2(h+1)(ϕ)||λh+1|2ϕ2,|R1(h+1)(ϕ)||λh+1|2ϕ4,|R0(h+1)(ϕ)-1||λh+1|2ϕ6. 3.231

Large field bounds. Proceeding as for the scale zero, Eqs. (3.125)–(3.142), we rewrite the effective potential as in Eq. (3.229), where now the functions Rn(h+1)(ϕ) satisfy the bounds, for ϕL(h+1):

|R0(h+1)(ϕ)|δech+1|λh+1|ϕ4,|Rn(h+1)(ϕ)||λh+1|n2ech+1|λh+1|ϕ4n=1,2, 3.232

with ch+1=c^h+|λh|12. This concludes the check of the inductive assumptions for the effective potential on scale h+1 and concludes the proof of Theorem 3.10.

Proof of Theorem 2.2

Setting up the Multiscale Analysis

In this section, we shall adapt the method developed in Sect. 3 to the computation of the two-point correlation function, in order to prove Theorem 2.2. The same method could be applied to the evaluation of higher correlations, with a larger number of internal degrees of freedom. We will omit this extension.

By supersymmetry, it will be enough to study the bosonic two-point function; see Eq. (4.7). Following Eq. (2.9), we rewrite the fields ϕx+, ϕy- as:

ϕx+ϕx(0)+=1LϕL-1x(1)++Axζϕ,L-1x(0)+ϕy-ϕy(0)-=1LϕL-1y(1)-+Ayζϕ,L-1y(0)-. 4.1

Let L-1xL-1y. For the sake of notation, in this section we shall drop the spin label, unless otherwise stated. We compute the two-point correlation function with equal spins; by spin symmetry, the two-point correlation function with different spins is trivially zero. Plugging the decomposition (4.1) in ϕx+ϕy-, and using that:

dμ(ζ(0))[U(0)(L-1Φ+ζ(0))U(0)(L-1Φ-ζ(0))]L32ζϕ,L-1x(0)±=0x, 4.2

we get:

ϕx+ϕy-N=L-2ϕL-1x(1)+ϕL-1y(1)-N. 4.3

This procedure can be iterated. Let kN be the first integer such that L-kx=L-ky. Then, for all hk:

ϕx+ϕy-N=L-2(h-1)ϕL-h+1x(h-1)+ϕL-h+1y(h-1)-NL-2(k-1)ϕL-k+1x(k-1)+ϕL-k+1y(k-1)-N. 4.4

We are left with discussing the evaluation of ϕL-k+1x(k-1)+ϕL-k+1y(k-1)-N. To begin:

ϕL-k+1x(k-1)+ϕL-k+1y(k-1)-N=dμ(Φ(0))zΛ(0)U(0)(Φz(0))ϕL-k+1x(k-1)+ϕL-k+1y(k-1)-=dμ(Φ(k-1))xΛ(k-1)U(k-1)(Φx(k-1))ϕL-k+1x(k-1)+ϕL-k+1y(k-1)- 4.5

where the functions U(k-1)(·) are the outcome of the construction of Sect. 3 (we again used that N(h)=1 for all h, by SUSY). Again by SUSY, see Remark C.12:

(ϕL-k+1x(k-1)+ϕL-k+1y(k-1)-+ψL-k+1x(k-1)+ψL-k+1y(k-1)-)N=0. 4.6

It therefore suffices to compute the bosonic two-point function, since Eq. (4.6) together with the previous discussion implies

ϕx+ϕy-N=-ψx+ψy-N. 4.7

Integration of the Nontrivial Scales

We write:

ϕz(k-1)±=1LϕL-1z(k)±+Azζϕ,L-1z(k-1)±; 4.8

plugging this identity in Eq. (4.5), and using again that the average of odd functions is zero:

ϕL-k+1x(k-1)+ϕL-k+1y(k-1)-N=1L2ϕL-kx(k)+ϕL-ky(k)-N+AL-k+1xAL-k+1yζϕ,L-kx(k-1)+ζϕ,L-ky(k-1)-Nh=kN+1AL-h+1xAL-h+1yL2(h-k)ζϕ,L-hx(h-1)+ζϕ,L-hy(h-1)-N. 4.9

Notice that, by definition of scale k, L-hx=L-hy for all hk. Moreover, the average in the sum does not depend on the location of the fields.

Integration of the Scale k-1

In this section, we discuss the integration of the first nontrivial scale, corresponding to the entry h=k-1 in the sum in Eq. (4.9). To evaluate ζy(k-1)+ζy(k-1)-N, yΛ(k), we proceed as follows. By definition of effective potential:

ζϕ,y(k-1)+ζϕ,y(k-1)-N=dμ(Φ(k-1))zΛ(k)xBz(k)U(k-1)(Φx(k-1))ζϕ,y(k-1)+ζϕ,y(k-1)- 4.10

which we rewrite as:

ζϕ,y(k-1)+ζϕ,y(k-1)-N=dμ(Φ(k))dμ(ζ(k-1))zΛ(k)xBz(k)U(k-1)(Φz(k)/L+Axζz(k-1))·ζϕ,y(k-1)+ζϕ,y(k-1)-=dμ(Φ(k))dμ(ζ(k-1))zΛ(k)zyxBz(k)U(k-1)(Φz(k)/L+Axζz(k-1))·xBy(k)U(k-1)(Φy(k)/L+Axζy(k-1))ζϕ,y(k-1)+ζϕ,y(k-1)-dμ(Φ(k))xΛ(k)xyU(k)(Φx(k))Fk-1(k)(Φy(k)), 4.11

where we introduced:

Fk-1(k)(Φ):=dμ(ζ)[U(k-1)(Φ/L+ζ)U(k-1)(Φ/L-ζ)]L32ζϕ+ζϕ-=e-λk-1L(Φ·Φ)2-iLμk-1(Φ·Φ)·n=0,1,2(ψ·ψ)nL-2ndμϕ(ζϕ)e-V~b(k-1)(ϕ,ζϕ)ζϕ+ζϕ-Dn(k-1)(ϕ,ζϕ);

the last step follows from the integration of the fermionic fields, discussed in Sects. 3.3.13.3.2, and from the definition of the D(k-1) functions; recall Eq. (3.192). We now discuss the integration of the bosonic fluctuation field, which we shall perform via a stationary phase expansion. We have:

n=0,1,2(ψ·ψ)nL-2ndμϕ(ζϕ)e-V~b(k-1)(ϕ,ζϕ)ζϕ+ζϕ-Dn(k-1)(ϕ,ζϕ)=-in=0,1,2(ψ·ψ)nL-2nDn(k-1)(ϕ,0)+n=0,1,2(ψ·ψ)nE2(Yn(k-1)(ϕ,·)), 4.12

where we defined:

Yn(k-1)(ϕ,ζϕ):=L-2ne-V~b(k-1)(ϕ,ζϕ)ζϕ+ζϕ-Dn(k-1)(ϕ,ζϕ). 4.13

Plugging the expansion (4.12) into (4.12), we get:

Fk-1(k)(Φ)=-iU(k-1)(Φ/L)L3+e-λk-1L(Φ·Φ)2-iLμk-1(Φ·Φ)n=0,1,2(ψ·ψ)nE2(Yn(k-1)(ϕ,·))-iU(k-1)(Φ/L)L3+F~k-1(k)(Φ), 4.14

where we used that, by the definition of the D(k-1) functions:

U(k-1)(Φ/L)L3=e-λk-1L(Φ·Φ)2-iLμk-1(Φ·Φ)n=0,1,2(ψ·ψ)nL-2nDn(k-1)(ϕ,0) 4.15

and we defined:

F~k-1(k)(Φ):=e-λk-1L(Φ·Φ)2-iLμk-1(Φ·Φ)n=0,1,2(ψ·ψ)nE2(Yn(k-1)(ϕ,·)). 4.16

Let us now estimate the right-hand side of Eq. (4.16). We use the bound (3.206), together with Lemma 3.9. We get, recalling the definition (4.13), for Imζϕ|λk-1|-14+ε, Im(ϕ/L±ζϕ)|λk-1|-14:

|Yn(k-1)(ϕ,ζϕ)|CL|λk-1|n2-12e-|λk-1|L34ζϕ4+c^k-1|λk-1|Lϕ4. 4.17

The extra factor |λk-1|-12 is due to the presence of ζϕ+ζϕ- in the definition of Yn(k-1). Thus, Yn(k-1)(ϕ,·) satisfies the bound (3.47) with W=|λk-1|-14+ε:

FW(Yn(k-1)(ϕ,·))=KL|λk-1|n2-32ec^k-1|λk-1|Lϕ4. 4.18

Hence, by Lemma 3.9:

|E2(Yn(k-1)(ϕ,·))|K~L|λk-1|n2+12-8εec^k-1|λk-1|Lϕ4. 4.19

Iterative Integration

Plugging Eq. (4.14) into Eq. (4.11), we get, by Theorem C.10:

ζy(k-1)+ζy(k-1)-k-1=-i+dμ(Φ(k))xΛ(k)xyU(k)(Φx(k))F~k-1(k)(Φy(k)). 4.20

We shall compute the integral in a multiscale fashion. We have, for all such that k+N:

dμ(Φ(k))xΛ(k)zyU(k)(Φx(k))F~k-1(k)(Φy(k))=dμ(Φ(k+))xΛ(k+)xL-yU(k+)(Φx(k+))F~k-1(k+)(ΦL-y(k+)), 4.21

where, denoting by xh(y):=L-h+kyΛ(h) for h>k-1:

F~k-1(h+1)(Φxh+1(y)(h+1)):=dμ(ζ)xBxh+1(y)(h+1)xxh(y)U(h)(Φxh+1(y)(h+1)/L+Axζ)·F~k-1(h)(Φxh+1(y)(h+1)/L+Axh(y)ζ). 4.22

In particular, Eqs. (4.20), (4.21) imply:

ζy(k-1)+ζy(k-1)-k-1=-i+F~k-1(N)(0). 4.23

That is,

ϕx+ϕy-N=1L2(k-1)ϕL-k+1x(k-1)+ϕL-k+1y(k-1)-N=1L2(k-1)h=kN+1AL-h+1xAL-h+1yL2(h-k)ζϕ,L-hx(h-1)+ζϕ,L-hy(h-1)-N=-iL2(k-1)h=kN+1(AL-h+1xAL-h+1yL2(h-k)+iF~h-1(N)(0)). 4.24

Let us rewrite the map (4.22) in a more symmetric way. Recalling that Az=± and that xBy(h+1)Ax=0:

F~k-1(h+1)(Φxh+1(y)(h+1))=dμ(ζ)[U(h)(Φxh+1(y)(h+1)/L+ζ)U(h)(Φxh+1(y)(h+1)/L-ζ)]L32-1·U(h)(Φxh+1(y)(h+1)/L-ζ)F~k-1(h)(Φxh+1(y)(h+1)/L+ζ). 4.25

To prove this equality, we assumed that Axh(y)=1. If not, we can reduce the discussion to this case by performing a ζ-ζ change of variable. Let us now assume inductively that:

F~k-1(h)(Φ)=e-λh(Φ·Φ)2-iμh(Φ·Φ)n=0,1,2(ψ·ψ)nGk-1;n(h)(ϕ), 4.26

with Gk-1;n(h)(ϕ) analytic in ϕS(h)L(h), and such that:

|Gk-1;n(h)(ϕ)|Ch|λk-1|12-8ε|λh|n8ech|λh|ϕ4, 4.27

for some 0<Ch2K~L. These assumptions are true for h=k; see Eq. (4.19) (there, Ck=K~L). Our goal will be to show that these bounds propagate to scale h+1.

After integrating the fermionic fluctuation field, we get:

F~k-1(h+1)(Φ)=e-λhL(Φ·Φ)2-iμhL(Φ·Φ)·dμϕ(ζϕ)e-V~b(h)(ϕ,ζϕ)n=0,1,2(ψ·ψ)nL-2nΓk-1;n(h)(ϕ/L,ζϕ), 4.28

where Γk-1;n(h)(ϕ/L,ζϕ) is analytic for ϕ/L±ζϕS(h)L(h). The (ψ·ψ)-dependence of F~k-1(h+1)(Φ) follows from (4.25) together with the fact that both U(h), F~k-1(h) depend on ψ either via (ψ·ψ), or via (ψ·ζψ), and the fermionic covariance of the Grassmann Gaussian integration dμψ(ζψ) is diagonal. The next proposition collects important bounds on the functions Γk-1;n(h).

Proposition 4.1

Let ϕ/L±ζϕS(h)L(h). Then, the following bounds hold true, for λ small enough and for a universal constant C>0:

|Γk-1;n(h)(ϕ/L,ζϕ)|Chβ^h(ϕ,ζϕ)4(1+24|λh|116)×|λk-1|12-8ε|λh|n8ech|λh|L32(ϕ+ζϕ4+ch|λh|ϕ-ζϕ4), 4.29

with:

β^h(ϕ,ζϕ):=(1+|λh|38ϕ+|λh|38ζϕ+|λh|58ϕζϕ)(1+|λh|38ζϕ). 4.30
Proof

The proof follows the same strategy of the proofs of Propositions 3.12, 3.133.14. Let us set:

f(h)(Φ):=nRn(h)(ϕ)(ψ·ψ)n,f~k-1(h)(Φ):=nGk-1;n(h)(ϕ)(ψ·ψ)ng~(h)(Φ,ζ):=f(h)(Φ+ζ)L32-1f(h)(Φ-ζ)L32-1. 4.31

In terms of these functions, F~k-1(h+1)(Φ) reads:

F~k-1(h+1)(Φ)=e-λhL(Φ·Φ)2-iμhL(Φ·Φ)·dμ(ζ)e-Vb(h)(Φ,ζϕ)-Vf(h)(Φ,ζ)g~(h)(Φ/L,ζ)f(h)(Φ/L-ζ)f~k-1(h)(Φ/L+ζ), 4.32

recall Eq. (3.175) for the definition of Vb(h), Vf(h). The functions Γk-1;n(h) in Eq. (4.32) arise after the integration of the fermionic fluctuation field. To bound them, we will use (κ,N,M)-bounds for the argument of the fermionic integration.

To begin, the bounds (3.231), (3.232), together with Lemma 3.11, imply that for ϕ-ζϕS(h)L(h) the function f(h)(Φ-ζ) satisfies (κ,N,M)-bounds with M=N and:

κ=δech|λh|ϕ-ζ4,N=|λh|14. 4.33

Next, consider g~(h)(Φ,ζ). Notice that the function g~(h) is almost identical to the function g(h) appearing in the proof of Proposition 3.12, see Eq. (3.160), the only difference being that the function f(h)(Φ±ζ)L3/2 in the definition of g(h) is replaced by f(h)(Φ±ζ)L3/2-1 in the definition of g~(h). It is then easy to see that for ϕ±ζϕS(h)L(h) the function g~(h)(Φ) satisfies (κ,N,M)-bounds, with N=M=|λh|18 and κ given by:

(i)κ=1+2KL3|λh|12,ϕ±ζϕS(h),(ii)κ=KδL32-2eL32-1ch|λh|ϕ-ζϕ4,ϕ+ζϕS(h),ϕ-ζϕL(h),κ=KδL32-2eL32-1ch|λh|ϕ+ζϕ4ϕ-ζϕS(h),ϕ+ζϕL(h),(iii)κ=KδL3-2eL32-1ch|λh|(ϕ+ζϕ4+ϕ-ζϕ4),ϕ±ζϕL(h). 4.34

These statements are proven as in the proof of Proposition 3.12. The values of N and M correspond to the worst case of the corresponding values in the proof of Proposition 3.12, taking λ small enough to get rid of multiplicative constants. Item (i) in (4.34) follows from (3.168). Item (ii) follows from (3.172). Item (iii) follows from (3.173).

Consider now f~k-1(h). The bound (4.27) together with Lemma 3.11 implies that, for ϕ+ζϕS(h)L(h), the function f~k-1(h)(Φ+ζ) satisfies (κ,N,M)-bounds with N=M and:

κ=Ch|λk-1|12-8εech|λh|ϕ+ζϕ4,N=|λh|116. 4.35

Next, consider the ζψ-dependent part of the integrand in Eq. (4.32):

e-Vf(h)(Φ,ζ)g~(h)(Φ/L,ζ)f(h)(Φ/L-ζ)f~k-1(h)(Φ/L+ζ). 4.36

By Lemma 3.3, the product g~(h)(Φ/L,ζ)f(h)(Φ/L-ζ)f~k-1(h)(Φ/L+ζ) appearing at the argument of the integral in (4.32) satisfies (κ1,N1,M1)-bounds, with

κ1=κκκ(1+|λh|14)Ch|λk-1|12-8εech|λh|L32(ϕ+ζϕ4+ϕ-ζϕ4)N1=N+N+N|λh|116(1+2|λh|116),M1=N1. 4.37

Consider now the expression in (4.36). Recall the definition (3.175) for Vf(h)(Φ,ζ) defined in Eq. (3.175), and the (κ,N,M)-bounds of (3.181). Lemma 3.3 and (4.37), (3.181) imply that (4.36) satisfies (κ2,N2,M2)-bounds with:

κ2=κ1N2|λh|116(1+3|λh|116)M2|λh|116βh(ϕ,ζϕ) 4.38

with:

βh(ϕ,ζϕ)=1+|λh|38ϕ+|λh|38ζϕ+|λh|58ϕζϕ. 4.39

We shall now compute the (κ,N)-bounds for the function obtained after integrating (4.36) in ζψ:

h~(h)(Φ,ζϕ):=dμψ(ζψ)e-Vf(h)(Φ,ζ)g~(h)(Φ/L,ζ)f(h)(Φ/L-ζ)f~k-1(h)(Φ/L+ζ). 4.40

Using Lemma 3.5 together with (4.38), we have that h~(h)(Φ,ζϕ) satisfies (κ3,N3)-bounds with:

κ3=κ2(1+12M22+2M24)κ1(1+24|λh|18)βh(ϕ,ζϕ)4N3=N2. 4.41

To conclude, we write Vb(h)(Φ,ζϕ)=V~b(h)(ϕ,ζϕ)+V^b(h)(Φ,ζϕ), with V^b(h)(Φ,ζϕ)=2λhL(ψ·ψ)(ζϕ·ζϕ); recall (3.38). The final claim will follow from estimating the coefficients in (ψ·ψ) of:

e-V^b(h)(Φ,ζϕ)h~(h)(Φ,ζϕ). 4.42

To do so, notice that the function e-V^b(h)(Φ,ζϕ) satisfies (κ4,N4)-bounds, with:

κ4=1,N4=212L12|λh|12ζϕ. 4.43

Therefore, the function (4.42) satisfies (κ5,N5)-bounds with:

κ5=κ4κ3Chβh(ϕ,ζϕ)4(1+48|λh|18)|λk-1|12-8εech|λh|L32(ϕ+ζϕ4+ϕ-ζϕ4) 4.44
N5=N4+N3|λh|116(1+3|λh|116)+212L12|λh|12ζϕ|λh|116(1+3|λh|116)(1+|λh|38ζϕ). 4.45

Finally, we get rid of factor (1+3|λh|116)(1+|λh|38ζϕ) in N5 by using that if (4.42) satisfies (κ5,N5) then it also satisfies (κ,N) bounds with:

κ=κ5(1+3|λh|116)4(1+|λh|38ζϕ)4,Chβ^h(ϕ,ζϕ)4(1+24|λh|116)|λk-1|12-8εech|λh|L32(ϕ+ζϕ4+ϕ-ζϕ4)N=|λh|116. 4.46

with β^h(ϕ,ζϕ)=βh(ϕ,ζϕ)(1+|λh|38ζϕ). This concludes the proof of Proposition 4.1.

To complete the evaluation of F~k-1(h+1)(Φ), we are now left with the integration of the bosonic fluctuation field in Eq. (4.28). By stationary phase expansion, Lemma 3.8:

F~k-1(h+1)(Φ)=e-λhL(Φ·Φ)2-iμhL(Φ·Φ)n=0,1,2(ψ·ψ)nL-2nΓk-1;n(h)(ϕ/L,0)+e-λhL(Φ·Φ)2-iμhL(Φ·Φ)n=0,1,2(ψ·ψ)nE1(Yk-1;n(h)(ϕ/L,·)),

where:

Yk-1;n(h)(ϕ/L,ζϕ):=L-2ne-V~b(h)(ϕ,ζϕ)Γk-1;n(h)(ϕ/L,ζϕ). 4.47

Consider the first term in Eq. (4.47). We have, thanks to Proposition 4.1, for ϕ/LS(h)L(h):

|L-2nΓk-1;n(h)(ϕ/L,0)|L-2nChβ^h(ϕ,0)4(1+24|λh|116)|λk-1|12-8ε|λh|n8ech|λh|Lϕ4L-2nCh(1+48|λh|116)|λk-1|12-8ε|λh|n8e(ch+|λh|14)|λh|Lϕ4, 4.48

where in the last step we used that:

β^h(ϕ,0)=1+|λh|38ϕe|λh|38ϕeCL|λh|14e|λh|5414Lϕ4 4.49

and we took into account the first exponential by (1+24|λh|116)e4CL|λh|14(1+48|λh|116). Consider now the remainder term in the stationary phase expansion. In order to bound the error, we need the analogue of (3.206) for the argument of E1. We shall rely on Proposition 3.15, together with the estimate:

β^h(ϕ,ζϕ)(1+CL|λh|14+C|λh|54ϕ4+C|λh|54ζϕ4)(1+|λh|38ζϕ)e2CL|λh|14e|λh|54(14L+C)ϕ4eC|λh|54ζϕ4. 4.50

Therefore, Eq. (4.50) and Propositions 4.1, 3.15 imply, for Imζϕ|λh|-14+2ε and ϕ/L±ζϕS(h)L(h):

|Yk-1;n(h)(ϕ/L,ζϕ)|CLCh|λk-1|12-8ε|λh|n8e-|λh|L34ζϕ4+(ch+|λh|8ε+|λh|18)|λh|Lϕ4CLCh|λk-1|12-8ε|λh|n8e-|λh|L34ζϕ4+(c^h-12|λh|4ε)||λh|Lϕ4 4.51

where we used that, for λ small enough, ch+|λh|8ε+|λh|18c^h-(1/2)|λh|4ε, since c^h=ch+|λh|12+|λh|4ε; recall the definition after Eq. (3.206). The factor -|λh|4ε will be useful later on. Hence, by Lemma 3.9:

|E1(Yk-1;n(h)(ϕ/L,·))|KLCh|λk-1|12-8ε|λh|n8+12-12εe(c^h-12|λh|4ε)|λh|Lϕ4. 4.52

All in all, putting together Eqs. (4.47), (4.48), (4.52), we get:

F~k-1(h+1)(Φ)=e-λhL(Φ·Φ)2-iμhL(Φ·Φ)n=0,1,2(ψ·ψ)nG~k-1;n(h+1)(ϕ), 4.53

for some new functions G~k-1;n(h+1)(ϕ) analytic in ϕS(h+1)L(h+1), satisfying the bound:

|G~k-1;n(h+1)(ϕ)|Ch(1+48|λh|116)|λk-1|12-8ε|λh+1|n8e(c^h-12|λh|4ε)|λh|Lϕ4. 4.54

Notice that we used the factor L-2n in Eq. (4.48) to update the prefactor |λh|n8 to |λh+1|n8. Let us now update the running coupling constant appearing in the explicit exponential prefactor in Eq. (4.53). We write:

F~k-1(h+1)(Φ)=e-λhL(Φ·Φ)2-iμhL(Φ·Φ)n=0,1,2(ψ·ψ)nG~k-1;n(h+1)(ϕ)e-λh+1(Φ·Φ)2-iμh+1(Φ·Φ)Gk-1(h+1)(Φ),Gk-1(h+1)(Φ):=e+β4(h)(Φ·Φ)2+iβ2(h)(Φ·Φ)n=0,1,2(ψ·ψ)nG~k-1;n(h+1)(ϕ)=:n=0,1,2(ψ·ψ)nGk-1;n(h+1)(ϕ), 4.55

where in the last step we expanded the overall exponential as a polynomial in (ψ·ψ), and collected terms of the same powers. We shall now prove bounds for the new functions Gk-1;n(h+1)(ϕ) and check the inductive assumption (4.27). We notice that the function eβ4(h)(Φ·Φ)2+iβ2(h)(Φ·Φ) satisfies (κ,N)-bounds with:

κ=e|β2(h)|ϕ2+|β4(h)|ϕ4(1+2C2L3|λh|12)e2C|λh|32ϕ4L,N=|β2(h)|12+212|β4(h)|12ϕ+|β4(h)|14|λh+1|14eC|λh|32ϕ4L, 4.56

where we used the bounds |β2(h)|CL|λh| and |β4(h)|CL-1|λh|32 (see after Eq. (3.230)) and Lemma 3.3. All in all, Eq. (4.56), together with the bound (4.54), gives, again using Lemma 3.3:

|Gk-1;n(h+1)(ϕ)|Ch(1+K|λh|116)|λk-1|12-8ε|λh+1|n8e(ch-14|λh|ε)|λh|Lϕ4Ch(1+K|λh|116)|λk-1|12-8ε|λh+1|n8ech+1|λh+1|ϕ4 4.57

where ch+1=c^h+|λh|12+|λh|, see Eqs. (3.232), (3.227), and we used that |λh|L|λh+1|(1+2C|λh|12). Also, by construction, the new functions Gk-1;n(h+1)(ϕ) are analytic in ϕS(h+1)L(h+1). In conclusion, the inductive assumption Eq. (4.27) is true on scale h+1, with:

Ch+1=Ch(1+K|λh|116)Ckj=kN(1+K|λj|116)2Ck. 4.58

Conclusion

We are now ready to compute the two-point correlation function; recall Eq. (4.24). We have:

ϕx,σ+ϕy,σ-=-iδσ,σL2(k-1)h=kN+1AL-h+1xAL-h+1yL2(h-k)+EN(x,y)EN(x,y)=ih=kN+1F~h-1(N)(0)|EN(x,y)|h=kN+12K~L|λh-1|12-8εKL(λL2(k-1))12-8ε, 4.59

where the last bound follows from F~k-1(N)(0)=Gk-1;0(N)(0) together with (recall (4.27)):

|Gk-1;0(N)(0)|CN|λk|12-8ε2K~L|λk-1|12-8ε. 4.60

This concludes the proof of Theorem 2.2.

Acknowledgements

Our work has been supported by the Swiss National Science Foundation via the Grant “Mathematical Aspects of Many-Body Quantum Systems.” M. P. and L. F. acknowledge financial support from the ERC Starting Grant MaMBoQ, Grant Agreement No. 802901. We thank the Isaac Newton Institute (Cambridge) and the organizers of the INI thematic period “Scaling limits, rough paths, quantum field theory,” where part of this paper was written. We thank the anonymous referees for useful comments on a previous version of the paper.

A The Flow of the Chemical Potential

In this section, we shall control the flow of the chemical potential μh. Before starting, it is important to recall that the induction of Sect. 3.3, that allowed to construct the effective potential on all scales, works provided the sequence of chemical potentials {μk}k=0N is bounded as |μk|C|λk|. In particular, it is important to notice that the constant C can be chosen arbitrarily large, provided λ is small enough. For these sequences of chemical potentials, the effective quartic coupling behaves as desired, namely |λk-λLk|Kλ32Lk, with K dependent on C, in general.

Here, we shall show that there exists a unique choice of μ such that indeed the sequence {μk} satisfies the desired bounds. This is the content of the next proposition.

Proposition A1

For C¯>0 large enough, there exists a unique μC, μμ(λ), |μ(λ)|2C¯λ such that |μh|2C¯|λh| for all h.

Proof

Recall that we are in the context of Theorem 3.10 and that we shall prove the statement by induction. To begin, we shall find a more precise estimate on the beta function of the chemical potential. Recall the flow equation for the chemical potential (3.230) and its beta function (3.219), (3.230):

μh+1=Lμh+β2(h),β2(h):=iγ2(h)i2ϕ2E0(h)(0). A.1

The function E0(h)(ϕ) can be computed via a stationary phase expansion, compare with Eq. (3.207):

E0(h)(ϕ)=D0(h)(ϕ/L,0)+d1(Δe-V~b(h)(ϕ,·))(0)D0(h)(ϕ/L,0)+d1(ΔD0(h)(ϕ/L,·))(0)+E2(e-V~b(h)(ϕ,·)D0(h)(ϕ/L,·));

the various terms admit the following bounds:

|D0(h)(ϕ/L,0)-1|KL3|λh|12,|(ΔD0(h)(ϕ/L,·))(0)|CL|λh|,|E2(e-V~b(h)(ϕ,·)D0(h)(ϕ/L,·))|KL|λh|1-8ε. A.2

In order to improve the bounds we already obtained on the beta function, we furthermore notice that (Δe-V~b(h)(ϕ,·))(0)=24λhL(ϕ·ϕ)+8iμhL; hence, provided that |μj|2C¯|λj|, for all jh, the following expression is attained:

β2(h)=24d1iλhL+i2ϕ2D0(h)(ϕ/L,0)+β~2(h), A.3

with

|ϕ2D0(h)(ϕ/L,0)|KL|λh|,|β~2(h)|K~L|λh|32-8ε, A.4

where the first inequality follows from Cauchy estimates in the ball of radius R=L|λh|-14, and K~LK~L(C¯). Therefore, for λ is small enough:

|β2(h)|KL|λh|, A.5

for a universal constant K>0, which does not depend on C¯. In particular, by taking C¯ large enough, we have:

L(C¯-K)>4C¯L-1. A.6

Existence. We shall show that there exists a solution {μh}h=0 of Eq. (A.1) with the desired properties. Later, we will comment on uniqueness. Our discussion closely follows [43]; see also [12]. Let μμ0{zC||z|<2C¯|λ0|}=:I0. By construction, β2(0) is a continuous function of μ0I0, and |β2(0)|KL|λ0|. Thus, Eq. (A.1) implies that I0μ0μ1(μ0) is continuous and that:

μ1(I0){|z|<2C¯L|λ0|-KL|λ0|}{|z|<2C¯|λ1|}, A.7

where the last step follows from Eq. (A.6). Thus, by continuity there exists I1I0 such that:

{|z|<C¯|λ1|}μ1(I1){|z|<2C¯|λ1|}. A.8

This shows in particular that, for μ0I1, |μ1|2C¯|λ1|. Now, suppose inductively that there exists IhI0 such that Ihμ0μk(μ0) is continuous for all kh and that:

{|z|<C¯|λk|}μk(Ih){|z|<2C¯|λk|},kh. A.9

In particular, Eq. (A.9) implies that |μk|2C¯|λk| for all kh. These assumptions are true for h=1, as we just proved.

Let us check the inductive assumptions on scale h+1. By the RG construction |β2(h)|KL|λh|. Also, β2(h) is continuous in μk, kh, and hence in μ0Ih. Equation (A.1) implies μh+1(μ0) is continuous in μ0Ih, and that:

μh+1(Ih){|z|<2C¯L|λh|-KL|λh|}{|z|<2C¯|λh+1|} A.10

where the last step follows from Eq. (A.6). Thus, by continuity there exists Ih+1Ih such that:

{|z|<C¯|λh+1|}μh+1(Ih+1){|z|<2C¯|λh+1|}. A.11

This shows in particular that |μk|2C¯|λk| for all kh+1, which is what we wanted to prove.

Uniqueness. Here, we shall prove the uniqueness of μ(λ): We shall show that the set Ih shrinks to a point as h. To do this, we rely on the Lipschitz continuity of the beta function of the effective chemical potential, as a function of the effective chemical potentials on all the previous scales. This will be proven via a Cauchy estimate, which in turn relies on the analyticity properties of the effective potential U(h) as function on {μj}j=0h. In fact, in the next proposition, we shall regard the effective potentials U(h) as functions of the sequence {μk}k=0h: As it is clear from the induction of Sect. 3.3, the only information about the sequence of effective potentials that we required is that |μk|C|λk|. Also, as already pointed out at the beginning of the section, the constant C can be taken arbitrarily large, provided λ is small enough.

Lemma A2

Let U(h)(Φ)=n=0,1,2Un(h)(ϕ)(ψ·ψ)n, and let C>0. Then, for λ small enough, for all hN, the functions Un(h)(Φ) are analytic in {μj}j=0h with |μj|<C|λj| for any j, and ϕS(h)L(h).

Proof

The proof is by induction. The case h=0 is true by inspection.

Next, we assume that Theorem 3.10 and Lemma A2 are true on scales j<h, and we shall prove that they hold on scale h. Consider: f(h-1)(Φ,ζ):=[U(h-1)(Φ/L+ζ)U(h-1)(Φ/L-ζ)]L32. By the inductive assumptions, f(h-1) is analytic in {μj}j=0h-1, provided |μj|<C|λj| and ϕ/L±ζϕS(h)L(h). The new effective potential U(h) is obtained after integrating the fluctuation field ζ. It is clear that the analyticity domain is left unaffected by the integration on the fermionic fluctuation field ζψ. Consider now the integration of the bosonic fluctuation field ζϕ. By the bounds proven in the analysis of the effective potential in Sect. 3.3, the coefficients of the Grassmann expansion of f(h-1) are absolutely integrable in ζϕ, for {μj}j=0h-1 in the assumed range and for ϕS(h)L(h). Thus, analyticity of dμ(ζ)f(h-1)(Φ,ζ) in {μj}j=0h-1 follows from dominated convergence and from Morera’s theorem. This implies analyticity of Un(h) in {μj}j=0h-1. Finally, analyticity of Un(h) in μh follows from the fact that the function eiμh(Φ·Φ) is entire in μh

This lemma easily implies analyticity of the beta function of the chemical potential.

Corollary A3

For any hN, β2(h) is an analytic function in {μj}j=0h provided that |μj|<C|λj| for all j.

Proof

In Sect. 3.3, we proved that U0(h)(ϕ) is analytic in ϕS(h) and that

U0(h+1)(ϕ)=e-λh+1(ϕ·ϕ)2-iμh+1(ϕ·ϕ)R0(h+1)(ϕ), A.12

with μh+1=Lμh+β2(h), and where R0(h+1)(ϕ) is analytic in ϕS(h+1) and satisfies the bound |R0(h+1)(ϕ)-1|C|λh+1|2ϕ6 for these values of the field ϕ. Consider the restriction of U0(h+1) and of R0(h+1)(ϕ) to ϕR4, and recall that both U0(h+1) and R0(h+1)(ϕ) depend on ϕR4 only via ϕ (see Appendix C). Therefore,

12ϕ2U0(h+1)(0)=-iμh+1R0(h+1)(0)+12ϕ2R0(h+1)(0)=-iμh+1; A.13

the last identity follows from R0(h+1)(0)=1, implied by SUSY (see Appendix C), and by the fact that R0(h+1)(ϕ)-1 is at least of order ϕ6.

By Lemma A2, we know that U0(h+1)(ϕ) is analytic in {μj}j=0h uniformly in ϕS(h)L(h), provided that |μj|<C|λj| for any j. Hence, so is ϕ2U0(h+1)(0); this together with the identity β2(h)=i(1/2)ϕ2U0(h+1)(0)-Lμh, implied by Eq. (A.13) and by the definition of beta function, shows the analyticity of β2(h).

We are now ready to prove uniqueness of μ(λ). We shall proceed by contradiction. Suppose that the function μ(λ) is not unique: There exist two sequences μ_={μk}k=0 and μ_={μk}k=0 such that |μk|2C¯|λk| and |μk|2C¯|λk|, solving Eq. (A.1), with C¯ as in the statement of Proposition A1. We are denoting by {λk} the effective quartic couplings associated with the sequence {μk}. By the assumptions on the sequence {μk}, it is true that |λk-λLk|Kλ32Lk, |λk-λLk|Kλ32Lk for all k. We have:

μk+1-μk+1=L(μk-μk)+β2(k)(μk,,μ0)-β2(k)(μk,,μ0); A.14

by Corollary A3, the beta functions are analytic in {μj}, {μj}, respectively, if |μj|<C|λj| and |μj|<C|λj|. Notice that we are free to assume that C>4C¯, if λ is small enough. We rewrite Eq. (A.14) as:

μk-μk=-j=kLk-j-1(β2(j)(μj,,μ0)-β2(j)(μj,,μ0)), A.15

where we used that the sequences vanish at infinity. In order to estimate the difference of the beta functions, we proceed as follows. We use the telescopic representation:

β2(j)(μj,,μ0)-β2(j)(μj,,μ0)=r=0j(β2(j)(μj,,μr+1,μr,,μ0)-β2(j)(μj,,μr,μr-1,,μ0)). A.16

We estimate every addend in the sum via a Cauchy estimate. We interpolate:

β2(j)(μj,,μr+1,μr,,μ0)-β2(j)(μj,,μr,μr-1,,μ0)=μrμrdννβ2(j)(μj,,μr+1,ν,,μ0) A.17

and we use that, in the integral, the distance between ν and the boundary of the analyticity domain of β2(j) in its rth variable is bounded below by C¯λL-r. Also, for these values of ν, the beta function satisfies the bound |β2(j)(μj,,μr+1,ν,,μ0)|KλL-j. Therefore, by a Cauchy estimate:

|β2(j)(μj,,μ0)-β2(j)(μj,,μ0)|r=0jK~Lr-j|μr-μr|2K~μ_-μ_, A.18

with μ_=supk|μk| and where K~ is proportional to K/C¯. Plugging this bound into Eq. (A.15), we get:

|μk-μk|2K~j=kLk-j-1μ_-μ_kN, A.19

which implies:

μ_-μ_4K~L-1μ_-μ_. A.20

For L-1K~ small enough, Eq. (A.20) implies μ_=μ_. This concludes the proof of Proposition A1.

B Proof of Technical Lemmas

In this section, we collect the proofs of three key results, namely Lemmas 3.8, 3.9 and Proposition 3.15.

B.1 Proof of Lemma 3.8

Let S(Rn) be the Schwartz space, and let fS(Rn). Then:

Rndxe-ix2f(x)=12n2Rndpei4p2f^(p). B.1

The proof of (B.1) goes as follows. Since fL1(Rn) we have, by dominated convergence:

Rndxe-ix2f(x)=Rndxlimε0+e-(i+ε)x2f(x)=limε0+Rndxe-(i+ε)x2f(x). B.2

Then, since e-(i+ε)x2L2(Rn), fL2(Rn) we have, by Plancherel’s theorem:

Rndxe-ix2f(x)=limε0+dpg^ε(p)¯f^(p), B.3

where f^S(Rn), g^εS(Rn), given by:

g^ε(p)¯:=1(2π)n2dxeip·xe-(i+ε)x2=12n2e-14(i+ε)p2. B.4

Hence, applying again dominated convergence,

dxe-ix2f(x)=dplimε0+g^ε(p)¯f^(p)=12n2dpei4p2f^(p), B.5

which concludes the proof of Eq. (B.1). Lemma 3.8 follows from Taylor expanding ei4p2.

B.2 Proof of Lemma 3.9

We shall only prove Lemma 3.9 part (b), part (a) being the well-known Cauchy estimate. The proof of part (b) is a simple application of Cauchy formula and integration by parts. Consider:

|pimf^(p)|=|1(2π)n2dxe-ip·xximf(x1,,xn)|1(2π)n2dx|ximf(x1,,xn)|. B.6

In the first step we used that ximf vanishes as |xi| for all m0. This follows from the analyticity of f, from the representation of ximf via Cauchy formula, and from Eq. (3.47), which implies the vanishing of f as |Rezi|, in a strip around the real axis.

Now, Cauchy theorem, combined with the analyticity of the function zif(x1,,zi,,xn) in RW, implies:

|ximf(x1,,xn)|Km|C(xi)dzif(x1,,zi,,xn)(zi-xi)m+1|, B.7

where C(xi):={zi|zi-xi|=W}. Changing variable:

|ximf(x1,,xn)|Km|C(0)dwif(x1,,wi+xi,,xn)wim+1|KmWm+1C(0)|dwi||f(x1,,wi+xi,,xn)|, B.8

where we used the notation |dwi|:=|dwi(t)dt|dt, for any parametrization wi(t) of C(xi). Plugging (B.8) this into (B.6), we get:

|pimf^(p)|K~mWm+1dxC(0)|dwi||f(x1,,wi+xi,,xn)|=K~mWm+1C(0)|dwi|dx|f(x1,,wi+xi,,xn)|2πK~mWmFW(f), B.9

where we used the assumption (3.47). Thus, from Eq. (B.9) we easily get that, for any pRn, mN, and for some Cm>0:

(1+(W|p|)m)|f^(p)|CmFW(f), B.10

which implies Eq. (3.48). The final statement, Eq. (3.49), follows immediately from the bound (B.10) together with the formula (3.44) for the remainder of the stationary phase expansion. This concludes the proof.

B.3 Proof of Proposition 3.15

We start by writing:

e-V~b(h)(ϕ,ζϕ)echL32|λh|ϕ/L+ζϕ4+chL32|λh|ϕ/L-ζϕ4=e-V~b(h)(0,ζϕ)ech|λh|Lϕ4+ch|λh|L3ζϕ4eA(ϕ,ζϕ) B.11

with:

A(ϕ,ζϕ):=-4λhL(ϕ·ζϕ)2-2λhL(ϕ·ϕ)(ζϕ·ζϕ)+4ch|λh|L(Reϕ,ζϕ)2+2chL|λh|ϕ2ζϕ2. B.12

and

V~b(h)(0,ζϕ)=(Reλh)L3(ζϕ·ζϕ)2+i(Imλh)L3(ζϕ·ζϕ)2+iμhL3(ζϕ·ζϕ). B.13

Using that:

(ζϕ·ζϕ)=(Reζϕ·Reζϕ)-(Imζϕ·Imζϕ)+2i(Reζϕ·Imζϕ) B.14

we have, for any η>0:

Re(ζϕ·ζϕ)2=((Reζϕ·Reζϕ)-(Imζϕ·Imζϕ))2-4(Reζϕ·Imζϕ)2Reζϕ4-6Reζϕ2Imζϕ2(1-3η)Reζϕ4-3η-1Imζϕ4. B.15

Then, since ζϕ2=Reζϕ2+Imζϕ2 we have, using that by assumption Imζϕ|λh|-14+ε, Reζϕ2ζϕ2-|λh|-12+2ε; this implies:

Re(ζϕ·ζϕ)2(1-4η)ζϕ4-Cη-1|λh|-1+4ε. B.16

This, together with |μh|C|λh| and |Imλh|Cλ|λh| (recall (3.144)), gives, for λ small enough:

ReV~b(h)(0,ζϕ)(1-5η)|λh|L3ζϕ4-Kη-1L3|λh|4ε. B.17

Next, consider A(ϕ,ζϕ). We write:

A(ϕ,ζϕ)=-4|λh|L(ϕ·ζϕ)2-2|λh|L(ϕ·ϕ)(ζϕ·ζϕ)+4ch|λh|L(Reϕ,ζϕ)2+2chL|λh|ϕ2ζϕ2+A1(ϕ,ζϕ) B.18

where A1(ϕ,ζϕ) takes into account the replacement of λh with |λh| in the first two terms. Using that |Imλh|Cλ|λh|, we have that |λh-|λh||C~λ|λh|, and hence:

|A1(ϕ,ζϕ)|Kλ|λh|Lϕ2ζϕ2. B.19

To exhibit a cancellation in the various terms appearing in the right-hand side of Eq. (B.18), we can show that (ϕ·ζϕ)2-(Reϕ,ζϕ)2 and (ϕ·ϕ)(ζϕ·ζϕ)-ϕ2ζϕ2 are small. We have:

Re(ϕ·ζϕ)2-(Reϕ,ζϕ)2=(Re(ϕ·ζϕ))2-(Reϕ,ζϕ)2-(Im(ϕ·ζϕ))2=(Re(ϕ·ζϕ)-Reϕ,ζϕ)(Re(ϕ·ζϕ)+Reϕ,ζϕ)-(Im(ϕ·ζϕ))2=-2(Imϕ·Imζϕ)(Re(ϕ·ζϕ)+Reϕ,ζϕ)-(Im(ϕ·ζϕ))2. B.20

Therefore,

|Re(ϕ·ζϕ)2-(Reϕ,ζϕ)2|C[ImϕImζϕϕζϕ+Imϕ2Reζϕ2+Reϕ2Imζϕ2]. B.21

Using that, by assumption, ImϕL|λh|-14 and that Imζϕ|λh|-14+ϵ, we get:

|Re(ϕ·ζϕ)2-(Reϕ,ζϕ)2|KL2|λh|-12ζϕ2+KL|λh|-12+2εϕ2. B.22

Similarly,

Re((ϕ·ϕ)(ζϕ·ζϕ))-ϕ2ζϕ2=Re(ϕ·ϕ)Re(ζϕ·ζϕ)-Im(ϕ·ϕ)Im(ζϕ·ζϕ)-ϕ2ζϕ2=Re(ϕ·ϕ)(Re(ζϕ·ζϕ)-ζϕ2)+ζϕ2(Re(ϕ·ϕ)-ϕ2)-Im(ϕ·ϕ)Im(ζϕ·ζϕ)=-2Re(ϕ·ϕ)Imζϕ2-2ζϕ2Imϕ2-Im(ϕ·ϕ)Im(ζϕ·ζϕ). B.23

Therefore,

|Re((ϕ·ϕ)(ζϕ·ζϕ))-ϕ2ζϕ2|C[ϕ2Imζϕ2+ζϕ2Imϕ2+ImζϕImϕReϕReζϕ]. B.24

Using again the assumptions on ϕ and on ζϕ:

|Re((ϕ·ϕ)(ζϕ·ζϕ))-ϕ2ζϕ2|KL2|λh|-12ζϕ2+KL|λh|-12+2εϕ2. B.25

Therefore, we rewrite the real part of Eq. (B.18) as:

ReA(ϕ,ζϕ)=-4|λh|LRe(ϕ·ζϕ)2-2|λh|LRe((ϕ·ϕ)(ζϕ·ζϕ))+4ch|λh|L(Reϕ,ζϕ)2+2chL|λh|ϕ2ζϕ2+ReA1(ϕ,ζϕ),4|λh|(ch-1)L(Reϕ,ζϕ)2+2|λh|(ch-1)Lϕ2ζϕ2+A2(ϕ,ζϕ), B.26

where in the last step we used (B.20), (B.23); hence, we have, using the bounds (B.19), (B.22), (B.25):

|A2(ϕ,ζϕ)|Kλ|λh|Lϕ2ζϕ2+K~L3|λh|12ζϕ2+K~L|λh|12+2εϕ2. B.27

The first two terms in the right-hand side of Eq. (B.26) are negative, thanks to |ch-1/6|Cλε; recall Eq. (3.148). Also, the first term in the right-hand side of Eq. (B.27) can be controlled using that 2(ch-1)+Kλ<0 for λ small enough. Hence,

ReA(ϕ,ζϕ)K~L3|λh|12ζϕ2+K~L|λh|12+2εϕ2η|λh|L3ζϕ4+1L|λh|1+4εϕ4+K~2L3+η-3K~2L5. B.28

Finally, thanks to (B.11), (B.17), (B.28):

|e-V~b(h)(ϕ,ζϕ)echL32|λh|ϕ/L+ζϕ4+chL32|λh|ϕ/L-ζϕ4|e-ReV~b(h)(0,ζϕ)eReA(ϕ,ζϕ)ech|λh|Lϕ4+ch|λh|L3ζϕ4CL,ηe-|λh|(1-6η)L3ζϕ4+1L|λh|1+4εϕ4ech|λh|Lϕ4+ch|λh|L3ζϕ4 B.29

which gives, for η such that 1-6η-ch1/2 and for c~h:=ch+|λh|4ε:

|e-V~b(h)(ϕ,ζϕ)echL32|λh|ϕ/L+ζϕ4+chL32|λh|ϕ/L-ζϕ4|CLe-|λh|L32ζϕ4+c~h|λh|Lϕ4, B.30

which is the final claim.

C Symmetries

Here, we shall discuss the symmetry properties of the model. Recall that the notations ϕ, ψ denote the four-component vectors ϕ=(ϕ1,,ϕ2,,ϕ1,,ϕ2,)T, ψ=(ψ+,ψ-,ψ+,ψ-)T. In the following, we shall denote by σy the second Pauli matrix:

σy=0i-i0. C.1

Proposition C.1

Let ϕC4 and ψ=(ψ+,ψ-,ψ+,ψ-)T. Let us denote by OΦ=(Obϕ,Ofψ) the transformation O=(Ob,Of)R4×4×C4×4 such that

ObTOb=14,OfTiσy12Of=iσy12,detOf=1. C.2

Then, for all scales h0:

U(h)(Φ)=U(h)(OΦ), C.3

Proof

The proof is by induction. Consider Eq. (C.3). The statement is true for h=0, since (Φ·Φ)=(OΦ·OΦ). Suppose it is true for all scales kh. Let us prove it for the scale k=h+1. We have:

U(h+1)(OΦ)=dζe-i(ζ·ζ)[U(h)(OΦ/L+ζ)U(h)(OΦ/L-ζ)]L32=dζe-i(ζ·ζ)[U(h)(O(Φ/L+O-1ζ))U(h)(O(Φ/L-O-1ζ))]L32=dζe-i(ζ·ζ)[U(h)(Φ/L+O-1ζ)U(h)(Φ/L-O-1ζ)]L32 C.4

where in the last step we used the validity of the symmetry on scale h. Let us now perform the change of variable O-1ζζ, with ζϕR4 thanks to the fact that ObR4×4. Since the Jacobian of the transformation is |detOb|(detOf)-1=1, Eq. (C.3) on scale h+1 follows.

Corollary C.2

  • (i)

    U(h)(Φ) is a polynomial in (ψ·ψ).

  • (ii)
    The following identities hold true, for all scales h0:
    En(h)(ϕ)=En(h)(Obϕ). C.5

Remark C.3

In particular, for ϕR4, En(h)(ϕ)En(h)(ϕ).

Proof

To prove item (i), we proceed as follows. By construction, U(h)(Φ) is a polynomial in the Grassmann variables ψσ+, ψσ-. By Eq. (C.3), U(h)(Φ) is invariant under ψOfψ, and the only Grassmann monomials invariant under this transformation are powers of (ψ·ψ).

To prove item (ii), recall the expression (3.143):

U(h+1)(Φ)=e-λhL(Φ·Φ)2-iLμh(Φ·Φ)n=0,1,2En(h)(ϕ)(ψ·ψ)n. C.6

The exponential prefactor is manifestly invariant under the transformations O=(Ob,Of) of Proposition C.1. Therefore, since (ψ·ψ) is Of-invariant, the claim (C.5) immediately follows.

The next definition makes precise the notion of supersymmetry of our model.

Definition C.4

Let us define the differential operator:

QΦ:=σ,εψσεϕσε-εϕσεψσε. C.7

We say that a function f(Φ)f(ϕ+,ϕ-,ψ+,ψ-) with ϕ+=ϕ-¯ is supersymmetric if:

QΦf(Φ)=0. C.8

Remark C.5

As an example, notice that the combination ψσ+ψσ-+ϕσ+ϕσ- is a supersymmetric function. More generally, all analytic functions of ψσ+ψσ-+ϕσ+ϕσ- are supersymmetric.

Supersymmetry of regular enough functions implies remarkable identities after integration over the superfields. Here, we shall only consider Schwartz functions of the superfield Φ, defined as follows.

Definition C.6

We say that a function f(ζ)=b_fb_(ζϕ)ζψb_ is of Schwartz type if fb_(·) are Schwartz functions for all b_{0,1}{±}×{,}.

The next lemma will be useful later on, to perform integration by parts over the superfields.

Lemma C.7

Let f(ζ) be of Schwartz type. Then:

dζQζf(ζ)=0. C.9

Proof

We write:

dζQζf(ζ)=dζσ,εζψ,σεζϕ,σε-εζϕ,σεζψ,σεf(ζ)I+II. C.10

Consider I=σ,εdζψζψ,σεdζϕζϕ,σεf(ζ). Since f(ζ) is of Schwartz type, the boson integral of the boson derivative is well defined and equal to zero, which proves that I=0.

Consider now II. After differentiation, the Grassmann variable ζψ,σε disappears from the integrand, by definition of Grassmann derivative. Therefore, using that dζϕ,σε=0, we get II=0.

This lemma can be used to prove that the effective potential U(h)(Φ), restricted to ϕi,σR, is a supersymmetric function.

Proposition C.8

Let Φ=(ψ+,ψ-,ψ+,ψ-) with ϕ+=ϕ-¯. For all h0,

QΦU(h)(Φ)=0. C.11

Proof

(of Proposition C.8.) The proof goes by induction. The supersymmetry of (Φ·Φ) implies that Eq. (C.11) holds true for h=0. Suppose it holds for k<h, and let us prove it for k=h. We have, setting for convenience UL(h)(·):=U(h)(·)L32:

QΦU(h+1)(LΦ)=QΦdμ(ζ)[U(h)(Φ+ζ)U(h)(Φ-ζ)]L32=QΦdμ(ζ)UL(h)(Φ+ζ)UL(h)(Φ-ζ)=dμ(ζ)QΦUL(h)(Φ+ζ)UL(h)(Φ-ζ)dμ(ζ)[(QΦUL(h)(Φ+ζ))UL(h)(Φ-ζ)+UL(h)(Φ+ζ)(QΦUL(h)(Φ-ζ))]. C.12

By using that Qζe-i(ζ·ζ)=0 and Lemma C.7 to “integrate by parts”:

-QΦU(h+1)(LΦ)=dμ(ζ)[(QΦ,ζUL(h)(Φ+ζ))UL(h)(Φ-ζ)+UL(h)(Φ+ζ)(QΦ,ζUL(h)(Φ-ζ))] C.13

with QΦ,ζ:=QΦ+Qζ. We claim that:

(QΦ+Qζ)UL(h)(Φ±ζ)=(QΦUL(h))(Φ±ζ). C.14

This together with our inductive assumption (C.11) immediately implies that QΦU(h+1)(LΦ)=0 and concludes the proof. Let us check the claim (C.14). We have:

(QΦ+Qζ)UL(h)(Φ±ζ)=ε,σ(ψσεϕσε+ζψ,σεζϕ,σε-εϕσεψσε-εζϕ,σεζψ,σε)UL(h)(Φ±ζ)=ε,σ((ψσε±ζψ,σε)ϕσε-ε(ϕσε±ζϕ,σε)ψσε)UL(h)(Φ±ζ)(QΦUL(h))(Φ±ζ), C.15

which proves Eq. (C.14).

Corollary C.9

Equation (3.220) hold true.

Proof

The proof is by induction. It is trivially true for h=0. Suppose it is true for k<h, and let us prove it for k=h. We rewrite U(h) as:

U(h)(Φ)=e-λhL(Φ·Φ)2-iLμh(Φ·Φ)n=0,1,2En(h)(ϕ)L-2n(ψ·ψ)n. C.16

Let ϕi,σR. Being the explicit factor e-λhL(Φ·Φ)2-iLμh(Φ·Φ) supersymmetric, Eq. (C.11) implies that:

QΦn=0,1,2En(h)(ϕ)L-2n(ψ·ψ)n=0. C.17

Explicitly,

QΦn=0,1,2En(h)(ϕ)L-2n(ψ·ψ)n=σ,εn=0,1,2ψσε(ϕσεEn(h)(ϕ))(ψ·ψ)n-εϕσεEn(h)(ϕ)(ψσε(ψ·ψ)n)σ,εn=0,1,2ψσε(ϕσεEn(h)(ϕ))(ψ·ψ)n-ϕσεEn(h)(ϕ)ψσ-εn(ψ·ψ)n-1χ(n1). C.18

Let us take ϕS(h)R4, and let us expand the right-hand side to the second order in the fields. Combining Eqs. (C.17), (C.18) and using that ϕEn(h)(0)=0, we get:

0=σ,ε[ψσεϕσ-ε2ϕσεϕσ-εE0(h)(0)-ϕσεψσ-εE1(h)(0)]=[σ,εψσεϕσ-ε](2ϕσεϕσ-εE0(h)(0)-E1(h)(0))[σ,εψσεϕσ-ε](122ϕ2E0(h)(0)-E1(h)(0)) C.19

where we used that, by symmetry, 2ϕσεϕσ-εE0(h)(0) does not depend on ε, σ. Therefore, we conclude that:

122ϕ2E0(h)(0)-E1(h)(0)=0, C.20

which implies that γϕ,2(h)=γψ,2(h) as claimed. Let us now prove the last of Eq. (3.220). To do so, we expand Eq. (C.18) to the fourth order in the fields. We get:

0=σ,εσ,εψσεϕσ-εϕεϕσ-ε24!4E0(h)(0)ϕ4+σ,εψσεϕσ-ε(ψ·ψ)122E1(h)(0)ϕ2-σ,εσ,εϕσεψσ-εϕσεϕσ-ε122E1(h)(0)ϕ2-2σ,εϕσεψσ-ε(ψ·ψ)E2(h)(0). C.21

Therefore, from this equation we infer:

24!4E0(h)(0)ϕ4=122E1(h)(0)ϕ2=2E2(h)(0), C.22

that is:

2γϕϕ,4(h)=γϕψ,4(h)=2γψψ,4(h), C.23

as claimed.

Finally, we conclude the appendix by mentioning a well-known result on supersymmetric functions [18, 70] (see also [12], Theorem 11.4.5).

Theorem C.10

(Localization theorem). Let the function f(ζ) be supersymmetric in the sense of Eq. (C.8) and of Schwartz type in the sense of Definition C.6. Then:

dζf(ζ)=f(0). C.24

Remark C.11

We are not formulating the localization theorem in its most general form. Furthermore, in the present context the theorem is a simple and elegant application of integration by parts [18].

Remark C.12

  • (i)
    Thus, being U(h)(ζ) of Schwartz type and supersymmetric, and L32N:
    E0(h)(0)=dμ(ζ)[U(h)(ζ)U(h)(-ζ)]L32=1. C.25
  • (ii)
    We shall also prove that ZN=1, recall (2.15), and that ϕx+ϕy-N=-ψx+ψy-N, Eq. (4.6), as a consequence of the localization theorem. Here, we shall rely on supersymmetry for functions of the full hierarchical superfield. Some care is needed, since in the hierarchical model the superfield integration is only definined in terms of the integrations of the single-scale fields ζx,σ(h)±, h=0,...,N-1. The full superfield Φx,σ± is a linear combination of the single-scale superfields; see Eq. (2.7). Let us introduce the global differential operator:
    Q:=h=0N-1xΛ(h+1)Qx(h),Qx(h):=σ,εζψ,x,σ(h)εζϕ,x,σ(h)ε-εζϕ,x,σ(h)εζψ,x,σ(h)ε. C.26
    Recall the definition (2.14):
    PN=h=0N-1dμ(ζ(h))e-V(Φ)P(Φ). C.27
    To begin, the identity
    Qx(h)e-i=ϕ,ψσ=ζ,x,σ(h)+ζ,x,σ(h)-=0 C.28
    implies that:
    Qh=0N-1xΛ(h+1)e-i=ϕ,ψσ=ζ,x,σ(h)+ζ,x,σ(h)-=0. C.29
    Furthermore, we have also have that Qe-V(Φ)=0. Indeed, since e-V(Φ)=xΛ(0)f(Φx), where f(Φx)=e-λ(Φx·Φx)2-iμ(Φx·Φx):
    Qf(Φx)=h=0N-1QL-h-1x(h)fh=0N-1L-hAL-hxζL-h-1x(h)QxΦf(Φx)=0, C.30
    where QxΦ:=σ,ε[ψx,σεϕx,σε-εϕx,σεψx,σε]. The first equality follows by the fact that Φx depends only on ζL-h-1x(h) for h=0,...,N-1; the second equality is obtained after repeated application of the identity (C.14). Finally, QxΦf(Φx)=0 by direct computation. (Recall that the function (Φx·Φx) is QxΦ-supersymmetric.) Thus, the localization theorem [18, 70] implies that:
    PN=P(0), C.31
    provided that e-V(Φ)P(Φ) is of Schwartz type and that QP(Φ)=0. Taking P(Φ)=1, Eq. (C.31) immediately implies ZN=1. To conclude, let us consider (ϕ+=ϕ-¯ here)
    P(Φ)=(ψx,σ(k)+ψx,σ(k)-+ϕx,σ(k)+ϕx,σ(k)-). C.32
    The function e-V(Φ)P(Φx(k)) is of Schwartz type. Moreover, by Eq. (C.30):
    QP(Φ)=QxΦ(k)P(Φx(k))=0, C.33
    with QxΦ(k):=σ,ε[ψx,σ(k)εϕx,σ(k)ε-εϕx,σ(k)εψx,σ(k)ε]. Hence, by (C.31), for L-k+1x=L-k+1y:
    (ϕL-k+1x(k-1)+ϕL-k+1y(k-1)-+ψL-k+1x(k-1)+ψL-k+1y(k-1)-)N=0, C.34
    which proves Eq. (4.6).

Footnotes

1

As usual, the symbols {dζψ,x,σ(h)ε} form a Grassmann algebra, anticommuting with the algebra generated by {ζψ,x,σ(h)ε}.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

References

  • 1.Abrahams E, Anderson PW, Licciardello DC, Ramakrishnan TV. Scaling theory of localization: absence of quantum diffusion in two dimensions. Phys. Rev. Lett. 1979;42:673. [Google Scholar]
  • 2.Aizenman M, Graf GM. Localization bounds for an electron gas. J. Phys. A Math. Gen. 1998;31:6783. [Google Scholar]
  • 3.Aizenman M, Molchanov S. Localization at large disorder and at extreme energies: an elementary derivation. Commun. Math. Phys. 1993;157:245. [Google Scholar]
  • 4.Aizenman M, Sims R, Warzel S. Stability of the absolutely continuous spectrum of random Schrödinger operators on tree graphs. Probab. Theory Relat. Fields. 2006;136:363–394. [Google Scholar]
  • 5.Aizenman M, Warzel S. Resonant delocalization for random Schrödinger operators on tree graphs. J. Eur. Math. Soc. 2013;15:1167–1222. [Google Scholar]
  • 6.Aizenman, M., Warzel, S.: Random Operators. Disorder effects on quantum spectra and dynamics. Graduate Studies in Mathematics, vol. 168. Americal Mathematical Society (2015)
  • 7.Anderson PW. Absence of diffusion in certain random lattices. Phys. Rev. 1958;109:1492. [Google Scholar]
  • 8.Armitage NP, Mele EJ, Vishwanath A. Weyl and Dirac semimetals in three-dimensional solids. Rev. Mod. Phys. 2018;90:015001. [Google Scholar]
  • 9.Balaban T, Feldman J, Knörrer H, Trubowitz E. Complex bosonic many-body models: overview of the small field parabolic flow. Annales Henri Poincaré. 2017;18:2873–2903. [Google Scholar]
  • 10.Bauerschmidt R, Brydges DC, Slade G. Critical two-point function of the 4-dimensional weakly self-avoiding walk. Commun. Math. Phys. 2015;338:169–193. [Google Scholar]
  • 11.Bauerschmidt R, Brydges DC, Slade G. Logarithmic correction for the susceptibility of the 4-dimensional weakly self-avoiding walk: a renormalisation group analysis. Commun. Math. Phys. 2015;337:817–877. [Google Scholar]
  • 12.Bauerschmidt, R., Brydges, D.C., Slade, G.: Introduction to a renormalisation group method. Lecture Notes in Mathematics, Springer (2019). http://www.statslab.cam.ac.uk/rb812/rgbook.pdf
  • 13.Bauerschmidt R, Huang J, Knowles A, Yau H-T. Bulk eigenvalue statistics for random regular graphs. Ann. Probab. 2017;45:3626–3663. [Google Scholar]
  • 14.Bauerschmidt R, Knowles A, Yau H-T. Local semicircle law for random regular graphs. Commun. Pure Appl. Math. 2017;70:1898–1960. [Google Scholar]
  • 15.Bellissard J. Random matrix theory and the Anderson model. J. Stat. Phys. 2004;116:739–754. [Google Scholar]
  • 16.Benfatto G, Cassandro M, Gallavotti G, Nicoló F, Olivieri E, Presutti E, Scacciatelli E. Some Probabilistic Techniques in Field Theory. Comm. Math. Phys. 1977;59:143–166. [Google Scholar]
  • 17.Benfatto G, Giuliani A, Mastropietro V. Fermi liquid behavior in the 2D Hubbard model at low temperatures. Annales Henri Poincaré. 2006;7:809–898. [Google Scholar]
  • 18.Blau M, Thompson G. Localization and diagonalization: a review of functional integral techniques for low-dimensional gauge theories and topological field theories. J. Math. Phys. 1995;36:2192–2236. [Google Scholar]
  • 19.Bleher PM, Sinai Ya G. Investigation of the critical point in models of the Type of Dyson’s hierarchical models. Commun. Math. Phys. 1973;33:23–42. [Google Scholar]
  • 20.Bovier A. The density of states in the Anderson model at weak disorder: a renormalization group analysis of the hierarchical model. J. Stat. Phys. 1990;59:745–779. [Google Scholar]
  • 21.Buchhold M, Diehl S, Altland A. Nodal points of Weyl semimetals survive the presence of moderate disorder. Phys. Rev. B. 2018;98:205134. [Google Scholar]
  • 22.Chen R, Chen C-Z, Sun J-H, Zhou B, Xu D-Hui Xu. Phase diagrams of Weyl semimetals with competing intraorbital and interorbital disorders. Phys. Rev. B. 2018;97:235109. [Google Scholar]
  • 23.Constantinescu F, Felder G, Gawedzki K, Kupiainen A. Analyticity of density of states in a Gauge-invariant model for disordered electronic systems. J. Stat. Phys. 1987;48:365–391. [Google Scholar]
  • 24.Disertori M, Merkl F, Rolles SWW. Localization for a nonlinear sigma model in a strip related to vertex reinforced jump processes. Commun. Math. Phys. 2014;332:783–825. [Google Scholar]
  • 25.Disertori M, Rivasseau V. Interacting Fermi liquid at finite temperature: part I: convergent attributions. Commun. Math. Phys. 2000;215:251–290. [Google Scholar]
  • 26.Disertori M, Rivasseau V. Interacting Fermi liquid in two dimensions at finite temperature. Part ii: renormalization. Commun. Math. Phys. 2000;215:291–341. [Google Scholar]
  • 27.Disertori M, Spencer T, Zirnbauer M. Quasi-diffusion in a 3D supersymmetric hyperbolic sigma model. Commun. Math. Phys. 2010;300:435–486. [Google Scholar]
  • 28.Disertori M, Spencer T. Anderson localization for a supersymmetric sigma model. Commun. Math. Phys. 2010;300:659–671. [Google Scholar]
  • 29.Dyson FJ. Existence of a phase-transition in a one-dimensional Ising ferromagnet. Commun. Math. Phys. 1969;12:91–107. [Google Scholar]
  • 30.Efetov KB. Supersymmetry method in localization theory. Sov. Phys. JETP. 1982;55:514–521. [Google Scholar]
  • 31.Efetov, K.B.: Anderson localization and supersymmetry. In: 50 years of Anderson localization, World Scientific, Singapore (2010)
  • 32.Erdos, L., Yau, H.T.: A dynamical approach to random matrix theory. Courant Lecture Notes 28, (2017)
  • 33.Erdos L, Salmhofer M, Yau H-T. Quantum diffusion of the random Schrödinger evolution in the scaling limit I. The non-recollision diagrams. Acta Math, 2008;200:211–277. [Google Scholar]
  • 34.Erdos L, Salmhofer M, Yau H-T. Quantum diffusion of the random Schrödinger evolution in the scaling limit II. the recollision diagrams. Commun. Math. Phys. 2007;271:1–53. [Google Scholar]
  • 35.Erdos L, Salmhofer M, Yau H-T. Quantum diffusion for the Anderson model in the scaling limit. Ann. Henri Poincaré. 2007;8:621–685. [Google Scholar]
  • 36.Feldman J, Knörrer H, Trubowitz E. A two dimensional Fermi liquid. Commun. Math. Phys. 2004;247:1–47. [Google Scholar]
  • 37.Fradkin E. Critical behavior of disordered degenerate semiconductors. I. Models, symmetries, and formalism. Phys. Rev. B. 1986;33:3257. doi: 10.1103/physrevb.33.3257. [DOI] [PubMed] [Google Scholar]
  • 38.Fradkin E. Critical behavior of disordered degenerate semiconductors. II. Spectrum and transport properties in mean-field theory. Phys. Rev. B. 1986;33:3263. doi: 10.1103/physrevb.33.3263. [DOI] [PubMed] [Google Scholar]
  • 39.Fresta, L.: Supersymmetric Cluster Expansions and Applications to Random Schrödinger Operators. arXiv:2004.00145
  • 40.Froese R, Hasler D, Spitzer W. Absolutely continuous spectrum for the Anderson model on a tree: a geometric proof of Klein’s theorem. Commun. Math. Phys. 2007;269:239–257. [Google Scholar]
  • 41.Fröhlich J, Spencer T. Absence of diffusion in the Anderson tight binding model for large disorder or low energy. Commun. Math. Phys. 1983;88:151. [Google Scholar]
  • 42.Gallavotti G, Knops H. The hierarchical model and the renormalization group. Rivista del Nuovo Cimento. 1975;5:341–368. [Google Scholar]
  • 43.Gawedzki K, Kupiainen A. Triviality of ϕ44 and all that in a hierarchical model approximation. J. Stat. Phys. 1982;29:683–698. [Google Scholar]
  • 44.Gawedzki K, Kupiainen A. Massless lattice ϕ44 theory: rigorous control of a renormalizable asymptotically free model. Commun. Math. Phys. 1985;99:197–252. [Google Scholar]
  • 45.Giuliani A, Mastropietro V. The two-dimensional Hubbard model on the honeycomb lattice. Comm. Math. Phys. 2010;293:301–346. [Google Scholar]
  • 46.Giuliani A, Mastropietro V, Porta M. Universality of conductivity in interacting graphene. Commun. Math. Phys. 2012;311:317–355. [Google Scholar]
  • 47.Giuliani A, Mastropietro V, Porta M. Quantization of the interacting Hall conductivity in the critical regime. J. Stat. Phys. 2019 doi: 10.1007/s10955-019-02405-1. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 48.Giuliani A, Jauslin I, Mastropietro V, Porta M. Topological phase transitions and universality in the Haldane–Hubbard model. Phys. Rev. B. 2016;94:205139. [Google Scholar]
  • 49.Giuliani, A., Mastropietro, V., Porta, M.: Anomaly non-renormalization in interacting Weyl semimetals. arXiv:1907.00682 [DOI] [PMC free article] [PubMed]
  • 50.Hasan, M.Z., Xu, S.-Y., Belopolski, I., Huang, S.-M.: Discovery of Weyl Fermion semimetals and topological fermi arc states. Annual Review of Condensed Matter Physics 8 (2017)
  • 51.Klein A. Absolutely continuous spectrum in the Anderson model on the Bethe lattice. Math. Res. Lett. 1994;1:399–407. [Google Scholar]
  • 52.Klein A, Sadel C. Absolutely continuous spectrum for random Schrödinger operators on the Bethe strip. Math. Nachr. 2012;285:5–26. [Google Scholar]
  • 53.Kritchevski, E.: Hierarchical Anderson model. Probability and mathematical physics, volume 42 of CRM Proc. Lecture Notes, pp. 309–322. American Mathematical Society Providence, RI (2007)
  • 54.Kritchevski E. Poisson statistics of eigenvalues in the hierarchical Anderson model. Ann. Henri Poincaré. 2008;9:685–709. [Google Scholar]
  • 55.Ludwig, A.W.W., Fisher, M.P.A., Shankar, R., Grinstein, G.: Integer quantum Hall transition: an alternative approach and exact results. Phys. Rev. B 50:7526 [DOI] [PubMed]
  • 56.Magnen J, Poirot G, Rivasseau V. The Anderson model as a matrix model. Nucl. Phys. B. 1997;58:149–162. [Google Scholar]
  • 57.Magnen J, Poirot G, Rivasseau V. Ward type identities for the 2d Anderson model at weak disorder. J. Stat. Phys. 1998;93:331–358. [Google Scholar]
  • 58.Mastropietro V. Non-perturbative renormalization. Hoboken: World Scientific; 2008. [Google Scholar]
  • 59.Mastropietro V. Universality, exponents and anomaly cancellation in disordered Dirac fermions. Nucl. Phys. B. 2013;875:408–422. [Google Scholar]
  • 60.Mastropietro V. Interacting Weyl semimetals on a lattice. J. Phys. A Math. Theor. 2014;47:465003. [Google Scholar]
  • 61.Mastropietro V. Weyl semimetallic phase in an interacting lattice system. J. Stat. Phys. 2014;157:830–854. [Google Scholar]
  • 62.Mastropietro V. Localization in interacting fermionic chains with quasi-random disorder. Commun. Math. Phys. 2017;351:283–309. [Google Scholar]
  • 63.Mastropietro V. Stability of Weyl semimetals with quasiperiodic disorder. Phys. Rev. B. 2020;102:045101. [Google Scholar]
  • 64.Metz FL, Leuzzi L, Parisi G, Sacksteder V. Transition between localized and extended states in the hierarchical Anderson model. Phys. Rev. B. 2013;88:045103. [Google Scholar]
  • 65.Molchanov, S.: Hierarchical random matrices and operators. Application to Anderson model. Multidimensional statistical analysis and theory of random matrices (Bowling Green, OH, 1996), pp. 179–194, VSP, Utrecht (1996)
  • 66.Monthus C, Garel T. A critical Dyson hierarchical model for the Anderson localization transition. J. Stat. Mech. 2011;P05005:1–27. [Google Scholar]
  • 67.Nandkishore R, Huse DA, Sondhi SL. Rare region effects dominate weakly disordered three-dimensional Dirac points. Phys. Rev. B. 2014;89:245110. [Google Scholar]
  • 68.Poirot G. Mean Green’s function of the Anderson model at weak disorder with an infrared cutoff. Ann. Inst. Henri Poincaré. 1999;70:101–146. [Google Scholar]
  • 69.Sadel C. Anderson transition at two-dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Ann. Henri Poincaré. 2016;17:1631–1675. [Google Scholar]
  • 70.Schwarz A, Zaboronsky O. Supersymmetry and localization. Comm. Math. Phys. 1997;183:463–476. [Google Scholar]
  • 71.Shcherbina M, Shcherbina T. Transfer matrix approach to 1d random band matrices: density of states. J. Stat. Phys. 2016;164:1233–1260. [Google Scholar]
  • 72.Shcherbina M, Shcherbina T. Characteristic polynomials for 1d random band matrices from the localization side. Commun. Math. Phys. 2017;351:1009–1044. [Google Scholar]
  • 73.von Soosten P, Warzel S. Renormalization group analysis of the hierarchical Anderson model. Ann. Henri Poincaré. 2017;18:1919–1947. [Google Scholar]
  • 74.von Soosten P, Warzel S, Mathematical Problems in Quantum Physics Singular spectrum and recent results on hierarchical operators. Contemp. Math. 2018;717:215–225. [Google Scholar]
  • 75.Wegner F. The mobility edge problem: Continuous symmetry and a conjecture. Z. Phys. B. 1979;35:207. [Google Scholar]

Articles from Annales Henri Poincare are provided here courtesy of Springer

RESOURCES