Geometry of bounded critical phenomena

Geometry of bounded critical phenomena

Giacomo Gori gori@sissa.it Andrea Trombettoni
Abstract

We devise a geometric description of bounded systems at criticality in any dimension . This is achieved by altering the flat metric with a space dependent scale factor , belonging to a general bounded domain . is chosen in order to have a scalar curvature to be constant and negative, the proper notion of curvature being – as called in the mathematics literature – the fractional Q-curvature. The equation for is found to be the Fractional Yamabe Equation (to be solved in ) that, in absence of anomalous dimension, reduces to the usual Yamabe Equation in the same domain. From the scale factor we obtain novel predictions for the scaling form of one-point correlation functions. A (necessary) virtue of the proposed approach is that it encodes and allows to naturally retrieve the purely geometric content of two-dimensional boundary conformal field theory. From the critical magnetization profile in presence of boundaries one can extract the scaling dimension of the order parameter, . For the 3D Ising model we find which favorably compares (at the fifth decimal place) with the state-of-the-art estimate. A nontrivial prediction is the structure of two-point correlators at criticality. They should depend on the fractional Q-hyperbolic distance calculated from the metric, in turn depending only on the shape of the bounded domain and on . Numerical simulations of the 3D Ising model on a slab geometry are found to be in agreement with such predictions.

\pdfsuppresswarningpagegroup

=1

1 Introduction

The understanding of critical phenomena and critical states is a central theme of modern physics. In the course of the study of criticality powerful tools have been developed such as the Renormalization Group able to enlighten universal physical properties from condensed matter systems to high energy physics.

A basic concept that has emerged as a defining property of the critical state is that of being scale invariant. We refrain from working out these concepts in full generality [1] while concentrating on the case of a bounded system defined in a simply connected domain . It is well known that, at criticality, for a wide range of systems [1, 2] one can adopt a continuum description where the physical observables depend on the spatial coordinate, in our case . Consider a (space dependent) observable depending on the local degrees of freedom located inside the domain, think of the order parameter as a guiding example. In the critical state the system will have a given distribution of the microscopic degrees of freedom allowing to obtain averages that will be denoted by . If the system admits a well defined thermodynamic limit the averages are expected to converge to some well behaved function .

The consideration of bounded systems has both practical and theoretical advantages. On the practical side when dealing with real systems (be them experimental or numerical realizations) we are in general treating finite systems. On the theoretical side boundary theories are often more constraining leading to more refined results, moreover corrections to the infinite system system behavior contain information on some fundamental properties of the theory such as the central charge [3, 4]. These relations allow us to access these fundamental quantities even in finite systems.

Scaling hypothesis for the operators implies that if we take a system of a size times larger than then the correlation function operator will be given by:

(1)

where is the scaling dimension of the field  [1, 5]. Similar Ansätze can be put forward for observables depending on more points.

2 Uniformisation

We now put forward our main working hypothesis (Uniformisation):

A system at criticality in a bounded domain will try to modify its (flat euclidean) metric in order to be “as uniform as possible”.

The flat metric will be denoted by where the indices and run from to ; the symbol will instead be reserved for a generic metric . The allowed change in the metric will be of the type where is a space dependent scale factor. A reason for allowing changes of this type is that on short scales, such that the effect of boundaries is negligible, the system should locally behave as a bulk system which is isotropic. Such a change in the metric is known in the mathematical literature as a conformal change and metrics related by these transformations are said to belong to the same conformal class.

Since we are trying to set up an intrinsic geometry, the Uniformisation should entail curvatures. As we are aiming at fixing one space dependent function we will have to put constraints on a quantity. A first reasonable guess (which will be later modified) is the scalar curvature, , where we explicitly noted the dependence on the metric . For convenience we remind how is defined in terms of the metric :

(2)
(3)
(4)

(as usual, summation over repeated indices is assumed).

Thus, according to Uniformisation, we would end up with the equation:

(5)

Actually for two-dimensional systems this guess, implementing our Uniformisation hypothesis, appears to be well motivated since scalar curvature alone is a quantity fully specifying geometric properties [6]. Now it comes to the choice of the right constant value to set for . We have the following possibilities:

  • is constant positive curvature, think of the sphere as a (very special) example, which does not appear to be suited to describe a system with boundary since it has no borders.

  • is a flat space (actually the one we started with) which is also not suited to pursue Uniformisation since the points living near the boundary cannot be treated on the same footing as the other points in the bulk.

  • is constant negative curvature, think of the hyperbolic space as a (again very special) example, indeed appears as a reasonable since it is endowed with an infinitely distant boundary.

Since one can always rescale , from now on we choose 111From time to time the constant is restored, keep in mind however that it should always be set to ..

Writing down the equation requires the knowledge of the transformation laws of scalar curvature under conformal changes of the metric. We have that . The problem we have just stated is known as the Yamabe problem [7]. Since the we are starting from is flat () and we are requiring , we are aiming at the solution of:

(6)

i.e. the so-called Yamabe Equation. In (6) gradient and Laplacian are calculated with the flat metric and the function should be zero on , the boundary of . The Yamabe problem, an old acquaintance to geometers, is the subject of extensive mathematical research in the literature at the interface of analysis and geometry [8, 9, 10]. The Yamabe Equation for has been studied in connection with the Liouville field theory [11] and for it just occasionally surfaced in the physics literature [12, 13].

