abstract: A general self-consistency approach allows a thorough treatment of the corrections to the mean-field approximation (MFA). The natural extension of standard MFA with the help of a cumulant expansion leads to a new point of view on the effective field theories. The proposed approach can be used for a systematic treatment of fluctuation effects of various length scales and, perhaps, for the development of a new coarse graining procedure. We outline and justify our method by some preliminary calculations. Results are given for the critical temperature and the Landau parameters of the $\phi^4$-theory – the field counterpart of the Ising model. An important unresolved problem of the modern theory of phase transitions – the problem for the calculation of the true critical temperature, is considered within the framework of the present approach. A comprehensive description of the ground state properties of many-body systems is also demonstrated.
author: Dimo I. Uzunov
date: 27 July 2008
title: On the derivation of effective field theories

# Introduction

This investigation is focused on the correspondence between microscopic models of phase transitions and their quasi-macroscopic (field-theoretic) counterparts. Here we shall outline a new self-consistency approach to a more accurate derivation of effective field theories from microscopic models defined on lattices.

Our method is general and can be used for a wide class of microscopic models but for a concreteness here we shall illustrate our approach with the Ising model (IM), given by $$\label{eq1} {\cal{H}}(s) = -\frac{1}{2}\sum_{ij}^{N} J_{ij}s_is_j,$$ where $s\equiv \{s_i\}$ denotes a lattice "field", $s_i=\pm 1$, and the interaction constant of ferromagnetic type $J_{ij} =
J(|i-j|)>0$ depends on the intersite distance $|i-j|$ in a regular $D$-dimensional lattice of $N$ sites ("spins" or pseudo-spins). Note, that $J(0)\equiv J_{ii} = 0$.

We shall follow the main path of the phase transition theory, where the effective (quasi-macroscopic) field Hamiltonians (alias Ginzburg-Landau (GL) free energies) are derived with the help of two systematic methods: (i) Hubbard-Stratonovich transformations (HST) and, (ii) a mean-field (MF) like procedure . Here we propose a more thorough approach based on a convenient generalization of (ii).

The known field theories exhibit both success and failure in the description of many-body systems defined by microscopic models. For example, we believe that the renormalisation group methods of the modern theory of phase transitions  based on the $\phi^4$-theory yield a quite convenient description of the scaling and universality properties of IM but we cannot be certain that the field theory satisfactory describes important non-universal properties, such as, for example, the critical temperature $T_c$ and the lower critical dimensionality $D_L$ (for IM, $D_L=1$, whereas within the $\phi^4$-theory, $D_L = 2$). In fact the field theory fails along this line of studies. For example, the fluctuation shift $(\Delta T_c)_f$ of $T_c$ predicted within the one-loop approximation for the $\phi^4$-theory is a very small and, hence, unrealistic, while in the higher orders of the loop expansion this shift turns out infinite and its calculation needs a special renormalization. As a result, the problem for the value of $T_c$ within the framework of the present field theory of phase transitions remains unresolved. Here we shall show the genesis of this problem and present a satisfactory solution.

The reason for the mentioned difficulties of the field theory approach is in the quite simplified coarse-graining procedures used in the derivation of the GL effective Hamiltonians from microscopic models. HST is applied together with the long-wavelength approximation (LWLA), namely, $(ka_0) \ll \pi$, where $k=|\mbox{\boldmath$k$}|$ is the magnitude of the wave vector $\mbox{\boldmath$k$} = (k_1,...,k_D)$, $a_0$ is either the lattice constant or, generally, the mean inter-particle distance. LWLA leads to a correct expression for the Ornstein-Zernicke correlation function but cuts the short-range (high-energy: $\epsilon(k) \sim k^2, \Lambda < k <\phi/a_0$) interparticle correlations of fluctuation type that have the main contribution to the shift $(\Delta T_c)_f$; $\Lambda \ll \pi/a_0$ is the upper cutoff for $k$ within LWLA.

Within the approach (ii) we usually say that we neglect the fluctuations of the physical quantities from their equilibrium values. This is not entirely true. It seems important to emphasize that the latter are values in MF approximation (MFA) and, hence, they are incorrect. Thus the fluctuations are defined towards incorrect statistical averages, and their contribution to the free energy of the system cannot be accepted as an entire fluctuation effect. The latter can be correctly evaluated, if we are able to define the fluctuations as variations towards exact statistical averages calculated by the Hamiltonian (

). This task seems unsolvable, but the present paper makes a step of improvement of the theory along the same direction.

Note, that the methods (i) and (ii), no matter of the difference between them, lead to the same GL effective field theory. Both methods use LWLA. For the method (ii) LWLA seems to me obligatory because of the following important argument. HST can be applied only to positively definite matrices $(J_{ij})$ but this condition is not satisfied by quite important lattice models, such as the nearest-neighbour ($nn$) IM. In LWLA, however, the same interaction matrix $J_{ij;nn}$ of IM is modified to a form that is positively definite. Besides, in both methods, LWLA is used to help the derivation of the quasi-macroscopic (fluctuation) and macroscopic (thermodynamic) properties, i.e., the LWLA is a tool of a "coarse-graining" procedure for the many-body system. But in both cases (i) and (ii), the micro- and mesoscopic interparticle correlations are ignored. Here we shall use a generalization of the method (ii) in order to improve this disadvantage of the theory. In this way we shall present more accurate calculation of the LG parameters (vertices) of the effective field theory of Ising systems. Besides we shall show explicitly for the first time the mechanism of "statistical correlation" which leads from the two-site ($i-j$) trivial correlation presented by the initial interaction $J_{ij}$ to short-, meso-, and large-scale effective multiparticle correlations of fluctuation type – fluctuation correlations. Thus we shall establish and develop for the first time a new "coarse-graining" procedure, and this is the main aim of our report. Besides, we shall show that the GL parameters of the $\phi^4$-theory acquire ($1/z$)-corrections for both short-range and long-range interactions $J(|i-j|)$ . These corrections will be presented to second order in $(1/z)^2$.

The $1/z$-expansion has been introduced by R. Brout  and applied in calculations of $T_c$ and thermodynamic susceptibilities . We are not aware of another relevant work along this line of research except for our recent investigation

; the latter will be used in our investigation. Remember, that the (Brout) approach is a development of an older method – the Kirkwood method of cumulants (semi-invariants) ; hence, we shall follow a cumulant expansion which is well known.

We shall generalize the Brout approach in a way that makes possible to derive effective field theories, and this will allow us to reveal new and surprising features of many-body systems. In the Brout scheme, the mean ("molecular") field is spatially ($i$-) independent. We find that there are no physical reasons for this assumption and extend the "mean-field concept." Within our approach, the so-called mean field is spatially dependent up to the moment when one should find the actual ground state. Then the fluctuation phenomena occur with respect to this ground state. In our approach the GL parameters and, hence, the ground state have a more precise evaluation.

Our consideration has been performed for interactions $J(|i-j|)$ of a quite general type, namely for all interactions that can be presented by the equality $$\label{eq2} \sum_j J_{ij} = zJ_0 \equiv J,$$ where $J_0$ is an effective exchange constant, and $z$ is an effective "coordination" number (number of interacting neighbors). In particular cases our results will be referred to the most common case of $nn$ interactions (then $n=2D$ for simple lattices). For a simplicity, here we shall assume that IM is defined by a simple cubic ($sc$) lattice. The consideration can be easily expended to other types of regular lattices, as well as to irregular lattices with certain forms of quenched disorder, for example, random potential  . We introduce the interaction radius by $R_{int} \approx z^{1/D}$ – a quantity, which is equal to the so-called zero-temperature correlation length (see Section 2). Let emphasize that our results can be rederived without difficulties in the presence of an external field $\{h_i\}$ conjugate to the lattice field $\{s_i\}$.

Other theories intended to improve the coarse graining procedures of many-body systems are, for example, the hierarchical reference theory  and a method of collective variables . The former is based on a particular renormalization procedure and yields interesting results for the effective critical exponents of continuous phase transitions. The latter theory uses a variant of cumulant expansion and collective variables which, in certain limit, form the order parameter field. In these features the collective variable theory  resembles our approach but, generally, in contrast to the latter, it significantly departs from the original Brout idea. The mentioned theories does not use $1/z$-expansion and for this reason and apart from some common aims and general ideas, cannot easily be compared with the present approach, which is a very direct extension of the many-body theory beyond the standard mean-field ("tree") approximation.

In Sec. II we present a general approach to the treatment of fluctuation correlations at various length scales and discuss aspects of the usual theory that corresponds to the lowest order approximation of a perturbation expansion of cumulant type. In Sec. III we investigate the higher orders of the mentioned perturbation expansion and demonstrate several new features of the effective field theory. Our main results are summarized and discussed in Sec. III.D – III.G.

# Present status of the effective field theory

## General scheme

The equilibrium free energy of IM as a function of the temperature $T$ and the field configuration $h =
\{h_i\}$ is given by $$\label{eq3} G(T) = -\beta^{-1}\mbox{ln}\left\{\mbox{Tr}e^{-\beta
{\cal{H}}(s)}\right\},$$ where $\beta^{-1} = k_BT$, and the Trace is over the allowed lattice configurations $s = \{s_i\}$. Note, that the equilibrium values of the physical quantities are calculated as averages with respect to the statistical ensemble based on the Hamiltonian () and, in particular, the statistical averages of type $\langle s_i...s_j\rangle$ are obtained as derivatives of the partition sum whereas the irreducible averages $\langle\langle
s_i...s_j\rangle\rangle =\langle(s_i-\langle
s_i\rangle)...(s_j-\langle s_j\rangle)\rangle$ are obtained as derivatives of the Gibbs free energy ().

