# Global Wilson-Fisher fixed points

###### Abstract

The Wilson-Fisher fixed point with universality in three dimensions is studied using the renormalisation group. It is shown how a combination of analytical and numerical techniques determine global fixed points to leading order in the derivative expansion for real or purely imaginary fields with moderate numerical effort. Universal and non-universal quantitites such as scaling exponents and mass ratios are computed, for all , together with local fixed point coordinates, radii of convergence, and parameters which control the asymptotic behaviour of the effective action. We also explain when and why finite- results do not converge pointwise towards the exact infinite- limit. In the regime of purely imaginary fields, a new link between singularities of fixed point effective actions and singularities of their counterparts by Polchinski are established. Implications for other theories are indicated.

=.16em \lightrulewidth=.1em \cmidrulewidth=.03em \belowrulesep=.4ex \belowbottomsep=0pt \aboverulesep=.4ex \abovetopsep=0pt \cmidrulesep=\cmidrulekern=.5em \defaultaddspace=.5em

## I Introduction

Wilson-Fisher fixed points provide a paradigm for continuous phase transitions and scale invariance in quantum and statistical field theory ZinnJustin:2002ru (). An important family of Wilson-Fisher fixed points are those of -symmetric scalar field theories in three dimensions, covering the liquid-vapor phase transitions (, Ising model), the He superfluid phase transition (, XY model), the ferromagnetic phase transition , Heisenberg model), the QCD phase transition with two massless flavours of quarks (), or phase transitions of entangled polymers (). In specific limits such as large-, or close to four dimensions Wilson:1971dc (), Wilson-Fisher fixed points are under exact perturbative control and allow for a complete solution of the theory Moshe:2003xn (). At finite , however, Wilson-Fisher fixed points are often strongly coupled and exact analytical solutions are not at hand Pelissetto:2000ek (); Litim:2010tt (). Instead, one has to resort to non-perturbative tools including numerical simulations on the lattice Campostrini:2000iw (), methods from conformal field theory ElShowk:2012ht () or, as will be done here, methods from the renormalisation group Litim:2005us (); Godina:2005hv (); Bervillier:2007rc (); Bervillier:2007tc ().

Wilson’s renormalisation group is based on the successive integrating-out of momentum fluctuations from a path-integral representation of the theory Polchinski:1983gv (); Wetterich:1992yh (); Morris:1993qb (); Berges:2000ew (); Litim:2000ci (). It allows us to interpolate between a classical microscopic action at short distances and the full quantum effective action at large distances, supported by powerful optimisation techniques Litim:2000ci (); Litim:2001up (); Litim:2001fd (). A particular feature of Wilson’s continuous RG is its flexibility, permitting systematic and controlled approximations even at strong coupling Golner:1985fg (); Litim:1998nf (); Tetradis:1995br (); Litim:2002qn (); Litim:2002ce (); Pawlowski:2003hq () by combining analytical Litim:2002cf (); Bervillier:2007rc (); Bervillier:2007tc (); Bervillier:2008an (); Abbasbandy:2011ij (); Litim:2016hlb () and numerical tools Adams:1995cv (); Bervillier:2007rc (); Borchardt:2015rxa (). Recent applications of the methodology include models of particle physics Eichhorn:2015kea (); Borchardt:2016xju () and quantum gravity Litim:2003vp (); Benedetti:2012dx (); Demmel:2012ub (); Dietz:2012ic (); Falls:2013bv (); Falls:2014tra (), supersymmetric models Synatschke:2010jn (); Litim:2011bf (); Heilmann:2012yf (), models in fractional or higher dimensions Codello:2014yfa (); Percacci:2014tfa (); Mati:2014xma (); Eichhorn:2016hdi (); Kamikado:2016dvw (), and models with imaginary couplings An:2016lni (); Zambelli:2016cbw ().

Ideas to understand interacting fixed points analytically with the help of recursive relations have recently been developed in Falls:2013bv (); Falls:2014tra (); Litim:2016hlb (). The virtue of this approach is that all local couplings, polynomial or otherwise, can be uniquely determined in terms of a few free parameters owing to the iterative diagramatic structure of Wilsonian renormalisation group flows Litim:2001ky (); Litim:2002xm (). For symmetric scalar field theories, exact recursive relations were obtained and exploited to specify the complete fixed point action using local expansions about small, large, or purely imaginary fields Litim:2016hlb (). At infinite , it has also been shown that local expansions are sufficient to uniquely determine the Wilson-Fisher fixed point globally, leading to closed expressions for the fixed point action. In this limit, free parameters become uniquely specified because the radii of convergence of small and large field expansions overlap. In this paper, we are interested in the global Wilson-Fisher fixed point at finite . The main new ingredient are the fluctuations of the radial mode which modify the set-up: local recursive relations are now characterised by a larger number of free parameters, and the singularity structure in the complex field plane is altered. As a result, we observe that the radii of convergence for small and large field expansions no longer overlap and complete analytical solutions remain out of reach. Still, global fixed points can be determined accurately, and with moderate effort, by combining analytical insights with numerical integration Bervillier:2007rc (); Bervillier:2007tc (). Our method identifies the few free parameters numerically, and offers largely analytical results for the fixed point action for all fields within the respective radii of convergence, together with numerical solutions in those regions of field space which cannot be reached via small or large field expansions.

Our strategy is put to work for symmetric scalar field theories covering the universality classes and , and to leading order in the derivative expansion. We compute global fixed point potentials, leading and subleading scaling exponents, mass ratios, local fixed point coordinates, radii of convergence, as well as the parameters which control local expansions of the effective action. In the regime of purely imaginary fields, a novel relation between singularities of the Wilson-Polchinski RG Polchinski:1983gv () and singularities of their Legendre-transformed counterparts Wetterich:1992yh () is established. Special emphasis is put on the accuracy of numerical procedures and the validity of local expansions, both of which are monitored carefully in all steps involved.

