1: \documentclass[twocolumn,rvb,showpacs,amsmath,amssymb]{revtex4}
2:
3: \usepackage{graphicx}% Include figure file
4:
5: \begin{document}
6:
7: \newcommand\br[1]{$\langle#1\rangle$}
8: \newcommand\dst{\displaystyle}
9:
10: \title{Phase diagram of 3D ANNNI model
11: in an effective-field approximation}
12:
13:
14: \author{Anton \v{S}urda}
15:
16: \affiliation{Institute of Physics Slovak Academy of Sciences
17: D\'ubravsk\'a cesta, 842 28 Bratislava
18: }
19:
20: \date{\today}
21:
22: \begin{abstract}
23:
24: An effective-field method for calculation of thermodynamic properties of
25: three-dimensional lattice spin models is developed. It is applied to the
26: ANNNI model on the simple cubic lattice. The phase diagram of the model, consisting of a large number
27: commensurate phases and of an incommensurate phase, is calculated, confirming the results of previous approaches.
28: The phase transition lines for a number of commensurate structures are localized and a strong evidence for absence of the direct phase transition between commensurate phases and the disordered phase is found.
29: \end{abstract}
30:
31: \pacs{64.70.Rh}
32:
33:
34: \maketitle
35:
36: \section{Introduction}
37:
38: In this paper we study the ANNNI model on a simple cubic or tetragonal
39: lattice. This model was first introduced by Elliott \cite{ell} in order to understand
40: modulated magnetic materials. It is reviewed by Selke and Yeomans
41: \cite{sel1,sel2,yeom}.
42: The model is known to form a low temperature ferromagnetic phase for a small
43: next-nearest-neighbour interaction and a $\langle2\rangle$ phase for a
44: large one. The wedge in the nnn interaction-temperature phase diagram between
45: this two phases is, at low temperatures, filled by infinite number commensurate
46: phases.
47:
48:
49: Theoretical study of the ANNNI model has been based on a large number
50: of various approaches.
51: The devil's staircase structure of the phase diagram at low and medium temperatures was elucidated by
52: low-temperature series expansion \cite{fi1} and mean-field approximations
53: \cite{boe, bak1, fi2, sel3, jen}.
54: The incommensurate phase was also treated by
55: the free fermion approximation \cite{vil, ruj}.
56: Recently, an anisotropic scaling at the Lifshitz point was used to calculate several
57: critical exponents at this point \cite{hen}.
58: A considerable effort was also devoted to investigation of ANNNI thin films
59: \cite{sel4,sel5,sel6}.
60:
61:
62: The mean-field approximations describes qualitatively well the phase diagram of the ANNNI model,
63: nevertheless, some of its features were challenged by other approaches, e.g.
64: the stability of the commensurate phase
65: up to the transition line to the disordered phase.
66:
67: To improve the performance of mean-field treatment of the ANNNI model, we develop
68: an effective field method,
69: which is a generalization of the
70: cluster transfer-matrix method successfully applied to 2D spatially modulated structures
71: \cite{sur1, kar, paj}.
72:
73:
74:
75: Our effective field method resembles the nonlinear mapping approach of Bak \cite{bak2,jen}, but,
76: instead of magnetization,
77: it maps a large number of effective fields, which simulate the cluster environment. It is related
78: also to the DMRG method \cite{sur2}, and for the 2D ANNNI model they yield similar results
79: \cite{kar, gen2}.
80: Comparing with DMRG approach, our method is much simpler,
81: and instead of diagonalization of density matrix and renormalization of transfer matrix
82: by matrix multiplication it requires only calculation of
83: square-root of a function of cluster spin configurations and real-number multiplications \cite{sur2}.
84: %Despite the kinship
85: %of both methods, they give totally different results for 3D ANNNI model, as the DMRG method
86: %gives no internal structure of the wedge between the ferromagnetic phase and \br{2} phase \cite{gen3}.
87: The results
88: of our method is in general agreement with other approaches, and it removes the artefacts of the previous
89: mean-field methods.
90:
91:
92:
93: In Section II the 3D ANNNI model is specified, and a new effective field approximation is developed. Results of numerical
94: calculations and a tool for distingushing between commensurate and incommensurate phases, which
95: lead to construction of the phase diagram are presented in Section III.
96:
97:
98:
99:
100:
101:
102: \section{Model and method}
103:
104: We shall generalize the
105: cluster transfer-matrix method (an effective-field
106: approximation) developed and applied to 2D space-modulated structures some time ago \cite{sur1,paj,kar,sur2}.
107: The
108: development of the 3D method follows the same ideas that were used
109: in 2D case, however, a new approximation in the course of
110: calculation has to be done. For reasons of clarity the
111: method is developed for an ANNNI-type model but it can be easily
112: reformulated for any 3D model with short-range interactions.
113:
114:
115:
116: \begin{figure}
117: \includegraphics[width=0.7\columnwidth,clip=]{MRIEZKA.EPS}
118: \caption{\label{mr}
119: Spin-spin interactions in 3D ANNNI model; nn interactions $J_0$ and $J_1$ are ferromagnetic,
120: nnn interactions $J_2$ are antiferromagnetic.}
121: \end{figure}
122:
123:
124:
125: The three dimensional ANNNI model on a simple cubic lattice consists
126: of two dimensional planes, within which each spin is coupled to
127: its nearest neighbors by a ferromagnetic interaction $J_0$.
128: However, in the direction perpendicular to the planes, spins are
129: coupled by competing ferromagnetic nearest- and
130: antiferromagnetic next-nearest-neighbor interactions (Fig.~1). For reasons
131: of simplicity $J_1=J_0$ is further assumed.
132:
133: As the interactions between spins $\sigma_{i,j,k}=\pm 1$ in the Hamiltonian
134: of the 3D ANNNI model
135: \begin{eqnarray}
136: H&=&\sum_{i,j,k} -J_0\sigma _{i,j,k}(\sigma _{i+1,j,k}+\sigma _{i,j+1,k})
137: -J_1 \sigma _{i,j,k}\sigma _{i,j,k+1}\nonumber\\
138: && + J_2 \sigma _{i,j,k}\sigma _{i,j,k+2}
139: \end{eqnarray}
140: involve only three layers, it can be written as a sum of layer
141: Hamiltonians $H_i(S_{i}, S_{i+1},S_{i+2})$ which depend on three
142: layer variables $S_k\equiv \{\sigma _{i,j,k}\}\ i,j\in(-\infty,
143: \infty)$. Since there are only nearest-neighbor interactions
144: inside the layers, the layer Hamiltonian can be expressed as a sum
145: of cluster Hamiltonians defined on $2\times2\times3$ clusters with
146: the longer side oriented along the $J_2$ interaction.
147: \begin{equation}\label{2}
148: H=\sum_k(H_k(S_k,S_{k+1},S_{k+2})=\sum_k\sum_{i,j}H_{i,j,k}(\sigma _{l,m,n})
149: \end{equation}
150: where $l=i,i+1,\ m=j,j+1,\ n=k,k+1,k+2$.
151:
152: The exponential of the layer Hamiltonian $H_k$ is further denoted by $T_k
153: (S_k, S_{k+1},S_{k+2})\equiv\exp[\beta H_k(S_k,S_{k+1},S_{k+2})]$ and
154: sometimes
155: called transfer matrix though it is rather a function of spin variables.
156:
157: Then the summation in the partition function
158: \[
159: Z=\sum_{\{\sigma _i\}}\exp[\beta H(\sigma _i)]
160: \]
161: may be performed consecutively layer by layer generating a set of
162: auxiliary functions $\Psi_k$ and normalization factors $\lambda_k$
163: \begin{equation}
164: \sum_{S_k} \Psi_k(S_k, S_{k+1})T_k(S_k, S_{k+1}, S_{k+2})=\lambda _k
165: \Psi_{k+1}(S_{k+1}, S_{k+2})
166: \end{equation}
167: starting from an appropriate function $\Psi_1(S_1,S_2)$ that may
168: be interpreted as a boundary condition of the system on a
169: semi-infinite lattice. The values of $\Psi_k$ for $k\to \infty$
170: mostly do not depend on the input $\Psi_1$ except the vicinity
171: of a first order phase transition. Here the different bulk values
172: correspond to one stable and one or more physically unstable
173: solutions. The stable solution is the one with the lowest free
174: energy that is proportional to $\log\prod_k \lambda _k$.
175:
176:
177:
178:
179: As we see, the auxiliary functions in the transfer matrix method
180: are some general positive functions defined on clusters of planes
181: in 3D models. For lower-dimensional models they are defined on
182: clusters of rows in 2D and clusters of sites in 1D. In a
183: one-dimensional model, the auxiliary functions depend on finite
184: number of spin variables, in 2D and 3D cases they acquire infinite
185: number of values which cannot be generally found by numerical
186: calculations. Instead of the whole function at the right-hand side
187: of (3), we further calculate only its correlation function, sum
188: of $\Psi_{k+1}(S_{k+1}, S_{k+2})$ over the whole lattice except a
189: small cluster, and the true auxiliary function $\Psi$ is
190: approximated by a more convenient one, nevertheless, exactly
191: reproducing the calculated correlation functions.
192:
193:
194: As we do not use any further information from the left-hand side
195: of Eq. (3), all the remaining properties of the approximate
196: function $\tilde\Psi$ are derived from the requirement of maximum
197: of the information entropy $S=\tilde\Psi\log\tilde\Psi$
198: \cite{jaynes}. To maximize $S$
199: under the condition
200: that the partial sum of $\tilde\Psi$ is equal to the given
201: correlation function, Lagrange multipliers corresponding to each
202: configuration of the cluster have to be introduced. It is easy to
203: show that the desired auxiliary function can be expressed as a
204: product of exponentials of the cluster Lagrange multipliers. Thus,
205: the requirement of maximum of the information entropy leads to a
206: factorization of the auxiliary function. If only factorized
207: auxiliary functions are used, the left-hand side of (3) is
208: completely factorized for short-range interactions and its
209: partial summation is equivalent to calculation of a correlation
210: function of a statistical system of the dimension lower by 1 than
211: that of the original problem. It means that for 2D system this
212: step can be performed exactly, but for 3D the factorization
213: procedure must be applied even for calculation of the correlation
214: function.
215:
216:
217: In the case of 2D model (1D auxiliary functions) the application
218: of the above considerations is straightforward. Let us denote the
219: correlation function on a small cluster of the length $n+1$ by
220: \[
221: \dst\Phi_i^{i+n}\equiv\hskip-15pt \sum_{\{\sigma_j\} \atop j\in
222: (-\infty, i)(i+n, \infty)}\hskip-15pt\Psi(\sigma _j),
223: \]
224: which is
225: assumingly known from the previous calculation step. The
226: approximate function $\tilde\Psi$ is defined as a product of
227: unknown cluster functions $\Theta_i^{i+n}(\sigma _j)$ defined on
228: $n+1$ sites:
229: \begin{equation}
230: \tilde\Psi\equiv \prod_i \Theta_i^{i+n}(\sigma _j)\qquad
231: j\in\langle i,i+n\rangle.
232: \end{equation}
233: We would like to express the cluster functions $\Theta_i^{i+n}$ in terms of
234: $\Phi_i^{i+n}$.
235:
236: Let us denote the left eigenfunction of the function (transfer
237: matrix) $\Theta_i^{i+n}$
238: \begin{equation}
239: \sum_{\sigma _i} \theta_i^{i+n-1}(\sigma _j) \Theta_i^{i+n}(\sigma _j)=
240: \lambda \theta_{i+1}^{i+n}(\sigma _j)
241: \end{equation}
242: by $\theta$ and its eigenvalue by $\lambda$. ($\theta_i^{i+n-1}$
243: and $\theta_{i+1}^{i+n}$ are identical function defined on
244: different clusters if we do not expect any space modulation in
245: this direction.)
246:
247:
248: Since $\theta_i^{i+n-1}$ is the result of summation of $\tilde\Psi$
249: from $-\infty$ to $i$, correlation function
250: $\tilde\Phi_i^{i+n}$ corresponding to $\tilde\Psi$ can be expressed as
251: \[
252: \tilde\Phi_i^{i+n}= \theta_i^{i+n-1}\Theta_i^{i+n}
253: \bar\theta_{i+n}^{i+1},
254: \]
255: where $\bar\theta$ is the right eigenfunction of $\Theta$ defined by
256: \begin{equation}
257: \sum_{\sigma _{i+n}} \Theta_i^{i+n}(\sigma _j)
258: \bar\theta_{i+n}^{i+1}(\sigma _j)=
259: \lambda \bar\theta_{i+n-1}^{i}(\sigma _j).
260: \end{equation}
261: Since we require $\tilde\Phi_i^{i+n}=\Phi_i^{i+n}$, the unknown cluster
262: function $\Theta^{i+n}_i$ is
263: \begin{equation}
264: \Theta_i^{i+n}= {\Phi_i^{i+n}\over \theta_i^{i+n-1} \bar\theta^{i+1}_{i+n}}.
265: \end{equation}
266: Unfortunately, the eigenfunctions $\theta$ and $\bar\theta$ are implicit
267: functions of $\Theta$. On the other hand, it can be easily shown that
268: \begin{equation}
269: \Theta_i^{\prime\, i+n}= \sqrt{\theta_i^{i+n-1}\over
270: \bar\theta^i_{i+n-1}} \, \Theta_i^{i+n}\,
271: \sqrt{\bar\theta_{i+n}^{i+1}\over\theta^{i+n}_{i+1}}
272: \end{equation}
273: have the same eigenvalues as the original cluster functions $\Theta_i^{i+n}$.
274: Substituting (7) for $\Theta_i^{i+n}$ we get
275: \begin{equation}
276: \Theta_i^{\prime\,i+n}=
277: {\Phi_i^{i+n}\over\sqrt{\theta_i^{i+n-1}\bar\theta_{i+n-1}^{i}
278: \theta_{i+1}^{i +n}\bar \theta_{i+n}^{i+1}}}=
279: {\Phi_i^{i+n}\over\sqrt{\Phi_i^{i+n-1}\Phi_{i+1}^{i+n}}},
280: \end{equation}
281: where $\Phi_{i+1}^{i+n}=\sum_{\sigma _i}
282: \Phi_i^{i+n}=\theta_{i+1}^{i +n}\bar \theta_{i+n}^{i+1}$ and
283: similarly $\Phi_{i}^{i+n-1}$. Thus, obeying the condition of
284: maximum of information entropy, relations (4, 9) yield a
285: possibility to express the approximate chain auxiliary function
286: $\tilde\Psi$ in terms of the known correlation function
287: $\Phi_i^{i+n}$
288: \begin{equation}
289: %(10)
290: \Psi\approx\tilde\Psi=\prod_i \Theta_i^{i+n} = \prod_i \Theta_i^{\prime\,
291: i+n}
292: =\prod_i {\Phi_i^{i+n}\over\sqrt{\Phi_i^{i+n-1}\Phi_{i+1}^{i+n}}}
293: \end{equation}
294:
295:
296: In the case of 2D auxiliary function (for 3D models) the relation (10) is further
297: valid, only the indices denote infinite rows
298: of sites rather than sites. However now, we cannot expect
299: that the correlation function $\Phi_i^{i+n}$ defined on $n+1$
300: infinite rows could be found in previous calculations, but only a
301: function on a finite cluster of the size $n\times l$. We denote
302: it by $\Phi_{i,j}^{i+n,j+l}$, where the first indices represent
303: rows and the second ones columns of the lattice. The most serious
304: difference between 3D and 2D models is that the eigenfunction in
305: (5) cannot be found exactly but it must be factorized, as well.
306: Then all the functions in the expression for $\Phi_i^{i+n}$ are
307: factorized similarly as at the left-hand side of Eq. (3), i.e. the
308: whole procedure that we applied to the chain auxiliary function
309: $\Psi$, and that has led to (9), can be applied to $n$-row and
310: $n-1$-row correlation function $\Phi_i^{i+n}$ and
311: $\Phi_{i+1}^{i+n}$, $\Phi_i^{i+n-1}$, respectively, appearing in
312: 2D version of (10). We obtain
313: \begin{equation}
314: \Phi_i^{i+n}=
315: \prod_j {\Phi_{i,j}^{i+n,j+l}\over \sqrt{\Phi_{i,j}^{i+n,j+l-1}\Phi_{i,j+1}^{i
316: +n,j +l}}}\qquad \hbox{etc.}
317: \end{equation}
318: Thus, by consecutive application of the factorizing procedure
319: (11) to all terms in (10), an approximation $\tilde\Psi$ to the
320: function $\Psi$ can be expressed in terms of its cluster
321: correlation function
322: \begin{equation}
323: \Phi_{i,j}^{i+n,j+l}=\hskip-15pt \sum_{{\{\sigma _{km}\}\atop
324: k\in(-\infty, i)\cup(i+n,\infty)}\atop m\in(-\infty,
325: j)\cup(j+l,\infty)}\hskip-15pt \Psi(\sigma _{km}).
326: \end{equation}
327: The expression reads
328: \begin{eqnarray}
329: %(13)
330: &\Psi\approx \tilde\Psi = \prod_{i,j} \Theta_{i,j}^{\prime i+n,j+l}
331: \hfill\\
332: &=
333: \prod_{i,j} {\Phi_{i,j}^{i+n,j+l}
334: \root 4 \of {\Phi_{i,j}^{i+n-1,j+l-1} \Phi_{i,j+1}^{i+n-1,j+l}
335: \Phi_{i+1,j}^{i+n,j+l-1} \Phi_{i+1,j+1}^{i+n,j+l} }\over
336: \sqrt{\Phi_{i,j}^{i+n,j+l-1} \Phi_{i,j+1}^{i+n,j+l} \Phi_{i,j}^{i+n-1,j+l}
337: \Phi_{i+1,j}^{i+n,j+l} }
338: }\nonumber
339: \end{eqnarray}
340:
341: Unlike in 1D case, the correlation function calculated from
342: $\tilde\Psi$ is only approximately equal to that calculated from
343: $\Psi$. It would be true if we were able to factorize the whole
344: two-dimensional plane function $\Theta^{\prime i+n}_i$ in 2D
345: version of (10) and not only each correlation function $\Phi$
346: separately.
347:
348:
349: All the functions in (13) are plane dependent in the case of a
350: modulated structure. Therefore, in the explicit description of the
351: iteration procedure, the plane index $k$ should be attached to all
352: correlation and auxiliary function.
353:
354: The logarithm of the cluster functions $\Theta'$ may be interpreted as
355: effective fields acting on a plane, simulating the effect of the
356: half-lattice already summed up. However, for simplicity, the functions $\Theta'$
357: themselves will be called effective fields.
358:
359:
360: The computational iteration scheme of the cluster transfer-matrix method for
361: 3D ANNNI model is as follows:
362:
363: 1. From the cluster functions (effective field) $_k\Theta_{i,j}^{\prime i+n,j+l}$
364: known from the previous step the approximate auxiliary function
365: $\tilde\Psi_k(S_k,S_{k+1})=\prod_{i,j}
366: \,_k\Theta _{i,j} ^{\prime i +n,j +l} $ is constructed and
367: $\Psi_k(S_k,S_{k+1})$ in (3) is replaced by it.
368:
369: 2. The correlation function $_{k+1}\Phi_{i,j}^{i+n,j+l}$ (12) of
370: the auxiliary function $\Psi_{k+1}(S_{k+1},S_{k+2})$ is
371: calculated from (3). As the both functions at the left-hand side
372: of (3) are factorized this problem is equivalent to calculation of
373: a correlation function of a 2D lattice model with short-range
374: interactions that was discussed above and in previous papers
375: \cite{sur1,kar,paj} in detail. This task is performed in two steps, and the
376: approximate factorization utilizing 1D version of (10) is applied
377: once.
378:
379: 3. Formula (13) is used and the cluster functions
380: $_{k+1}\Theta_{i,j}^{\prime i+n,j+l}$ are found.
381:
382: 4. Calculation is continued for the next plane starting from the step 1.
383:
384:
385: It is convenient to take the result of a previous iteration for
386: the initial condition of the calculation at a nearby point in
387: the parameter space. The bulk values of the cluster
388: function are obtained after iteration over few periods of the
389: commensurate or incommensurate structure. However, the periods of
390: the commensurate structure sometimes exceed several hundreds of
391: lattice constants in our calculations. The convergence of the
392: iteration procedure is very slow near the continuous
393: incommensurate-disorder phase transition and the steady state were
394: reached after more than ten thousands steps.
395:
396:
397:
398: In our actual calculations the length of the cluster edges $n$ and
399: $l$ was taken equal to 1, i.e. the cluster on which the functions
400: $\Phi_{i,j}^{i+n,j+l}$ and $\Theta_{i,j}^{\prime i+n,j+l}$ are
401: defined has 8 sites (elementary cube) and the functions acquire 256
402: values. Thus, our generalized mean-field approximation utilizes 256
403: effective fields instead of one in previous approaches. \cite{jen}
404:
405:
406: The planes perpendicular to the nnn interaction are ferromagnetic in the ANNNI
407: model, thus the cluster correlation function and the cluster function
408: do not depend on its position in the plane.
409: $_k\Phi_{i,j}^{i+n,j+l}$ is in fact only a short-hand notation of
410: $\Phi_k({}_kS_{i,j}^{i+n,j+l})$, where $_kS_{i,j}^{i+n,j+l}$ is a spin
411: configuration of a cluster in the plane $k$. Similarly,
412: $_k\Theta_{i,j}^{\prime i+n,j+l} \equiv
413: \Theta_k^\prime({}_kS_{i,j}^{i+n,j+l})$.
414:
415: To find the actual structure at the given point of the phase
416: diagram, it is not necessary to calculate the lattice site
417: magnetizations. The structure can be deduced from the plane
418: dependence of the effective field $\Theta_k^\prime$. In our
419: approximation it acquires 256 values, but a plot of arbitrary one
420: of them can be used to find the phase diagram. For reason of
421: simplicity and symmetry, the difference $\psi_k \equiv
422: \Theta_k^\prime(+)- \Theta_k^\prime(-)$, is plotted where ``+''
423: and ``$-$''denote spin configurations of the 8-site cluster with
424: all the spins up and down, respectively. The sign of the function
425: $\psi_k$ is the same as the sign of the magnetization of the
426: $k$-th row. The ANNNI model structures consist of sequences of
427: planes with negative or positive magnetization. As the external
428: magnetic field is equal to zero, the commensurate structures are
429: symmetric with respect to spin inversion. Therefore, only
430: $|\psi_k|$ is taken into account further. Its periodicity $p$ is
431: one half of or equal to the structure periodicity if in the
432: interval $p$ the function $\psi_k$ changes its sign even or odd
433: times, respectively. A structure consisting repeatedly of $p$
434: planes with positive magnetization and $p$ planes of negative
435: magnetization with periodicity $2p$ is usually denoted in
436: literature as $\langle p\rangle$. More generally, the sequence of
437: $n$ clusters of the above-mentioned planes of the length $p$
438: interrupted by one cluster of the length $p-1$ is denoted as
439: $\langle p^n (p-1)\rangle$.
440:
441:
442: At high temperature when the convergence is slow and the areas of
443: commensurate structures are very narrow, or at lower temperatures
444: when near the accumulation points the periodicity of commensurate
445: structures tends to infinity, it is often not possible to perform
446: the calculation directly at the point of parameter space of
447: desired properties, because its precise position is not known.
448: Nevertheless, the structure at it can be deduced from the
449: behavior of the effective field in its close vicinity. For this
450: purpose, we shall further plot $|\psi_{k+p}| - |\psi_k|$ vs. $
451: |\psi_k|$, where $p$ is the periodicity of the function $
452: |\psi_k|$ somewhere near the point of the parameter space where we
453: perform the calculation. It is not necessary to plot $|\psi_{k+p}|
454: -|\psi_k|$ vs. $ |\psi_k|$ for all values of $k$.
455: The information, we are interested in, can be found from behavior
456: of the plot for the planes $k_0+np$ $(n=1,2,\dots)$. $k_0$
457: should be the number of the plane closest to a node of the
458: structure $({\rm sign}\,\psi_{k_0} \ne {\rm sign}\,\psi_{k_0+1})$,
459: where $|\psi_{k_0}|$ is close to zero and
460: $|\psi_{k_0}|-|\psi_{k_0-1}|$ is large. Now, $|\psi_{k+p}|
461: -|\psi_k|=0$ always means that the structure is commensurate with
462: period $p$ or $2p$ and not that $|\psi_k|$ is close to its maximum
463: value. The plots will be drawn for $|\psi_k|$ in the range from 0
464: to its maximum value when a new plane $k-1$ with a smaller value
465: of $|\psi_{k-1}|$ appears. Analysis of them will make possible to
466: distinguish between commensurate and incommensurate structures and
467: confirm the existence of the accumulation point, where period of
468: commensurate structures tends to infinity.
469:
470:
471:
472:
473: \section{Results and discussion}
474:
475:
476: Results of our effective-field calculations are
477: consistent with the phase diagram obtained by the mean-field
478: approximation and low-temperature expansion [sel1]. However, the
479: temperatures, at which the phase transitions occur, are more
480: realistic, and for the exactly soluble case $J_2=0$ the critical
481: temperature does not deviate more than 1\% from the true value for
482: the approximation with 256 effective fields.
483:
484:
485: From our calculation, in accordance with previous results of other
486: authors, it is possible to conclude that the phase diagram
487: consists of infinitely many commensurate phases which appear
488: mostly at low temperatures and an incommensurate and disordered
489: phase at high temperatures.
490:
491: At low temperature we have found a ferromagnetic phase, a commensurate
492: structure with periodicity 4 consisting of a sequence of couples of planes with
493: alternating magnetization ($\langle 2 \rangle$), a
494: structure with periodicity 6 ($\langle 3 \rangle$) and combinations of the
495: last two structures of the type $\langle 2^n3 \rangle$ $n=1,2,3,\dots$.
496: As the low-temperature region is fairly well described by the low-temperature
497: expansion, we concentrate to the medium- and high-temperature properties of
498: the phases $\langle 4 \rangle$, $\langle 3 \rangle$, $\langle 23 \rangle$ and
499: the regions in their close vicinity.
500:
501:
502:
503:
504: \begin{figure}
505: \includegraphics[width=\columnwidth,clip=]{FIG1N.EPS}
506: \caption{\label{2}
507: Phase diagram of the 3D ANNNI model. Only the basic
508: structures with short periodicity are depicted. The dotted lines
509: connect points in the parameter space where the incommensurate
510: phase has the same periodicity as the corresponding commensurate
511: structure. The symbols denote the following periodically repeating
512: structures: \br2 -- $\uparrow\uparrow\downarrow\downarrow$, \br3
513: -- $\uparrow\uparrow\uparrow\downarrow\downarrow\downarrow$,
514: \br{23} -- $\uparrow\uparrow\downarrow\downarrow\downarrow$, \br4
515: -- $\uparrow\uparrow\uparrow\uparrow
516: \downarrow\downarrow\downarrow\downarrow$, F -- ferromagnetic
517: $(\uparrow)$, D -- disordered, where the arrows indicate
518: directions of plane magnetization.}
519: \end{figure}
520:
521:
522:
523: The main phases of the 3D ANNNI model obtained from our
524: calculations are shown in the phase diagram (Fig.~2). The thick
525: lines denote the borders of the regions of commensurate phases and
526: represent first-order phase transition lines. The dotted lines
527: connect points in the parameter space where the incommensurate
528: phase has the same periodicity as the corresponding commensurate
529: structure. The widths of the commensurate phases near the
530: order-disorder phase transition line go to zero for all of them,
531: i.e., there is no direct transition between the commensurate and
532: the disordered phase. The commensurate regions at high
533: temperatures are very narrow (narrower than the line thickness),
534: nevertheless, they persist to rather high temperatures. A very
535: large (probably infinite) number of commensurate phases between
536: each two main phases are not depicted in the diagram and are
537: discussed later. The Lifshitz point behind the
538: left edge of the diagram is not shown, as the slow
539: convergence of calculations and complicated phase structure did not
540: make possible to correctly interpret the obtained results.
541:
542: %%%%%%%%%%%
543:
544:
545: %%%%%%%%%%%%%%%%%%%%%%%%
546:
547:
548: It is not easy to prove the existence of the commensurate phase
549: in a very narrow region and distinguish between the commensurate
550: and incommensurate phase of the same or a slightly different
551: periodicity. Here, it is helpful to observe the above-mentioned
552: plot of $\Delta\psi\equiv |\psi_{k+p}| - |\psi_k|$ vs. $|
553: \psi_k|$, where $p$ is the periodicity of the function $|\psi_k|$
554: for the assumed commensurate structure.
555:
556:
557: %%%%%%%%%
558:
559: %%%%%%%%%%%%%
560:
561:
562:
563: \begin{figure}
564: \includegraphics[width=\columnwidth,clip=]{FIG2N.EPS}
565: \caption{\label{3}
566: Plot of $\Delta \psi \equiv |\psi_{k+3}| - |\psi_k|$ vs.
567: $\psi\equiv |\psi_k|$ for every third plane of \br3 structure.
568: $T=3.45$. The plots are drawn for the following values of the
569: parameters: 1 -- $J_2/J_1= 0.53335$, 2 -- $J_2/J_1= 0.53325$, 3--
570: $J_2/J_1= 0.53315$. The commensurate \br3 phase is represented by
571: the stable fixed point. Curve 1 represents an incommensurate
572: structure. As $\Delta\psi\ll\psi$, the plots are practically
573: continuous.}
574: \end{figure}
575:
576:
577:
578: In Fig. 3 this plot for $T=3.45$ and two different $J_2/J_1$
579: inside and near the structure $\langle 3\rangle$
580: is shown. $p=3$, and $k$ runs over all planes after which $\psi_k$ changes
581: its sign, i.e. we plot the function for every third plane. The
582: structure is commensurate if $\Delta\psi$ is equal to zero. We
583: see that for $J_2/J_1= 0.53335$ it never occurs. The function is
584: incommensurate one with local periodicity greater than 3, and it
585: changes at different places of the structure, i.e. the true
586: periodicity is very large, and for decreasing $J_2/J_1$ it tends
587: to infinity. It can be considered as a phase-modulated $\langle 3
588: \rangle$ structure. As the curve $|\psi_{k+p}| - |\psi_k|$ vs. $|
589: \psi_k|$ shifts in vertical direction with change of $J_2/J_1$
590: with only a small change of its shape, we can expect that for some
591: values of $J_2/J_1$ the curve intersects the $x$-axis and the
592: structure becomes commensurate. In Fig.~3 this situation is
593: exemplified by the curves for $J_2/J_1= 0.53325$ and 0.53315. In
594: the bulk the structure is $\langle 3 \rangle$, the difference
595: $|\psi_{k+p}| - |\psi_k|$ is equal to zero and the structure is
596: trapped in the stable fixed point. In the transition period, near
597: the surface or a planar defect, where $\Delta\psi\ne 0$, the
598: structure is incommensurate-like. Starting away from an arbitrary
599: boundary condition the system reaches very fast an incommensurate
600: metastable state, represented by one of the curves, from which the
601: stable bulk commensurate structure at the intersection with
602: $x$-axis slowly develops.
603:
604: To confirm the existence of the commensurate structure in some
605: region of parameter space, it is not necessary to find the point
606: where after many iteration steps the system converges to a bulk
607: commensurate structure. Near to it $\Delta\psi$ is small and the
608: convergence is very slow. It is enough to find a nonmonotonous
609: behaviour of the $\Delta\psi$ vs. $\psi$ plot of an incommensurate
610: structure somewhere near that parameter space point. A set of such
611: plots for $T=3.52$ is shown in Fig.~4. It is seen that the
612: amplitude of modulation of the functions increases when
613: approaching the commensurate phase. Thus, already a small
614: modulation of the curve far from the commensurate structure
615: indicates its presence.
616:
617:
618:
619: \begin{figure}
620: \includegraphics[width=\columnwidth,clip=]{FIG3N.EPS}
621: \caption{\label{4}
622: Plot of $\Delta \psi \equiv |\psi_{k+3}| - |\psi_k|$ vs.
623: $\psi\equiv |\psi_k|$ for every third plane and high-temperature,
624: $T=3.52$, \br3 structure. The plots are drawn for the following
625: values of the parameters: 1 -- $J_2/J_1= 0.534400$, 2 -- $J_2/J_1=
626: 0.534350$, 3 -- $J_2/J_1= 0.534320$, 4 -- $J_2/J_1= 0.534313$, 5 --
627: $J_2/J_1= 0.534290$. The commensurate \br3 phase is represented by
628: curve 4.}
629: \end{figure}
630:
631:
632: \begin{figure}
633: \includegraphics[width=\columnwidth,clip=]{FIG4N.EPS}
634: \caption{\label{5}
635: In close vicinity of the phase transition line to the
636: disordered state all the plots
637: $\Delta \psi \equiv |\psi_{k+3}| - |\psi_k|$ vs. $\psi\equiv |\psi_k|$
638: are monotonous indicating the absence of commensurate phase in this
639: region.
640: 1 -- $T=3.5461,\ J_2/J_1=0.5341$;
641: 2 -- $T=3.5465,\ J_2/J_1=0.5345$;
642: 3 -- $T=3.5466,\ J_2/J_1=0.5346$.
643: }
644: \end{figure}
645:
646:
647: \begin{figure}
648: \includegraphics[width=\columnwidth,clip=]{FIG5N.EPS}
649: \caption{\label{6}
650: Plot of the width of the commensurate phase \br3 vs. temperature. The width is given in the units
651: of $J_2/J_1\cdot 10^{-4}$.}
652: \end{figure}
653:
654:
655:
656:
657:
658:
659:
660: The width of the region of the commensurate structure can be
661: deduced from the amplitude of the function $|\psi_{k+p}| -
662: |\psi_k|$ vs. $|\psi_k|$ and the rate of its vertical shift with
663: change of the parameters.
664:
665:
666: Fig.~5 shows that for $T=3.546$ no commensurate $\langle3\rangle$
667: structure exists. All the curves are monotonous. The sign of their
668: derivatives is negative and positive above and below the $x$-axis,
669: respectively, and they do not intersect it. The period of $\psi$
670: close to 3. The point in
671: the parameter space is now very close to the order-disorder phase
672: transition line, so that the parameters in Fig.~5 should be
673: carefully changed only in the direction parallel to it. The rate
674: of convergence is very slow here, and the bulk incommensurate
675: structures depicted in the figure were obtained after more than
676: 10,000 iteration steps. The argument of nonexistence of
677: commensurate structure at $T=3.546$ is confirmed by extrapolation
678: of the widths of the $\langle3\rangle$ structure to higher
679: temperatures shown in Fig.~6. For small values of the width, this
680: plot could be well fitted by a parabola.
681:
682: Similar considerations were done for the structures
683: $\langle4\rangle$, $\langle23\rangle$ and $\langle23^{20}\rangle$
684: and it was found that the commensurate structures of higher
685: periodicity disappear at lower temperatures. The whole region
686: near the order-disorder phase transition line is incommensurate
687: with tongues of commensurate structures of low periodicity which
688: do not reach the phase transition line.
689:
690:
691:
692: \begin{figure}
693: \includegraphics[width=\columnwidth,clip=]{FIG6N.EPS}
694: \caption{\label{7}
695: Number $n$ of $\uparrow\uparrow\uparrow$ or $\downarrow\downarrow\downarrow$ plane sequences
696: in \br{23^n} commensurate phases near the transition line to \br3 structure. The value of $J_{\rm 2c}$
697: at the transition line is different for each temperature. $n$ acquires discrete values and the
698: lines are only guides for the eye.}
699: \end{figure}
700:
701:
702: At very low temperatures the phase $\langle 3 \rangle$ is
703: neighboring to the phase $\langle 23 \rangle$. With increasing
704: temperature, at $T=1.6$, phases of the type $\langle 23^n \rangle$
705: start to appear. At given temperature $T$ the period of the
706: structure, $p=3n+2$, increases with decreasing $J_2/J_1$ and its
707: largest value is reached at the boundary of the $\langle 3 \rangle$
708: structure. The plots of $n$ near the $\langle 3 \rangle$ boundary
709: for $T = 2.60, 2.62, 2.63, 2.64, 2.65$ are depicted in Fig.~7. The
710: periodicity in the close vicinity of $\langle 3 \rangle$ phase
711: increases very fast and for the temperatures above 2.62 it is not
712: possible to determine the value of $n_{\rm max}$ or even decide if it is
713: finite or not. Nevertheless, the accumulation point, where $n_{\rm max}$
714: becomes infinite, can be found analyzing the plots $|\psi_{k+p}| -
715: |\psi_k|$ vs. $|\psi_k|$ for different temperatures and $p=3$,
716: which are shown in Fig.~8. The structure $\langle23^n\rangle$ for
717: large $n$ is formed from domains of the structure
718: $\langle3\rangle$ of the length slightly less than $n$ interrupted
719: by domain walls symbolically denoted by ``2'' in the symbol
720: $\langle23^n\rangle$. The $\langle3\rangle$ structure beyond the
721: wall is shifted by one plane with respect to the structure in the
722: previous domain. The $\langle3\rangle$ domains correspond to the
723: minima of the plots in Fig.~8 where the
724: $|\psi_{k+3}| -|\psi_k|$ are practically equal to zero. The advent of the wall is
725: so abrupt and $|\psi_{k+3}| -|\psi_k|$ so large that the next point after the very right
726: edge of the each
727: curve is already out of scope of the diagram. With decreasing
728: $J_2/J_1$ the plots are shifting down and at the $\langle3\rangle$
729: phase transition line the minimum of the plot touches $x$-axis, and after
730: some transition period the system remains stuck in $\langle3\rangle$ phase. If the slope of
731: the plot at minimum is zero, the periodicity near the boundary tends to
732: infinity, and the
733: temperature of the system is already above the accumulation point.
734: From Fig.~8 we see that the
735: accumulation point is close to the temperature $T=2.64$. The
736: periodicity of $|\psi|$ tends to infinity if the curve approaches $x$-axis for $J_2\rightarrow J_{\rm2c}$ at $T=2.65$.
737: Using our method, we were able to find a commensurate structure of
738: $p=1802$ at this temperature.
739:
740:
741:
742:
743:
744:
745:
746: \begin{figure}
747: \includegraphics[width=\columnwidth,clip=]{FIG7N.EPS}
748: \caption{\label{8}
749: Plot of $\Delta \psi \equiv |\psi_{k+3}| - |\psi_k|$ vs. $\psi\equiv |\psi_k|$
750: for commensurate \br{23^n} structures near transition to \br3 phase. $n$ is
751: equal to the number of points along each curve. (Only points for small value of $\Delta\psi$ are
752: depicted in the figure.) The curves for $J_{2}=J_{2c}$ touch the $x$-axis. For curves with
753: zero derivative in the minimum $n$ tends to infinity.}
754: \end{figure}
755:
756:
757:
758:
759:
760: For temperatures lower than the temperature of accumulation point near
761: the boundary of the $\langle3\rangle$ phase only plain
762: $\langle23^n\rangle$ phases exist. This is in contradiction with the simple
763: mean
764: field approximation findings \cite{sel1}. There is also a difference in location of
765: the accumulation point. In \cite{sel3} it was found well below the turning point of
766: the $\langle3\rangle$ boundary where the width of the
767: $\langle3\rangle$ phase starts becoming narrower. Our approach locates the
768: accumulation point $T=2.64$ slightly above the turning point. Approximately
769: at the same
770: temperature first combined phases of the type
771: $\langle (23^n)(23^{n+1}))\rangle$ between $\langle (23^n)\rangle$
772: and $\langle(23^{n+1}))\rangle$ for large $n$ start to appear.
773: Similarly to the previous more simple case, following combinations
774: in the hierarchy are of the type $\langle
775: ((23^n))^k(23^{n+1}))\rangle$ or $\langle
776: (23^n)((23^{n+1}))^k)\rangle$, which appear at temperatures by 0.04
777: higher than the temperature of the accumulation point. A great
778: computational effort is needed to detect a next type of
779: combinations $(\langle ((23^n))^k(23^{n+1})))^l(\langle
780: ((23^n))^{k+1}(23^{n+1})))\rangle$. These high-order combinations
781: occupy very small areas of the parameter space, and with
782: increasing temperature they are soon replaced by incommensurate
783: structures.
784:
785: It is widely believed that the structures with large distances between the
786: domain walls are commensurate whereas the structures where the distance
787: between the walls is shorter than the wall-wall interaction are
788: incommensurate. This statement should be formulated more precisely. The
789: commensurate structures with short distances between the walls are more
790: stable than those with longer distances. They persist to higher
791: temperatures and they occupy a wider area in the parameter space. Nevertheless,
792: in the areas between $\langle (23^n)\rangle$ and $\langle(23^{n+1}))\rangle$
793: for small $n$ the onset of incommensurate structures was found at lower
794: temperatures than for large $n$. The distance between the commensurate
795: structures increases with decreasing $n$ faster than their width so that there
796: is enough space for incommensurate structures.
797:
798:
799: In summary, we developed an effective field approximation, wihich yields by simple iteration procedure practically
800: any of probably an infinite number of phases in the phase diagram of the 3D ANNNI model.
801: In fact, the method treats an infinite lattice.
802: Lattice size, in contrast to other mean-field and DMRG approaches, does not enter the calculation.
803: A difficult task to distinguish between commensurate and incommensurate structure after
804: a finite number
805: of iteration was made easier by plotting the derivative of an effective field
806: with respect
807: to its value in course if iteration. Our calculations confirmed the general picture of the
808: phase diagram obtained by other methods, made it more accurate and supported the suggestion
809: following from the Monte Carlo calculations that the commensurate phases are separated from the
810: disordered phase by an incommensurate region.
811:
812:
813:
814:
815: \begin{acknowledgments}
816: The support by Grant VEGA 2/7174/20 is acknowledged.
817: \end{acknowledgments}
818:
819:
820: \begin{thebibliography}{}
821: \bibitem{ell} R. J. Elliott, Phys. Rev. 124, 346 (1961)
822: \bibitem{sel1} W. Selke, Phys. Rep. 170, 213 (1988)
823: \bibitem{yeom} J. M. Yeomans, Adv. phys. 41, 151, (1988)
824: \bibitem{sel2} W. Selke, Phase Transitions, Vol. 15, pp. 2--65, Academic Press (1992)
825: \bibitem{fi1} M. E. Fisher and W. Selke, Phys. Rev. Lett. 44, 1502 (1980)
826: \bibitem{boe} J. von Boehm and P. Bak, Phys. Rev. Lett. 42 122, (1979)
827: \bibitem{bak1} P. Bak and J. von Boehm, Phys. Rev. B21, 5297 (1980)
828: \bibitem{sel3} W. Selke, P. M. Duxbury, Z. Phys B57, 49 (1984)
829: \bibitem{fi2} M. E. Fisher and A. M. Szpilka, Phys. Rev. B36, 5343 (1987)
830: \bibitem{jen} M. H. Jensen and P. Bak, Phys. Rev. B27, 6853 (1983)
831: \bibitem{vil} J. Villain, and P. Bak, J. Phys. (Paris) 42, 657 (1981)
832: \bibitem{ruj} [11] P. Rujan, W. Selke, and G. V. Uimin, Z. Phys. B53, 221 (1983)
833: \bibitem{hen} M. Pleimling and M. Henkel, Phys. Rev. Lett. 87, 125702 (2001)
834: \bibitem{sur1} A. \v Surda, Phys. Rev. B43, 908 (1991)
835: \bibitem{kar} I. Karasov\'a and A. \v Surda, J. Stat. Phys. 70, 675 (1993)
836: \bibitem{paj} P. Pajersk\'y, and A. \v Surda, J. Stat. Phys. 76, 1467 (1994)
837: \bibitem{gen2} A. Gendiar and A. \v Surda, Phys. Rev. B62, 3960 (2000)
838: \bibitem{sel4} W. Selke, D. Catrein, and M. Pleimling J. Phys A: Math. Gen. 33 L459, (2000)
839: \bibitem{sel5} W. Selke, M. Pleimling and D. Catrein, Eur. Phys. J. B 27, 321 (2002)
840: \bibitem{sel6} W. Selke, M. Pleimling, I. Peschel, M.-C. Chung, and D. Catrein,
841: J. Magn. Magn. Mater. 240, 349 (2002)
842: \bibitem{jaynes} E. Jaynes, Phys. Tev. 106, 629 (1957)
843: \bibitem{bak2} P. Bak, Phys. Rev. Lett. 46, 791 (1980)
844: \bibitem{sur2} A. \v Surda, acta physica slovaca, 49, 325 (1999)
845: %\bibitem{gen3} A. Gendiar and T. Nishino, cond-mat/0210356 (2002)
846:
\end{thebibliography}
847:
848:
849: \end{document}