Let us introduce the shift $$\label{eq4} s_i = \phi_i + \delta s_i,$$ where the lattice field $\phi_i$ is an arbitrary (auxiliary) field configuration that is not necessarily associated with the averaged spin $\langle s_i\rangle$ at site $i$, and the "fluctuation" $\delta s_i$ is merely the difference $(s_i - \phi_i)$. The identification of $\phi_i$ with a statistical average $\langle...\rangle$ over the full Hamiltonian (), or, with a statistical average $\langle...\rangle_0$ corresponding to another ensemble as well as the interpretation of $\delta s_i$ as a fluctuation around $\langle s _i\rangle$ (or $\langle
s_i\rangle_0$) may be a matter of further considerations. At this stage $\phi_i$ and $\delta s_i$ are auxiliary variables which obey () and are not referred to concrete physical quantities.

Following a standard procedure (see, e.g., Refs. ) we obtain the following effective non-equilibrium free energy $$\label{eq5} {\cal{H}}(\phi) =  {\cal{H}}_0(\phi) +
{\cal{H}}_f(\phi),$$ with $\phi \equiv \{\phi_i \}$, $$\label{eq6} {\cal{H}}_0(\phi) =
\frac{1}{2}\sum_{ij}J_{ij}\phi_i\phi_j - \beta^{-1}\sum_i\mbox{ln}
\left[2\mbox{ch}(\beta a_i)\right].$$ Here $$\label{eq7} a_i = \sum_j J_{ij}\phi_j$$ is the "mean" (molecular) field, and $$\label{eq8} {\cal{H}}_f(\phi) = -\beta^{-1}\mbox{ln}\left<
\mbox{exp}\left[\frac{\beta}{2}\sum_{ij}J_{ij}(s_i-\phi_i)(s_j-\phi_j)\right]\right>_0$$ is the "fluctuation" part. As usual, we shall often call the free energy () an "effective Hamiltonian" (see, also, Ref. ).

In (), $\langle...\rangle_0$ denotes a statistical average over an ensemble defined by the auxiliary ("MF") Hamiltonian $$\label{eq9} {\cal{H}}_a (\phi,s) = - \sum_i a_i s_i;$$ the respective partition function and (nonequilibrium) free energy are given by ${\cal{Z}}_a(\phi) = \mbox{Tr}\left[\mbox{exp}(-\beta
{\cal{H}}_a)\right]$, and $G_a(\phi) =
-\beta^{-1}\mbox{ln}{\cal{Z}}_a(\phi)$. For this simple ensemble, we have $$\label{eq10} \langle s_i \rangle_0 = \mbox{th}\left[\beta
a_i(\phi)\right].$$ The calculation of averages of type $\langle s_i...s_j\rangle_0$ as well as "irreducible" averages of type $\langle\langle \delta
s_i...\delta s_j\rangle\rangle_0$ is also straightforward. These averages represent a form of fluctuation correlations, but they are just an auxiliary theoretical tool rather than real objects. In contrast, the real objects, namely, (full) statistical averages $\langle...\rangle$ and $\langle\langle...\rangle\rangle$ within the total Hamiltonian () cannot be exactly calculated.

## Usual theory