## Ii Renormalisation group

In this section, we shall recall the RG equations, introduce our approximations, and explain the computational strategy.

### A Wilsonian renormalisation group

This work employs the method of functional renormalisation based on a Wilsonian version of the path integral where parts of the fluctuations have been integrated out, Wilson:1973jj (); Polchinski:1983gv (); Wetterich:1992yh (); Ellwanger:1993mw (); Morris:1993qb (); Litim:2000ci (). We consider Euclidean scalar field theories with partition function

(1) |

where denotes the classical action and an external current. The Wilsonian cutoff term is given by

(2) |

with for and for to ensure that acts as an IR momentum cutoff Litim:2001up (); Litim:2000ci (); Litim:2001fd (). As such, the partition function (1) interpolates between a microscopic (classical) theory and the full physical theory . The main object of our investigation will be the“flowing” effective action . It relates to (1) via a Legendre transformation , where denotes the expectation value of the quantum field. The renormalisation group scale-dependence of is given by an exact functional identity Wetterich:1992yh () (see also Ellwanger:1993mw (); Morris:1993qb ()),

(3) |

It expresses the change of scale for the effective action with an operator trace over the full propagator multiplied with the scale derivative of the cutoff itself. At weak coupling, iterative solutions reproduce the perturbative loop expansion Litim:2001ky (); Litim:2002xm (). The exact RG flow (3) also relates to the well-known Wilson-Polchinski flow Polchinski:1983gv () by means of a Legendre transformation, and reduces to the Callan-Symanzik equation in the limit where becomes a momentum-independent mass term Litim:1998nf (). The right-hand side (RHS) of the flow (3) is local in field and momentum space implying that the change of at momentum scale is governed by fluctuations with momenta of the order of . Optimised choices for the regulator term Litim:2000ci (); Litim:2001up (); Litim:2010tt () allow for analytic flows and an improved convergence of systematic approximations Litim:2005us (). Approximations of the exact flow (3) are the central input in this study.

### B Local potential approximation

The local potential approximation (LPA) expresses the -symmetric effective action for real scalar fields by a standard kinetic term and a general effective potential,

(4) |

where denotes a vector of scalar fields. In the infinite limit, this approximation becomes exact. After inserting (4) into (3), the scale dependence of the dimensionless effective potential is determined by the partial differential equation Berges:2000ew (),

(5) |

Here, is the logarithmic scale parameter, and the Wilsonian RG scale. The dimensionless field variable automatically takes into account the invariance of the action under . The four terms on the RHS originate from the canonical scaling of the potential, the field, the fluctuations of the transversal (Goldstone) modes, and the fluctuations from the longitudinal (radial) mode, respectively. The functions parametrize threshold effects owing to the decoupling of heavy modes. In general, they take values of order unity for small argument, and vanish in the limit where field-dependent masses grow large ( for , where stands for the square of the field-dependent mass in units of the RG scale). The functions also depend on the choice for the Wilsonian momentum cutoff Litim:2002cf (). It takes the simple analytical form

(6) |

for an optimised choice of the regulator, following Litim:2002cf (); Litim:2001up (); Litim:2000ci (); see Litim:1995ex (); Litim:2016hlb () for exact large- solutions. The numerical factor arises from the angular integration over loop momenta, and denotes the -dimensional loop factor Litim:2016hlb (). At a fixed point solution, universal scaling exponents are independent of the numerical constant . This constant can be absorbed into the potential and the fields by the rescaling

(7) |

which is equivalent to setting in (6). The benefit of this normalisation is that couplings are now measured in units of the appropriate loop factors suggested by naive dimensional analysis Giudice:2003tu (). All our numerical data below is obtained for this choice. Since the zero point energy is not determined by the RG flow (5), it is sufficient to investigate the flow of its first derivative, which is given by

(8) |

We are interested in the Wilson-Fisher fixed point solutions of (8) for all and all fields. The fixed point potential obeys an ordinary second order non-linear differential equation

(9) |

where we recall to have set . In principle, (9) uniquely determines the Wilson-Fisher fixed point. In practice, integrating (9) numerically starting from small field values is difficult because the equation is stiff, e.g. Morris:1994ki (). Therefore we resort to a combination of analytical and numerical techniques to identify the unique fixed point solution and its universal properties.

### C Small field expansions

We briefly introduce the polynomial expansions of the scaling potential around its minimum in a phase with spontaneous symmetry breaking. It is well-known that scaling exponents can reliably be computed within a small-field expansion Litim:2002cf (). Here we make the polynomial ansatz Margaritis:1987hv (); Tetradis:1993ts (); Alford:1994fa (),

(10) |

which we approximate at a maximum order for the scaling potential in the vicinity of the potential minimum with . We refer to this ansatz as expansion . This type of ansatz has previously been studied in many works, e.g. Litim:2002cf (); Aoki:1996fn (); Aoki:1998um (); Morris:1994ki (); Berges:2000ew (). After insertion of (10) into the flow equation (5) one obtains a set of coupled ordinary differential equations for the couplings and . The fixed point conditions become together with for all . For the expansion , these equations can be solved algebraically, leading to the exact recursive relation Litim:2016hlb ()

(11) |

where we use the short-hand notation together with , and . When solved iteratively, the result (11) provides us with expressions for all couplings in (10) as explicit functions of the vacuum expectation value and the quartic self-coupling,

(12) |

the two couplings which remain undetermined by the recursive solution. Results for the two couplings (12) which remain undetermined by (11) are given below, for all . The series (10) is closely linked to an expansion in the “symmetric phase” about vanishing field

(13) |

which we denote as expansion . Expressions similar to (11) are found for the fixed point couplings in (13). The relevant expressions read Litim:2016hlb ()

