Using strong-coupling quantum field theory
we calculate highly accurate critical exponents
following from new seven-loop expansions
in three dimensions. Our theoretical
value for the critical exponent
of the specific heat
near the -point
of superfluid helium is
,
in excellent agreement
with the space shuttle experimental value
.
1. The accurate calculation
of critical exponents from field theory
presents a theoretical challenge since the relevant
information is available only from
divergent power series expansions.
The results
are also of practical relevance
since they
predict the
the outcome many possible future experiments
on many second-order phase transitions.
In recent work [#!kl!#]
we have developed a novel method
for extracting these exponents
from such expansions via a
strong-coupling theory
of scalar fields
with a -interaction.
The fields are assumed to have
n components with an action which is
O(n)-symmetric.
As an application, we have
used available six-loop perturbation expansions
of the renormalization constants in three dimensions
[#!1!#,#!3!#,#!anton!#]
to calculate
the critical exponents
for
all
O(n) universality classes with high precision.
Strong-coupling theory
works also in
dimensions [#!klep!#],
and is capable of interpolating
between the expansions
in
with those in
dimensions of the nonlinear -model
[#!klepp!#].
The purpose of this note is to
improve significantly the accuracy
of our earlier results in three dimensions [#!kl!#]
by
making use of new seven-loop expansion
coefficients for
the critical exponents
and
[#!MN!#]
and, most importantly, by
applying a more powerful extrapolation method
to infinite order than before.
The latter makes
our results as
accurate as those obtained
by Guida and Zinn-Justin [#!GZ!#]
via a more sophisticated resummation technique
based on analytic mapping and Borel transformations,
which in addition takes into account
information on the
large-order growth of the expansion coefficients.
We reach this accuracy without
using that information which, as we shall
demonstrate
at the end in Section 5,
has practically no influence on the results,
except
for lowering
slightly (by less than
).
The reason for the
little importance
of the large-order information
in our approach
is that
the critical exponents are obtained from evaluations of expansions
at infinite bare couplings.
The information on the large-order behavior, on the other hand,
specifies
the discontinuity at the
tip of the left-hand cut which starts at the origin
of the complex-coupling constant plane [#!PI!#].
This is
too far from the infinite-coupling limit to be of relevance.
In our resummation scheme
for expansions in powers of the bare coupling constant ,
an important role is played by the critical exponent of approach
to scaling ,
whose precise calculation
by the same scheme
is crucial for obtaining high accuracies in all other critical exponents .
It is determined by the condition that the renormalized coupling strength
g
goes against a constant g* in the strong-coupling limit.
The knowledge of
is
more yielding
than the large-order information
in previous resummation schemes in which
the critical exponents are determined
as a function of the renormalized coupling constant g near g*
which is of order unity,
thus lying a finite distance
away from the left-hand cut in the complex g-plane.
Although
these determinations are sensitive
to the discontinuity at the tip of the cut,
it must be realized that
the influence of the cut is very small
due to the smallness of the fugacity of the leading instanton,
which carries a Boltzmann factor
.
2.
We briefly recall the
available
expansions [#!anton!#] of the renormalized coupling
in terms of the bare coupling
for all O(n):
=
(1)
and of the critical exponents [#!not!#]
=
(2)
=
(3)
=
(4)
where
.
To save space we have omitted a factor 1/(n+8)n
accompanying each power
on the right-hand sides.
The additional seventh-order coefficients
have been calculated for
and are [#!MN!#] (these without a factor 1/(n+8)7 on the right-hand side)
(5)
3. It is instructive to see how close the new coefficients
are to their large-order
limiting values derived from
instanton calculations, according to which
the expansion coefficients with respect
to the renormalized
coupling
should grow for large order k
as follows
[#!parisi!#]:
=
(6)
=
(7)
=
(8)
where
.
The growth parameter a proportional to the inverse euclidean action
of the classical instanton solution
to the field equations
(9)
The quantity I4 denotes the integral
.
Its numerical values in two and three dimensions D
are listed in Table I. The growth parameters
,
are directly related to
the number of zero-modes in the fluctuation determinant around
the instanton, which is D+N (associated with D translations,
n-1 rotations, and one dilation).
Their values are
(10)
The prefactors
in
(6)-(8)
require the calculation of the full
fluctuation determinants. This yields
(11)
The constants I1, I2, I6 are
generalizations
of the above integral I4:
,
and DL and DT are found
from the longitudinal
and transverse parts of the fluctuation determinants.
Their numerical values are given in Table I.
The constant
is the prefactor of growth in the
expansion coefficients
of the -function (the integral over
:
.
The prefactors in
,
,
and
in (6)-(8)
are related to
by
(12)
where
I2 = (1-D/4)I4 and H3 are listed in
Table I.
The numerical values of all growth
parameters for are listed in Table II.
In Figs. 1 we show a comparison between the exact coefficients
and their asymptotic forms (8).
Figure:
Precocity of
large-order behavior of coefficients of
the expansions of the critical exponents
,
,
and
in powers of the
renormalized
coupling constant.
The dots show the relative deviations exact/asymptotic-1.
The curves are plots of
the asymptotic expressions in Eqs. (6)-(8)
listed in Table III.
The curve for
is the smoothest, promising
the best extrapolation to the next orders, with consequences
to be discussed in
Section 5.
4. The critical exponents are derived
from
the divergent expansions
(1)-(5)
by going to the
limit
.
In a theory with scaling behavior, the renormalized coupling constant
tends to a limiting value
as follows:
(13)
where g* is commonly referred to as the infrared-stable
fixed point, and
is called the critical
exponent of the approach to scaling.
The same exponent governs the approach
to scaling of every function
which behaves like
How do we recover the
-limits
of a function
if we know the first N
terms of its asymptotic
expansion
?
Extending systematically the behavior (13)
we
shall assume that
approaches its constant limiting value f*
in the form of an inverse power series
[#!confl!#]
.
This strong-coupling expansion
has usually a finite convergence radius gs
(see [#!kl!#,#!PI!#,#!int!#]).
The Nth approximation to the
value f* is obtained from the formula
(14)
where the expression in brackets
has to be optimized in the variational parameter
.
The optimum is
the smoothest among all real extrema. If there are no such extrema,
which happens for the even approximants,
the
turning points serve the same purpose.
From the theory [#!kl!#], we expect the
exact values
to be approached exponentially fast with the order N of the available
expansions, with the error decreasing like
.
In order to extrapolate
our results to ,
we
plot
the data
against the variables
(see also Addendum to
Ref. [#!kl!#]).
This is done separately for even and odd approximants, since
the former stem from extrema, the latter from turning points.
The unknown constants cc are determined by fitting to each set of points a slightly curved parabola
and making them intersect the vertical axis
at the same point, which
yields the extrapolated critical exponent
listed on top of each figure (together with the seventh-order value in parentheses, and the optimal
parameter c).
Figure:
Strong-coupling values
for the critical exponent
obtained from expansion (4)
via formula (14),
for increasing orders
of the approximation.
The exponents are plotted against the variable
and should
for large n lie on a straight line.
Here at finite N, even and odd approximants
may be connected by slightly curved parabolas
whose common intersection with the vartical exis determines the critical exponents
for .
More details on the determination of the
constant c are given in the text.
The numbers on top give the extrapolated critical exponents
and, in parentheses, the highest approximants, to illustrate
the extrapolation distance.
Following this procedure, we find from the expansion
(4) for
the approximants
via formula (14).
Extrapolating
separately even and odd approximants ,
we
determine
the limiting value ,
as shown in Fig. 2.
The -values used for this extrapolation
are those of
Ref. [#!klep!#], listed in the last colum of Table IV:
(15)
They lead to the -values
,
the entries in this vector referring to n=0,1,2,3.
Since these results depend
on the critical exponents ,
it is useful to study the dependence of the extrapolation on ,
with the result
(16)
For the critical exponent
we cannot use the same extrapolation procedure
since the expansion
(3) starts out with
,
so that there exists only an odd number of approximants
.
We therefore use two
alternative extrapolation procedures.
In the first we connect the even approximants
and
by a straight line and the odd ones
by a slightly curved parabola,
and vary c until there is an intersection at x=0.
This yields the critical exponents
shown in Figs. 3.
Figure:
Strong-coupling values
for the critical exponent
obtained from the expansion (3)
via formula (14).
for increasing orders
of the approximation.
The exponents are plotted against
.
Even approximants are connected by straight line and odd approximats
by slightly curved parabolas,
whose common intersection determines the critical exponents
expected for .
Allowing for the inaccurate knowledge of ,
the
results may be stated as
(17)
Alternatively, we connect the last odd approximants
and
also by a straight line
and choose c to make the lines intersect at x=0.
This yields the exponents
(18)
as
shown in Figs. 4, the
dependences
being somewhat weaker than in (17).
Figure:
Plot analogous to Fig. 3
but the extrapolation is found from the intersection of the straight lines
connecting
the last two even and odd approximants.
The resulting critical exponents
differ only little from those obtained in Fig. 3,
the differences given an estimate for the systematic error
of our results.
Combining the two results
and using the difference to estimate the systematic error
of the extrapolation procedure,
we obtain for
the values
(19)
whose -dependence is the average of
that in (17) and
(18).
For our extrapolation procedure,
the power series for the critical exponent
are actually
better suited
than those for ,
since they
possess three even and three odd approximants, just as
.
Advantages of this expansion have been
observed before [#!remark!#].
Figure:
Strong-coupling values
for the critical exponent
obtained from a combination of the expansions
(3)
and (4)
via formula (14).
for increasing orders
of the approximation.
The exponents are plotted against the variable
and should lie on a straight line in the limit of large N.
Even and odd approximants are connected by slightly curved parabolas
whose common intersection determines the critical exponents
expected for .
The determination of the
constant c is described in the text.
The associated plots are shown in Fig. 5.
The extrapolated exponents are, including the -dependence,
(20)
Unfortunately, the exponent
is not very insensitive to
since this is small compared to 2, so that the extrapolation results
(17) are more reliable than those obtained from
via the scaling relation
.
By combining
(16)
and (17), we find
from
:
(21)
the difference with respect to (20)
showing the typical small errors of
our approximation, which are of the same
order as those
of the exponents obtained
in Ref. [#!GZ!#].
As mentioned in the beginning,
the knowledge of the
large-order behavior
does not help to improve significantly the accuracy of the approximation.
In our theory, the most important exploited
information is the
knowledge of the
exponentially fast convergence which leads
to a linear behavior
of the resummation results of order N
in a plot against
.
This knowledge,
which allows us to extrapolate our approximations for
N=2,3,4,5,6,7 quite well to
infinite order N,
seems to be more powerful than the knowledge of the large-order behavior
exploited by other authors (quoted in Table IV).
The complete updated list of exponents
is shown in Table IV, which also contains values
for the other critical exponents
and
.
5. Let us now show that the large-order information
is indeed rather irrelevant to the critical exponents
within strong-coupling theory.
For this purpose we choose the coefficients
c(i) in the asymptotic formulas
(6)-(8)
to fit exactly the six known expansion coefficients
of
and the seven of
and
.
The coefficients are listed in Table III,
and the associated fits are shown in Figs. 1.
Since even and odd coefficients
lie on twoseparate smooth curves, we fit
the two sets separately.
These fits permit us to extend the presently available coefficients
and predict the results of future higher-loop calculations,
listed in Table V up tp order 25.
The errors in these predictions are expected to be smallest for
,
as
illustrated in Figs. 6.
At this place we observe an interesting phenomenon:
According to Table V, the expansion coefficients
of
have alternating signs
and grow rapidly,
reaching precociously their asymptotic form
(6), as we have seen in Figs. 1.
Now, from
we can derive the so called -function
,
and from this the expansion for the
bare coupling constant
,
with coefficients
listed in Table VI.
From the standard instanton analysis [#!PI!#],
we know that
the function
has the same left-hand cut in the complex
-plane as the functions
,
with the same discontinuity proportional to
at the tip of the cut.
Hence the coefficients
must have asymptotically a similar
alternating signs and a factorial growth.
Surprisingly, this expectation is not borne out by
the explicit seven-loop coefficients
following from (6) in Table VI.
If we, however, look at the higher-order coefficients derived from the
extrapolated
sequence which are also listed
in that table,
we see that sign change and factorial growth
do eventually set in at the rather high order 11. Before this order,
the coefficients
look like those of a convergent series. Thus, if
we would make a plot analogous to those in Fig. 1
for
,
we would observe
huge deviations from the asymptotic form up to an order much larger than 10.
In contrast, the inverse series
has expansion coefficients
which do approach rapidly their
asymptotic form, as seen in Table VII.
This is the reason why
our resummation of the critical exponents
as power series in
yields good results already at the available rather low order seven.
Given the extrapolated list of expansion coefficients
in Table V,
we may wonder how much these change the seven-loop results.
In Figs. 7 we show the results. The known six-loops coefficients
of
and
were extended by one extrapolated coefficient,
since this produces an even number of approximants
which can be most easily extrapolated to infinite order.
For
we use two more coefficients for the same
reason. The extrapolations are
shown in Figs. (7).
The resulting -values are lowered somewhat
with respect to
from
(15)
to
(22)
Figure:
Relative errors in predicting the
kth expansion coefficient
by fitting
the strong-coupling expansions
(6)-(8)
for
,
,
and
to the first k-1 expansion coefficients.
The
new
values are
(23)
lying reasonably close to the
previous seven-loop results
(17), (18) for the smaller
-values (22).
The first set
yields
the second
.
For
we find the results
(24)
It is interesting to observe how the
resummed values
obtained from the extrapolated expansion coefficients
in Table V continue to higher orders in N
This is shown in Figs. 8.
The dots converge against some specific values which, however, are
different from the
extrapolation results in Figs. 7 based on the
theoretical convergence behavior error
.
We shall argue below that these results are worse
than the properly extrapolated values.
Figure:
Extrapolation of resummed
-values if
one
or two
more expansion coefficients
of Table V
are taken into account.
The fat dots
show the resummed
values used for extrapolation, the small dots indicate
higher resummed values not used for the extrapolation.
The numbers on top specify the extrapolated values and the values of the last
approximation, corresponding to the leftmost fat dot.
Figure:
Direct plots
of the resummed
-values
for all resummed values from all extrapolated expansion coefficients
of Table V.
The line is fitted to the maximum of all dots at the place
specified by the number on top. Fat and small dots distinguish the
resummed exponents used in the previous extrapolations
from the unused ones.
All the above numbers agree
reasonably well with each other and with other estimates
in the literature listed in Table IV.
The only comparison with experiment
which is sensitive enough to judge the accuracy
of the results and the reliability of the resummation procedure
is provided by
the measurement of
for n=2, where
the critical exponent
has been
extracted from the singularity
in the specific heat at the -point of
superfluid helium
with high accuracy [#!ahl!#]:
(25)
Since
is of the order 2/3, this measurement
is extremely sensitive to .
It is therefore useful do the resummations and extrapolations
for N=2
directly for the approximate -values
,
once for the six-loop
-value
,
and once for a neighboring value
,
to see the -dependence.
The results are shown in
Figs. 9.
The extrapolated values for our
in Table (IV) yield
(26)
in very good agreement with experiment.
The extrapolated expansion coefficients for orders larger than 11
do not
carry significant information on the critical exponent .
The fact that the extrapolated expansion coefficients
should lie rather close to the true ones
as expected from the decreasing errors in
the plots in Fig. (6) does not imply
the usefulness of the
new coefficients in Table V for obtaining better critical exponents.
The errors are only relatively small with respect to the
huge expansion coefficients.
The resummation procedure removes the factorial growth
and becomes extremely sensitive to very small deviations
from thes huge coefficients.
This is the numerical consequence of the fact
discussed earlier that
the information residing in the exponentially small
imaginary part
of all critical exponents
near the
tip of the left-hand cut
in the complex -plane
has practically no effect upon the strong-coupling results at
infinite .
Note also that the critical exponents
which one would obtain from a
resummation of the extrapolated
expansion coefficients of high order
in Table V and their naive extrapolation
performed in Figs. 8 yield a slightly worse result
for
in superfluid helium.
Indeed, inserting
and
into the scaling relation
we obtain
,
which differs by about 25% from
the experimental .
[tbhp]