Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Kibble-Zurek dynamics in the anisotropic Ising model of the Si(001) surface

G. Schaller Helmholtz-Zentrum Dresden-Rossendorf, Bautzner Landstraße 400, 01328 Dresden, Germany,    F. Queisser Helmholtz-Zentrum Dresden-Rossendorf, Bautzner Landstraße 400, 01328 Dresden, Germany,    S.P. Katoorani Helmholtz-Zentrum Dresden-Rossendorf, Bautzner Landstraße 400, 01328 Dresden, Germany,    C. Brand Fakultät für Physik, Universität Duisburg-Essen, Lotharstraße 1, 47057 Duisburg, Germany,    C. Kohlfürst Helmholtz-Zentrum Dresden-Rossendorf, Bautzner Landstraße 400, 01328 Dresden, Germany,    M.R. Freeman Department of Physics, University of Alberta, 4-181 Centennial Center for Interdisciplinary Science Edmonton, Alberta T6G 2E1, Canada,    A. Hucht Fakultät für Physik, Universität Duisburg-Essen, Lotharstraße 1, 47057 Duisburg, Germany,    P. Kratzer Fakultät für Physik, Universität Duisburg-Essen, Lotharstraße 1, 47057 Duisburg, Germany,    B. Sothmann Fakultät für Physik, Universität Duisburg-Essen, Lotharstraße 1, 47057 Duisburg, Germany,    M. Horn-von Hoegen Fakultät für Physik, Universität Duisburg-Essen, Lotharstraße 1, 47057 Duisburg, Germany,    R. Schützhold Helmholtz-Zentrum Dresden-Rossendorf, Bautzner Landstraße 400, 01328 Dresden, Germany, Institut für Theoretische Physik, Technische Universität Dresden, 01062 Dresden, Germany,
(June 21, 2024)
Abstract

As a simplified description of the non-equilibrium dynamics of buckled dimers on the Si(001) surface, we consider the anisotropic 2D Ising model and study the freezing of spatial correlations during a cooling quench across the critical point. We observe a crossover from 1D to 2D behavior. For rapid cooling, we find effectively 1D behavior in the strongly coupled direction, for which we provide an exact analytic solution of the non-equilibrium dynamics. For slower cooling rates, we start to see 2D behavior where our numerical simulations show an approach to the usual Kibble-Zurek scaling in 2D.

Introduction

Von Neumann once [1] compared non-equilibrium theory to a theory of non-elephants – indicating the richness and complexity of this field, which we are just beginning to understand. In view of the diverging response time near the critical point, continuous phase transitions are prototypical candidates for observing non-equilibrium behavior [2, 3]. A prominent example is the Kibble mechanism describing the formation of topological defects during symmetry-breaking phase transitions in the early universe [4]. Later Zurek realized that quite analogous effects should also occur in condensed matter such as superfluid helium [5]. The Kibble-Zurek mechanism has been studied in numerous theoretical (e.g. [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22]) and experimental investigations (e.g. [23, 24, 25, 26, 27, 28, 29, 30]). An important point is the transition from adiabatic evolution to non-equilibrium behavior (such as freezing) when approaching or traversing the critical point. Apart from the original idea of creating topological defects, the general mechanism can also be applied to the frozen domain structure in symmetry-breaking phase transitions induced by the critical slowing down.

In this Letter, we study the anisotropic Ising model in two spatial dimensions [31, 32, 33, 34, 35, 36, 37, 38] with special emphasis on possible differences between the two directions. Apart from advancing our fundamental understanding, these investigations are also motivated by the fact that the buckling dynamics of dimers on the Si(001) surface can be described by the anisotropic 2D Ising model [39, 40, 41, 42, 43, 44, 45, 46, 47, 48]. Here, we consider the transition from the p(2×1)𝑝21p(2\times 1)italic_p ( 2 × 1 ) to the c(4×2)𝑐42c(4\times 2)italic_c ( 4 × 2 ) reconstruction at a critical temperature Tcrit190Ksubscript𝑇crit190KT_{\rm crit}\approx 190~{}\rm Kitalic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT ≈ 190 roman_K. Since the (001) face of single-crystalline silicon belongs to the most important surfaces both in technology and science, our results will also be relevant in this regard. For example, the dependence of the frozen domain structure on the cooling rate indicates how sufficiently homogeneous Si(001) surfaces should be prepared.

Refer to caption
Figure 1: Low temperature scanning tunneling microscope (STM) image of a Si(001) surface taken at 5 K with Ubias=1.3Vsubscript𝑈bias1.3VU_{\rm bias}=1.3~{}\rm Vitalic_U start_POSTSUBSCRIPT roman_bias end_POSTSUBSCRIPT = 1.3 roman_V and Itunnel=1nAsubscript𝐼tunnel1nAI_{\rm tunnel}=1~{}\rm nAitalic_I start_POSTSUBSCRIPT roman_tunnel end_POSTSUBSCRIPT = 1 roman_nA. Field of view is 24×16nm22416superscriptnm224\times 16~{}\rm nm^{2}24 × 16 roman_nm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Areas with c(4×2)𝑐42c(4\times 2)italic_c ( 4 × 2 ) reconstruction exhibit a “honeycomb” pattern, whereas domain boundaries can be identified by a zig-zag chain of local p(2×2)𝑝22p(2\times 2)italic_p ( 2 × 2 ) reconstruction, with dimer buckling and resulting domains (vertically running rows) indicated in the inset. The two dark spots are frozen horizontal domain boundaries, while frizzy vertical lines correspond to active phase boundary changes, i.e., mobile ”phasons” [49].

Experimental observations

Let us start by presenting experimental evidence for the formation of frozen domain structures on the Si(001) dimerized surface. The surface exhibits parallel rows of alternately buckled dimers which arrange in a c(4×2)𝑐42c(4\times 2)italic_c ( 4 × 2 ) reconstruction indicating the anti-phase correlation between neighboring dimer rows [50, 51]. Fig. 1 shows a low-temperature scanning tunneling microscopy (STM) image taken at 5 K after preparation of the Si(001) surface through flash annealing and rapid cool-down across Tcritsubscript𝑇critT_{\rm crit}italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT to liquid nitrogen temperatures T<100K𝑇100KT<100~{}\rm Kitalic_T < 100 roman_K. The cooling rate was on the order of 1-10 K/s. Further experimental details can be found elsewhere [49]. The STM image was taken at constant current conditions with positive sample bias, i.e., in Fig. 1 filled orbitals of the Si atoms are displayed in bright. Along each vertically running row, the alternating buckling can be nicely identified. The anti-phase correlation between neighboring dimers cause the c(4×2)𝑐42c(4\times 2)italic_c ( 4 × 2 ) reconstruction which becomes apparent as “honeycomb” pattern.

During the rapid cool-down subsequent to sample preparation, the regime of critical slowing down [52, 53] is reached near Tcritsubscript𝑇critT_{\rm crit}italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT, where the system falls out of equilibrium, resulting in a frozen domain structure which is apparent in Fig. 1. The domain boundaries can be identified as one-dimensional “defects” separating ordered areas with a c(4×2)𝑐42c(4\times 2)italic_c ( 4 × 2 ) reconstruction. As also confirmed by electron diffraction [47, 48], these ordered domains are extremely elongated, i.e., the frozen correlation length ξsubscript𝜉\xi_{\|}italic_ξ start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT along the dimer rows, i.e., in vertical direction, is much larger than the horizontal one ξsubscript𝜉perpendicular-to\xi_{\perp}italic_ξ start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT across the rows.

Anisotropic Ising model

In order to understand the behavior of the correlation lengths mentioned above, we need to model the non-equilibrium dynamics of buckled dimers on the Si(001) surface which form a rectangular lattice. If we describe the tilt of the dimer at lattice site i,j𝑖𝑗i,j\in\mathbb{Z}italic_i , italic_j ∈ blackboard_Z to the left or the right by the pseudo-spin variable σi,j=+1subscript𝜎𝑖𝑗1\sigma_{i,j}=+1italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT = + 1 or σi,j=1subscript𝜎𝑖𝑗1\sigma_{i,j}=-1italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT = - 1, respectively, the resulting energy for the pseudo-spin configuration 𝝈𝝈\sigmabold_italic_σ corresponds to the anisotropic Ising model [39, 40, 41, 43, 44, 45, 46]

E𝝈subscript𝐸𝝈\displaystyle E_{\mbox{\boldmath$\scriptstyle\sigma$}}italic_E start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT =\displaystyle== Jxi,jσi,jσi+1,jJyi,jσi,jσi,j+1subscript𝐽𝑥subscript𝑖𝑗subscript𝜎𝑖𝑗subscript𝜎𝑖1𝑗subscript𝐽𝑦subscript𝑖𝑗subscript𝜎𝑖𝑗subscript𝜎𝑖𝑗1\displaystyle-J_{x}\sum_{i,j}\sigma_{i,j}\sigma_{i+1,j}-J_{y}\sum_{i,j}\sigma_% {i,j}\sigma_{i,j+1}- italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT - italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT (1)
Jdi,jσi,j[σi+1,j+1+σi+1,j1].subscript𝐽dsubscript𝑖𝑗subscript𝜎𝑖𝑗delimited-[]subscript𝜎𝑖1𝑗1subscript𝜎𝑖1𝑗1\displaystyle-J_{\rm d}\sum_{i,j}\sigma_{i,j}[\sigma_{i+1,j+1}+\sigma_{i+1,j-1% }]\,.- italic_J start_POSTSUBSCRIPT roman_d end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT [ italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j + 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j - 1 end_POSTSUBSCRIPT ] .

Combining microscopic considerations with experimental data, a strong anti-ferromagnetic coupling along dimer rows Jx25meVsubscript𝐽𝑥25meVJ_{x}\approx-25~{}{\rm meV}italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ≈ - 25 roman_meV and weaker couplings across rows Jy3.2meVsubscript𝐽𝑦3.2meVJ_{y}\approx 3.2~{}{\rm meV}italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ≈ 3.2 roman_meV and in diagonal direction Jd2.0meVsubscript𝐽d2.0meVJ_{\rm d}\approx 2.0~{}{\rm meV}italic_J start_POSTSUBSCRIPT roman_d end_POSTSUBSCRIPT ≈ 2.0 roman_meV have been found [47, 48]. The latter two can be combined into an effective transversal coupling J=Jy2Jd0.8meVsubscript𝐽perpendicular-tosubscript𝐽𝑦2subscript𝐽d0.8meVJ_{\perp}=J_{y}-2J_{\rm d}\approx-0.8~{}{\rm meV}italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT - 2 italic_J start_POSTSUBSCRIPT roman_d end_POSTSUBSCRIPT ≈ - 0.8 roman_meV. As a result, the actual surface favors anti-ferromagnetic order in both directions. For convenience however, we apply a checker-board transformation σi,j(1)i+jσi,jsubscript𝜎𝑖𝑗superscript1𝑖𝑗subscript𝜎𝑖𝑗\sigma_{i,j}\to(-1)^{i+j}\sigma_{i,j}italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT → ( - 1 ) start_POSTSUPERSCRIPT italic_i + italic_j end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT after which both J=Jxsubscript𝐽subscript𝐽𝑥J_{\|}=J_{x}italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT = italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT and Jsubscript𝐽perpendicular-toJ_{\perp}italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT are positive and the transformed model favors ferromagnetic order.

Rate equations

We study the non-equilibrium dynamics of the Ising model (1) via standard rate equations for the probabilities P𝝈subscript𝑃𝝈P_{\mbox{\boldmath$\scriptstyle\sigma$}}italic_P start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT of the pseudo-spin configurations 𝝈𝝈\sigmabold_italic_σ

P˙𝝈=𝝈[R𝝈𝝈P𝝈R𝝈𝝈P𝝈].subscript˙𝑃𝝈subscriptsuperscript𝝈bold-′delimited-[]subscript𝑅superscript𝝈bold-′𝝈subscript𝑃superscript𝝈bold-′subscript𝑅𝝈superscript𝝈bold-′subscript𝑃𝝈\displaystyle\dot{P}_{\mbox{\boldmath$\scriptstyle\sigma$}}=\sum_{\mbox{% \boldmath$\scriptstyle\sigma^{\prime}$}}[R_{\mbox{\boldmath$\scriptstyle\sigma% ^{\prime}$}\to\mbox{\boldmath$\scriptstyle\sigma$}}P_{\mbox{\boldmath$% \scriptstyle\sigma^{\prime}$}}-R_{\mbox{\boldmath$\scriptstyle\sigma$}\to\mbox% {\boldmath$\scriptstyle\sigma^{\prime}$}}P_{\mbox{\boldmath$\scriptstyle\sigma% $}}]\,.over˙ start_ARG italic_P end_ARG start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT [ italic_R start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT → bold_italic_σ end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_R start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT ] . (2)

Neglecting correlated flips of two or more pseudo-spins (i.e., dimers), we use single-flip transition rates

R𝝈𝝈=Γexp{βEB}exp{β(E𝝈E𝝈)}+1.subscript𝑅superscript𝝈bold-′𝝈Γ𝛽subscript𝐸B𝛽subscript𝐸𝝈subscript𝐸superscript𝝈bold-′1\displaystyle R_{\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}\to\mbox{% \boldmath$\scriptstyle\sigma$}}=\frac{\Gamma\exp\{-\beta E_{\rm B}\}}{\exp\{% \beta(E_{\mbox{\boldmath$\scriptstyle\sigma$}}-E_{\mbox{\boldmath$\scriptstyle% \sigma^{\prime}$}})\}+1}\,.italic_R start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT → bold_italic_σ end_POSTSUBSCRIPT = divide start_ARG roman_Γ roman_exp { - italic_β italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT } end_ARG start_ARG roman_exp { italic_β ( italic_E start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) } + 1 end_ARG . (3)

The “knocking” frequency Γ1012/sΓsuperscript1012s\Gamma\approx 10^{12}/{\rm s}roman_Γ ≈ 10 start_POSTSUPERSCRIPT 12 end_POSTSUPERSCRIPT / roman_s and Arrhenius barrier height EB100meVsubscript𝐸B100meVE_{\rm B}\approx 100~{}{\rm meV}italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT ≈ 100 roman_meV are obtained from microscopic considerations [54, 49, 48]. The Glauber factor in the denominator can also be motivated by microscopic models for surface-bulk interactions, e.g., in the form of a reservoir of two-level systems [55] or via fermionic tunneling [56]. It ensures that the rate is bounded R𝝈𝝈<Γexp{βEB}subscript𝑅superscript𝝈bold-′𝝈Γ𝛽subscript𝐸BR_{\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}\to\mbox{\boldmath$% \scriptstyle\sigma$}}<\Gamma\exp\{-\beta E_{\rm B}\}italic_R start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT → bold_italic_σ end_POSTSUBSCRIPT < roman_Γ roman_exp { - italic_β italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT } and satisfies the detailed balance condition R𝝈𝝈/R𝝈𝝈=exp{β(E𝝈E𝝈)}subscript𝑅superscript𝝈bold-′𝝈subscript𝑅𝝈superscript𝝈bold-′𝛽subscript𝐸𝝈subscript𝐸superscript𝝈bold-′R_{\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}\to\mbox{\boldmath$% \scriptstyle\sigma$}}/R_{\mbox{\boldmath$\scriptstyle\sigma$}\to\mbox{% \boldmath$\scriptstyle\sigma^{\prime}$}}=\exp\{\beta(E_{\mbox{\boldmath$% \scriptstyle\sigma$}}-E_{\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}})\}italic_R start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT → bold_italic_σ end_POSTSUBSCRIPT / italic_R start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = roman_exp { italic_β ( italic_E start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) } which enforces evolution towards thermal equilibrium for constant parameters ΓΓ\Gammaroman_Γ and β𝛽\betaitalic_β etc.

1D Ising model