In the framework of the usual theory, the "fluctuation" term ${\cal{H}}_f$ is ignored. This is the MFA. In the present general format of the theory, we have $N$ (self-consistency) equations of state ($\partial {\cal{H}}/\partial \phi_i) = 0$ at fixed $T$ (and $h=\{h_i\})=0)$ – one equation per a lattice vertex $i$: $$\label{eq11} \sum_j J_{ij}\left\{\bar{\phi}_j -
\mbox{th}\left[\beta a_j(\bar{\phi})\right]\right\} =0,$$ where $\bar{\phi} = \{\phi_i\}$. It is easy to see that the number ($z-1$) of nonzero terms ($i\neq j$) in all $N$ sums () is equal to the number of nonzero interaction constants acting on the site $i$: $J(|i-j|) > 0$ for $a_0 \leq |i-j| \leq R_{int}$; $J(|i-j|=0$ for $|i-j| \equiv R > R_{int}$. The "equations of state" () can be written in the simple form $$\label{eq12} \bar{\phi}_i = \mbox{th}\left[\beta
a_i(\bar{\phi})\right].$$ The equivalence of () and () can be easily proven for any number $N \geq 1$.

From () and () we obtain $$\label{eq13} \bar{\langle s_i \rangle}_0 = \mbox{th}\left[\beta
a_i(\bar{\phi})\right] = \bar{\phi}_i.$$

Thus in this quite general form of MFA (${\cal{H}}_f \approx 0$), we have: $\langle s_i \rangle_0 = \bar{\phi}_i$, $\langle...\rangle = \langle...\rangle_0$, and $G(T,h) =
{\cal{H}}_0(\bar{\phi})$ is the equilibrium free energy that corresponds to extrema (including minima) $\bar{\phi}$ of ${\cal{H}}(\phi) \approx {\cal{H}}_0(\phi)$ – the non-equilibrium MF free energy given by the non-equilibrium (arbitrary) order parameter field $\phi_i$. By $\bar{\phi_i}$ from () we denote the equilibrium configuration of the latter; hereafter the "bar" of the equilibrium value $\bar{\phi}_i$ of $\phi_i$ will be often omitted. Now one may perform a Landau expansion for small $\bar{\phi}_i$ in order to get other known forms of the MF theory.

However, at the present stage of consideration we are interested in some more generality and for this reason we continue our discussion of the non-equilibrium free energy functional $$\label{eq14} \tilde{G}(T/\phi) \equiv {\cal{H}}(T/\phi) \approx
{\cal{H}}_0(T/\phi)$$ as given by Eq. (). In (), the dependence of the non-equilibrium free energy $\tilde{G}$ on $\phi$ is denoted by "$/\phi$" because of the more special role of this variable, namely, the variation $\delta \tilde{G}$ should be zero at thermal equilibrium and from this condition one obtains the possible thermal equilibria $\bar{\phi}$ (alias "self-consistency condition").

The expansion of the $log-$term in () up to fourth order in $\phi_i$ yields the known result for the lattice $\phi_i^4-$theory of the Ising model:

One may apply LWLA to this form of the theory but we shall follow a different path.

## Continuum limit

Using the rule $$\label{eq16} \sum f_i = \rho \int d^Dx f(\mbox{\boldmath$x$})
\equiv \rho \int
 d\mbox{\boldmath$x$} f(\mbox{\boldmath$x$})\:,$$ where $\rho = (N/V)$ we can write Eq. () in the form $$\label{eq17} J = \rho \int d^DR J(R),$$ with $R = |\mbox{\boldmath$R$}|$; $\mbox{\boldmath$R$} =
(\mbox{\boldmath$x$} -\mbox{\boldmath$y$})$. Note, that the factor $\rho$ in () - () can be avoided and this is the usual practice. In the latter case the physical dimension of the respective physical quantity is changed by a factor $[V] \sim
[L]^D$; for example, $[L]^D[f_i] = [f(\mbox{\boldmath$x$})]$. Of course, one may use both variants.

In the continuum limit the effective Hamiltonian () corresponding to a zero external field ($h=0$) takes the form $$\begin{aligned}
\label{eq18} {\cal{H}}_0 & = &\frac{\rho}{2} \int
d^Dx\phi(\mbox{\boldmath$x$})I[\phi(\mbox{\boldmath$x$})] \\
\nonumber &&  - \rho\beta^{-1}\int d^Dx
\mbox{ln}\:\mbox{ch}\left\{\beta^{-1}I\left[\phi(\mbox{\boldmath$x$})\right]\right\},
\end{aligned}$$ where $$\label{eq19} I\left[ \phi(\mbox{\boldmath$x$})\right] = \rho \int
d^DyJ(R)\phi(\mbox{\boldmath$y$})\:.$$

Now we apply LWLA in the form $$\label{eq20} \left[\phi(\mbox{\boldmath$x$}) -
\phi(\mbox{\boldmath$y$})\right]^2 \ll
|\phi(\mbox{\boldmath$x$})\phi(\mbox{\boldmath$y$})|$$ and under this assumption truncate the Taylor expansion $$\begin{aligned}
\label{eq21} \phi(\mbox{\boldmath$y$})& =&
\phi(\mbox{\boldmath$x$}) + \sum^{D}_{\alpha = 1}
\frac{\partial\phi(\mbox{\boldmath$x$})}{\partial
x_{\alpha}}R_{\alpha} \\ \nonumber && +
  \frac{1}{2}\sum^D_{\alpha,\beta
    =1}\frac{\partial^2\phi(\mbox{\boldmath$x$})}{\partial x_{\alpha}\partial
    x_{\beta}} R_{\alpha}R_{\beta} + ...
\end{aligned}$$ to the second order in $\mbox{\boldmath$R$} =
\left\{R_{\alpha}\right\}$.

Using the approximation (), () becomes $$\label{eq22} I\left[\phi(\mbox{\boldmath$x$})\right] =
J\phi(\mbox{\boldmath$x$}) + \frac{\tilde{J}}{2D}
\nabla^2\phi(\mbox{\boldmath$x$}),$$ where $J$ is given by (), and $$\label{eq23} \tilde{J} = \rho \int d^DRJ(R)R^2.$$ Now we substitute () in (18), perform the expansion up to order $\phi^4(\mbox{\boldmath$x$})$ and to second order in $\nabla \phi(\mbox{\boldmath$x$})$. Besides, we should keep in mind, that in expansion in powers of $\phi_i$ we cannot distinguish between $T$ and $T_{c0}$ except for the $\phi^2_i-$term where the difference between $T$ and $T_{c0}$ should be kept only to the lowest nonvanishing order; in our case, this is the first order in $(T-T_{c0})$: see, e.g., Ref. . Following these notes, we perform at a certain stage of the calculation an integration by parts with the convenient boundary condition $\nabla \phi(\mbox{\boldmath$x$}) =
0$ and obtain the well known GL effective Hamiltonian $$\label{eq24} {\cal{H}}_0 = \rho\int d^D x
\left\{\frac{\tilde{c}_0}{2}\left[\nabla\phi(\mbox{\boldmath$x$})\right]^2
   + \frac{r_0}{2}\phi^2(\mbox{\boldmath$x$}) +
u_0\phi^4(\mbox{\boldmath$x$})\right\},$$ with $$\label{eq25} c_0 = \frac{R^2_{int}}{2D}J,\;\;\;  r_0 (T) =
k_B(T-T_{c0}),\;\;\; u_0 = \frac{J}{12}.$$ Here $T_{c0} = (J/k_B)$ and terms of order $t_0 =
(T-T_{c0})/T_{c0} \ll 1$ have been neglected in $c_0$ and $u_0$ , i.e. these two parameters are calculated at $T_{c0}$ .

To clarify the result () - () we shall mention that $J(R)$ for $R > R_{int}$ is very small and can be ignored. Setting $J(R) \sim J_0$ in (), comparing the result with $J=zJ_0$ from (), and noticing that $\rho = 1/v \sim
a_0^D$, one obtains $z \sim \left(R_{int}/a_0\right)^D$ as should be, and $J \approx J_0 R^D_{int}$. In the same way one gets $\tilde{J} \approx J R^2_{int}$.

The results () - () show that the energy of the spatially dependent configurations of the field depends on the interaction radius. The latter serves as a coherence (correlation) length of the field $\phi(\mbox{\boldmath$x$})$; see the parameter $c_0$ given in (). In order to clarify this point, let us consider the so-called zero-temperature correlation length , defined by $\xi_0 \equiv \xi(T=0) = \left[-c_0/r_0(0)\right]^{1/2}$. Using () and $T_{c0} = J/k_B$ we obtain $\xi_0 =
R_{int}\sqrt{2D}$.

## Discussion

Note that the temperature range of validity of these considerations is $t_0(T) \ll 1$ and $(ka_0) \ll \pi$. The spatially dependent fluctuations correspond to a higher energy than the uniform configuration, and hence the latter contains the deepest (global) minima $\bar{\phi}$ of the effective free energy nevertheless we have written N "equations of state" as a result of the minimization of the effective Hamiltonian. Now one can easily show that the variation of the Hamiltonian () with respect to the field will give again spatially dependent solutions but in the usual theory they are interpreted as "spatially dependent fluctuations" which, together with the uniform fluctuation $\delta \phi = (\phi -\bar{\phi})$ towards the stable state $\bar{\phi}$, are all fluctuations in the system in LWLA. But we know that this picture contains the approximation $\langle s_i\rangle \sim \langle s_i\rangle_0 = \bar{\phi}$.

Our point of view is the following. The averages $\langle\rangle_0$ should not be taken very seriously. They are an auxiliary tool in our consideration, and are not the final aim of our investigation. We have used these averages only because they appear along our way of obtaining an effective Hamiltonian ${\cal{H}}$ (or ${\cal{H}}_0$ in the lowest order of the theory) in which the statistical degree of freedom $\phi_i$ varies in a wide range of values $(-\infty < \phi_i < \infty)$. This is the only consistent interpretation of our consideration performed so far. We can assume that up to now we have obtained nothing else but an effective free energy (effective lattice Hamiltonian) in terms of the new lattice field $\phi_i$. In a clear approximation, this effective model is given by (); for the expansion in powers of $\phi_i$, see ().

Another important aspect of our consideration is that the new Hamiltonian contains more $ij-$ interactions than the original model (). The mathematical form of () gives a clear physical interpretation of these interactions: the first $\phi_i\phi_j-$term in the r.h.s. of  () describes an interaction that is quite similar to the original inter-spin interaction in () whereas the second term of the same type in () describes an indirect two-site $jk-$interaction that is mediated by the "$i-$spins". This means that the latter interaction $J_{ij}J_{ik}$ has twice larger radius of action than the original $J_{ij}$ exchange. The four-point interaction given by the third term in the r.h.s. of () can also be described in the above style, introduced for the first time in this paper.

Therefore, even at this early stage of consideration (${\cal{H}}\approx {\cal{H}}_0$) we see that the effective free energy exhibits effects of "statistical extension of the original inter-particle correlations (interactions)". This "principle of growth of statistical correlations" is well known in the general phase transition theory. Here we show the concrete mechanism of the respective phenomenon and a systematic way of description of growth of statistical correlations. This point will become more clear from the results in the next Section. We shall see that the investigation along this path leads to a quite unexpected and intriguing picture.

#  Beyond the standard theory

## Perturbation series

Here we consider the $\phi-$contributions to the effective free energy (Hamiltonian) ${\cal{H}}(\phi)$ which are generated by the term ${\cal{H}}_f(\phi)$. For obvious reasons, terms that are $\phi_i$-independent will be omitted.

It seems convenient to rearrange our theory by introducing the auxiliary variables $\Delta_i = (s_{i0} - \phi_i)$, and $\sigma_i
= (s_i-s_{i0})$, where $s_{i0} \equiv \langle s_i \rangle_0$. Then ${\cal{H}}$ can be written as an infinite perturbation series in powers of the (perturbation) Hamiltonian part $$\label{eq26} S_f(s,\phi) =
-\frac{1}{2}\sum_{ij}J_{ij}\sigma_i\sigma_j -
\sum_{ij}\Delta_i\sigma_j.$$ The respective series can be presented in the form $$\label{eq27} {\cal{H}}_f(\phi) =
-\frac{1}{2}\sum_{ij}J_{ij}\Delta_i\Delta_j +
\sum_{l=1}^{\infty}{\cal{H}}_f^{(l)}(\phi),$$ where $$\label{eq28} {\cal{H}}_f^{(l)}(\phi) =
\frac{(-\beta)^{l-1}}{l!}\langle S_f^l(s,\phi)\rangle_{0c},$$ $\langle...\rangle_{0c}$ denotes the so-called connected averages ; for example, the average $\langle
S_f^2 \rangle_0\langle S_f^2\rangle_0$ is excluded from the connected $\langle S_f^4\rangle_{0c}$. For this cumulant (semi-invariant) expansion rules, similar to the Wick theorem in the perturbation theory of propagator type, are not available and one should perform the calculations with some caution. The term ${\cal{H}}_f^{(1)}$ is equal to zero, and this leads to a reduction of some infinite series in the next orders of the theory $(l > 1)$.

## Lowest order correction

Let us consider the first term in the r.h.s. of Eq. () and neglect all others. This yields ${\cal{H}} = ({\cal{H}}_0 +
{\cal{H}}_f)$ in the form

Performing this straightforward calculation one readily sees a very important property of the present theory, namely, that the first term in the r.h.s. of () is totally compensated by a respective counter term coming from the new contribution ($\sim \Delta_i\Delta_j$) to the effective free energy. Besides, another new term *twice* compensates the second term in () so that the term of type $JJ\phi\phi$ now appears with a positive sign. The $\phi^4-$ part of the effective free energy also undergoes a drastic change due to the $\Delta\Delta-$correction coming from Eq. ().

The same result can be obtained in a more general and, perhaps, more convenient way, if we add the $\Delta\Delta-$ term in () to ${\cal{H}}_0$ from () before doing the expansion of Landau type. Then, within the same lowest order approximation for the series () we obtain a more general result for ${\cal{H}}$, namely $$\begin{aligned}
\label{eq30} {\cal{H}}& = & -
\frac{1}{2}\sum_{ij}J_{ij}\mbox{th}(\beta a_i)\mbox{th}(\beta
a_j))
   \\ \nonumber && +\sum_{ij}J_{ij}\phi_i\mbox{th}(\beta a_j)
 - \beta^{-1}\sum_i\mbox{ln} \left[2\mbox{ch}(\beta a_i)\right].
\end{aligned}$$ This form of ${\cal{H}}$ clearly shows the lack of the simple $J_{ij}\phi_i\phi_j$ term describing the direct two-site exchange. In our further considerations we shall be faced only with inter-particle interactions (correlations), which are extended at distances larger than $R_{int}$. In order to obtain () one must expand the transcendental functions in (); $(\beta a_i) \ll 1$.

The new forms () and () of the effective free energy describes only indirect two-site interactions because the direct two-site interaction disappeared from our consideration. Now we are at a stage of description of correlations which extend up to $2R_{ij}$ and larger distances. The tendency of the growing length scale of the interactions included in our effective free energy will be the main and unavoidable feature of our further consideration.

