one of the many achievements of quantum field theories like the standard model is the confirmed prediction of a scale dependence of the physical couplings @xmath2 . in order to know in which way the couplings @xmath3 of a given quantum field theory
depend on the energy scale @xmath4 one usually has to regularize and renormalize the theory .
however , when it comes to gravity a consistent and predictive renormalization and therefore a predictive quantum field theoretical description is still to be found .
independently of how this theory of quantum gravity will look like , in most approaches it is expected to introduce a non - trivial running to the couplings of classical gravity which are newtons `` constant '' @xmath5 and the cosmological constant @xmath6 . in an effective description
those couplings are expected to be present in an improved action and the corresponding solutions .    since on the one hand black holes
are key objects in every classical or quantum gravitational theory and their understanding is crucial for the understanding of the whole model and on the other hand the scale dependence of gravitational couplings has been extensively studied in the context of exact renormalization group ( erg ) equations @xcite , it is natural to study black holes in the context of erg results .
this has been done mostly by improving the classical solutions @xcite .
this procedure has however two weaknesses which basically motivated this study : the first problem is that in order to study black holes in the erg context one has to relate the radial scale of a black hole solution @xmath7 to the energy scale @xmath4 of the erg calculation , this procedure is however not uniquely defined .
the second problem is that the improved solution does not ( at least not at all scales @xcite ) resolve the improved equations of motion nor does it minimize the erg improved action .    as complementary contribution to this program we will follow a philosophy that is somewhat inverse to the existing studies on erg improved black hole solutions . as starting point we will take the improved equations of motions which contain scale depending couplings @xmath0 and @xmath1 which are a priory undetermined .
the working hypothesis will then be to ask for which functional form of those couplings it is possible to solve those equations of motion with the most symmetrically possible metrical ansatz .
the paper is organized as follows . in section [ secsol ] it
is shown how solving the resulting system of equations determines then the resulting black hole metric and the functional form of @xmath0 and @xmath1 up to the existence of four integration constants .
general properties of this solution such as differences to the studies in the literature , singularities , and the existence of classical - like parameter choices are then discussed .
since both couplings of the present solution are functions of the radial scale @xmath7 , the corresponding adimensional couplings @xmath8 and @xmath9 can be combined in a coupling flow . in section [ secrun ]
this induced flow with an ultra violet fixed point for @xmath8 and @xmath9 is derived , the flow is compared to the flow for @xmath10 and @xmath11 known from erg calculations . finally , the anomalous dimensions of the induced couplings and the product of couplings are discussed and and compared to the findings in the erg approach .    after summarizing remarks in section [ secconcl ]
we give complementary discussions in the appendix [ secappend ] .
up to now black holes where studied in the context of erg equations by taking the classical solutions ( for constant @xmath12 and @xmath13 ) and then replacing @xmath5 and @xmath14 in those solutions .
the physical interpretation of those erg improved solutions depends on how the erg scale @xmath4 is related to the physical scale @xmath7 .
this procedure however was only partially successful , since the improved solutions were actually no more solutions of any form of einstein or modified einstein equations .
yet , the improved solution with a cosmological term seems at least to solve the improved equations of motion asymptotically in the uv @xcite .    in order to avoid the danger which is involved with the choice of @xmath15 we will consider directly the fact that all scales are in the end functions of the physical scale @xmath16 and @xmath17 .
when doing so we pretend to find a solution which is still an exact solution of the equations motion .
the corresponding improved equation of motion is @xcite ( see also appendix [ appendeom ] ) @xmath18 with t_=g(r)(g_- _ _ ) . at first instance
we are interested in spherically symmetric solutions in regions where the classical matter contribution @xmath19 .
as ansatz for the metric tensor we use [ ansatz ] ds^2=-f(r ) dt^2 + 1/f(r)dr^2 + r^2 d^2 + r^2 ( ) d^2 where [ fvonr ] f(r)=(1 - 2-r^2 ) . with this ansatz the einstein equations ( [ eom2 ] ) reduce to three independent differential equations for the a priory unknown functions @xmath20 , and @xmath21 .
please note that the constant @xmath22 would only be the mass of the black hole , if @xmath12 and @xmath23 would be constants . in the context of variable constants
, however , @xmath22 is only an arbitrary constant with units of mass , which can take arbitrary ( even negative ) values .
it was found that , apart from the well known solutions , which imply constant couplings , there exists a solution with a non trivial @xmath7 dependence [ gvonr ] g(r)&=&- , + [ lvonr ] ( r)&=&\{-2 c_1 ( c_1 ^ 2 ( 12 c_1 ^ 2 + 384 c_2+c_3)+24 r^3 c_1 ^ 3 c_4 + .. + & & .3 r^2 ( 384 c_2+c_3 - 24 c_1 ^ 4 c_4)+6 r c_1 ( -c_1 ^ 2 - 384 c_2-c_3 + 8 c_1 ^ 4 c_4 ) ) + & & .+3 r ( r^2 - 3 r c_1 + 2 c_1 ^ 2 ) ( 384 c_2+c_3 ) -3 r ( r^2 - 3 r c_1 + 2 c_1 ^ 2 ) ( 384 c_2+c_3 ) } , + [ llvonr ] l(r)&= & c_4+\{++ .
+ -3 ( 384 c_2+c_3 ) + 3 ( 384 c_2+c_3 ) } .
those solutions contain four constants of integration @xmath24 . the role and the interpretation of those constants in terms of different physical perspectives
will be discussed throughout this paper .
one of the first questions one might ask for this new kind of solution is whether it has the same singularity problem at the origin as the standard solution or whether there exist parameter configurations for which the singularity can be avoided .
this can be checked by calculating the invariant tensor density which gives to lowest order in @xmath25 r _
r^ = + ( r^-5 ) .
the divergence to this order can be avoided by choosing @xmath26 with c_2 = - .
this choice removes a number of divergent terms such that the remaining next to next to next to leading singularity reads r _
r^|_c_2 = + ( r^-1 ) .
if one further tries to remove this singularity , one is forced to take @xmath27 , where the value for @xmath28 has to be chosen , before one takes the limit in @xmath29 .
this leads to a finite tensor density r _ r^|_c_2 , c_1 = c_4 ^ 2 , but this choice of the integration constants is actually almost trivial because corresponds to flat ( anti ) de sitter space f(r)|_c_2 , c_1 = 1-r^2 .
since the equation of motion ( [ eom2 ] ) can be interpreted as a special case of an @xmath30 theory @xcite ( see @xcite for a review ) one has to check , whether the above solution has already been discussed in the context of the more general @xmath30 theories .
a class of solutions with constant curvature @xmath31 and perturbative expansions around the `` classical '' solutions has been discussed in @xcite and special solutions with conformal anomaly have been discussed in @xcite . other perturbative solutions ( assuming @xmath32 ) to @xmath30 theories in their transition limit to general relativity can be found in @xcite .
further variations of the classical solution have also been studied in the context of kerr black holes @xcite . for an exact solution that assumes a finite @xmath33 and constant curvature @xmath34 , which generalizes to charged , rotating black holes
see @xcite .
none of the above solutions contains ( [ gvonr]-[llvonr ] ) since here , @xmath35 , @xmath36 is not constant , and the solution is not a perturbation of a classical solution .
thus , to our current knowledge ( [ gvonr]-[llvonr ] ) has not been discussed in the context of @xmath30 theories .
an other very similar approach is brans dicke theory @xcite where one allows for a varying gravitational constant @xmath37 . in difference to this approach , the brans dicke action contains a kinetic term @xmath38 .
it the limit @xmath39 this theory corresponds to constant coupling and standard general relativity
. solutions of bd with the limit @xmath40 correspond to our erg inspired approach .
black hole solutions in pure brans dicke theory have been discussed .
first black hole solutions for this theory have been found by brans @xcite . in @xcite
it has been shown that all bd black holes that have constant @xmath41 in the outside region and that are static solutions correspond to the known schwarzschild , kerr or kerr - newman solutions . if one relaxes the condition of constant fields further non - trivial solutions have been found @xcite .
this solution does not apply here , since it has @xmath42 . in @xcite
bd black holes have been studied in the lifshitz context .
bd black hole solutions with a specific cosmological term @xmath43 have been found and discussed in @xcite . based on those studies
@xcite discussed further generalizations of bd -ads bhs . by using dilaton black hole solutions with a cosmological term @xmath44
they construct via a conformal transformation @xmath45 the bd solution with the cosmological term @xmath43 .
this method , however , works only for larger space - time dimensions @xmath46 since this conformal transformation is ill defined for @xmath47 .
this reflects also in the fact that the metric coefficients of those bd solutions diverge for four space - time dimensions .
it is also instructive to do a comparison with an approximated black holes solution of brans dicke theory given by weinberg @xcite ( page 183 and page 247 ) for the case that gives the schwarzschild solution plus corrections in @xmath25 [ epand1 ] ds^2=(1 - 2++  )dt^2
-(1++  ) dr^2 -r^2 d^2 -r^2 ^2d^2 . comparing this approximation with @xmath48 to the series expansion in @xmath25 of the exact solution one finds that one can at best fix the constants @xmath29 , and @xmath49 in combination with a time rescaling ( @xmath50 ) , such that [ epand2 ] ds^2=(1 - 2++  )dt^2 -(2 + 2 +  ) dr^2 -r^2 d^2 -r^2 ^2d^2 . both expansions ( [ epand1 ] and [ epand2 ] ) do not agree in the constant coefficient of the @xmath51 component .
if one wants to demand a regime where the exact solution has a constant factor @xmath52 for both @xmath53 and @xmath54 one has fix the constants for an expansion around @xmath55 , as it is discussed in the following subsection .
this also can not be fixed by just varying the initial metric ansatz by @xmath56 . in terms of physical viability
this is a severe problem , because the above expansion for @xmath48 basically predicts that this new solution would contradict all gravitational lensing effects with relativistic trajectories . in order to address this concern
we will first ask , whether there exist special parameter choices ( with @xmath57 ) for which the new solution approximates to the ( for wide ranges of @xmath7 ) well confirmed classical solution .      given
the problems for the @xmath25 expansion for @xmath48 we will now study the case @xmath57 and by trying to approximate the new solution to the standard solution where [ fstandard ] f_s(r)=1 - 2 -r^2 . as it can bee seen from equation ( [ epand2 ] ) , not even reproducing the standard result without cosmological constant is trivially possible .
thus , one has to ask the question , whether there is any configuration of the parameters ( @xmath58 ) which is in agreement with current experimental results , which basically confirm ( [ fstandard ] ) . by constructing an approximation to the standard metric ( [ fstandard ] ) it
will now be shown that such parameter choices exist .
an important property of the standard metric in the de sitter case is that it approximates to a plane flat space for large @xmath7 , before it runs into an other horizon at even larger distances .
thus , we try to fix the constant @xmath59 such that there exists a @xmath60 with f(r_m)=1 f|_r_m=0 .
an analytic solution of those two combined conditions is possible , it gives r_m&= & , + [ c4new ] c_4,s&= & , where @xmath61 . the next step is to choose the constants @xmath29 and @xmath62 such that the two horizons of @xmath63 approximate to the horizons of @xmath64 r_02 g_0 m_0 r_1 , where we are interested in the cases @xmath65 .
a numerical optimization to those conditions gives [ c1new ] c_1,s&= & , + [ c3new ] c_3,s&=&. by demanding that @xmath66 for @xmath67 one can also fix the missing constant [ c2new ] c_2,s=. using the definitions ( [ c4new ] , [ c1new ] , [ c3new ] , [ c2new ] ) , the solution ( [ fvonr ] , [ gvonr ] , [ lvonr ] ) can be written as    f(r)&= & ( 96 ^ 2/3 r ( ) ^1/3.-1446 ^ 1/3 g_0 ^ 2 m_0 ^ 2 r^2 _ 0 - 186 ^ 2/3 ( ) ^4/3 _ 0 + & & [ fvonrnew ] + 48 ( g_0 m_0)^5/3 r^3 _ 0 ^ 4/3 + 36 r^2 ( g_0 ^ 2 m_0 ^ 2 _ 0)^1/3 - 108 r ( g_0 ^ 5 m_0 ^ 5 _
0)^1/3 - 86 ^ 1/6 r^3 ( g_0 m_0 _ 0 ^ 2)^1/3 + & & + 12 6 ^ 1/3 g_0 m_0 r^3
_ 0 ( [ 3]+1)-48 6 ^ 2/3 ( g_0 m_0)^7/3 r^3 _ 0 ^ 5/3 [ 3 ] + & & + 126 ^ 1/3 g_0 m_0 r^3 ( 1 - 4 6 ^ 1/3 ( g_0 m_0)^4/3 _ 0 ^ 2/3 ) _ 0 + & & . + ( 96 6 ^ 2/3 ( g_0 m_0)^7/3 r^3 _ 0 ^ 5/3 -246 ^ 1/3 g_0 m_0 r^3 _ 0 ) ) ,    [ gvonrnew ] g(r)= ,    [ lvonrnew ] ( r)&= & \ { 36g_0 ^ 2 m_0 ^ 2 r _ 0 ^ 2/3.-6 ( g_0 m_0)^2/3 r + 126 ^ 5/6 g_0 m_0 r^2 _ 0 ^ 2/3 + & & + 864 ( g_0 m_0)^8/3 r _ 0 + 36 ( g_0 m_0)^5/3 r^2 _ 0 - 5766 ^ 1/3 g_0 ^ 3 m_0 ^ 3 r^2 _ 0 ^ 5/3 + 192 ( g_0 m_0)^8/3 r^3 _ 0 ^ 2 + & & -4326 ^ 1/6 g_0 m_0 r^2 ( g_0 m_0 _ 0)^4/3 - 32 6 ^ 1/6 r^3 ( g_0 m_0 _ 0)^4/3 - 246 ^ 2/3 r ( g_0 ^ 4 m_0 ^ 4 _ 0)^1/3 - 186 ^ 2/3 ( g_0 ^ 7 m_0 ^ 7 _ 0)^1/3 + & & -216 ( g_0 m_0)^8/3 r _ 0 [ 3]-108 ( g_0 m_0)^5/3 r^2 _ 0 [ 3]+4326 ^ 1/3 g_0 ^ 3 m_0 ^ 3 r^2 _ 0 ^ 5/3 [ 3]+486 ^ 1/3 g_0 ^ 2 m_0 ^ 2 r^3 _ 0 ^ 5/3 ( [ 3]+1 ) + & & -1926 ^ 2/3 ( g_0 m_0)^10/3 r^3 _ 0 ^ 7/3 [ 3]+9 6 ^ 2/3 g_0 m_0 r
( g_0 m_0 _ 0)^1/3 [ 3 ] + & & -6 r ( -36 ( g_0 m_0)^5/3 r _ 0 + 8 g_0 ^ 2 m_0 ^ 2 ( -9 ( g_0 m_0)^2/3 + 26 ^ 1/3 r^2 _ 0 ^ 2/3 ) _ 0 + 36 ^ 2/3 ( g_0 ^ 4 m_0 ^ 4 _ 0)^1/3 .
+ & & .-166 ^ 1/3 g_0 ^ 3 m_0 ^ 3 r _ 0 ^ 5/3 ( -9 + 46 ^ 1/3 r ( g_0 m_0 _ 0 ^ 2)^1/3 ) ) [ r ] + & & -3 g_0 m_0 r ( 72 ( g_0 m_0)^5/3 _ 0 + 36 ( g_0 m_0)^2/3 r _ 0 - 1446 ^ 1/3 g_0 ^ 2 m_0 ^ 2 r _ 0 ^ 5/3 - 166 ^ 1/3 g_0 m_0 r^2 _ 0 ^ 5/3 .
+ & & .-36 ^ 2/3 ( g_0 m_0 _ 0)^1/3 + 646 ^ 2/3 r^2 ( g_0 m_0 _ 0 ) ^7/3 ) + & & + ( 432
( g_0 m_0)^8/3 r _ 0 -18 6 ^ 2/3 g_0 m_0 r ( g_0 m_0 _ 0)^1/3 216 ( g_0 m_0)^5/3 r^2 _ 0 + 3846 ^ 2/3 ( g_0 m_0)^10/3 r^3 _ 0 ^ 7/3 . + & & .
-.8646 ^ 1/3 g_0 ^ 3 m_0 ^ 3 r^2 _ 0 ^ 5/3 -966 ^ 1/3 g_0 ^ 2 m_0 ^ 2 r^3 _ 0 ^ 5/3 ) } .
one can see that now there appears only the physical mass @xmath68 and not the parameter @xmath22 from the initial ansatz in this set of solutions .
the physical meaning of @xmath68 can be verified by expanding ( [ fvonrnew ] ) for small @xmath69 f(r)=1 - 2+(_0 ^ 2/3 ) .
this special choice of the parameters ( @xmath70 ) is not exactly the most compact but it shows that the classical result @xmath64 with the parameters ( @xmath71 ) can be approximated very well by the exact solution @xmath63 with variable @xmath0 and @xmath1
. as it can be seen , from figure [ figfr ] , @xmath63 and @xmath64 are practically indistinguishable for very small values of @xmath69 .
comparison of the classical metric coefficient ( [ fstandard ] ) with the solution ( [ fvonrnew ] ) as dashed curves .
the numerical values were chosen to be @xmath72 and from left to right @xmath73.,width=377 ]    since the classical form of ( [ fstandard ] ) has been reproduced by various experiments at different scales , and since the special choice of @xmath59 allows to approximate very well to this result , it can be concluded that the solution ( [ fvonr ] ) allows also for parameter choices which are also in agreement with current experimental limits and observations .
the question to which extend observational data such as dark matter effects can be incorporated in the current solution ( in the spirit of @xcite ) will be subject of future studies @xcite .
the above choice of parameters is most likely not the only one that achieves this goal , but the point is that it shows by construction that physically viable parameter choices are perfectly possible .
when discussing the flow of scale dependent couplings like ( @xmath74 ) one usually does so for the dimensionless couplings ( @xmath75 ) .
therefore , the free parameters that describe this flow , should also be adimensional . hence one defines a set of four dimensionless parameters parameters @xmath76 instead of the dimensionfull parameters @xmath77 [ replfp ] .
ccc c_1&=&- + c_2&=&- + c_3&= & + c_4&=&-    } \ {    ccc ^*_u&= & - + l_i&=&- + g^*_u & = & + g_i & = & -16 c_2 ^3    } . with this reparametrization
the metric solution reads [ fvonrnew2 ] f(r)&= & \{g_i ( -6 g^*3_u ^2 r^2 + 4 g_i^3 ^*_u -6 g_i^2 g^*_u r ^*_u + g_i g^*2_u r ( 6+^2 r^2 l_i+12 r ^*_u ) ) . + & & .
+ 6 g^*3_u ^3 r^3 ( g^*_u -2 g_i ^*_u ) } .
one observes that the remaining dimensionfull parameters are @xmath7 and @xmath22 , which only appear in dimensionless pairs @xmath78 in ( [ fvonrnew ] ) .
now that convenient parameters have been defined one can define the dimensionless couplings . in order to make he couplings
dimensionless one has to multiply them with dimension - full quantities that describe the physical system . in our case
the two dimension - full quantities that can vary and that describe the physical system are @xmath22 and @xmath7 . in principle , every adequate power of those two quantities can do the job , thus one can write [ adimg ] g(r)&= & g(r ) + [ adiml ] ( r)&=&-(r ) , where @xmath79 and @xmath80 are numbers that determine the respective impact of @xmath7 and @xmath22  adimensionalization ! " and the minus sign in ( [ adiml ] ) is pure convention .
the constants @xmath79 and @xmath80 are crucial for the expected fixed point behavior of the adimensional coupling flow . only for certain values
there exists a well behaved , non - trivial fixed point .
motivated from the results in the erg approach , which will be introduced in the following section , one demands the existence of a non - trivial uv fixed point .
this uv fixed point exists for both couplings for the values @xmath81 and @xmath82 [ uvfp ] g_u(r)&= & g(r ) ^2 + _ u(r)&= & -(r ) .
the values of the uv fixed points are [ uvfplim ] g_u(r0)&=&g_u^ * + _ u(r0)&=&_u^ * .
the limits in ( [ uvfplim ] ) show that two of the new dimensionless parameters , are such that they represent the numerical value of the corresponding uv fixed points .
therefore , part of the possible physical results are already encoded in the numerical value of this fixed point .
the choice ( [ uvfp ] ) is further interesting in the sense that in the adimensional couplings only appear the adimensional quantities @xmath83 , and @xmath84 . with those parameters the adimensional gravitational couplings read @xmath85 and _ u(r)&= & \ { g_i ( g_i^3 ( r l_i+2 ^*_u)-12g^*3_u ^2 r^2 + 3 g_i^2g^*_u r ( r l_i+8 ^*_u ) ) .
g_i^2g^*2_u r ( 2 ^2 r^2 l_i-11 + 24 r ^*_u ) + 6 g^*_u r ( g_i^2 + 3 g_ig^*_u r+2g^*2_u ^2 r^2 ) ( g^*_u-2 g_i ^*_u ) } .
it is straight forward to depict the flow of this uv fixed point scenario @xmath81 and @xmath86 .
the corresponding flow is shown in figure [ figflowuv ] , where the numerical values of @xmath87 and @xmath88 where taken from @xcite .
schematic flow of the scale dependent couplings @xmath89 and @xmath90 for @xmath91 , @xmath92 , @xmath93 , and @xmath94 .
the different curves correspond to @xmath95 which are depicted from left to right in @xmath96blue ,  green ,  black ,  orange ,  red@xmath97 . , width=377 ]      in the context of erg induced coupling flows the dimensionless couplings are defined by the use of the energy scale @xmath4 [ gvong ] g(k)=k^2 g(k ) , ( k)=. those running couplings and the corresponding fixed points have been repeatedly calculated numerically @xcite . in order to obtain a tractable analytic solution for the running couplings ( [ gvong ] ) we will use a similar approximation procedure as it was used in @xcite .
according to @xcite the flow equations are given by : @xmath98g(k ) \nonumber \\ \partial_{t}\lambda(k)&= & \beta_{\lambda } ( \lambda_{k},g_{k}),\end{aligned}\ ] ] where @xmath99 and @xmath100 is the anomalous dimension and the beta functions are for @xmath101 _
t g=_g= , and for @xmath102 _ t = _ = . with p_1&=&d ( 2+d )
g(k ) ( -3+d-16 g(k)+8 d g(k))+4 ( -1 + 10 d g(k)+d^2 g(k)-d^3 g(k ) ) + & & ( k)+4 ( 4 - 10 d g(k)-3 d^2 g(k)+d^3 g(k ) ) ( k)^2 - 16 ( k)^3 , and p_2=2 + 8 ( -d g(k)-(k)+(k)^2 ) . expanding those beta functions for small values of the couplings @xmath103 and for four space - time dimensions one gets [ betagapprox ] _
g = g(k)(2 -24 g(k ) ) and [ betalapprox ] _ = 12 g(k)-2 ( k ) . the approximated beta function ( [ betagapprox ] )
can be integrated to [ gerg ] g_erg(k)=. using ( [ gerg ] ) one can also integrate ( [ betalapprox ] ) giving [ lambdalit ] ( k)_erg&= & ^*_u+ _ 0 - . note that the fixed points for this flow equations are the gaussian fixed point ( @xmath104 ) and in this approximation the uv non gaussian fixed point with @xmath105 and @xmath106 .
the values of the non gaussian fixed point were replaced in the solution by their symbols @xmath107 and @xmath108 , which will subsequently be treated as free parameters .
the relation between @xmath101 and @xmath109 ( [ gerg ] ) can be inverted in order to express equation ( [ lambdalit ] ) in terms of @xmath110 , giving [ lambdaergg ] _
erg(g)= ^*_u + ( _ 0 g_0 ( 1-g /g^*_u ) -^*_u g^*_u ( 1- g /g^*_u ) ) this result can be plotted and compared to the coupling flow from figure [ figflowuv ] , the resulting graphical comparison of the two flows is shown in figure [ figflowuv2 ] .
flow of the scale dependent couplings due to the erg result from equation ( [ lambdaergg ] ) which are depicted as dashed lines , and by using the parameters @xmath91 , @xmath92 , and @xmath111 with @xmath112 ( @xmath96blue ,  green ,  black , orange ,  red@xmath97 ) .
this flow is compared to the black hole induced flow @xmath89 and @xmath90 as solid lines for the same parameters with the identifications @xmath113 and @xmath114 with the additional choice of @xmath93 and @xmath115 .
, width=377 ]    since the graphical similarity of the black hole induced flow and of the analytic erg flow in figure [ figflowuv2 ] is quite striking we will now proceed with an analytical comparison .    for the adimensional gravitational constant
one finds that the black hole induced @xmath116 ( [ adimgu ] ) and the erg result @xmath110 ( [ gerg ] ) are exactly identical if one uses the scale setting [ setscaler ] r .
this scale setting result is interesting since intuitively one might have expected something like @xmath117 .
please note that this scale setting definition still leaves @xmath118 arbitrary .
the next step is to compare the couplings @xmath119 ( [ lambdalit ] ) and @xmath120 ( [ adiml ] ) . by using the scale setting ( [ setscaler ] )
one finds    [ lambdabh ] _
u(k)&= & + & & \{g_0 ^ 2 g_ik^4 ( + 2 k^2 _ u^*)-12 g_u^*3 k^2 + 3g_0 g_i g_u^ * k^2
( + 8 k^2 _ u^*)+g_u^*2 ( -11g_0 k^4 + 2 g_i(+12 k^2 _ u^ * ) ) .
+ & & .+6 ( 2 g_u^*2 + 3g_0 g_u^ * k^2 + g_0 ^ 2 k^4 ) ( g_u^*-2 g_i_u^ * ) }    the limit @xmath121 suggests the identification @xmath122 .
apparently , ( [ lambdabh ] ) is not identical to ( [ lambdalit ] ) , but the question is whether and to which extent both are similar .
since equation ( [ lambdalit ] ) is an analytic approximation which is assumed to be best close to a small valued fixed point it is instructive to compare ( [ lambdalit ] ) and ( [ lambdabh ] ) in the uv regime for large values of @xmath109 . for the comparison we separate ( [ lambdabh ] ) in a logarithmic and a non - logarithmic part and perform a taylor expansion of the coefficients to lowest order in @xmath123 , @xmath108 , and @xmath107 , which is analogous to the expansion that was used when deriving @xmath124 .
this gives [ lambdabhexp ] _
u(k)|_uv&= & ^*_u+ + & & - .
one observes that the approximated black hole induced function ( [ lambdabhexp ] ) has the same functional structure as the approximated erg function ( [ lambdalit ] ) .
even more , by choosing the remaining free constants to be @xmath125 and @xmath126 , the matching is exact .
the approximated bh induced cosmological constant ( [ lambdabhexp ] ) is then identical to the ( approximated ) erg function ( [ lambdalit ] ) .
please note that due to the uv approximation the infrared limit @xmath127 of ( [ lambdabhexp ] ) is a factor of two different from the infrared limit of the complete expression ( [ lambdabh ] ) .
one relevant point in the discussion of the running parameter is the behavior of the anomalous dimensions in the uv or ir region .
the anomalous dimension @xmath100 is connected to the previously defined beta function @xmath128 @xmath98g(k)\end{aligned}\ ] ] where @xmath99 . by using ( [ gvong ] ) @xmath100 can be written as @xmath129 the conditions for the existence of non trivial fixed points in the uv limit , non gaussian fixed points , is that : @xmath130 and @xmath131 . with those conditions the uv behavior of the anomalous dimension is given by @xmath132 ; @xmath133 . in order to study the behavior of the anomalous dimension in the ir region we select one of the trajectories which connects the uv non gaussian fixed point and run to the ir region as it is done in figure [ anom123 ]
one can see from the figure that the trajectories have a classical behavior in the ir where the anomalous dimension goes to zero , while the anomalous dimension smoothly goes to the fixed point value in the uv :    * in the ir limit @xmath134 ; @xmath135 * in the uv limit @xmath132 ; @xmath136    since in the previous discussion it has been shown that @xmath137 and @xmath138 are exactly equivalent due to the scale setting condition ( [ setscaler ] ) it is sufficient to work with one of the two , for example @xmath90 ( [ adimgu ] ) . considering this result we find that anomalous dimension has the form : @xmath139 one can see nicely that @xmath7 and @xmath118 only appear in pairs @xmath140 which explains that the different values of @xmath118 in figure [ anom123 ] actually correspond to a rescaling of @xmath7 in the same function @xmath141 .     anomalous dimension as a function of @xmath7 , for @xmath142 , @xmath91 , with @xmath143 in red , @xmath144 in black , and @xmath145 in blue . , width=377 ]    in the variety of erg calculations it turned out that even though the values of the fixed points @xmath146 and @xmath147 are scheme dependent , the product @xmath148 is rather robust throughout the different calculations .
therefore , figure ( [ figltimesg ] ) shows the product @xmath149 compared to the product @xmath150 as a function of @xmath4 .
product of the scale dependent couplings due to the erg result from equation ( [ lambdaergg ] ) which are depicted as dashed lines , and by using the parameters @xmath91 , @xmath92 , and @xmath111 with @xmath112 ( @xmath96blue , green , black , orange , red@xmath97 ) .
this is compared to the black hole induced product @xmath151 as solid lines for the same parameters with the identifications @xmath113 and @xmath114 with the additional choice of @xmath93 and @xmath115 .
, width=377 ]    one can see from figure [ figltimesg ] that also the erg result and the black hole induced results for @xmath152 are in good agreement .
in this paper we have studied the possibility of a scale dependent gravitational coupling @xmath0 and cosmological coupling @xmath1 .
such scale dependent couplings have to be studied in the context of improved equations of motion  ( [ eom2 ] ) .
we asked the question of how the scale dependent couplings would have to look like in order to permit the most simple spherical symmetric metric solution with @xmath153 . solving the equations of motion lead to a non - trivial metric @xmath154 with non - trivial functions for @xmath0 , and @xmath1 .
this solution contains four constants of integration . since
a naive expansion with with one of the constants zero lead to unphysical predictions ( [ epand2 ] ) for large radii , we showed the existence of parameter choices where this problem does not exist ( see section [ subsecclaslike ] ) .    from the functional form of the dimension - full coupling constants @xmath155
, we defined the dimensionless coupling constants @xmath156 with a fixed point in the regime of small radii .
the flow of those dimensionless couplings was then compared to the ( approximated ) functional form of the running couplings of the erg approach @xmath157 . after a proper scale setting @xmath158 ( [ setscaler ] )
it was found that there exists an exact equivalence between @xmath159 and a structural correspondence between @xmath160 . by approximating
the black hole induced result @xmath161 to the same order as the erg result @xmath124 one even finds an exact agreement between @xmath162 and @xmath124 . finally , the behavior of the anomalous dimension and of the product of the two couplings was discussed .
given the good qualitative and quantitative agreement between the actual erg result and the black hole induced results , one is tempted to believe that the solution ( [ fvonr ] , [ gvonr ] , and [ lvonr ] ) is actually a selfconsistent and good approximation to a still unknown complete solution of the erg improved equations of motion .
the solution is defined for all scales , but its correspondence to the erg black hole is expected to be best for small values of @xmath107 and @xmath108 and for large energy scales @xmath4 . this similarity ( and approximate correspondence ) was taken as an unexpected surprise and is the main result of this study .
the work of b.k .  was supported proj .
fondecyt 1120360 and anillo atlas andino 10201 ; the work of c.c .  was supported proj .
fondecyt 1120360 and dgip grant 11.11.05 .
coupling the einstein - hilbert action to matter with scale dependent couplings @xmath163 and @xmath164 gives the improved action @xmath165&=&\int_{m }   d^4 x   \sqrt{-g}\left(\frac{r-2\lambda _ { k}}{16\pi g _ { k}}+\mathcal{l}_m\right ) -\frac{1}{8 \pi}\int_{\partial m } d^3x \sqrt{-h}\frac{k}{g(k ) } \quad . \label{action}\end{aligned}\ ] ] the gibbons - hawking boundary term with the trace of the extrinsic curvature @xmath166 , can become relevant for the consistency of solutions that are not asymptotically flat such as ( a)ds .
the equations of motion for the metric field in ( [ action ] ) are @xmath167 where the possible coordinate dependence of @xmath168 induces an additional contribution to the stress energy tensor @xcite t_=g _ k(g_- _ _ ) . demanding a self consistency of those equations of motion and a conserved stress energy tensor for matter _
t_=0 the following condition is found @xcite [ condi ] r_()- 2_()=0 . given a certain form of the scale dependent couplings @xmath168 and @xmath163 , for example from the erg approach , the above relation allows to relate this scale @xmath4 to the scalar curvature @xmath36 of a supposed solution .      it
it interesting to look for further solutions where @xmath169 . just adding an other unknown function to ( [ ansatz ] )
would however leave more functions than independent equations .
thus , it is straight forward to study scenarios with @xmath170 and [ ansatz2 ] ds^2=-f(r ) dt^2 + 1/h(r)dr^2 + r^2 d^2 + r^2 ( ) d^2 . with this ansatz
we did not succeed to find general solutions with variable @xmath0 .
a special solution was however found [ solution2 ] f(r)&=&1 + h(r)&=&1 + + g(r)&=&c_2 it is quite interesting that for this solution the adimensional coupling is the square root of the adimensional coupling of the previous solution .
given the schematic behavior of the induced coupling flow in figure [ figflowuv ] , one wonders how the classical - like choice of parameters fits into this picture .
the relations ( [ c4new ] , [ c1new ] , [ c3new ] , and [ c2new ] ) in combination with ( [ replfp ] ) allow to express the dimensionless parameters @xmath171 , @xmath120 , @xmath172 , and @xmath116 in terms of the physical parameters @xmath173 , @xmath69 , @xmath68 and the undetermined scale @xmath22 that was introduced in order to define the dimensionless parameters . assuming a small physical cosmological constant @xmath69 adimensional constants that correspond to the solution ( [ fvonrnew]-[lvonrnew ] ) read approximately [ liclas ] l_i
, s&&-8 + ( _ 0 ^ 4/3 ) + [ luclas ] _ u , s^*&=&-4 ( 4/3)^1/3 + [ giclas ] g_i , s&=&-(9/2)^1/3 + [ guclas ] g_u , s^*&= & g_0 ^2 those adimensional constants can be combined in various ways in order to study the fixed point behavior when varying @xmath22 and @xmath68 .
but it allows also to form combinations which only depend on the general physical parameters @xmath69 and @xmath173 , like @xmath174 which establishes a global relation between the uv fixed point of @xmath175 and the infrared parameter @xmath176 .
the positivity of the gravitational coupling , further suggests a negative value for the infrared parameter @xmath171 for positive @xmath69 .
one also can ask whether the classical - like choice of parameters can be made compatible with the values of the uv fixed points @xmath92 , @xmath91 known from the erg approach @xcite . imposing those fixed point values on the classical - like parameters ( [ luclas]-[guclas ] )
allows to fix the parameters @xmath22 and @xmath69 and leaves @xmath173 and @xmath68 as only free physical parameters . in figure [ figflowuv3 ] it
is shown how the corresponding flow would look like for the classical - like scenario .
flow of the scale dependent couplings @xmath89 and @xmath90 for @xmath91 .
the lower curves are plotted for @xmath93 , and @xmath94 whith @xmath95 which are depicted from left to right in @xmath96blue ,  green ,  black ,  orange ,  red@xmath97 .
the black upper curves are the real values of the classical - like scenario for @xmath111 and from left to right @xmath177 .
, width=377 ]      please note that ( [ liclas]-[guclas ] ) is not the only possible choice for the parameters of this solution .
it only means that this choice of parameters reproduces the standard form of the black hole metric ( [ fstandard ] ) despite of the fact that @xmath0 and @xmath1 are not constants .
this result is new and unexpected , because it means that from solely observing the classical de sitter black hole metric to high precision in the range between the horizons , one can not conclude that @xmath12 and @xmath13 are actually constants .
the horizons for this solution are given by the conditions @xmath179 and the black hole temperature is obtained by using the radial derivative at this point .
this analysis reproduces only in very special cases such as the classical - like scenario all the features that are known for the classical solution ( [ fstandard ] ) . depending on the choice of the four parameters the horizon structure can be largely different . in most other cases the finding of the horizons boils down to solving non - analytic equations which only can be done numerically .
this numerical study of the possible horizons and corresponding thermodynamical behavior is postponed to a future study .        c.  wetterich , phys .
b * 301 * , 90 ( 1993 ) .
d.  dou and r.  percacci , class .
grav .   * 15 * , 3449 ( 1998 ) [ arxiv : hep - th/9707239 ] . w.  souma , prog .
phys .   * 102 * , 181 ( 1999 ) [ arxiv : hep - th/9907027 ] .
m.  reuter and f.  saueressig , phys .
d * 65 * , 065016 ( 2002 ) [ arxiv : hep - th/0110054 ] .
d.  f.  litim , phys .
lett .   * 92 * , 201301 ( 2004 ) [ arxiv : hep - th/0312114 ] .
p.  fischer and d.  f.  litim , phys .
b * 638 * , 497 ( 2006 ) [ arxiv : hep - th/0602203 ] .
r.  percacci , arxiv:0709.3851 [ hep - th ] .
d.  f.  litim , arxiv:0810.3675 [ hep - th ] .
g.  narain and c.  rahmede , class .
* 27 * , 075002 ( 2010 ) [ arxiv:0911.0394 [ hep - th ] ] .
k.  groh and f.  saueressig , j.  phys .
a * 43 * , 365403 ( 2010 ) [ arxiv:1001.5032 [ hep - th ] ] .
a.  bonanno and m.  reuter , phys .
b * 527 * , 9 ( 2002 ) [ arxiv : astro - ph/0106468 ] ; a.  bonanno and m.  reuter , phys .
d * 65 * , 043508 ( 2002 ) [ arxiv : hep - th/0106133 ] .
m.  reuter and f.  saueressig , new j.  phys .
* 14 * , 055022 ( 2012 ) , arxiv:1202.2274 .
m.  reuter and f.  saueressig , arxiv:1205.5431 .
d.  benedetti , arxiv:1301.4422 [ hep - th ] .
a.  bonanno and m.  reuter , phys .
d * 60 * , 084011 ( 1999 ) [ arxiv : gr - qc/9811026 ] .
a.  bonanno and m.  reuter , phys .
d * 62 * , 043008 ( 2000 ) [ arxiv : hep - th/0002196 ] .
m.  reuter and h.  weyer , phys .
d * 69 * , 104022 ( 2004 ) [ arxiv : hep - th/0311196 ] .
k.  falls , d.  f.  litim and a.  raghuraman , arxiv:1002.0260 [ hep - th ] .
m.  reuter and e.  tuiran , arxiv:1009.3528 [ hep - th ] .
f.  girelli , s.  liberati , r.  percacci and c.  rahmede , class .
* 24 * , 3995 ( 2007 ) [ arxiv : gr - qc/0607030 ] .
a.  codello , r.  percacci and c.  rahmede , int .
j.  mod .
a * 23 * , 143 ( 2008 ) [ arxiv:0705.1769 [ hep - th ] ] .
b.  koch , phys .
b * 663/4 * , 334 ( 2008 ) [ arxiv:0707.4644 [ hep - ph ] ] .
b.  koch , phys .
b * 663 * , 334 ( 2008 ) .
t.  burschil and b.  koch , zh .
* 92 * , 219 ( 2010 ) [ arxiv:0912.4517 [ hep - ph ] ] .
r.  casadio , s.  d.  h.  hsu and b.  mirza , arxiv:1008.2768 [ gr - qc ] .
b.  koch , f.  saueressig , renormalization group improved ( anti ) de sitter black holes , in preparation .
s.  i .
nojiri and s.  d.  odintsov , econf c * 0602061 * , 06 ( 2006 ) [ int .
j.  geom .
phys .   * 4 * , 115 ( 2007 ) ] [ hep - th/0601213 ] .
t.  p.  sotiriou and v.  faraoni , rev .
phys .   * 82 * , 451 ( 2010 ) [ arxiv:0805.1726 [ gr - qc ] ] .
s.  i .
nojiri and s.  d.  odintsov , phys .
* 505 * , 59 ( 2011 ) [ arxiv:1011.0544 [ gr - qc ] ] .
v.  faraoni , arxiv:0810.2602 [ gr - qc ] .
a.  de la cruz - dombriz , a.  dobado and a.  l.  maroto , phys .
d * 80 * , 124011 ( 2009 ) [ erratum - ibid .
d * 83 * , 029903 ( 2011 ) ] [ arxiv:0907.3872 [ gr - qc ] ] .
g.  cognola , e.  elizalde , s.  i .
nojiri , s.  d.  odintsov and s.  zerbini , jcap * 0502 * , 010 ( 2005 ) [ hep - th/0501096 ] . s.  h.  hendi and d.  momeni , eur .
j.  c * 71 * , 1823 ( 2011 ) [ arxiv:1201.0061 [ gr - qc ] ] . g.  j.  olmo , phys .
d * 75 * , 023511 ( 2007 ) [ gr - qc/0612047 ] .
y.  s.  myung , phys .
d * 84 * , 024048 ( 2011 ) [ arxiv:1104.3180 [ gr - qc ] ] .
d.  psaltis , d.  perrodin , k.  r.  dienes and i.  mocioiu , phys .
* 100 * , 091101 ( 2008 ) [ phys .
* 100 * , 119902 ( 2008 ) ] [ arxiv:0710.4564 [ astro - ph ] ] .
e.  barausse and t.  p.  sotiriou , phys .
* 101 * , 099001 ( 2008 ) [ arxiv:0803.3433 [ gr - qc ] ] .
a.  larranaga , arxiv:1108.6325 [ gr - qc ] . c.  brans and r.  h.  dicke , phys .
rev .   * 124 * , 925 ( 1961 ) . c.  h.  brans , phys .
rev .   * 125 * , 2194 ( 1962 ) .
s.  w.  hawking , commun .
phys .   * 25 * , 167 ( 1972 ) .
h.  kim , phys .
d * 60 * , 024001 ( 1999 ) [ gr - qc/9811012 ] .
h.  s.  kim , h.  maeda and g.  giribet , jhep * 1111 * , 015 ( 2011 ) [ arxiv:1105.1331 [ gr - qc ] ] .
c.  j.  gao and s.  n.  zhang , phys .
d * 70 * , 124019 ( 2004 ) [ hep - th/0411104 ] .
c.  j.  gao and s.  n.  zhang , phys .
b * 605 * , 185 ( 2005 ) [ hep - th/0411105 ] .
m.  reuter and h.  weyer , jcap * 0412 * , 001 ( 2004 ) [ arxiv : hep - th/0410119 ] .
m.  reuter and h.  weyer , phys .
d * 70 * , 124028 ( 2004 ) [ arxiv : hep - th/0410117 ] .
d.  c.  rodrigues , p.  s.  letelier and i.  l.  shapiro , jcap * 1004 * , 020 ( 2010 ) [ arxiv:0911.4967 [ astro-ph.co ] ] .
s.  h.  tye and j.  xu , arxiv:1008.4787 [ hep - th ] .
a.  bonanno , a.  contillo and r.  percacci , arxiv:1006.0192 [ gr - qc ] .
o. piatella , d. rodriguez , i. shapiro , and b. koch , work in preparation .