Now we are in the position to study the non-equilibrium dynamics of the Ising model (1) during a cooling quench. As the first step, we consider a very rapid cooling rate such that the system basically has no time for an exchange between the dimer rows, i.e., in the weakly coupled direction. Then, as also confirmed by numerical simulations (see Fig. 2), we may consider the limiting case Jy0subscript𝐽𝑦0J_{y}\to 0italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT → 0 and Jd0subscript𝐽d0J_{\rm d}\to 0italic_J start_POSTSUBSCRIPT roman_d end_POSTSUBSCRIPT → 0 of the 2D Ising model (1) such that each row j𝑗jitalic_j separately forms a 1D Ising model with J=Jx=J𝐽subscript𝐽𝑥subscript𝐽J=J_{x}=J_{\|}italic_J = italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT

E𝝈1D=Jiσiσi+1,superscriptsubscript𝐸𝝈1D𝐽subscript𝑖subscript𝜎𝑖subscript𝜎𝑖1\displaystyle E_{\mbox{\boldmath$\scriptstyle\sigma$}}^{\rm 1D}=-J\sum_{i}% \sigma_{i}\sigma_{i+1}\,,italic_E start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 roman_D end_POSTSUPERSCRIPT = - italic_J ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT , (4)

where after the checker-board transformation J>0𝐽0J>0italic_J > 0. Assuming translational invariance, we may derive an exact evolution equation for the correlator ca=σiσi+asubscript𝑐𝑎delimited-⟨⟩subscript𝜎𝑖subscript𝜎𝑖𝑎c_{a}=\langle\sigma_{i}\sigma_{i+a}\rangleitalic_c start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = ⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + italic_a end_POSTSUBSCRIPT ⟩ depending on distance a𝑎aitalic_a. With the dimensionless conformal time coordinate d𝔗/dt=Γeβ(t)EB𝑑𝔗𝑑𝑡Γsuperscript𝑒𝛽𝑡subscript𝐸Bd{\mathfrak{T}}/dt=\Gamma e^{-\beta(t)E_{\rm B}}italic_d fraktur_T / italic_d italic_t = roman_Γ italic_e start_POSTSUPERSCRIPT - italic_β ( italic_t ) italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT end_POSTSUPERSCRIPT we find (with the boundary condition ca=0=1subscript𝑐𝑎01c_{a=0}=1italic_c start_POSTSUBSCRIPT italic_a = 0 end_POSTSUBSCRIPT = 1) \bibnote[supplement]See supplemental material.

𝔗ca=2ca+(ca+1+ca1)tanh(2βJ).subscript𝔗subscript𝑐𝑎2subscript𝑐𝑎subscript𝑐𝑎1subscript𝑐𝑎12𝛽𝐽\displaystyle\partial_{\mathfrak{T}}c_{a}=-2c_{a}+(c_{a+1}+c_{a-1})\tanh(2% \beta J)\,.∂ start_POSTSUBSCRIPT fraktur_T end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = - 2 italic_c start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + ( italic_c start_POSTSUBSCRIPT italic_a + 1 end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT italic_a - 1 end_POSTSUBSCRIPT ) roman_tanh ( 2 italic_β italic_J ) . (5)

Setting the left-hand side to zero yields the well-known equilibrium solution ca=[tanh(βJ)]|a|subscript𝑐𝑎superscriptdelimited-[]𝛽𝐽𝑎c_{a}=[\tanh(\beta J)]^{|a|}italic_c start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = [ roman_tanh ( italic_β italic_J ) ] start_POSTSUPERSCRIPT | italic_a | end_POSTSUPERSCRIPT. The 1D Ising model (4) does not have a critical point at finite temperature Tcrit>0subscript𝑇crit0T_{\rm crit}>0italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT > 0, instead the analogue of a critical point occurs at zero temperature Tcrit=0subscript𝑇crit0T_{\rm crit}=0italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT = 0 where the correlation length ξ𝜉\xiitalic_ξ diverges as ξe2βJsimilar-to𝜉superscript𝑒2𝛽𝐽\xi\sim e^{2\beta J}italic_ξ ∼ italic_e start_POSTSUPERSCRIPT 2 italic_β italic_J end_POSTSUPERSCRIPT [33].

In order to understand the non-equilibrium dynamics governed by Eq. (5), let us consider the continuum limit, where ca+1+ca12casubscript𝑐𝑎1subscript𝑐𝑎12subscript𝑐𝑎c_{a+1}+c_{a-1}-2c_{a}italic_c start_POSTSUBSCRIPT italic_a + 1 end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT italic_a - 1 end_POSTSUBSCRIPT - 2 italic_c start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT becomes the second spatial derivative such that we obtain a diffusion-dissipation equation 𝔗c=𝔇x2cγcsubscript𝔗𝑐𝔇superscriptsubscript𝑥2𝑐𝛾𝑐\partial_{\mathfrak{T}}c={\mathfrak{D}}\partial_{x}^{2}c-\gamma c∂ start_POSTSUBSCRIPT fraktur_T end_POSTSUBSCRIPT italic_c = fraktur_D ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_c - italic_γ italic_c. For large temperatures, the diffusion coefficient is small 𝔇tanh(2βJ)2βJ1proportional-to𝔇2𝛽𝐽2𝛽𝐽much-less-than1{\mathfrak{D}}\propto\tanh(2\beta J)\approx 2\beta J\ll 1fraktur_D ∝ roman_tanh ( 2 italic_β italic_J ) ≈ 2 italic_β italic_J ≪ 1 and the damping term γ2𝛾2\gamma\approx 2italic_γ ≈ 2 dominates. For small temperatures, the damping rate γ=22tanh(2βJ)𝛾222𝛽𝐽\gamma=2-2\tanh(2\beta J)italic_γ = 2 - 2 roman_tanh ( 2 italic_β italic_J ) is suppressed as 4e4βJ4superscript𝑒4𝛽𝐽4e^{-4\beta J}4 italic_e start_POSTSUPERSCRIPT - 4 italic_β italic_J end_POSTSUPERSCRIPT and the diffusion term 𝔇tanh(2βJ)1proportional-to𝔇2𝛽𝐽1{\mathfrak{D}}\propto\tanh(2\beta J)\approx 1fraktur_D ∝ roman_tanh ( 2 italic_β italic_J ) ≈ 1 dominates. Thus, we may introduce a response or relaxation time 𝔗relaxsubscript𝔗relax{\mathfrak{T}}_{\rm relax}fraktur_T start_POSTSUBSCRIPT roman_relax end_POSTSUBSCRIPT from the inverse damping rate 1/γ1𝛾1/\gamma1 / italic_γ which then scales as 𝔗relaxe4βJsimilar-tosubscript𝔗relaxsuperscript𝑒4𝛽𝐽{\mathfrak{T}}_{\rm relax}\sim e^{4\beta J}fraktur_T start_POSTSUBSCRIPT roman_relax end_POSTSUBSCRIPT ∼ italic_e start_POSTSUPERSCRIPT 4 italic_β italic_J end_POSTSUPERSCRIPT, i.e., 𝔗relaxξ2similar-tosubscript𝔗relaxsuperscript𝜉2{\mathfrak{T}}_{\rm relax}\sim\xi^{2}fraktur_T start_POSTSUBSCRIPT roman_relax end_POSTSUBSCRIPT ∼ italic_ξ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Note, however, that the diffusion coefficient stays finite even for 𝔗relaxsubscript𝔗relax{\mathfrak{T}}_{\rm relax}\to\inftyfraktur_T start_POSTSUBSCRIPT roman_relax end_POSTSUBSCRIPT → ∞, i.e., diffusion is still possible.

Freezing in 1D

Since analyzing the non-equilibrium dynamics by means of analytic solutions of Eq. (5) is still quite involved, let us consider the weighted sum of correlations =a=1acasuperscriptsubscript𝑎1𝑎subscript𝑐𝑎{\mathfrak{C}}=\sum_{a=1}^{\infty}ac_{a}fraktur_C = ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_a italic_c start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT which obeys

𝔗=2[1tanh(2βJ)]+tanh(2βJ).subscript𝔗2delimited-[]12𝛽𝐽2𝛽𝐽\displaystyle\partial_{\mathfrak{T}}{\mathfrak{C}}=-2[1-\tanh(2\beta J)]{% \mathfrak{C}}+\tanh(2\beta J)\,.∂ start_POSTSUBSCRIPT fraktur_T end_POSTSUBSCRIPT fraktur_C = - 2 [ 1 - roman_tanh ( 2 italic_β italic_J ) ] fraktur_C + roman_tanh ( 2 italic_β italic_J ) . (6)

In order to provide an explicit example and to study the analogue of critical slowing down, let us assume the simple cooling protocol β(t)=κt𝛽𝑡𝜅𝑡\beta(t)=\kappa titalic_β ( italic_t ) = italic_κ italic_t (i.e., T(t)1/tproportional-to𝑇𝑡1𝑡T(t)\propto 1/titalic_T ( italic_t ) ∝ 1 / italic_t) starting at infinite temperature at t=0𝑡0t=0italic_t = 0 and cooling down to zero temperature at t𝑡t\to\inftyitalic_t → ∞. Then this infinite interval of laboratory time t(0,)𝑡0t\in(0,\infty)italic_t ∈ ( 0 , ∞ ) is mapped to a finite interval of conformal time 𝔗(t)=𝔗ineκEBt𝔗𝑡subscript𝔗insuperscript𝑒𝜅subscript𝐸B𝑡{\mathfrak{T}}(t)={\mathfrak{T}}_{\rm in}e^{-\kappa E_{\rm B}t}fraktur_T ( italic_t ) = fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_κ italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT with 𝔗in=Γ/[κEB]subscript𝔗inΓdelimited-[]𝜅subscript𝐸B{\mathfrak{T}}_{\rm in}=-\Gamma/[\kappa E_{\rm B}]fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT = - roman_Γ / [ italic_κ italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT ].

Incidentally, for our values with EB4Jxsubscript𝐸B4subscript𝐽𝑥E_{\rm B}\approx 4J_{x}italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT ≈ 4 italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT, we may simplify Eq. (6) even further. For low temperatures βJ1much-greater-than𝛽𝐽1\beta J\gg 1italic_β italic_J ≫ 1, the source term tanh(2βJ)2𝛽𝐽\tanh(2\beta J)roman_tanh ( 2 italic_β italic_J ) can be approximated by unity and the damping rate behaves as γ4e4βJ𝛾4superscript𝑒4𝛽𝐽\gamma\approx 4e^{-4\beta J}italic_γ ≈ 4 italic_e start_POSTSUPERSCRIPT - 4 italic_β italic_J end_POSTSUPERSCRIPT which for EB=4Jsubscript𝐸B4𝐽E_{\rm B}=4Jitalic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT = 4 italic_J becomes 4𝔗/𝔗in4𝔗subscript𝔗in4{\mathfrak{T}}/{\mathfrak{T}}_{\rm in}4 fraktur_T / fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT. As a result, Eq. (6) simplifies to 𝔗=4𝔗/𝔗in+1subscript𝔗4𝔗subscript𝔗in1\partial_{\mathfrak{T}}{\mathfrak{C}}=-4{\mathfrak{C}}{\mathfrak{T}}/{% \mathfrak{T}}_{\rm in}+1∂ start_POSTSUBSCRIPT fraktur_T end_POSTSUBSCRIPT fraktur_C = - 4 fraktur_C fraktur_T / fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT + 1. The solution to this equation can be given in terms of the error function, but we may understand its behavior by means of general arguments. For κΓ/EBmuch-less-than𝜅Γsubscript𝐸B\kappa\ll\Gamma/E_{\rm B}italic_κ ≪ roman_Γ / italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT, we have |𝔗in|1much-greater-thansubscript𝔗in1|{\mathfrak{T}}_{\rm in}|\gg 1| fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT | ≫ 1. Then, starting with =00{\mathfrak{C}}=0fraktur_C = 0 at 𝔗=𝔗in𝔗subscript𝔗in{\mathfrak{T}}={\mathfrak{T}}_{\rm in}fraktur_T = fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT, the value of {\mathfrak{C}}fraktur_C quickly approaches its instantaneous equilibrium value eq=𝔗in/(4𝔗)subscripteqsubscript𝔗in4𝔗{\mathfrak{C}}_{\rm eq}={\mathfrak{T}}_{\rm in}/(4{\mathfrak{T}})fraktur_C start_POSTSUBSCRIPT roman_eq end_POSTSUBSCRIPT = fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT / ( 4 fraktur_T ). However, once the response time 𝔗relax𝔗in/𝔗similar-tosubscript𝔗relaxsubscript𝔗in𝔗{\mathfrak{T}}_{\rm relax}\sim{\mathfrak{T}}_{\rm in}/{\mathfrak{T}}fraktur_T start_POSTSUBSCRIPT roman_relax end_POSTSUBSCRIPT ∼ fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT / fraktur_T becomes too short 𝔗relax|𝔗|similar-tosubscript𝔗relax𝔗{\mathfrak{T}}_{\rm relax}\sim|{\mathfrak{T}}|fraktur_T start_POSTSUBSCRIPT roman_relax end_POSTSUBSCRIPT ∼ | fraktur_T |, the system cannot equilibrate anymore and thus the value of {\mathfrak{C}}fraktur_C freezes in at 𝔗freeze|𝔗in|similar-tosubscript𝔗freezesubscript𝔗in{\mathfrak{T}}_{\rm freeze}\sim\sqrt{|{\mathfrak{T}}_{\rm in}|}fraktur_T start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT ∼ square-root start_ARG | fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT | end_ARG to its final value freeze|𝔗in|similar-tosubscriptfreezesubscript𝔗in{\mathfrak{C}}_{\rm freeze}\sim\sqrt{|{\mathfrak{T}}_{\rm in}|}fraktur_C start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT ∼ square-root start_ARG | fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT | end_ARG. Using the asymptotic behavior of the error function, we may also determine the pre-factor to freeze=π|𝔗in|/8subscriptfreeze𝜋subscript𝔗in8{\mathfrak{C}}_{\rm freeze}=\sqrt{\pi|{\mathfrak{T}}_{\rm in}|/8}fraktur_C start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT = square-root start_ARG italic_π | fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT | / 8 end_ARG. Furthermore, as \mathfrak{C}fraktur_C scales with the square of the correlation length ξ𝜉\xiitalic_ξ, we obtain ξfreeze|𝔗in|1/4=(Γ/[κEB])1/4similar-tosuperscript𝜉freezesuperscriptsubscript𝔗in14superscriptΓdelimited-[]𝜅subscript𝐸B14\xi^{\rm freeze}\sim|{\mathfrak{T}}_{\rm in}|^{1/4}=(\Gamma/[\kappa E_{\rm B}]% )^{1/4}italic_ξ start_POSTSUPERSCRIPT roman_freeze end_POSTSUPERSCRIPT ∼ | fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 1 / 4 end_POSTSUPERSCRIPT = ( roman_Γ / [ italic_κ italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT ] ) start_POSTSUPERSCRIPT 1 / 4 end_POSTSUPERSCRIPT, which is the analogue to the Kibble-Zurek scaling for this case.