Another very important feature of our findings is that in the simplest variant of the theory when the field is uniform $(\phi_i\equiv\phi)$ as well as in the GL variant in LWLA given by Eq. () the values of the Landau coefficients $c_0$, $r_0$, and $u_0$ do not change within the framework of accuracy of the effective $\phi^4$-field theory, where terms (Landau invariants) of order $O(t^3)$ are ignored; $t = (T-T_c)/T_c$. This property seems to exist to any order of the expansion () in the limit of an infinite-range ($z \rightarrow \infty$) initial interaction $J_{ij}$. The $1/z-$ corrections to the parameters ($c_0,r_0,u_0$) of the effective field theory are obtained from the $(l>1)-$terms in the series ().

## High-energy corrections of higher order

We have already mentioned that the $(l=1)$-term in () is zero. A calculation of the next two terms ($l=2,3$) in () has been carried out in Ref. . Following Ref.  we can write ${\cal{H}}_f^{(2)}$ in the form $$\begin{aligned}
\label{eq31} {\cal{H}}^{(2)}_f & = & -
\frac{\beta}{4}\sum_{ij}\frac{J^2_{ij}}{\mbox{ch}^2(\beta
a_i)\mbox{ch}^2(\beta a_j)} \\ \nonumber &&
-\frac{\beta}{2}\sum_{ijk}J_{ij} J_{ik}
\frac{\Delta_j\Delta_k}{\mbox{ch}^2(\beta a_i)}.
\end{aligned}$$ The result () gives the first $(1/z)-$corrections to the parameters $c_0, r_0$, and $u_0$. Adding the result () to ${\cal{H}}(\phi)$ we obtain a form of the effective Hamiltonian ${\cal{H}}(\phi)$ which is more precise than the preceding ones. Let us write down this quite lengthy expression of the effective Hamiltonian:

The result () shows that the indirect two-point interactions of type $JJ\phi\phi$ available in the effective Hamiltonian () do not exist in this higher accuracy of the theory. The interactions of type $JJJ\phi\phi$ and $JJJJ\phi\phi$ presented in the effective Hamiltonian () extend up to distances $3R_{int}$. The same is valid for the four point interactions included in ().

Within LWLA the Eq. () yields

In (), $$\label{eq34} c=\left(1+\frac{5}{z}\right)c_0, \;\;\;
 r=\left(1+\frac{3}{z}\right)\tilde{r}_0,
 \;\;\;u =\left(1+\frac{4}{z}\right)u_0\:,$$ where $\tilde{r}_0 = k_B(T - T_c)$ is given by the "true" (renormalized) critical temperature $$\label{eq35} T_c =T_{c0}\left(1-\frac{1}{z}\right).$$

In deriving this lattice version of the effective Hamiltonian we have performed the lattice summations in () in the reciprocal ($\mbox{\boldmath$k$})$-space with the help of LWLA: $J(k) \approx (J-c_0k^2)$.

The present results demonstrate a type of renormalization of the GL parameters ($c_0$, $r_0$, $u_0$) of the effective Hamiltonian due to $1/z$-corrections. By a suitable choice of units, one of these parameters can be kept invariant, for example, equal to unity. Therefore, within a suitable normalization of the theory, the field $\phi_(\mbox{\boldmath$x$})$ acquires a $1/z$-correction as well .

The term ${\cal{H}}_f^{(3)}$ in () has the form

Let us consider the contribution of the term ${\cal{H}}_f^{(3)}$ to the quadratic ($\phi^2$-) part of the effective Hamiltonian (). In performing the calculations for both short-range ($nn$) and long-range ($R_{int} \gg a_0$) we have to evaluate again several lattice sums. Here we shall mention a particular sum, namely, $$\label{eq37}
 \frac{1}{N}\sum_{ijl}J_{ij}J_{il}J_{jl}.$$ which is equal to zero for $nn$ interactions but gives a contribution $(\approx J^3/z)$ for interaction radius $R_{int} >
a_0$. Thus we introduce the following interpolation formula: $E = \kappa(z)/z$, where $0 \leq \kappa (z) \leq 1$ is an interpolation parameter which is supposed to be a smooth function of the coordination number $z$. The limiting case $\kappa
=0$ corresponds to $nn$ interactions and the limiting case $\kappa =1$ corresponds to interactions of larger size. We suppose that the shape of the function $\kappa (z)$ depends on details of the function $J(R)$.

Bearing in mind these notes we have calculated the quadratic ($\phi_i\phi_j-$)contribution to the effective Hamiltonian ${\cal{H}}(\phi)$ which comes from the Hamiltonian part ${\cal{H}}^{(3)}_f(\phi)$ given by (). Here we present the results for the parameters $T_{c0}$, $c$, and $r$ which define the quadratic part ${\cal{H}}_2$ of ${\cal{H}}$: $$\label{eq38} {\cal{H}}_2(\phi) =
\frac{1}{2}\sum_{\mbox{\boldmath$k$}}
G_0^{-1}(k)|\phi(\mbox{\boldmath$k$})|^2,$$

with the (bare) correlation function $$\label{eq839} G_0^{-1}(k) = {\cal{D}}_1(z)\left[T-T_c +
{\cal{D}}_2(z)T_c\rho^2k^2\right]\:.$$ Here $$\label{eq40} T_c  = \left( 1 - \frac{1+\kappa}{z} -
\frac{1+3\kappa}{3z^2}\right) T_{c0}\:,$$ $$\label{eq41} {\cal{D}}_1 (z) = 1 + \frac{3+4\kappa}{z} +
\frac{22+60\kappa + 30\kappa^2}{3z^2}\:,$$ and $$\label{eq42} {\cal{D}}_2 (z) = 1 + \frac{2+3\kappa}{z} +
\frac{14+30\kappa +9\kappa^2}{3z^2}.$$ The result () for $T_{c}(z)$ has been published for the first time  in case of $nn$ interactions ($\kappa = 0$); note, that there are errors in Ref.  for the functions ${\cal{D}}_1(z)$ and ${\cal{D}}_2(z)$.

The functions ${\cal{D}}_1(z)$ and ${\cal{D}}_2(z)$ renormalize the field $\phi(\mbox{\boldmath$k$})$ and the vertices $c_0$, and $r_0$. For a total renormalization of the parameters of the theory up to the second order in the $1/z-$expansion we need to know the $(1/z)^2$-correction to the vertex $u_0$. We suppose that the calculation of this correction can be accomplished in the way described above; this "$z$-renormalization" has been discussed to first order in $(1/z)$ in Ref. . Here we wish to stress that within our extension of the theory the magnetic susceptibility $G_0(0)$ is ${\cal{D}}_1$ times smaller than the known MF susceptibility corresponding to ${\cal{D}}_1(\infty) =
1$.

The numerical coefficients in () - () indicate that real numbers $z$ of $nn$ like $n=2,4,6$ for simple lattices of spatial dimensionalities $D=1,2,3$, respectively, give a good expansion parameter $1/z$. The $1/z$-orrections are more substantial for the case of short-range interactions ($R_{int}
\sim a_0$), and one may suppose that for such interactions the $(1/z)$-series () - () are asymptotic; for the case of $T_c$, see a discussion of this topic in Ref. . But even in case of asymptotic type of these series they may give more reliable results than the "bare" values ($c_0,r_0,u_0$) of the Landau parameters; see arguments presented in Ref. .

## Critical temperature

The critical temperature $T_c$ given by () can be compared with exact and reliable numerical (MC) results. Let us consider $nn$ interactions ($\kappa = 0$). For one-dimensional ($1D$) IM, we know that $T_c = 0$, MFA predicts $T_c = 2J_0/k_B$ (in this case, $z =2D= 2$), and () yields $T_c=
5J_0/6k_B$. This is a quite good result for $1D$ systems with very strong fluctuation effects. In $2D$ systems the fluctuations are not so strong and we find that () reproduces the exact Onsager result ($T_c = 2.27 J_0/k_B$) with an error of 22%, i.e., we have $T_c = 35J_0/12k_B$. For $3D$ systems our result is $T_c =
89J_0/18k_B$, whereas the best series analysis and MC results yield a difference of 9%: $T_c = 4.5J_0/k_B$ (see, e.g., Refs.). Our results seem quite reliable. Let us emphasize, that the $1/z$-series, as almost all most relevant series, known in theoretical physics, is an asymptotic series. Therefore, one may expect, that the results for $T_c$ will be worsened after some order in ${1/z}$, for example, fourth order for $T_c(3D)$, and third, or, even second order for $T_c(2D)$.

## Ground state

The $1/z^2$-correction to the vertex $u_0$ has not been yet calculated although this calculation does not present difficulties. In this situation we shall give notion for the ground state energy by using the first order corrections to $r_0$ and $u_0$. The equilibrium free energy per site $f =
(F/N)$ is given by $F={\cal{H}}$ and () for the $(k=0)$-Fourier amplitude $\phi(0)$, which minimizes $f$. Denote for convenience $\phi(0) = \sqrt{N}\varphi \neq 0$ for the low-temperature ordered phase. From (33) we obtain $f = -(r^2/16u)
< 0$ whereas the "unrenormalized free energy is $f_0 =
({\cal{H}}_0 /N) = -(r_0^2/16u_0) < 0$ Thus, using () we have $f(T) =(1+2/z)f_0(T)$, which means that the new effective theory has a lower energy of the ordered phase. This is true also in the case of $T=0$, where $r_0 = -k_BT_{c0} = -J$. For the zero temperature (ground) state we have $f_0(0) =-3J/4$ and $f(0) = -3
(1 + 2/z)J/4$. This result is also along the right direction because the MF theories (${\cal{H}}_0$) give unreliable high values of the ground state energy. The order parameter $\varphi^2(T) = (-r/4u)$ is $(1-\/z)$ times smaller than the respective quantity $\varphi^2_0(T) = (-r_0/4u_0)$ in the usual theory based on ${\cal{H}}_0$.

