Computation of the dynamic critical exponent of the three-dimensional Heisenberg model
A. Astillero, J. J. Ruiz-Lorenzo

TL;DR
This paper accurately computes the dynamic critical exponent of the three-dimensional Heisenberg model using advanced equilibrium and out-of-equilibrium techniques, providing results consistent with previous studies and experiments.
Contribution
It presents the first high-precision computation of the dynamic critical exponent for large lattices in the 3D Heisenberg model using both equilibrium and out-of-equilibrium methods.
Findings
Dynamic critical exponent z ≈ 2.03–2.04
Consistent static critical exponents η and ν
Agreement with previous small-lattice and theoretical estimates
Abstract
Working in and out of equilibrium and using state-of-the-art techniques we have computed the dynamic critical exponent of the three dimensional Heisenberg model. By computing the integrated autocorrelation time at equilibrium, for lattice sizes , we have obtained . In the out of equilibrium regime we have run very large lattices () obtaining from the growth of the correlation length. We compare our values with that previously computed at equilibrium with relatively small lattices (), with that provided by means a three-loops calculation using perturbation theory and with experiments. Finally we have checked previous estimates of the static critical exponents, and , in the out of equilibrium regime.
| 8 | 24.84(1) | 4122383 |
| 12 | 53.11(4) | 1928074 |
| 16 | 93.57(8) | 1094368 |
| 24 | 211.2(3) | 484848 |
| 32 | 378.3(5) | 270542 |
| 48 | 860(3) | 58333 |
| 64 | 1545(9) | 13782 |
| CPU/GPU | CPU Intel | GPU Geforce | GPU Tesla |
|---|---|---|---|
| model | Core i7 | GTX 1080 G1 | K80 |
| Cores | 20 | 2560 | 4992 |
| Core clock | 2.26 GHz | 1.86 GHz | 0.88 GHz |
| Total memory | 24 GB | 8 GB | 24 GB |
| Memory | - | - | 480 GB/s |
| bandwidth |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Computation of the dynamic critical
exponent of the three dimensional Heisenberg model
A. Astillero
Departamento de Tecnología de los Computadores y las Comunicaciones, Universidad de Extremadura, 06800 Mérida, Spain
Instituto de Computación Científica Avanzada (ICCAEx), 06071 Badajoz, Spain.
J.J. Ruiz-Lorenzo
Departamento de Física, Universidad de Extremadura, 06071 Badajoz, Spain.
Instituto de Computación Científica Avanzada (ICCAEx), Universidad de Extremadura, 06071 Badajoz, Spain.
Instituto de Biocomputación y Física de Sistemas Complejos (BIFI), 50018 Zaragoza, Spain.
Abstract
Working in and out of equilibrium and using state-of-the-art techniques we have computed the dynamic critical exponent of the three dimensional Heisenberg model. By computing the integrated autocorrelation time at equilibrium, for lattice sizes , we have obtained . In the out of equilibrium regime we have run very large lattices () obtaining from the growth of the correlation length. We compare our values with that previously computed at equilibrium with relatively small lattices (), with that provided by means a three-loops calculation using perturbation theory and with experiments. Finally we have checked previous estimates of the static critical exponents, and , in the out of equilibrium regime.
pacs:
05.10.Ln, 64.60.F-, 75.10.Hk
I Introduction
The study of the dynamics in and out of equilibrium in a critical phase is of paramount importance since it permits to extract the critical exponents of the system, hence, to characterize its universality class. In the last decades a great amount of work, analytical, numerical and experimental, has been devoted to study these issues.
One of the studied systems has been the three dimensional (isotropic) classical Heisenberg model. The dynamic critical exponent, , has been computed using field theory by studying its Model A dynamics (pure relaxational dynamics in which the order parameter is not conserved).Hohen:77 ; Folk:06 ; Tauber:17 A three-loop computation reported in Ref. Antonov:84 provided . 111 where is the anomalous dimension of the field (from static) and , being the dimensionality of the model. The equilibrium dynamics of this model was studied by means of numerical simulations in Ref. Peczak:93 and was reported. The authors were aware that this exponent was slightly below the analytical computation of Ref. Antonov:84 and discuss in the paper different systematic bias. For example, a relatively narrow range of the lattice sizes and despite the accuracy of their values for the correlation times, a more precise determination of these times were needed to study the corrections to the scaling presented in the model.
From the experimental side, the situation is complicated due to the crossover from the Heisenberg universality class to the dipolar one which induces a change from (Heisenberg with conserved magnetization and reversible forces, model J Hohen:77 ; Folk:06 ; Tauber:17 ) to (dipolar). Chow:80 ; Hohenemser:83 In particular using PAC 222Perturbed Angular Correlations of ray spectroscopy. Hohenemser et al. found Hohenemser:83 for Ni and for Fe; Dunlap et al. Dunlap:80 using ESR 333Electron Spin Resonance. found for EuO; and was found by Bohn et al for EuS Bohn:84 using inelastic neutron scattering. It seems that the interplay of spin dipoles with orbital angular momentum or dipolar interactions breaks the conservation of the magnetization on these materials, producing a crossover between Heisenberg model J () and Heisenberg model A (). Chow:80 ; Hohenemser:83
Recently, Pelissetto and Vicari Peli:16 have used the value provided by field theory in the scaling analysis of their numerical data to study the off-equilibrium behavior of three-dimensional models driven by time-dependent external fields and assigned it an error of 0.01, so , to take into account the uncertainty on the extrapolation to of the three-loop-expansion result.
Consequently, it is of paramount importance to obtain an accurate value for this dynamic critical exponent, in order to be used in future numerical analysis and experiments, and also to check the accuracy of the three-loops analytical computation. The main goal of our study is to improve the value of using numerical simulations by studying the dependence of the integrated correlation time in the equilibrium regime and the behavior of the correlation length, susceptibility and energy with the simulation time in the out of equilibrium region. In this way, we can compare the performance of equilibrium and out-of-equilibrium methods in the computation of the dynamic critical exponent.
Nowadays, a great amount of work has been devoted to study numerically the dynamics of disordered systems, see for example Refs. Parisi:99 ; Hasen:07 ; Janus1 ; Janus2 ; Lulli:16 ; Janus3 ; Janus4 . In general a sudden quenched is performed to work in the off-equilibrium, yet, in other studies the models have been simulated at equilibrium. For example in the three dimensional diluted Ising model both approaches gave the same dynamic critical exponent. Hasen:07
In the equilibrium part of the paper we compute the integrated correlation time, avoiding some of the problems which appear in the computation of the exponential one (e.g. assume that the autocorrelation function is a single exponential function Sokal ; Salas ).
We also study the correlation length in the out-of-equilibrium regime. In the last two decades, this observable has played an important role both in numerical simulations Janus1 ; Janus2 and experiments out of equilibrium Orbach:14 in spin glasses. Due to this, powerful numerical techniques has been developed to compute this observable with high accuracy which has allowed a precise determination of the dynamic critical exponent just at the critical point as well as inside the critical spin glass phase. Janus3 We apply these techniques to the three dimensional (non disordered) Heisenberg model. In addition to the computation of the dynamic critical exponent, we have checked the consistency of previous and very accurate determinations of the static critical exponents ( and ) in the out-of-equilibrium regime. Our starting point will be the (very precise) critical temperature computed in Ref. Balles:96 and the static critical exponents reported in Refs. Campos:02 ; Hasen:11 .
We have also measured the dynamic critical exponent from the decay of the energy at criticality. This decay has also been studied in the past in finite dimensional spin glass Janus1 and recently has played a central role together with the behavior of the correlation length in the analysis of the Mpemba effect, a striking memory effect. Janus4
The structure of the paper is the following. In the next section we introduce the model and the observables. In section III we describe our numerical results: in Sec. III.1 we report the equilibrium determination of via the integrated autocorrelation time; in Sec. III.2 we study the dependence of the correlation length with time and the computation of out of equilibrium; in Sec. III.3 and Sec. III.4 the correlation function and the energy have been studied (respectively). Sec. IV is devoted to the conclusions. Two appendices close the paper, one to describe our implementation of GPU and the last one to describe how we have computed the statistical error of the exponents with highly correlated data.
II The model and Observables
The Hamiltonian of the three dimensional Heisenberg model is
[TABLE]
is a classical three component spin on the site of a three dimensional cubic lattice with volume and periodic boundary conditions. Without loss of generality we will assume that the spins are unit vectors. The sum runs over all pairs of nearest neighbors spins. We have simulated this model with the standard Metropolis algorithm 444In the equilibrium simulations, Sec. III.1, we have used the Metropolis algorithm proposing a random spin in the unit sphere. In the out of equilibrium simulations we have used the Metropolis algorithm in the standard way AmitMartinMayor : we modify the original spin by adding a random vector and normalizing the final vector to the unit sphere. The magnitude of the random vector is selected in order to maintain an acceptance between 40% and 60%. Both versions of the Metropolis algorithm belong to the same dynamic universality class.Sokal and we have run in CPU (smaller time simulations) and GPU (for larger time simulations). Details on the simulations can be found in the appendix A.
II.1 Equilibrium
We address the problem of the computation of the dynamic critical exponent in the equilibrium regime by means the computation and further analysis of the integrated aucorrelation time as a function of the lattice size.
We compute for a given observable , the autocorrelation function (we follow Refs. Madras ; Sokal ; AmitMartinMayor ):
[TABLE]
and its normalized version
[TABLE]
The integrated autocorrelation time is given by
[TABLE]
In a run with measurements, the number of independent measurements of the observable is just . Madras ; Sokal ; AmitMartinMayor If the number of measurements is finite, for large times the noise will dominate the signal in and to bypass this problem we use the following self-consistent method to compute the integrated time
[TABLE]
where is usually taken to be 6 or bigger. Madras ; Sokal ; AmitMartinMayor
At the critical point the integrated autocorrelation time of a long distance observable diverges with the size of the system Hasen:07
[TABLE]
where is the dynamic critical exponent and is the leading correction-to-scaling exponent (the leading irrelevant eigenvalue of the theory).
Another time, the exponential correlation time, is defined as
[TABLE]
which also depends on the observable used to define . The exponential autocorrelation time controls the approach to the equilibrium.Sokal
Once we have defined the exponential correlation function we can write the general scaling form for the correlation function Sokal
[TABLE]
where is the equilibrium correlation length computed on a system of size . Integrating Eq. (8) in time, we obtain the integrated correlation time and that . Both times are proportional if and only if and in this situation is the same for both times. Otherwise, , and and will provide with different dynamic critical exponents. See also the discussion of Ref. Hasen:07 .
In this paper we will use the slowest mode provided by the non local operator , where the magnetization is defined as
[TABLE]
II.2 Out of equilibrium
We have focused on only one local observable, the energy, defined as
[TABLE]
We denote the average over different initial conditions at the Monte Carlo time by . The renormalization group predicts AmitMartinMayor ; Tauber:17 , at the critical point, the following behavior for this observable:
[TABLE]
where is the dimensionality of the space (three in this study) and is the critical exponent which controls the divergence of the equilibrium correlation length. The other two exponents and has been defined in the previous subsection.
One of the main observables on this paper is the correlation function defined as:
[TABLE]
satisfying, at criticality, the following scaling law Tauber:17
[TABLE]
which defines the dynamic correlation length, . As we approach the equilibrium regime, reaches its equilibrium value.
At the critical point and in equilibrium, one should expect
[TABLE]
being the anomalous dimension of the field.
The correlation length can be estimated by computing Janus1 ; Janus2
[TABLE]
by means of
[TABLE]
We focus in this work on . On spin glasses was measured with a correlation function decaying like . Janus1 ; Janus2 In our case, to decrease the weight of the smallest distances we have resorted to compute higher values of . In the appendix B we describe the detailed procedure we have used to compute the integrals and how we have estimate the statistical error associated with . The dependence of the dynamic correlation length with time is
[TABLE]
The magnetic susceptibility is given by
[TABLE]
or equivalently by
[TABLE]
In the regime of large we recover rotational invariance and we obtain
[TABLE]
The temporal dependence of is
[TABLE]
which can be rewritten as
[TABLE]
III Numerical results
In this section we report the computation of the integrated correlation time at equilibrium. After this analysis, we describe our results in the out of equilibrium regime. In particular, we consider the short and long time behavior of correlation length and the long time behavior of the correlation function and that of the energy. The data are obtained after a sudden quench from to . All the numerical simulations were performed at . Balles:96
III.1 Equilibrium
To obtain the dynamic critical exponent in the equilibrium regime, we compute the integrated correlation time of when the numerical simulation has reached the equilibrium. We follow the methodology described in Sec. II.1, using the self consistent windowm algorithm with a window size given by . We have analyzed the correlation functions with , 8, 10 and 12 and we have checked that the data are fully compatible with that of and 12. We report in the following integrated autocorrelation times.
In Table 1 we report the values of and other parameters of the performed runs. In order to improve the statistics on we have performed 50 independent runs (initial conditions). We have computed the statistical error on the integrated autocorrelation times by using the jackknife method over the independent runs. jackknife ; Young
We have fitted to Eq. (6) using obtaining and with a .555In this case, the data for different lattice sizes are not correlated and we can safely use the diagonal covariance matrix. We report this fit and the numerical data in Fig. 1. Fitting the data using only a power law (i.e. neglecting the correction-to-scaling term) we obtain a good fit only for obtaining with . Both reported values are fully compatible.
Finally we present a scaling analysis of the function at equilibrium and at the critical point to show that and are proportional and therefore both times diverge with the same dynamic critical exponent . Fig. 2 shows the scaling law of the correlation function as a function of instead of , as stated in Eq. (8). Scaling in the new variable holds if and only if and this is the case apart from small scaling corrections on the data induced by the term in the scaling function of Eq. (8), see also the inset of this figure for a detailed and more quantitative view of this effect.
In Ref. Peczak:93 the (biggest) exponential correlation time was computed for the magnetization . However, the computation of this exponential time is very involved in the case the autocorrelation function does not show a single exponential decay Salas ; Peli:16 : in Fig. 2 we have plotted a single exponential decay and the correlation function clearly departs from this behavior.
III.2 Correlation length: Shorter times
We report in Fig. 3 the behavior of as a function of time for different lattice sizes that we have been able to thermalize. The -plateaus obtained for the largest times are a clear evidence that the numerical simulations have reached the equilibrium.
In order to extract the dynamic critical exponent by using Eq. (17), we need to work in the out of equilibrium regime, avoiding the transient regime and the equilibrium domain. Therefore, we need to check the following points:
- •
We need to avoid the transient regime between the power law behavior (pure out of equilibrium regime) and the plateau one (equilibrium one).
- •
Eq. (17) holds after the initial transient of the dynamics. Therefore, we need to fix a minimum time .
- •
Finally, in order to avoid finite size effects, we need to compare the correlation lengths for different lattice sizes.
In this section we have performed numerical simulations with (in order to avoid the transient and equilibrium regimes). We have simulated 4000 random initial conditions for and , and 5325 initial conditions for .
In Fig. 4 we have plotted, to check finite size effects, the differences among the correlation lengths of and and that of . In this figure we can see that the data of the and lattices are compatible in the statistical error for .
From the previous discussion we must fit the data for in the time interval given by using the data: being the smallest value of the Monte Carlo time that provides a good (e.g. ) by fitting the data to Eq. (17).
In Fig. 5 we show the behavior of for the largest lattice size simulated in this time regime, . By fitting data in the interval we have obtained and with . Furthermore, we can report that a fit neglecting the contribution of the correction-to-scaling term provides with and . All two reported values are statistically compatible.
We have computed the statistical error on the -exponent by means of the jackknife method. jackknife ; Young As described in the appendix B, we compute the using a diagonal covariance matrix (neglecting the correlations of the data), but we use a jackknife procedure to take into account the (important) different correlations among the data. Hence, in the following all are computed assuming a diagonal covariance matrix; we refer the reader to the appendix B for a discussion of the interpretation of this diagonal and for more details on the procedure we have followed to take into account the correlation among the data (in time or in distance, see below) and the way we have computed the statistical errors on the values of the critical exponents. 666The same fit performed with the help of Gnuplot Gnuplot (with a diagonal covariance matrix) provides a with an asymptotic error of . In order to obtain the right statistical error, we need to divide this asymptotic error by Young , obtaining the final value of . Notice that the computed error discarding correlations among the different times is a factor 13 times smaller.
Having computed and we can, as a check, estimate the exponent. Fig. 6 shows as a function of . We can compute using the time interval obtaining and with . In this case the -exponent is similar to the equilibrium value . Guida:98 ; Hasen:01 We can improve the value of by fixing the correction-to-scaling exponent to the equilibrium value , obtaining with (). Our value compares very well (but with 20 times more error) with that computed at equilibrium: . Campos:02 ; Hasen:11 Finally, neglecting the correction-to-scaling term, we have found with (). All three reported values are statistically compatible.
III.3 Correlation function for larger times
In Fig. 7 we plot for different times using data (200 initial conditions) and very long times. One can see the crossover of the dynamic correlation function between the off-equilibrium regime and the equilibrium one. In appendix B we provide more details about the functional form of in the out of equilibrium regime. We can also check that we have reached the equilibrium regime by plotting the behavior of (see curve of Fig. 3). This non-local observable has clearly reached its equilibrium (plateau) value. We can safely assume that for we have thermalized the lattice and we can try to extract the value of the the anomalous dimension by averaging the correlation function above this time.
The analytical behavior at the critical point in this regime (large ) is given by Eq. (14). Having in mind that we are using periodic boundary conditions, we can write the following improved equation to fit our numerical data
[TABLE]
By fitting the data of Fig. 8 to this functional form, we obtain (by using only , and ) in a good statistical agreement with the value drawn from equilibrium studies . We have followed the method described in appendix B in order to obtain the error in the exponent. 777The same fit, assuming no correlation among the different values of the correlation function, provides an error of 0.0013, three times smaller than that obtained in our procedure.
III.4 Energy for larger times
We have analyzed the behavior of the energy at criticality in order to compute the ratio of critical exponents . To analyze this behavior, we have run (153 initial conditions, i.c. in the following), (600 i.c.), (684 i.c.) and (684 i.c.) for longer times .
Firstly, we study in Fig. 9 the effect of a finite size lattice on the values of energy as a function of time. From this figure one can see that it is safe to take fits only in the range in order to avoid finite size effects (at least in the precision of our simulation).
In Fig. 10 we show the results for the largest lattice . We have fitted the data to a power law, in the time interval obtaining and , with a diagonal . We have fixed in the fit the value . Campos:02 ; Hasen:11 The really small error bar of the exponent has not a measurable effect in the final error bar of . To finish the analysis of the energy, we have also checked corrections to scaling for this observable and we have found that the exponent describes very well the numerical data obtaining and with .
IV Conclusions
By performing in and out equilibrium numerical simulations we have computed the dynamic critical exponent .
The most accurate value has been computed in the equilibrium regime by studying the integrated correlation time as a function of the lattice size: . We have found a correction-to-scaling exponent . In addition we have provided strong numerical evidences about the proportionality of the integrated and exponential correlation times.
We have also computed the exponent in the out-of-equilibrium regime obtaining and which is similar to the -exponent computed at equilibrium. Moreover, we have checked the consistency of the computed critical exponents at equilibrium with the out of equilibrium ones with and without considering corrections to scaling. The (equilibrium) value of provides us, by monitoring the energy, with a another dynamic exponent estimate () fully compatible with the previous ones.
Furthermore, our value of has improved the statistical precision of that computed in numerical simulations performed at equilibrium in relatively small lattices (). Peczak:93 Our computed values match very well with that obtained in experiments and with the exponent computed using field theoretical techniques Antonov:84 (although in this framework it is very difficult to assign an uncertainty to this estimate).
Acknowledgements.
We thank L. A. Fernandez, M. Lulli, A. Pelissetto, V. Martin-Mayor, J. Salas, J. A. del Toro and D. Yllanes for discussions. This work was partially supported by Ministerio de Economía y Competitividad (Spain) through Grant No. FIS2016-76359-P, by Junta de Extremadura (Spain) through Grant No. GRU10158 and IB16013 (partially funded by FEDER). We have run the simulations in the computing facilities of the Instituto de Computación Científica Avanzada (ICCAEx) and in the CETA-Ciemat thanking Dr. A. Paz for his support.
Appendix A Details of the numerical simulations and GPU parallel implementation
We have simulated the Heisenberg model using the Metropolis Algorithm on CPUs and GPUs (see Table 2). We have simulated , 160, 200 and 250 for more than 10000 random initial conditions. The GPU code has been programmed in CUDA C. nvidia11a The original C code which simulates the Heisenberg model has been parallelized in three parts:
Computation of the nearest neighbors of each spin: the C code has a loop which goes sequentially through all the spins one by one. However, in the GPU code each spin has associated an execution thread and all the nearest neighbors of every spin are computed at once. 2. 2.
Metropolis Algorithm: in the sequential C code we can find several loops in the Metropolis part. So, the parallel GPU code reduces meaningfully the execution time especially in large systems (). Moreover, the lattice has been divided using a checkboard scheme (Fig. 11). Lulli:15a In this way, the Metropolis algorithm has been executed first of all in the “white” spins and after that in the “black” ones. 3. 3.
Random numbers: to have high quality random numbers is mandatory in Computational Physics. Initially, we have used the CURAND random numbers which are part of the CUDA C distribution. nvidia11a The problems with the CURAND random numbers have appeared when we have performed long simulations using a huge quantity of random numbers. To avoid these problems we have used Congruential Random Numbers. Knuth:98a
Making use of the GPU Tesla K80 we have achieved a speedup of 22 which represents an important reduction of the execution time.
Appendix B Details of the analysis of the computation of the correlation length
We describe the different steps we have followed in order to compute and its associated exponent . Janus1 ; Janus2 ; ThesisDavid ; Michael:94 The important point of this approach is to avoid the use of the full covariance matrix since this matrix is frequently singular (see for example ThesisDavid ; Seibert:94 ). Thus, our procedure is the following:
We compute using the jackknife method over the set of the initial conditions, the statistical error of , denoted as . 2. 2.
To compute we introduce a cutoff to have a good control of the signal to noise ratio of for large values of (see also Fig. 7).
- •
We compute the cutoff using the condition .
- •
For a fixed and we fit the correlation function to the functional form given by
[TABLE]
with is the minimum value of which provided, for , a good fit (e.g. ) to Eq.(24). In Fig. 12 we report the dependence of the exponents and with the Monte Carlo time. Notice that converges to the equilibrium value (see Eq. (14)) given by and .
- •
We compute the integral in Eq. (15) using the numerical values of the correlation for and using the values provided by the fit (Eq. (24)) for .
- •
Using the previous procedure, we compute the statistical error of using again the jackknife method over the set of the initial conditions. The time interval for the fit is decided by imposing a diagonal .
- •
The jackknifed ’s are used to compute the jackknifed values of and this allows us to compute the statistical error of the dynamic critical exponent using the standard deviation in the jackknife method. Notice that for extracting on each jackknife block, we use the diagonal covariance matrix. However, the jackknife procedure reproduces with high accuracy the effect of the correlations among the different times.
Notice that the diagonal has not a rigorous interpretation as that of the full (non diagonal) one. One can show (see the detailed analysis of this procedure carried out in section B.3.3.1 of Ref. ThesisDavid ) that the diagonal behaves as if there were a small number of degrees of freedom, hence, one can not compute confident limits as usual.
Finally, in Ref. Lulli:16 was shown that the error bars are essentially equal (using this jackknife procedure, neglecting the correlations among the data) to those obtained taking into account all the statistical correlations among the data.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) P. C. Hohenberg and B. I. Halperin, Rev. Mod. Phys. 49, 435 (1977).
- 2(2) R. Folk and G. Moser, J. Phys. A 39, R 207 (2006).
- 3(3) U. Taüber, Critical Dynamics: A Field Theory Approach to Equilibrium and Non-Equilibrium Scaling Behavior , Cambridge University Press, 2017.
- 4(4) N. V. Antonov and A. N. Vasilev, Theor. Math. Phys. 60, 671 (1984).
- 5(5) P. Peczak and D. P. Landau, Phys. Rev. B 47, 14260 (1993).
- 6(6) L. Chow, C. Hohenemser and R. M. Suter. Phys. Rev. Lett. 45 , 908 (1980).
- 7(7) C. Hohenemser, L. Chow and R. M. Suter. Phys. Rev. B 26 , 5056 (1982).
- 8(8) R. A. Dunlap, A. M. Gottlieb, Phys. Rev. B 22 , 3422 (1980).