Another more suggestive form of the above equation is written as the nonlinear eigenvalue problem for the positive definite operator : for

(7)

For a limit has to be performed yielding the Liouville equation

(8)

In the solution of the above problem inside a (simply connected) domain amounts exactly to the construction of a model of hyperbolic space .

We quote two simple solutions of (7) valid in any : putting , we have i) for the upper half hyper-space, , it is ; ii) for a ball of radius we have where . These two are examples where by conformally altering the metric we can construct , i.e. a space where not only but all the sectional curvatures are equal and negative. The two-dimensional case stands on its own because as already mentioned is enough to specify the geometric properties of the space. The spaces constructed inside say a disk and a square will be isometric and the coordinate change between them will be the conformal mapping between the interiors of the square and the disk (so in this case a Schwarz-Christoffel mapping) that due to Riemann mapping theorem exists, provided the domains are regular enough.

But let’s pursue the geometric reasoning. Having obtained a uniformising metric, we wish to construct from it predictions for observables. The obtained metric indeed constitutes, locally, a gauge for measuring lengths. One-point correlators should be function of it. Let us now inspect how the solution of the Yamabe Equation changes under a rescaling of the domain. We have that

(9)

Given this transformation law we are led to:

(10)

where is the solution of Yamabe Equation (6). We anticipate that in (10) we are not fully taking into account the effect of anomalous dimension on the metric; this will be fixed in the next two Sections.

We now turn to two-point correlators. For the two-point correlator , a prefactor restoring the correct physical dimensions is expected, while what is missing, because of our hypothesis of a purely geometric description, should be only a function of the distance between points and , calculated with the metric . This yields:

(11)

The above considerations can be extended for higher order correlators. For example three-point functions should contain three dimensional prefactors and an arbitrary function of three mutual distances and so on.

What we have just outlined is indeed true for two-dimensional systems and, with , for systems defined in the upper half hyperspace or inside a hypersphere as derived by using the group of conformal symmetries [14]. In , for one-point functions it coincides with known results in bounded critical systems, see e.g. [15, 16, 17, 18], while, always in , for higher point correlators it matches the transformation law for correlators in boundary conformal field theories (see e.g. 5.24 in [3]) under conformal mappings. From our geometric viewpoint this is traced back to the fact that all spaces of constant negative curvature are isometric in two dimensions.

In order to see explicitly in that our results agrees with symmetry-based derivations [14], recall that for the -dimensional upper half hyperspace the hyperbolic distance is where . Our conjecture for two-points then exactly reproduces what can be found in formula (3.9) of [14]. We stress that this is special to the upper half hyperspace and inside a hypersphere domains that do not acquire a dependence on anomalous dimension. Our results refer instead to any domain in any dimension. For domains different from the upper half space and the ball the anomalous dimension plays a role in , as we discuss in the next Section.

We remark another rewarding property of the structure of solutions of Yamabe problem: close to the boundary of , as it can be gleaned from (6), we have that is proportional to the euclidean distance to the boundary . This implies a locality property: near the boundary the system effectively looks like a hyperbolic space forgetting about the detailed shape of the domain. This feature is also retained by solutions of the fractional Yamabe problem that will shortly be introduced.

The explicit analytical solution for the Yamabe Equation in a slab domain relevant for the interpretation of numerical experiments is presented in Appendix A.

3 Anomalous dimensions inclusion

Let us reconsider the Yamabe Equation in a different light. Take a general theory which is at most quadratic in the fields. Its action is given by:

(12)

where is a general linear operator which should be positive in order to ensure control over fluctuations of the field. A good example is obviously minus the Laplacian, . is an external magnetic field. With this action we can perform averages as follows:

(13)

with the normalization . We can calculate the average of the order parameter obtaining

(14)

where the inverse of has appeared. Inverting the above relation we get

(15)

Let us now take and pursue some geometric considerations based on scaling. Assume there is a metric, , describing the system at criticality. The field has scaling dimensions , also known as free field or canonical dimensions, while will have scaling dimensions for the action to be dimensionless [1, 2]. With these assumptions Eq. (15) reads:

(16)

and it has become nothing but the Yamabe Equation.

Let us now exploit and insert some common knowledge we have from the theory of critical phenomena. A generic observable will have some scaling dimension differing from the free field one. The presence of so-called anomalous dimensions is at the heart of the existence of a nontrivial theory of critical phenomena. As an example take the magnetization in the 3D Ising model which has a scaling dimension of  [19]. We quote the best result to date obtained via the Conformal Bootstrap technique [19], other high precision determinations of are to be found in [20, 21, 22, 23] and are reported in Table 1. This result differs by a small, but definitely nonzero amount from the expected canonical dimension .

How can we correct the above equations to account for the anomalous scaling? A first guess would be to simply substitute the order parameter with and the conjugate field with . However the Laplacian would have the wrong scaling dimensions. A natural way out is to consider a power of it:

(17)

where the subscript on signals the dependence on the anomalous dimension . Eq. (17) is the so-called Fractional Yamabe Equation. It emerged in the context of the fractional Yamabe problem, i.e. finding metrics making generalizations of the scalar curvature, the so-called fractional -curvatures, constant. The first definition of this problem with rigorous results for the case of compact manifolds appeared in [24].