## Effective interactions and growing of fluctuation correlations

We have explicitly shown the phenomenon of the growing length size of the interpaticle correlations in a classic system of interacting particles. To see this we have already introduced a new interpretation of the terms in the effective Hamiltonian (see Sec.II.D). Let us consider the terms present in ${\cal{H}}$ as terms describing certain inter-site interactions. While the initial interaction $J_{ij}$ in IM ensures only two-site correlations (interactions), the effective Hamiltonians (), (), and () contain multi-site effective interactions. In contrast to the usual theory (), where only extremely short-range effective correlations are contained, the more precise effective Hamiltonians contain long-range two-site ($\phi_i\phi_j$) and four-site ($\phi_i\phi_j\phi_k\phi_l$) correlations, and all of these correlations are indirect, i.e. the correlation, for example, between two sites $(ij)$ is mediated by one or more other sites $(k,...)$. A direct $(J_{ij})$-interaction is presented by the first term in the r.h.s. of () but also the system exhibits two indirect correlations of type $\phi_i\phi_j$ and $\phi_i\phi_j\phi_k\phi_l$ given by the last two terms in the r.h.s. of (). In the more precise variants of the theory, where a larger portion of the initial partition function has been calculated, the direct inter-site interaction vanishes, and the particles are correlated only by indirect effective interactions. The length scale of these correlations grows in a monotonous way with the increase of the accuracy of the calculation, i.e. with the increase of the number $l$ of the terms in the series (). If we take the two-site correlations in the $nn$ IM as an example, the maximal length of extension of these correlations in () is $a_0$, in () – $2a_0$, in () – $3a_0$, in () – $4a_0$, i.e. $(p-1)a_0$, where $p$ is the maximal number of the summation indices in the terms of type $\phi_i\phi_j$ in a given effective Hamiltonian. Surely, the number $p$ tends to $N$. This means that the most accurate effective field theory of many-body systems will correspond to (almost-) infinite range of correlations.

The origin of these correlations is purely statistical. This effect is known and has both general formulation and application in many-body physics. Here we have established and described in details the concrete mechanism of this effect and, moreover, we have performed a demonstration of the remarkable picture of successive growth of the correlation length scale.

## Final remarks

Obviously the $(1/z)$-corrections are not the main point of discussion at the end of this paper of restricted length. Let us mention that the growth of the correlations discussed in Sec. III.F is not related with the $1/z$-corrections. It exists for any $z$, even in the "MF limiting case" of $z \rightarrow \infty$, when the GL parameters keep their "initial" values $(c_0,r_0,u_0)$. This effect follows from the fact that the terms in the initial Hamiltonian are compensated by the first "fluctuation" correction; see the first term in the r.h.s. of (). At the next level of accuracy of the calculation, terms coming from the $(l=2)$-term in () compensate the available terms and this process continues up to the incorporation of all particles in the correlation phenomenon; remember that the term corresponding to $l=1$ is equal to zero.

Here we emphasize that the terms in ${\cal{H}}_0$ – actually one of the most often used Hamiltonian, does not exist at all. They vanish just after the inclusion of the first correction to the usual theory; see $\Delta_i\Delta_j$-correction in (). In place of these terms other terms with more complex structure come from the perturbation series (). The outlined picture clearly indicates, that the terms which finally remain in the $\phi^4$-theory, are terms of type $$\label{eq43} \frac{1}{2}\left(\beta^{M-1}J^{M} -
\beta^{M}J^{M+1}\right)\phi^2, \;\;\;\;\; M \sim N\:,$$ where obvious notations have been introduced; for example, $\beta^1J^{2}$ denotes the first term in the r.h.s. of (). The $\phi^4$ terms behave differently, because a lowest order term in $J$,namely, a term of type $\beta^3
J^4\phi^4$ appear at any step of development of the series ().

At any stage of this surprising picture of the infinite series of successive modifications of the Hamiltonian both $\phi^2$- and $\phi^4$-terms keep their numerical coefficients equal to that in the usual GL Hamiltonian ${\cal{H}}_0$. This is true within the whole scope of validity of the expansion in powers of $\phi$.

An important note, which should be emphasized is the following. While the sum () is invariant with respect to the site $i$ in regular lattices, the sum () depends on the site $i$. The reason is that the field configuration $\{\phi_i\}$ which takes part in Eq.() is not the equilibrium field. For the equilibrium field $\bar{\phi}_i$ the sum () will not dependent on the site $i$. This is consistent with the general notion that the equilibrium order in the volume of a homogeneous system in lack of effects of external fields, should be uniform.

Our consideration justifies the GL fluctuation Hamiltonian. However, we have presented a new and quite surprising picture of the inter-particle correlations, which reveals new remarkable properties of the GL theory. Apart from the $1/z$-corrections to the GL parameters, the structure of this theory is absolutely comprehensive as a tool for investigation of large-scale correlation phenomena in many-body systems. We are certain that our findings have an application beyond the field of phase transitions.
**ACKNOWLEDGEMENTS:**

The author thanks the hospitality at Department of Physics and Astronomy, University of Western Ontario, London, Canada. The research grant Ph. 1507 (NFSR-Sofia) is also acknowledged.


abstract: The recent discovery of tunable Dzyaloshinskii-Moriya interactions in layered magnetic materials with perpendicular magnetic anisotropy makes them promising candidates for stabilization and manipulation of skyrmions at elevated temperatures. In this article, we use Monte Carlo simulations to investigate the robustness of skyrmions in these materials against thermal fluctuations and finite-size effects. We find that in confined geometries and at finite temperatures skyrmions are present in a large part of the phase diagram. Moreover, we find that the confined geometry favors the skyrmion over the spiral phase when compared to infinitely large systems. Upon tuning the magnetic field through the skyrmion phase, the system undergoes a cascade of transitions in the magnetic structure through states of different number of skyrmions, elongated and half skyrmions, and spiral states. We consider how quantum and thermal fluctuations lift the degeneracies that occur at these transitions, and find that states with more skyrmions are typically favored by fluctuations over states with less skyrmions. Finally, we comment on electrical detection of the various phases through the topological and anomalous Hall effects.
author: Rick Keesman; A.O. Leonov; P. van Dieten; Stefan Buhrandt; G. T. Barkema; Lars Fritz; R.A. Duine
title: Degeneracies and fluctuations of Néèl skyrmions in confined geometries

# Introduction

A skyrmion is a certain type of topological field configuration which was first introduced in particle physics. It corresponds to a classical stationary solution of the equations of motion with which one can associate a topological invariant and describes the emergence of a discrete particle from a continuous field. More recently, skyrmions have been considered in quantum Hall devices, Bose-Einstein condensates, and liquid crystals. Magnetic skyrmions were predicted and recently observed in bulk materials like $\text{MnSi}$ and $\text{Cu}_{2}\text{OSeO}_{3}$ at low temperatures. In these materials, bulk inversion symmetry is broken which allows for nonzero Dzyaloshinskii-Moriya (DM) interactions that lead to helical, conical, and skyrmionic spin textures depending on the applied magnetic field. It was proposed that skyrmions are promising candidates for encoding binary data that allow for high-density and low power consumption magnetic memories due to low critical currents for skyrmion motion and their inherent topological stability. In addition to fundamental interest concerning the interplay between topology, geometry and fluctuations, it is therefore relevant to understand the behavior of skyrmions at high temperature and in confined thin-film geometries for realizing spintronic devices.

Motivated by recent experiments on domain wall motion in magnetic thin films with perpendicular magnetic anisotropy (PMA materials) that point to sizeable and tunable DM interactions and anisotropy, we use Monte Carlo simulations to investigate the robustness of skyrmions in these systems in confined wire-like geometries against thermal fluctuations. Our main results are: i) The phase diagram in Fig.  that shows which spin textures are to be expected at a certain anisotropy strength and applied magnetic field at nonzero temperature. We find that the confining geometry extends (with respect to systems in the thermodynamic limit) the skyrmion phase at the expense of the spiral phase. ii) The cascade of transitions between different magnetic structures that the system undergoes upon lowering the magnetic field through the skyrmion phase, a typical example of which is shown in Fig. . iii) The temperature dependence of relative probabilities for occurence of different skyrmions configurations that are degenerate at zero temperature, shown in Fig. . We find that at moderate temperature configurations with more skyrmions are typically entropically favored over configuration with less skyrmions. Moreover, we also consider quantum fluctuations and find that these also favor configurations with higher skyrmion number.