(14) |

with . When solved iteratively, the expressions (14) provide us with explicit results for all couplings as functions of the mass term at vanishing field,

(15) |

Results for the critical mass parameter (15) for all will be reported below. Notice that (14) only depends on one unknown parameter (15), whereas (11) depends on two unknowns (12). In either case, the remaining parameters must be determined by some other means. However, it has been observed previously that the expansion (10) converges more rapidly than expansion (13), see Morris:1994ki (); Aoki:1996fn (); Aoki:1998um (); Litim:2002cf (); Litim:2003kf (). For this reason, in the remaining part of this paper, we will focus on the expansion (10) with (11). Local polynomial expansions such as (10) and (13) necessarily have a finite radius of convergence , typically of the order of the vacuum expectation value Litim:2002cf (); Litim:2016hlb ()

(16) |

In order to extend the fixed point solution for all fields, additional expansions are required.

expansion point in field space | |||||
---|---|---|---|---|---|

parameter | minimum | vanishing field | large real | large imaginary | info |

infinite : | none | Ref. Litim:2016hlb () | |||

finite : | and | and | this work |

### D Large field expansions

To obtain the fixed point solution for all fields, we additionally consider expansions for asymptotically large real () and imaginary () field amplitudes. In the limit , the flow (8) admits an expansion of the form Litim:2016hlb ()

(17) |

which we approximate at some finite maximum order . We refer to this ansatz as expansion . Interestingly, for all and using the beta functions for the couplings , we can solve the fixed point condition recursively to provide us with unique functions for the couplings Litim:2016hlb ()

(18) |

in terms of the leading order coefficient ,

(19) |

Of this one-parameter family of solutions, only a single one is related to the Wilson-Fisher fixed point. Below, the values (19) are determined numerically for each universality class.

We are also interested in the behaviour of the Wilson-Fisher fixed point solution for large negative field squared , corresponding to purely imaginary fields. In this limit, the fixed point potential has an expansion of the form Litim:2016hlb ()

(20) |

which we approximate at a finite maximal order . We refer to this ansatz as expansion . In Litim:2016hlb (), it has been established by exploiting the beta-functions for all couplings recursively that the putative fixed point couplings are expressed as functions of two independent couplings

(21) |

Of this two-parameter family of fixed point candidates, only a few, including the Gaussian and the Wilson-Fisher fixed point, extend over all field space. The independent parameters in (21) are given by the coefficients

(22) |

see (20). Values for these will be determined numerically for all .

### E Computational strategy

A full, global fixed point solution for all values of the field amplitude and predictions for the critical exponents can be obtained with the following two-step strategy. In Step 1, we determine all fixed point couplings in a local approximation, using expansion owing to its fast convergence. For a given order in the polynomial approximation around the minimum (10), we obtain the set of couplings (11). Next, we must determine the remaining free parameters (12) numerically. To order in the polynomial expansion, we impose additional boundary conditions on some of the higher order couplings which are not contained in the approximation up to order . Specifically, we use

(23) |

see Litim:2002cf (); Bervillier:2007rc (), which provides us with two additional equations for the two unknowns (12). The constraint (23) is equivalent to omitting all couplings with in the effective action from the outset. This strategy has the form of a bootstrap, where (23) serves as additional input for closure. Note also that the full non-perturbative fixed point will not obey (23) exactly. Hence, it is important to establish stability of our fixed point search under variations in the boundary condition and extensions of the approximation order .

The numerical accuracy of the fixed point solution, for all fields, is monitored by the quantity

(24) |

which provides a measure for the deviation from scaling. We have for the exact solution, for all fields. Finally, the universal critical exponent and the sub-leading scaling exponents are extracted as the eigenvalues of the stability matrix at criticality,

(25) |

This technique has been successfully applied previously Litim:2002cf () including for anti-symmetric corrections to scaling Litim:2003kf (), and extended for a high-accuracy determination of Ising exponents in Bervillier:2007rc (). Here we adopt it to compute the scaling exponents for all ranging between up to . The accuracy in a scaling exponent (or a critical coupling) with increasing order in the approximation is monitored via

(26) |

On the right-hand side, denotes the th order approximation for the quantity , and denotes the highest order value thereof. Hence, (26) counts the number of decimal places which agree between the approximated and the highest order result. By construction we expect that approaches the exact solution for with .

In order to connect the local fixed point at small fields with the asymptotic expansions at large fields, we have to determine the values for those parameters which have remained undetermined within the large real (19) or large imaginary field solution (21),

(27) |

see Tab. 1. Provided the radii of convergence of the small field polynomial expansion and the large field expansion overlap, it is possible to fix the coefficients (27) in the respective overlapping regimes by requiring to within the desired accuracy. In general, we find that the asymptotic expansions for large fields converge, albeit slowly. While the radii of convergence do overlap in the limit of infinite Litim:2016hlb (), this cannot be guaranteed at finite . Furthermore, with decreasing , a very high order in the expansion would be required to potentially achieve overlapping radii of convergence with the small field regime and good estimates for the unknown parameters (27). Therefore, as Step 2, we integrate the differential equation (9) at the fixed point numerically to bridge the gap between the small and the large field expansions. This will also provide numerical values for the parameters (27).

Integrating the stiff differential equation (9) from the vacuum expectation value towards large fields is numerically unstable and can terminate e.g. in a moving singularity. The instability can be dealt with by integrating into the opposite direction (from large to small fields), which requires a “shoot and relax”-type strategy. To that end, we choose field values and with and well within the range of validity of the small and large field expansion , respectively. Using initially a trial value for the parameter , we choose the starting point at to integrate the differential equation (9) from down to , thereby bridging the two asymptotic expansions. In this direction the integration is stable. The boundary condition for the parameter at is then adapted iteratively until the result from the numerical integration at agrees with the result from the polynomial small field approximation to within the desired accuracy, say