We remind that in the full space (with no boundaries) several definitions of the fractional Laplacian are known in literature [25, 10] and they do coincide [26]. However Equation (17) is to be solved in the bounded domain . When adapted to bounded domains, the different definitions of the fractional Laplacian in general do not any longer coincide and this is both a problem for applications and a challenge for mathematical research which is currently subject of intense work [27].

For the purposes of the present paper we anyway need to define and solve Equation (17) in bounded domains. This has to be done in order to compare the results with lattice Monte Carlo simulations to validate our Uniformisation hypothesis and the conjectures, that will be stated in the following Equations (24)-(25), for one-point and two-point correlations.

The route we follow to overcome these difficulties is to introduce a conformally covariant version of the fractional Laplacian in bounded domains, as detailed in the next Section.

For later convenience we introduce , the order of the fractional Laplacian:

4 Conformally covariant formulation

While the derived equations (7) and its generalisation (17) make sense, their appearance is not so satisfying since they depend on operators defined in the reference (flat) space. It would be very appealing to have operators transforming in a consistent way under conformal changes of the metric. Actually it is much more than an aesthetic consideration, since to have good conformal transformation properties is a quite strong requirement for the construction of a fractional Laplacian.

On a manifold of dimension (this definition is usual for compact manifolds, while we shall need it in the non-compact case), we define an operator to be conformally covariant if under a conformal change in the metric ( being an arbitrary positive gauge function) the relation

(18)

holds, where is a function in and and are constants. Notably the operator

(19)

called the conformal Laplacian, falls under this classification with and , being the Laplace-Beltrami operator for the metric and its scalar curvature. With this operator the Yamabe Equation transforms into

(20)

and takes an especially simple form if we write it in terms of the metric :

(21)

This means that the metric uniformising scalar curvature is the one which acting with its associated conformal Laplacian on a constant field (denoted by ) brings it to (a multiple of) the constant field, making in some sense its uniformising properties more explicit. Of course the numerical difficulties of solving the equation are still there.

Other operators (not general enough for this work) are the conformally covariant integer powers of the Laplacian: the Paneitz operator [28] and the GJMS operators [29]. Most important are instead scattering operators first defined in [30] for compact manifolds whose definition has been reconciled with more conventional definitions of the fractional Laplacian in [31].

In terms of the properly defined fractional Laplacian of order , Fractional Yamabe Equation reads:

(22)

Again choosing one has

(23)

where the dependence on of has been explicitly noted. With this notation the solution of Yamabe Equation is . The constant has been fixed conventionally in terms of the function such that the hyperbolic space is a solution. The two conjectures stated in the previous Section, Equations (10)-(11), stay the same, but with the anomalous dimension dependent scale factor . Thus we can put forward the following

Conjecture for one-point correlators:

(24)


and

Conjecture for two-point correlators:

(25)


Remember that is the distance calculated with the metric and is the solution of Equation (23).

Equations (24)-(25) are the main results of this paper, and we emphasize they are intended to be valid in any bounded domain at criticality in any dimension. They will be checked against numerical simulations for the Ising model in a non-trivial domain, the slab, in the next Section.

Equipped with the operator , we can write down an expression for the fractional Q-curvature, , for a generic metric :

(26)

In order to not interrupt the flow of the presentation, we give in the Appendices B-C the details needed for the formal construction of the fractional Laplacian in a bounded domain and the numerical solution of the Fractional Yamabe Equation (23) in the slab geometry. The construction relies on considering the -dimensional domain as the boundary of a suitably defined dimensional space [32]. The obtained findings will be compared with lattice Monte Carlo simulations in the same geometry.

5 Comparison with numerical experiments

In order to test our predictions we will consider the fruit fly of statistical mechanics: the Ising model [2]. We perform Monte Carlo simulations on a slab geometry, where the value of the spins is fixed to the value on the two planes delimiting the slab. The model is simulated at the critical temperature. The value of the magnetization in this geometry only depends on the distance from the planes, and we record as well the two-point correlation functions. The profile of the magnetization near boundary at criticality for the Ising model and many other statistical mechanics models has been thoroughly investigated in the literature of boundary critical phenomena [33]. In particular the boundary conditions we are using correspond to the so-called extraordinary phase transitions [33]. In the thermodynamic limit the magnetization has to be rescaled by multiplying it by yielding – at criticality – a universal scaling function [14]. A crucial step to reduce finite size effects is to introduce the extrapolation length  [34], accounting for the expected power-law divergence not occurring exactly at the boundary in the lattice system. Collapse of numerical data can be used this way to obtain estimates of  [34], but the resulting value for it is not especially precise. Much better Monte Carlo estimates for are rather obtained by analyzing data with cross correlations between various thermodynamic quantities [23] or determining by finite size scaling the value of parameters where leading corrections to scaling vanish [22], however reaching to date a significantly smaller precision than the Conformal Bootstrap estimates [19]. A summary of the best results for is in Table 1 together with our new estimate, obtained as follows.

Our determination is based on the knowledge of the solution of the Fractional Yamabe Equation for the slab geometry. In accordance with our conjecture (24) for one-point operators we have . Denoting by the lattice coordinate in the transverse direction of the slab, , we compute from Monte Carlo simulation the magnetization where is the discrete Ising variable and so that .