because of their simple crystal structure , the perovskite oxides present a special opportunity for the development of a detailed theoretical understanding of the ferroelectric phase transition . within this family of materials ,
one finds transitions to a wide variety of low - symmetry phases , including ferroelectric and antiferroelectric transitions .
both first- and second - order transitions are observed , with a full spectrum of transition behavior ranging from displacive to order - disorder .
the properties of batio@xmath0 , a much - studied prototypical example of this class of compounds,@xcite exemplify this rich behavior .
batio@xmath0 undergoes a succession of first - order phase transitions , from the high - temperature high - symmetry cubic perovskite phase ( fig .
[ stru ] ) to slightly distorted ferroelectric structures with tetragonal , orthorhombic and rhombohedral symmetry .
there is increasing evidence that the cubic - to - tetragonal transition , at first thought to be of the simple displacive kind , may instead be better described as of the order - disorder type .
the variety exhibited by the perovskite oxides shows that the phase transformation behavior depends on details of the chemistry and structural energetics of each particular compound .
therefore , it is of the first importance to develop a microscopic theory of the materials properties which determine the ordering of the phases , the character and thermodynamic order of the transitions , and the transition temperatures .
the value of a microscopic approach has long been appreciated , but its realization was hindered by the difficulty of determining microscopic parameters for individual compounds .
the forms of phenomenological model hamiltonians @xcite were limited by the available experimental data , leading to oversimplification and ambiguities in interpretation . for the perovskite oxides , empirical @xcite and non - empirical pair potential methods @xcite did not offer the high accuracy needed for the construction of realistic models .
first - principles density functional calculations offer an attractive approach for enhancing our microscopic understanding of perovskites and other ferroelectrics . the all - electron full - potential linearized - augmented - plane - wave ( flapw )
method has been used by several groups to study ferroelectricity in perovskites within the local density approximation ( lda).@xcite recently , king - smith and vanderbilt performed a systematic study of structural and dynamical properties and energy surfaces for eight common perovskites,@xcite using the first - principles ultra - soft pseudopotential method and the lda .
these calculations demonstrate that ferroelectricity in the perovskites reflects a delicate balance between long - range electrostatic forces which favor the ferroelectric state , and short - range repulsions which favor the cubic phase . while constrained to calculations of zero - temperature properties , these calculations yield correct predictions of ground state structures and occurrence of ferroelectric phases for certain materials .
they show that high - quality lda calculations can provide considerable insight into the nature of the total - energy surface in the perovskites .
for further insight into the energetics of ferroelectric compounds , the polarization generated by various distortions can be studied directly , using a recent first - principles method by king - smith and vanderbilt.@xcite this approach has been applied to the investigation of the zone - center phonons in the common perovskite oxides.@xcite    the application of these first - principles methods can clearly form a foundation for the realistic study of the finite - temperature phase transitions . while an _ ab - initio _ molecular - dynamics simulation of the structural phase transition is not computationally feasible at present , we purse an alternative first - principles approach to study ferroelectric phase transitions and demonstrate its application to batio@xmath0 . in particular , we ( i ) construct an effective hamiltonian to describe the important degrees of freedom of the system,@xcite ( ii ) determine all the parameters of this effective hamiltonian from high - accuracy _ ab - initio _ lda calculations,@xcite and ( iii ) carry out monte carlo ( mc ) simulations to determine the phase transformation behavior of the resulting system .
an abbreviated presentation of this work has already appeared in ref .  .
the remainder of this paper is organized as follows . in sec .
ii , we go through the detailed procedure for the construction of the effective hamiltonian , and give the explicit formula . in sec .
iii , we describe our first - principles calculations and the determination of the expansion parameters in the hamiltonian .
the technical details of the monte carlo simulation are presented in sec .
iv . in sec .
v , we report our calculated transition temperatures , order parameters , and phase diagram , as well as thermodynamic order and nature of the phase transitions .
the role of different interactions in determining the phase transition behavior is also discussed .
vi concludes the paper .
the central quantity for studying the equilibrium properties of a system at finite temperature is its partition function .
this can be determined from the energy surface , i.e. , the total potential energy as a functional of the atomic coordinates . since the contribution to the partition function decreases exponentially with increasing energy , it is possible to obtain an accurate partition function for low - temperature applications from a simplified energy surface including only low - energy configurations .
our goal is to construct a parameterized hamiltonian which ( i ) is _ ab initio
_ , involving no empirical or semi - empirical input ; ( ii ) results in an accurate partition function for the temperature range of interest ; ( iii ) is fully specified by a few _ ab - initio _ total energy calculations ; and ( iv ) involves only approximations that are systematically improvable and removable .    our first fundamental approximation is to use an energy surface represented by a low - order taylor expansion .
both experiments and first - principles total energy calculations suggest that the ferroelectric ( fe ) phase transition involves only very small atomic displacements and strain deformations from the equilibrium cubic structure .
it is reasonable to assume that all the atomic configurations with significant contribution to the partition function would be close to this cubic structure in the temperature range of interest .
thus , it is natural to represent the energy surface by a taylor series in the displacements from the cubic structure .
we include up to fourth - order terms in our expansion ; this is clearly a minimum , since ferroelectricity is intrinsically an anharmonic phenomenon . by including higher - order terms , this approximation could later be systematically improved .
it is convenient to describe the small distortions from the cubic structure in terms of the three acoustic and twelve optical normal - mode coordinates per k - point .
while this could be regarded as only a change of basis , it motivates our second fundamental approximation , which is to restrict the expansion to include only low - energy distortions . to achieve this separation
, we note that both experimentally - measured and lda - calculated phonon dispersion relations@xcite show that only the lowest to modes ( soft modes ) and long - wavelength acoustic phonons ( strain variables ) make significant contributions to the phonon density of states at low energy .
experimental studies also suggest that the fe phase transitions are accompanied by a softening of the lowest to mode and the appearance of a strain .
all other phonons are hardly affected by the transitions .
it is then our second approximation to express the energy surface only as a function of the soft - mode amplitudes and strain .
this approximation reduces the number of degrees of freedom per cell from fifteen to six , and greatly reduces the number of interaction parameters needed . if necessary
, this approximation could later be relaxed by including additional modes .
it is convenient to describe the soft mode over the whole brillouin zone ( bz ) in terms of a collective motion of `` local modes , '' just as one describes an acoustic phonon in terms of a collective displacement of individual atoms .
however , there is more than one choice of local mode which will generate the same soft mode throughout the bz ; an intelligent choice can simplify the hamiltonian and reduce the number of calculations needed.@xcite first , the local mode should be as symmetric as possible , so as to minimize the number of expansion parameters needed .
second , the interactions between local modes at different sites are more difficult to treat than their on - site energy , so the local mode should be chosen so as to minimize intersite interactions . for perovskite abo@xmath0 compounds ,
the highest symmetry is achieved by centering the local mode on either atom a or b. in the case of batio@xmath0 , the ti
o bond is much stronger than the ba
o bond and the motion of the ti is more important in the fe transition , so we choose the local mode which is centered on the ti atom .    the soft zone - center ( @xmath1=0 ) fe mode in batio@xmath0 is a @xmath2 mode which can be characterized by the four parameters @xmath3 , @xmath4 , @xmath5 , and @xmath6 ( for a mode polarized along the @xmath7th cartesian direction , these refer to the displacements of the a atom , the b atom , the o atom that forms a b  o bond along direction @xmath7 , and the other two o atoms , respectively ) .
we take the corresponding local mode to consist of a motion of the central a atom by amount @xmath3 , the eight neighboring b atoms by amounts @xmath8 , and the six neighboring o atoms by amounts @xmath9 or @xmath10 , along the @xmath7th cartesian direction .
this mode is illustrated in fig .
( [ stru ] ) ; its amplitude is denoted @xmath11 .
an arbitrary @xmath12 soft mode can then be realized as a linear superposition of these local modes having identical amplitudes @xmath13 in every cell .
the harmonic interactions between the local - mode amplitudes @xmath14 connecting neighboring cells @xmath15 must be chosen to reproduce the harmonic behavior of the soft - mode branch throughout the bz .
long - range coulomb forces are known to play an important part in these interactions ; they are characterized in terms of the calculated born ( or `` transverse '' ) effective charges.@xcite thus , the harmonic intersite interactions are represented by a sum of two contributions : an infinite - range piece that is precisely the interaction of point dipoles whose magnitude is given by the born effective charge , and corrections which we take to be of covalent origin and therefore local .
to be completely general , anharmonic intercell interactions between neighboring @xmath16 would likewise have to be included .
instead , we include only _ on - site _ anharmonic interactions , which are chosen in such a way that the anharmonic couplings for @xmath12 modes of the real system are correctly reproduced .
this `` local anharmonicity approximation '' is an important feature which helps make our scheme tractable and efficient . to go beyond this approximation
, one could carry out a careful series of frozen - phonon lda calculations on supercells to determine anharmonic couplings at other points in the bz .
however , past experience has shown that calculations of this kind are very cumbersome because of the large number of parameters which have to be determined.@xcite    with these approximations , our hamiltonian consists of five parts : a local - mode self energy , a long - range dipole - dipole interaction , a short - range interaction between soft modes , an elastic energy , and an interaction between the local modes and local strain .
symbolically , @xmath17 where @xmath18 is the local soft - mode amplitude vector , and @xmath19 is the six - component local strain tensor in voigt notation ( @xmath20 , @xmath21 ) . in the following subsections , we present the explicit formulae for these five contributions .
the first term is @xmath22 where @xmath23 is the energy of an isolated local mode at cell @xmath24 with amplitude @xmath16 , relative to that of the perfect cubic structure . to describe the fe phase
, @xmath23 must contain anharmonic as well as harmonic contributions .
since the reference structure is cubic , only even - order terms can enter ; we choose to truncate at fourth order .
symmetry considerations then require that it take the form @xmath25 where @xmath26 , and @xmath27 , @xmath28 , and @xmath29 are expansion parameters to be determined from first - principles calculations .
the second term in the effective hamiltonian represents long - range interactions between local modes .
only dipole - dipole interactions are considered , since higher - order terms tend to be of short range and their effect will be included in the short - range contribution @xmath30 .
the dipole moment associated with the local mode in cell @xmath15 is @xmath31 .
here , @xmath32 is the born effective charge for the soft mode , which can be obtained as @xmath33 from the eigenvector of the soft mode , once the born effective charges for the ions are known.@xcite in atomic units ( energy in hartree ) , we have @xmath34 here , @xmath35 is the optical dielectric constant of the material , @xmath36 , @xmath37 , and @xmath38 .    in practice ,
( [ dipolesum ] ) is not directly useful for three - dimensional systems with periodic boundary conditions ; instead , we use an ewald construction to evaluate @xmath39 .
we effectively terminate the sum in such a way that the @xmath12 modes of the supercell will represent physical to(@xmath40 ) modes . for a to mode , the induced depolarization electric field is zero ; from the point of view of the dipole sum , it is as though the material were surrounded by a layer of metal . in the ewald construction
, this is equivalent to setting the surface terms to zero.@xcite under these conditions , and choosing the decay @xmath41 of the gaussian charge packets to be small enough so that the real - space summation can be entirely neglected , we have @xmath42 \ ; , \ ] ] where @xmath43 is the cell volume and * g * is the reciprocal lattice vector .
because of its long - range nature , the calculation of @xmath39 is the most time - consuming part of our monte carlo simulations .
it is thus worth some special treatment to reduce the computational load . in principle
, the term @xmath44 appearing in the denominator of eq .
( [ dipolesum ] ) should be strain - dependent .
however , as we have chosen to expand the intersite interactions between local modes only up to harmonic order , it is consistent to ignore this effect , since strain - induced changes of the dipole - dipole interaction will enter only at higher order .
this is equivalent to fixing the reciprocal lattice vectors @xmath45 and all the atomic position vectors @xmath24 .
the dipole energy can then be written as @xmath46 with @xmath47 \ ; .\ ] ] here , @xmath28 and @xmath48 denote cartesian components .
the matrix @xmath49 is thus treated as a constant ; it is calculated once and for all , and stored for later calculation of the dipole energy .
this strategy increases the computational efficiency by at least one order of magnitude .
@xmath50 is the energy contribution due to the short - range interactions between neighboring local modes , with dipole - dipole interaction excluded .
this contribution stems from differences of short - range repulsion and electronic hybridization between two adjacent local modes and two isolated local modes .
together with the dipole - dipole interaction , this interaction determines the soft - mode energy away from the zone center .
expanded up to the second order , it can be written as , @xmath51 the coupling matrix @xmath52 is a function of @xmath53 and should decay very fast with increasing @xmath54 . here , we consider the short - range interaction up to third nearest neighbor ( nn ) , whose local mode shares atoms with the local mode on the origin .
local modes between further neighbors involve displacements of atoms at least two hops away ( in tight - binding language ) and their core - core repulsion or hybridization should be much less important than the dipole - dipole interaction which is taken care of in @xmath39 .    the interaction matrix @xmath52 can be greatly simplified by symmetry . for a cubic lattice
, we have , @xmath55 where @xmath56 is the @xmath28 component of @xmath57 .
so we have only seven interaction parameters for a cubic lattice .
the coefficients @xmath58 , @xmath59 , ... ,
@xmath60 in the above equations have physical meanings that are sketched schematically in fig .
for example , @xmath58 represents the interaction strength of `` @xmath61 '' like interactions between first neighbors .
we will describe the state of elastic deformation of the batio@xmath0 crystal using local strain variables @xmath62 , where the voigt convention is used ( @xmath63 ) and @xmath24 labels a cell center ( ti ) site .
in fact , the six variables per unit cell @xmath64 are not independent , but are obtained from three independent displacement variables per unit cell . in our analysis , these are taken as the dimensionless displacements @xmath65 ( in units of the lattice constant @xmath66 ) defined at the unit cell corner ( ba ) positions @xmath67 . in terms of these , the _ inhomogeneous _ strain variables @xmath68 are defined in the next subsection . because of our use of a periodic supercell in the monte carlo simulations , however , homogeneous strain deformations are not included in the configuration space @xmath69 .
therefore , we introduce six additional _ homogeneous _ strain components @xmath70 to allow the simulation cell to vary in shape . the total elastic energy is expanded to quadratic order as @xmath71 where the homogeneous strain energy is simply given by @xmath72 here @xmath73 , @xmath74 , and @xmath75 are the elastic constants expressed in energy units ( @xmath76 , etc . ) , and @xmath77 is the number of primitive cells in the supercell .
rather than use an expression like ( [ eqhom ] ) for the inhomogeneous strain energy , we have found it preferable to express this part directly in terms of the @xmath65.@xcite this approach keeps the acoustic phonon frequencies well behaved throughout the brillouin zone . to satisfy requirements of invariance under translations and rotations of the crystal as a whole
, the energy is expanded in scalar products of differences between the @xmath65 .
the cubic crystal symmetry leads to a great reduction of the independent parameters in the expansion .
the energies of the long - wavelength strain deformations can be reproduced by an expansion of the form @xmath78 ^ 2 \nonumber\\ \phantom{\big| }    & + & \gamma_{12 } [ v_x({\bf r}_i ) - v_x({\bf r}_i \pm { \bf x } ) ] [ v_y({\bf r}_i ) - v_y({\bf r}_i \pm { \bf y } ) ] \nonumber\\ \phantom{\big| }    & + & \gamma_{44 } [ v_x({\bf r}_i ) - v_x({\bf r}_i   \pm { \bf y } ) + v_y({\bf r}_i ) - v_y({\bf r}_i   \pm { \bf x } ) ] ^2 \nonumber\\    & + & { \rm \;cyclic\;permutations\ ; } \big\ } \label{eqinhom}\end{aligned}\ ] ] corresponding to bond stretching , bond correlation , and bond bending , respectively . here
, @xmath79 , @xmath80 , @xmath81 , and @xmath82 indicates multiple terms to be summed .
the @xmath29 coefficients are related to the elastic constants by @xmath83 , @xmath84 , and @xmath85 .      to describe the coupling between the elastic deformations and the local modes , we use the on - site interaction @xmath86 as a result of cubic symmetry , there are only three independent coupling constants @xmath87 : @xmath88 the strain contains both homogeneous and inhomogeneous parts .
the latter are expressed in terms of the local displacement vectors @xmath90 as follows .
we first define the six average differential displacements associated with site @xmath24 as @xmath91 \;,\nonumber\\   \delta v_{xy } & = & \sum_{{\bf d } = 0,{\bf y},{\bf z},{\bf y}+{\bf z } } \left [ v_y ( { \bf r}_i - { \bf d } - { \bf x } ) - v_y ( { \bf r}_i - { \bf d } ) \right ] \;,\nonumber\end{aligned}\ ] ] and their cyclic permutations , recalling that @xmath65 is associated with position @xmath67
. then @xmath92 , @xmath93 , etc .
we have shown that , with the two approximations we made , the total energy functional of the perovskite system is fully specified by a set of parameters .
these parameters can be obtained from first - principles calculations .
we use density - functional theory within the local density approximation ( lda ) . the technical details and convergence tests of the calculations can be found in refs . .
the most important feature of the calculations is the vanderbilt ultra - soft pseudopotential,@xcite which allows a low energy cutoff to be used for first - row elements .
this makes high - accuracy large - scale calculations of materials involving oxygen and @xmath94 transition metal elements affordable .
the ultra - soft pseudopotential also allows for exceptionally transferable pseudopotentials .
it ensures that all - electron and pseudo - atom scattering properties agree over a very large energy range and preserves the chemical hardness of the atom . a generalized kohn - sham functional
is directly minimized using a preconditioned conjugate gradient method.@xcite we use a ( 6,6,6 ) monkhorst - pack k - point mesh@xcite for single - cell calculations , i.e. , 216 k - points in the full brillouin zone ( fbz ) . for supercell calculations ,
the k mesh is kept the same to minimize errors due to the k - point sampling .
therefore , a smaller number of k - points is used because of the smaller fbz .
we start with the construction of the local mode vectors .
all the eigenvalues and eigenvectors of the force - constant matrix at @xmath12 for the cubic batio@xmath0 structure are calculated from frozen - phonon calculations , as in ref . .
the mode with imaginary frequency is identified as the soft mode .
the soft - mode eigenvector has been reported previously@xcite as @xmath95 , @xmath96 , @xmath97 , and @xmath98 .
the local mode is then constructed from it using the scheme proposed in ii.1 ( fig.[stru ] ) .
determination of many of the parameters in the effective hamiltonian involves only calculations for zone - center distortions .
these parameters have been reported previously.@xcite they include the fourth - order terms of on - site energy @xmath28 and @xmath29 ; the elastic constants @xmath99 ; and the on - site elastic - mode interaction parameters @xmath100 .
the mode effective charge @xmath32 of eq .
( [ effcharge ] ) is calculated from the values @xmath101=2.75 , @xmath102=7.16 @xmath103=@xmath1045.69 , and @xmath105=@xmath1042.11 published in ref .  .
( the resulting value @xmath32=9.96 is slightly different from the one given in ref .  ; there , the eigenvector of the _ dynamical _ matrix , not the _ force - constant _ matrix , was used . )
we use the experimental value @xmath106 of the optical dielectric constant , since for this quantity , the lda seems not to be a well - justified approximation , while exact density - functional theory results are not accessible .
we find , however , that the effect of a small inaccuracy in the dielectric constant affects thermodynamic properties such as transition temperatures only slightly .
the second - order energy parameter @xmath107 for zone - center distortions is a linear combination of the local mode self energy parameter @xmath27 , the intersite interactions @xmath108 , and the dipole - dipole interaction .
the calculations of intersite interaction parameters involve determination of the energy for distortions at the zone - boundary k - points x=(@xmath109,0,0 ) , m=(@xmath109,@xmath109,0 ) , and r=(@xmath109,@xmath109,@xmath109 ) , where @xmath66 is the lattice constant .
five frozen - phonon calculations on doubled unit cells are sufficient to extract all the information available from these k - points . the arrangement of the local mode vectors for each case , as well as for the zone - center distortion at @xmath40=(0,0,0 ) ,
are shown in fig .
the actual ionic configurations are constructed by superpositions of displacements associated with adjacent local modes .
for example , letting @xmath110 be the amplitude of the ti - centered local mode defined in sec .
[ sec : approx ] , the displacement of the ti atoms is just @xmath111 in fig .  [ cell](a ) and @xmath112 in fig .  [ cell](b ) , while ba is affected by eight neighboring local modes so that its displacement is @xmath113 in fig .
[ cell](a ) and @xmath114 in fig .
[ cell](b ) .
the above five doubled - cell calculations can be used to determine the parameters @xmath58 , @xmath59 , @xmath115 , @xmath116 , and @xmath117 .
the determination of @xmath118 requires a four - cell calculation involving 20 atoms with low symmetry [ fig .
[ cell](g ) ] .
table  [ table1 ] lists the energy expressions for all the configurations calculated in terms of the quadratic expansion parameters .    a further decomposition of @xmath119 and @xmath60 would require an expensive eight - cell calculation .
furthermore , the interaction parameter @xmath60 is the third nearest - neighbor interaction and is thus presumably not very important .
this argument is justified by our monte carlo simulations which show that the calculated transition temperature is insensitive to different decompositions of @xmath119 and @xmath60 .
this prompts us to make an approximate decomposition based on a simple physical argument : we expect the interaction to be smallest for two interacting local modes oriented such that reversing the relative sign of the vectors produces the least change of bond lengths .
applied to third nearest neighbors , this argument implies @xmath120 , thus fixing the value of @xmath60 .
the resulting interaction parameters are shown in table  [ table2 ] , together with other parameters published previously .
it may be surprising to see that the on - site @xmath27 is positive , while the cubic structure is known to be unstable against @xmath12 distortion .
the cubic structure is thus stable against forming an isolated local mode ; instability actually comes from the intersite interactions between local modes . to be more precise
, we find that it is the long - range coulomb ( dipole - dipole ) interaction which makes the ferroelectric state favorable .
if we turn off the dipole - dipole interaction by setting the effective charge @xmath121 , we find that the ferroelectric instability disappears .
this is consistent with the previous point of view that long - range coulomb forces favor the ferroelectric state , while short - range repulsions favor the nonpolar cubic state .    from table
[ table2 ] , we see that the intersite interaction parameters decay very fast with increasing distance , indicating the short - range nature of the intersite interactions after the long - range coulomb interactions have been separated out .
the ratio of the magnitudes of the strongest first- , second- , and third - neighbor interactions turns out to be approximately @xmath122 .
this decays even faster than the dipole - dipole interactions , for which the corresponding ratio ( @xmath123 ) is @xmath124 .
these results help justify our approximation of including only up to third nearest neighbors for the short - range interactions .
for the quantitative study of non - universal finite - temperature behavior of a given model , monte carlo simulation@xcite has emerged as the most reliable and powerful technique .
it is especially appropriate for a model such as ours , with two continuous vector degrees of freedom per unit cell and both short and long range interactions , for which analytical approaches such as renormalization group or high - temperature expansions would be cumbersome and involve additional approximations . in comparison ,
the monte carlo approach requires only the ability to compute changes in total energy as the configuration is changed .
furthermore , with suitable analysis of statistical errors and finite - size effects , the results of monte carlo simulation can be made arbitrarily accurate .
finally , with little additional effort , a number of physical quantities can be computed to aid in characterization of the transition .
we solve the effective hamiltonian [ eqs .
( [ eqself ] ) , ( [ eqdpl ] ) , ( [ eqshort ] ) , ( [ eqstrain ] ) , and ( [ eqelint ] ) ] using monte carlo simulations with the metropolis algorithm@xcite on an @xmath125 cubic lattice with periodic boundary conditions .
since most energy contributions ( except @xmath39 ) are local , we choose the single - flip algorithm .
that is , a trial move consists of an attempted update of a single variable , after which the total energy change is calculated to determine whether to accept the move .
the step sizes are adjusted to ensure an acceptance ratio of approximately 0.2 . in one monte carlo sweep ( mcs ) ,
we first make a trial move on each @xmath16 in sequence , then each @xmath126 in sequence , then iterate several times ( typically @xmath127 times ) on the homogeneous strain variables . for @xmath128 ,
each mcs takes about one second on an hp 735 workstation .
the typical correlation time for the total energy is found to be several hundred mcs close to the phase transition ; this long correlation time makes certain new mc techniques using energy distribution functions@xcite unfavorable .
the correlation times for the local mode amplitudes are one order of magnitude shorter , and thus 10,000 mcs are usually enough to equilibrate and to obtain averages of local mode variables with statistical error @xmath129% .
in our simulation , we concentrate on identifying the succession of low - temperature phases , determining the phase transition temperatures , and extracting qualitative features of the transitions .
this analysis will allow us to identify the features of the effective hamiltonian which most strongly affect the transition properties .
for these purposes , it is most convenient to monitor directly the behavior of the homogeneous strain and the vector order parameter . in the case of the ferroelectric phase transition ,
the latter is just the average local - mode vector @xmath130 , which is proportional to the polarization . here
, @xmath16 is the local mode vector at site @xmath15 and @xmath77 is the total number of sites . as a reference , the average local mode amplitude @xmath131 is also monitored . to avoid effects of symmetry - equivalent rotations of the order parameter and to identify the different phases clearly , we accumulate the absolute values of the largest , middle , and smallest components of the averaged local - mode vector for each step , denoted by @xmath132 , @xmath133 , and @xmath134 , respectively ( @xmath135 ) . the cubic ( c ) , tetragonal ( t ) , orthorhombic ( o ) , and rhombohedral ( r ) phases are then characterized by zero , one , two , and three non - zero order - parameter components , respectively .
the effect of symmetry - equivalent rotations on the homogeneous strain is handled analogously , with the largest , the medium and the smallest linear strain components denoted by @xmath136 , @xmath137 and @xmath138 , respectively , and shear strain components by @xmath139 , @xmath140 and @xmath141 .
the ferroelectric phase transition is very sensitive to hydrostatic pressure , or equivalently , to lattice constant .
the lda - calculated lattice constants are typically 1% too small , and even this small error can lead to large errors in the zero - pressure transition temperatures .
one approach which largely compensates for the effect of this systematic error is to exert a negative pressure that expands the lattice constant to the experimental value .
we determine the value of the pressure by calculating volumes for four different phases and comparing with experimental measurements.@xcite we find @xmath142 gpa gives the best overall agreement ( although the application of pressure does lead to a slight change in the low temperature structure ) . except for the simulations for the construction of the temperature - pressure phase diagram , the following simulations and analysis are for this pressure .
in this section , the finite - temperature behavior of the model is presented and analyzed .
first , we examine the order parameters as a function of temperature in a typical simulation to obtain a measure of the transition temperatures . from the results of simulations for a range of pressures , we construct the temperature - pressure phase diagram . for the system at ambient pressure
, more detailed simulations are performed .
the order of the transitions , the nature of the paraelectric phase and the properties of the low - temperature phases are investigated and compared with experimental observations .
finally , the roles played by different terms in the effective hamiltonian and the sensitivity of the results to various approximations are examined .
we start the simulations at a high temperature ( @xmath143k ) and equilibrate for 10,000 mcs .
the temperature is then reduced in small steps , typically 10k .
after each step , the system is allowed to equilibrate for 10,000 mcs .
the order parameter averages are then accumulated over a period of 7,000 mcs , yielding a typical standard deviation of less than 10% .
the temperature step size is reduced and the number of mcs is doubled for temperatures close to the phase transition .
[ u - t ] shows the averaged local - mode vectors @xmath132 , @xmath133 , @xmath134 and averaged local mode amplitude @xmath110 as functions of temperature in a typical simulation for an @xmath128 lattice at @xmath142 gpa . at high temperatures , @xmath132 , @xmath133 , and @xmath134
are all very close to zero .
as the system is cooled down below 295k , @xmath132 increases and becomes significantly larger than @xmath133 or @xmath134 .
this indicates the transition to the tetragonal phase .
two additional phase transitions occur as the temperature is reduced further .
the t  o transition ( sudden increase of @xmath133 ) occurs at 230k and the o
r transition ( sudden increase of @xmath134 ) occurs at 190k .
the sequence of transitions exhibited by the simulation is the same as that observed experimentally .
the averaged homogeneous strain variables obtained from the above simulation are shown in fig .
[ e - t ] .
these strains are measured relative to the lda calculated equilibrium cubic structure , so the linear strains are significantly non - zero at higher temperatures due to the negative pressure applied .
as expected , the simulation cell changes shape at the same temperatures at which the jumps of order parameter components are observed . at high temperatures , we have approximately @xmath144 and @xmath145 , corresponding to the cubic structure .
as the system is cooled down , the shape of the simulation cell changes to t , o , and r phases .
the orthorhombic ( o ) structure has a non - zero shear strain , in agreement with the centered orthorhombic structure observed experimentally .
quantitatively , our calculated distortions are also in good agreement with the experiment , with the calculated distortions tending to be slightly smaller .
for example , @xmath146 for the tetragonal phase is 1.1% as measured from experiment@xcite and 0.9% from our calculation .
the simulations are repeated for a range of applied pressures to obtain the temperatures at which the order parameter components and homogeneous strain jump on cooling down .
the resulting temperature - pressure phase diagram is shown in fig .
[ p - t ] .
( this measure of the transition temperature is actually a lower bound , due to hysteresis around @xmath147 for t  o and o  r transitions and negligible for the c
t transition , to be discussed further below . )
all three transition temperatures decrease almost linearly with increasing pressure . at the experimental lattice
constant , the values for @xmath148 are found to be @xmath10428 , @xmath10422 , and @xmath10415 k / gpa for the c  t , t  o , and o  r transitions respectively .
the experimental values for the c  t transition range from @xmath10440 k / gpa@xcite to @xmath10466 k / gpa.@xcite for the t  o transition the measured value is @xmath10428 k / gpa,@xcite and for the o
r transition it is @xmath10410 to @xmath10415 k / gpa.@xcite at pressures as high as @xmath149gpa , the sequence of phases c  t  o  r is still observed in the simulation . when the pressure is increased further ,
the phase boundary in the simulation becomes unclear due to fluctuations .
our calculated critical pressure ( beyond which the cubic structure is stable at t=0 k ) is @xmath150gpa .
taking into account the pressure correction for the lda volume underestimate , this corresponds to a predicted physical @xmath151 gpa .
we are not aware of any experimental value for @xmath152 with which to compare this value .
however , we find that the magnitude of our @xmath148 is significantly smaller than experimental value , at least for the c  t and t  o transitions
. this may partly be due to the neglect of higher - order strain coupling terms in the effective hamiltonian .
we have tested the effect of including a volume dependence for the short - range interaction parameters @xmath108 .
this correction does not change the sequence of phases , and it only increases the magnitudes of @xmath148 slightly .
therefore , our results are reported without this correction .
the accuracy of the phase diagram may be further improved by including higher - order terms in the elastic energy , or the coupling of @xmath108 to anisotropic strain .      for the investigation of the order of the transitions , the nature of the paraelectric phase and the properties of the low - temperature phases , we performed more detailed simulations at @xmath142gpa for the three system sizes @xmath153 , @xmath154 and @xmath155 . in the cooling - down simulations ,
the length of each simulation was increased from 10,000 to up to 35,000 mcs at temperatures close ( @xmath8210k ) to the phase transition to include a longer equilibration .
the size of the temperature step was decreased to 5k or less in the vicinity of the transition .
in addition , a heating simulation was performed , starting from the lower - temperature phase , to detect any possible hysteresis .
the calculated transition temperatures , obtained as the average of the cooling and heating transition temperatures , are given in table [ table3 ] .
the error estimates in the table are determined by the width of the hysteresis , which persists even for the longest simulation lengths considered .
t transition temperature for @xmath153 is difficult to identify because of large fluctuations between phases . )
the calculated transition temperatures are well converged with respect to system size , and are in reasonable agreement with experiment .
table [ table3 ] also gives the saturated spontaneous polarization p@xmath156 at @xmath157 in the r phase , and just above the o  r and t  o transitions in the o and t phases respectively .
these are calculated from the average local mode vector @xmath18 and the local mode @xmath32 .
we find almost no finite - size effect for this quantity , and the agreement with experiment is very good for the o and t phases .
the disagreement for the r phase may result in part from twinning effects in the experimental sample.@xcite    from the jumps in structural parameters and the observed hysteresis in heating and cooling , we conclude that the phase transitions are first order .
an accurate determination of the latent heats would require considerable effort;@xcite here , we only try to provide estimates sufficiently accurate for meaningful comparison with experiment .
we approach each transition from both high - temperature and low - temperature sides until the point is reached where both phases appear equally stable .
( that is , the typical time for the system to fluctuate into the opposite phase is roughly independent of which phase the simulation is started in . )
the difference of the average total energy is then the latent heat.@xcite this approach is practical as long as some hysteresis is present .
the calculated latent heats ( table [ table3 ] ) show non - negligible finite - size dependence . taking this into account
, we find that the latent heats for all three transitions are significantly non - zero and in rough agreement with the rather scattered experimental data .
for the t  o and o  r transitions , the first - order character of the transition is predicted by landau theory , since in these two cases the symmetry group of the low temperature structure is not a subgroup of that of the high temperature structure . for the c
t transition , the first - order character is not a consequence of symmetry , but rather of the values of the effective hamiltonian parameters . although it has the largest latent heat of the three transitions , the c
t transition also exhibits large finite - size effects in the latent heat and in the smearing of order parameter components and strain discontinuities in the simulation ( figs .
[ u - t],[e - t ] ) .
this suggests the presence of long - wavelength fluctuations characteristic of second - order phase transitions and critical phenomena , and the classification of the c
t transition as a weak first - order transition .      using the microscopic information available in the simulations , we are able to investigate the extent to which the cubic - tetragonal transition can be characterized as order - disorder or displacive
. these possibilities can be distinguished by inspecting the distribution of the real - space local - mode vector @xmath16 in the cubic phase just above the transition . a displacive ( microscopically nonpolar ) or order - disorder ( microscopically polar )
transition should be characterized by a single - peaked or double - peaked structure , respectively .
the distribution of @xmath158 at @xmath159k is shown in fig .
it exhibits a rather weak tendency to a double - peaked structure , indicating a transition which has some degree of order - disorder character .
we also see indications of this in the @xmath110@xmath160 relation in fig .
[ u - t ] . even in the cubic phase , the average of the local - mode magnitude @xmath110 is significantly non - zero and close to that of the rhombohedral phase , while the magnitudes of the average local mode components change dramatically during the phase transitions .    in reciprocal space ,
a system close to a displacive transition should show large and strongly temperature - dependent fluctuations of certain modes associated with a small portion of the brillouin zone ( bz ) ( for a ferroelectric transition , near @xmath40 ) .
for an extreme order - disorder transition , on the other hand , the fluctuations are expected to be distributed over the whole bz . for batio@xmath0 , we calculated the average fourier modulus @xmath161 for eigenmodes at several high - symmetry k - points ( along @xmath40x , @xmath40m and @xmath40r ) for a range of temperatures above the c  t transition .
these eigenmodes are identified by their symmetry properties as one longitudinal optical ( lo ) branch and two transverse optical ( to ) branches at each point . for a purely harmonic system
, @xmath162 can be shown to be a temperature - independent constant proportional to the square of the eigenfrequency @xmath163 of the corresponding eigenmode .
a strong decrease of @xmath164 as @xmath165 from high temperature can be interpreted as mode softening due to anharmonicity .    the results at the k - point ( @xmath166 , @xmath166 , @xmath114 ) illustrate the main features of this analysis . from symmetry ,
three nondegenerate eigenmodes lo , to1 , to2 are identified .
the polarization of lo , to1 , and to2 are in the direction of @xmath167 , @xmath168 , and @xmath169 , respectively . for each eigenmode
, the temperature dependence of the calculated @xmath170 is shown in fig .
the almost linear behavior of @xmath171 vs.  @xmath160 ( the curie - weiss form ) is observed for the other k - points as well .
both the lo and to1 branches are almost temperature independent .
the to2 branch is strongly temperature dependent and is thus a `` soft '' mode . according to the soft - mode theory of structural phase transitions , @xmath172 is the lowest temperature at which all @xmath173 .
linear extrapolation indicates that the to2 mode frequency goes to zero at @xmath174k , which is a lower bound for @xmath172 , consistent with the value obtained in monte carlo simulations .
a similar calculation of @xmath170 for the to modes at @xmath40=(0,0,0 ) extrapolates to zero at the higher temperature @xmath175k , in excellent agreement with the monte carlo value of @xmath176k .    within this formalism
, the microscopic character of the paraelectric phase is determined by the extent of the soft mode in the bz .
we define a quantity @xmath177 to indicate the hardness of the modes . in fig .
[ u2g2 ] , @xmath178 is shown for the various k - points along some special directions in the bz . if @xmath179 , the corresponding eigenfrequency extrapolates to zero at some positive temperature , and the mode is regarded as soft . if @xmath163 is independent of temperature , @xmath180 , corresponding to the hardest mode .
for all the k - points considered , all the lo modes are almost temperature independent [ @xmath180 ] and are not included in the figure . along the @xmath40x direction ,
the doubly - degenerate to modes are soft all the way to the zone boundary .
in contrast , along the @xmath40r direction , both to modes become hard immediately after leaving the @xmath40 point . along the @xmath40m direction
, the to1 mode becomes hard quickly , while the to2 branch remains soft at least halfway to the zone boundary .
this behavior , especially along @xmath40x , does not conform completely to the displacive limit .
this supports the interpretation of the c
t transition as intermediate between displacive and order - disorder , with a slightly stronger order - disorder character .
thus , from the example of batio@xmath0 , it seems that a positive on - site quadratic coefficient does not automatically imply a displacive character for the transition .
rather , the relevant criterion is the extent to which the unstable modes extend throughout the bz .
our theoretical approach allows us to investigate the roles played by different types of interaction in the phase transition .
first , we study the effect of strain . recall that the strain degrees of freedom were separated into local and homogeneous parts , representing finite- and infinite - wavelength acoustic modes , respectively .
both parts were included in the simulations .
if we eliminate the local strain ( while still allowing homogeneous strain ) , we find almost no change in the transition temperatures .
this indicates that the effect of the short - wavelength acoustic modes may not be important for the ferroelectric phase transition .
if the homogeneous strain is frozen at zero , however , we find a direct cubic
rhombohedral phase transition , instead of the correct series of three transitions .
this demonstrates the important role of homogeneous strain .
second , we studied the significance of the long - range coulomb interaction in the simulation . to do this , we changed the effective charge of the local mode ( and thus the dipole - dipole interaction strength ) , while modifying the second - order self - energy parameter @xmath27 , so that the frequencies of the zone - center and zone - boundary modes remain in agreement with the lda values .
we found only a slight change ( 10% ) of the transition temperatures when the dipole - dipole interaction strength was doubled .
however , elimination of the dipole - dipole interaction altogether changed the results dramatically ; the ground state becomes a complex antiferroelectric structure similar to the room - temperature structure of pbzro@xmath0 .
this result shows that it is essential to include the long - range interaction , although small inaccuracies in the calculated values of the effective charges or dielectric constants may not be very critical .
third , we investigated the sensitivity of our results to variations of the short - range interaction parameters .
we find the accuracy of the first - neighbor interaction parameters ( @xmath58,@xmath59 ) is very important , and a mere 10% deviation can change the calculated transition temperatures dramatically , and can sometimes even change the ground state structure .
second nearest - neighbor interactions are less important , and for the third - neighbor interactions , even a 100% change does not seem to have a strong effect on the values of t@xmath182 .
this result is to be expected , and partly justifies our choice of including only up to third neighbors for the short range interactions .
we have also tested the effect of our assumption @xmath183 .
we find that any reasonable choice leads to a barely noticeable change in @xmath172 .    in short , highly accurate lda calculations
do appear to be a prerequisite for an accurate determination of the transition temperatures , but as long as certain features of the energy surface are correctly described , other approximations can be made without significantly affecting the results .
we have developed a first - principles approach to the study of structural phase transitions and finite - temperature properties in perovskite compounds .
we construct an effective hamiltonian based on taylor expansion of the energy surface around the cubic structure , including soft optical modes and strain components as the possible distortions .
the expansion parameters are determined by first - principles density - functional calculations using vanderbilt s ultra - soft pseudopotential .
we have applied this scheme to batio@xmath0 and calculated the pressure - temperature phase diagram .
we have obtained the sequence of low - temperature phases , the transition temperatures , and the spontaneous polarizations , and found them to be in good agreement with experiment .
we find that long - wavelength acoustic modes and long - range dipolar interactions both play an important role in the phase transition , while short - wavelength acoustic modes are not as significant .
accurate lda calculations are required for accurate determination of the transition temperatures .
the c  t phase transition is not found to be well described as a simple displacive transition ; on the contrary , if anything it has more order - disorder character .    with slight modifications , our approach should be applicable to other perovskite compounds , as long as their structure is close to cubic and there are some low energy distortions responsible for the phase transitions .
it can be easily applied to ferroelectric materials like pbtio@xmath0 ( under study by another group@xcite ) and knbo@xmath0 .
it can also be applied to antiferroelectric materials like pbzro@xmath0 .
the application to antiferrodistortive materials like srtio@xmath0 is slightly more involved , though also successful.@xcite    we would like to thank r.d .
king - smith , u. v. waghmare , r. resta , z.  cai , and a.m.  ferrenberg for useful discussions .
this work was supported by the office of naval research under contract number n00014 - 91-j-1184 and n00014 - 91-j-1247 .
k.  binder and d. w.  heermann , _ monte carlo simulation in statistical physics _
( springer - verlag , berlin , 1988 ) ; k.  binder , ed . _ the monte carlo method in condensed matter physics _ ,
( springer - verlag , berlin , 1992 ) ; k.  binder ed . _
application of the monte carlo method in statistical physics _ , ( springer - verlag , berlin , 1984 ) .                  under a _ physical _ applied pressure , the latent heat would be the change of enthalpy , not energy .
if this were applied to our case of a _ fictitious _ pressure , the calculated latent heats would be approximately twice as large .