Refer to caption
Figure 2: Freezing of the weighted sum of correlations {\mathfrak{C}}fraktur_C for cooling quenches β(t)=κt𝛽𝑡𝜅𝑡\beta(t)=\kappa titalic_β ( italic_t ) = italic_κ italic_t. The black solid curve represents the analytic solution of Eq. (6) for the 1D Ising model (4) for κ=108s1meV1𝜅superscript108superscripts1superscriptmeV1\kappa=10^{8}~{}\rm s^{-1}meV^{-1}italic_κ = 10 start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT roman_s start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_meV start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT and the dashed blue curve for κ=109s1meV1𝜅superscript109superscripts1superscriptmeV1\kappa=10^{9}~{}\rm s^{-1}meV^{-1}italic_κ = 10 start_POSTSUPERSCRIPT 9 end_POSTSUPERSCRIPT roman_s start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_meV start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT while the symbols correspond to full numerical simulations of the 2D Ising model (1) on a 1600×20016002001600\times 2001600 × 200 lattice averaged over 100100100100 trajectories, see below. Correlations between rows remain negligible for these parameters (not shown). The dotted red curve depicts the equilibrium value in 1D and the horizontal dashed-dotted lines represent the approximation freezeπ|𝔗in|/8subscriptfreeze𝜋subscript𝔗in8{\mathfrak{C}}_{\rm freeze}\approx\sqrt{\pi|{\mathfrak{T}}_{\rm in}|/8}fraktur_C start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT ≈ square-root start_ARG italic_π | fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT | / 8 end_ARG for the two cases with 𝔗in=10subscript𝔗in10{\mathfrak{T}}_{\rm in}=-10fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT = - 10 and 𝔗in=100subscript𝔗in100{\mathfrak{T}}_{\rm in}=-100fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT = - 100, respectively. The vertical dotted line depicts the critical temperature in 2D.

2D Ising model

As the next step, let us study slower cooling rates, where we start to see two-dimensional behavior. For simplicity, we consider the two-dimensional Ising model in terms of the effective transversal coupling strength Jsubscript𝐽perpendicular-toJ_{\perp}italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT introduced above

E𝝈2D=Ji,jσi,jσi+1,jJi,jσi,jσi,j+1.superscriptsubscript𝐸𝝈2Dsubscript𝐽subscript𝑖𝑗subscript𝜎𝑖𝑗subscript𝜎𝑖1𝑗subscript𝐽perpendicular-tosubscript𝑖𝑗subscript𝜎𝑖𝑗subscript𝜎𝑖𝑗1\displaystyle E_{\mbox{\boldmath$\scriptstyle\sigma$}}^{\rm 2D}=-J_{\|}\sum_{i% ,j}\sigma_{i,j}\sigma_{i+1,j}-J_{\perp}\sum_{i,j}\sigma_{i,j}\sigma_{i,j+1}\,.italic_E start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 roman_D end_POSTSUPERSCRIPT = - italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT - italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT . (7)

The equilibrium properties of this model can be obtained by Onsager theory [58]. Its critical temperature Tcrit=1/(kBβcrit)subscript𝑇crit1subscript𝑘Bsubscript𝛽critT_{\rm crit}=1/(k_{\rm B}\beta_{\rm crit})italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT = 1 / ( italic_k start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT ) is determined by the relation sinh(2βcrit|J|)sinh(2βcrit|J|)=12subscript𝛽critsubscript𝐽2subscript𝛽critsubscript𝐽perpendicular-to1\sinh(2\beta_{\rm crit}|J_{\|}|)\sinh(2\beta_{\rm crit}|J_{\perp}|)=1roman_sinh ( 2 italic_β start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT | italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT | ) roman_sinh ( 2 italic_β start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT | italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT | ) = 1. Thus, in the limit of strong anisotropy JJmuch-greater-thansubscript𝐽subscript𝐽perpendicular-toJ_{\|}\gg J_{\perp}italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ≫ italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT, we obtain the hierarchy of scales Jβcrit1Jmuch-greater-thansubscript𝐽superscriptsubscript𝛽crit1much-greater-thansubscript𝐽perpendicular-toJ_{\|}\gg\beta_{\rm crit}^{-1}\gg J_{\perp}italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ≫ italic_β start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ≫ italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT. Approaching the critical point from above, the correlation lengths ξsubscript𝜉\xi_{\|}italic_ξ start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT and ξsubscript𝜉perpendicular-to\xi_{\perp}italic_ξ start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT in x𝑥xitalic_x- and y𝑦yitalic_y-direction (i.e., along the dimer rows and perpendicular to them) both obey the scaling |TTcrit|νsuperscript𝑇subscript𝑇crit𝜈|T-T_{\rm crit}|^{-\nu}| italic_T - italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT - italic_ν end_POSTSUPERSCRIPT with the critical exponent ν=1𝜈1\nu=1italic_ν = 1, though with different pre-factors [32, 35]. In particular, their ratio stays constant and is given by ξeq/ξeq=sinh(2βcritJ)2βcritJ0.1superscriptsubscript𝜉perpendicular-toeqsuperscriptsubscript𝜉eq2subscript𝛽critsubscript𝐽perpendicular-to2subscript𝛽critsubscript𝐽perpendicular-to0.1\xi_{\perp}^{\rm eq}/\xi_{\|}^{\rm eq}=\sinh(2\beta_{\rm crit}J_{\perp})% \approx 2\beta_{\rm crit}J_{\perp}\approx 0.1italic_ξ start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT / italic_ξ start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT = roman_sinh ( 2 italic_β start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) ≈ 2 italic_β start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ≈ 0.1.

Now considering the correlator ca,b=σi,jσi+a,j+bsubscript𝑐𝑎𝑏delimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑖𝑎𝑗𝑏c_{a,b}=\langle\sigma_{i,j}\sigma_{i+a,j+b}\rangleitalic_c start_POSTSUBSCRIPT italic_a , italic_b end_POSTSUBSCRIPT = ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + italic_a , italic_j + italic_b end_POSTSUBSCRIPT ⟩ and its evolution equation analogous to Eq. (5), we find that the terms on the right-hand side containing Jsubscript𝐽perpendicular-toJ_{\perp}italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT do also involve four-point correlators such as σi,jσk1,σk+1,σk,±1delimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑘1subscript𝜎𝑘1subscript𝜎𝑘plus-or-minus1\langle\sigma_{i,j}\sigma_{k-1,\ell}\sigma_{k+1,\ell}\sigma_{k,\ell\pm 1}\rangle⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k - 1 , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k + 1 , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ ± 1 end_POSTSUBSCRIPT ⟩. To close this set of equations approximately, we may apply a perturbative expansion scheme and neglect terms of order J2superscriptsubscript𝐽perpendicular-to2J_{\perp}^{2}italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT \bibnotemark[supplement]. Then, since the four-point correlators have already small pre-factor Jsimilar-toabsentsubscript𝐽perpendicular-to\sim J_{\perp}∼ italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT out front, we may approximate them by their zeroth order σi,jσk1,σk+1,σk,±1σi,jσk,±1σk1,σk+1,delimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑘1subscript𝜎𝑘1subscript𝜎𝑘plus-or-minus1delimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑘plus-or-minus1delimited-⟨⟩subscript𝜎𝑘1subscript𝜎𝑘1\langle\sigma_{i,j}\sigma_{k-1,\ell}\sigma_{k+1,\ell}\sigma_{k,\ell\pm 1}% \rangle\approx\langle\sigma_{i,j}\sigma_{k,\ell\pm 1}\rangle\langle\sigma_{k-1% ,\ell}\sigma_{k+1,\ell}\rangle⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k - 1 , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k + 1 , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ ± 1 end_POSTSUBSCRIPT ⟩ ≈ ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ ± 1 end_POSTSUBSCRIPT ⟩ ⟨ italic_σ start_POSTSUBSCRIPT italic_k - 1 , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k + 1 , roman_ℓ end_POSTSUBSCRIPT ⟩ where the short-range correlations σk1,σk+1,delimited-⟨⟩subscript𝜎𝑘1subscript𝜎𝑘1\langle\sigma_{k-1,\ell}\sigma_{k+1,\ell}\rangle⟨ italic_σ start_POSTSUBSCRIPT italic_k - 1 , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k + 1 , roman_ℓ end_POSTSUBSCRIPT ⟩ within a row \ellroman_ℓ can be approximated by their equilibrium value σk1,σk+1,tanh2(βJ)delimited-⟨⟩subscript𝜎𝑘1subscript𝜎𝑘1superscript2𝛽subscript𝐽\langle\sigma_{k-1,\ell}\sigma_{k+1,\ell}\rangle\approx\tanh^{2}(\beta J_{\|})⟨ italic_σ start_POSTSUBSCRIPT italic_k - 1 , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k + 1 , roman_ℓ end_POSTSUBSCRIPT ⟩ ≈ roman_tanh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) in 1D (as discussed above). After that, we obtain an approximate diffusion-dissipation equation in 2D

𝔗ca,bsubscript𝔗subscript𝑐𝑎𝑏\displaystyle\partial_{\mathfrak{T}}c_{a,b}∂ start_POSTSUBSCRIPT fraktur_T end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_a , italic_b end_POSTSUBSCRIPT =\displaystyle== 2ca,b+(ca+1,b+ca1,b)tanh(2βJ)2subscript𝑐𝑎𝑏subscript𝑐𝑎1𝑏subscript𝑐𝑎1𝑏2𝛽subscript𝐽\displaystyle-2c_{a,b}+(c_{a+1,b}+c_{a-1,b})\tanh(2\beta J_{\|})- 2 italic_c start_POSTSUBSCRIPT italic_a , italic_b end_POSTSUBSCRIPT + ( italic_c start_POSTSUBSCRIPT italic_a + 1 , italic_b end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT italic_a - 1 , italic_b end_POSTSUBSCRIPT ) roman_tanh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) (8)
+βJeff(ca,b+1+ca,b1)+𝒪(J2),𝛽superscriptsubscript𝐽perpendicular-toeffsubscript𝑐𝑎𝑏1subscript𝑐𝑎𝑏1𝒪superscriptsubscript𝐽perpendicular-to2\displaystyle+\beta J_{\perp}^{\rm eff}(c_{a,b+1}+c_{a,b-1})+\,{\cal O}(J_{% \perp}^{2})\,,+ italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eff end_POSTSUPERSCRIPT ( italic_c start_POSTSUBSCRIPT italic_a , italic_b + 1 end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT italic_a , italic_b - 1 end_POSTSUBSCRIPT ) + caligraphic_O ( italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ,

but with a strongly reduced transversal coupling strength Jeff=2J/cosh(2βJ)superscriptsubscript𝐽perpendicular-toeff2subscript𝐽perpendicular-to2𝛽subscript𝐽J_{\perp}^{\rm eff}=2J_{\perp}/\cosh(2\beta J_{\|})italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eff end_POSTSUPERSCRIPT = 2 italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT / roman_cosh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ). As an intuitive picture, the pre-existent strong in-row correlation requires many spin flips for cross-row equilibration and thus renders this process very hard. In the continuum limit, the ratio between the effective diffusion coupling strengths 𝔇tanh(2βJ)proportional-tosubscript𝔇2𝛽subscript𝐽{\mathfrak{D}}_{\|}\propto\tanh(2\beta J_{\|})fraktur_D start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ∝ roman_tanh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) and 𝔇βJeffproportional-tosubscript𝔇perpendicular-to𝛽superscriptsubscript𝐽perpendicular-toeff{\mathfrak{D}}_{\perp}\propto\beta J_{\perp}^{\rm eff}fraktur_D start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ∝ italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eff end_POSTSUPERSCRIPT in the two directions in Eq. (8) determines the ratio of the equilibrium correlation lengths which is consistent with the results above ξeq/ξeq=𝔇/𝔇=2βJ/sinh(2βJ)2βcritJsuperscriptsubscript𝜉perpendicular-toeqsuperscriptsubscript𝜉eqsubscript𝔇perpendicular-tosubscript𝔇2𝛽subscript𝐽perpendicular-to2𝛽subscript𝐽2subscript𝛽critsubscript𝐽perpendicular-to\xi_{\perp}^{\rm eq}/\xi_{\|}^{\rm eq}=\sqrt{{\mathfrak{D}}_{\perp}/{\mathfrak% {D}}_{\|}}=\sqrt{2\beta J_{\perp}/\sinh(2\beta J_{\|})}\approx 2\beta_{\rm crit% }J_{\perp}italic_ξ start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT / italic_ξ start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT = square-root start_ARG fraktur_D start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT / fraktur_D start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT end_ARG = square-root start_ARG 2 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT / roman_sinh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_ARG ≈ 2 italic_β start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT close to the critical point.

In the non-equilibrium case, Eq. (8) allows us to understand the crossover from 1D to 2D. Inserting our values, we find βcritJeff|crit0.01evaluated-atsubscript𝛽critsuperscriptsubscript𝐽perpendicular-toeffcrit0.01\beta_{\rm crit}J_{\perp}^{\rm eff}|_{\rm crit}\approx 0.01italic_β start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eff end_POSTSUPERSCRIPT | start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT ≈ 0.01, which explains why a time interval of |𝔗in|=10subscript𝔗in10|{\mathfrak{T}}_{\rm in}|=10| fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT | = 10 (dashed blue curve in Fig. 2) is too short to generate correlations between the rows. Only for slower sweep rates, such as |𝔗in|=100subscript𝔗in100|{\mathfrak{T}}_{\rm in}|=100| fraktur_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT | = 100 (solid black curve in Fig. 2), these correlations start to build up (not shown), even though they are still very weak.

Numerical simulations

Finally, let us compare the analytical approximation schemes discussed above to a full numerical simulation of Eqns. (1-3) with time-dependent β(t)𝛽𝑡\beta(t)italic_β ( italic_t ) \bibnotemark[supplement]. Due to the exponential dimensionality of (2) for an Nx×Nysubscript𝑁𝑥subscript𝑁𝑦N_{x}\times N_{y}italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT × italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT spin lattice, we calculate trajectory solutions. For a given configuration 𝝈𝝈\sigmabold_italic_σ, we propagate time by the stochastic waiting time τ𝝈subscript𝜏𝝈\tau_{\mbox{\boldmath$\scriptstyle\sigma$}}italic_τ start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT found by numerically solving ln(1r)=𝝈tt+τ𝝈R𝝈𝝈(t)𝑑t1𝑟subscriptsuperscript𝝈bold-′superscriptsubscript𝑡𝑡subscript𝜏𝝈subscript𝑅𝝈superscript𝝈bold-′superscript𝑡differential-dsuperscript𝑡\ln(1-r)=-\sum_{\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}}\int_{t}^{t+\tau% _{\mbox{\boldmath$\scriptstyle\sigma$}}}R_{\mbox{\boldmath$\scriptstyle\sigma$% }\to\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}}(t^{\prime})dt^{\prime}roman_ln ( 1 - italic_r ) = - ∑ start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t + italic_τ start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_d italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, with uniformly distributed random number r[0,1]𝑟01r\in[0,1]italic_r ∈ [ 0 , 1 ], and perform a jump to a different state with the conditional probability [59, 60] given by P𝝈𝝈=R𝝈𝝈/[𝝈′′𝝈R𝝈𝝈′′]subscript𝑃𝝈superscript𝝈bold-′subscript𝑅𝝈superscript𝝈bold-′delimited-[]subscriptsuperscript𝝈bold-′′𝝈subscript𝑅𝝈superscript𝝈bold-′′P_{\mbox{\boldmath$\scriptstyle\sigma$}\to\mbox{\boldmath$\scriptstyle\sigma^{% \prime}$}}=R_{\mbox{\boldmath$\scriptstyle\sigma$}\to\mbox{\boldmath$% \scriptstyle\sigma^{\prime}$}}/[\sum_{\mbox{\boldmath$\scriptstyle\sigma^{% \prime\prime}$}\neq\mbox{\boldmath$\scriptstyle\sigma$}}R_{\mbox{\boldmath$% \scriptstyle\sigma$}\to\mbox{\boldmath$\scriptstyle\sigma^{\prime\prime}$}}]italic_P start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = italic_R start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT / [ ∑ start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ bold_′ end_POSTSUPERSCRIPT ≠ bold_italic_σ end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT bold_′ bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ] at time t+τ𝝈𝑡subscript𝜏𝝈t+\tau_{\mbox{\boldmath$\scriptstyle\sigma$}}italic_t + italic_τ start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT. In the selection of jumps, we use [61] that the NxNysubscript𝑁𝑥subscript𝑁𝑦N_{x}N_{y}italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT different single-spin flip processes can be grouped into 45 classes with identical energy differences entering the rates (3). Eventually, denoting the fast Fourier transformed spin lattice by σ~kxkysubscript~𝜎subscript𝑘𝑥subscript𝑘𝑦\tilde{\sigma}_{k_{x}k_{y}}over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUBSCRIPT, the correlation lengths ξsubscript𝜉\xi_{\|}italic_ξ start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT and ξsubscript𝜉perpendicular-to\xi_{\perp}italic_ξ start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT are then given by the inverse widths of the one-dimensional lattices ky|σ~kxky|2subscriptsubscript𝑘𝑦superscriptsubscript~𝜎subscript𝑘𝑥subscript𝑘𝑦2\sum_{k_{y}}|\tilde{\sigma}_{k_{x}k_{y}}|^{2}∑ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUBSCRIPT | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and kx|σ~kxky|2subscriptsubscript𝑘𝑥superscriptsubscript~𝜎subscript𝑘𝑥subscript𝑘𝑦2\sum_{k_{x}}|\tilde{\sigma}_{k_{x}k_{y}}|^{2}∑ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUBSCRIPT | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, respectively. Averaging over multiple trajectories (and the resulting |σ~kxky|2superscriptsubscript~𝜎subscript𝑘𝑥subscript𝑘𝑦2|\tilde{\sigma}_{k_{x}k_{y}}|^{2}| over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT) can be used to improve the statistics.