We then fit the magnetization data using:

(27)

where the parameters , , and are left free. Since we want to determine in an unbiased fashion (not relying on previous estimates) the function has to be determined for a range a values, that is chosen to be . In Appendix C, Figure 4 a contour plot of this function is reported. We see to our surprise that the dependence on around the free field value is pretty weak.

To obtain accurate results it is important to minimize fine size corrections to scaling. Because of universality, we are free to choose a model within the same universality class. Such a model has already been devised [22] and used to obtain the most refined Monte Carlo numerical results. It is the improved Blume-Capel model (at criticality), whose Hamiltonian is reported in Appendix D together with details of the simulations. In order to assess the validity of our predictions the magnetization has been measured and compared with our conjecture. The results for the magnetization are reported in Figure 1, where we also show the collapse of the data.

Figure 1: Collapse plot of the magnetization data for the different sizes considered. The parameters used, , , , are the ones extrapolated for . The red line is the universal scaling function for the magnetization. The inset displays the raw data obtained from the simulations. In all cases the errors are smaller than the size of the points.

Details of the fitting procedure are in Appendix E. The results for are plotted in Figure 2. The obtained estimates are close to the best Conformal Bootstap result available so far  [19], and the value, , is extremely close to it. Since the data are all compatible with each other for , we are allowed to perform a weighted average of them yielding the value . This value is compatible with and it has an order of magnitude larger error. In turn it is more precise, by an order of magnitude than the best MC estimates reported in the literature [22, 23]. All these results are summarised in Table 1 with our estimate denoted by “Critical Geometry” for brevity.

In Table 2 we report the values obtained for the different sizes in two ways. In the central column we use the metric obtained by solving the Fractional Yamabe Equation with a which is left free and extracted from the fit of numerical results. In the right column we report the values obtained using the non-fractional Yamabe profile raised to a power left free. On one side one can observe that the latter values obtained from the Yamabe Equation are not accurate as much as the ones reported in the central column when compared with the best Conformal Bootstrap value . On the other side the Yamabe Equation value is anyway rather good. The reason for this (somehow unexpected) result is the already mentioned weak dependence of the solution of the Fractional Yamabe Equation on the anomalous dimension, signaling the rigidity of the hyperbolic spaces whatever constant curvature is imposed. The anomalous dimension contribution to the metric factor is however important to get highly accurate estimates for . Anyway, we consider the fact that the non-fractional Yamabe Equation produces good results as a confirmation of the reliability of our geometrical approach. Therefore we expect that for more complicated domain shapes, where the solution of the Fractional Yamabe Equation may be very difficult to find, one could use the Yamabe Equation as a first good approximation.

Reference Method
Hasenbusch (2010) [22] MC 0.518135(50)
Ferrenberg et al. (2018) [23] MC 0.51801(35)
Sheer El-Showk et al. (2014) [21] Conformal Bootstrap 0.518154(15)
Kos et al. (2016) [19] Conformal Bootstrap 0.5181489(10)
This paper Critical Geometry 0.518142(8)
Table 1: Best results for the 3D Ising scaling exponent of the order parameter . The best results to our knowledge to date for are contained in lines 1 and 4 pertaining to MC and Conformal Bootstrap method respectively. The last line is the value obtained using the approach described in this paper and denoted as “Critical Geometry”.
Linear size FYE profile fit YE profile fit
32 0.52287(24) 0.52570(17)
48 0.51955(21) 0.52200(15)
64 0.51812(13) 0.52038(7)
96 0.51812(7) 0.51983(3)
128 0.51811(5) 0.51931(3)
192 0.518150(22) 0.518923(15)
Table 2: Size dependent fitting values for using (central column) the Fractional Yamabe Equation (FYE) profile and (right column) the ordinary Yamabe Equation (YE) profile for different values of the linear size (left column).
Figure 2: Estimated values of for the simulated sizes. The blue line represents our best estimate , while the red line is  [19]. The inset is a zoom for the largest size. In the main figure the error is reported as a shade. In the inset as well errors are represented as shades, however the shades are broken in order to better appreciate the overlap between the estimates.

As for two-point correlators are concerned we evaluate the ratio:

(28)

and we plot it against the distance calculated with the metric corresponding to checking whether a collapse of data points occurs as predicted by our conjecture (25). This is done in Figure 3. The collapse is visibly good and it gets better as the system size is increased from to with the outliers moving towards the collapse line. This has been assessed quantitatively by calculating a root mean square of deviations from a fitting function that actually halves as the size is doubled. In Appendix E details of the analysis of the two-point correlation functions are reported toghether with collapse performed with other metrics.

While the data coming from two-point correlators fully comply with our conjecture, the achieved precision does not allow to rule out a geometric description based on non-fractional Yamabe distance (i.e. the one based on the solution of Yamabe Equation), that yields a very similar collapse plot. Again, we consider this effectiveness of the description with the Yamabe Equation as a signature of the robustness of the devised geometric approach presented in this paper.

Figure 3: Correlation ratio defined in Equation (28) in terms of distances calculated with the solution of Fractional Yamabe Equation for the two system sizes and . The value of is reported in the upper right corner of the figures. The continuous line is a fitting function as reported in Appendix E.

6 Future directions