(28) |

at the matching point. To ensure stability in the result, we varied all matching points over a wide range and confirmed that our final values for are independent of the procedure.

In the opposite regime, for large negative , we determine the coefficients of the asymptotic approximation and in a two-step procedure. We first chose a point for which the polynomially approximated potential is reliable with, typically, . The starting values at are used for the numerical integration of (9) towards large negative values . In this direction, the numerical integration is stable. At sufficiently large negative field values, the leading order behaviour of the solution is solely governed by the coefficient . The sensitivity to the coefficient is suppressed as . Hence the numerical solution is used to first determine from a fit to the asymptotic expansion at . We have confirmed that the result is not sensitive against variations of the matching point.

Finally, the value of the subleading coefficient is determined by choosing a second matching point at a significantly smaller purely imaginary field value, together with the numerical result for and the prior determination of . Again, we confirm that the result is independent of the details of the procedure, as long as the second matching point is still located within the range of validity of the asymptotic expansion. Alternatively, we note that can also be extracted from the asymptotic expansion of the function . Here, the dependence on the coefficient drops out allowing for a direct access of at large negative . We have checked that both procedures give the same result.

## Iii Results

This section summarises our results for the scaling solutions, the scaling exponents and various other universal and non-universal quantities and their accuracy, the large- scaling of the theory’s parameters, and links with the Wilson-Polchinski RG.

### A Potential

At a fixed point of the renormalisation group, quantities are said to be non-universal provided that their values depend on technical parameters such as the RG scheme. Non-universal quantities cannot be measured in any experiment. This applies to the global shape of scaling potentials and the values of couplings at fixed points, which may vary depending on the choices for the Wilsonian cutoff and the RG scale. Quantities are said to be universal provided that their values solely depend on the characteristics of the universality class such as the dimensionality of space-time, the short- or long-range nature of interactions, and the number and type of degrees of freedom. Universal quantities such as scaling exponents can be measured in experiments. For the symmetric scalar theories considered here, the different universality classes are then specified by . Finally, quantities are said to be superuniversal provided they take identical values irrespective of the universality class.

Plots of the non-universal global potential and its derivatives are given in Figs. 1,2 for a representative selection of values for . The first plot in Fig. 1 (left panel) shows the results for the complete scaling potential rescaled as in (7) with , for and (the intensity of the line colour increases in this order). Notice that the - and -axes are rescaled as and to allow a display of the global fixed point potential for all real and imaginary fields. The potentials show a single global minimum at for all and all fields. The plots at finite are complemented by the solution in the infinite- limit (red dashed line, cf. Litim:2016hlb ()). With increasing but finite , the solutions seem to approach the infinite- result smoothly (note that the red dashed line is nearly on top of the large- solution for for all and is therefore hardly visible) – see Sec. C for a detailed discussion of the -dependence. Our results can further be used to derive the global equation of state and universal amplitude ratios for all (for an overview, see Pelissetto:2000ek ()), following the lines of Seide:1998ir () for the Ising universality class at LPA and beyond (e.g. including corrections through anomalous dimensions).

### B Mass scales

Next we discuss derivatives of the scaling potential. The RG flow is driven by the two relevant mass scales of the model, the field-dependent Goldstone mass and the field-dependent mass of the radial mode which, in units of the RG scale, are related to the potential as

(29) |

Either mass term contributes to the flow except at infinite where the radial (Goldstone) contribution is absent. As can be seen from the flow equation (8) together with (29), the limits

(30) |

signal a putative singularity Tetradis:1992qt (); Litim:2006nn (). Dynamically, however, the limit (30) is achieved smoothly without encountering any singularity, as follows from Figs. 1,2 and from the analytical result (20), see Litim:2016hlb (). Also, the mass scale ordering for large positive becomes inverted once . With increasing , the radial mass fully dominates the solution for imaginary fields.

### C Finite vs infinite

In Figs. 1, 2, results at finite are compared with exact solutions at infinite . With increasing , the global effective potential appears to approach the infinite- result smoothly. On a finer level, however, we observe that the masses (29) do not converge pointwise to the infinite- result. This is evidenced by the data for the field-dependent masses , , and their difference as shown in Figs. 1, 2. The dashed red line representing the solution in the infinite limit differs notably from the solutions at any finite for . The strict convexity bound (30) is relaxed for the radial modes at infinite , admitting without causing a singularity along the flow. At finite , the radial mode fluctuations contribute to the flow and the convexity bound must be adhered to. Quantitatively, an estimate for is found from resolving for at infinite , leading to

(31) |

Notice that (31) is consistent with the radius of convergence determined from the expansion (20) at infinite Litim:2016hlb (). For fields below (31), , the infinite- solution no longer fullfills . Hence, (31) denotes the smallest possible value for down to which finite- results may converge pointwise towards the infinite expressions. Furthermore, from the data, we also observe that the scaling solutions do approach the infinite result for all fields with . Taking the limit for the solutions of the finite- RG equations (8), we observe that in the entire regime . This is the convex hull of all functions for any finite , defined via a differential equation for which is solved by

(32) |

for all . The coefficient is given by in (20), in the limit . We observe the absence of subleading terms in (32), indicating that all subleading coefficients with in the general result (20) become suppressed parametrically for sufficiently large .

We conclude that the large- limit of the flow (8) at finite does not commute for all fields with the integration of the flow at infinite . Rather, this limit is qualitatively different from the solution of the large- equations in the regime for purely complex fields. The culprit for these differences are the flucutations of the longitudinal (radial) mode, which at any finite interfere with those of the transversal (Goldstone) modes and modify the analytic structure of the fixed point solution.

### D Mass differences