Refer to caption
Refer to caption
Figure 3: Plot of inverse correlation lengths versus temperature (or, equivalently, time) for a linear cooling sweep T(t)=ηt𝑇𝑡𝜂𝑡T(t)=-\eta titalic_T ( italic_t ) = - italic_η italic_t with η=174×106K/s𝜂174superscript106Ks\eta=174\times 10^{6}~{}\rm K/sitalic_η = 174 × 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT roman_K / roman_s (i.e., Γtprot=106Γsubscript𝑡protsuperscript106\Gamma t_{\rm prot}=10^{6}roman_Γ italic_t start_POSTSUBSCRIPT roman_prot end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT in Fig. 4) for a 16000×200016000200016000\times 200016000 × 2000 lattice, averaged over 100100100100 trajectories. The correlation length in weakly-coupled direction (orange curve) departs earlier than the other (brown curve) from the equilibrium solutions (red squares and black circles). On top, we added snap-shots (67×50675067\times 5067 × 50 pseudo-spins) of the time evolution of an example configuration at the respective temperatures as an illustration.

In Fig. 3, we contrast the time-dependent averaged correlation lengths (solid curves) with equilibrium versions (symbols) for a cooling sweep (starting after an equilibration phase). Already at temperatures above Tcritsubscript𝑇critT_{\rm crit}italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT, the correlation lengths depart from their equilibrium limits, but furthermore we see that this happens earlier for the weakly coupled direction.

The final (i.e., frozen) correlation lengths are depicted in Fig. 4 as a function of the cooling rate η1/tprotproportional-to𝜂1subscript𝑡prot\eta\propto 1/t_{\rm prot}italic_η ∝ 1 / italic_t start_POSTSUBSCRIPT roman_prot end_POSTSUBSCRIPT. For extremely fast sweeps Γtprot<103Γsubscript𝑡protsuperscript103\Gamma t_{\rm prot}<10^{3}roman_Γ italic_t start_POSTSUBSCRIPT roman_prot end_POSTSUBSCRIPT < 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT, the system cannot follow and basically remains at the initial equilibrium values. However, already for Γtprot=𝒪(104)Γsubscript𝑡prot𝒪superscript104\Gamma t_{\rm prot}=\,{\cal O}(10^{4})roman_Γ italic_t start_POSTSUBSCRIPT roman_prot end_POSTSUBSCRIPT = caligraphic_O ( 10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ), we start observing a growth of ξsubscript𝜉\xi_{\|}italic_ξ start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT while ξsubscript𝜉perpendicular-to\xi_{\perp}italic_ξ start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT is still negligible, i.e., effectively 1D behavior. For intermediate-speed sweeps, such as Γtprot=𝒪(106)Γsubscript𝑡prot𝒪superscript106\Gamma t_{\rm prot}=\,{\cal O}(10^{6})roman_Γ italic_t start_POSTSUBSCRIPT roman_prot end_POSTSUBSCRIPT = caligraphic_O ( 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT ), we find that both final correlation lengths follow a universal power-law increase, consistent with the Kibble-Zurek exponent ν/(1+zν)1/3𝜈1𝑧𝜈13\nu/(1+z\nu)\approx 1/3italic_ν / ( 1 + italic_z italic_ν ) ≈ 1 / 3, see the fitted regions in Fig. 4. For very slow sweeps, we find that finite-size effects start to play a role.

Refer to caption
Figure 4: Plot of the final (frozen) correlation lengths for different lattice sizes and averaged over 100100100100 trajectories [Nx×Ny×Ntrj]delimited-[]subscript𝑁𝑥subscript𝑁𝑦subscript𝑁trj[N_{x}\times N_{y}\times N_{\rm trj}][ italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT × italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT × italic_N start_POSTSUBSCRIPT roman_trj end_POSTSUBSCRIPT ] for different cooling sweeps, where the system is cooled down from kBTin=25meVsubscript𝑘Bsubscript𝑇in25meVk_{\rm B}T_{\rm in}=25~{}\rm meVitalic_k start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT = 25 roman_meV to kBTout=10meVsubscript𝑘Bsubscript𝑇out10meVk_{\rm B}T_{\rm out}=10~{}\rm meVitalic_k start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT = 10 roman_meV (as in Fig. 3) in various time intervals, i.e., protocol times tprotsubscript𝑡prott_{\rm prot}italic_t start_POSTSUBSCRIPT roman_prot end_POSTSUBSCRIPT. For too fast protocols (left), the system can never follow, but Kibble-Zurek scaling is recovered for intermediate protocol times. Finite-size effects are visible for slow protocols.

Conclusions

As a model for the buckling dynamics of dimers on Si(001) surfaces, we consider the anisotropic Ising model in 2D and study the freezing of spatial correlations (which determine the final domain structure) when cooling through the critical point. Depending on the cooling rate, we find a crossover from effectively 1D behavior for rapid cooling to 2D behavior for slower cooling rates. Similar crossovers can also be observed for symmetry-breaking fields [62]. Exact analytic solution of the 1D case with β(t)=κt𝛽𝑡𝜅𝑡\beta(t)=\kappa titalic_β ( italic_t ) = italic_κ italic_t yields a scaling of the frozen correlation lengths ξfreezeκ1/4proportional-tosuperscript𝜉freezesuperscript𝜅14\xi^{\rm freeze}\propto\kappa^{1/4}italic_ξ start_POSTSUPERSCRIPT roman_freeze end_POSTSUPERSCRIPT ∝ italic_κ start_POSTSUPERSCRIPT 1 / 4 end_POSTSUPERSCRIPT. For the 2D case with T(t)=ηt𝑇𝑡𝜂𝑡T(t)=-\eta titalic_T ( italic_t ) = - italic_η italic_t at intermediate cooling rates η𝜂\etaitalic_η, we numerically found a scaling with ην/(1+zν)η1/3superscript𝜂𝜈1𝑧𝜈superscript𝜂13\eta^{\nu/(1+z\nu)}\approx\eta^{1/3}italic_η start_POSTSUPERSCRIPT italic_ν / ( 1 + italic_z italic_ν ) end_POSTSUPERSCRIPT ≈ italic_η start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT which is consistent with the Kibble-Zurek scaling in 2D. These theoretical predictions strongly encourage experimental investigations of the frozen domain structure. The variation of the cooling rate in this anisotropic 2D Ising system will provide a well-controlled experimental approach to Kibble-Zurek dynamics in condensed matter.

Acknowledgements.

Acknowledgments

Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) through the Collaborative Research Center SFB 1242 “Nonequilibrium dynamics of condensed matter in the time domain” (Project-ID 278162697).

References

  • [1] P. Bak and M. Paczuski. Complexity, contingency, and criticality. PNAS, 92:6689–6696, 1995.
  • [2] S. L. Sondhi, S. M. Girvin, J. P. Carini, and D. Shahar. Continuous quantum phase transitions. Rev. Mod. Phys., 69:315–333, Jan 1997.
  • [3] S. Sachdev. Quantum Phase Transitions. Cambridge University Press, 2011.
  • [4] T. W. B. Kibble. Topology of cosmic domains and strings. J. Phys. A: Math. Gen., 9(8):1387, aug 1976.
  • [5] W. H. Zurek. Cosmological experiments in superfluid helium? Nature, 317:505–508, 1985.
  • [6] W. H. Zurek, U. Dorner, and P. Zoller. Dynamics of a quantum phase transition. Phys. Rev. Lett., 95:105701, 2005.
  • [7] B. Damski. The simplest quantum model supporting the Kibble-Zurek mechanism of topological defect production: Landau-Zener transitions from a new perspective. Phys. Rev. Lett., 95:035701, 2005.
  • [8] L. Cincio, J. Dziarmaga, M. M. Rams, and W. H. Zurek. Entropy of entanglement and correlations induced by a quench: Dynamics of a quantum phase transition in the quantum Ising model. Phys. Rev. A, 75:052321, 2007.
  • [9] A. Dutta, R. R. P. Singh, and U. Divakaran. Quenching through Dirac and semi-Dirac points in optical lattices: Kibble-Zurek scaling for anisotropic quantum critical systems. Europhys. Lett., 89(6):67001, apr 2010.
  • [10] A. del Campo, G. De Chiara, G. Morigi, M. B. Plenio, and A. Retzker. Structural defects in ion chains by quenching the external potential: The inhomogeneous Kibble-Zurek mechanism. Phys. Rev. Lett., 105:075701, Aug 2010.
  • [11] C.-W. Liu, A. Polkovnikov, and A. W. Sandvik. Dynamic scaling at classical phase transitions approached through nonequilibrium quenching. Phys. Rev. B, 89:054307, Feb 2014.
  • [12] P. M. Chesler, A. M. García-García, and H. Liu. Defect formation beyond Kibble-Zurek mechanism and holography. Phys. Rev. X, 5:021015, May 2015.
  • [13] J. Sonner, A. del Campo, and W. H. Zurek. Universal far-from-equilibrium dynamics of a holographic superconductor. Nat. Comm., 6(1):7406, 2015.
  • [14] P. Silvi, G. Morigi, T. Calarco, and S. Montangero. Crossover from classical to quantum Kibble-Zurek scaling. Phys. Rev. Lett., 116:225701, Jun 2016.
  • [15] D. Jaschke, K. Maeda, J. D. Whalen, M. L. Wall, and L. D. Carr. Critical phenomena and Kibble–Zurek scaling in the long-range quantum Ising chain. N. J. Phys., 19(3):033032, mar 2017.
  • [16] B. Dóra, M. Heyl, and R. Moessner. The Kibble-Zurek mechanism at exceptional points. Nat. Comm., 10:2254, 2019.
  • [17] R. Puebla, O. Marty, and M. B. Plenio. Quantum Kibble-Zurek physics in long-range transverse-field Ising models. Phys. Rev. A, 100:032115, Sep 2019.
  • [18] L. Ulčakar, J. Mravlje, and T. Rejec. Kibble-Zurek behavior in disordered Chern insulators. Phys. Rev. Lett., 125:216601, Nov 2020.
  • [19] K. Hódsági and M. Kormos. Kibble–Zurek mechanism in the Ising Field Theory. SciPost Phys., 9:055, 2020.
  • [20] H. Oshiyama, N. Shibata, and S. Suzuki. Kibble–Zurek mechanism in a dissipative transverse Ising chain. J. Phys. Soc. Jap., 89(10):104002, 2020.
  • [21] C. J. O. Reichhardt, A. del Campo, and C. Reichhardt. Kibble-Zurek mechanism for nonequilibrium phase transitions in driven systems with quenched disorder. Commun. Phys., 5:173, 2022.
  • [22] Á. Bácsi and B. Dóra. Kibble–Zurek scaling due to environment temperature quench in the transverse field Ising model. Scient. Rep., 13(1):4034, 2023.
  • [23] S. Ulm, J. Roßnagel, G. Jacob, C. Degünther, S. T. Dawkins, U. G. Poschinger, R. Nigmatullin, A. Retzker, M. B. Plenio, F. Schmidt-Kaler, and K. Singer. Observation of the Kibble-Zurek scaling law for defect formation in ion crystals. Nat. Comm., 4:2290, 2013.
  • [24] G. Lamporesi, S. Donadello, S. Serafini, F. Dalfovo, and G. Ferrari. Spontaneous creation of Kibble–Zurek solitons in a Bose–Einstein condensate. Nat. Phys., 9:656–660, 2013.
  • [25] S. Deutschländer, P. Dillmann, G. Maret, and P. Keim. Kibble–Zurek mechanism in colloidal monolayers. PNAS, 112(22):6925–6930, 2015.
  • [26] M. Gong, X. Wen, G. Sun, D.-W. Zhang, D. Lan, Y. Zhou, Y. Fan, Y. Liu, X. Tan, H. Yu, Y. Yu, S.-L. Zhu, S. Han, and P. Wu. Simulating the Kibble-Zurek mechanism of the Ising model with a superconducting qubit system. Scient. Rep., 6:22667, 2016.
  • [27] J. Beugnon and N. Navon. Exploring the Kibble–Zurek mechanism with homogeneous Bose gases. J. Phys. B: Atom., Mol. Opt. Phys., 50(2):022002, jan 2017.
  • [28] L.-Y. Qiu, H.-Y. Liang, Y.-B. Yang, H.-X. Yang, T. Tian, Y. Xu, and L.-M. Duan. Observation of generalized Kibble-Zurek mechanism across a first-order quantum phase transition in a spinor condensate. Science Advances, 6(21):eaba7292, 2020.
  • [29] K. Du, X. Fang, C. Won, C. De, F.-T. Huang, W. Xu, H. You, F. J. Gómez-Ruiz, A. del Campo, and S.-W. Cheong. Kibble–Zurek mechanism of Ising domains. Nat. Phys., 19:1495–1501, 2023.
  • [30] B.-W. Li, Y.-K. Wu, Q.-X. Mei, R. Yao, W.-Q. Lian, M.-L. Cai, Y. Wang, B.-X. Qi, L. Yao, L. He, Z.-C. Zhou, and L.-M. Duan. Probing critical behavior of long-range transverse-field Ising model through quantum Kibble-Zurek mechanism. PRX Quantum, 4:010302, Jan 2023.
  • [31] T. D. Schultz, D. C. Mattis, and E. H. Lieb. Two-dimensional Ising model as a soluble problem of many fermions. Rev. Mod. Phys., 36:856–871, Jul 1964.
  • [32] B. M. McCoy and T. T. Wu. The Two-Dimensional Ising Model. Harvard University Press, Harvard, 1973.
  • [33] R. J. Baxter. Exactly Solved Models in Statistical Mechanics. Academic Press, London, 1989.
  • [34] M. A. Neto, R. A. dos Anjos, and J. R. de Sousa. Anisotropic Ising model in a magnetic field: Effective-field theory analysis. Phys. Rev. B, 73:214439, Jun 2006.
  • [35] H. Hobrecht and A. Hucht. Anisotropic scaling of the two-dimensional Ising model I: the torus. SciPost Phys., 7:26, Aug 2019.
  • [36] H. Hobrecht and A. Hucht. Anisotropic scaling of the two-dimensional Ising model II: surfaces and boundary fields. SciPost Phys., 8:32, Aug 2020.
  • [37] A. Hucht. The square lattice Ising model on the rectangle iii: Hankel and Toeplitz determinants. J. Phys. A: Math. Theor., 54(37):375201, sep 2021.
  • [38] H. J. W. Zandvliet. Phase diagram of the square 2D Ising lattice with nearest neighbor and next-nearest neighbor interactions. Phase Transitions, 96(3-4):187–195, 2023.
  • [39] A. Saxena, E.T. Gawlinski, and J.D. Gunton. Structural Phase Transitions on the Si(100) Surface. Surf. Sci., 160(2):618–640, 1985.
  • [40] M. Kubota and Y. Murata. Streak patterns in low-energy electron diffraction on Si(001). Phys. Rev. B, 49:4810–4814, Feb 1994.
  • [41] Y. Murata and M. Kubota. Order-disorder transition on Si(001). Phase Transit., 53(2–4):125–141, 1995.
  • [42] K. Inoue, Y. Morikawa, K. Terakura, and M. Nakayama. Order-disorder phase transition on the Si(001) surface: Critical role of dimer defects. Phys. Rev. B, 49:14774–14777, May 1994.
  • [43] Y. Nakamura, H. Kawai, and M. Nakayama. Influence of defects on the order-disorder phase transition of a Si(001) surface. Phys. Rev. B, 55:10549–10560, Apr 1997.
  • [44] H. Kawai, Y. Nakamura, and M. Nakayama. Kinetic One-Dimensional Ising System on a Narrow Si(001)SB Terrace. J. Phys. Soc. Jpn., 68(12):3936–3940, 1999.
  • [45] D. Pillay, B. Stewart, C. B. Shin, and G. S. Hwang. Revisit to the Ising model for order–disorder phase transition on Si(001). Surf. Sci., 554(2):150–158, 2004.
  • [46] Hiroshi Kawai, Osamu Narikiyo, and Kensuke Matsufuji. Structural Phase Transition between c(4×2)𝑐42c(4\times 2)italic_c ( 4 × 2 ) and p(2×2)𝑝22p(2\times 2)italic_p ( 2 × 2 ) Structures on Si(001) Surface under Observation by Scanning Tunneling Microscopy. J. Phys. Soc. Jpn., 76(3):034602, 2007.
  • [47] C. Brand, A. Hucht, G. Jnawali, J. D. Fortmann, B. Sothmann, H. Mehdipour, P. Kratzer, R. Schützhold, and M. Horn-von Hoegen. Dimer coupling energies of the Si(001) surface. Phys. Rev. Lett., 130:126203, Mar 2023.
  • [48] C. Brand, A. Hucht, H. Mehdipour, G. Jnawali, J. D. Fortmann, M. Tajik, R. Hild, B. Sothmann, P. Kratzer, R. Schützhold, and M. Horn-von Hoegen. Critical behavior of the dimerized Si(001) surface: Continuous order-disorder phase transition in the two-dimensional ising universality class. Phys. Rev. B, 109:134104, Apr 2024.
  • [49] Y. Pennec, M. Horn-von Hoegen, Xiaobin Zhu, D. C. Fortin, and M. R. Freeman. Dynamics of an Ising Chain under Local Excitation: A Scanning Tunneling Microscopy Study of Si(100) Dimer Rows at 5 K. Phys. Rev. Lett., 96:026102, Jan 2006.
  • [50] R. A. Wolkow. Direct observation of an increase in buckled dimers on Si(001) at low temperature. Phys. Rev. Lett., 68(17):2636, 1992.
  • [51] R. G. Zhao and W. S. Yang. Atomic structure of the Si(001) c(4 ×2) surface. Phys. Rev. B, 33(10):6780, 1986.
  • [52] D. S. Fisher. Scaling and critical slowing down in random-field Ising systems. Phys. Rev. Lett., 56:416–419, Feb 1986.
  • [53] J. R. Tredicce, G. L. Lippi, Paul Mandel, B. Charasse, A. Chevalier, and B. Picqué. Critical slowing down at a bifurcation. American Journal of Physics, 2004:799–809, 2004.
  • [54] J. Da¸browski, E. Pehlke, and M. Scheffler. Calculation of the surface stress anisotropy for the buckled Si(001)(1×2) and p(2×2) surfaces. Phys. Rev. B, 49:4790–4793, Feb 1994.
  • [55] A. O. Caldeira, A. H. Castro Neto, and T. Oliveira de Carvalho. Dissipative quantum systems modeled by a two-level-reservoir coupling. Phys. Rev. B, 48:13974–13976, Nov 1993.
  • [56] C. Timm. Tunneling through molecules and quantum dots: Master-equation approaches. Phys. Rev. B, 77:195416, May 2008.
  • [57] See supplemental material.
  • [58] L. Onsager. Crystal Statistics. I. A Two-Dimensional Model with an Order-Disorder Transition. Phys. Rev., 65:117–149, Feb 1944.
  • [59] F. M. Bulnes, V. D. Pereyra, and J. L. Riccardo. Collective surface diffusion: n𝑛nitalic_n-fold way kinetic Monte Carlo simulation. Phys. Rev. E, 58:86–92, Jul 1998.
  • [60] K. Binder and D. W. Heermann. Rejection-Free Monte Carlo, pages 179–190. Springer International Publishing, Cham, 2019.
  • [61] P. Kratzer. Multiscale Simulation Methods in Molecular Sciences, volume 42 of NIC Series, chapter Monte Carlo and Kinetic Monte Carlo Methods – A Tutorial, pages 51–76. John von Neumann Institute for Computing (NIC), Jülich Supercomputing Centre, Forschungszentrum Jülich, 52425 Jülich, Germany, 2009.
  • [62] F. Suzuki and W. H. Zurek. Topological defect formation in a phase transition with tunable order. Phys. Rev. Lett., 132:241601, Jun 2024.
  • [63] R. J. Glauber. Time-dependent statistics of the Ising model. J. Math. Phys., 4(2):294–307, 12 1963.
  • [64] Y. Sakai and K. Hukushima. Dynamics of one-dimensional Ising model without detailed balance condition. J. Phys. Soc. Jpn., 82(6):064003, 2013.