The present work aims at giving a unified description of the geometrical content of bounded critical phenomena. When applied to two-dimensional systems, it allows to retrieve from a different perspective known results of boundary conformal field theory in  [18]. For higher dimensions new predictions for physically relevant observables were derived. For the 3D Ising model the comparison between numerical results and the predictions of the theory developed here is encouraging and it motivates further efforts along these lines.

We stress that the achieved description is purely geometric in the sense that it depends on the considered bounded domain and on the dimension independently from the specific model that one is studying on the domain – save for the anomalous dimension , which at variance does depend on the model. The scaling exponents belong instead to the dynamical, model dependent, content of the theory. One of the advantages of our approach, and in essence its main feature, is to cleanly separate geometry/kinematics from dynamics/interaction. In the well studied case of two dimensions the former is simple: since there is no dependence on for , one geometry fits all models. More precisely, the metric rendering ordinary scalar curvature constant and negative makes also the fractional Q-curvature constant and negative washing away the dependence, which is not the case for . In the information about dynamics is contained in and can be extracted from the further structure of the Virasoro algebra. In this respect many questions are still open.

How different scaling operators other than the order parameter and belonging to the same model may have different geometries, i.e. different scale factors? How do the different geometries combine to give a consistent unified framework? Most likely the answer to this question will lie in the close examination of short distance properties of higher point correlation functions in the so-called operator product expansion which is at the very heart of the Conformal Bootstrap approach.

Moreover it would be highly desiderable to enlarge the number of models, shape of bounded domains and boundary conditions on which our predictions are tested in 3D and higher. A natural candidate would be the XY model that however displays a scaling dimension not differing much from the canonical one. Currently work is being pursued in this direction by looking at multicritical points with different discrete symmetry groups that appear to have larger deviations from the canonical dimensions [35]. A boundary condition to be considered is the free boundary condition pertaining to the so-called ordinary boundary transition.

We point out that the prediction for one-point and two-point correlators in a bounded domain are based on the solution of a fractional conformally covariant differential equation in the same domain. To sensibly define the fractional Laplacian in the bounded domain with the boundary conditions imposed by criticality, one has to view the domain as the boundary of an asymptotically hyperbolic space living in one more dimension. This approach shares some traits with the AdS/CFT correspondence. It would be interesting to investigate the relations between the geometric approach to criticality developed here and the formulation of statistical mechanics models at criticality with AdS/CFT techniques.

This work builds a theory for critical phenomena deeply rooted in geometry. Is there an algebraic counterpart to it? This is to be intended as a “critical Langlands program”. Current work is being pursued by inspecting the structure of infinitesimal deformations of the bounded domain in which Fractional Yamabe Equation is studied.

Acknowledgements

The authors wish to thank María del Mar González and Robin C. Graham for providing essential insights into the mathematics needed for this project. Discussions with Jacopo Viti and Nicolò Defenu are also gratefully acknowledged. GG acknowledges important discussions with Antonia Ciani. Moreover GG thanks Universidad Autónoma de Madrid for hospitality partially funded under BBVA Foundation grant for Investigadores y Creadores Culturales (actuales becas Leonardo), 2016, during which crucial stages of the work were performed. Early stages of the project were carried on while GG was visiting ICTP, Trieste. Both of the authors acknowledge hospitality during the “Disordered systems, random spatial processes and some applications” program held at IHP, Paris, during “Conformal Field Theories and Renormalization Group Flows in Dimensions ” workshop held at GGI, Florence, and a visit to ATOMKI, Debrecen. Computational resources were provided by CNR-IOM and SISSA.

Appendix A Solution of the Yamabe Equation for the slab domain

Here we report the solution of Yamabe Equation for the slab domain in arbitrary dimension being defined as and for . The equation for becomes a nonlinear ordinary differential equation:

(29)

The solution satisfying the appropriate boundary conditions can be given in terms of the inverse function

(30)

where the signs refer to the two symmetric with respect to branches and is the (-dependent) metric factor on the symmetry plane of the slab:

(31)

can be explicitly obtained in selected cases: the (trivial) one-dimensional case , the two-dimensional (strip) case while in the limit . In figure 4 we depict for , relevant for the subsequent analysis, and for comparison.

Figure 4: (Left) Solution of Yamabe problem in the strip () and slab () domain. The additional function is the gauge function used to solve Fractional Yamabe Equation for the slab domain. (Right) Solutions of the Fractional Yamabe Equation as is varied in the range . The plot actually shows deviations from the Yamabe solution (the curve in the left panel). The red dashed line is the Conformal Bootstrap value  [19].

Appendix B Scattering operators for bounded domains

A complete discussion of the presented approach, including thorough mathematical justification, will be given in [32].

A way to construct the operators with the required conformal properties is the following. Consider the domain equipped with the metric to be the boundary of a higher dimensional manifold, call it having a metric . Denoting the extra coordinate with , we pose that our original domain is retrieved when we set and be regular . A coordinate with such properties is called a defining function. Moreover near the metric should look like making our space asymptotically a hyperbolic space. This surface will be called the conformal infinity. The metric space should be an Einstein space, that is it has to satisfy vacuum Einstein field equations , where is the Ricci tensor in the dimensional space.

Given a function on solve the following eigenvalue problem for the function (defined over ):

(32)