Skyrmions are predicted to occur in several varieties, two of which have by now been experimentally identified. One of these is the Néèl (somtimes also called "hedgehog") skyrmion, i.e., a skyrmion in which the magnetization points radially outward from the skyrmion center. The other type of skyrmion (where the magnetization is perpendicular to radii pointing outward from the skyrmion center) is called a Bloch skyrmion. (See Fig. 1 of Ref.  for an illustration.) Which of the two types is favored depends on which type of DM interactions are present as dictated by the crystal and/or structural symmetry. In the long-wavelength limit, the DM interactions yield a contribution to the energy density that is a certain combination of so-called Lifshitz invariants, i.e., antisymmetric terms of the form $$\label{eq:li}
 S_i\frac{\partial S_j}{\partial r} - S_j\frac{\partial S_i}{\partial r}~,$$ with $S_i$ the $i$-th cartesian component of the spin and $r=x,y$ or $z$, a spatial direction. In MnSi, one of the most-studied skyrmion materials, the DM interactions give a contribution proportional to $${\bf S} \cdot \left( \nabla \times {\bf S}\right),$$ which is straightforwardly shown to be a combination of terms of the form as in Eq. (), and favors Bloch skyrmions. For the PMA materials that are the focus of this work, the DM interactions are interface-induced (see also Ref. ) and stabilize Néèl skyrmions. They are proportional to the expression $$\label{eq:dmiinterface}
  ({\bf z} \cdot {\bf S})(\nabla \cdot {\bf S})-({\bf S} \cdot \nabla) ({\bf z} \cdot {\bf S})~,$$ and in this particular form are shown to explicitly depend on the symmetry-breaking direction ${\bf z}$ which denotes the normal to the interface. We note, however, that the above form of DM interactions also arises in crystals of symmetry class $C_{nv}$ and therefore that Néèl skyrmions are stabilized by bulk DM interactions in some materials. This was recently observed in the magnetic semiconductor GaV$_4$S$_8$. In this material there are no Lifshitz invariants in the $z$-direction and a conical phase is therefore not present. Our results therefore also apply to this case, and, particularly when grown in thin-film form on different substrates, the magnetic anisotropy of this material may be tuned between easy axis and easy plane which enables experimentally exploring the full phase diagram in Fig. .

Previous theoretical studies have focused on the skyrmion phase diagram of infinite systems at zero temperature and nonzero temperature in two and three dimensions. The first experimental results on bulk materials have been extended to confined geometries, such as thin films, e.g. of MnSi and FeGe. Transitions between states with a different number of skyrmions and other (non-skyrmion) magnetic configurations as a function of field have been discussed experimentally and theoretically (at zero temperature) for thin films of MnSi (and thus for bulk DM interactions leading to Bloch skyrmions) in Refs. . Evidence for such a cascade of transitions in magnetoresistance measurements was very recently discussed in Ref. . In these works, the Bloch skyrmion core lines (and field) lie in the plane of the thin film or along the wire direction due to strong easy-plane anisotropy induced by tensile strain from the substrate. As a result, only in-plane fields stabilize skyrmions whereas fields perpendicular to the thin film (and thus anisotropy plane) lead to conical phases. In the two-dimensional configuration that we consider, however, (see Fig. ) the external field is perpendicular to the thin film and skyrmions may be observed for both easy-plane and easy-axis anistropy. For the form of the DM interactions considered here \[Eq. ()\] the conical phase is absent and the easy-plane anisotropy leads to a large external-field range over which skyrmions are stable (see Fig. ). Moreover, the confined geometry stabilizes skyrmions over spirals as the skyrmion phase becomes larger in the wire geometry with respect to the case of an infinite system.

Very recently, Du *et al.* reported on real-space observation of a cascade of transitions in the magnetic structure of a FeGe wire. Although this system stabilizes Bloch skyrmions, this work gives experimental corroboration of many of our findings, such as the existence of elongated skyrmions, the creation of skyrmions from edge states, and the enhanced stability of skyrmions in the confining geometry. Moreover, these authors also observe that spirals orient themselves with their wave vector along the edge of the wires (see also Ref. ), which is in line with our results as well.

Finally, we note for completeness that single Bloch skyrmions in nanodisks were considered in Ref.  without taking into account anisotropy and that the effects of thermal fluctuations and confining geometry on single-skyrmion dynamics was considered in Refs. .

The remainder of this article is organized as follows. In Sec.  we discuss our model hamiltonian and the algorithm used in our simulations. Using these simulations we then construct the anisotropy-external field phase diagram for wire-like systems at moderate temperature and discuss the various magnetic phases and cascade of transitions between them in Sec. . Hereafter we focus on points in the phase diagram where degeneracies occur at zero temperature and investigate how fluctuations lift these degeneracies. We end with a conclusion and outlook, and briefly discuss electrical detection of the various magnetic configurations.

# Model and simulations

We consider Heisenberg spins ${\bf S}_{\bf r}$ of unit length, where ${\bf{r}}$ denotes the location on a two-dimensional square lattice in the $x$-$y$-plane. The spins interact via a ferromagnetic Heisenberg coupling $J>0$, Dzyaloshinskii-Moriya coupling $D$, and are subject to an anisotropy term $K$ and an external magnetic field ${\bf B}$. The effective hamiltonian is given by $$\begin{aligned}
\label{eq:hamiltonian}
H =
    -& J \sum_{\bf r}  {\bf S}_{\bf r}  \cdot \left(  {\bf S}_{{\bf r}+{\bf \hat{x}}} +  {\bf S}_{{\bf r}+{\bf \hat{y}}} \right) \nonumber \\
    +& K \sum_{\bf r}  \left( {\bf S}_{\bf r} \cdot {\bf \hat{z}}  \right)^2 - {\bf B} \cdot \sum_{\bf r}  {\bf S}_{\bf r}  \\
    -& D \sum_{\bf r} \left(  {\bf S}_{\bf r} \times {\bf S}_{{\bf r}+{\bf \hat{x}}} \cdot {\bf \hat{y}} - {\bf S}_{\bf r} \times {\bf S}_{{\bf r}+{\bf \hat{y}}} \cdot {\bf \hat{x}} \right). \nonumber
\end{aligned}$$ The above form of the DM interactions (i.e., the term in the hamiltonian proportional to $D$) corresponds to the discretized version of Eq. () and is therefore to lowest order in nearest-neighbor coupling appropriate for the PMA materials of interest to us here, i.e., for the situation that the DM interactions arise due to inversion asymmetry induced by the presence of an interface. In the hamiltonian we have neglected dipole-dipole interactions. This is appropriate in the limit of strong DM interactions that lead to small skyrmions and where the dipolar field will only renormalize parameters such as the anisotropy. We note that throughout this article we consider a wire geometry, i.e., a two-dimensional system with periodic boundary conditions in one direction and open boundary conditions in the other direction.

For simplicity we assume ${\bf B} = B  {\bf \hat{z}}$ perpendicular to the $x$-$y$-plane and take $B>0$ without loss of generality. The dimensionless parameters $k_{B} T / J \equiv 1/(\beta J)$, with $k_B T$ the thermal energy, $B J / D^2$, and $K J / D^2$ determine the state of the system. An important length scale is the pitch length $p$ (in units of the lattice constant) that determines the periodicity of magnetic textures that arise due to competition between DM interaction $D$ and exchange $J$. In case of a spiral state, for example, the pitch length will be the period of the spirals. In the absence of anisotropy, $K=0$, the pitch length is given by $D/J=\tan \left( 2 \pi / p \right)$ and we will use this definition throughout. This relation can be used to coarse-grain the system by keeping the ratio between the dimensions of the system and the pitch length constant while changing discretization.

We use classical Monte Carlo simulations to sample phase space at finite temperatures $T$. A typical simulation starts with a completely randomized square lattice of spins with $L \times L$ sites (with one open and one periodic boundary) at fixed parameters $B J / D^2$ and $K J / D^2$ at a scaled temperature $k_{B} T/J=10.0$ far above the critical temperature of the system. After several lattice updates the temperature is lowered to a fraction of $0.95$ of the last temperature until a temperature $k_{B} T/J=0.01$ is reached. At each temperature data is collected and $100$ simulations are independently run per set of parameters.

At every temperature the lattice is updated using the Metropolis algorithm followed by a cluster-flipping algorithm. The Metropolis algorithm consists of choosing a spin at random from the lattice and proposing a new direction for this spin. The proposed spin direction is chosen uniformly from the area that is the spherical cap around the original direction where the maximal angle between the original and the proposed spin direction is $\alpha$, and $\alpha$ is dynamically adjusted so that the acceptance probability is approximately 50 %. The cluster-flipping algorithm grows a cluster of spins and flips all the spins in the opposite direction similar to the Wolff algorithm for Ising spins. In both cases acceptance rates for changing a spin (or cluster of spins) are based on the energy difference between the spin states before and after the move such that the system is sampled according to the Boltzmann distribution.

# Magnetic phases and phase diagram

Throughout this article we use a nonstandard definition of phases and phase diagram. In the systems we consider there can, strictly speaking, not be any thermodynamic phase transition breaking a continuous symmetry for two reasons: (a) we always work at finite temperature in a two-dimensional system where the Mermin-Wagner theorem forbids the breaking of a continuous symmetry even in the thermodynamic limit; (b) we explicitly consider finite size systems where a real thermodynamic phase transition is also ruled out. Nonetheless, it is possible to identify phases that are distinct in their magnetic configurations, such as phases that may or may not have magnetic skyrmions.

In order to distinguish such phases, a useful quantity is the winding number $w$, which plays the role of a topological charge. It is quantized in a system with periodic boundary conditions and in terms of the unit vector ${\bf{n}}=\langle {\bf{S}} \rangle/|\langle {\bf{S}} \rangle |$ (we choose ${\bf n}$ instead of ${\bf{S}}$ to distinguish between the microscopic spin and the order parameter field) it reads $$\begin{aligned}
\label{eq:windingnumber1}
w =
    \frac{1}{4 \pi} \int dx dy {\bf n} \cdot \left(  \partial_{x} {\bf n} \times \partial_{y} {\bf n}  \right)~,