Next, we investigate in more detail the region indicated by the arrow in Fig. 2 (right panel), where the field-dependent mass difference is displayed as a function of . We use the vacuum expectation value to set the “scale” in field space, with measuring the magnitude of fields in units of the vev, per universality class. Although the functions and take quite different shapes for different , we observe from the data that the functions seem to coincide close to the region where , Fig. 2. An exact coincidence for all would be an indication for superuniversal behaviour. However, a closer inspection shows that this is not quite the case: for each pair of universality classes with we have computed the field ratio such that , leading to a collection of coincidence points . For large and , the data points show a mild dependence on with values in the range and . We conclude that within the approximations used here the mass difference does not show superuniversal behaviour other than the trivial one where for any , reflecting equality of masses at vanishing field. Note also that we have excluded the exact infinite result from the analysis, because the pointwise convergence of finite- results towards their large- limit no longer coincide with the exact infinite result for the range of values found above (), see Sec. C. It would be interesting to check corrections to this picture beyond the local potential approximation.

### E Field ratios

At the Wilson-Fisher fixed point, the physical masses (29) vanish identically in the infra-red limit . Furthermore, away from the fixed point both masses always coincide for vanishing field, . At , and with increasing field values, both masses increase, with for all fields . The square of the Goldstone mass changes sign at the potential minimum, and the square of the radial mass changes sign at the inflection point . This makes their ratio

(33) |

a potentially universal quantity worth being explored, also in the light of our results in the previous section. The ratio also gives access to global aspects of the fixed point solution. At the Wilson-Fisher fixed point in the infinite limit, we find the ratio of field values at the inflection point and at the potential minimum analytically. It reads

(34) |

where is determined as the unique solution of the transcendental equation , leading to

(35) |

Our numerical results for finite are displayed in Fig. 5. It is noteworthy that the asymptotic limit (35) is an excellent approximation for (33) for most down to , suggesting that (33) is largely super-universal, independent even of the universality class. Quantitatively, the -dependence of (33) is much weaker than the -dependence observed for the universal scaling exponents themselves, and much less so than the fixed point coordinates.

### F Barrier height

In Fig. 5 we also display the “barrier height” — refering to the difference between the potential at vanishing field and at the global minimum of the fixed point solution — as a function of the universality class and in units of the vacuum expectation value

(36) |

The dimensionless parameter (36) supplies us with global information of the fixed point potential. It is of order unity for all , and characterises the universality class. Note that the physical barrier height is given by , and vanishes in the infrared limit as it must at a second order phase transition. In the infinite- limit, we have

(37) |

where uniquely solves the transcendental equation , with

(38) |

Quantitatively, we therefore have

(39) |

As can be seen from Fig. 5, the -dependence of (36) is much more pronounced than the one for the scaling exponents and for the field ratio, in particular for small .

33 | 0 | 0 | 0.139993154 | 0.0475919230 | 0.0211562710 | |

33 | 0.53010731451 | 0.0683026035970 | 0.1398353693 | 0.04430604100 | 0.01677868580 | |

0 | 33 | 0.5654460144 | 0.131345164893 | 0.2706917649 | 0.1520450814 | 0.0898543170 |

1 | 33 | 0.60496613456 | 0.186064249476 | 0.3784932636 | 0.2683346829 | 0.1690960425 |

2 | 33 | 0.645985012570 | 0.2301854999 | 0.45440714932 | 0.34808205451 | 0.19512012101 |

3 | 33 | 0.6851667859 | 0.263517269 | 0.50020343745 | 0.383421958193 | 0.178857298500 |

4 | 33 | 0.7201520549 | 0.28778463 | 0.52455774613 | 0.390008902143 | 0.153420501328 |

5 | 31 | 0.7501424439 | 0.3053458 | 0.53621216879 | 0.383637436049 | 0.133374923843 |

6 | 31 | 0.7753969531 | 0.3182375 | 0.54105444077 | 0.373076375122 | 0.119991941052 |

7 | 31 | 0.7965902702 | 0.3279242 | 0.542409476345 | 0.362059820747 | 0.111277257677 |

8 | 33 | 0.814447579888 | 0.3353884 | 0.542027337724 | 0.351907477606 | 0.105437978454 |

9 | 33 | 0.829605953766 | 0.34127835 | 0.540810681071 | 0.342956872311 | 0.101340258191 |

10 | 33 | 0.842584531609 | 0.3460262 | 0.539224887998 | 0.335185982691 | 0.0983242065590 |

20 | 33 | 0.911388350304 | 0.36745406 | 0.525086952003 | 0.294955212949 | 0.0866005267390 |

30 | 33 | 0.938518498813 | 0.374511202 | 0.517868217096 | 0.280245472539 | 0.0828790249620 |

40 | 33 | 0.952953265258 | 0.378008299 | 0.513816036847 | 0.272755783975 | 0.0809771159500 |

50 | 33 | 0.961904553341 | 0.3800950613 | 0.511248174538 | 0.268231429777 | 0.0798166118300 |

60 | 33 | 0.967996091673 | 0.3814811685 | 0.509480655859 | 0.265205203302 | 0.0790338619260 |

70 | 33 | 0.972408915311 | 0.3824686839 | 0.508191322583 | 0.263039546849 | 0.0784700610060 |

80 | 33 | 0.975752675739 | 0.38320789159 | 0.507209817973 | 0.261413388856 | 0.0780445668020 |

90 | 33 | 0.978373784195 | 0.383781972477 | 0.506437902150 | 0.260147596608 | 0.0777120320860 |

33 | 0.980483612096 | 0.38424069090 | 0.505815034989 | 0.259134394528 | 0.0774449877720 | |

31 | 0.998004906308 | 0.387937969253 | 0.500598177540 | 0.250914244992 | 0.0752479053650 | |

1 |

### G Polynomial couplings