where is the Laplacian for the metric , and are regular functions (the subscripts and stand for input and output respectively) as approaches zero and . The requirement of to be Einstein guarantees the existence of a solution of the above equation (special care has to be taken when differs from by an integer where a resonance condition is met and log terms have to be included in the expansion).

The conformal fractional Laplacian of the function can be read off from the boundary behavior of . Indeed we have that where . The good transformation properties under conformal changes of this operator can be seen by choosing a different defining function, call it . As the eigenvector will be unchanged we have that

(33)

where and are respectively input and output data of another scattering problem. Since around the conformal infinity the two defining function are linearly related, , we obtain the desired transformation law:

(34)

The above method first presented in [30] has to be adapted to the case of bounded domains. In this case the extension metric space has to fulfill additional properties dealing with boundaries of , and it should be a so-called cornered asymptotic hyperbolic space [36]. There an additional surface emerges detached from and sharing the same boundary . should be totally geodesic, that is, geodesics restricted to should coincide with geodesics in . Heuristically this can be understood as a decoupling of what happens inside from what happens beyond , which acts as an invisible wall. This construction can always be performed, as shown in [36], provided is regular enough and the metric can be put in the canonical form:

(35)

where the extension variable plays the role of an incidence angle at the conformal infinity and . In these convenient variables the manifold is where is the surface and is the totally geodesic surface . The full set of equations for the metric becomes:

(36)

supplemented by the regularity of for . A cartoon of the space is represented in Figure 5. As for the extension problem the additional natural boundary conditions on are vanishing normal derivative and also . With the boundary conditions described we have a good candidate for a Neumann conformally covariant fractional Laplacian222By extending further the space up to , we can arrive at an additional surface which can be regarded as the mirror image of . The Neumann operator amounts to set . Other natural boundary conditions are of course conceivable such as (Dirichlet-like) and more generally (Robin type)..

Figure 5: Depiction of the extension space . The planes represent constant hypersurfaces. The points joined by dotted lines should be identified. The red lines are geodesics with endpoints on the depicted hypersurfaces. The bottom hypersurface is the conformal infinity, the central hypersurface is the totally geodesic surface, and the upper hyperplane is the complement of the conformal infinity.

We now provide an example where the fractional Laplacian can be calculated and where we verify that the hyperbolic metric indeed solves the non-compact fractional Yamabe problem. Consider the upper half hyperspace in dimensions and view it as the boundary of the space ; the extension coordinate being . The metric

(37)

satisfies the (cornered) Einstein vacuum equation (36). If we plug in the function

(38)

where and , we see that the scattering problem is actually satisfied with the correct boundary conditions. What we have just described proves that

meaning that the hyperbolic metric in has constant negative fractional Q-curvature. The performed computation for can be adapted to any regular enough domain via a conformal mapping viewed as an isometry between models of the hyperbolic plane. For it allows to retrieve the metric factor just for the hyperball domain which is the only one isometric to the hyperbolic space. For other domains we will have to proceed as specified in the next Appendix.

Appendix C Spectral solution of the Fractional Yamabe Equation in the slab geometry

Further details of this solution will also be presented in [32]. Before defining the conformal fractional Laplacian for the slab domain a solution to Einstein Equations has to be found. For the slab case the metric can be put in the canonical form (35) with a diagonal metric:

(39)

(remember that denotes the transverse direction of the slab). With this Anstatz a solution of (36) has been found. In Figure 6 the functions and are shown. On the conformal infinity they do by construction coincide, thus providing a good metric to calculate conformally invariant Laplacians in the flat conformal class. The function shown in Figure 4 will specify the actual gauge in which computations will be performed.

Figure 6: Solution of Einstein equations as specified by the functions and in the extension space above the slab. The domain shown is and . The regions and can be obtained by reflection. To improve readability, the functions have been divided by .

Because of the outlined structure of the solution of the extension problem near the conformal infinity, the following form will be assumed for :

(40)

The function are even functions that will be represented as linear combinations of even Chebyshev polynomials :

(41)

The extension partial differential equation problem will be evaluated on a set of collocation Gauss-Lobatto points given by , with and , reducing it to a solution of a matrix equation. The boundary conditions are given by on and on . The input data (the function of which we are calculating the fractional Laplacian) is given by the , while the output (the fractional Laplacian) is given by .

Let us turn to the nonlinear eigenvalue problem contained in (23). By numerical experimentation, the framework proves more stable if we work with the inverse of the fractional Laplacian . The form we have actually considered is:

(42)

where . The above equation has been solved by looking for a minimum of . This minimisation yields, in a stable way, a very small value (on the order of ) signaling that the equation is satisfied to a very high accuracy. The chosen collocation grid for the numerical solution is . Since the values of of interest to us are around , we solved the Fractional Yamabe Equation on a Gauss-Lobatto grid of values in allowing us to obtain reliable solutions for the fractional Yamabe problem in the slab in this range via Chebyshev interpolation. The solutions turn out to differ only slightly from the solution of Yamabe Equation and connect smoothly to it when (that is ). The deviations from the Yamabe Equation solution for the slab domain are shown in the right panel of Figure 4.

Appendix D Monte Carlo experiments

The model we simulate has the Hamiltonian:

(43)