\end{aligned}$$ in the continuum limit. In the definition of ${\bf n}$ and throughout this article angular brackets denote the expectation value in the canonical ensemble. A single (anti-) skyrmion contributes (minus) one to the winding number. This effectively means that the number of skyrmions in an ordered state can be counted. From a set of independent simulations with identical parameters the susceptiblity of the winding number $\chi_w = \left( \langle w^2 \rangle - \langle w \rangle^2\right) J/k_{B} T$ is calculated. In the latter expression the expectation values are determined by using Eq. (), with ${\bf n}$ replaced by ${\bf S}$ and the integral replaced by a sum, for a given spin configuration in the simulations and then averaging over many such configurations. Whenever the system undergoes a transition between states with different number of skyrmions this susceptibility will be enhanced.

To determine the phase diagram we take the linear system size $L$ equal to $16$ with one periodic boundary condition (i.e., a wire geometry) at fixed parameter values $B J / D^2$ and $K J / D^2$. We note here that we simulate a square lattice for convenience throughout, and have not performed finite-size scaling as a function of wire length as we expect our findings to merely change quantitatively for larger system size in the periodic direction. We slowly cooled down the system below the critical temperature and measured the susceptibility of the winding number $\chi_w$. For $k_{B} T/J=0.5$ and zero temperature we find the phase diagram in Fig. , divided into an easy-axis ($K<0$) and easy-plane ($K>0$) part. Within the solid line in this figure, the average winding number is larger than one half, so that magnetic skyrmion configurations are expected. The dashed line corresponds to the zero temperature case for the same wire-like confined geometry. The dotted line corresponds to the infinite system at zero temperature. Below the skyrmion phase boundary one finds a phase where spiral states rather than skyrmions are stabilized in the infinitely large system. At elevated temperatures ($k_B T/J=0.5$) and in the confined geometry we also find spiral states for fields below the skyrmion phase, albeit that more complicated textures also appear (depending on system size, pitch length, and anistropy; below we discuss the magnetic configurations in this region in more detail). In the confined geometry the skyrmion phase becomes larger (with respect to the infinite system) at the expense of the spiral phase. We attribute this to the larger ability of skyrmions as compared to spirals to adapt to the repulsive forces away from the edges of the system. Du *et al.* have observed this enhanced stability for Bloch skyrmions in FeGe nanowires.

For fields too large to stabilize skyrmions, the spins are uniformly polarized. In this part of the phase diagram and for fields larger than $2K$ (with $K>0$) the spins are pointing along the field, i.e., along the $z$-direction. For smaller fields and $K>0$ the easy-plane anisotropy tilts the spins away from the field direction.

The colors in the phase diagram indicate the susceptibility of the winding number. Depending on system size relative to pitch length, the magnetic configuration within the skyrmion phase may undergo transitions between phases with different number of skyrmions. At each such transition the winding number susceptibility is enhanced.

Finally, we note that the phase diagram at zero temperature was studied before for infinite system size with different methods. Contrary to this latter work we do not find a tri-critical point where polarized, spiral and skyrmion phases meet in the easy-plane part of the phase diagram from our simulations. Representative spin configurations of the polarized state, the spiral state, and the skyrmion state at small temperature can be found in Fig.  (g), (h), and (i), respectively. We also note that for Bloch skyrmions the role of anisotropy on the ground-state phase diagram was discussed in Ref. .

As we have already mentioned in the discussion of the phase diagram, the system goes through different magnetic configurations upon lowering the field through the skyrmion phase to zero. The precise configuration depends on the ratio of system size to pitch length. In Fig.  we show the situation for a wire geometry with linear size $L=16$ and one periodic boundary at zero temperature and for zero anisotropy. Starting from large fields (and hence from the polarized phase), at a certain field strength (see Fig. ) the magnetic configuration changes from being uniformly polarized, into a configuration with skyrmions, upon lowering the field. As the distance between skyrmions depends on the field (with larger field leading to larger distance) the number of skyrmions increases discontinuously as the field is lowered. Roughly speaking, the number of skyrmions jumps once the field (and thus preferred skyrmion distance) is low enough to accommodate more skyrmions in the confined geometry. Note that this clearly depends on system size. For lower fields, the skyrmion configuration changes into a spiral state via a state where the skyrmions are elongated. Such extended skyrmions are reminiscent of "fingers" in liquid crystals that appear in many varieties. Also note that for low enough fields half skyrmions appear at the edge of the system. For very low fields, the spiral state is stabilized and in the middle of the system the elongated skyrmions and spirals orient themselves $90$ degrees with respect to the lattice to maximize the period of the spiral (and thus minimize exchange energy). Similar anisotropies may very well be present in some materials and in our simulations result from the underlying lattice. For simulations that would need to give quantitative predictions for continuum systems, one could add additional terms that make the exchange interactions more isotropic. Here, we do not pursue this route as we are interested in the qualitative features of the phases and cascade of phase transitions. At the edge of the wire the influence of exchange is less important with respect to DM interactions and the spirals are parallel to the edge. Because of the strong easy-plane anisotropy of MnSi thin films, Wilson *et al.* considered helicoids with wave vector perpendicular to the edges, and, moreover, only considered edge states without internal structure. In the geometry we consider, the edge states may also consist of half skyrmions, and, as a result, the spiral states that finger out of the skyrmions and half skyrmions upon lowering the field will have their wave vector parallel to the edges of the wire. Again, we note that several of the features we dicuss, such as half and elongated skyrmions, and spiral orientation at the edges, were very recently experimentally observed by Du *et al.* for Bloch skyrmions.

In Fig.  we show, in addition to the magnetization in the top row, the energy density $\rho_E$ \[the expectation value of the summand in Eq. ()\] in the middle row of figures, and the topological charge (winding number) density $\rho_w$ \[integrand in Eq. ()\] in the bottom row, where the brighter colors indicate higher values. At the skyrmion (and half skyrmion) positions the energy is largest as the spin at the skyrmion core points opposite to the external field. We also note that the figure of the magnetization clearly shows edge states where the magnetization tilts away from the field direction at the boundaries of the system. The middle row shows that the energy density is minimized at the edges. Note that for low enough field the half skyrmions at the edge are formed from these edge states, as was also discussed in Ref.  for Bloch skyrmions. We note that in structures where half skyrmions appear the edges show alternating positive and negative contributions to the winding number, while in the skyrmion phase the contributions to the winding number are positive and due to the skyrmions only.

# Degeneracies and fluctuations

At the transitions between different magnetic configurations as a function of field, two magnetic configurations are degenerate. Such degeneracies occur generically in a confining geometry as a function of field, ratio of DM to exchange interaction, or system size, because the geometry prevents the skyrmions from reaching their preferred (in an infinitely large system) position. This leads, at some particular set of values of the parameters, e.g. to a degeneracy between a state with fewer but larger skyrmions and a state with more but smaller skyrmions. An example of two degenerate spin configurations is given in Fig. . In this figure, the skyrmions are elliptical as the edge states effectively push the skyrmions away from the boundaries thereby deforming the skyrmions. Skyrmion deformation due to anisotropy was discussed in Ref. . We now turn to the question of how fluctuations lift zero-temperature degeneracies between two magnetic configurations, in particular for degenerate configurations containing a different number of skyrmions.

To investigate this in detail we look again at a wire geometry of size $L\times L=16\times16$ with $K J/D^2=0.0$ and $B J /D^2=0.5$. We vary the pitch length $p$ and determine the classical energy of different skyrmion configurations. These energies are found by initiating the simulations with a certain number of skyrmions and using simulated annealing to force the configuration to an energetic local minimum at zero temperature. The upper panel of Fig.  (a) shows the classical ground-state energies for various configurations as a function of the pitch length relative to the energy of a system without any skyrmions. There is a range of pitch lengths $5.5 \lesssim p \lesssim 13.5$ for which the classical ground state is a configuration containing skyrmions.

We note that a similar result can be obtained by varying the system size rather than the pitch length, since the ratio between these two length scales determines the preferred amount of skyrmions in the system. This means that for a given material with certain values for $J$, $D$, and $K$ and some applied magnetic field such that skyrmions are expected, wires can be made with a certain thickness so that their classical magnetic ground state is degenerate.

To investigate the effect of quantum and thermal spin-wave (magnon) fluctuations at zero and nonzero temperature, respectively, we use the method outlined in Refs. \[\] and \[\]. We quantize the spins and use a Holstein-Primakoff transformation to bosonic operators $\hat a_{\bf r}$ and $\hat a_{\bf r}^\dagger$. It is given by $$\begin{aligned}
\label{eq:hptrafo}
 \hat {\bf S}_{\bf r} \cdot \bm{\Omega}_{\bf r} &=& S - \hat  n_{\bf r}~; \nonumber \\
 \hat  S^-_{\bf r} &=& \hat a_{\rm r} \sqrt{2S - \hat n_{\bf r}}~,
\end{aligned}$$ where $\hat  S^-_{\bf r}$ is the usual spin-lowering operator and $\hat n_{\bf r} = \hat a^\dagger_{\bf r} \hat a_{\bf r}$. Moreover, $\bm{\Omega}_{\bf r}$ denotes the classical spin configuration that is found from the simulations at zero temperature and $S$ is the spin quantum number (which we take equal to one as the simulations are done for normalized spins). We insert the above transformation in the hamiltonian and keep terms up to quadratic order in the creation and annihilations operators which amounts to a linear approximation in which interactions between spin waves are neglected, which is sufficient for low temperatures. The hamiltonian acquires terms $\sim \hat a \hat a$ and $\sim \hat a^\dagger \hat a^\dagger$ that are removed by a Bogoliubov transformation to new bosonic operators $\hat \gamma_i^\dagger$ and $\hat \gamma_i$ that respectively create and annihilate a spin wave with energy $\epsilon_i$. Here, $i$ is an index that labels the spin-wave modes. After the Bogoliubov transformation, the hamiltonian is in the above-mentioned harmonic approximation given by $$\label{eq:quantumham}
  H = E_{\rm cl} + E_0 + \sum_i  \epsilon_i \left(\hat \gamma_i^\dagger \hat \gamma_i + \frac{1}{2} \right)~.$$ The first term is the classical ground-state energy as found in the simulations whereas the second term is a quantum contribution that arises in the Bogoliubov approach outlined aboved. This latter contribution is absent at the classical level.