Appendix A Appendix: Kibble-Zurek scaling

Let us briefly recapitulate the main arguments leading to the standard Kibble-Zurek scaling. We consider a symmetry-breaking second-order phase transition at the critical temperature Tcritsubscript𝑇critT_{\rm crit}italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT. Approaching the critical point Tcritsubscript𝑇critT_{\rm crit}italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT, the equilibrium correlation length ξeqsuperscript𝜉eq\xi^{\rm eq}italic_ξ start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT obeys the universal scaling behavior

ξeq|TTcritTcrit|ν|τ|νsimilar-tosuperscript𝜉eqsuperscript𝑇subscript𝑇critsubscript𝑇crit𝜈superscript𝜏𝜈\displaystyle\xi^{\rm eq}\sim\left|\frac{T-T_{\rm crit}}{T_{\rm crit}}\right|^% {-\nu}\equiv|\tau|^{-\nu}italic_ξ start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ∼ | divide start_ARG italic_T - italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT end_ARG start_ARG italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT - italic_ν end_POSTSUPERSCRIPT ≡ | italic_τ | start_POSTSUPERSCRIPT - italic_ν end_POSTSUPERSCRIPT (9)

with the universal critical exponent ν𝜈\nuitalic_ν and the dimensionless reduced temperature τ𝜏\tauitalic_τ. Similarly, the response or relaxation time trelaxeqsuperscriptsubscript𝑡relaxeqt_{\rm relax}^{\rm eq}italic_t start_POSTSUBSCRIPT roman_relax end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT (in equilibrium) scales as

trelaxeq|τ|zν(ξeq)zsimilar-tosuperscriptsubscript𝑡relaxeqsuperscript𝜏𝑧𝜈similar-tosuperscriptsuperscript𝜉eq𝑧\displaystyle t_{\rm relax}^{\rm eq}\sim|\tau|^{-z\nu}\sim(\xi^{\rm eq})^{z}italic_t start_POSTSUBSCRIPT roman_relax end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ∼ | italic_τ | start_POSTSUPERSCRIPT - italic_z italic_ν end_POSTSUPERSCRIPT ∼ ( italic_ξ start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT (10)

with the dynamical critical exponent z𝑧zitalic_z. The divergence of trelaxeqsuperscriptsubscript𝑡relaxeqt_{\rm relax}^{\rm eq}italic_t start_POSTSUBSCRIPT roman_relax end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT at the critical point is the hallmark of critical slowing down [52, 53].

Now the idea is to infer non-equilibrium properties from these equilibrium values. Let us assume a linear time-dependence for the cooling protocol τ(t)=ηt𝜏𝑡𝜂𝑡\tau(t)=-\eta titalic_τ ( italic_t ) = - italic_η italic_t with the cooling rate η𝜂\etaitalic_η such that, starting at the time tin<0subscript𝑡in0t_{\rm in}<0italic_t start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT < 0, the critical point is reached at t=0𝑡0t=0italic_t = 0. Then we may estimate the freezing time via |tfreeze|=trelaxeq(τfreeze)subscript𝑡freezesuperscriptsubscript𝑡relaxeqsubscript𝜏freeze|t_{\rm freeze}|=t_{\rm relax}^{\rm eq}(\tau_{\rm freeze})| italic_t start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT | = italic_t start_POSTSUBSCRIPT roman_relax end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( italic_τ start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT ) where τfreeze=τ(tfreeze)subscript𝜏freeze𝜏subscript𝑡freeze\tau_{\rm freeze}=\tau(t_{\rm freeze})italic_τ start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT = italic_τ ( italic_t start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT ), after which the system has no time to equilibrate any more. Insertion into Eq. (10) yields |tfreeze|ηzν/(zν+1)similar-tosubscript𝑡freezesuperscript𝜂𝑧𝜈𝑧𝜈1|t_{\rm freeze}|\sim\eta^{-z\nu/(z\nu+1)}| italic_t start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT | ∼ italic_η start_POSTSUPERSCRIPT - italic_z italic_ν / ( italic_z italic_ν + 1 ) end_POSTSUPERSCRIPT and thus we obtain the frozen correlation length from Eq. (9)

ξfreeze=ξeq(τfreeze)ην/(zν+1),subscript𝜉freezesuperscript𝜉eqsubscript𝜏freezesimilar-tosuperscript𝜂𝜈𝑧𝜈1\displaystyle\xi_{\rm freeze}=\xi^{\rm eq}(\tau_{\rm freeze})\sim\eta^{-\nu/(z% \nu+1)}\,,italic_ξ start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT = italic_ξ start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( italic_τ start_POSTSUBSCRIPT roman_freeze end_POSTSUBSCRIPT ) ∼ italic_η start_POSTSUPERSCRIPT - italic_ν / ( italic_z italic_ν + 1 ) end_POSTSUPERSCRIPT , (11)

which is referred to as Kibble-Zurek scaling [9, 23, 28].

Appendix B Appendix: 1D Ising model

A closer look at the Glauber-Arrhenius rates (3) shows that for the energy differences arising for a single-spin flip at site i𝑖iitalic_i in the 1D Ising model (σi=σisuperscriptsubscript𝜎𝑖subscript𝜎𝑖\sigma_{i}^{\prime}=-\sigma_{i}italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = - italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT)

E𝝈E𝝈=2Jσi(σi1+σi+1),subscript𝐸𝝈subscript𝐸superscript𝝈2𝐽subscript𝜎𝑖subscript𝜎𝑖1subscript𝜎𝑖1\displaystyle E_{\mbox{\boldmath$\scriptstyle\sigma$}}-E_{\mbox{\boldmath$% \scriptstyle\sigma$}^{\prime}}=-2J\sigma_{i}(\sigma_{i-1}+\sigma_{i+1})\,,italic_E start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = - 2 italic_J italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT ) , (12)

the rates can be represented by a quadratic function of the spins near that site [63, 64] with

1eβ(E𝝈E𝝈)+1=12tanh(2βJ)4σi(σi1+σi+1).1superscript𝑒𝛽subscript𝐸superscript𝝈subscript𝐸𝝈1122𝛽𝐽4subscript𝜎𝑖subscript𝜎𝑖1subscript𝜎𝑖1\displaystyle\frac{1}{e^{\beta(E_{\mbox{\boldmath$\scriptstyle\sigma$}^{\prime% }}-E_{\mbox{\boldmath$\scriptstyle\sigma$}})}+1}=\frac{1}{2}-\frac{\tanh(2% \beta J)}{4}\sigma_{i}(\sigma_{i-1}+\sigma_{i+1})\,.divide start_ARG 1 end_ARG start_ARG italic_e start_POSTSUPERSCRIPT italic_β ( italic_E start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT + 1 end_ARG = divide start_ARG 1 end_ARG start_ARG 2 end_ARG - divide start_ARG roman_tanh ( 2 italic_β italic_J ) end_ARG start_ARG 4 end_ARG italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT ) . (13)

For the expectation value of a spin at site i𝑖iitalic_i this implies via Eq. (2)

tσisubscript𝑡delimited-⟨⟩subscript𝜎𝑖\displaystyle\partial_{t}\langle\sigma_{i}\rangle∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ =𝝈σiP˙𝝈=𝝈,𝝈(σiσi)R𝝈𝝈P𝝈absentsubscript𝝈subscript𝜎𝑖subscript˙𝑃𝝈subscript𝝈superscript𝝈superscriptsubscript𝜎𝑖subscript𝜎𝑖subscript𝑅𝝈superscript𝝈subscript𝑃𝝈\displaystyle=\sum\limits_{\mbox{\boldmath$\scriptstyle\sigma$}}\sigma_{i}\dot% {P}_{\mbox{\boldmath$\scriptstyle\sigma$}}=\sum\limits_{\mbox{\boldmath$% \scriptstyle\sigma$},\mbox{\boldmath$\scriptstyle\sigma$}^{\prime}}(\sigma_{i}% ^{\prime}-\sigma_{i})R_{\mbox{\boldmath$\scriptstyle\sigma$}\to\mbox{\boldmath% $\scriptstyle\sigma$}^{\prime}}P_{\mbox{\boldmath$\scriptstyle\sigma$}}= ∑ start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over˙ start_ARG italic_P end_ARG start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT bold_italic_σ , bold_italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) italic_R start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT (14)
=2𝝈σiR𝝈Fi𝝈P𝝈absent2subscript𝝈subscript𝜎𝑖subscript𝑅𝝈subscript𝐹𝑖𝝈subscript𝑃𝝈\displaystyle=-2\sum\limits_{\mbox{\boldmath$\scriptstyle\sigma$}}\sigma_{i}R_% {\mbox{\boldmath$\scriptstyle\sigma$}\to F_{i}\mbox{\boldmath$\scriptstyle% \sigma$}}P_{\mbox{\boldmath$\scriptstyle\sigma$}}= - 2 ∑ start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT bold_italic_σ → italic_F start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT
=ΓeβEB×\displaystyle=-\Gamma e^{-\beta E_{\rm B}}\times= - roman_Γ italic_e start_POSTSUPERSCRIPT - italic_β italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ×
×𝝈[σitanh(2βJ)2(σi1+σi+1)]P𝝈\displaystyle\qquad\times\sum\limits_{\mbox{\boldmath$\scriptstyle\sigma$}}% \left[\sigma_{i}-\frac{\tanh(2\beta J)}{2}(\sigma_{i-1}+\sigma_{i+1})\right]P_% {\mbox{\boldmath$\scriptstyle\sigma$}}× ∑ start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT [ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - divide start_ARG roman_tanh ( 2 italic_β italic_J ) end_ARG start_ARG 2 end_ARG ( italic_σ start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT ) ] italic_P start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT
=ΓeβEB[tanh(2βJ)σi+1+σi12σi],absentΓsuperscript𝑒𝛽subscript𝐸Bdelimited-[]2𝛽𝐽delimited-⟨⟩subscript𝜎𝑖1delimited-⟨⟩subscript𝜎𝑖12delimited-⟨⟩subscript𝜎𝑖\displaystyle=\Gamma e^{-\beta E_{\rm B}}\left[\tanh(2\beta J)\frac{\langle% \sigma_{i+1}\rangle+\langle\sigma_{i-1}\rangle}{2}-\langle\sigma_{i}\rangle% \right]\,,= roman_Γ italic_e start_POSTSUPERSCRIPT - italic_β italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT end_POSTSUPERSCRIPT [ roman_tanh ( 2 italic_β italic_J ) divide start_ARG ⟨ italic_σ start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT ⟩ + ⟨ italic_σ start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT ⟩ end_ARG start_ARG 2 end_ARG - ⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ ] ,