where the spins are located on a cubic lattice and assume the three values . denote nearest neighbors. The parameters take the values and for the system to be at the critical point [22]. The geometry we consider is a three-dimensional slab, with and . should be made larger and larger (lattice spacing is set to one). Of course we will be simulating a finite system approximating the specified geometry. The transverse direction will have sites (out of which will be left free to vary) and the parallel ones sites with periodic boundary conditions along the parallel directions. The boundary sites in the transverse direction will be fixed to one. This boundary condition, known as extraordinary, is imposed in order to develop a nonzero order parameter. In order to make the finiteness of the parallel directions less relevant, but the system size still tractable, we will choose . The sizes considered are reaching a maximum of free sites. The algorithm used is the one described in [34]. Moreover, in order to reduce statistical fluctuations an analytical variance reduction technique has been used similarly to what done in [37] in a numerical way: it amounts to summing over states of the spin under consideration and its nearest neighbors exactly.

The number of samples collected after a suitably long thermalisation stage of MC steps is on the order of samples. Of course autocorrelation reduces the number of independent samples. This has been dealt with by blocking techniques.

Appendix E Data analysis

The variance reduced one-point data have been averaged along parallel directions to reduce statistical fluctuations. The fitting procedure with function (27) has been adapted to the raw data in the following way. The points in the center of the slab are more sensitive to the functional form of the universal scaling function which however has a rather generic parabolic shape. The points near the boundary on the other side, while allowing for direct access to the critical exponents, are more affected by finite size effects. In order to get the most out of our data a weighting window function has been applied to the data: it is one in the slab center, decays linearly with a width of two sites and it is zero beyond that point. The position of this window has been adapted in a continuous way such that our theory is consistent with a -value of . These are the data reported in Table 2. The required windowing becomes smaller and smaller as the size is increased with the center of the linear part of the window being located at for the largest size . We remark that if a similar analysis is carried out with the, not theoretically justified but anyway seemingly sensible, magnetization profile for the strip the data yield the incorrect estimate for with a heavy windowing of the data keeping only the central half of the points. This clearly rules out the description with .

As for two-point data, we recorded the spin-spin correlation functions for all the possible distinct pairs of points in the following set: , , and , , with and . This yields a total of independent correlators since coinciding points have been excluded and pairs symmetric under reflection have been put together. Average over parallel directions has obviously been performed. For these measurements the data set is approximately times smaller than the one collected for one-point functions.

For each of these couple of points the distance has been calculated and plotted against ratio (28). In order to see how a collapse can go wrong let us check a case where it should not work from the outset. While rotational symmetry is broken we may nonetheless plot as a check our ratio against euclidean distance: this yields, as expected, the very poor collapse shown in Figure 7. For the (more difficult to handle) metric the calculation of the distances has been performed numerically taking advantage of the geodesics functionality present in the program Surface Evolver [38]. In order to assess the goodness of the collapse, we fit as a function of with the function . This yields a reasonable description of the data that will be taken with no errors since they are much smaller than the observed spread. The figure of merit will be the root mean square of deviations from the fitting function:

(44)

where is the number of degrees of freedom. Let us see quantitatively whether a collapse occurs with the, already ruled out by one-point correlator analysis, strip metric factor . Results are shown in Figure 8. While yielding a reasonable collapse, we remark that points with have a considerable spread and, more importantly the value of increases with the system size, ruling out again as the correct metric factor.

Figure 7: Correlation ratio defined in Eq. (28) in terms of the euclidean distance for .
Figure 8: Correlation ratio in terms of distances calculated with the strip distance for the two system sizes and . The value of is also reported. The continuous line is the fitting function , see text for details.