The coordinates of the vacuum expectation value , the dimensionless mass parameter at the potential minimum , and the polynomial fixed point couplings are summarised in Tab. 2 (see also Fig. 3). We restrict ourselves to presenting only the leading and the first few subleading couplings and recall that perturbative loop factors have been scaled into the couplings. The order up to which we approximate the expansion around the minimum, is also given in the table. The quoted digits are those which did not change for at least four preceeding orders of the approximation (that is, between and ).

1 | 33 | 0.5415364745 | 0.6757184 | 3.4431 | 6.4099 |
---|---|---|---|---|---|

0 | 33 | 0.5920826926 | 0.65787947 | 3.3084 | 6.1631 |

1 | 33 | 0.6495617738 | 0.65574593 | 3.18001 | 5.91223 |

2 | 33 | 0.70821090748 | 0.671221194 | 3.071402 | 5.67904 |

3 | 33 | 0.7611231371 | 0.6998373178 | 2.9914230 | 5.4826528 |

4 | 33 | 0.804347696 | 0.733752926 | 2.9399940 | 5.330637 |

5 | 31 | 0.8377407110 | 0.76673529 | 2.9108908 | 5.219539 |

6 | 31 | 0.8630761595 | 0.795814494 | 2.896726 | 5.140977 |

7 | 31 | 0.8823889567 | 0.820316404620 | 2.8916166 | 5.086305 |

8 | 33 | 0.897337664625 | 0.8406122805 | 2.89163472 | 5.04848125 |

9 | 33 | 0.909128139450 | 0.85738397045 | 2.89438031 | 5.0223239 |

10 | 33 | 0.918605123154 | 0.87131097659 | 2.898458278 | 5.00419855 |

20 | 33 | 0.960678346035 | 0.936742371978 | 2.93751369319 | 4.96566025423 |

30 | 33 | 0.974173017876 | 0.958441374389 | 2.95672986621 | 4.97022378261 |

40 | 33 | 0.980781323265 | 0.969097610936 | 2.96709100884 | 4.97540746495 |

50 | 33 | 0.984698956658 | 0.975413687073 | 2.97348964704 | 4.97932916821 |

60 | 33 | 0.987290505905 | 0.979589069170 | 2.97781818967 | 4.98225142783 |

70 | 33 | 0.989131594889 | 0.982553360520 | 2.98093683915 | 4.98447973715 |

80 | 33 | 0.990506893951 | 0.984766383156 | 2.98328905465 | 4.98622431780 |

90 | 33 | 0.991573286057 | 0.986481464992 | 2.98512577783 | 4.98762303949 |

33 | 0.992424323549 | 0.987849597646 | 2.98659941340 | 4.98876757415 | |

31 | 0.999249240822 | 0.998798467576 | 2.99865080272 | 4.99880711432 | |

31 | 0.999924992406 | 0.999879984650 | 2.99986500784 | 4.99988007059 | |

1 | 1 | 3 | 5 |

In the last row of Tab. 2 we also
provide the limits, empirically determined
for the couplings based on (40)
in the case of the scaling exponents, and based on Litim:2016hlb ()
for .
For the potential’s minimum resides exactly at the origin, . As increases
moves towards larger values, asymptotically reaching for . Hence, sets a “scale” for the overall normalisation of couplings with .
For this reason, it is natural to use as a normalisation factor for the results. For the purpose of Tab. 2 we therefore have rescaled all couplings with (appropriate powers of) . In this way all couplings achieve a finite limit even for large .^{1}^{1}1Note that this rescaling is equivalent to the rescaling (7) of the flow equation (8) with . By definition, the scaled couplings vanish in the limit . Quartic couplings are of order unity. By naive dimensional analysis Giudice:2003tu (), the fixed point is boarderline strongly coupled for most . We also observe that couplings reach maxima for moderate values of , and that they approach their finite large- limits from above.

### H Exponents

Exact results for the scaling exponents in are known in the infinite- limit Stanley:1968gx (); Litim:2001dt () where the universal eigenvalues approach those of the spherical model. One finds

(40) |

where takes integer non-negative values. The sole negative eigenmode is related to the exponent by , and the sub-leading corrections-to-scaling exponents are . In the vicinity of , the exact result reads Fisher:1973zzb (); Litim:2001dt ()

(41) |

Numerical results for exponents at finite have been given in Litim:2001fd (); Litim:2002cf () with an accuracy up to six significant digits to leading order in the derivative expansion.^{2}^{2}2See Litim:2010tt () for an overview of results up to fourth order in the derivative expansion. In Bervillier:2007rc (), the accuracy has been extended up to 14 significant digits for the Ising universality class. The present study provides the exponents for any within , and enhances the accuracy up to about 30 digits in the result. Our numerical results all smoothly approach
their known asymptotic value as is increased. This is illustrated
in Figs. 3, 4. The data underlying these plots is
summarised in Tab. 3.
It is worth pointing out that the Wilsonian regulator function in (3) is key to help enhancing convergence and stability of results Litim:2002cf (); Litim:2001up (); Litim:2001dt (); Litim:2000ci (). Moreover, universal exponents show a characteristic “cusp-like” structure as a function of the RG scheme, with best results located exactly at the cusp Litim:2007jb (). Incidentally, cusp-like structures have also been observed within the conformal boostrap technique ElShowk:2012ht ().
For our models, the cusp is achieved for the optimised cutoff Litim:2001up (). Hence, results are “as good as it gets” to leading order in a derivative expansion, in exact agreement with results from Polchinski’s equation Polchinski:1983gv (); Litim:2005us ().