where Fisubscript𝐹𝑖F_{i}italic_F start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT denotes the flip operator for the i𝑖iitalic_ith spin and we used furthermore σi2=1superscriptsubscript𝜎𝑖21\sigma_{i}^{2}=1italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1. With this, we have obtained exact evolution equations for the non-equilibrium expectation values.

Similarly, we can write the two-point functions as tσiσj=2𝝈σiσj(R𝝈Fi𝝈+R𝝈Fj𝝈)P𝝈subscript𝑡delimited-⟨⟩subscript𝜎𝑖subscript𝜎𝑗2subscript𝝈subscript𝜎𝑖subscript𝜎𝑗subscript𝑅𝝈subscript𝐹𝑖𝝈subscript𝑅𝝈subscript𝐹𝑗𝝈subscript𝑃𝝈\partial_{t}\langle\sigma_{i}\sigma_{j}\rangle=-2\sum_{\mbox{\boldmath$% \scriptstyle\sigma$}}\sigma_{i}\sigma_{j}(R_{\mbox{\boldmath$\scriptstyle% \sigma$}\to F_{i}\mbox{\boldmath$\scriptstyle\sigma$}}+R_{\mbox{\boldmath$% \scriptstyle\sigma$}\to F_{j}\mbox{\boldmath$\scriptstyle\sigma$}})P_{\mbox{% \boldmath$\scriptstyle\sigma$}}∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⟩ = - 2 ∑ start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_R start_POSTSUBSCRIPT bold_italic_σ → italic_F start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT + italic_R start_POSTSUBSCRIPT bold_italic_σ → italic_F start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT ) italic_P start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT, which eventually leads to

tσiσj=ΓeβEB[2σiσj+tanh(2βJ)×\displaystyle\partial_{t}\langle\sigma_{i}\sigma_{j}\rangle=\Gamma e^{-\beta E% _{\rm B}}\left[-2\langle\sigma_{i}\sigma_{j}\rangle+\tanh(2\beta J)\times% \phantom{\frac{1}{2}}\right.∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⟩ = roman_Γ italic_e start_POSTSUPERSCRIPT - italic_β italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT end_POSTSUPERSCRIPT [ - 2 ⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⟩ + roman_tanh ( 2 italic_β italic_J ) ×
×σi+1σj+σi1σj+σiσj+1+σiσj12].\displaystyle\left.\times\frac{\langle\sigma_{i+1}\sigma_{j}\rangle+\langle% \sigma_{i-1}\sigma_{j}\rangle+\langle\sigma_{i}\sigma_{j+1}\rangle+\langle% \sigma_{i}\sigma_{j-1}\rangle}{2}\right]\,.× divide start_ARG ⟨ italic_σ start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⟩ + ⟨ italic_σ start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⟩ + ⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT ⟩ + ⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_j - 1 end_POSTSUBSCRIPT ⟩ end_ARG start_ARG 2 end_ARG ] . (15)

If we start in the symmetric phase σi=0delimited-⟨⟩subscript𝜎𝑖0\langle\sigma_{i}\rangle=0⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ = 0, the mean field σidelimited-⟨⟩subscript𝜎𝑖\langle\sigma_{i}\rangle⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ in Eq. (14) stays zero as expected. However, due to σiσi=σi2=1delimited-⟨⟩subscript𝜎𝑖subscript𝜎𝑖delimited-⟨⟩superscriptsubscript𝜎𝑖21\langle\sigma_{i}\sigma_{i}\rangle=\langle\sigma_{i}^{2}\rangle=1⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ = ⟨ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ = 1, the evolution equation (B) for the correlations contains a source term and thus correlations are generated even if they are absent initially.

Taking j=i+a𝑗𝑖𝑎j=i+aitalic_j = italic_i + italic_a and assuming translational invariance, we obtain from (B) an equation for the correlator

tca=ΓeβEB[2ca+tanh(2βJ)(ca1+ca+1)],subscript𝑡subscript𝑐𝑎Γsuperscript𝑒𝛽subscript𝐸Bdelimited-[]2subscript𝑐𝑎2𝛽𝐽subscript𝑐𝑎1subscript𝑐𝑎1\displaystyle\partial_{t}c_{a}=\Gamma e^{-\beta E_{\rm B}}\left[-2c_{a}+\tanh(% 2\beta J)(c_{a-1}+c_{a+1})\right]\,,∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = roman_Γ italic_e start_POSTSUPERSCRIPT - italic_β italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT end_POSTSUPERSCRIPT [ - 2 italic_c start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + roman_tanh ( 2 italic_β italic_J ) ( italic_c start_POSTSUBSCRIPT italic_a - 1 end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT italic_a + 1 end_POSTSUBSCRIPT ) ] , (16)

which upon transformation to the conformal time coordinate becomes Eq. (5) in the main text.

Appendix C Appendix: 2D Ising model

For the anisotropic 2D Ising model – compare Eq. (1) with JxJsubscript𝐽𝑥subscript𝐽J_{x}\to J_{\|}italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT → italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT, JyJsubscript𝐽𝑦subscript𝐽perpendicular-toJ_{y}\to J_{\perp}italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT → italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT, and Jd0subscript𝐽d0J_{\rm d}\to 0italic_J start_POSTSUBSCRIPT roman_d end_POSTSUBSCRIPT → 0 – the energy difference upon flipping a single spin at site (i,j)𝑖𝑗(i,j)( italic_i , italic_j ) (i.e., σi,j=σi,jsuperscriptsubscript𝜎𝑖𝑗subscript𝜎𝑖𝑗\sigma_{i,j}^{\prime}=-\sigma_{i,j}italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = - italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT) is

E𝝈E𝝈subscript𝐸𝝈subscript𝐸superscript𝝈\displaystyle E_{\mbox{\boldmath$\scriptstyle\sigma$}}-E_{\mbox{\boldmath$% \scriptstyle\sigma$}^{\prime}}italic_E start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT =2Jσi,j(σi1,j+σi+1,j)absent2subscript𝐽subscript𝜎𝑖𝑗subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗\displaystyle=-2J_{\|}\sigma_{i,j}(\sigma_{i-1,j}+\sigma_{i+1,j})= - 2 italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT )
2Jσi,j(σi,j1+σi,j+1),2subscript𝐽perpendicular-tosubscript𝜎𝑖𝑗subscript𝜎𝑖𝑗1subscript𝜎𝑖𝑗1\displaystyle\quad-2J_{\perp}\sigma_{i,j}(\sigma_{i,j-1}+\sigma_{i,j+1})\,,- 2 italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i , italic_j - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT ) , (17)

such that the Glauber rates (3) lead to a quartic representation

1eβ(E𝝈E𝝈)+11superscript𝑒𝛽subscript𝐸superscript𝝈subscript𝐸𝝈1\displaystyle\frac{1}{e^{\beta(E_{\mbox{\boldmath$\scriptstyle\sigma$}^{\prime% }}-E_{\mbox{\boldmath$\scriptstyle\sigma$}})}+1}divide start_ARG 1 end_ARG start_ARG italic_e start_POSTSUPERSCRIPT italic_β ( italic_E start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT + 1 end_ARG =12fσi,j(σi1,j+σi+1,j)absent12subscript𝑓subscript𝜎𝑖𝑗subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗\displaystyle=\frac{1}{2}-f_{\|}\sigma_{i,j}(\sigma_{i-1,j}+\sigma_{i+1,j})= divide start_ARG 1 end_ARG start_ARG 2 end_ARG - italic_f start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT )
fσi,j(σi,j1+σi,j+1)subscript𝑓perpendicular-tosubscript𝜎𝑖𝑗subscript𝜎𝑖𝑗1subscript𝜎𝑖𝑗1\displaystyle\quad-f_{\perp}\sigma_{i,j}(\sigma_{i,j-1}+\sigma_{i,j+1})- italic_f start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i , italic_j - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT )
+gσi,j(σi1,j+σi+1,j)σi,j1σi,j+1subscript𝑔subscript𝜎𝑖𝑗subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗subscript𝜎𝑖𝑗1subscript𝜎𝑖𝑗1\displaystyle\quad+g_{\|}\sigma_{i,j}(\sigma_{i-1,j}+\sigma_{i+1,j})\sigma_{i,% j-1}\sigma_{i,j+1}+ italic_g start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT ) italic_σ start_POSTSUBSCRIPT italic_i , italic_j - 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT
+gσi,jσi1,jσi+1,j(σi,j1+σi,j+1),subscript𝑔perpendicular-tosubscript𝜎𝑖𝑗subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗subscript𝜎𝑖𝑗1subscript𝜎𝑖𝑗1\displaystyle\quad+g_{\perp}\sigma_{i,j}\sigma_{i-1,j}\sigma_{i+1,j}(\sigma_{i% ,j-1}+\sigma_{i,j+1})\,,+ italic_g start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i , italic_j - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT ) , (18)

with the abbreviations

fsubscript𝑓\displaystyle f_{\|}italic_f start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT =[1+2cosh(4βJ)+cosh(4βJ)]tanh(2βJ)16cosh(2βJ+2βJ)cosh(2βJ2βJ),absentdelimited-[]124𝛽subscript𝐽4𝛽subscript𝐽perpendicular-to2𝛽subscript𝐽162𝛽subscript𝐽2𝛽subscript𝐽perpendicular-to2𝛽subscript𝐽2𝛽subscript𝐽perpendicular-to\displaystyle=\frac{[1+2\cosh(4\beta J_{\|})+\cosh(4\beta J_{\perp})]\tanh(2% \beta J_{\|})}{16\cosh(2\beta J_{\|}+2\beta J_{\perp})\cosh(2\beta J_{\|}-2% \beta J_{\perp})}\,,= divide start_ARG [ 1 + 2 roman_cosh ( 4 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) + roman_cosh ( 4 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) ] roman_tanh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_ARG start_ARG 16 roman_cosh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT + 2 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) roman_cosh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT - 2 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) end_ARG ,
fsubscript𝑓perpendicular-to\displaystyle f_{\perp}italic_f start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT =[1+2cosh(4βJ)+cosh(4βJ)]tanh(2βJ)16cosh(2βJ+2βJ)cosh(2βJ2βJ),absentdelimited-[]124𝛽subscript𝐽perpendicular-to4𝛽subscript𝐽2𝛽subscript𝐽perpendicular-to162𝛽subscript𝐽2𝛽subscript𝐽perpendicular-to2𝛽subscript𝐽2𝛽subscript𝐽perpendicular-to\displaystyle=\frac{[1+2\cosh(4\beta J_{\perp})+\cosh(4\beta J_{\|})]\tanh(2% \beta J_{\perp})}{16\cosh(2\beta J_{\|}+2\beta J_{\perp})\cosh(2\beta J_{\|}-2% \beta J_{\perp})}\,,= divide start_ARG [ 1 + 2 roman_cosh ( 4 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) + roman_cosh ( 4 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) ] roman_tanh ( 2 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) end_ARG start_ARG 16 roman_cosh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT + 2 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) roman_cosh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT - 2 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) end_ARG ,
gsubscript𝑔\displaystyle g_{\|}italic_g start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT =sinh2(2βJ)tanh(2βJ)4cosh(4βJ)+4cosh(4βJ),absentsuperscript22𝛽subscript𝐽perpendicular-to2𝛽subscript𝐽44𝛽subscript𝐽44𝛽subscript𝐽perpendicular-to\displaystyle=\frac{\sinh^{2}(2\beta J_{\perp})\tanh(2\beta J_{\|})}{4\cosh(4% \beta J_{\|})+4\cosh(4\beta J_{\perp})}\,,= divide start_ARG roman_sinh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 2 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) roman_tanh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_ARG start_ARG 4 roman_cosh ( 4 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) + 4 roman_cosh ( 4 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) end_ARG ,
gsubscript𝑔perpendicular-to\displaystyle g_{\perp}italic_g start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT =sinh2(2βJ)tanh(2βJ)4cosh(4βJ)+4cosh(4βJ),absentsuperscript22𝛽subscript𝐽2𝛽subscript𝐽perpendicular-to44𝛽subscript𝐽44𝛽subscript𝐽perpendicular-to\displaystyle=\frac{\sinh^{2}(2\beta J_{\|})\tanh(2\beta J_{\perp})}{4\cosh(4% \beta J_{\|})+4\cosh(4\beta J_{\perp})}\,,= divide start_ARG roman_sinh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) roman_tanh ( 2 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) end_ARG start_ARG 4 roman_cosh ( 4 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) + 4 roman_cosh ( 4 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) end_ARG , (19)

which shows that it will in general not be possible to obtain exact closed evolution equations, as e.g. first-order terms couple to three-point functions (Fijsubscript𝐹𝑖𝑗F_{ij}italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT implements a flip of spin at ij𝑖𝑗ijitalic_i italic_j)

tσi,jsubscript𝑡delimited-⟨⟩subscript𝜎𝑖𝑗\displaystyle\partial_{t}\langle\sigma_{i,j}\rangle∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ⟩ =2𝝈σi,jR𝝈Fij𝝈P𝝈absent2subscript𝝈subscript𝜎𝑖𝑗subscript𝑅𝝈subscript𝐹𝑖𝑗𝝈subscript𝑃𝝈\displaystyle=-2\sum_{\mbox{\boldmath$\scriptstyle\sigma$}}\sigma_{i,j}R_{% \mbox{\boldmath$\scriptstyle\sigma$}\to F_{ij}\mbox{\boldmath$\scriptstyle% \sigma$}}P_{\mbox{\boldmath$\scriptstyle\sigma$}}= - 2 ∑ start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT bold_italic_σ → italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT
=ΓeβEB[σi,j\displaystyle=\Gamma e^{-\beta E_{\rm B}}\Big{[}-\langle\sigma_{i,j}\rangle= roman_Γ italic_e start_POSTSUPERSCRIPT - italic_β italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT end_POSTSUPERSCRIPT [ - ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ⟩
+2fσi1,j+σi+1,j+2fσi,j1+σi,j+12subscript𝑓delimited-⟨⟩subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗2subscript𝑓perpendicular-todelimited-⟨⟩subscript𝜎𝑖𝑗1subscript𝜎𝑖𝑗1\displaystyle\qquad+2f_{\|}\langle\sigma_{i-1,j}+\sigma_{i+1,j}\rangle+2f_{% \perp}\langle\sigma_{i,j-1}+\sigma_{i,j+1}\rangle+ 2 italic_f start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT ⟩ + 2 italic_f start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT ⟩
2g(σi1,j+σi+1,j)σi,j1σi,j+12subscript𝑔delimited-⟨⟩subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗subscript𝜎𝑖𝑗1subscript𝜎𝑖𝑗1\displaystyle\qquad-2g_{\|}\langle(\sigma_{i-1,j}+\sigma_{i+1,j})\sigma_{i,j-1% }\sigma_{i,j+1}\rangle- 2 italic_g start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ⟨ ( italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT ) italic_σ start_POSTSUBSCRIPT italic_i , italic_j - 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT ⟩
2gσi1,jσi+1,j(σi,j1+σi,j+1)],\displaystyle\qquad-2g_{\perp}\langle\sigma_{i-1,j}\sigma_{i+1,j}(\sigma_{i,j-% 1}+\sigma_{i,j+1})\rangle\Big{]}\,,- 2 italic_g start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i , italic_j - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT ) ⟩ ] , (20)

and analogously two-point functions couple to four-point functions