Using the above hamiltonian, the ground-state energy including quantum corrections is found to be $$\label{eq:quantumenergy}
    E  = E_{\rm cl} + E_0 + \sum_i   \frac{\epsilon_i }{2}~.$$ At a point where two magnetic configurations in our simulations are found to be degenerate, the first term $E_{\rm cl}$ is equal for them. The spin-wave spectrum (and hence the quantum correction represented by the last two terms in the above expression for the energy) is, however, generically different for two classically degenerate configurations, so that quantum fluctuations may indeed remove classical degeneracies. In the lower panel of Fig.  (a) we show the energy including quantum corrections for magnetic configurations containing up to four skyrmions as a function of pitch length and for the same parameters as the upper panel of this figure. This result shows that the energies are shifted by the quantum corrections. Moreover, they are shifted in such a way that the region where the configuration with four skyrmions is the true lowest-energy state is enlarged with respect to the classical result. This conclusion is in line with the finding of Roldán-Molina *et al.* \[\] that quantum fluctuations stabilize skyrmion textures over the collinear ferromagnetic phase. Loosely speaking this comes about because larger gradients in the spin direction lead to more quantum fluctuations.

Having discussed the effect of quantum, i.e., zero-temperature, fluctuations, we now turn to thermal fluctuations. To investigate which configuration is entropically preferred, we i) compute the entropy due to the spin waves around two degenerate skyrmion configurations (an approach appropriate at low temperatures), and ii) directly measure the relative probability of occurrence of configurations at nonzero temperatures within our simulations (and approach valid at intermediate and high temperatures). In the first approach the spin waves (or magnons) are considered as non-interacting bosonic particles thus taking into account their quantum statistics. We refer to this approach as the spin-wave analysis.

We look at a system with $p=9.336$ and $p=7.284$. At these values of the pitch length, the classically degenerate ground states contain either one or two skyrmions for $p=9.336$ as in Fig.  or two or four skyrmions for $p=7.284$. At nonzero temperature, the total energy of the system is in the harmonic approximation given by $$\begin{aligned}
\label{eq:energyBE}
E (T)=E_{\rm cl} + \sum_i \epsilon_i n_i~,
\end{aligned}$$ with the Bose-Einstein distribution function $n_i=[\exp(\beta \epsilon_i)-1]^{-1}$. In the above equation and following discussion we neglect the quantum corrections to the energy discussed previously. The spin-wave entropy is given by $$\begin{aligned}
\label{eq:entropyBE}
S (T)= - k_{B} \sum_i \left[ n_i \ln n_i -(1+n_i)\ln(1+n_i) \right]~.
\end{aligned}$$ Since the simulations are classical we expect them to correspond to the Rayleigh-Jeans limit, $n_i \to 1/\beta \epsilon_i$, of the above formulas, which leads to equipartition of energy such that in this limit the total energy is equal to $N k_B T$, with $N$ the number of spins. In Fig.  we display the average energies of the degenerate ground states as a function of temperature. As expected, at low temperatures the simulation agrees with this classical equipartition result, whereas the quantum-mechanical result is suppressed with respect to equipartition. This is because apart from a few (nearly) zero modes, most spin-wave excitations have energies $\sim B$, such that at temperatures $k_B T \ll B$ our simulations overestimate their contribution to the energy. The deviation of the simulations from equipartition at high temperatures is because in this limit the harmonic approximation starts to break down.

At nonzero temperatures, the probability of the system being in one out of two degenerate ground states depends on their difference in entropy. Besides the entropy due to magnons there is also translational entropy that depends on the number of skyrmions, and that needs to be included in the overall entropy of a configuration. The simulations automatically include this extra entropy, but it is not accounted for in the expression in Eq. () and needs to be included on top of this expression. For example, the skyrmion configurations in Fig.  can be translated in the periodic direction by a lattice constant. For a single skyrmion there are $16$ (for system size 16 in the periodic direction) translations, whereas for two skyrmions the configuration can be mapped onto itself by a translation over $8$ lattice site in combination with a reflection. Hence, the configurations with one and two skyrmions have the same translational entropy. Similar counting leads to the conclusion that there are twice as much translations possible for the situation of two, as compared to four skyrmions so that the translational entropy of the configuration with two skyrmions is $k_B \ln 2$ higher than that of four skyrmions.

Fig.  displays the ratio of probabilities for occurence of skyrmion configurations with different number of skyrmions: two and one skyrmions for $p=9.336$, and four and two skyrmions for $p=7.284$, as a function of temperature. In this figure, both simulation results (dots) and results from the spin-wave analysis without the translational entropy are shown (black solid line). The probability that results from the classical limit of the entropy \[Eq. () with the replacement $n_i \to 1/\beta \epsilon_i$, dashed black line\] leads to a probability ratio that agrees with the low-temperature limit of our simulations, where the ratio was measured by cooling a system down $10^4$ times while measuring the number of skyrmions in the system. According to the spin-wave analysis, the probability ratio is in the low-temperature only determined by translation entropy. Both the quantum-mechanical result for the entropy as well as the simulations show a peak around the ferromagnetic phase transition $k_{B} T / J\sim 1$. At moderate temperatures ($0.1 J -0.5 J$) our results show that the configuration with the most skyrmions is entropically favored.

# Conclusions, discussion, and outlook

In this article we have shown that in finite systems and at elevated temperatures skyrmions are present in a large part of the phase diagram. We have also discussed how the magnetic field tunes the system through a cascade of transitions between different magnetic configurations, and how zero-temperature degeneracies between such magnetic configurations are lifted by fluctuations. Throughout this article we have focused on PMA materials where the DM interactions are believed to arise due to interfaces between very thin layers of magnetic materials (such as Co) and materials with strong spin-orbit couping (such as Pt). Such DM interactions give rise to Néèl skyrmions. Because the magnetic layers in these system are very thin (only a few atoms), our two-dimensional treatment is appropriate. In particular, the two-dimensional nature and form of the DM interactions prevent the formation of conical phases in the phase diagram. This situation is different from the situation of thin films of MnSi in which Bloch skyrmions are stabilized and conical phases are present.

In this article we have focused on the confined geometry of a wire. The cascade of transitions as a function of field is generic and appears for any confined geometry because the field influences the preferred skyrmion distance. Which particular magnetic structures occur in the cascade depends on the confined geometry, however, and on the form of the DM interactions and anisotropy. In particular, we expect that the half-skyrmions that we have found will only appear in a wire geometry.

Jumps in the magnetoresistance in MnSi nanowires have been observed recently, and were attributed to changes in the number of skyrmions in the magnetic configuration. Measurements of changes in the topological Hall effect due to the appearance of single skyrmions in a confined geometry were performed on FeGe. Motivated by these experiments we now investigate whether the transitions between various configurations that appear in our system as a function of field (see Fig. ) can be detected electrically. To this end, we compute the total winding number and the total magnetization in the $z$-direction as a function of field for the same parameters as Fig.  (see Fig. ). The total winding number determines (up to prefactors) the topological Hall signal, provided spin-orbit coupling is small. The result in Fig.  clearly shows jumps in the winding number as the magnetic configuration undergoes a structural transition. For PMA materials, however, the topological Hall signal is expected to be very small. An alternative for electrical detection of the magnetization configuration is then the anomalous Hall signal that is proportional to the total magnetization in the $z$-direction for our geometry. Fig.  shows that this quantity also jumps as the magnetization configuration undergoes a transition as a function of field. Based on this analysis we conclude that the transitions between various magnetic configurations that have we found may be detected electrically.

Using experimental parameters for PMA materials from Ref.  we estimate that $K J / D^2   \sim -1$ and $B J / D^2   \sim 10^{-4} - 10^{-1}$ for these experiments. The route to observe skyrmions in these systems would therefore be to increase the field and lower the anisotropy (or preferrably make it easy-plane). Very recently, Moreau-Luchaire *et al.* have reported the observation of skyrmions at room temperature in multilayers of Co and Pt with PMA. The skyrmions observed in these measurements are rather large and stabilized as a result of both dipole-dipole and DM interactions, and are therefore in a somewhat different regime from the skyrmions that we have studied in this article.

In future work, we will investigate how current-induced torques manipulate the skyrmionic magnetic structures we have found. Finally, motivated by the recent experimental results of Du *et al.* we also intend to consider Bloch skyrmions.

# Acknowledgement

It is a pleasure to thank Gerrit Bauer, Reinoud Lavrijsen and Henk Swagten for useful comments. LF and SB acknowledge support from the Deutsche Forschungsgemeinschaft under FR 2627/3-1. This work is supported by the Stichting voor Fundamenteel Onderzoek der Materie (FOM) and is part of the D-ITP consortium, a program of the Netherlands Organisation for Scientific Research (NWO) that is funded by the Dutch Ministry of Education, Culture and Science (OCW).