References

  • [1] Cardy, John L.; “Scaling and Renormalization in Statistical Physics”, Cambridge University Press (1996).
  • [2] Mussardo, Giuseppe; “Statistical Field Theory”, Oxford University Press (2010).
  • [3] Di Francesco, Philippe; Mathieu, Pierre; Sénéchal, David; “Conformal Field Theory”, Spinger (1997).
  • [4] Blöte, H. W. J.; Cardy, John L.; and Nightingale, M. P.; “Conformal invariance, the central charge, and universal finite-size amplitudes at criticality”, Phys. Rev. Lett. 56, 742 (1986).
  • [5] Fisher, Michael E.; De Gennes, P. G.; “Wall phenomena in a critical binary mixture”. Comptes rendus hebdomadaires des séances de l’Académie des sciences. Série B 287, 207 (1978).
  • [6] do Carmo, Manfredo P.; “Differential geometry of curves and surfaces”, Prentice-Hall, Inc., Englewood Cliffs, N.J. (1976).
  • [7] Yamabe, Hidehiko; “On a deformation of Riemannian structures on compact manifolds”, Osaka Journal of Mathematics 12, 21 (1960).
  • [8] Schoen, Richard; “Conformal deformation of a Riemannian metric to constant scalar curvature”, J. Differential Geom. 20, 479 (1984).
  • [9] Lee, John Marshall; Parker, Thomas H.; “The Yamabe problem”, Bulletin of the American Mathematical Society 17, 37 (1987).
  • [10] González, María del Mar; “Recent progress on the fractional Laplacian in conformal geometry”, arXiv:1609.08988, Chapter in “Recent Developments in Nonlocal Theory”, Berlin, Boston: Sciendo Migration. Palatucci, G.; Kuusi, T.; (Eds.) (2018).
  • [11] Zamolodchikov, A.; Zamolodchikov, Al.; “Conformal bootstrap in Liouville field theory”, Nuclear Physics B 477, 577 (1996).
  • [12] Kiessling, Michael K.-H.; “Statistical mechanics approach to some problems in conformal geometry. Statistical mechanics: from rigorous results to applications”, Physica A: Statistical Mechanics and its Applications 279 353 (2000).
  • [13] Kholodenko, Arkady L.; Ballard, Ethan E.; “From Ginzburg Landau to Hilbert Einstein via Yamabe”, Physica A: Statistical Mechanics and its Applications 380, 115 (2007).
  • [14] Cardy, John L.; “Conformal invariance and surface critical behavior”, Nuclear Physics B 240, 514 (1984).
  • [15] Cardy, John L.; “Universal Critical-Point Amplitudes in Parallel-Plate Geometries”, Phys. Rev. Lett. 65, 1443 (1990).
  • [16] Burkhardt, Theodore W.; Xue, Tianyou; “Density profiles in confined critical systems and conformal invariance”, Phys. Rev. Lett. 66, 895 (1991).
  • [17] Reš, Ivica; Straley, Joseph P.; “Order parameter for two-dimensional critical systems with boundaries”, Phys. Rev. B 61, 14425 (2001).
  • [18] Cardy, John L.; “Boundary conformal field theory”, arXiv:hep-th/0411189, in Encyclopedia of Mathematical Physics, Elsevier (2006).
  • [19] Kos, Filip; Poland, David; Simmons-Duffin, David; Vichi, Alessandro; “Precision Islands in the Ising and O(N) Models”, Journal of High Energy Physics. 2016 (8) 36.
  • [20] El-Showk, Sheer; Paulos, Miguel F.; Poland, David; Rychkov, Slava; Simmons-Duffin, David; Vichi, Alessandro; “Solving the 3D Ising model with the conformal bootstrap”, Phys. Rev. D 86, 025022 (2012).
  • [21] El-Showk, Sheer; Paulos, Miguel F.; Poland, David; Rychkov, Slava; Simmons-Duffin, David; Vichi, Alessandro; “Solving the 3d Ising Model with the Conformal Bootstrap II. c-Minimization and Precise Critical Exponents”, Journal of Statistical Physics. 157, Issue 4–5, 869 (2014).
  • [22] Hasenbusch, Martin; “Finite size scaling study of lattice models in the three-dimensional Ising universality class”, Phys. Rev. B 82, 174433 (2010).
  • [23] Ferrenberg, Alan M.; Xu, Jiahao; Landau, David P.; “Pushing the Limits of Monte Carlo Simulations for the 3d Ising Model”, Phys. Rev. E 97, 043301 (2018).
  • [24] González, María del Mar; Qing, Jie; “Fractional conformal Laplacians and fractional Yamabe problems”, Anal. & PDE 6, Number 7, 1535 (2013).
  • [25] Pozrikidis, Constantine; “The Fractional Laplacian”, CRC Press, Boca Raton, (2016).
  • [26] Kwaśnicki, Mateusz; “Ten equivalent definitions of the fractional Laplace operator”, Fract. Calc. Appl. Anal. 20, Number 1, 7 (2017).
  • [27] Lischke, Anna et al.; “What Is the Fractional Laplacian?”, arXiv:1801.09767.
  • [28] Branson, Thomas; “An anomaly associated with -dimensional quantum gravity”, Comm. Math. Phys. 178, Number 2, 301 (1996).
  • [29] Graham, C. Robin; Jenne, Ralph; Mason, Lionel J.; Sparling, George A. J.; “Conformally invariant powers of the Laplacian, I: Existence”, Journal of the London Mathematical Society 2, 557 (1992).
  • [30] Graham, C. Robin; Zworski, Maciej; “Scattering matrix in conformal geometry”, Inventiones mathematicae 152, 89 (2003).
  • [31] Chang, Sun-Yung Alice; González, María del Mar; “Fractional Laplacian in conformal geometry”, Advances in Mathematics 226, 1410 (2011).
  • [32] González, María del Mar; Gori, Giacomo; Graham, C. Robin; Saez, Mariel; to be submitted.
  • [33] Diehl, H. W.; “The Theory of Boundary Critical Phenomena”, International Journal of Modern Physics B 11, No. 30, 3503 (1997).
  • [34] Hasenbusch, Martin; “Thermodynamic Casimir effect for films in the three-dimensional Ising universality class: Symmetry-breaking boundary conditions”, Phys. Rev. B 82, 104425 (2010).
  • [35] Ben Alì Zinati, Riccardo; Codello, Alessandro; Gori, Giacomo; “Platonic Field Theories”, arXiv:1902.05328, to appear in Journal of High Energy Physics.
  • [36] McKeown, E. Stephen; “Formal theory of cornered asymptotically hyperbolic Einstein metrics”, arXiv:1708.02390 (2017).
  • [37] Hasenbusch, Martin; “Two- and three-point functions at criticality: Monte Carlo simulations of the improved three-dimensional Blume-Capel model”, Phys. Rev. E 97, 012119 (2018).
  • [38] Brakke, Kenneth A.; “The surface evolver”, Experiment. Math. 1, 141 (1992).
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
371358
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description