tσi,jσk,subscript𝑡delimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑘\displaystyle\partial_{t}\langle\sigma_{i,j}\sigma_{k,\ell}\rangle∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT ⟩ =2𝝈σi,jσk,(R𝝈Fij𝝈+R𝝈Fk𝝈)P𝝈absent2subscript𝝈subscript𝜎𝑖𝑗subscript𝜎𝑘subscript𝑅𝝈subscript𝐹𝑖𝑗𝝈subscript𝑅𝝈subscript𝐹𝑘𝝈subscript𝑃𝝈\displaystyle=-2\sum_{\mbox{\boldmath$\scriptstyle\sigma$}}\sigma_{i,j}\sigma_% {k,\ell}(R_{\mbox{\boldmath$\scriptstyle\sigma$}\to F_{ij}\mbox{\boldmath$% \scriptstyle\sigma$}}+R_{\mbox{\boldmath$\scriptstyle\sigma$}\to F_{k\ell}% \mbox{\boldmath$\scriptstyle\sigma$}})P_{\mbox{\boldmath$\scriptstyle\sigma$}}= - 2 ∑ start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT ( italic_R start_POSTSUBSCRIPT bold_italic_σ → italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT + italic_R start_POSTSUBSCRIPT bold_italic_σ → italic_F start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT ) italic_P start_POSTSUBSCRIPT bold_italic_σ end_POSTSUBSCRIPT
=ΓeβEB[2σi,jσk,\displaystyle=\Gamma e^{-\beta E_{\rm B}}\Big{[}-2\langle\sigma_{i,j}\sigma_{k% ,\ell}\rangle= roman_Γ italic_e start_POSTSUPERSCRIPT - italic_β italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT end_POSTSUPERSCRIPT [ - 2 ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT ⟩
+2fσk,(σi1,j+σi+1,j)2subscript𝑓delimited-⟨⟩subscript𝜎𝑘subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗\displaystyle\quad+2f_{\|}\langle\sigma_{k,\ell}(\sigma_{i-1,j}+\sigma_{i+1,j})\rangle+ 2 italic_f start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT ) ⟩
+2fσi,j(σk1,+σk+1,)2subscript𝑓delimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑘1subscript𝜎𝑘1\displaystyle\quad+2f_{\|}\langle\sigma_{i,j}(\sigma_{k-1,\ell}+\sigma_{k+1,% \ell})\rangle+ 2 italic_f start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_k - 1 , roman_ℓ end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_k + 1 , roman_ℓ end_POSTSUBSCRIPT ) ⟩
+2fσk,(σi,j1+σi,j+1)2subscript𝑓perpendicular-todelimited-⟨⟩subscript𝜎𝑘subscript𝜎𝑖𝑗1subscript𝜎𝑖𝑗1\displaystyle\quad+2f_{\perp}\langle\sigma_{k,\ell}(\sigma_{i,j-1}+\sigma_{i,j% +1})\rangle+ 2 italic_f start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i , italic_j - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT ) ⟩
+2fσi,j(σk,1+σk,+1)2subscript𝑓perpendicular-todelimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑘1subscript𝜎𝑘1\displaystyle\quad+2f_{\perp}\langle\sigma_{i,j}(\sigma_{k,\ell-1}+\sigma_{k,% \ell+1})\rangle+ 2 italic_f start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ + 1 end_POSTSUBSCRIPT ) ⟩
2gσk,(σi1,j+σi+1,j)σi,j1σi,j+12subscript𝑔delimited-⟨⟩subscript𝜎𝑘subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗subscript𝜎𝑖𝑗1subscript𝜎𝑖𝑗1\displaystyle\quad-2g_{\|}\langle\sigma_{k,\ell}(\sigma_{i-1,j}+\sigma_{i+1,j}% )\sigma_{i,j-1}\sigma_{i,j+1}\rangle- 2 italic_g start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT ) italic_σ start_POSTSUBSCRIPT italic_i , italic_j - 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT ⟩
2gσi,j(σk1,+σk+1,)σk,1σk,+12subscript𝑔delimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑘1subscript𝜎𝑘1subscript𝜎𝑘1subscript𝜎𝑘1\displaystyle\quad-2g_{\|}\langle\sigma_{i,j}(\sigma_{k-1,\ell}+\sigma_{k+1,% \ell})\sigma_{k,\ell-1}\sigma_{k,\ell+1}\rangle- 2 italic_g start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_k - 1 , roman_ℓ end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_k + 1 , roman_ℓ end_POSTSUBSCRIPT ) italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ - 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ + 1 end_POSTSUBSCRIPT ⟩
2gσk,σi1,jσi+1,j(σi,j1+σi,j+1)2subscript𝑔perpendicular-todelimited-⟨⟩subscript𝜎𝑘subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗subscript𝜎𝑖𝑗1subscript𝜎𝑖𝑗1\displaystyle\quad-2g_{\perp}\langle\sigma_{k,\ell}\sigma_{i-1,j}\sigma_{i+1,j% }(\sigma_{i,j-1}+\sigma_{i,j+1})\rangle- 2 italic_g start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_i , italic_j - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i , italic_j + 1 end_POSTSUBSCRIPT ) ⟩
2gσi,jσk1,σk+1,(σk,1+σk,+1)],\displaystyle\quad-2g_{\perp}\langle\sigma_{i,j}\sigma_{k-1,\ell}\sigma_{k+1,% \ell}(\sigma_{k,\ell-1}+\sigma_{k,\ell+1})\rangle\Big{]}\,,- 2 italic_g start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k - 1 , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_k + 1 , roman_ℓ end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ - 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ + 1 end_POSTSUBSCRIPT ) ⟩ ] , (21)

and so on. The above hierarchy can be closed at some order by mean-field-type approximations, leading in general to nonlinear equations, which however is expected to become inaccurate near the critical point.

If we would keep only two-point correlators and neglect all three-point and higher correlations, the above equation would again become a diffusion-dissipation equation (in the continuum limit), but with an anisotropic diffusion kernel. The damping term γ𝛾\gammaitalic_γ would then vanish at a mean-field approximation to the critical temperature Tcritsubscript𝑇critT_{\rm crit}italic_T start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT of the 2D Ising model (1). However, while the restriction to two-point correlations is exact for the 1D Ising model, it is only an approximation for the 2D case. Moreover, this approximation is expected to become quite inaccurate near the critical point.

In the strongly anisotropic scenario relevant for our considerations, noting that g=𝒪{J}subscript𝑔perpendicular-to𝒪subscript𝐽perpendicular-tog_{\perp}=\,{\cal O}\{J_{\perp}\}italic_g start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = caligraphic_O { italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT } and considering the strong correlations along rows, we can approximate terms like σk,σi1,jσi+1,jσi,j±1σk,σi,j±1σi1,jσi+1,jσk,σi,j±1tanh2(βJ)delimited-⟨⟩subscript𝜎𝑘subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗subscript𝜎𝑖plus-or-minus𝑗1delimited-⟨⟩subscript𝜎𝑘subscript𝜎𝑖plus-or-minus𝑗1delimited-⟨⟩subscript𝜎𝑖1𝑗subscript𝜎𝑖1𝑗delimited-⟨⟩subscript𝜎𝑘subscript𝜎𝑖plus-or-minus𝑗1superscript2𝛽subscript𝐽\langle\sigma_{k,\ell}\sigma_{i-1,j}\sigma_{i+1,j}\sigma_{i,j\pm 1}\rangle% \approx\langle\sigma_{k,\ell}\sigma_{i,j\pm 1}\rangle\langle\sigma_{i-1,j}% \sigma_{i+1,j}\rangle\approx\langle\sigma_{k,\ell}\sigma_{i,j\pm 1}\rangle% \tanh^{2}(\beta J_{\|})⟨ italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j ± 1 end_POSTSUBSCRIPT ⟩ ≈ ⟨ italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j ± 1 end_POSTSUBSCRIPT ⟩ ⟨ italic_σ start_POSTSUBSCRIPT italic_i - 1 , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 , italic_j end_POSTSUBSCRIPT ⟩ ≈ ⟨ italic_σ start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j ± 1 end_POSTSUBSCRIPT ⟩ roman_tanh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ). Taking k=i+a𝑘𝑖𝑎k=i+aitalic_k = italic_i + italic_a and =j+b𝑗𝑏\ell=j+broman_ℓ = italic_j + italic_b, and exploiting translational invariance, we then obtain for the correlator (further using that g=𝒪{J2}subscript𝑔𝒪superscriptsubscript𝐽perpendicular-to2g_{\|}=\,{\cal O}\{J_{\perp}^{2}\}italic_g start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT = caligraphic_O { italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT }),

tca,bsubscript𝑡subscript𝑐𝑎𝑏\displaystyle\partial_{t}c_{a,b}∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_a , italic_b end_POSTSUBSCRIPT =ΓeβEB[2ca,b+4f(ca1,b+ca+1,b)\displaystyle=\Gamma e^{-\beta E_{\rm B}}\Big{[}-2c_{a,b}+4f_{\|}(c_{a-1,b}+c_% {a+1,b})= roman_Γ italic_e start_POSTSUPERSCRIPT - italic_β italic_E start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT end_POSTSUPERSCRIPT [ - 2 italic_c start_POSTSUBSCRIPT italic_a , italic_b end_POSTSUBSCRIPT + 4 italic_f start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ( italic_c start_POSTSUBSCRIPT italic_a - 1 , italic_b end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT italic_a + 1 , italic_b end_POSTSUBSCRIPT )
+4[fgtanh2(βJ)](ca,b1+ca,b+1)]\displaystyle\qquad+4[f_{\perp}-g_{\perp}\tanh^{2}(\beta J_{\|})](c_{a,b-1}+c_% {a,b+1})\Big{]}+ 4 [ italic_f start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT roman_tanh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) ] ( italic_c start_POSTSUBSCRIPT italic_a , italic_b - 1 end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT italic_a , italic_b + 1 end_POSTSUBSCRIPT ) ]
+𝒪{J2}.𝒪superscriptsubscript𝐽perpendicular-to2\displaystyle\qquad+\,{\cal O}\{J_{\perp}^{2}\}\,.+ caligraphic_O { italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } . (22)

Furthermore inserting 4f=tanh(2βJ)+𝒪{J2}4subscript𝑓2𝛽subscript𝐽𝒪superscriptsubscript𝐽perpendicular-to24f_{\|}=\tanh(2\beta J_{\|})+\,{\cal O}\{J_{\perp}^{2}\}4 italic_f start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT = roman_tanh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) + caligraphic_O { italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } and 4[fgtanh2(βJ)]=2βJ/cosh(2βJ)+𝒪{J2}4delimited-[]subscript𝑓perpendicular-tosubscript𝑔perpendicular-tosuperscript2𝛽subscript𝐽2𝛽subscript𝐽perpendicular-to2𝛽subscript𝐽𝒪superscriptsubscript𝐽perpendicular-to24[f_{\perp}-g_{\perp}\tanh^{2}(\beta J_{\|})]=2\beta J_{\perp}/\cosh(2\beta J_% {\|})+\,{\cal O}\{J_{\perp}^{2}\}4 [ italic_f start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT roman_tanh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) ] = 2 italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT / roman_cosh ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) + caligraphic_O { italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } and employing the mapping to the conformal time as before, we recover Eq. (8) in the main text. An approximation to the critical temperature is then obtained from solving 1=4f+4[fgtanh2(βcritJ)]14subscript𝑓4delimited-[]subscript𝑓perpendicular-tosubscript𝑔perpendicular-tosuperscript2subscript𝛽critsubscript𝐽1=4f_{\|}+4[f_{\perp}-g_{\perp}\tanh^{2}(\beta_{\rm crit}J_{\|})]1 = 4 italic_f start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT + 4 [ italic_f start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT roman_tanh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_β start_POSTSUBSCRIPT roman_crit end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) ].

If instead we had neglected all four-point correlators completely, we would obtain the above equation with g0subscript𝑔perpendicular-to0g_{\perp}\to 0italic_g start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT → 0, which with 4f=βJ[1+cosh2(2βJ)]+𝒪{J2}4subscript𝑓perpendicular-to𝛽subscript𝐽perpendicular-todelimited-[]1superscript22𝛽subscript𝐽𝒪superscriptsubscript𝐽perpendicular-to24f_{\perp}=\beta J_{\perp}[1+\cosh^{-2}(2\beta J_{\|})]+\,{\cal O}\{J_{\perp}^% {2}\}4 italic_f start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = italic_β italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT [ 1 + roman_cosh start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT ( 2 italic_β italic_J start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) ] + caligraphic_O { italic_J start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } would lead to a larger diffusion constant along the weakly-coupled direction. Also the equation for the approximate critical point 1=4f+4f14subscript𝑓4subscript𝑓perpendicular-to1=4f_{\|}+4f_{\perp}1 = 4 italic_f start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT + 4 italic_f start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT would yield a less accurate result in this case.

Appendix D Appendix: Numerical Methods

Stochastic propagation

To solve a rate equation of the form

𝑷˙=(t)𝑷,˙𝑷𝑡𝑷\displaystyle\dot{\mbox{\boldmath$P$}}={\cal L}(t)\mbox{\boldmath$P$}\,,over˙ start_ARG bold_italic_P end_ARG = caligraphic_L ( italic_t ) bold_italic_P , (23)

with probability vector 𝑷𝑷Pbold_italic_P and time-dependent rate matrix (t)=0(t)+1(t)𝑡subscript0𝑡subscript1𝑡{\cal L}(t)={\cal L}_{0}(t)+{\cal L}_{1}(t)caligraphic_L ( italic_t ) = caligraphic_L start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) + caligraphic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t ) (with diagonal part 0(t)subscript0𝑡{\cal L}_{0}(t)caligraphic_L start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) and an off-diagonal part 1(t)subscript1𝑡{\cal L}_{1}(t)caligraphic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t )) via trajectories, we employ a Dyson-type series for the full propagator

𝒫(t,0)𝒫𝑡0\displaystyle{\cal P}(t,0)caligraphic_P ( italic_t , 0 ) =𝒫0(t,0)+0t𝑑t1𝒫0(t,t1)1(t1)𝒫0(t1,0)absentsubscript𝒫0𝑡0superscriptsubscript0𝑡differential-dsubscript𝑡1subscript𝒫0𝑡subscript𝑡1subscript1subscript𝑡1subscript𝒫0subscript𝑡10\displaystyle={\cal P}_{0}(t,0)+\int_{0}^{t}dt_{1}{\cal P}_{0}(t,t_{1}){\cal L% }_{1}(t_{1}){\cal P}_{0}(t_{1},0)= caligraphic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t , 0 ) + ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_d italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT caligraphic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t , italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) caligraphic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) caligraphic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , 0 )
+0tdt20t2dt1𝒫0(t,t2)1(t2)𝒫0(t2,t1)×\displaystyle\qquad+\int_{0}^{t}dt_{2}\int_{0}^{t_{2}}dt_{1}{\cal P}_{0}(t,t_{% 2}){\cal L}_{1}(t_{2}){\cal P}_{0}(t_{2},t_{1})\times+ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_d italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT caligraphic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) caligraphic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) caligraphic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ×
×1(t1)𝒫0(t1,0)+absentsubscript1subscript𝑡1subscript𝒫0subscript𝑡10\displaystyle\qquad\qquad\times{\cal L}_{1}(t_{1}){\cal P}_{0}(t_{1},0)+\ldots× caligraphic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) caligraphic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , 0 ) + … (24)

As 0(t)subscript0𝑡{\cal L}_{0}(t)caligraphic_L start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) is a diagonal matrix, it commutes with itself at different times, and we can compute the associated propagator simply via

𝒫0(t2,t1)=exp{t1t20(t)𝑑t}.subscript𝒫0subscript𝑡2subscript𝑡1superscriptsubscriptsubscript𝑡1subscript𝑡2subscript0superscript𝑡differential-dsuperscript𝑡\displaystyle{\cal P}_{0}(t_{2},t_{1})=\exp\left\{\int_{t_{1}}^{t_{2}}{\cal L}% _{0}(t^{\prime})dt^{\prime}\right\}\,.caligraphic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = roman_exp { ∫ start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT caligraphic_L start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_d italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT } . (25)