For completeness, we compare our findings to leading order in a derivative expansion with the best estimates to date based on Monte Carlo (MC) simulations and the conformal bootstrap where impressive levels of accuracy have been achieved as of late PhysRevE.94.052102 (); Hasenbusch:2011yya (); Kos:2016ysd (); Campostrini:2006ms (). Specficially, Ising exponents and have been found recently with the conformal bootstrap technique Kos:2016ysd (). MC simulations have found for entangled polymers () PhysRevE.94.052102 (); and for Ising universality Hasenbusch:2011yya (), and and for the XY model () Campostrini:2006ms (). LPA results for agree with these to within 0.75% (, , and , respectively. Subleading scaling exponents such as Litim:2001dt () or antisymmetric corrections to scaling Litim:2003kf () are more sensitive to higher derivative interactions Litim:2010tt () and deviate more strongly in LPA Litim:2001dt () (often in the 25%-40% range) provided they are correlated with (if not, much smaller deviations are observed Litim:2001dt ()). Sub-percent accuracy of RG results is achieved through suitably “optimised” higher orders in the derivative and/or vertex expansion; see Canet:2002gs (); Canet:2003qd (); Canet:2004xe (); Litim:2010tt () for results up to fourth order in the derivative expansion.

### I Large-field asymptotics

In Tab. 4, we present our results for the expansion coefficients (27), as obtained from the numerical integration of the flow equation, using the techniques discussed in Sec. E. For the determination of the large field coefficient , we use an asymptotic expansion (17) up to order . For the coefficients and we use an asymptotic expansion up to order , corresponding to about a hundred terms in the series (20). Note also that we have rescaled the coefficients (27) with to factor-out redundant -dependences. Again, this is equivalent to a rescaling with (7) of (8) for the choice . The plot in Fig. 6 illustrates that in this normalisation the coefficient smoothly approaches its infinte- asymptotic value given by

(42) |

in accord with the findings in Litim:2016hlb ().

n.a. | 3.28126470 | n.a. | n.a. | 10 | 0.1653897 | 3.8694520 | 0.6186249 | 0.552110 | |
---|---|---|---|---|---|---|---|---|---|

0.0145616 | 3.09527890 | 2.41639530 | 2.622610 | 20 | 0.1732571 | 5.6586330 | 0.5312423 | 0.5555058 | |

0 | 0.0457930 | 2.95035660 | 1.61520140 | 1.34971010 | 30 | 0.175657 | 7.4389030 | 0.4976890 | 0.5648128 |

1 | 0.0790721 | 2.86082720 | 1.25550850 | 0.94716139 | 40 | 0.176816 | 9.1926050 | 0.479246 | 0.57232897 |

2 | 0.1064012 | 2.83512060 | 1.04747710 | 0.7655842 | 50 | 0.1774976 | 10.9247910 | 0.467346 | 0.578200229 |

3 | 0.125896 | 2.87007160 | 0.9152994 | 0.6724176 | 60 | 0.177946 | 12.640250 | 0.458928 | 0.582876187 |

4 | 0.138984 | 2.95328100 | 0.8267318 | 0.6214516 | 70 | 0.178264 | 14.342490 | 0.452607 | 0.586688428 |

5 | 0.147731 | 3.07041660 | 0.7646765 | 0.59231311 | 80 | 0.178501566 | 16.034030 | 0.447656 | 0.589862023 |

6 | 0.1537283 | 3.2099170 | 0.7193494 | 0.5750751 | 90 | 0.1786850 | 17.716710 | 0.443654 | 0.592551002 |

7 | 0.1579893 | 3.3638350 | 0.6849811 | 0.564635 | 0.1788313 | 19.391930 | 0.440342 | 0.59486339 | |

8 | 0.161128 | 3.5270400 | 0.6580723 | 0.558249 | 0.1799987 | 164.16480 | 0.405172 | 0.62464 | |

9 | 0.1635185 | 3.6962730 | 0.6364287 | 0.554376 | 0.180113 | 1582.0140 | 0.39774 | 0.63225 |

Similarly, for large negative , corresponding to purely imaginary fields and assuming that is the only global “scale” of the fixed point solution, naive dimensional analysis suggests that the coefficients scale proportionally to , and that should scale proportionally to , modulo logarithmic corrections. Our results for these are shown in Tab. 4 and in Fig. 6. The expected behaviour is confirmed for . Unlike the coefficient , however, it has not yet fully settled to its asymptotic value. The reason for this is that the limit is continuous only for real fields with , but not so for purely imaginary fields with , see Sec. B. In fact, the asymptotic solution for large negative at is different from the expansion at any finite due to the absence of the radial mode fluctuations. We also find that roughly scales as , rather than . For large-, it is therefore smaller by a power of than naively expected. This behaviour indicates that subleading terms are more strongly suppressed than the leading one, for large , in accord with (32).

### J Radii of convergence

In order to further quanitfy the above we define an empirical radius of convergence for the small-field expansion around based on the data, see Fig. 7. To that end, we determine a maximal (minimal) field value () such that the accuracy of the fixed point solution , defined in (24), remains larger than a pre-set desired accuracy for all fields ().

Our results are illustrated in Fig. 7. The blue circles (red stars) represent for each value of the results for (upper lines) and (lower lines), for a polynomial approximation at order (). The colour intensity increases with increasing “desired accuracy” . The data points above and below the 0-axis correspond to the radius of convergence above and below the potential minimum, respectively, indicating approximately symmetric convergence properties in these two domains, . The common radius of convergence is read off as

(43) |

In order to guide the eye we have connected those data points for where the difference between the full result and the polynomial approximation in terms of is of order one; this line is our estimate for the radius of convergence. Broadly speaking, we find that

(44) |

for . It is intuitively clear that the dark points lie closer to the origin. In fact, the requirement that is a much more stringent choice for the definition of the radius of convergence. This empirical definition for the radius of convergence for intermediate values of is compatible with (16). The results for , marked by red stars, behave in a very similary way. In fact, the results agree very well over a wide range of indicating that an excellent accuracy is already achieved at irrespective of the universality class.

Exemplarily, we evaluate the radius of convergence with higher accuracy for the Ising universality class , and for the infinite- limit. In the Ising case, we use the Mercer-Roberts test Litim:2016hlb () for the numerical expansion coefficients to find the estimate

(45) |

for , which is in good agreement with our findings in Fig. 7 and the estimate of the radius based on the present study, displayed in Fig. 8.

At infinite , the radius of convergence is related to the unique pair of complex conjugate solutions and of the transcendental equation Litim:2016hlb ()

(46) |

where the function is given in (38) and denotes its inverse, . From (46), one then determines the radius of convergence in units of the vacuum expectation value as . Quantitatively,

(47) |

which is in good agreement with the numerical estimates achieved for large , see Fig. 7.

### K Accuracy of global fixed point

In Fig. 8 we illustrate exemplarily for and the accuracy of the fixed point solution to leading order in the derivative expansion, covering the entire field space of real and purely imaginary fields. We also highlight the regime where we used a small field expansion around the potential minimum (region ), asymptotic expansions for large positive (region ), large negative (region ), and the intermediate regions connecting these by a full numerical integration (regions and ). The upper panel shows (left vertical axis), while the lower panel provides the accuracy (24) (right vertical axis) of the fixed point. These findings should be compared with Fig. 9, where we show the exact global Wilson-Fisher fixed point at infinite , including the radii of convergence of local expansions. We make the following observations:

At infinite , only Goldstone mode fluctuations contribute and the radial mode has decoupled. We observe that the local expansion has an overlapping radius of convergence with those of expansions and , see Fig. 9. Consequently, the parameters and are uniquely determined through the couplings of expansion , see Tab. 1. This provides us with a global and analytical solution for all fields Litim:2016hlb ().

At finite ,
the fluctuations of the radial mode contribute.
We observe that large and small field expansions no longer have overlapping radii of convergence, illustrated in Fig. 8 through the intermediate (green) regions and .
The gap in field space is narrower for real than for imaginary fields , and mildly depends on and the competition between Goldstone and radial mode fluctuations. The fixed point equation, albeit stiff, admits a stable numerical integration in the intermediate regimes and . The accuracy in region is rather homogeneous. In region (where the integration starts at large negative ) the accuracy slowly decreases inwards, with decreasing . In either case the overall accuracy is solely limited by the accuracy of the adopted numerical algorithm.^{3}^{3}3Semi-analytical ideas to bridge the gap using conformal mapping are discussed in Abbasbandy:2011ij ().

The accuracy of all local expansions decreases with increasing distance from the expansion point, as is evident from the decrease of in the bottom-half of the plots, see Fig. 8. This is a necessary fingerprint of local expansions. We have checked that local expansions agree with the numerical integration in the regions where they overlap. This way, an overall accuracy of relevant digits is achieved.

### L Accuracy of universal exponents

In Fig. 10, the accuracy and convergence to leading order in the derivative expansion of the four leading scaling exponents are shown as a surface plot for all and all approximation orders . All plots show a monotonic increase in the number of significant digits as the order of the polynomial approximation is increased, . This means that the scaling potential can indeed be improved systematically, and for all . Interestingly, the accuracy in the result is systematically higher for larger values of . This result establishes that the numerical strategy used here is applicable, and that the boundary condition (23) is self-consistent. We have also found indications that an improved boundary condition, informed by semi-analytical input for the higher order couplings, improves the convergence even further. Given the quality in the results, we have not attempted to implement more refined strategies here.

### M Wilson-Polchinski flow

We finally discuss a link between optimised and Wilson-Polchinski flows related to singularities of their fixed point solutions in the regime of purely imaginary fields. In Litim:2005us (), it has been conjectured that the optimised RG flows Litim:2001up (); Litim:2000ci () studied here are equivalent to the Wilson-Polchinski RG flow Wilson:1973jj (); Polchinski:1983gv () in the same approximation. In fact, both of these RG flows are related by a Legendre transform. By now, their equivalence has been established both numerically Litim:2005us (); Bervillier:2007rc (), by evaluating universal scaling exponents in either version, and analytically Morris:2005ck (); Bervillier:2007rc (), with the help of the Legendre transform.

Here, we briefly discuss how the singularity for large and purely imaginary fields translates to the corresponding fixed point solution of the Wilson-Polchinski flow. For asympotically large imaginary fields the first derivative of the scaling potential takes the form (20),

(48) |

up to next-to-next-to-leading order corrections, see (20), (22). We note that since the variable takes all real values on the fixed point solution, the fields exhaust all values on the imaginary field axis. In particular, remains finite throughout.

We now turn to the Wilson-Polchinski flow for the potential . In dimensions and for it can be written as Litim:2005us ()

(49) |

where is the square of the field in units of the RG scale . At the Wilson-Fisher fixed point , and in the regime of purely imaginary fields and negative , it has been observed that Osborn:2009vs ()

(50) |

where the parameter depends on the universality class . In contrast to (48), the result (50) shows that the integrated Wilson-Polchinski flow exhibits a simple pole at finite fields

(51) |

on the imaginary field axis, with . Performing a Legendre transform following Bervillier:2007rc () provides us with relations between the effective potential of the Wilson-Polchinski flow and the potential from the optimised RG. This leaves us with an explicit link between the parameters in (50) and the coefficient in (48),

(52) |

Hence, although the singularities in the complexified field plane in either setting are qualitatively different, as evidenced in (48), (50), the behaviour of the Wilson-Fisher fixed point for asymptotically large and purely imaginary fields in one setting dictates the location of a pole in the other, both given by the same parameter . In Tab. 5 we confirm the result (52) numerically, comparing our results for from (48) with those derived numerically from (50) in Osborn:2009vs (). Besides offering a consistency check for the analytical results of Litim:2016hlb (), the quantitative agreement also confirms equivalence of renormalisation group flows even for purely imaginary fields.