1 Introduction
Many first-order phase transitions (FOPTs) are driven to occur by varying the temperature
T, and thermal hysteresis often ensues. Energy dissipation in processes studied using internal friction [
1,
2] and thermal analysis [
3-
6] was found to follow a power law with respect to the sweep rate
R of the temperature. On the basis of time-dependent Ginzburg–Landau theory of a
model with
symmetry in the vector order parameter
ϕ space in the limit of large components
N, it was found that the areas
A of the thermal hysteresis loops under a sinusoidally varying temperature depend on the amplitude
ra of the variation as
with a hysteresis exponent
[
7]. By using a linearly rather than sinusoidally varying temperature with a constant rate
R, which is experimentally more amenable, familiar spindle-shaped thermal hysteresis loops of both the large-
N and mean-field models were obtained [
8]. In an entropy
S versus
T frame, the areas of the loops, which are proportional to the energy dissipation in the cycles, were found to be
with
independent of the model parameters, where
A0 and
a are constants [
8]. This dynamic hysteresis scaling including the exponent has been confirmed experimentally in a nematic–smectic-
A phase transition of a binary mixture under a linearly varying temperature [
9]. Recently, it was shown by using renormalization group (RG) theory that the FOPTs driven by an applied external field in a scalar
ϕ4 model
below its critical temperature are controlled by the instability fixed point of a derived
ϕ3 model [
10,
11]. Although it is imaginary in value, the fixed point is physical counter-intuitively if
ϕ3 theory is to be mathematically convergent [
12]. Numerical evidence from the Potts model for the fixed point has also been found [
13]. Functional RG theory has extended the theory to contain all odd-order terms and given rise to consistent exponents [
14]. These then place the scaling behavior of the FOPTs in the same universality class as the Yang–Lee edge singularity [
15], the singularity of the distribution of the Yang–Lee zeros
above the critical point.
In
ϕ3 theory [
10,
11], one first notices that, for an FOPT, there exists a sharply defined curve of spinodals for which the associated susceptibility diverges at the mean-field level that becomes exact for long-range interactions. Upon an expansion near them, these spinodals manifest themselves as the “critical” point of
ϕ3 theory, because the mean-field free energy now contains a
ϕ3 term as the leading coupling term even if the symmetry of the original theory excludes it. Because
ϕ3 theory is unstable at its critical point, we call it the instability point and the critical exponents characterizing it are referred to as instability exponents. Although one has a
ϕ3 theory for the unstable phenomena instead of the usual
ϕ4 one for critical phenomena, one can easily convince oneself, as will be seen in the following sections for temperature-driven transitions, that the whole theory for the latter applies to the former as well [
11]. This includes the definitions (or the meaning) and computations of the mean-field instability exponents, the fluctuations that lead to a divergent correlation length, the Ginzburg criterion for the relative importance of the fluctuations, the shift of the instability point caused by the fluctuations, and RG theory for the non-Gaussian fixed point and its associated non-mean-field instability exponents, which combine to characterize the hysteresis near the instability point, as well as the irrelevance of the neglected higher order terms [
11].
However, there exist several possible questions pertaining to
ϕ3 theory. The first concerns the physical meaning of the instability points and the existence of the spinodals. For a system with short-range interactions, it is generally believed that there exist no sharply defined spinodals, which contrasts with the mean-field case with long-range interactions [
16-
19]. This difference can be readily understood from the fact that thermal fluctuations simply smear out any possible spinodal in a region when the nucleation barrier is on the order of the thermal energy. By emphasizing the effect of the fluctuations nevertheless, the existence of a crossover between nucleation and spinodal decomposition is out of question as the former needs activation whereas the latter does not, at least away from the crossover region and at the early time of the transition. It is then more than natural to postulate the existence of hidden spinodals that, albeit smeared out again by thermal fluctuations, control the crossover. These hidden spinodals, which are shifted by the fluctuations away from their mean-field values, are nothing but the shifted instability points. Their magnitudes are nonuniversal and depend on the coarse-grain scale, in agreement with numerical results [
16,
17,
20-
24]. Although studies were performed in which the range of interactions was varied to approach the mean-field spinodals [
25,
26], from the analogous
ϕ4 theory for criticality, it is clear that mean-field theory is only the correct starting point for the RG analysis of fluctuations in systems with short-range interactions. There is no apparent contradiction in describing the critical (unstable) behavior of a short-range-interaction system around a particular point existing only within the long-range-interaction mean-field models.
Another question pertains to the only prominent difference between
ϕ3 and
ϕ4 theories, i.e., that the fixed point of the former is imaginary in value. However, it has been found that, for a physical coupling of a purely real initial value, the RG flow has to diverge at a finite scale to achieve an imaginary part [
11]. Combining a momentum-shell integration RG analysis and nucleation theory [
27] near the spinodal point [
28,
29] has shown that [
12], exactly at the finite scale, the free-energy cost for nucleation out of the metastable state in which the system lies vanishes. So does the potential well of the metastable state itself. This places the system exactly at a true instability point and thus exhibits divergence at the finite scale. The integration for the partition function then diverges and has to be analytically continued to the complex plane to be physically meaningful. As a consequence, the system enters the imaginary domain and can thus reach the imaginary fixed point. Therefore, counter to the intuition that only real values are physical, for
ϕ3 theory, imaginary values are physical instead [
12].
Yet another possible question concerns the relation to nucleation and growth [
16-
18,
30]. As the theory is an expansion around the instability points, it can apparently describe the behavior of spinodal decomposition [
16,
17] at least at its early time. We note that, as the other dynamical mode of FOPTs, nucleation is the classical theory for FOPTs and has been argued to result in, for small
R, a hysteresis that vanishes in a purely logarithmic form [
31]. Although it has been shown unambiguously that this nonperturbative nucleation effect can only play a role at extremely low rates that are not feasible experimentally [
32,
33], no evidence of an overall power-law relationship has been found for the magnetic hysteresis in a sinusoidally oscillating field in two dimensions either [
32,
33]. A direct consequence of nucleation theory is that the hysteresis loop ought to shrink and vanish in the limit of small rates. However, numerical simulations of the Ising model revealed the existence of a dynamic phase transition at finite amplitudes of the field, the transition below which the switch between the two phases of opposite magnetizations cannot take place [
32-
34]. It was even claimed that a finite field is needed to flip the magnetization even in the static limit of the field [
34]. These results indicate that nucleation alone cannot explain the results and that the loci at which the dynamic transition occurs may well be the dynamic instability points even in the regime in which nucleation is thought to be dominant. The combination of RG and nucleation theories mentioned above shows that [
12] the characteristic length scale at which the RG flows diverge and become imaginary divides the fluctuating field of a metastable system into two sets. The short modes feel a finite potential well and are responsible for nucleation, whereas the long ones feel none and are controlled by the imaginary fixed point. Although the short modes are renormalized away when coarse-grained and are thus irrelevant in the sense of RG theory, they may well compete with the long ones in a real system itself in which no renormalization is performed and mask the scaling behavior. Physically in a real system, when the time scale of nucleating out of the metastable state is shorter than the time of driving the system from, say, the equilibrium transition point to near the instability point, nucleation will probably occur. However, even near the instability point where nucleation barriers still exist owing to the
ϕ4 interaction that is irrelevant and neglected in
ϕ3 theory, nucleation may still play a role. Accordingly, disentangling nucleation from scaling in
ϕ3 theory has yet to be resolved. It is therefore helpful to turn to more examples.
Here, we shall develop RG theories for the dynamics of temperature-driven FOPTs in scalar models. We find that, although they are driven by varying the temperature instead of an external field, these FOPTs are again controlled by the same instability fixed point of ϕ3 theory for field-driven transitions. Distinct from the latter case, however, there are now complicated behaviors. The temperature-driven FOPTs exhibit three universality classes with three sets of thermal hysteresis exponents: Thermal Classes I, II, and III correspond, respectively, to a field-like thermal class, a partly thermal class, and a purely thermal class. There is also a crossover between the first two classes. The last class can have further variants depending on the symmetry of the model. All these rich behaviors are clearly demonstrated from reduced models and well accounted for by RG theories.
In the following, we shall first study mean-field models for the thermal transitions in Section 2 and identify the three different universality classes in Section 3. Various reduced models for the different classes are also derived in the latter section. A scaling theory is then developed in Section 4 to account for the peculiar scaling behavior. RG theories for them follow in Section 5. A summary is given in Section 6.
2 Model
As a simple model that involves an FOPT between an ordered phase at low temperature and a disordered phase at high temperature, we consider the following free-energy functional [
35,
36] in a
d-dimensional space:
where
r is a reduced temperature proportional to
T,
H is an external field conjugated to the scalar order parameter field
ϕ, and
w and
g are coupling constants. For stability,
. Yet,
w can be either positive or negative. For simplicity, we shall choose
throughout, which results in an ordered phase with a positive equilibrium order parameter. Equation (2) contains a cubic term and thus
ϕ has no inversion symmetry. If this symmetry is respected, however, a
ϕ6 term has to be included to have a thermal FOPT [
37]. Nonetheless, it will be seen later that the transition is still governed by the same theory to be developed below except for the cooling transition when
H=0, which belongs to the purely thermal class. We thus focus here on the model defined by Eq. (2).
Studying the transition driven to metastable states as the temperature is varied requires the dynamics to be considered. We employ pure relaxation dynamics of a nonconserved order parameter, i.e., Model A [
38], described by the Langevin equation
where λ is a kinetic coefficient and the Gaussian white noise ζ satisfies
and mimics the effect of other degrees of freedom, where the angle brackets denote averages over the noise.
3 Mean-field theory: Reduced models and thermal classes
3.1 Theory and reduced models
In the mean-field approximation, all fluctuations are ignored. As a result, and Eq. (2) reduces to
where we have kept the gradient term for later use though M is spatially uniform. In equilibrium and for H=0, Eq. (5) describes an FOPT at an equilibrium transition temperature at which M jumps from a disordered phase with M=0 to an ordered phase with . The stability limits or the spinodal points of the two phases lie at and , respectively; these are solutions of
with
H=0. We shall refer to the two spinodal points as cooling and heating spinodal/instability points, as they are relevant to cooling and heating transitions, respectively. For
H≠0, below the critical point
,
, and
given by Eq. (6) and the derivative of Eq. (6b) with
(with all variables replaced by the critical ones), there are also FOPTs from a phase with small
M to a phase with a large
M. The spinodal points in this case are also determined by Eq. (6) [
8].
Because there are no fluctuations, the dynamic FOPTs described by Eq. (5) can only take place beyond , as shown in the inset of Fig. 1, because at the spinodal, the barrier between the two phases vanishes and the system becomes unstable. Accordingly, we set
and is then described by the dynamics
with
near from Eqs. (5) and (6). Note that, although Eq. (9) is exact, in Eq. (8), we have kept only the leading m2 term and neglected the higher order m3 term for sufficiently near and hence small τ and m. As a consequence, the free-energy functional responsible for Eq. (8) is a ϕ3 theory in an effective field K. Therefore, the dynamics of the temperature-driven FOPTs near their instability points τ=0 and K=0 is governed by ϕ3 theory similar to the field-driven FOPTs.
ϕ3 theory bears a particular symmetry that simplifies it. The model as defined in Eq. (8) appears to have two parameters,
τ and
K, for controlling its distance to the instability point. However, it is well known that there is only one independent parameter for
ϕ3 theory [
15]. Indeed, since a shift of the order parameter by a constant amount
c, i.e.,
only changes
and thus keeps the structure of Eq. (8), a particular choice of
c can turn the mass term
τ into the effective-field term
K and vice versa [
39]. Accordingly, we have two equivalent reduced
ϕ3 theories to describe the thermal transitions.
The first one is a massless model of
with a shifted effective field (denoted by an overline)
for .
The second is a purely massive model of
with a shifted mass satisfying
for . However, this massive model is real only near the cooling spinodals for H=0. This can be seen as follows. From Eq. (9c), we see that, for , . Because the heating and the cooling spinodals merge at Mc and are all positive for w<0, for the heating spinodals, and so v>0 and hence . whereas, for the cooling spinodals, and thus v<0 and hence . The heating spinodals are the stability limits of the ordered phases and are relevant for the heating transitions. This means that and τ>0 near the heating spinodals. A positive then implies that must be negative for sufficiently small heating rates and hence a sufficiently small τ from Eq. (15). Indeed, for H=0, for instance, a direct computation gives and , which is negative for the physically relevant range of . In contrast, the cooling spinodals are relevant for the cooling transitions and thus and τ<0 near them. As a result, a negative implies that must be again negative for sufficiently small cooling rates. Yet, there is a special case in which is real. This is the case for the cooling spinodals for H=0, in which and thus is simply τ. Consequently, Eq. (14) is just Eq. (5) with the cubic term omitted. Also, in this case, c=0, which is the reason why we have kept only the plus sign for it. We see therefore that most of the temperature-driven transitions in the mean-field theory cannot be cast into a purely massive theory with real parameters. Nevertheless, we still study it because, when it is multiplied by the imaginary unit , it can be formally changed to the theory of the Yang–Lee edge singularity, which falls into the same universality class as mentioned.
The foregoing discussions indicate that, besides the two equivalent reduced models (12) and (14), there exists another purely massive model
which we call the purely thermal model. The only difference between the two purely massive models is that the mass term is τ instead of for the purely thermal model because the order parameter at the instability point vanishes. As mentioned, the model (16) describes the cooling transition when H=0 in the mean-field approximation. However, we shall see below that this is true only for the mean field. When fluctuations are taken into account, an effective field K is generated. As a consequence, we have to resort to the other two models.
The purely thermal model (16) can be generalized to a general form,
with an integer
σ. For
σ=2, the purely thermal model above is recovered. For
σ=3, however, the model describes the cooling transition of the
ϕ6 model for
H=0. It is also equivalent to the usual
ϕ4 model for continuous phase transitions [
40]. We thus expect the two models with a different
σ to fall into different universality classes. It is straightforward to extend the analysis to larger values of
σ, but we shall not consider them further.
If Gaussian noise (4) is reintroduced, all four reduced models can describe the fluctuations near the instability points. The massless model was studied in Refs. [
10,
11] and the equilibrium properties of the purely thermal model was investigated in Ref. [
12]. For temperature-driven FOPTs, however, the controlling parameter in the first two models is a nonlinear function of
τ, the reduced temperature to the instability point. We shall see that it is this nonlinearity that leads to the complication of the dynamic scaling for such transitions. The purely thermal model with an even
σ in the presence of fluctuations also returns to the first two models. Only the generalized purely thermal model with an odd
σ has simple behavior because of its lack of nonlinearity. In fact, it gives rise to the purely thermal class of Thermal Class III, which also results from the purely thermal model with an even
σ in the mean field, whereas the first two models result in the other two classes and their crossover in some special limits. In the following, when we consider the purely massive models, we mainly consider Eq. (14), as the results for the purely thermal model Eq. (16) can be obtained by direct replacements.
We emphasize that the reduced models can describe the thermal transitions effectively because they only contain one controlling parameter. The general model (8) explicitly contains one redundant parameter, and care has to be executed when it is used.
3.2 Thermal classes
We identify the thermal classes in this subsection from numerical and some possible analytical results.
3.2.1 Field-like Thermal Class I
The usual dynamic scaling described by Eq. (1) with
for the field-like Thermal Class I can be readily found from finite-time scaling (FTS) using a linearly varying temperature [
41,
42] by numerically solving Eq. (5) with
. We have purposely chosen the time origin at the instability point for simplicity. In fact, once it is sufficiently far away from
, the initial
r and hence the time origin have no effect on the scaling. The reduced transition temperature
rt characterized by
r at
follows
with the thermal hysteresis exponent for sufficiently small R similar to Eq. (1), where r0 and a1 are constants. It is found that, the smaller the R values are, the closer is to 2/3, as shown in Fig. 1(a). Similarly, the transition order parameter Mt at obeys
with the order-parameter hysteresis exponent for sufficiently small R, as shown in Fig. 1(b). One sees there that r0 and M0 are and , respectively.
One can also represent the transition by a susceptibility , which exhibits a valley. The dependence of the position of its nadir, rv, on R is depicted in Fig. 2(a). We find that rv also follows Eq. (18) with again and for small rates. However, for the order parameter at rv, i.e., Mv, the slopes are not 1/3, as seen in Fig. 2(b), and can be even close to 1 for vanishingly small rates.
The reason that we called this Thermal Class I a field-like class can be seen from Eq. (8). For sufficiently small
R and thus
τ,
m is negligible. As a result, the dominant driving force is the effective field
K that is equivalent to the field in the field-driven case [
10,
11]. From the view of Eq. (12), a small value of
R means a small
τ and thus the first linear term is dominant and the second quadratic term can be ignored in Eq. (13). Consequently, a linearly varying
τ is equivalent to a linearly varying
, which is just the field that drives the transition.
In this limit, Eq. (8) in the absence of the gradient term can be solved analytically as it is a kind of Riccati equation [
43]. The result is [
11,
44]
where Ai and Bi are the Airy functions, , c1 and c2 are constants to be determined by initial conditions, and a prime indicates a derivative with respect to the argument in this subsection. Therefore, one recovers Eq. (18) with and from Eq. (20) at at which m=0 and Eq. (19) with and from Eq. (20) at .
From Fig. 2, one sees that, although the valley temperature rv converges to when as rt does, Mv does not tend to but instead to in the same limit, which is given by
This can be seen as follows.
We first notice that rv can only approach for . This can be inferred from the inset of Fig. 1. As , the transition between the two phases tends to . When R=0, the transition takes place vertically at . Accordingly, the valleys of approach too. Also, itself diverges there. From Eq. (8) with the neglected cubic term reinstated, one finds at the nadir of the valley
which means either or at R=0 at which τ=0 and but with mv finite. By Eq. (7), the solution corresponds to and corresponds to Eq. (21).
As Mv approaches at R=0, we can expand M at , i.e., , resulting in
from Eq. (5), where . The differences between Eq. (23) and Eq. (8) are only the new constant K0 term and the opposite sign of the quadratic term. It is this opposite sign that renders for both heating and cooling. The solution of Eq. (23) is again Eq. (20), only with −t replaced by . This might be argued to be a shift of to . However, as pointed out above, rv converges to instead of this shifted value.
We can now explain the results for small rates in Fig. 2. On the one hand, as rv converges to , we must use Eqs. (8) and (20). The nadir of the valley must appear at a certain xv instead of xt at the transition temperature. This then results again in for small rates. On the other hand, we may directly use Eq. (23) for Mv, but now the argument of the Airy functions becomes , which is strongly R dependent for small R. Accordingly, Mv is not just controlled by the prefactor .
3.2.2 Thermal Classes II and III
Detailed analysis, however, reveals that there is another class with a different . This can be readily seen from the cooling transition taking place at H=0. In this case, the instability point is . As mentioned above, Eq. (8) and Eq. (5) are then identical up to the quadratic term. Because the transition is at r=0, the leading term of the free energy is again ϕ3 and ought to be described by a ϕ3 theory too. Indeed, one finds that, in this case, rv and Mv follow Eqs. (18) and (19) with and , now denoted as and , respectively, for Thermal Class III, of ∼1/2, being distinct from the above case, as can be seen from Fig. 2. Accordingly, it is important to use Eq. (18) instead of Eq. (1) to correctly identify the scaling, at least in this special case in which the heating and cooling transitions behave distinctly.
In fact, similar to the purely thermal class of the cooling transition at H=0, there exist other cases in which the hysteresis exponents are close to 1/2. Figure 2 demonstrates that, for a range of large R values, and are also close to 1/2. Moreover, even in the heating transition, they can also be close to 1/2, as Fig. 2 indicates. We classify these as Thermal Class II and denote its and with an overdot. In Fig. 1(a), the slopes for rt also decrease for large R. However, Mt appears to be saturated at high rates. Although, in the mean field, the hysteresis exponents of this class are identical with those of Thermal Class III, the above results indicate that this class emerges when τm instead of K dominates. In other words, it is described by Eq. (14) with a linearly varying since the second term in Eq. (15) can be ignored for large τ. As it can cross over to the field-like class (see below), we also call Thermal Class II a partly thermal class to distinguish it from the purely thermal class.
Indeed, when
K is omitted, Eq. (8) in the absence of the gradient term becomes a Bernoulli’s equation that is solved by [
43]
where and the integral can be expressed as error functions. One sees that τ appears in the solution through the combination . Consequently, at certain loci of certain functions of the solution, τ is expected to be proportional to though with possible corrections from the initial condition.
3.2.3 Crossover between Thermal Classes I and II
We have seen that, except for cooling in the absence of an external field, a situation that leads to the purely thermal class (III), in the presence of an external field, there exist two thermal classes (I and II) that exhibit different behaviors for large and small rates, respectively.
In the median range of R between the two extremal cases, one finds from Fig. 2 that falls between 2/3 and 1/2. This stems from the nonlinearity of and and reflects the competition between their two components in Eqs. (13) and (15), respectively.
Owing to this crossover, only sufficiently small
R can give rise to
. However, it was found numerically and even experimentally [
9] that the exponent of the thermal hysteresis areas in the
M2–
r frame is still close to 2/3 for not-so-large
R. The area in the
M–
r frame is
to the leading order in R, where + (−) denotes variables in heating (cooling), () denotes the lowest (highest) temperature delimitating the hysteresis loop, at equilibrium, and Eqs. (7) and (18) have been used. We have neglected the contributions from Eq. (19) since is negligible, as can be seen from the inset of Fig. 1. Indeed, we could not detect this leading order in R for very small R. Note that we have employed rv for r but Mt for M, as rv extends beyond rt in both heating and cooling and may provide a better approximation than the latter does but Mv does not converge to . A similar approximate expression can be written for the area in the M2–r frame, which is proportional to the energy dissipation. We see that both areas show similar behavior in the approximations embodied in Eq. (25). However, the exponent found from the M2–r frame is always larger than that from the M–r frame regardless of whether is large or small. One possible reason for this is that the approximation near the heating spinodal is always better in the former frame regardless of whether is large or small, while the approximation near the cooling spinodal is always poor and may obscure the behavior there, as can also been seen from the inset of Fig. 1. Comparing Fig. 1(a) with Fig. 2(a), one finds that the fitted ranges of R are wider and the slopes are larger for rv than those for rt in heating. This may indicate that the area may have even favorable results and may thus be another reason for the larger exponent in the M2–r frame.
4 Scaling theory
To relate the hysteresis exponents and to more fundamental exponents, we now perform a scaling analysis for the models.
4.1 General scaling forms
First, we consider the massless theory (12). Following [
10], we perform a scale transformation to it by reducing the length scale by
ρ, i.e.,
. Then,
where
β,
ν,
δ, and
z are the instability exponents corresponding to the standard critical exponents and
y is a constant. We have set
λ as the unit of time
t as usual [
10]. Note that
changes also like
φ. Invariance of Eqs. (12) and (13) under this transformation leads to
,
,
, and
or
by choosing a scale ρ such that becomes a constant, where fK is a scaling function. We have neglected dimensional factors for simplicity.
Note that we can also obtain the scaling laws among the exponents from the invariance of Eq. (8). The only problem with this dynamic equation is the redundancy of the parameters.
We have suppressed the coupling
v in Eqs. (27) and (28). In fact, for a renormalizable theory [
45-
48],
v should be dimensionless and thus should remain invariant. This dictates
y=0 or
β=1 and hence
δ=2. In addition, the susceptibility exponent
. The scaling laws
and
then lead to
η=0 and
, which in turn results in an upper critical dimension
owing to the hyperscaling law
, in agreement with the dimensional analysis [
10,
11]. These complete the list of the usual mean-field instability exponents. They all share identical meaning with their critical counterparts [
10,
11].
Equation (28) can be written in an FTS form in terms of the rate R. In linearly temperature-driven FOPTs, . Using Eq. (13), we obtain
Therefore, from Eq. (10),
For the purely massive theory (14), although is like τ, we assume that it may scale distinctly from the latter with an exponent . Therefore,
Then, a similar method leads to
using Eqs. (10) and (15), where is another scaling function.
Of course, for the purely thermal class, and is just τ. Therefore, the scaling form (32) simplifies to
or to a standard FTS form
where is yet another scaling function and .
In the mean field, the value of is identical to that of ν. However, we shall see that they are different in value in the non-mean-field case.
4.2 Limiting cases and their thermal hysteresis exponents
Equations (30) and (32) are equivalent general descriptions of the scaling behavior in the vicinity of the instability points of the temperature-driven FOPTs. Because they are quite complicated owing to the nonlinearity of and , the thermal hysteresis exponents cannot be read out directly. Note that, if one varied and instead of τ itself linearly, a simple FTS form would be present, similar to Eq. (33). Further, the two parameters and , in fact, contain only one independent combination, . Therefore, simple scaling forms would be obtained by varying this factor linearly. However, simple scaling forms do appear and the hysteresis exponents can be readily identified in the two limits in which either the linear or the quadratic term alone in and is kept. This results in the field-like universality class and the partly thermal class, respectively. In contrast, the scaling form (33) or (34) gives rise to the purely thermal class.
4.2.1 Thermal Class I
The field-like universality class can be obtained from either Eq. (30) or (32). We start with the massless theory, Eq. (30).
When the term linear in τ in dominates owing to R being small, we omit the quadratic term in Eq. (30) and obtain
with .
From Eq. (35), thermal hysteresis exponents can be obtained. Indeed, for τ=0 or , Eq. (35) results in Eq. (19) with
, and by using Eq. (7). For or m=0 for which , we have
Since , the argument on the left dominates, so
where ,
and
from Eqs. (18) and (9a). Note that
and thus
constitutes a proper correction to the leading scaling [
49].
In contrast, from the scaling form of the purely massive theory, Eq. (32), keeping only the leading τ term, we have
with . Therefore, for τ=0, we again arrive at Eq. (19) but with
and now. For m=0, we write
with
where . In this case, however, since β=1, ; thus, the correction in Eq. (42) is just a constant.
In the mean field, we have and . Consequently, both Eqs. (36) and (41) and both Eqs. (39) and (43) yield and , respectively, consistently in agreement with numerical results, though, as mentioned, the purely massive theory may be real only in the cooling transitions in the absence of an external field.
We have shown that the two reduced theories are indeed equivalent in the mean field. In fact, since we consider essentially the effective field
K in this class and ignore the mass term, we can only study the massless theory with
K replacing
directly. This has been studied previously [
10,
11] and yields, of course, identical exponents, albeit without the correction
.
In the case of in Eq. (23), K0 acts as a relevant constant external field. Accordingly, the scaling function, for example, has as its additional argument. This destroys the simple scaling and is consistent with the mean-field theory and Fig. 2(b).
4.2.2 Thermal Class II
In this case, we keep only the quadratic terms in and . This means that we neglect the effective field K and hence is just τ and φ is just m. Accordingly, for the purely massive theory, Eq. (32) becomes
with . Thus, one readily obtains
The scaling form of the massless theory, Eq. (30), can also lead to this class, of course. It becomes
with and
in the same limit. However, there is a subtlety here. In the mean-field approximation,
δ=2 and hence
and no correction is necessary. If
,
[
11] and hence
. The argument from Eq. (37) to (38) then gives rise to a surprising consequence: Both the temperature hysteresis exponent and the order-parameter hysteresis exponent equal
and the correction exponent is
.
In the mean field, both theories again yield the same exponents of , in agreement with numerical results shown in Fig. 2.
4.2.3 Thermal Class III
With similar procedures, we can obtain directly the hysteresis exponents for this purely thermal class as
using the scaling form (34). In the mean-field approximation, and thus Eq. (48) is just Eq. (45).
4.3 General purely thermal class
We mentioned in Section 2 that the cooling transition of a ϕ6 model at H=0 falls into a different class. In this section, we study briefly this issue.
Consider the general model (17) with an external field H. Although, in this class, H=0, we retain H to gather sufficient information. A scaling transformation similar to Eq. (26) with y=0 then leads to and . Combining this with the scaling laws mentioned in Section 4.1, we find then γ=1, δ=σ, η=0, , and the upper critical dimension . This dc conforms again with the naive dimensional analysis. Therefore, from Eq. (48), we see that, in this case, although the value of is identical to the value obtained from model (2), that of may be different.
For the
ϕ6 model,
σ=3. Therefore, we have
,
, and so on, though
. In fact, this is just the usual
ϕ4 model for the critical phenomena of the Ising universality class. The hysteresis exponents for this class have already been computed in Ref. [
40]. They are different from those of the thermal transitions of the
ϕ3 model studied here, which has
σ=2. However, we still classify both models into Thermal Class III as both are concerned with the cooling transition in the absence of the external field.
5 Renormalization group theory
Our task is to confirm the scaling for
and to calculate the scaling exponents. This can be done by using an RG analysis [
45-
48,
50,
51]. An RG study of the dynamics of the full
ϕ3 theory (8) with Gaussian white noise (4) for the Yang–Lee edge singularity has been presented in Ref. [
39] using shift invariance. A detailed RG study of the massless theory (12) has been performed in [
11] with hysteresis exponents for the field-driven FOPTs computed in three- and two-loop orders for the static and dynamic exponents, respectively. Accordingly, we may just insert those exponents for the relevant classes. In fact, the exponents for the field-like class are just identical to those of the field-driven FOPTs. Because the massless and massive theories are equivalent, comparing Eqs. (36) and (39) with Eqs. (41) and (43) and Eq. (45) with (47), one sees that, for both pairs of exponents to be identical, one must have surprisingly
, the values of which are indeed equal in the mean field. We shall study RG theory to prove this and to prove the equivalence of the two theories.
5.1 Fluctuation shifts and relationship between temperature and field
We start with the full dynamic model (2) with Gaussian white noise (4). It is well established that it can be recast into a field-theoretic form with a dynamic functional [
45,
48,
52-
54],
by introducing an auxiliary response field
[
55]. Then, the generating functionals for connected and vertex response and correlation functions can be defined and perturbation expansions using Feynman diagrams can be set up.
Assuming that the instability point is now at and , we expand at Ms but near rs for a constant uniform field H by setting
and we neglect again the cubic term. Equation (49) then changes into
with
similar to Eq. (9). In the mean-field approximation,
and
and thus we recover Eq. (9). When fluctuations are taken into account, the instability point now shifts from
to
and
determined by [
10,
11]
i.e.,
to one-loop order, or
where
is the vertex function,
(where
is the Euler gamma function), the angle brackets denote the average over the action, and
represents a set of momenta and frequencies. Similar to the theory of critical phenomena [
45-
48], Eq. (53a) implies the divergence of the inverse susceptibility at the instability point. Divergences of the correlation function at long distances and the correlation length at the instability point can also be derived within the theory. However, the real correlation length of the original FOPT does not diverge because of the irrelevant higher order terms. Equation (55) satisfies the relation
near d=6. Using and Ks, which satisfy Eq. (52) at rs, we can rewrite the first two equations in Eq. (52) as
This indicates that the relation between τ and K for temperature-driven FOPTs is still valid after the shifts even if the fluctuations are taken into account.
One sees that the cooling instability point in the absence of an external field now has generally because Ks is finite for a theory. This is qualitatively different from a φ4 σ=3 theory, in which the symmetry forbids a Ks term. Therefore, although in the mean field we have Thermal Class III described by the purely thermal model, it is removed by fluctuations. However, it survives in the generalized purely thermal model with an odd σ.
5.2 Renormalization factors and their relations
After the mass and field renormalizations, the theory becomes massless at the instability point. Consequently, its perturbation expansions are plagued with infrared divergences. Yet, it turns out that these divergences can be removed by renormalization factors
Z defined as [
39,
48]
such that the renormalized vertex function
[for
] in terms of the renormalized functions becomes finite, since the dimensional poles at
have then been subtracted and just subtracted in the minimal RG scheme with dimensional regulation [
56], where the subscripts
R denote renormalized variables and
μ is an arbitrary momentum scale. This RG method has an additional advantage of decoupling statics from dynamics [
57] so that the static renormalization factors can be chosen as the equilibrium ones.
The renormalization factors are, however, not all independent. The shift symmetry of Eq. (51) with respect to the shift of the order parameter gives rise to some exact relations among them [
39,
48].
For an arbitrary shift of
, owing to invariance [
39,
48], the shifted variables, Eq. (11), ought to share the same relations and renormalization factors as the original ones. Therefore,
which means since is a finite quantity that in the minimal renormalization reduces to unity. Applying this result with Eq. (58) to Eq. (11a), we have
which leads to . Similarly, from Eqs. (58) and (11b) we get
Therefore, we have
This result indicates that, among the four static renormalization factors introduced in Eq. (58), only two are independent. The
Z factor for the vertex will be chosen to determine the fixed point and the other one will determine the only independent static exponent. The two other factors,
and
, which are related by the fluctuation-dissipation theorem [
45,
48,
52-
54] to ensure a correct static limit [
11], determine one independent dynamic exponent.
Equation (63) can also be obtained from Ward’s identities stemming from the continuous shift symmetry [
39]. Taking the derivative of the shifted vertex functions with respect to
c at
c=0 results in Ref. [
39]
where is the Kronecker delta function. Equation (64) leads to Eq. (63) since the renormalized vertex functions possess no poles and the combinations of the Z factors must be finite.
To one-loop order, it is readily found [
10,
11] that
These static and dynamic factors have been found to three-loop order [
58,
59] and two-loop order [
39], respectively.
It is instructive to know the renormalization of and , which are and at some particular c. From Eqs. (13), (15), (58), and (63), we find
One notices that both and are renormalized simply, in contrast with the inhomogeneity of the renormalization of K itself. Note that is not renormalized simply as . This underlies the difference between them.
The particular renormalization of
K in Eq. (58) is to subtract divergent tadpole contributions [
39,
48]. Because
then, along with (58), we get
Indeed, after the mass renormalization, to one-loop order, , which is just canceled by the subtraction in Eq. (69) to the same order.
5.3 Renormalization group equations and their solutions for the general theory
The scaling and universality behavior can be derived from an RG equation [
45-
48,
50,
51]. In this section, we shall study the scaling behavior of the general theory (51) to collect necessary ingredients for the reduced massless and purely massive theories in the next section. It will be seen that the solution to the RG equation automatically combines
K with
τ according to Eq. (13).
We first consider . At the instability point, . Exploiting the independency of the bare vertex on the momentum scale μ, one finds
from Eqs. (59) and (69), where the Wilson functions are defined as derivatives at constant bare parameters as
with the help of Eqs. (58) and (63). The inhomogeneous term in Eq. (70) comes from the subtraction in Eq. (69).
However, we are interested in the behavior near the instability point. For , m≠0, the usual method is then to expand at m=0, so we have
where
similar to φ. Using Eqs. (70) and (73), we then obtain the following inhomogeneous RG equation for KR:
This equation can also be obtained directly from Eq. (58) if one assumes KR is a function of the other variables including mR that satisfies Eq. (73).
Equation (74) is inhomogeneous. However, in terms of , similar to the definition in Eq. (13) and used in Eq. (66), the equation can be rewritten into the homogeneous form
by noting that
using Eqs. (58) and (71) and combining Eqs. (74) and (76).
Solving Eq. (75) is then standard. At the fixed point at which , γ, , and become constants marked by stars, the solution is
Employing the usual definitions of instability exponents,
we can write Eq. (77) in the familiar form
where we have used identical symbols for variables in both the time and the frequency domains. Near an instability point, we can solve mR from Eq. (79) and obtain
One sees that the scaling form (80) is similar to Eq. (27) and KR and are automatically combined together as a single variable in the solution. However, Eq. (80) contains as an independent variable, which is incorrect. RG theory cannot tell us why this variable must be absent. If we omit it, we have a correct scaling form that verifies Eq. (27).
From Eq. (71), one finds that, at the fixed point [
39],
This gives rise to the exact relation
which reflects the relationship between the renormalization factors. As a result, we have exactly
from Eqs. (71) and (78).
Using Eq. (65), we obtain
for the fixed points to one-loop order. One solution is the trivial Gaussian fixed point
. The other is
, which is imaginary. However, it is infrared stable [
10,
11] for
, similar to the fixed point for critical phenomena [
45,
46]. From Eqs. (65), (71), (78), and (83), one obtains [
10,
11]
to one-loop order. All exponents are real. For ϵ=0, all the exponents recover their respective mean-field values correctly.
5.4 Renormalization group equations and their solutions for reduced theories
As we have seen from the last section, the general theory contains one redundant parameter that has to be removed manually [
48]. In this section, we study the reduced theories that directly give rise to correct results.
Because of the relation (57), we can either shift the mass to the field and obtain the massless theory or vice versa and arrive at the purely massive theory similar to the mean-field approximation.
We start with the massless theory, Eq. (12) with Gaussian noise (4). Its dynamic functional is similar to Eq. (51) in the absence of τ and with replacing K. Its RG equation is then simply
which is similar to Eq. (75). Its solution at the infrared-stable fixed point is
or, in terms of mR,
which is the scaling form (27) with a momentum instead of a length rescaling factor.
Now we turn to the purely massive theory, Eq. (14) with Gaussian noise (4). Its dynamic functional is again similar to Eq. (51) now in the absence of K and with replacing τ. Its RG equation can be obtained from . It is
with an additional Wilson function
from Eqs. (67) and (71). Equation (89) can also be obtained by assuming that mR is a function of the other variables. The fixed-point solution is then
with
from the fixed-point solution of Eq. (90). Equation (91) is just another scaling form of (31) and thus confirms the latter. Using the exact relation (82) and the definition (78), we find
This is just the relation that we obtained from the scaling theories and promised to prove.
Relation (93) is, as mentioned, surprising because appears proportional to τ from its definition (15). However, this might be expected because is proportional to again from their definitions and thus shares with the latter identical anomalous dimensions. Indeed, from Eqs. (91) and (93), the exponent for is just and is thus , the exponent for , as seen from Eq. (88). The proportional coefficient, 2v, between and , as seen from Eqs. (13) and (15), just compensates for the difference in their naive dimensions.
Using Eqs. (83) and (85), we find
to one-loop order. The mean-field result is thus 1/2, which is equal to ν as mentioned.
For the purely thermal models including the generalized one, one just needs to replace with τ itself. The fixed-point solution is simply
which is just Eq. (80) of the general theory without . However, as has been pointed out in Section 5.1, the purely thermal model with σ=2 itself does not correctly describe the temperature-driven FOPTs. For the generalized model, the renormalization factors are different from the φ3 ones, though the symbols for the exponents are identical.
5.5 Thermal hysteresis exponents
RG theories have confirmed the scaling forms developed in Section 4. They also yield the ε expansions for the hysteresis exponents. The relation (93) has also confirmed the identity of the two sets of exponents obtained from the two reduced theories. Therefore, we shall only consider the hysteresis exponents of the massless theory, Eqs. (36), (39), and (47), and of the purely thermal theory, Eq. (48).
Using Eqs. (78) and (83), we can write the hysteresis exponents for the three thermal classes as
To one-loop order, these become
from Eq. (85). We have not listed
and
as they do not describe the temperature-driven transitions for
σ=2. Nevertheless, to one-loop order, they are
, which are indeed different from those of Thermal Class II beyond the mean-field level. The field-like hysteresis exponents are in fact identical to the field-driven FOPTs as mentioned and have been given in Ref. [
11]. The thermal-like exponents are the result of the present study.
The estimates of the hysteresis exponents can be further improved. By utilizing the three- and two-loop results of the static [
58,
59] and dynamic [
39] exponents for the Yang–Lee edge singularity and some exact results in low dimensions [
15], Padé resummations have been performed and the best estimates for
η and
z up to date have been presented [
11]. From these results, similar estimates for the hysteresis exponents in Eqs. (96)–(100) can also be computed. These results all listed in Table 1. Included in the last two rows are the results of the general purely thermal class for
σ=3, the
ϕ6 model studied in Section 4.3. These exponents are extracted directly from Ref. [
40], where they are the hysteresis exponents for nonequilibrium
critical phenomena of the Ising universality class, because the two models are of the same universality class.
The mean-field hysteresis exponents listed in Table 1 have been confirmed numerically. The hysteresis exponents listed explicitly for
d=0 are exact because, in this dimension,
[
39]. The hysteresis exponents for the purely thermal class with
σ=3 in
d=2 have been verified numerically [
40] and so have those for the field-like class for
d=7–4 [
60]. The remaining hysteresis exponents have yet to be tested.
Experimentally, the mean-field exponent
has been confirmed in liquid crystals [
9]. It has also been estimated to range from 0.26 to 0.49 in a couple of alloys and compounds [
1-
6], which is not far from the theoretically value for
d=3. However, the ranges of the sweep rate
R employed in these experiments are small and thus further experiments are desirable.
6 Summary
We have studied the scaling and universal behavior of temperature-driven FOPTs. We have shown that these transitions exhibit rich phenomena though they are controlled by a single complex-conjugate pair of imaginary fixed points of ϕ3 theory.
The expansion near the spinodal or instability point of an FOPT results in a leading ϕ3 theory. Its shift symmetry leads to two equivalent reduced models: a massless model (12) and a purely massive model (14). Although the latter is real only in the absence of an external field and under cooling, in which case it becomes a purely thermal model (16) or its generalizations (17), it falls into the same universality class as the massless model and verifies the unique properties of ϕ3 theory. Scaling theories have also been proposed. The resultant scaling forms give rise to several universality classes with their own hysteresis exponents. These include the field-like Thermal Class I, the partly thermal class Thermal Class II, and the purely thermal class Thermal Class III. The first two classes are opposite limits of the scaling forms and may crossover to each other depending on the temperature sweep rate R. They are both described by the massless model and the purely massive model. The last class is characterized by purely thermal models and contains different universality classes depending on the symmetry of the order parameters. An example is the ϕ6 model whose cooling transition in the absence of an applied external field falls into the same universality class as the nonequilibrium critical phenomena of the usual ϕ4 model. If odd-symmetry terms are allowed in the free energies, Thermal Class III emerges only in the mean-field limit and is identical to Thermal Class II. It changes to the other two classes when fluctuations are considered. Numerical and analytical results at the mean-field level agree well with the scaling analysis. Renormalization group theories confirm both the scaling theory and the relation between the massless model and the purely massive model and provide methods to calculate the hysteresis exponents of various universality classes. Using the extant three- and two-loop results for the static and dynamic exponents for the Yang–Lee edge singularity, which falls into the same universality class as ϕ3, we have estimated the thermal hysteresis exponents of the various classes to the same precision. A few exponents have already been verified both numerically and experimentally and further comparisons are desirable.
Higher Education Press and Springer-Verlag Berlin Heidelberg 2017