Therefore, assuming that at time t𝑡titalic_t we are in state 𝝈𝝈\sigmabold_italic_σ, the associated probability to remain in that state up to time t+τ𝑡𝜏t+\tauitalic_t + italic_τ is

Pstay𝝈(t,τ)=exp{𝝈𝝈tt+τR𝝈𝝈(t)𝑑t}.superscriptsubscript𝑃stay𝝈𝑡𝜏subscriptsuperscript𝝈bold-′𝝈superscriptsubscript𝑡𝑡𝜏subscript𝑅𝝈superscript𝝈bold-′superscript𝑡differential-dsuperscript𝑡\displaystyle P_{\rm stay}^{\mbox{\boldmath$\scriptstyle\sigma$}}(t,\tau)=\exp% \left\{-\sum_{\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}\neq\mbox{\boldmath% $\scriptstyle\sigma$}}\int_{t}^{t+\tau}R_{\mbox{\boldmath$\scriptstyle\sigma$}% \to\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}}(t^{\prime})dt^{\prime}\right% \}\,.italic_P start_POSTSUBSCRIPT roman_stay end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_italic_σ end_POSTSUPERSCRIPT ( italic_t , italic_τ ) = roman_exp { - ∑ start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT ≠ bold_italic_σ end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t + italic_τ end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_d italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT } . (26)

The waiting time distribution for the first jump to a different state is then

w𝝈(t,τ)=ddτ[1Pstay𝝈(t,τ)].superscript𝑤𝝈𝑡𝜏𝑑𝑑𝜏delimited-[]1superscriptsubscript𝑃stay𝝈𝑡𝜏\displaystyle w^{\mbox{\boldmath$\scriptstyle\sigma$}}(t,\tau)=\frac{d}{d\tau}% \left[1-P_{\rm stay}^{\mbox{\boldmath$\scriptstyle\sigma$}}(t,\tau)\right]\,.italic_w start_POSTSUPERSCRIPT bold_italic_σ end_POSTSUPERSCRIPT ( italic_t , italic_τ ) = divide start_ARG italic_d end_ARG start_ARG italic_d italic_τ end_ARG [ 1 - italic_P start_POSTSUBSCRIPT roman_stay end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_italic_σ end_POSTSUPERSCRIPT ( italic_t , italic_τ ) ] . (27)

To obtain accordingly distributed waiting times from uniformly distributed random numbers r[0,1]𝑟01r\in[0,1]italic_r ∈ [ 0 , 1 ] we thus equate those with the cumulative probability of jumping r=1exp{𝝈𝝈tt+τR𝝈𝝈(t)𝑑t}𝑟1subscriptsuperscript𝝈bold-′𝝈superscriptsubscript𝑡𝑡𝜏subscript𝑅𝝈superscript𝝈bold-′superscript𝑡differential-dsuperscript𝑡r=1-\exp\left\{-\sum_{\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}\neq\mbox{% \boldmath$\scriptstyle\sigma$}}\int_{t}^{t+\tau}R_{\mbox{\boldmath$% \scriptstyle\sigma$}\to\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}}(t^{% \prime})dt^{\prime}\right\}italic_r = 1 - roman_exp { - ∑ start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT ≠ bold_italic_σ end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t + italic_τ end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_d italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT }, such that we solve the equation

ln(1r)=𝝈𝝈tt+τR𝝈𝝈(t)𝑑t1𝑟subscriptsuperscript𝝈bold-′𝝈superscriptsubscript𝑡𝑡𝜏subscript𝑅𝝈superscript𝝈bold-′superscript𝑡differential-dsuperscript𝑡\displaystyle\ln(1-r)=-\sum_{\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}\neq% \mbox{\boldmath$\scriptstyle\sigma$}}\int_{t}^{t+\tau}R_{\mbox{\boldmath$% \scriptstyle\sigma$}\to\mbox{\boldmath$\scriptstyle\sigma^{\prime}$}}(t^{% \prime})dt^{\prime}roman_ln ( 1 - italic_r ) = - ∑ start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT ≠ bold_italic_σ end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t + italic_τ end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_d italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT (28)

for the waiting time τ𝜏\tauitalic_τ. This can be achieved by Newton-Raphson iteration, where a suitable initial guess can be obtained by assuming that rates are roughly constant over the waiting time

τ0=ln(1r)𝝈𝝈R𝝈𝝈(t).subscript𝜏01𝑟subscriptsuperscript𝝈bold-′𝝈subscript𝑅𝝈superscript𝝈bold-′𝑡\displaystyle\tau_{0}=-\frac{\ln(1-r)}{\sum\limits_{\mbox{\boldmath$% \scriptstyle\sigma^{\prime}$}\neq\mbox{\boldmath$\scriptstyle\sigma$}}R_{\mbox% {\boldmath$\scriptstyle\sigma$}\to\mbox{\boldmath$\scriptstyle\sigma^{\prime}$% }}(t)}\,.italic_τ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = - divide start_ARG roman_ln ( 1 - italic_r ) end_ARG start_ARG ∑ start_POSTSUBSCRIPT bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT ≠ bold_italic_σ end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT bold_italic_σ → bold_italic_σ start_POSTSUPERSCRIPT bold_′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_t ) end_ARG . (29)

Extraction of correlation lengths

Denoting the (fast) Fourier-transformed grid for an Nx×Nysubscript𝑁𝑥subscript𝑁𝑦N_{x}\times N_{y}italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT × italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT lattice as

σ~ksubscript~𝜎𝑘\displaystyle\tilde{\sigma}_{k\ell}over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT =ijσije2πi(i1)(k1)/Nxe2πi(j1)(1)/Ny,absentsubscript𝑖𝑗subscript𝜎𝑖𝑗superscript𝑒2𝜋i𝑖1𝑘1subscript𝑁𝑥superscript𝑒2𝜋i𝑗11subscript𝑁𝑦\displaystyle=\sum_{ij}\sigma_{ij}e^{-2\pi{\rm i}(i-1)(k-1)/N_{x}}e^{-2\pi{\rm i% }(j-1)(\ell-1)/N_{y}}\,,= ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - 2 italic_π roman_i ( italic_i - 1 ) ( italic_k - 1 ) / italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - 2 italic_π roman_i ( italic_j - 1 ) ( roman_ℓ - 1 ) / italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (30)

it follows that the quantities

k|σ~k|2subscript𝑘superscriptsubscript~𝜎𝑘2\displaystyle\sum_{k}{\left|\tilde{\sigma}_{k\ell}\right|}^{2}∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =Nxq[ijσijσi,j+q]e+2πiq(1)/Ny,absentsubscript𝑁𝑥subscript𝑞delimited-[]subscript𝑖𝑗subscript𝜎𝑖𝑗subscript𝜎𝑖𝑗𝑞superscript𝑒2𝜋i𝑞1subscript𝑁𝑦\displaystyle=N_{x}\sum_{q}\left[\sum_{ij}\sigma_{ij}\sigma_{i,j+q}\right]e^{+% 2\pi{\rm i}q(\ell-1)/N_{y}}\,,= italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT [ ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j + italic_q end_POSTSUBSCRIPT ] italic_e start_POSTSUPERSCRIPT + 2 italic_π roman_i italic_q ( roman_ℓ - 1 ) / italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ,
|σ~k|2subscriptsuperscriptsubscript~𝜎𝑘2\displaystyle\sum_{\ell}{\left|\tilde{\sigma}_{k\ell}\right|}^{2}∑ start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =Nyq[ijσijσi+q,j]e+2πiq(k1)/Nx,absentsubscript𝑁𝑦subscript𝑞delimited-[]subscript𝑖𝑗subscript𝜎𝑖𝑗subscript𝜎𝑖𝑞𝑗superscript𝑒2𝜋i𝑞𝑘1subscript𝑁𝑥\displaystyle=N_{y}\sum_{q}\left[\sum_{ij}\sigma_{ij}\sigma_{i+q,j}\right]e^{+% 2\pi{\rm i}q(k-1)/N_{x}}\,,= italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT [ ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + italic_q , italic_j end_POSTSUBSCRIPT ] italic_e start_POSTSUPERSCRIPT + 2 italic_π roman_i italic_q ( italic_k - 1 ) / italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (31)

are Fourier transforms of the convolutions ijσijσi,j+qsubscript𝑖𝑗subscript𝜎𝑖𝑗subscript𝜎𝑖𝑗𝑞\sum_{ij}\sigma_{ij}\sigma_{i,j+q}∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j + italic_q end_POSTSUBSCRIPT and ijσijσi+q,jsubscript𝑖𝑗subscript𝜎𝑖𝑗subscript𝜎𝑖𝑞𝑗\sum_{ij}\sigma_{ij}\sigma_{i+q,j}∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + italic_q , italic_j end_POSTSUBSCRIPT. By ensemble-averaging (runs can and have been performed in parallel), we thus have

k|σ~k|2subscript𝑘delimited-⟨⟩superscriptsubscript~𝜎𝑘2\displaystyle\sum_{k}{\langle{\left|\tilde{\sigma}_{k\ell}\right|}^{2}\rangle}∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟨ | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ =Nxq[ijσijσi,j+q]e+2πiq(1)/Ny,absentsubscript𝑁𝑥subscript𝑞delimited-[]subscript𝑖𝑗delimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑖𝑗𝑞superscript𝑒2𝜋i𝑞1subscript𝑁𝑦\displaystyle=N_{x}\sum_{q}\left[\sum_{ij}{\langle\sigma_{ij}\sigma_{i,j+q}% \rangle}\right]e^{+2\pi{\rm i}q(\ell-1)/N_{y}}\,,= italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT [ ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j + italic_q end_POSTSUBSCRIPT ⟩ ] italic_e start_POSTSUPERSCRIPT + 2 italic_π roman_i italic_q ( roman_ℓ - 1 ) / italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ,
|σ~k|2subscriptdelimited-⟨⟩superscriptsubscript~𝜎𝑘2\displaystyle\sum_{\ell}{\langle{\left|\tilde{\sigma}_{k\ell}\right|}^{2}\rangle}∑ start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT ⟨ | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ =Nyq[ijσijσi+q,j]e+2πiq(k1)/Nx.absentsubscript𝑁𝑦subscript𝑞delimited-[]subscript𝑖𝑗delimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑖𝑞𝑗superscript𝑒2𝜋i𝑞𝑘1subscript𝑁𝑥\displaystyle=N_{y}\sum_{q}\left[\sum_{ij}{\langle\sigma_{ij}\sigma_{i+q,j}% \rangle}\right]e^{+2\pi{\rm i}q(k-1)/N_{x}}\,.= italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT [ ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + italic_q , italic_j end_POSTSUBSCRIPT ⟩ ] italic_e start_POSTSUPERSCRIPT + 2 italic_π roman_i italic_q ( italic_k - 1 ) / italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUPERSCRIPT . (32)

Accordingly, when the expectation values decay like σijσi+q,je|q|/ξproportional-todelimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑖𝑞𝑗superscript𝑒𝑞subscript𝜉{\langle\sigma_{ij}\sigma_{i+q,j}\rangle}\propto e^{-{\left|q\right|}/\xi_{\|}}⟨ italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + italic_q , italic_j end_POSTSUBSCRIPT ⟩ ∝ italic_e start_POSTSUPERSCRIPT - | italic_q | / italic_ξ start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT and σijσi,j+qe|q|/ξproportional-todelimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑖𝑗𝑞superscript𝑒𝑞subscript𝜉perpendicular-to{\langle\sigma_{ij}\sigma_{i,j+q}\rangle}\propto e^{-{\left|q\right|}/\xi_{% \perp}}⟨ italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i , italic_j + italic_q end_POSTSUBSCRIPT ⟩ ∝ italic_e start_POSTSUPERSCRIPT - | italic_q | / italic_ξ start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT with correlation lengths ξsubscript𝜉\xi_{\|}italic_ξ start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT and ξsubscript𝜉perpendicular-to\xi_{\perp}italic_ξ start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT, it follows that we can obtain the latter from the inverse widths of |σ~k|2subscriptsuperscriptsubscript~𝜎𝑘2\sum_{\ell}{\left|\tilde{\sigma}_{k\ell}\right|}^{2}∑ start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and k|σ~k|2subscript𝑘superscriptsubscript~𝜎𝑘2\sum_{k}{\left|\tilde{\sigma}_{k\ell}\right|}^{2}∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, respectively. The subtraction of an average magnetization has no impact on our simulations. For the simulations of fast quenches of the form β(t)=κt𝛽𝑡𝜅𝑡\beta(t)=\kappa titalic_β ( italic_t ) = italic_κ italic_t starting at infinite temperatures, it should be noted that the initially flat Fourier transforms |σ~k|20NxNy2subscriptsubscriptdelimited-⟨⟩superscriptsubscript~𝜎𝑘20subscript𝑁𝑥superscriptsubscript𝑁𝑦2\sum_{\ell}{\langle{\left|\tilde{\sigma}_{k\ell}\right|}^{2}\rangle}_{0}\to N_% {x}N_{y}^{2}∑ start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT ⟨ | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT → italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and k|σ~k|20Nx2Nysubscript𝑘subscriptdelimited-⟨⟩superscriptsubscript~𝜎𝑘20superscriptsubscript𝑁𝑥2subscript𝑁𝑦\sum_{k}{\langle{\left|\tilde{\sigma}_{k\ell}\right|}^{2}\rangle}_{0}\to N_{x}% ^{2}N_{y}∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟨ | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT → italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT will for the quenches shown in Fig. 2 in the main text still have considerable tails, such that for the numerically stable computation of the weighted correlators we used a cutoff that was given by the 10-fold correlation length

\displaystyle\mathfrak{C}fraktur_C =a=110ξaNxNyijσi,jσi+a,jabsentsuperscriptsubscript𝑎110subscript𝜉𝑎subscript𝑁𝑥subscript𝑁𝑦subscript𝑖𝑗delimited-⟨⟩subscript𝜎𝑖𝑗subscript𝜎𝑖𝑎𝑗\displaystyle=\sum_{a=1}^{\lceil 10\xi_{\|}\rceil}\frac{a}{N_{x}N_{y}}\sum_{ij% }{\langle\sigma_{i,j}\sigma_{i+a,j}\rangle}= ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⌈ 10 italic_ξ start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ⌉ end_POSTSUPERSCRIPT divide start_ARG italic_a end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + italic_a , italic_j end_POSTSUBSCRIPT ⟩
=a=110ξaNx2Ny2k|σ~k|2e2πia(k1)/Nx,absentsuperscriptsubscript𝑎110subscript𝜉𝑎superscriptsubscript𝑁𝑥2superscriptsubscript𝑁𝑦2subscript𝑘delimited-⟨⟩superscriptsubscript~𝜎𝑘2superscript𝑒2𝜋i𝑎𝑘1subscript𝑁𝑥\displaystyle=\sum_{a=1}^{\lceil 10\xi_{\|}\rceil}\frac{a}{N_{x}^{2}N_{y}^{2}}% \sum_{k\ell}{\langle{\left|\tilde{\sigma}_{k\ell}\right|}^{2}\rangle}e^{-2\pi{% \rm i}a(k-1)/N_{x}}\,,= ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⌈ 10 italic_ξ start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ⌉ end_POSTSUPERSCRIPT divide start_ARG italic_a end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT ⟨ | over~ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_k roman_ℓ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ italic_e start_POSTSUPERSCRIPT - 2 italic_π roman_i italic_a ( italic_k - 1 ) / italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (33)

and analogously for the perpendicular direction. Variation of the cutoff had little impact on our results as long as it remained significantly smaller than the lattice size.