1: \documentclass[prb,showpacs,twocolumn,floatfix]{revtex4}
2: %\documentclass[prb,showpacs,preprintnumbers,preprint]{revtex4}
3: \usepackage{graphicx}
4: \sloppy
5: \begin{document}
6: \def\rhov{{\mbox{\boldmath{$\rho$}}}}
7: \def\tauv{{\mbox{\boldmath{$\tau$}}}}
8: \def\Lambdav{{\mbox{\boldmath{$\Lambda$}}}}
9: \def\sigmav{\sigma}
10: \def\xiv{{\mbox{\boldmath{$\xi$}}}}
11: \def\chiv{{\mbox{\boldmath{$\chi$}}}}
12: \def\rhov{{\mbox{\boldmath{$\rho$}}}}
13: \def\phiv{{\mbox{\boldmath{$\phi$}}}}
14: \def\piv{{\mbox{\boldmath{$\pi$}}}}
15: \def\psiv{{\mbox{\boldmath{$\psi$}}}}
16: \def\oh{{\scriptsize 1 \over \scriptsize 2}}
17: \def\ot{{\scriptsize 1 \over \scriptsize 3}}
18: \def\of{{\scriptsize 1 \over \scriptsize 4}}
19: \def\tf{{\scriptsize 3 \over \scriptsize 4}}
20: \title{Effect of Inversion Symmetry on Incommensurate Order
21: in Multiferroic RMn$_2$O$_5$, R=rare earth.}
22:
23: \author{A. B. Harris[1], M. Kenzelmann[2], Amnon Aharony[3], and
24: O. Entin-Wohlman[3]}
25:
26: \affiliation{ [1]Department of Physics and Astronomy,
27: University of Pennsylvania, Philadelphia, PA 19104}
28: \affiliation{ [2]Laboratory for Solid State Physics, ETH Zurich, CH-8093
29: Zurich, Switzerland and Laboratory for Neutron Scattering, ETHZ \& PSI,
30: CH-5232 Villigen PSI, Switzerland}
31: \affiliation{ [3]Department of Physics and the Ilse Katz Center for
32: Meso-and Nano-Scale Science and Technology, Ben Gurion University,
33: Beer Sheva 84105 ISRAEL}
34: %%% ----------------------------------------------------------------------
35: \date{\today}
36:
37: \begin{abstract}
38: Starting from the irreducible representations of the group of
39: the wave vector we construct the spin
40: wave functions consistent with inversion symmetry, neglected in the
41: usual representation analysis. We obtain the relation between the
42: basis functions of different members of the star of the wave vector.
43: We introduce order parameters and determine their transformation
44: properties under the operations of the space group of the paramagnetic
45: crystal. The results are applied to construct terms in the
46: magnetoelectric interaction which are quadratic and quartic in the
47: magnetic order parameters. The higher order magnetoelectric interactions
48: can in principle induce components of the spontaneous polarization
49: which are not allowed by the lowest order magnetoelectric interaction.
50: We also obtain the relation between the spin wave functions of the
51: incommensurate phase and those of the commensurate phase which lead to
52: analogous relations between the order parameters of these two phases.
53: \end{abstract}
54: \pacs{75.25.+z,75.10.Jm,75.40.Gb}
55: \maketitle
56:
57: \section{INTRODUCTION}
58:
59: The problem of determining the symmetry of incommensurate (IC) magnetic
60: order from diffraction experiments is an old one and is the subject
61: of several well-known reviews.\cite{BERTAUT,ROSSAT}
62: The reviews are based on the idea that the spin structure that develops at
63: a continuous transition must transform
64: like an irreducible representation (irrep) of the group of
65: operations which leaves the IC wave vector ${\bf q}$
66: invariant.\cite{LL} However, perhaps surprisingly, these
67: standard references do not exploit additional restrictions that are
68: due to inversion symmetry when that operation is not a member
69: of the group of the wave vector. Although the group theoretical
70: formalism for doing this has been described\cite{VILL,RC07} and
71: these restrictions had previously been used to aid in structure
72: determinations,\cite{NVO,TMO,PRB,ABH} the effect of inversion symmetry
73: is often not included in the classification of possible magnetic
74: structures.
75:
76: Here we perform the requisite analysis for the star of wave vectors
77: of the IC phases\cite{LTIC,SK05,SK04a}
78: of the ``125" systems, RMn$_2$O$_5$, where R is a rare
79: earth ion, which may be magnetic or not ({\it e. g.} when R
80: is yttrium). The interest in these materials stems from the
81: fact that they exhibit ferroelectricity\cite{KS95,AI96,IK02,IK03}
82: whose onset coincides with a magnetic ordering
83: transition.\cite{SK04b,HK05,SK04c,DH04,DH05}
84: We show that when inversion symmetry is
85: taken into account, there are about half as many degrees of freedom
86: that describe the basis functions of the irreducible representations compared
87: to an analysis when inversion symmetry is overlooked. Even when an
88: unrestricted fit (not taking account of any symmetry) is
89: performed,\cite{HK07} it is useful to have the results
90: of the present paper to see if the hypothesis of a single irrep\cite{FN}
91: holds. Thus, it is clear that magnetic structure determination
92: using an approach that includes inversion symmetry will
93: lead to an increase in the accuracy of the structure determinations.
94: Finally, this approach leads naturally to the introduction of
95: order parameters which have symmetry properties that we explicitly
96: display and in terms of which a Landau expansion was developed
97: for a number of systems\cite{NVO,TMO,PRB,ABH} and which has led
98: to a generic magnetoelectric (ME) phase diagram for the 125's.\cite{HAE}
99: The purpose of the present paper is to a) analyze the symmetry of the
100: various IC phases, b) show how the symmetry implies relations
101: between order parameters of different symmetry magnetic phases,
102: and c) analyze the symmetry of the ME interactions
103: which explain the appearance of ferroelectric order at some
104: of the magnetic phase transitions.
105:
106: \begin{figure}[ht]
107: \begin{center}
108: \includegraphics[width=8.0 cm]{ERMO2.eps}
109:
110: \vspace{0.2 in}
111: \includegraphics[width=8.0 cm]{HOMOPD.eps}
112: \caption{\label{ERMO}
113: (a): The ME phase diagram of
114: ErMn$_2$O$_5$.\protect{\cite{SK04b}}
115: Here $(X,0,Z)$ indicates the nature of the wave vector.
116: If $X=C$ ($Z=C$), then $q_x=1/2$ $(q_z=1/4)$. If $X=I$
117: $(Z=I)$, then $q_x$ ($q_z$) is IC, but close to 1/2 (1/4).
118: The dashed lines indicate temperatures at which an anomaly in the
119: $b$-component of the dielectric constant was observed.
120: $P || b$ indicates that the system has a spontaneous polarization
121: aligned along ${\bf b}$ (for $T<39$ K).
122: (b): Same for HoMn$_2$O$_5$.\protect{\cite{HK05}} For $T>39$ K, $q_z<1/4$
123: and for $T<20$ K, the $(I,0,I)$ phase has $q_z> 1/4$ and the system is either
124: paraelectric or weakly ferroelectric.}
125: \end{center}
126: \end{figure}
127:
128:
129: Briefly, this paper is organized as follows. In Sec. II we list the
130: results obtained using the canned program MODY for the IC phase
131: and we show how to modify this to take account of inversion symmetry.
132: Here order parameters are introduced as the complex amplitudes
133: of the spin wave functions.
134: In Sec. III we show how, having obtained the basis functions for one
135: member of the star of ${\bf q}$, one can determine the basis functions
136: for all the other wave vectors in the star of ${\bf q}$. Here we also
137: determine how the order parameters transform under all the operations
138: of the space group. Having determined the symmetry properties of
139: the order parameters we are able, in Sec. IV, to construct the
140: lowest order (trilinear) ME interaction which explains the orientation
141: of the observed magnetically induced spontaneous polarization. Here we
142: show that higher order and {\it Umklapp} ME interactions can lead to
143: small contributions to all components of the spontaneous polarization.
144: In Sec. V we discuss how the basis functions in the IC phase with
145: $q_x \not= 1/2$ connect to those in the adjacent $q_x=1/2$ phase.
146: Here we also analyze the symmetry of the special multicritical point for
147: which $q_x=1/2$. In Sec. VI we briefly summarize the results of this paper.
148:
149: \section{CALCULATION}
150:
151: \subsection{Results without Inversion Symmetry}
152:
153: The lattice structure of the 125's was determined
154: by Quezel-Abrunaz {\it et al.}\cite{QUEZ} to be that of the
155: orthorhombic space group Pbam (\#55 in Ref. \onlinecite{ITC}).
156: In Table \ref{SPACE} we list the general positions in the
157: primitive unit cell which define the symmetry operations of
158: the space group Pbam and in Table II\cite{BUIS1,BUIS2,ALON} we give
159: the actual positions of the ions for the 125 systems.
160:
161: \begin{table}
162: \caption{\label{SPACE} General positions within the unit cell
163: for space group Pbam expressed as fractions of the orthorhombic
164: lattice constants.\protect{\cite{ITC}}
165: This table defines the space group operations on ${\bf r}=(x,y,z)$.
166: Here $2_\alpha$ is a two-fold rotation (or screw) about the $\alpha$
167: axis and $m_{\alpha \beta}$ is a mirror (or glide) $\alpha \beta$
168: plane.}
169: \vspace{0.2 in}
170: \begin{tabular} { || c | c ||}
171: \hline
172: $E{\bf r} \equiv (x,y,z)$ & $2_a {\bf r} \equiv (x+1/2,\overline y + 1/2,
173: \overline z)$ \\
174: $2_b{\bf r} \equiv ( \overline x + 1/2, y+ 1/2, \overline z)$ &
175: $2_c {\bf r} \equiv (\overline x , \overline y , z)$ \\
176: ${\cal I} {\bf r} \equiv (\overline x, \overline y, \overline z)$
177: & $m_{bc} {\bf r} \equiv (\overline x + 1/2, y+1/2, z)$ \\
178: $m_{ac} {\bf r} \equiv (x+ 1/2, \overline y+ 1/2, z)$ &
179: $m_{ab} {\bf r} = (x,y, \overline z)$ \\
180: \hline
181: \end{tabular}
182: \end{table}
183:
184: \begin{table}
185: \caption{\label{SITES} Position $\tauv_n$ (in units of lattice constants)
186: of the $n$th magnetic ion in the unit cell. (These values are
187: for HoMn$_2$O$_5$,\protect{\cite{BUIS1,BUIS2}} but are approximately
188: the same for the other 125's.\protect{\cite{ALON}}) Sites 1-4 are
189: for Mn$^{3+}$, 5-8 are for Mn$^{4+}$ and 9-12 are for R$^{3+}$ ions.}
190: \vspace{0.2 in}
191: \begin{tabular} {|| c | c ||}
192: \hline
193: $\tauv_1 = (0.09,0.85,1/2)$ & $\tauv_2 = (0.59,0.65,1/2)$ \\
194: $\tauv_3 = (0.41,0.35,1/2)$ & $\tauv_4 = (0.91,0.15,1/2)$ \\
195: $\tauv_5 = (1/2,0,0.25)$ & $\tauv_6 = (0,1/2,0.25)$ \\
196: $\tauv_7 = (0,1/2,0.75)$ & $\tauv_8 = (1/2,0,0.75)$ \\
197: $\tauv_9 = (0.14,0.17,0)$ & $\tauv_{10} = (0.64,0.33,0)$ \\
198: $\tauv_{11} = (0.36,0.67,0)$ & $\tauv_{12} = (0.86,0.83,0)$\\
199: \hline
200: \end{tabular}
201: \end{table}
202:
203: The magnetic and dielectric phases occuring in the 125's are more
204: complicated and we give a brief overview of them here.
205: In Fig \ref{ERMO}a and \ref{ERMO}b we show the ME phase diagrams of
206: ErMn$_2$O$_5$ (taken from Ref. \onlinecite{SK04b}) and HoMn$_2$O$_5$
207: (taken from Ref. \onlinecite{HK05})
208: which exhibit the simultaneous ferroelectric and
209: magnetic phase transitions. When cooled from
210: the paramagnetic phase, the 125's develop IC order at about 45 K
211: in a paraelectric phase described by the wave vectors whose star
212: consists of ${\bf q}_\pm = [(1/2-\delta ,0,\pm (1/4 + \epsilon)]$ and
213: their negatives, where $\delta$ and $\epsilon$ are of order 0.05
214: or less\cite{SK04b,SK04a,LC06,HK05,GB05,WR05,RE08,SK05,SK04c}
215: in reciprocal lattice units (rlu's).
216: Upon further cooling some 125's, such as ErMn$_2$O$_5$
217: (shown in Fig. 1a),\cite{DH05,SK04b}
218: YMn$_2$O$_5$\cite{AI96,IK03,SK04a,LC06} and TmMn$_2$O$_5$,\cite{SK05,MU98}
219: exhibit a ferroelectric $(I,0,C)$ phase in which $\epsilon=0$, before
220: entering a $(C,0,C)$ phase in which $\delta=\epsilon=0$. Other
221: 125's, such as TbMn$_2$O$_5$,\cite{SK04c,AI96,NH04a}
222: HoMn$_2$O$_5$ (shown in Fig. 1b),\cite{NH04b,HK05,DH05,DH04} and
223: DyMn$_2$O$_5$,\cite{NH04b,DH04,WR05,RE08} go directly from
224: the $(I,0,I)$ phase into the $(C,0,C)$ phase without the appearance
225: of the $(I,0,C)$ phase. At lower temperature the 125's follow
226: various scenarios in which the magnetic structures may be either IC
227: or CM with a long period and they may or may not be ferroelectric.
228: For a review of the properties and Landau theory for 125's see
229: Ref. \onlinecite{FOCUS}.
230:
231: Here we give a symmetry analysis of the allowed magnetic structures
232: in the $(I,0,I)$ or $(I,0,C)$ phases. (A detailed symmetry analysis
233: applicable to the phase with $q_x=1/2$\cite{RC07,ABH}
234: indicated that this phase was described by a two dimensional (2D) irrep
235: and therefore could be characterized by two complex-valued order
236: parameters\cite{ABH} we will call $\sigma_1$ and $\sigma_2$.) The symmetry
237: of the phase when $q_x \not=1/2$ is different.
238: The group of this wave vector contains unity $E$ and the glide
239: $m_{ac}$ which leaves the $b$-component of the wave vector
240: invariant. Thus we have two one dimensional (1D) irreps, which we
241: label $\Gamma_e$ and $\Gamma_o$ (``e" for even and ``o" for odd).
242: In particular, since
243: the star of the wave vector contains four vectors, ordering within
244: each irrep is described by four complex-valued order parameters.\cite{HAE}
245: The allowable wave functions are the basis functions of the irreps
246: which transform appropriately. These basis functions are actually
247: eigenvectors of $m_{ac}$ with eigenvalues $+ \lambda^*$ (for
248: $\Gamma_e$) and $-\lambda^*$ (for $\Gamma_o$), where
249: $\lambda = \exp( -i \pi q_x)$. Since each irrep is contained 18 times
250: in the original reducible representation generated by the three
251: spin components of the
252: 12 magnetic sites in the unit cell (here we assume that R is magnetic),
253: each wave function contains 18 independent free complex-valued
254: parameters. These wave functions are listed in Table \ref{IRREP},\cite{FN3}
255: and they are in agreement with ({\it i. e.} are a reparameterization
256: of) the results of the MODY program.\cite{MODY}
257:
258: \begin{table}
259: \caption{\label{IRREP} Symmetry-adapted basis functions for
260: wave vector\cite{FN3}
261: ${\bf q}_+=(q_x,0,q_z)$ which transform according to the irreps
262: $\Gamma_e$ and $\Gamma_o$, where $\lambda = \exp(- \pi i q_x)$.
263: We have not yet included the effect of inversion symmetry.}
264: \vspace{0.2 in}
265: \begin{tabular} {|| c | c | c ||}
266: \hline \hline
267: & $\psi(\Gamma_e)$ & $\psi(\Gamma_o)$ \\ \hline
268: ${\bf S}({\bf q},1) = $ & $(s_{x1},s_{y1},s_{z1} )$ &
269: $( u_{x1}, u_{y1}, u_{z1}) $ \\
270: ${\bf S}({\bf q},2) = $ & $- \lambda (s_{x1}, - s_{y1}, s_{z1} )$
271: & $\lambda (u_{x1}, -u_{x2}, u_{z1}) $ \\
272: ${\bf S}({\bf q},3) = $ & $-\lambda^* (t_{x1}, -t_{y1}, t_{z1} )$
273: & $\lambda^* (v_{x1}, -v_{y1}, v_{z1}) $ \\
274: ${\bf S}({\bf q},4) = $ & $(t_{x1},t_{y1},t_{z1} )$ &
275: $( v_{x1}, v_{y1}, v_{z1}) $ \\
276: ${\bf S}({\bf q},5) = $ & $(s_{x2},s_{y2},s_{z2} )$ &
277: $( u_{x2}, u_{y2}, u_{z2}) $ \\
278: ${\bf S}({\bf q},6) = $ & $-\lambda^* (s_{x2}, -s_{y2}, s_{z2} )$
279: & $\lambda^* (u_{x2}, -u_{y2}, u_{z2}) $ \\
280: ${\bf S}({\bf q},7) = $ & $-\lambda^* (t_{x2}, -t_{y2}, t_{z2} )$
281: & $\lambda^* (v_{x2}, - v_{y2}, v_{z2}) $ \\
282: ${\bf S}({\bf q},8) = $ & $(t_{x2},t_{y2},t_{z2} )$ &
283: $( v_{x2}, v_{y2}, v_{z2}) $ \\
284: ${\bf S}({\bf q},9) = $ & $(s_{x3},s_{y3},s_{z3} )$ &
285: $( u_{x3}, u_{y3}, u_{z3}) $ \\
286: ${\bf S}({\bf q},10) = $ & $-\lambda (s_{x3}, -s_{y3}, s_{z3} )$
287: & $\lambda (v_{x3}, -v_{y3}, u_{z3}) $ \\
288: ${\bf S}({\bf q},11) = $ & $-\lambda^* (t_{x3}, -t_{y3}, t_{z3} )$
289: & $\lambda^* (v_{x3}, -v_{y3}, u_{z3})
290: $ \\ ${\bf S}({\bf q},12) = $ & $(t_{x3},t_{y3},t_{z3} )$ &
291: $( v_{x3}, v_{y3}, v_{z3}) $ \\
292: \hline
293: \end{tabular}
294: \end{table}
295:
296: To illustrate
297: the transformation laws, we perform a partial check that the vectors
298: in Table \ref{IRREP} are indeed eigenfunctions of $m_{ac}$. Note
299: that we use so-called ``unit-cell" Fourier transforms whereby\cite{FN2}
300: \begin{eqnarray}
301: {\bf S}({\bf R},n) &=& {\bf S}({\bf q},n)e^{-2 \pi i {\bf q} \cdot
302: {\bf R}} \ + \ {\rm c. \ c.} \ ,
303: \label{TRANS1} \end{eqnarray}
304: where $n$ labels the sublattice and ${\bf R}$ locates the unit cell.
305: A transformation ${\cal O}$ takes the ``initial'' basis function into
306: a ``final'' basis function. If a prime indicates ``final,"
307: {\it i. e.} ``after transformation," then $S'({\bf R}_f,n_f)$
308: denotes the spin of sublattice $n_f$ in the unit cell at
309: ${\bf R}_f$ after transformation. This quantity is obtained by
310: applying the transformation to the spin at the initial location
311: ${\bf R}_i + \tauv_{n_i}$. Thus for transformation by $m_{ac}$ we write
312: \begin{eqnarray}
313: S'({\bf q}, n_f) &=& \xi_\alpha S_\alpha ({\bf q}, n_i)
314: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \ ,
315: \label{TRANS2} \end{eqnarray}
316: where $\xi_\alpha$ is the appropriate factor for the mirror
317: operation $m_{ac}$ on the components of a pseudovector:
318: $\xi_y = - \xi_x = - \xi_z= 1$. We will check that the basis vector
319: of irrep $\Gamma_e$ is an eigenfunction of $m_{ac}$. Note that under
320: $m_{ac}$ when the initial sublattice index is $n_i=2n-1$, then the final
321: sublattice index is $n_f=2n$ and vice versa. Thus
322: \begin{eqnarray}
323: S'_\alpha ({\bf q},1) &=& \xi_\alpha S_\alpha ({\bf q},2)
324: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
325: &=& \xi_\alpha \lambda \xi_\alpha s_{\alpha 1} e^{2 \pi i q_x}
326: = \lambda^* s_{\alpha 1} = \lambda^* S_\alpha ({\bf q},1) \ , \nonumber \\
327: S'_\alpha ({\bf q},2) &=& \xi_\alpha S_\alpha ({\bf q},1)
328: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
329: &=& \xi_\alpha s_{\alpha 1} = \lambda^* [\lambda \xi_\alpha s_{\alpha 1}]
330: = \lambda^* S_\alpha ({\bf q},2) \ , \nonumber \\
331: S'_\alpha ({\bf q},3) &=& \xi_\alpha S_\alpha ({\bf q},4)
332: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
333: &=& \xi_\alpha t_{\alpha 1} e^{2 \pi i q_x} =
334: \lambda^* [\lambda^* \xi_\alpha t_{\alpha 1}]
335: = \lambda^* S_\alpha ({\bf q},3) \ , \nonumber \\
336: S'_\alpha ({\bf q},4) &=& \xi_\alpha S_\alpha ({\bf q},3)
337: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
338: &=& \lambda^* \xi_\alpha t_{\alpha 1} = \lambda^* S_\alpha ({\bf q},4) \ ,
339: \nonumber \\
340: S'_\alpha ({\bf q},5) &=& \xi_\alpha S_\alpha ({\bf q},6)
341: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
342: &=& \lambda^* \xi_\alpha^2 s_{\alpha 2} = \lambda^* S_\alpha ({\bf q},5) \ ,
343: \nonumber \\
344: S'_\alpha ({\bf q},6) &=& \xi_\alpha S_\alpha ({\bf q},5)
345: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
346: &=& \xi_\alpha s_{\alpha 2} e^{2 \pi i q_x}=
347: \lambda^* [\lambda^* \xi_\alpha s_{\alpha 2}]
348: = \lambda^* S_\alpha ({\bf q},6) \ , \nonumber \\
349: S'_\alpha ({\bf q},7) &=& \xi_\alpha S_\alpha ({\bf q},8)
350: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
351: &=& \xi_\alpha t_{\alpha 2} e^{2 \pi i q_x}
352: = \lambda^* [\xi_\alpha \lambda^* t_{\alpha 2}]
353: = \lambda^* S_\alpha ({\bf q},7) \ , \nonumber \\
354: S'_\alpha ({\bf q},8) &=& \xi_\alpha S_\alpha ({\bf q},7)
355: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
356: &=& \xi_\alpha \lambda^* \xi_\alpha t_{\alpha 2}
357: = \lambda^* t_{\alpha 2} = \lambda^* S_\alpha ({\bf q},8) \ , \nonumber \\
358: S'_\alpha ({\bf q},9) &=& \xi_\alpha S_\alpha ({\bf q},10)
359: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
360: &=& \xi_\alpha \lambda s_{\alpha 3}e^{2 \pi i q_x} = \lambda^*
361: [\xi_\alpha s_{\alpha 3}] = \lambda^* S_\alpha ({\bf q},9) \ , \nonumber \\
362: S'_\alpha ({\bf q},10) &=& \xi_\alpha S_\alpha ({\bf q},9)
363: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
364: &=& \xi_\alpha s_{\alpha 3} = \lambda^* [\lambda \xi_\alpha s_{\alpha 3}]
365: = \lambda^* S_\alpha ({\bf q},10) \ , \nonumber \\
366: S'_\alpha ({\bf q},11) &=& \xi_\alpha S_\alpha ({\bf q},12)
367: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
368: &=& \xi_\alpha t_{\alpha 3} e^{2 \pi i q_x} = \lambda^*
369: [\lambda^* \xi_\alpha t_{\alpha 3}] = \lambda^* S_\alpha ({\bf q},11)
370: \ , \nonumber \\
371: S'_\alpha ({\bf q},12) &=& \xi_\alpha S_\alpha ({\bf q},11)
372: e^{2 \pi i {\bf q} \cdot [{\bf R}_f - {\bf R}_i]} \nonumber \\
373: &=& \lambda^* \xi_\alpha^2 t_{\alpha 3} = \lambda^* S_\alpha ({\bf q},12) \ .
374: \end{eqnarray}
375: Thus $\psi (\Gamma_e)$ is an eigenvector of $m_{ac}$ with eigenvalue
376: $\lambda^*$. In the other irrep, the fact that $\lambda$ is everywhere
377: replaced by $-\lambda$ ensures that $\psi(\Gamma_o)$ is an
378: eigenvector of $m_{ac}$ with eigenvalue $- \lambda^*$.
379:
380: \subsection{Effect of Inversion Symmetry}
381:
382: Now we modify the above results to take account of inversion
383: symmetry. A straightforward, if clumsy, way to do this is
384: to use the fact that the inverse susceptibility matrix
385: becomes singular at a continuous phase transition, which implies
386: that one of its eigenvalues passes through zero. We wish to see
387: what restrictions symmetry places on the associated critical eigenvector.
388: We write the quadratic terms in the free energy $F_2$ in the form
389: \begin{eqnarray}
390: F_2 &=& \frac{1}{2} \Psi^\dagger {\cal F} \Psi \ ,
391: \end{eqnarray}
392: where ${\cal F}$ is the inverse suscptibility matrix.
393: Instead of considering the quadratic form in the original spin
394: variables, we consider the quadratic form in terms of the
395: variables of Table \ref{IRREP}. So the matrix ${\cal F}$ is an
396: 18 dimensional Hermitian matrix operating on an 18-component
397: vector $\Psi(\Gamma)$ which we write as $({\bf s}_1, {\bf t}_1, {\bf s}_2,
398: {\bf t}_2, {\bf s}_3, {\bf t}_3)$, where the ${\bf s}$'s and
399: ${\bf t}$'s are three component subvectors taken from
400: Table \ref{IRREP}. Thus
401: \begin{eqnarray}
402: {\bf s}_n \equiv (s_{xn}, s_{yn}, s_{zn}) \ .
403: \label{NOTE} \end{eqnarray}
404: Because the paramagnetic phase has symmetry under spatial inversion
405: ${\cal I}$, we must have\cite{NVO,TMO,ABH}
406: \begin{eqnarray}
407: F_2 &=& \frac{1}{2} [{\cal I} \Psi ]^\dagger {\cal F} [ {\cal I} \Psi ]
408: = \frac{1} {2} \Psi^\dagger {\cal F} \Psi \ ,
409: \label{INVEQ} \end{eqnarray}
410: for all values of the spin coordinates.
411:
412: To implement this we note that for transformation under ${\cal I}$,
413: the result follows a logic similar to that leading to Eq.
414: (\ref{TRANS2}), namely\cite{ABH}
415: \begin{eqnarray}
416: S'_\alpha ({\bf q}, \tau_f)^* =S_\alpha ({\bf q}, \tau_i)
417: e^{2 \pi i {\bf q} \cdot [ \tauv_f + \tauv_i]} \ ,
418: \label{EQ22} \end{eqnarray}
419: where again the prime indicates the value after transformation
420: by ${\cal I}$. Note that inversion relates sites (1,4), (2,3),
421: (5,8), (6,7), (9,12), and (10,11). Now use Eq. (\ref{EQ22}) to get
422: \begin{eqnarray}
423: s_{\alpha 1}' &=& t_{\alpha 1}^* e^{-2 \pi i(q_x+q_z)} \nonumber \\
424: s_{\alpha 2}' &=& t_{\alpha 2}^* e^{-2 \pi i(q_x+q_z)} \nonumber \\
425: s_{\alpha 3}' &=& t_{\alpha 3}^* e^{-2 \pi iq_x}
426: \end{eqnarray}
427: and
428: \begin{eqnarray}
429: t_{\alpha 1}' &=& s_{\alpha 1}^* e^{-2 \pi i(q_x+q_z)} \nonumber \\
430: t_{\alpha 2}' &=& s_{\alpha 2}^* e^{-2 \pi i(q_x+q_z)} \nonumber \\
431: t_{\alpha 3}' &=& s_{\alpha 3}^* e^{-2 \pi iq_x} \ .
432: \end{eqnarray}
433: These simple results arise because we reparametrized with an eye
434: to avoiding complexity.
435:
436: The eigenvalue equation for the $18 \times 18$ matrix ${\cal F}$
437: can be represented as
438: \begin{eqnarray}
439: \left[ \begin{array} {c c c c c c}
440: {\bf A} & {\bf B} & {\bf C} & {\bf D} & {\bf E} & {\bf F} \\
441: {\bf B}^\dagger & {\bf G} & {\bf H} & {\bf I} & {\bf J} & {\bf K} \\
442: {\bf C}^\dagger & {\bf H}^\dagger & {\bf L} & {\bf M} & {\bf N} & {\bf O} \\
443: {\bf D}^\dagger & {\bf I}^\dagger & {\bf M}^\dagger & {\bf P} & {\bf Q}
444: & {\bf R} \\
445: {\bf E}^\dagger & {\bf J}^\dagger & {\bf N}^\dagger & {\bf Q}^\dagger &
446: {\bf S} & {\bf T} \\
447: {\bf F}^\dagger & {\bf K}^\dagger & {\bf O}^\dagger & {\bf R}^\dagger &
448: {\bf T}^\dagger & {\bf U} \\
449: \end{array} \right] \left[ \begin{array} {c}
450: {\bf s}_1 \\ {\bf t}_1 \\ {\bf s}_2 \\ {\bf t}_2 \\
451: {\bf s}_3 \\ {\bf t}_3 \\ \end{array} \right] = \mu
452: \left[ \begin{array} {c}
453: {\bf s}_1 \\ {\bf t}_1 \\ {\bf s}_2 \\ {\bf t}_2 \\
454: {\bf s}_3 \\ {\bf t}_3 \\ \end{array} \right] \ ,
455: \end{eqnarray}
456: where each entry of the matrix is itself a $3 \times 3$ submatrix.
457: Now we identify the symmetry of this matrix imposed by inversion,
458: via Eq. (\ref{INVEQ}). We have
459: \begin{eqnarray}
460: A_{ij} s_{i 1}^* s_{j 1} &=&
461: A_{ij} [{\cal I} s_{i 1}]^* [{\cal I} s_{j 1}]
462: = A_{ij} t_{i 1} t_{j 1}^* \nonumber \\
463: &=& G_{ji } t_{j 1}^* t_{i 1 } \ ,
464: \end{eqnarray}
465: which implies that $A_{ij} = G_{ji}$, so that
466: ${\bf G}=\tilde {\bf A}={\bf A}^*$, since ${\bf A}$ is Hermitian.
467: Similarly, ${\bf P} = {\bf L}^*$ and ${\bf U}={\bf S}^*$. Consider
468: \begin{eqnarray}
469: B_{ij} s_{i1}^* t_{j1} &=& B_{ij} [{\cal I} s_{i1}]^* [{\cal I} t_{j1}] =
470: B_{ij} t_{i1} s_{j1}^* \nonumber \\ &=& B_{ji} s_{j1}^* t_{i1} \ ,
471: \end{eqnarray}
472: which implies that $B_{ij}=B_{ji}$. Thus ${\bf B}^\dagger = {\bf B}^*$.
473: Likewise ${\bf M}^\dagger={\bf M}^*$ and ${\bf T}^\dagger = {\bf T}^*$.
474: Furthermore
475: \begin{eqnarray}
476: C_{ij} s_{i1}^* s_{j2} &=& C_{ij} [{\cal I} s_{i1}]^* [{\cal I}s_{j2}]
477: = C_{ij} t_{i1} t_{j2}^* \nonumber \\ &=& {I^\dagger}_{ji} t_{j2}^* t_{i1}
478: \end{eqnarray}
479: which implies that $I_{ij}^* = C_{ij}$. Also
480: \begin{eqnarray}
481: E_{ij} s_{i1}^* s_{j3} &=& E_{ij} [{\cal I} s_{i1}]^* [{\cal I} s_{j3}]
482: \nonumber \\ &=& E_{ij} t_{i1} t_{j3}^* [ e^{2 \pi i(q_x+q_z)}]
483: e^{-2 \pi i q_x} \nonumber \\ &=& [K^\dagger]_{ji} t_{j3}^* t_{i1}
484: \end{eqnarray}
485: which implies that ${\bf K}^* = {\bf E} e^{2 \pi i q_z}$. Similarly
486: ${\bf R}^* = {\bf N} e^{2 \pi i q_z}$. Also
487: \begin{eqnarray}
488: D_{ij} s_{i1}^* t_{j2} &=& D_{ij} [{\cal I} s_{i1}]^* [{\cal I} t_{j2}]
489: = D_{ij} t_{i1} s_{j2}^* \nonumber \\ &=& [H^\dagger]_{ji} s_{j2}^* t_{i1}
490: \end{eqnarray}
491: so ${\bf H}^*= {\bf D}$. Also
492: \begin{eqnarray}
493: J_{ij} t_{i1}^* s_{j3} &=& J_{ij} [{\cal I} t_{i1}]^* [{\cal I} s_{j3}]
494: \nonumber \\ &=&
495: J_{ij} s_{i1} t_{j3}^* [e^{2 \pi i (q_x+q_z)}] e^{- 2 \pi i q_z}
496: \nonumber \\ &=& F^\dagger_{ji} t_{j3}^* s_{i1} \ ,
497: \end{eqnarray}
498: which implies that ${\bf F}^* = {\bf J} e^{2 \pi i q_z}$.
499: Similarly ${\bf O}^* = {\bf Q} e^{2 \pi i q_z}$.
500:
501: Using all these relations we see that the matrix ${\cal F}$ must be of
502: the form
503: \begin{eqnarray}
504: \left[ \begin{array} {c c c c c c}
505: {\bf A} & {\bf B} & {\bf C} & {\bf D} & {\bf E} & {\bf J}^*\Lambda^* \\
506: {\bf B}^* & {\bf A}^* & {\bf D}^* & {\bf C}^* & {\bf J} & {\bf E}^* \Lambda^* \\
507: \ \tilde {\bf C}^* & \tilde {\bf D} & {\bf L} & {\bf M} & {\bf N} &
508: {\bf Q}^* \Lambda^* \\
509: \ \tilde {\bf D}^* & \tilde {\bf C} & {\bf M}^* & {\bf L}^* & {\bf Q} &
510: {\bf N}^*\Lambda^* \\
511: \ \tilde {\bf E}^* & \tilde {\bf J}^* &\tilde {\bf N}^* &\tilde {\bf Q}^*
512: & {\bf S} & {\bf T} \\
513: \ \tilde {\bf J}\Lambda & \tilde {\bf E} \Lambda &\tilde {\bf Q} \Lambda
514: & \tilde {\bf N} \Lambda & {\bf T}^* & {\bf S}^* \\
515: \end{array} \right] \ ,
516: \end{eqnarray}
517: where $\Lambda= \exp( 2 \pi i q_z)$. Now consider this matrix
518: operating on a vector of the form
519: \begin{eqnarray}
520: \Psi &=& [ \rhov , \rhov^* , \psiv, \psiv^* , \chiv , \Lambda \chiv^* ] \ .
521: \end{eqnarray}
522: One can show that ${\cal F}\Psi$ is a vector of the same form as $\Psi$.
523: This means that any eigenvector can be taken to be of this form and the
524: eigenvalue equations are
525: \begin{eqnarray}
526: && {\bf E}^\dagger \rhov + {\bf J}^\dagger \rhov^* + {\bf N}^\dagger \psiv
527: + {\bf Q}^\dagger \psiv^* + {\bf S} \chiv
528: + {\bf T} \Lambda \chiv^* = \lambda \chiv \nonumber \\
529: && {\bf C}^\dagger \rhov + \tilde {\bf D} \rhov^* + {\bf L} \psiv
530: + {\bf M} \psiv^* + {\bf N} \chiv + {\bf Q}^* \chiv^*
531: = \lambda \psiv \nonumber \\
532: && {\bf A} \rhov + {\bf B} \rhov^* + {\bf C} \psiv + {\bf D} \psiv^* +
533: {\bf E} \chiv + {\bf J}^* \chiv^* = \lambda \rhov \ .
534: \end{eqnarray}
535: (The other three equations are the complex conjugates of these.)
536: These give rise to 18 simultaneous equations for the real and imaginary
537: parts of the three-component vectors $\rhov$, $\psiv$, and $\chiv$.
538:
539: The point is that the permissible form for an 18-component
540: eigenvector is restricted by inversion symmetry.
541: The critical eigenvector is the one whose eigenvalue
542: first passes through zero as the temperature is lowered. As the
543: temperature is further lowered, we may have a small amount of
544: admixing of noncritical eigenvectors into the critical eigenvector
545: due to higher than quadratic terms in the free energy. However, these
546: admixtures will only be within the same irrep unless one crosses
547: a phase boundary.
548:
549: Since the eigenvalue problem is in a complex vector space we write
550: critical eigenvector as
551: \begin{eqnarray}
552: \Psi &=& e ^{i \phi} [ \rhov, \rhov^* ,
553: \psiv, \psi^* , \chiv , \Lambda \chiv^* ] \ ,
554: \end{eqnarray}
555: where the phase $\phi$ is arbitrary (as far as the quadratic terms
556: are concerned) and the other Greek letters are three component vectors.
557: In Tables \ref{IIRREP} and \ref{IIIRREP} we tabulate the results. In
558: so doing we have introduced the complex-valued order parameters
559: $\sigmav (\Gamma)$, such that
560: \begin{eqnarray}
561: \sigmav (\Gamma) &=& |\sigma(\Gamma)| e^{i \phi(\Gamma)} \ .
562: \end{eqnarray}
563: To avoid overparametrizing we specify the normalization
564: \begin{eqnarray}
565: 4 \sum_{\alpha=x,y,z} \sum_{n=1,2,3} | s_{\alpha n}|^2 = 1 \ .
566: \label{NORM} \end{eqnarray}
567: Including inversion symmetry we have 9 complex-valued $s$ parameters
568: and one complex valued order parameter $\sigma_e({\bf q}_+)$, so that
569: we have 19 real valued parameters (taking account of the normalization
570: of the $s$'s.), whereas without taking account of inversion symmetry we
571: would have had 36 real valued parameters to determine from a fit to
572: diffraction data.
573:
574: One may notice that we could have said that the 18-component eigenvector
575: of ${\bf u}$'s was of the form
576: \begin{eqnarray}
577: \Phi &=& e^{i \phi}
578: [ \piv, -\piv^* , \tauv, -\tauv^* , \xiv , -\Lambda \xiv^* ]
579: \end{eqnarray}
580: and indeed the eigenvector is equivalent to this form because if you
581: multiply the previous eigenvector $\Psi$ by $i$, it will be exactly
582: of the form of $\Phi$.
583:
584: \begin{table}
585: \caption{\label{IIRREP} Symmetry-adapted spin wave functions for
586: wave vector ${\bf q}_+ \equiv (q_x,0,q_z)$ which transform according
587: to the irrep $\Gamma_e$, where $\lambda = \exp(- \pi i q_x)$,
588: $\Lambda = \exp(2 \pi i q_z)$, and $\sigmav_e$ is the
589: complex-valued order parameter. We require the normalization of
590: Eq. (\ref{NORM}). Otherwise, all constants assume arbitrary
591: complex values. Here we include the effect of inversion symmetry.}
592: \vspace{0.2 in}
593: \begin{tabular} {|| c | c ||}
594: \hline \hline
595: & $\psi(\Gamma_e)$ \\ \hline
596: ${\bf S}({\bf q},1) = $ & $\sigmav_e({\bf q}_+) (s_{x1},s_{y1},s_{z1} )$ \\
597: ${\bf S}({\bf q},2) = $ & $-\sigmav_e({\bf q}_+) \lambda
598: (s_{x1}, -s_{y1}, s_{z1} )$ \\
599: ${\bf S}({\bf q},3) = $ & $-\sigmav_e({\bf q}_+) \lambda^*
600: (s_{x1}^*, -s_{y1}^*, s_{z1}^* )$ \\
601: ${\bf S}({\bf q},4) = $ & $\sigmav_e({\bf q}_+)
602: (s_{x1}^*, s_{y1}^*, s_{z1}^* )$ \\
603: ${\bf S}({\bf q},5) = $ & $\sigmav_e({\bf q}_+) (s_{x2},s_{y2},s_{z2} )$ \\
604: ${\bf S}({\bf q},6) = $ & $-\sigmav_e({\bf q}_+) \lambda^*
605: (s_{x2}, -s_{y2}, s_{z2} )$ \\
606: ${\bf S}({\bf q},7) = $ & $-\sigmav_e({\bf q}_+) \lambda^*
607: (s_{x2}^*, -s_{y2}^*, s_{z2}^* )$ \\
608: ${\bf S}({\bf q},8) = $ & $\sigmav_e({\bf q}_+)
609: (s_{x2}^*,s_{y2}^*,s_{z2}^* )$ \\
610: ${\bf S}({\bf q},9) = $ & $\sigmav_e({\bf q}_+) (s_{x3},s_{y3},s_{z3} )$ \\
611: ${\bf S}({\bf q},10) = $ & $-\sigmav_e({\bf q}_+) \lambda
612: (s_{x3}, -s_{y3}, s_{z3} )$ \\
613: ${\bf S}({\bf q},11) = $ & $-\sigmav_e({\bf q}_+) \lambda^* \Lambda
614: (s_{x3}^*, -s_{y3}^*, s_{z3}^* )$\\
615: ${\bf S}({\bf q},12) = $ & $\sigmav_e({\bf q}_+)
616: \Lambda (s_{x3}^*,s_{y3}^*,s_{z3}^* )$ \\
617: \hline
618: \end{tabular}
619: \end{table}
620:
621: \begin{table}
622: \caption{\label{IIIRREP} As Table \ref{IIRREP}, but for the irrep
623: $\Gamma_o$ and we require the normalization of
624: Eq. (\ref{NORM}) with $s$ replaced by $u$.}
625: \vspace{0.2 in}
626: \begin{tabular} {|| c | c ||}
627: \hline \hline
628: & $\psi(\Gamma_o)$ \\ \hline
629: ${\bf S}({\bf q},1) = $ & $\sigmav_o({\bf q}_+) ( u_{x1}, u_{y1}, u_{z1}) $ \\
630: ${\bf S}({\bf q},2) = $ & $\sigmav_o({\bf q}_+) \lambda
631: (u_{x1}, -u_{x2}, u_{z1}) $ \\
632: ${\bf S}({\bf q},3) = $ & $\sigmav_o({\bf q}_+) \lambda^* (u_{x1}^*,
633: -u_{y1}^*, u_{z1}^* ) $ \\
634: ${\bf S}({\bf q},4) = $ & $\sigmav_o ({\bf q}_+)
635: ( u_{x1}^*, u_{y1}^*, u_{z1}^* ) $ \\
636: ${\bf S}({\bf q},5) = $ & $\sigmav_o({\bf q}_+) ( u_{x2}, u_{y2}, u_{z2}) $ \\
637: ${\bf S}({\bf q},6) = $ & $\sigmav_o({\bf q}_+) \lambda^* (u_{x2},
638: -u_{y2}, u_{z2}) $ \\
639: ${\bf S}({\bf q},7) = $ & $\sigmav_o({\bf q}_+) \lambda^* (u_{x2}^*,
640: -u_{y2}^*, u_{z2}^*) $ \\
641: ${\bf S}({\bf q},8) = $ & $\sigmav_o({\bf q}_+)
642: ( u_{x2}^*, u_{y2}^*, u_{z2}^*) $ \\
643: ${\bf S}({\bf q},9) = $ & $\sigmav_o({\bf q}_+) ( u_{x3}, u_{y3}, u_{z3}) $ \\
644: ${\bf S}({\bf q},10) = $ & $\sigmav_o({\bf q}_+) \lambda
645: (u_{x3}, -u_{y3}, u_{z3}) $ \\
646: ${\bf S}({\bf q},11) = $ & $\sigmav_o({\bf q}_+) \lambda^* \Lambda (u_{x3}^*,
647: -u_{y3}^* , u_{z3}^*)
648: $ \\ ${\bf S}({\bf q},12) = $ & $\sigmav_o({\bf q}_+) \Lambda
649: ( u_{x3}^*, u_{y3}^*, u_{z3}^* ) $ \\
650: \hline
651: \end{tabular}
652: \end{table}
653:
654: The comparison with Ni$_3$V$_2$O$_8$\cite{NVO,PRB,ABH} (NVO)
655: and TbMnO$_3$\cite{TMO,ABH} (TMO) is significant. In the case of NVO
656: the magnetic Ni sites are of two types, spine and cross-tie.\cite{PRB}
657: All sites of the same type are related to one another
658: by a symmetry operation which leaves the wave vector invariant. It
659: happens that the Wyckoff orbit of this set of operators generates the
660: entire set of spine sites and also separately the entire set of
661: cross-tie sites. In that case inversion (which does not leave the wave
662: vector invariant) fixes all the relative phases.\cite{NVO,PRB,ABH} (The
663: phases are not necessarily the same, but they are fixed.) In the case
664: of TMO the Mn sites form a Wyckoff orbit of the symmetry operations that
665: leave the wave vector invariant, but the Tb sites break into two
666: orbits. In this case inversion fixes the relative phases within
667: the Mn orbit and within a single Tb orbit. Inversion connects the two
668: Tb orbits. As a result the amplitudes of the two Tb orbits are fixed
669: to be the same and they have phases which are the negatives of one another,
670: but the magnitude of this phase is arbitrary.\cite{TMO,ABH}
671: Here the Mn$^{3+}$, Mn$^{4+}$, and
672: RE sites each break up into two orbits which are interconnected
673: by inversion. So it is not surprising that this situation
674: is like that of the Tb sites in TMO: the magnitudes of the two
675: related orbits, which according to MODY were unrelated, are now,
676: by virtue of inversion symmetry, fixed to be the same.
677:
678: \section{DISCUSSION}
679:
680: \subsection{Order Parameters}
681:
682: It is natural to introduce order parameters because as the
683: temperature is reduced into the ordered phase, the critical eigenvector
684: is nearly temperature-independent except for a change in its
685: normalization, governed by the magnitude of the order parameter.
686: Furthermore, the phase of the complex order parameter is either
687: a free variable or, if it is fixed, it is only
688: fixed by subtle effects of higher-than-quadratic terms in the
689: free energy. So the order parameter describes properly the low
690: energy sector of the free energy.
691:
692: Note that our definition of the order parameter is such that if
693: one is given the spin wave function over all the sublattices it
694: is possible to uniquely determine both the phase and the magnitude of
695: the order parameter, except that it could be multiplied by $-1$.
696: (But that indeterminacy is inherent for this order parameter
697: symmetry.) To make this unique identification
698: from a knowledge of the wave functions, the wave functions must be
699: first put into the canonical form of Tables \ref{IIRREP} and \ref{IIIRREP}.
700: In so doing, the normalization condition has to be obeyed. Then
701: the prefactor will be the desired order parameter. Note that the phase
702: is fixed by having the first and fourth components written in terms
703: of complex conjugates. This type of identification would not be
704: possible for a one-component complex variable.
705:
706: It should be noted that the order parameter inherits the symmetry of the full
707: wave function. Having the basis functions for\cite{FN3}
708: ${\bf q}_+\equiv (q_x,0,q_z)$
709: we now obtain the basis functions for the other wave vectors in the
710: star of ${\bf q}$. We first obtain the basis functions for
711: $-{\bf q}_- = (-q_x,0,q_z)$ for irrep $\Gamma_e$.
712: The most general basis function
713: for irrep $\Gamma_e$ for this wave vector will be of the form of Table
714: \ref{IIRREP} with $q_x$ replaced by $-q_x$, {\it i. e.} with $\lambda$
715: replaced by $\lambda^*$ and, for notational convenience, $s_{\alpha,n}$
716: replaced by $t_{\alpha,n}$, However, this is not the basis function we want.
717: We want the particular basis function which is obtained from that of
718: ${\bf q}_+$ by a symmetry operation which takes ${\bf q}_+ = (q_x,0,q_z)$
719: into $-{\bf q}_- = (-q_x,0,q_z)$,\cite{JS06} because it is this basis
720: function which results from the actual interaction between spins. In other
721: words, we want to relate $t_{\alpha,n}$ to $s_{\alpha,n}$. To do this we
722: now study the transformation of the spin Fourier transforms.
723:
724: We first consider transformation by $2_c$ which takes ${\bf q}=(q_x,0,q_z)$
725: into ${\bf q}'=(-q_x,0,q_z)=-{\bf q}_-$, where here and below we use a prime to
726: indicate a quantity after transformation. We have that
727: \begin{eqnarray}
728: S'_\alpha ({\bf R}_f,1) = \rho_\alpha S_\alpha ({\bf R}_i,4)\ ,
729: \end{eqnarray}
730: where $\rho_x=\rho_y=-\rho_z=-1$. We now write this in terms of Fourier
731: components using Eq. (\ref{TRANS1}). The initial position is ${\bf r}_i=
732: (X,Y,Z) + \tauv_4$ and the final position is ${\bf r}_f = (\overline X -1,
733: \overline Y -1, Z) + \tauv_1$ which gives [with $\eta= \sigma_e(-{\bf q})=
734: \sigma_e({\bf q}_-)^*$ and $\sigma = \sigma_e({\bf q}_+)$]
735: \begin{eqnarray}
736: && \eta' t_{\alpha1} e^{-2 \pi i[(-q_x,0,q_z) \cdot (-X-1,-Y-1,Z)]}
737: \nonumber \\ &=& \rho_\alpha \sigma s_{\alpha 1}^* e^{-2 \pi i[(q_x,0,q_z)
738: \cdot (X,Y,Z)]} \ .
739: \end{eqnarray}
740: So with $\exp [-2 \pi i q_x]=\lambda^2$, we have
741: \begin{eqnarray}
742: \eta' \lambda^2 t_{\alpha 1} = \rho_\alpha \sigma s_{\alpha 1}^* \ .
743: \label{AA} \end{eqnarray}
744: Similarly
745: \begin{eqnarray}
746: S_\alpha' ({\bf R}_f,4) = \rho_\alpha S_\alpha ({\bf R}_i,1)
747: \end{eqnarray}
748: with ${\bf r}_i = (X,Y,Z) + \tauv_1$, ${\bf r}_f = (\overline X -1,
749: \overline Y -1, Z) + \tauv_4$ which gives
750: \begin{eqnarray}
751: && \eta' t_{\alpha1}^* e^{-2 \pi i[(-q_x,0,q_z) \cdot (-X-1,-Y-1,Z)]}
752: \nonumber \\ &=& \rho_\alpha \sigma s_{\alpha 1} e^{-2 \pi i[(q_x,0,q_z)
753: \cdot (X,Y,Z)]}
754: \end{eqnarray}
755: so that
756: \begin{eqnarray}
757: \eta' \lambda^2 t_{\alpha 1}^* = \rho_\alpha \sigma s_{\alpha 1} \ .
758: \label{BB} \end{eqnarray}
759: Similarly
760: \begin{eqnarray}
761: S_\alpha' ({\bf R}_f,5) = \rho_\alpha S_\alpha ({\bf R}_i,5)
762: \end{eqnarray}
763: with ${\bf r}_i = (X,Y,Z) + \tauv_5$, ${\bf r}_f = (\overline X -1,
764: \overline Y , Z) + \tauv_5$ which is
765: \begin{eqnarray}
766: && \eta' t_{\alpha2} e^{-2 \pi i[(-q_x,0,q_z) \cdot (-X-1,-Y-1,Z)]}
767: \nonumber \\ &=& \rho_\alpha \sigma s_{\alpha 2} e^{-2 \pi i[(q_x,0,q_z)
768: \cdot (X,Y,Z)]}
769: \end{eqnarray}
770: so that
771: \begin{eqnarray}
772: \eta' \lambda^2 t_{\alpha 2} = \rho_\alpha \sigma s_{\alpha 2} \ .
773: \label{CC} \end{eqnarray}
774: Similarly
775: \begin{eqnarray}
776: S_\alpha' ({\bf R}_f,7) = \rho_\alpha S_\alpha ({\bf R}_i,7)
777: \label{E33} \end{eqnarray}
778: with ${\bf r}_i = (X,Y,Z) + \tauv_7$, ${\bf r}_f = (\overline X,
779: \overline Y -1, Z) + \tauv_7$. In using Table \ref{IIRREP} we must
780: replace $\lambda$ by $\lambda^*$ to convert the table for the wave
781: vector ${\bf q}'$. Thus Eq. (\ref{E33}) yields
782: \begin{eqnarray}
783: && \lambda \xi_\alpha \eta' t_{\alpha2}^*
784: e^{-2 \pi i[(-q_x,0,q_z) \cdot (-X,-Y-1,Z)]}
785: \nonumber \\ &=& \rho_\alpha \xi_\alpha \lambda^*
786: \sigma s_{\alpha 2}^* e^{-2 \pi i[(q_x,0,q_z) \cdot (X,Y,Z)]}
787: \end{eqnarray}
788: so that
789: \begin{eqnarray}
790: \eta' \lambda^2 t_{\alpha 2}^* = \rho_\alpha \sigma s_{\alpha 2}^* \ .
791: \label{DD} \end{eqnarray}
792:
793: \begin{table}
794: \caption{\label{TAMP} Amplitudes of the basis functions for the irrep
795: $\Gamma_e$ for the star of ${\bf q}$, where $\rho_\alpha = (-1,-1,1)$.
796: Here we give the basis functions for sublattices 1, 5, and 9. The
797: remaining amplitudes are found by the appropriate modification of Table
798: \ref{IIRREP} for the wave vector in question. For the irrep $\Gamma_o$,
799: replace all the $s$'s by $u$'s and the remaining amplitudes are found
800: by the appropriate modification of Table \ref{IIIRREP} for
801: the wave vector in question.}
802: \begin{center}
803: \begin{tabular} {||c|c c c|| } \hline \hline
804: ${\bf q}^+ = (q_x,0,q_z)$ & $s_{\alpha 1}$ & $s_{\alpha 2}$ & $s_{\alpha 3}$ \\
805: $-{\bf q}^- = (-q_x,0,q_z)$ & $\rho_\alpha s_{\alpha 1}^*$
806: & $\rho_\alpha s_{\alpha 2}$ & $\Lambda \rho_\alpha s_{\alpha 3}^*$ \\
807: ${\bf q}^- = (q_x,0,-q_z)$ & $ \rho_\alpha s_{\alpha 1}$
808: & $\rho_\alpha s_{\alpha 2}^*$ & $\Lambda^* \rho_\alpha s_{\alpha 3}$ \\
809: $-{\bf q}^+ = (-q_x,0,-q_z)$ & $s_{\alpha 1}^*$ & $s_{\alpha 2}^*$
810: & $s_{\alpha 3}^*$ \\
811: \hline \hline
812: \end{tabular}
813: \end{center}
814: \end{table}
815:
816: \begin{table*}
817: \caption{\label{TRANS} The first column gives the operation ${\cal O}$
818: and the column headed ${\bf v}_n$ gives the result of ${\cal O}{\bf v}_n$
819: where ${\bf v}$ is given in Eq. (\ref{E44}). The last column gives the
820: eigenvalue of $d V_{\rm int}/dP_b$ in Eq. (\ref{E53})
821: under the operation ${\cal O}$.}
822:
823: \begin{center}
824: \begin{tabular} {|| c || c | c | c | c | c | c | c | c || c ||} \hline \hline
825: ${\cal O}$ & $v_1$ & $v_2$ & $v_3$ & $v_4$ & $v_5$ & $v_6$ & $v_7$ &
826: $v_8$ & $dV_{\rm int} / d P_b$ \\
827: \hline $m_{ac}$ &
828: $\lambda^* v_1$ & $\lambda^* v_2$ & $-\lambda^* v_3$ & $-\lambda^* v_4$ &
829: $\lambda v_5$ & $\lambda v_6$ & $-\lambda v_7$ & $-\lambda v_8$ & $-1$ \\
830: $2_c$ &
831: $\lambda^2 v_6$ & $\lambda^2 v_5$ & $\lambda^2 v_8$ & $\lambda^2 v_7$ &
832: ${\lambda^*}^2 v_2$ & ${\lambda^*}^2 v_1$ & ${\lambda^*}^2 v_4$
833: & ${\lambda^*}^2 v_3$ & $-1$ \\
834: ${\cal I}$ &
835: $\lambda^2 \Lambda^* v_5$ & $\lambda^2 \Lambda v_6$ & $\lambda^2 \Lambda^* v_7$
836: & $\lambda^2 \Lambda v_8$ & ${\lambda^*}^2 \Lambda v_1$ & ${\lambda^*}^2
837: \Lambda^* v_2$ & ${\lambda^*}^2 \Lambda v_3$ & ${\lambda^*}^2 \Lambda^* v_4$
838: & $-1$ \\
839: $m_{bc}$ &
840: $\lambda v_6$ & $\lambda v_5$ & $-\lambda v_8$ & $-\lambda v_7$ &
841: $\lambda^* v_2$ & $\lambda^* v_1$ & $-\lambda^* v_4$ & $-\lambda^* v_3$
842: & $+1$ \\
843: $2_a$ &
844: $\lambda^* \Lambda^* v_2$ & $\lambda^* \Lambda v_1$ & $-\lambda^* \Lambda^*
845: v_4$ & $-\lambda^* \Lambda v_3$ & $\lambda \Lambda v_6$ & $\lambda \Lambda^*
846: v_5$ & $-\lambda \Lambda v_8$ & $-\lambda \Lambda^* v_7$ & $-1$ \\
847: $m_{ab}$ &
848: $\Lambda^* v_2$ & $\Lambda v_1$ & $\Lambda^* v_4$ & $\Lambda v_3$ &
849: $\Lambda v_6$ & $\Lambda^* v_5$ & $\Lambda v_8$ & $\Lambda^* v_7$ & $+1$ \\
850: $2_b$ &
851: $\lambda \Lambda^* v_5$ & $\lambda \Lambda v_6$ & $- \lambda \Lambda^* v_7$ &
852: $-\lambda \Lambda v_8$ & $\lambda^* \Lambda v_1$ & $\lambda^* \Lambda^* v_2$
853: & $-\lambda^* \Lambda v_3$ & $-\lambda^* \Lambda^* v_4$ & $+1$ \\
854: \hline \hline
855: \end{tabular}
856: \end{center}
857: \end{table*}
858:
859: Similarly
860: \begin{eqnarray}
861: S_\alpha' ({\bf R}_f,9) = \rho_\alpha S_\alpha ({\bf R}_i,12)
862: \label{E36} \end{eqnarray}
863: with ${\bf r}_i = (X,Y,Z) + \tauv_{12}$, ${\bf r}_f = (\overline X -1,
864: \overline Y -1, Z) + \tauv_9$, which gives
865: \begin{eqnarray}
866: && \eta' t_{\alpha 3} e^{-2 \pi i[(-q_x,0,q_z) \cdot (-X-1,-Y-1,Z)]}
867: \nonumber \\ &=& \rho_\alpha \sigma \Lambda s_{\alpha 3}^*
868: e^{-2 \pi i[(q_x,0,q_z) \cdot (X,Y,Z)]}
869: \end{eqnarray}
870: so that
871: \begin{eqnarray}
872: \eta' \lambda^2 t_{\alpha 3} = \rho_\alpha \Lambda \sigma s_{\alpha 3}^* \ .
873: \label{EE} \end{eqnarray}
874: Similarly
875: \begin{eqnarray}
876: S_\alpha' ({\bf R}_f,12) = \rho_\alpha S_\alpha ({\bf R}_i,9)
877: \label{E39} \end{eqnarray}
878: with ${\bf r}_i = (X,Y,Z) + \tauv_{9}$, ${\bf r}_f = (\overline X -1,
879: \overline Y -1, Z) + \tauv_{12}$, which gives
880: \begin{eqnarray}
881: && \Lambda \eta' t_{\alpha 3}^* e^{-2 \pi i[(-q_x,0,q_z) \cdot (-X-1,-Y-1,Z)]}
882: \nonumber \\ &=& \rho_\alpha \sigma s_{\alpha 3}
883: e^{-2 \pi i[(q_x,0,q_z) \cdot (X,Y,Z)]}
884: \end{eqnarray}
885: so that
886: \begin{eqnarray}
887: \eta' \lambda^2 \Lambda t_{\alpha 3}^* =
888: \rho_\alpha \Lambda \sigma s_{\alpha 3} \ .
889: \label{FF} \end{eqnarray}
890: Equations (\ref{AA}), (\ref{BB}), (\ref{CC}),
891: (\ref{DD}), (\ref{EE}), and (\ref{FF}) yield
892: \begin{eqnarray}
893: t_{\alpha 1} = \rho_\alpha s_{\alpha 1}^* \ , \ \ \
894: t_{\alpha 2} = \rho_\alpha s_{\alpha 2} \ , \ \ \
895: t_{\alpha 3} = \Lambda \rho_\alpha s_{\alpha 3}^* \ ,
896: \label{E42} \end{eqnarray}
897: and
898: \begin{eqnarray}
899: \eta' &=& {\lambda^*}^2 \sigma \ .
900: \label{E43} \end{eqnarray}
901: There is an equivalent solution in which all the transformed quantities
902: are multiplied by $-1$. This ambiguity is unavoidable because it is
903: inherent in the symmetry of the order parameter. Using Eq. (\ref{E42})
904: and the fact that the basis functions for $-{\bf q}$ are the complex
905: conjugates of those for ${\bf q}$ we obtain the results of Table \ref{TAMP}.
906: The relations for the basis functions of irrep $\Gamma_o$ are the
907: same as for $\Gamma_e$, so Table \ref{TAMP} also applies for $\Gamma_o$.
908:
909: We now obtain the transformation properties of the order parameter
910: under all the symmetry operations of the space group (except translations).
911: For this discussion it is convenient to introduce an
912: order parameter vector ${\bf v}$ whose components are the various order
913: parameters:
914: \begin{eqnarray}
915: v_1 &=& \sigma_e({\bf q}_+) \ , \ \ \
916: v_2 = \sigma_e({\bf q}_-) \ , \ \ \
917: v_3 = \sigma_o({\bf q}_+) \ , \nonumber \\
918: v_4 &=& \sigma_o({\bf q}_-) \ , \ \ \
919: v_5 = \sigma_e(-{\bf q}_+) \ , \ \ \
920: v_6 = \sigma_e(-{\bf q}_-) \ , \nonumber \\
921: v_7 &=& \sigma_o(-{\bf q}_+) \ , \ \ \
922: v_8 = \sigma_o(-{\bf q}_-) \ .
923: \label{E44} \end{eqnarray}
924: The transformation properties of the vector ${\bf v}$ are given in
925: Table \ref{TRANS}, whose construction we now discuss. The row
926: of $m_{ac}$ is obtained by using the fact that the basis vector
927: of irrep $\Gamma_e$ for wave vector ${\bf q}=(q_x,0,q_z)$ is an
928: eigenvector of $m_{ac}$ with eigenvalue $\lambda^*$. The eigenvalue for
929: irreps $\Gamma_e$ and $\Gamma_o$ have opposite signs, and changing
930: the sign of the wave vector leads to complex conjugation of the
931: eigenvalue.
932:
933: We consider next the effect of $2_c$ on the order parameters. In Eq.
934: (\ref{E43}) we found that under $2_c$ the new value of $v_6$
935: is ${\lambda^*}^2 v_1$. Since the prefactor ${\lambda^*}^2$ does not
936: depend on $q_z$ and it was obtained without specifying the irrep,
937: we see that the prefactors in the last four columns of the second
938: row are the same. The prefactors of the first four entries of this
939: row are obtained from the last four entries by complex conjugation.
940:
941:
942: Next we consider the effect of inversion on the order parameters. This
943: discussion is simplified by having in hand the results of Table
944: \ref{TAMP}. Note that ${\cal I}$ does not change the orientation of
945: the spin, because spin is a pseudovector. So under ${\cal I}$ we have
946: \begin{eqnarray}
947: S'_\alpha ({\bf R}_f, 1) &=& S_\alpha ({\bf R}_i, 4) \ ,
948: \end{eqnarray}
949: where ${\bf r}_i = (X,Y,Z)+ \tauv_4$ and ${\bf r}_f = (\overline X -1,
950: \overline Y -1, \overline Z -1) + \tauv_1$, which gives
951: [with $\eta=\sigma_e(-{\bf q})$ and $\sigma= \sigma_e({\bf q})$]
952: \begin{eqnarray}
953: && \eta' s'_{\alpha 1} e^{-2 \pi i[(-q_x,0,-q_z) \cdot (-X-1,-Y-1,-Z-1)]}
954: \nonumber \\
955: && + {\eta'}^* s^{\prime*}_{\alpha 1} e^{2 \pi i[(-q_x,0,-q_z) \cdot
956: (-X-1,-Y-1,-Z-1)]} \nonumber \\
957: && = \sigma s^*_{\alpha 1} e^{-2 \pi i[(q_x,0,q_z) \cdot(X,Y,Z)]}
958: \nonumber \\
959: && + \sigma^* s_{\alpha1} e^{2 \pi i[(q_x,0,q_z) \cdot (X,Y,Z)]} \ .
960: \end{eqnarray}
961: This has to be an equality for all integer $X$, $Y$, and $Z$. Also
962: $s'_{\alpha 1} = s_{\alpha 1}^*$ (from Table \ref{TAMP}), so we find that
963: \begin{eqnarray}
964: \eta' \lambda^2 \Lambda^* &=& \sigma \ .
965: \end{eqnarray}
966: Thus ${\lambda^*}^2 \Lambda v_1$ is the entry under $v_5$ in
967: the third row. Having this result, one can construct the other entries
968: in this row by noting the dependence on $q_x$ and $q_z$.
969:
970: The other rows of Table \ref{TRANS} are found by using the
971: multiplicative properties
972: \begin{eqnarray}
973: m_{ab} &=& 2_c {\cal I} \ , \hspace{1 in} 2_a = m_{ac} m_{ab} \ ,
974: \nonumber \\
975: m_{bc} &=& 2_a {\cal I} \ , \hspace{1 in} 2_b = m_{ac} {\cal I} \ .
976: \end{eqnarray}
977:
978: \section{Magnetoelectric Interaction}
979:
980: Now we discuss the form of the ME coupling in the phases with
981: $q_x \not=1/2$, {\it i. e.} in the $(I,0,I)$ and $(I,0,C)$ phases.
982: In the first subsection we will discuss the trilinear ME interaction
983: which involves the lowest number (two) of magnetic order parameters.
984: In succeeding subsections we will discuss higher order ME interactions
985: which involve a product of four magnetic order parameters. These
986: higher order terms yield components of the spontaneous
987: polarization which are allowed by symmetry but are not present
988: in the trilinear interaction. However, these higher-order terms
989: are probably small for two reasons. Firstly, in the IC phases
990: which occur at high temperatures near the paramagnetic phase, the
991: order parameters are small. Secondly, most microscopic models
992: of the ME interaction\cite{MICRO1,MICRO2,MICRO3,MICRO4,LC06} treat
993: (within lowest order perturbation theory)
994: a trilinear Hamiltonian involving two spin variables and one
995: displacement variable. However, to obtain these higher order
996: phenomenological interactions probably involve processes of higher
997: order in some small parameter such as $t/U$ or $\lambda/U$,
998: where $t$ is a hopping matrix element, $\lambda$ is the spin-orbit
999: constant, and $U$ is a Coulomb interaction.
1000:
1001: \subsection{Trilinear ME coupling}
1002:
1003: Initially we will consider the lowest
1004: order (trilinear) ME coupling. We start by considering the case when
1005: only the wave vectors $\pm{\bf q}_+ \equiv \pm (1/2-\delta , 0,1/4 + \epsilon )$,
1006: where $\epsilon$ may or may not be zero, are involved.
1007: The interaction of lowest order in the magnetic order parameters
1008: which conserves wave vector and is time-reversal invariant
1009: is of the form\cite{NVO,TMO,ABH}
1010: \begin{eqnarray}
1011: V_{\rm int} &=& \sum_{\gamma a,b} c_{\gamma ab} \sigma_a ({\bf q}_+)
1012: \sigma_b(-{\bf q}_+) P_\gamma \ ,
1013: \end{eqnarray}
1014: where $a$ and $b$ assume the values ``e" and ``o", ${\bf P}$ is the
1015: spontaneous electric polarization and $\gamma$ labels the
1016: component.\cite{QFN}
1017: Using Table \ref{TRANS}, one sees that terms in $V_{\rm int}$ with
1018: $a=b$ are not allowed by inversion invariance.
1019: If one has only a single irrep present, then one
1020: can always redefine the location of the origin so
1021: as to have inversion symmetry with respect to that new origin
1022: and hence such a phase can not exhibit magnetically
1023: induced ferroelectricity. If both irreps are present, then we write
1024: \begin{eqnarray}
1025: V_{\rm int} &=& \sum_\gamma
1026: [c_\gamma \sigma_e ({\bf q}_+) \sigma_o(-{\bf q}_+)
1027: + c_\gamma^* \sigma_e (-{\bf q}_+) \sigma_o({\bf q}_+)] P_\gamma \ ,
1028: \nonumber \\
1029: \end{eqnarray}
1030: and inversion invariance forces $c_\gamma$ to be pure imaginary:
1031: $c_\gamma = i r_\gamma$, where $r_\gamma$ is real. Then
1032: \begin{eqnarray}
1033: V_{\rm int} &=& i \sum_\gamma r_\gamma
1034: [\sigma_e ({\bf q}_+) \sigma_o({\bf q}_+)^*
1035: - \sigma_e ({\bf q}_+)^* \sigma_o({\bf q}_+)] P_\gamma \ .
1036: \nonumber \\
1037: \end{eqnarray}
1038: From Table \ref{TRANS} one sees that the square bracket in this equation
1039: changes sign under $m_{ac}$, so $P_\gamma$ must also change sign under
1040: $m_{ac}$ in order for $V_{\rm int}$ to be invariant under $m_{ac}$.
1041: Thus $c_\gamma$ can be nonzero only for $\gamma=b$, as is observed.
1042: If we set $\sigmav_\Gamma({\bf q}_+)=
1043: |\sigma_\Gamma({\bf q}_+)| \exp(i \phi_\Gamma)$, then we have the result
1044: \begin{eqnarray}
1045: V_{\rm int} &=& 2r \sin(\phi_o-\phi_e) P_b
1046: |\sigma_e ({\bf q}_+) \sigma_o({\bf q}_+)| \ .
1047: \end{eqnarray}
1048:
1049: However, this is not the whole story because we must include the terms
1050: involving the other wave vectors in the star of ${\bf q}$. (Indeed it is
1051: possible that in the highest temperature paraeletric
1052: IC phase there is a simultaneous condensation of the order order parameters
1053: of both wave vectors ${\bf q}_\pm$.\cite{HAE}) Since we have already
1054: incorporated the effect of ${\cal I}$ and $m_{ac}$, it only remains
1055: to use $2_c$ to obtain the other terms which make up the invariant
1056: interaction. To do that we use the results given in Table \ref{TRANS}
1057: which give $2_c \sigma_n({\bf q}_+) = \lambda^2 \sigma_n({\bf q}_-)^*$,
1058: for $n=o$ or $e$, and, of course, $2_c P_b = - P_b$. Thereby we obtain
1059: the complete result for $V_{\rm int}$:
1060: \begin{eqnarray}
1061: V_{\rm int} &=& ir \sum_{\eta = \pm}
1062: [\sigmav_e ({\bf q}_\eta) \sigmav_o({\bf q}_\eta)^*
1063: % \nonumber \\ && \ \ \
1064: - \sigmav_e ({\bf q}_\eta)^* \sigmav_o({\bf q}_\eta)] P_b \ .
1065: \nonumber \\
1066: \label{E53} \end{eqnarray}
1067: At this order one needs the simultaneous presence of both the e and o
1068: irreps to have ferroelectricity. (However, below we find that a
1069: polarization along ${\bf c}$ can be induced by {\it Umklapp} ME
1070: interactions by a single irrep. But this scenario is unlikely.\cite{HAE})
1071: Note that from this interaction the spontaneous polarization ${\bf P}$ is
1072: aligned along the ${\bf b}$ axis irrespective of which wave vector condenses.
1073: However, the {\it sign} of ${\bf P}$ depends on how the signs of the order
1074: parameters are chosen ({\it i. e.} how symmetry is broken) when $\sigma_o$
1075: and/or $\sigma_e$ order. Furthermore, within the trilinear ME interaction,
1076: even if two irreps are present, if they are in phase [{\it i. e.} if
1077: $(\phi_o-\phi_e)/\pi$ is an integer], then a spontaneous polarization does not
1078: arise.\cite{NVO,ABH} When cooling from the paramagnetic phase into the
1079: $(I,0,I)$ phase, one expects only a {\it single} irrep.\cite{FN} Upon further
1080: cooling, systems that follow the scenario of Fig. 1a condense a second irrep
1081: and thereby\cite{HAE} induce ferroelectricity. When we have both irreps of
1082: the wave vector present, their relative phase
1083: $[\phi(\Gamma_e) - \phi(\Gamma_o)]/\pi$ is usually fixed by fourth order
1084: terms in the magnetic free energy to be nonintegral,\cite{ABH,HAE}
1085: in which case no choice of origin will simultaneously make both irreps
1086: inversion invariant. This situation is reminiscent of TMO\cite{TMO} or
1087: NVO\cite{NVO} and was previously noted in connection with second harmonic
1088: generation.\cite{DF98} Finally, from Eq. (\ref{E53}) one sees that even
1089: when two irreps are present, if the order parameters of the two wave
1090: vectors ${\bf q}_+$ and ${\bf q}_-$ have the same magnitude, the spontaneous
1091: polarization could vanish. (This probably corresponds to the spirals
1092: of the two wave vectors having opposite helicity.\cite{MOSTOVOY})
1093:
1094: \subsection{Higher Order ME Coupling}
1095:
1096: Sergienko {\it et al.}\cite{IS06} have pointed out the existence of
1097: higher order terms in the ME coupling, in particular terms
1098: quartic in the order parameters. As they indicate, these terms have
1099: the potential to induce a spontaneous polarization in direction(s)
1100: different from those of the trilinear ME coupling. For the
1101: so-called 113 compounds (such as HoMnO$_3$, which they consider), these
1102: terms usually do not come into play in view of the anisotropy of
1103: the terms in the purely magnetic free energy which are quartic in the
1104: order parameters. (See citation 28 of Ref. \onlinecite{HAE}.)
1105: Here the situation is different: the quartic
1106: order-parameter anisotropy is much more complicated for the 125's,
1107: so that these higher order ME terms may come into play, although,
1108: as mentioned, their effect may be small. We start by first considering
1109: terms which strictly conserve wave vector. Later, we will
1110: investigate the corresponding {\it Umklapp} terms which only conserve
1111: wave vector to within a nonzero reciprocal lattice vector.
1112:
1113: \begin{table}
1114: \begin{center}
1115: \caption {\label{POINT} Character table for the point group
1116: for the 125's. $\Gamma_\alpha$, where $\alpha=x,y,z$ are vector
1117: irreps. The next-to-last row gives the characters of the
1118: 34-dimensional reducible representation $\Gamma$ and the last row
1119: gives those of the 18-dimensional reducible representation, $\Gamma_U$.}
1120:
1121: \vspace{0.2 in}
1122: \begin{tabular} {|| c || c c c c c c c c||} \hline \hline
1123: & $E$ & $m_{bc}$ & $m_{ac}$ & $m_{ab}$ & ${\cal I}$
1124: & $2_a$ & $2_b$& $2_c$\\
1125: \hline
1126: $\Gamma_1$ & $1$ & $1$ & $1$ & $1$ & $1$ & $1$ & $1$ & $1$ \\
1127: $\Gamma_x$ & $1$ & $-1$ & $1$ & $1$ & $-1$ & $1$ & $-1$ & $-1$ \\
1128: $\Gamma_y$ & $1$ & $1$ & $-1$ & $1$ & $-1$ & $-1$ & $1$ & $-1$ \\
1129: $\Gamma_z$ & $1$ & $1$ & $1$ & $-1$ & $-1$ & $-1$ & $-1$ & $1$ \\
1130: $\Gamma_{yz}$ & $1$ & $1$ & $-1$ & $-1$ & $1$ & $1$ & $-1$ & $-1$ \\
1131: $\Gamma_{xz}$ & $1$ & $-1$ & $1$ & $-1$ & $1$ & $-1$ & $1$ & $-1$ \\
1132: $\Gamma_{xy}$ & $1$ & $-1$ & $-1$ & $1$ & $1$ & $-1$ & $-1$ & $1$ \\
1133: $\Gamma_{xyz}$ & $1$ & $-1$ & $-1$ & $-1$ & $-1$ & $1$ & $1$ & $1$ \\ \hline
1134: $\Gamma$ & 34 & 4 & 2 & 4 & 10 & 4 & 10 & 4 \\
1135: $\Gamma_U$ & 18 & 6 & 2 & 0 & 0 & 0 & 0 & 6 \\ \hline \hline
1136: \end{tabular}
1137: \end{center}
1138: \end{table}
1139:
1140: To construct this ME interaction we need to construct quartic
1141: terms in the order parameters which transform like a vector.
1142: To avoid complications, it is simplest to use the following approach
1143: suggested by Mukamel.\cite{MK70} The idea is to first find
1144: the number of such vector representations by using the character
1145: tables to determine how many times each vector irrep is contained in
1146: the reducible representation formed by the basis functions of {\it all}
1147: fourth order terms. The 34 fourth order terms are the nine distinct
1148: terms of the form
1149: \begin{eqnarray}
1150: \sigma_k({\bf q}_+) \sigma_l({\bf q}_+) \sigma_m({\bf q}_+)^*
1151: \sigma_n({\bf q}_+)^* \ ,
1152: \end{eqnarray}
1153: the nine distinct terms of the form
1154: \begin{eqnarray}
1155: \sigma_k({\bf q}_-) \sigma_l({\bf q}_-) \sigma_m({\bf q}_-)^*
1156: \sigma_n({\bf q}_-)^* \ ,
1157: \end{eqnarray}
1158: and the 16 terms of the form
1159: \begin{eqnarray}
1160: \sigma_k({\bf q}_+) \sigma_l({\bf q}_-) \sigma_m({\bf q}_+)^*
1161: \sigma_n({\bf q}_-)^* \ ,
1162: \end{eqnarray}
1163: where $k$, $l$, $m$, and $n$ assume the values o and e.
1164: The character table for the irreps of the point group of Pbam and
1165: that for the representation $\Gamma$ generated by the quartic terms
1166: are given in Table \ref{POINT}. The characters of the representation
1167: $\Gamma$ for each operator are obtained by taking the trace of the
1168: operator in the 34 dimensional vector space under consideration.
1169:
1170: Then, we find the number of times $n(\Gamma_\alpha)$
1171: that $\Gamma_\alpha$ is contained in $\Gamma$ is given by
1172: the scalar products of the character vectors given in Table
1173: \ref{POINT} as\cite{EPW}
1174: \begin{eqnarray}
1175: n(\Gamma_x) &=& (34 - 4 + 2 + 4 -10 + 4 -10 - 4)/8= 2 \ , \nonumber \\
1176: n(\Gamma_y) &=& (34 + 4 - 2 + 4 -10 - 4 +10 - 4)/8= 4 \ , \nonumber \\
1177: n(\Gamma_z) &=& (34 + 4 + 2 - 4 -10 - 4 -10 + 4)/8= 2 \ . \nonumber \\
1178: \end{eqnarray}
1179:
1180: We find the two $x$-like functions to be
1181: \begin{eqnarray}
1182: \phi_{x,1} &=& v_3^2 v_5^2 + v_4^2 v_6^2 - v_2^2 v_8^2 - v_1^2 v_7^2
1183: \nonumber \\ &=& [\sigma_o({\bf q}_+) \sigma_e({\bf q}_+)^*]^2
1184: + [\sigma_o({\bf q}_-) \sigma_e({\bf q}_-)^*]^2
1185: \nonumber \\ && \ \
1186: - [\sigma_e({\bf q}_-) \sigma_o({\bf q}_-)^*]^2
1187: - [\sigma_e({\bf q}_+) \sigma_o({\bf q}_+)^*]^2 \ , \nonumber \\
1188: \phi_{x,2} &=& v_3 v_4 v_5 v_6 - v_1 v_2 v_7 v_8
1189: \nonumber \\ &=& \sigma_o({\bf q}_+) \sigma_o({\bf q}_-)
1190: \sigma_e({\bf q}_+)^* \sigma_e({\bf q}_-)^*
1191: \nonumber \\ && \ \
1192: - \sigma_e({\bf q}_+) \sigma_e({\bf q}_-)
1193: \sigma_o({\bf q}_+)^* \sigma_o({\bf q}_-)^* \ .
1194: \end{eqnarray}
1195: The above are easy to check, at least apart from the complex phase
1196: factors which always combine to give unity. To be invariant under $m_{ac}$
1197: we must have an even number of ``o"'s and an even number of ``e"'s.
1198: Note that to be odd under ${\cal I}$, the form must be odd under
1199: complex conjugation. To be even under $m_{ab}$ the form must be even under
1200: interchange of ${\bf q}_+$ and ${\bf q}_-$.
1201:
1202: We find the four $y$-like functions to be
1203: \begin{eqnarray}
1204: \phi_{y,1} &=& v_1 v_3 v_5^2 + v_2 v_4 v_6^2 - v_2^2 v_6 v_8
1205: - v_1^2 v_5 v_7 \nonumber \\ &=& |\sigma_e({\bf q}_+)|^2
1206: [\sigma_o({\bf q}_+) \sigma_e({\bf q}_+)^*
1207: -\sigma_o({\bf q}_+)^* \sigma_e({\bf q}_+)]
1208: \nonumber \\ && \ \ + |\sigma_e({\bf q}_-)|^2
1209: [\sigma_o({\bf q}_-) \sigma_e({\bf q}_-)^*
1210: -\sigma_o({\bf q}_-)^* \sigma_e({\bf q}_-)] \nonumber \\
1211: \phi_{y,2} &=& v_3^2 v_5 v_7 + v_4^2 v_6 v_8 - v_2 v_4 v_8^2
1212: - v_1 v_3 v_7^2 \nonumber \\ &=& |\sigma_o({\bf q}_+)|^2
1213: [\sigma_o({\bf q}_+) \sigma_e({\bf q}_+)^*
1214: -\sigma_o({\bf q}_+)^* \sigma_e({\bf q}_+)]
1215: \nonumber \\ && \ \ + |\sigma_e({\bf q}_-)|^2
1216: [\sigma_o({\bf q}_-) \sigma_e({\bf q}_-)^*
1217: -\sigma_o({\bf q}_-)^* \sigma_e({\bf q}_-)] \nonumber \\
1218: \phi_{y,3} &=& v_1 v_5 [v_4 v_6-v_8 v_2] + v_2 v_6[v_3 v_5-v_1 v_7]
1219: \nonumber \\ &=& |\sigma_e ({\bf q}_+)|^2
1220: [ \sigma_o({\bf q}_-) \sigma_e({\bf q}_-)^*
1221: - \sigma_o({\bf q}_-)^* \sigma_e({\bf q}_-)] \nonumber \\
1222: && \ \ + |\sigma_e ({\bf q}_-)|^2
1223: [ \sigma_o({\bf q}_+) \sigma_e({\bf q}_+)^*
1224: - \sigma_o({\bf q}_+)^* \sigma_e({\bf q}_+)] \nonumber \\
1225: \phi_{y,4} &=& v_4 v_8[v_1 v_7-v_3 v_5] + v_3 v_7[v_2 v_8-v_4 v_6]
1226: \nonumber \\ &=& |\sigma_o({\bf q}_-)|^2
1227: [ \sigma_e ({\bf q}_+) \sigma_o({\bf q}_+)^*
1228: - \sigma_o ({\bf q}_+) \sigma_e({\bf q}_+)^*] \nonumber \\
1229: && \ \ \ + |\sigma_o({\bf q}_+)|^2
1230: [ \sigma_e ({\bf q}_-) \sigma_o({\bf q}_-)^*
1231: - \sigma_o ({\bf q}_-) \sigma_e({\bf q}_-)^*] \ . \nonumber \\
1232: \end{eqnarray}
1233: These can be checked similarly. To be odd under $m_{ac}$ the ``e"'s and
1234: the ``o"'s must both appear an odd number of times.
1235:
1236: We find the two $z$-like functions to be
1237: \begin{eqnarray}
1238: \phi_{z,1} &=& v_3^2 v_5^2 - v_4^2 v_6^2 + v_2^2 v_8^2 - v_1^2 v_7^2
1239: \nonumber \\ &=& [\sigma_o({\bf q}_+) \sigma_e({\bf q}_+)^*]^2
1240: - [\sigma_o({\bf q}_-) \sigma_e({\bf q}_-)^*]^2
1241: \nonumber \\ && \ \ + [\sigma_e({\bf q}_-) \sigma_o({\bf q}_-)^*]^2
1242: - [\sigma_e({\bf q}_+) \sigma_o({\bf q}_+)^*]^2 \ , \nonumber \\
1243: \phi_{z,2} &=& v_2 v_3 v_5 v_8 - v_1 v_4 v_6 v_7
1244: \nonumber \\ &=& \sigma_e({\bf q}_-) \sigma_o({\bf q}_+)
1245: \sigma_e({\bf q}_+)^* \sigma_o({\bf q}_-)^*
1246: \nonumber \\ && \ \ - \sigma_e({\bf q}_-)^* \sigma_o({\bf q}_+)^*
1247: \sigma_e({\bf q}_+) \sigma_o({\bf q}_-) \ .
1248: \end{eqnarray}
1249: These can be checked similarly. To be odd under $m_{ab}$ the form must
1250: be odd under interchange of ${\bf q}_+$ and ${\bf q}_-$.
1251:
1252: The ME interaction of order $\sigma^4$ is written as
1253: \begin{eqnarray}
1254: V_{\rm ME}^{(4)} &=& \sum_{n, \gamma} c_{n,\gamma} \phi_{\gamma ,n}
1255: P_\gamma \ ,
1256: \end{eqnarray}
1257: where the $c_{n,\gamma}$ are unknown coefficients.
1258: Now we discuss how $V_{\rm ME}^{(4)}$ affects the ME
1259: phase diagrams. First of all, if there is only a single irrep, either
1260: an ``e" or an ``o", then this interaction vanishes. So in the
1261: $(I,0,I)$ phase, which has only a single irrep,\cite{FN}
1262: we still have no spontaneous polarization.
1263: As mentioned in the introduction to this section, this
1264: higher order ME interaction may be small and difficult to observe.
1265:
1266: \subsection{{\it Umklapp} ME Interactions}
1267:
1268: Now we consider {\it Umklapp} terms relevant to the phase in which
1269: $q_z=1/4$ but $q_x \not= 1/2$. Here the reducible representation
1270: $\Gamma_U$ is generated by the nine terms of the form
1271: \begin{eqnarray}
1272: \sigma_k({\bf q}_+) \sigma_l({\bf q}_+) \sigma_m({\bf q}_-)^*
1273: \sigma_n({\bf q}_-)^* \delta_{4q_z,1} \ ,
1274: \end{eqnarray}
1275: and the nine terms of the form
1276: \begin{eqnarray}
1277: \sigma_k({\bf q}_-) \sigma_l({\bf q}_-) \sigma_m({\bf q}_+)^*
1278: \sigma_n({\bf q}_+)^* \delta_{4q_z,1} \ .
1279: \end{eqnarray}
1280: The characters for $\Gamma_U$ are given in Table \ref{POINT}.
1281: Then, we find the number of times $n(\Gamma_\alpha)$
1282: that $\Gamma_\alpha$ is contained in $\Gamma_U$ to be\cite{EPW}
1283: \begin{eqnarray}
1284: n(\Gamma_x) &=& (18 - 6 + 2 + 0 -0 + 0 -0 - 6)/8= 1 \ , \nonumber \\
1285: n(\Gamma_y) &=& (18 + 6 - 2 + 0 -0 - 0 +0 - 6)/8= 2 \ , \nonumber \\
1286: n(\Gamma_z) &=& (18 + 6 + 2 - 0 -0 - 0 -0 + 6)/8= 4 \ . \nonumber \\
1287: \end{eqnarray}
1288: We find the $x$-like function to be
1289: \begin{eqnarray}
1290: \psi_{x,1} &=& v_3^2 v_6^2 + v_4^2 v_5^2 - v_2^2 v_7^2 - v_1^2 v_8^2
1291: \nonumber \\ &=& [\sigma_o({\bf q}_+) \sigma_e({\bf q}_+)^*]^2
1292: + [\sigma_o({\bf q}_-) \sigma_e({\bf q}_-)^*]^2
1293: \nonumber \\ && \ \
1294: - [\sigma_e({\bf q}_-) \sigma_o({\bf q}_-)^*]^2
1295: - [\sigma_e({\bf q}_+) \sigma_o({\bf q}_+)^*]^2 \ , \nonumber \\
1296: \end{eqnarray}
1297: the two $y$-like functions to be
1298: \begin{eqnarray}
1299: \psi_{y,1} &=& v_1 v_3 v_6^2 + v_2 v_4 v_5^2 - v_2^2 v_5 v_7
1300: - v_1^2 v_6 v_8 \nonumber \\ &=& \sigma_e({\bf q}_+)\sigma_e({\bf q}_-)^*
1301: [\sigma_o({\bf q}_+) \sigma_e({\bf q}_-)^*
1302: \nonumber \\ && -\sigma_e({\bf q}_+) \sigma_o({\bf q}_-)^*]
1303: + \sigma_e({\bf q}_-)\sigma_e({\bf q}_+)^*
1304: \nonumber \\ && \times [\sigma_o({\bf q}_-) \sigma_e({\bf q}_+)^*
1305: -\sigma_e({\bf q}_-) \sigma_o({\bf q}_+)^*] \nonumber \\
1306: \psi_{y,2} &=& v_3^2 v_6 v_8 + v_4^2 v_5 v_7 - v_2 v_4 v_7^2
1307: - v_1 v_3 v_8^2 \nonumber \\ &=& \sigma_o({\bf q}_+)\sigma_o({\bf q}_-)^*
1308: [\sigma_o({\bf q}_+) \sigma_e({\bf q}_-)^*
1309: \nonumber \\ && -\sigma_o({\bf q}_-)^* \sigma_e({\bf q}_+)]
1310: + \sigma_o({\bf q}_-) \sigma_o({\bf q}_+)^*
1311: \nonumber \\ && \times [\sigma_o({\bf q}_-) \sigma_e({\bf q}_+)^*
1312: -\sigma_o({\bf q}_+)^* \sigma_e({\bf q}_-)] \ , \nonumber \\
1313: \end{eqnarray}
1314: and the four $z$-like functions to be
1315: \begin{eqnarray}
1316: \psi_{z,1} &=& v_1^2 v_6^2 - v_2^2 v_5^2
1317: \nonumber \\ &=& [\sigma_e({\bf q}_+) \sigma_e({\bf q}_-)^*]^2
1318: - [\sigma_e({\bf q}_-) \sigma_e({\bf q}_+)^*]^2
1319: \nonumber \\
1320: \psi_{z,2} &=& v_3^2 v_8^2 - v_4^2 v_7^2
1321: \nonumber \\ &=& [\sigma_o({\bf q}_+) \sigma_o({\bf q}_-)^*]^2
1322: - [\sigma_o({\bf q}_-) \sigma_o({\bf q}_+)^*]^2
1323: \nonumber \\
1324: \psi_{z,3} &=& v_1 v_3 v_6 v_8 - v_2 v_4 v_5 v_7 \nonumber \\
1325: &=& \sigma_e({\bf q}_+) \sigma_o({\bf q}_+)
1326: \sigma_e({\bf q}_-)^* \sigma_o({\bf q}_-)^* \nonumber \\ && \ \
1327: - \sigma_e({\bf q}_-) \sigma_o({\bf q}_-)
1328: \sigma_e({\bf q}_+)^* \sigma_o({\bf q}_+)^* \nonumber \\ && \ \
1329: \nonumber \\
1330: \psi_{z,4} &=& v_3^2 v_6^2 - v_2^2 v_7^2 - v_1^2 v_8^2 + v_4^2 v_5^2
1331: \nonumber \\ &=&
1332: [\sigma_o({\bf q}_+) \sigma_e({\bf q}_-)^*]^2
1333: - [\sigma_e({\bf q}_-) \sigma_o({\bf q}_+)^*]^2
1334: \nonumber \\ &+&
1335: [\sigma_e({\bf q}_+) \sigma_o({\bf q}_-)^*]^2
1336: - [\sigma_o({\bf q}_-) \sigma_e({\bf q}_+)^*]^2 \ .
1337: \end{eqnarray}
1338: The transformation properties of the $\psi_{\alpha,n}$ can be checked
1339: just as we did for the $\phi_{\alpha,n}$.
1340: The {\it Umklapp} ME interaction of order $\sigma^4$ is written as
1341: \begin{eqnarray}
1342: V_{\rm ME,U}^{(4)} &=& \delta_{4q_z,1}
1343: \sum_{n, \gamma} c'_{n,\gamma} \psi_{\gamma ,n} P_\gamma \ ,
1344: \end{eqnarray}
1345: where the $c'_{n,\gamma}$ are unknown coefficients.
1346:
1347: Clearly this interaction is only operative when $q_z$ is locked
1348: to the CM value $q_z=1/4$. This is therefore a
1349: generalization of the term introduced by Betouras {\it et al.},\cite{BET}
1350: but here we give the first analysis of the symmetry of this interaction.
1351: It is interesting to note that this interaction can induce a spontaneous
1352: polarization along the $z$-axis {\it even when only a single irrep
1353: is present}. (Inspection of $\psi_{z,1}$ and $\psi_{z,2}$ indicates
1354: that this requires simultaneous condensation of order at
1355: wave vectors ${\bf q}_\pm$.) However, as mentioned in the introduction
1356: to this section,
1357: this higher order ME interactions may be small and difficult to observe.
1358:
1359: \section{Compatibility Relations}
1360:
1361: \begin{figure}[ht]
1362: \begin{center}
1363: \includegraphics[width=7.0 cm]{INVERSION.eps}
1364: \caption{\label{INV1} (Color online)
1365: Phase diagram (simplified from Ref. \onlinecite{HAE}) as a function of
1366: ${\cal P}$ and $T$ for fixed $q_z$ near the multicritical point. The phase with
1367: $q_x=1/2$ exists within a parabolic ``tongue" whose apex is the multicritical
1368: point M, where the $\Gamma_e$ and $\Gamma_o$ irreps interchange stability.
1369: The compatibility relations we obtain apply in the vicinity of the
1370: multicritical point M.}
1371: \end{center}
1372: \end{figure}
1373:
1374: A first step to constructing a generic phase diagram for the
1375: 125's\cite{HAE} is to understand how the wave functions behave
1376: near the phase transition between the phase with $q_x \not= 1/2$
1377: and that for which $q_x=1/2$. In Fig. \ref{INV1} we show
1378: a simplified version of this phase diagram for fixed $q_z$.
1379: (However, to compare with experiment, the diagram for fixed
1380: $q_x$ is more relevant.\cite{HAE}) To avoid confusion we introduce a
1381: control parameter ${\cal P}$ such that when ${\cal P}={\cal P}_c$
1382: the wave vector which minimizes the inverse susceptibility near the
1383: ordering transition has $q_x=1/2$, but when ${\cal P}$ deviates
1384: slightly from this critical value the $x$-component of the selected wave
1385: vector is not exactly equal to $1/2$. (We refer to the point
1386: ${\cal P}={\cal P}_c$ as ``the multicritical point" because to
1387: reach this point requires not only fixing the temperature to
1388: be at the ordering transition, but also, as shown in Fig. \ref{INV1},
1389: one must fix ${\cal P}={\cal P}_c$
1390: by varying some other parameter, such as the pressure.)
1391: As we have seen, as the temperature is lowered into the ordered
1392: phase when ${\cal P} \not= {\cal P}_c$, one of the
1393: 1D irreps $\Gamma_e$ or $\Gamma_o$ at $q_x \not= 1/2$ condenses,
1394: whereas exactly at ${\cal P}={\cal P}_c$ one condenses into a phase with
1395: $q_x=1/2$ which has only a single 2D irrep.\cite{ABH,GB05}
1396: Accordingly, we now study the compatibility relation
1397: which must relate the wave functions of these two phases in the limit
1398: as we approach the multicritical point M for which ${\cal P} = {\cal P}_c$.
1399: Experimentally, the phase transition between the phase with $q_x=1/2$ and that
1400: having $q_x \not= 1/2$ has only been observed for $q_z=1/4$.
1401: However, since the symmetry of the phases for $q_z=1/4$ is not different
1402: from that for $q_z \not= 1/4$, we will leave $q_z$ as a free parameter which
1403: we consider to be incommensurate. Although the actual phase
1404: transition between the $q_z=1/2$ phase and the phase with $q_z\not=1/2$
1405: must be discontinuous, the discontinuity vanishes in the limit when
1406: the multicritical point M in Fig. \ref{INV1} is approached. In this limit,
1407: one may consider the transition to be continuous, and therefore it must be
1408: possible to express each basis function of the two irreps of the
1409: $q_x \not=1/2$ phase as a linear combination of the basis functions of the
1410: 2D irrep of the phase having $q_x=1/2$. We do this explicitly in order to
1411: find the relation between the order parameters of the two phases. This
1412: relation will be perturbatively modified as one goes deeper into the
1413: ordered phase.
1414:
1415: \subsection{Wavefunctions near the Multicritical Point}
1416:
1417: In Table \ref{SPIN} we record the wave functions allowed by symmetry
1418: for the $q_x=1/2$ state, based on Table XVI of Ref. \onlinecite{ABH}, which are
1419: modified in several ways. First of all, one has to include the corrections
1420: to the wave functions on sublattices 9-12, as described in an
1421: erratum.\cite{ABH} Secondly, we translate all sites by $(0,0,1/2)$.
1422: (This operation has no
1423: effect because the induced change of phase can be absorbed into the
1424: order parameters.) Thirdly, we renumber the sublattices to make their
1425: positions equal to their counterparts in Table \ref{SITES} to within a
1426: lattice constant. The final step was to translate sublattices through an
1427: integer number of lattice constants, as necessary, in order to bring them
1428: back into the unit cell. In this last operation sublattice $n$
1429: was translated through $\Delta_n$, where $\Delta_1=(0,\overline 1,0)$,
1430: $\Delta_4=(\overline 1,0,0)$, $\Delta_9=\Delta_{10}=\Delta_{11}=(0,0,1)$,
1431: and $\Delta_{12}=(\overline 1, \overline 1,1)$. The result of this operation
1432: was to introduce a multiplicative factor $X_n=\exp[2 \pi i {\bf q} \cdot \Delta_n]$
1433: to all components of the $n$th sublattice. Thereby we obtain the results
1434: shown in Table \ref{SPIN}.
1435:
1436: \begin{table} [h]
1437: \caption{\label{SPIN} Normalized spin functions (i. e. Fourier
1438: coefficients) within the unit cell of {\it e. g.} TbMn$_2$O$_5$ for wave
1439: vector $(\oh,0,q)$. Here the $r_{nx}$, $r_{ny}$ and $ir_{nz}$ are real,
1440: the $z$'s are complex, and $\Lambda=\exp(2 \pi i q_z)$ where
1441: $q_z$ is in rlu's. The $x$, $y$, and $z$ components of each
1442: Fourier vector are listed in the corresponding box.
1443: The actual spin structure is a linear
1444: combination, $\sigmav_1$ times the first column plus $\sigmav_2$
1445: times the second column, where the $\sigmav$'s are complex order
1446: parameters and the entries in each column are normalized so that
1447: the sum of their absolute squares is unity.}
1448: \vspace{0.2 in}
1449: \begin{tabular}{||c||c|c|||| c || c|c ||}\hline\hline
1450: Spin & $\sigmav_1 $ & $\sigmav_2$ & Spin &$\sigmav_1$ & $\sigmav_2$ \\ \hline
1451:
1452: ${\bf S}({\bf q},1)$&
1453: $\begin{array}{c} r_{1x} \\ r_{1y} \\ r_{1z} \end{array}$ &
1454: $\begin{array}{c} r_{2x} \\ r_{2y} \\ r_{2z} \end{array}$ &
1455: ${\bf S}({\bf q},7)$ &
1456: $\begin{array}{c} z_x \\ z_y \\ -z_z \end{array}$ &
1457: $\begin{array}{c} z_x \\ z_y \\ z_z \end{array}$ \\ \hline
1458:
1459: ${\bf S}({\bf q},2)$&
1460: $\begin{array}{c} r_{2x} \\ -r_{2y} \\ r_{2z} \end{array}$ &
1461: $\begin{array}{c} -r_{1x} \\ r_{1y} \\ -r_{1z} \end{array}$ &
1462: ${\bf S}({\bf q},8)$ &
1463: $\begin{array}{c} z_x \\ -z_y \\ z_z \end{array}$ &
1464: $\begin{array}{c} -z_x \\ z_y \\ z_z \end{array}$ \\ \hline
1465:
1466: ${\bf S}({\bf q},3)$ &
1467: $\begin{array}{c} r_{1x} \\ -r_{1y} \\ -r_{1z} \end{array}$ &
1468: $\begin{array}{c} -r_{2x}\\ r_{2y} \\ r_{2z} \end{array}$ &
1469: ${\bf S}({\bf q},9)$&
1470: $\begin{array}{c} r_{5x}\Lambda^{1/2} \\
1471: r_{5y}\Lambda^{1/2} \\ r_{5z}\Lambda^{1/2} \end{array}$ &
1472: $\begin{array}{c} r_{6x}\Lambda^{1/2} \\ r_{6y}\Lambda^{1/2}
1473: \\ r_{6z} \Lambda^{1/2} \end{array}$ \\ \hline
1474:
1475: ${\bf S}({\bf q},4)$ &
1476: $\begin{array}{c} -r_{2x} \\ -r_{2y} \\ r_{2z} \end{array}$ &
1477: $\begin{array}{c} -r_{1x}\\ -r_{1y} \\ r_{1z} \end{array}$ &
1478: ${\bf S}({\bf q},10)$&
1479: $\begin{array}{c} r_{6x}\Lambda^{1/2} \\
1480: -r_{6y}\Lambda^{1/2} \\ r_{6z}\Lambda^{1/2} \end{array}$ &
1481: $\begin{array}{c} -r_{5x}\Lambda^{1/2} \\
1482: r_{5y}\Lambda^{1/2} \\ -r_{5z}\Lambda^{1/2} \end{array}$ \\ \hline
1483:
1484: ${\bf S}({\bf q},5)$&
1485: $\begin{array}{c} z_x^* \\ -z_y^* \\ -z_z^* \end{array}$ &
1486: $\begin{array}{c} -z_x^*\\ z_y^* \\ -z_z^* \end{array}$ &
1487: ${\bf S}({\bf q},11)$&
1488: $\begin{array}{c} r_{5x}\Lambda^{1/2} \\
1489: -r_{5y}\Lambda^{1/2} \\ -r_{5z}\Lambda^{1/2} \end{array}$ &
1490: $\begin{array}{c} -r_{6x}\Lambda^{1/2}\\
1491: r_{6y}\Lambda^{1/2} \\ r_{6z}\Lambda^{1/2} \end{array}$ \\ \hline
1492:
1493: ${\bf S}({\bf q},6)$&
1494: $\begin{array}{c} z_x^* \\ z_y^* \\ z_z^* \end{array}$ &
1495: $\begin{array}{c} z_x^*\\ z_y^* \\ -z_z^* \end{array}$ &
1496: ${\bf S}({\bf q},12)$&
1497: $\begin{array}{c} -r_{6x}\Lambda^{1/2} \\
1498: -r_{6y}/\Lambda^{1/2} \\ r_{6z}/\Lambda^{1/2} \end{array}$ &
1499: $\begin{array}{c} -r_{5x}\Lambda^{1/2}\\
1500: -r_{5y}\Lambda^{1/2} \\ r_{5z}\Lambda^{1/2} \end{array}$ \\ \hline
1501: \end{tabular}
1502: \end{table}
1503:
1504: Near the multicritical point M the critical spin wave
1505: function $\Psi_{q_x=1/2}$ (for a fixed value of $q_z$ and $q_x=1/2$) is
1506: a linear combination of $\sigma_1$ times the basis functions of the first
1507: column of Table \ref{SPIN} plus $\sigma_2$ times the basis function of the
1508: second column of Table \ref{SPIN}. Alternatively, near the multicritical
1509: point M for $q_x \not=1/2$ phase, this spin wave function can be formed
1510: within the space in which the two 1D irreps, $\Gamma_e$ and $\Gamma_o$,
1511: are considered degenerate for the fixed value of $q_z$. In this limit the wave
1512: function $\Psi_{q_x \not= 1/2}$ of the 1D irrep phase is given by a linear
1513: combination of the basis functions associated with the four order parameters
1514: $\sigma_s^\pm \equiv \lim_{\delta \rightarrow 0} \sigma_s
1515: [\pm (1/2-\delta ),0,q_z]$, where $s$ is e or o.
1516: These basis functions are given in Tables \ref{IIRREP} and \ref{IIIRREP}.
1517: Equating $\Psi_{q_x=1/2}$ and $\Psi_{q_x \not= 1/2}$ gives,
1518: with, as before, $\xi_\alpha=(-1,1,-1)$ and $\rho_\alpha=(-1,-1,1)$,
1519: \begin{eqnarray}
1520: && \sigma_1 r_{1 \alpha} + \sigma_2 r_{2 \alpha} \nonumber \\
1521: && = \sigma_e^+ s_{\alpha ,1} + \sigma_o^+ u_{\alpha ,1}
1522: + \sigma_e^- \rho_\alpha s_{\alpha ,1}^*
1523: + \sigma_o^- \rho_\alpha u_{\alpha,1}^*
1524: \label{E55} \end{eqnarray}
1525: \begin{eqnarray}
1526: && - \xi_\alpha [\sigma_1 r_{2 \alpha} - \sigma_2 r_{1 \alpha}]
1527: \nonumber \\ && = (-i \xi_\alpha)\sigma_e^+ s_{\alpha ,1}
1528: + (i \xi_\alpha) \sigma_o^+ u_{\alpha ,1}
1529: \nonumber \\ && \ \
1530: + (i \xi_\alpha \rho_\alpha ) \sigma_e^- s_{\alpha,1}^*
1531: + ( -i \xi_\alpha \rho_\alpha) \sigma_o^- u_{\alpha,1}^*
1532: \end{eqnarray}
1533: \begin{eqnarray}
1534: && \rho_\alpha \xi_\alpha [ \sigma_1 r_{1 \alpha} - \sigma_2 r_{2 \alpha}]
1535: \nonumber \\ &&= (i \xi_\alpha ) \sigma_e^+ s_{\alpha ,1}^*
1536: + (-i \xi_\alpha) \sigma_o^+ u_{\alpha ,1}^*
1537: \nonumber \\ && \ \
1538: + (-i \rho_\alpha \xi_\alpha) \sigma_e^- s_{\alpha ,1}
1539: + (i \xi_\alpha \rho_\alpha) \sigma_o^- u_{\alpha,1}
1540: \end{eqnarray}
1541: \begin{eqnarray}
1542: && \rho_\alpha [ \sigma_1 r_{2 \alpha} + \sigma_2 r_{1 \alpha}]
1543: \nonumber \\ &&= \sigma_e^+ s_{\alpha ,1}^* + \sigma_o^+ u_{\alpha ,1}^*
1544: + \sigma_e^- \rho_\alpha s_{\alpha ,1}
1545: + \sigma_o^- \rho_\alpha u_{\alpha,1}
1546: \end{eqnarray}
1547: \begin{eqnarray}
1548: && \xi_\alpha z_\alpha^* ( \rho_\alpha \sigma_1 + \sigma_2)
1549: \nonumber \\ && = \sigma_e^+ s_{\alpha ,2} + \sigma_o^+ u_{\alpha ,2}
1550: + \sigma_e^- \rho_\alpha s_{\alpha ,2} +
1551: \sigma_o^- \rho_\alpha u_{\alpha ,2}
1552: \end{eqnarray}
1553: \begin{eqnarray}
1554: && z_\alpha^* (\sigma_1 - \rho_\alpha \sigma_2) \nonumber \\
1555: && = (i \xi_\alpha)\sigma_e^+ s_{\alpha ,2}
1556: + (-i \xi_\alpha)\sigma_o^+ u_{\alpha ,2}
1557: \nonumber \\ && \ \
1558: +(-i \xi_\alpha)\sigma_e^- \rho_\alpha s_{\alpha ,2}
1559: + (i \xi_\alpha)\sigma_o^- \rho_\alpha u_{\alpha ,2}
1560: \end{eqnarray}
1561: \begin{eqnarray}
1562: && z_\alpha (- \rho_\alpha \sigma_1 + \sigma_2) \nonumber \\&&
1563: = i \xi_\alpha \sigma_e^+ s_{\alpha ,2}^*
1564: +(- i \xi_\alpha) \sigma_o^+ u_{\alpha ,2}^*
1565: \nonumber \\ && \ \
1566: + (-i\xi_\alpha) \sigma_e^- \rho_\alpha s_{\alpha ,2}^*
1567: +(i \xi_\alpha) \sigma_o^- \rho_\alpha u_{\alpha ,2}^*
1568: \end{eqnarray}
1569: \begin{eqnarray}
1570: && - \xi_\alpha z_\alpha ( \sigma_1 + \rho_\alpha \sigma_2) \nonumber \\
1571: && = \sigma_e^+ s_{\alpha ,2}^* + \sigma_o^+ u_{\alpha ,2}^*
1572: +\sigma_e^- \rho_\alpha s_{\alpha ,2}^*
1573: + \sigma_o^- \rho_\alpha u_{\alpha ,2}^*
1574: \end{eqnarray}
1575: \begin{eqnarray}
1576: && (\sigma_1 r_{5,\alpha} + \sigma_2 r_{6,\alpha})\Lambda^{1/2}
1577: \nonumber \\ &&= \sigma_e^+ s_{\alpha, 3} + \sigma_o^+ u_{\alpha, 3}
1578: + \sigma_e^- \Lambda \rho_\alpha s_{\alpha, 3}^*
1579: + \sigma_o^- \Lambda \rho_\alpha u_{\alpha, 3}^*
1580: \end{eqnarray}
1581: \begin{eqnarray}
1582: && - \xi_\alpha (\sigma_1 r_{6,\alpha} - \sigma_2 r_{5,\alpha})\Lambda^{1/2}
1583: \nonumber \\ && = + (- i\xi_\alpha) \sigma_e^+ s_{\alpha, 3}
1584: + (i \xi_\alpha) \sigma_o^+ u_{\alpha, 3} \nonumber \\ && \ \
1585: + (i \xi_\alpha) \Lambda \rho_\alpha \sigma_e^- s_{\alpha, 3}^*
1586: + (-i \xi_\alpha) \Lambda \rho_\alpha \sigma_o^- u_{\alpha, 3}^*
1587: \end{eqnarray}
1588: \begin{eqnarray}
1589: && \xi_\alpha \rho_\alpha (\sigma_1 r_{5,\alpha}
1590: - \sigma_2 r_{6,\alpha})\Lambda^{1/2} \nonumber \\ && =
1591: \Lambda (i \xi_\alpha) \sigma_e^+ s_{\alpha, 3}^*
1592: + \Lambda (-i \xi_\alpha) \sigma_o^+ u_{\alpha, 3}^*
1593: \nonumber \\ && \ \
1594: + (-i \xi_\alpha) \rho_\alpha \sigma_e^- s_{\alpha, 3}
1595: + (i \xi_\alpha) \rho_\alpha \sigma_o^- u_{\alpha, 3}
1596: \end{eqnarray}
1597: \begin{eqnarray}
1598: && \rho_\alpha (\sigma_1 r_{6,\alpha} + \sigma_2 r_{5,\alpha})\Lambda^{1/2}
1599: \nonumber \\ &&= \Lambda \sigma_e^+ s_{\alpha, 3}^*
1600: + \Lambda \sigma_o^+ u_{\alpha, 3}^* + \sigma_e^- \rho_\alpha s_{\alpha, 3}
1601: + \sigma_o^- \rho_\alpha u_{\alpha, 3} \ ,
1602: \label{E66} \end{eqnarray}
1603: where $\sigma_s^\pm \equiv \lim_{\delta \rightarrow 0} \sigma_s
1604: [\pm (1/2-\delta ),0,q_z]$, where $s$ is e or o.
1605:
1606: \begin{figure}[ht]
1607: \begin{center}
1608: \includegraphics[width=7.0 cm]{DEGPAR.eps}
1609: \caption{\label{PARA1} (Color online)
1610: The two lowest eigenvalues of $\chi^{-1}(Q_x)$ which are degenerate
1611: for ${\cal P}={\cal P}_c$.}
1612: \end{center}
1613: \end{figure}
1614:
1615: \subsection{Symmetry of the Multicritical Point}
1616:
1617: From the above equations we expect to obtain a relation between the
1618: order parameters of the phase with $q_x=1/2$ and that with $q_x \not= 1/2$
1619: arbitrarily close to the multicritical point M.
1620: Presumably, giving the values of $\sigma_e^\pm$ and $\sigma_o^\pm$
1621: will determine the values of $\sigma_1$ and $\sigma_2$, but having
1622: the values of $\sigma_1$ and $\sigma_2$ we can not expect to determine
1623: the four parameters $\sigma_e^\pm$ and $\sigma_o^\pm$. Accordingly,
1624: we now study the basis functions for $\Gamma_e$ and $\Gamma_o$ and
1625: show that they are related in the limit when $q_x \rightarrow 1/2$.
1626: To see this we will analyze the behavior of the inverse
1627: susceptibility as a function of $Q_x$, the $x$-component of the
1628: wave vector when the temperature is just above the temperature at which
1629: magnetic order appears and for ${\cal P}$ close to the critical
1630: value ${\cal P}_c$ at which the minimum of the inverse susceptibility
1631: as a function of $Q_x$
1632: occurs for $Q_x=1/2$. Note that the inverse susceptibility has 36
1633: branches, each one corresponding to an eigenvalue of the inverse susceptibility
1634: matrix. Here we need consider only the two lowest branches of the
1635: inverse susceptibility. These lowest two eigenvalues
1636: arise out of a two by two submatrix which we now analyze for
1637: $Q_x=1/2+k_x$ and ${\cal P}={\cal P}_c +y$ for small $k_x$ and $y$.
1638: For $y=0$ this submatrix is of the form
1639: \begin{eqnarray}
1640: \chiv^{-1} &=& \left[ \begin{array} {c c}
1641: a(T-T_c) + bk_x^2 & 0 \\ 0 & a(T-T_c) + bk_x^2 \\ \end{array}
1642: \right] \ ,
1643: \end{eqnarray}
1644: where $k_x=Q_x-1/2$, $a$ and $b$ are constants, and $T_c$ is the
1645: temperature at which order first develops. Here and below we work only
1646: to order $k_x^2$. This form is dictated by the
1647: fact that the inverse susceptibility has to be two-fold degenerate, have
1648: its minima at $k_x=0$, and the spectrum has to be independent of the
1649: sign of $k_x$ (in view of the existence of the symmetry element $m_{bc}$).
1650: Thus the two lowest branches in the eigenvalue
1651: spectrum of the inverse susceptibility as a function of $Q_x$ are
1652: as shown in Fig. \ref{PARA1}.
1653:
1654: \begin{figure}[ht]
1655: \begin{center}
1656: \includegraphics[width=8.0 cm]{FINALPAR.eps}
1657: \caption{\label{PARA2} (Color online)
1658: The two lowest branches of eigenvalues of $\chi^{-1}(q_x)$
1659: with their wave functions indicated. Note that the labels e and o
1660: refer to the eigenvalues rather than the branch of the spectrum.
1661: We assume that the wave functions at $q^+$ for irreps $\Gamma_e$ and
1662: $\Gamma_o$ are given in terms of ${\bf s}_n$ and ${\bf u}_n$,
1663: respectively, as listed in Tables \ref{IIRREP} and \ref{IIIRREP},
1664: respectively. Here ${\bf s}_n \equiv s_{\alpha,n}$,
1665: ${\bf u}_n\equiv u_{\alpha,n}$, and $\rho \equiv \rho_\alpha$.
1666: Then the wave functions at $q=q^-$ are obtained in terms of
1667: those at $q=q^+$ according to Table \ref{TAMP}. In general,
1668: the o and e wave functions are unrelated. However, as
1669: ${\cal P} \rightarrow {\cal P}_c$, $q^+ - q^- \rightarrow 0$
1670: and the two parabolas come into coincidence. In this
1671: situation the points corresponding to $\sigma_e$ and $\sigma_o$
1672: come into coincidence. Therefore by continuity on either the
1673: right-hand or the left-hand parabola the $\sigma_o$ and $\sigma_e$
1674: wave function {\it on the same parabola} become equal,
1675: leading to Eq. (\ref{USEQ}).}
1676: \end{center}
1677: \end{figure}
1678:
1679: Next consider allowed terms which are linear in $y$ but have an
1680: unspecified dependence on $k_x$. These will give
1681: \begin{eqnarray}
1682: \chiv^{-1} &=& \left[ \begin{array} {c c}
1683: \tau + bk_x^2 +c(k_x)y & d(k_x)y \\ d(k_x)^*y & \tau + bk_x^2
1684: + e(k_x)y \\ \end{array} \right] \ ,
1685: \end{eqnarray}
1686: where $c(k_x)$ and $e(k_x)$ are real and $\tau= a(T-T_c)$.
1687: For the spectrum to be the same for both signs of $k_x$,
1688: $c(k_x)+e(k_x)$ must be an even function of $k_x$. The term
1689: in $[c(k_x)+e(k_x)]$
1690: independent of $k_x$ leads to an allowed dependence of $T_c$ on $y$
1691: and the term of order $k_x^2$ leads to an allowed dependence of the
1692: coefficient $b$ on $y$, so, in effect, up to order $k_x^2$ we have
1693: \begin{eqnarray}
1694: \chiv^{-1} &=& \left[ \begin{array} {c c}
1695: \tau + bk_x^2 + c'yk_x & d(k_x)y \\ d(k_x)^*y &
1696: \tau + bk_x^2 - c'yk_x \\ \end{array} \right] \ ,
1697: \end{eqnarray}
1698: where now $\tau$ and $b$ have an allowed, but unimportant, dependence
1699: on $y$. Now consider the dependence of $d(k_x)$ on $k_x$. Suppose
1700: that $d(k_x)$ were nonzero for $k_x=0$. This would imply that the
1701: minimum in the inverse susceptibility occurred for $k_x=0$, but
1702: that the eigenvalues were not degenerate. This contradicts group
1703: theory. So the generic case is that $d(k_x) = \beta k_x +
1704: {\cal O}(k_x^3)$. Then the two eigenvalues are
1705: \begin{eqnarray}
1706: \lambda_\pm &=& \tau+ b k_x^2 \pm y k_x \sqrt{{c'}^2 + |\beta|^2} \ .
1707: \end{eqnarray}
1708: This leads to two parabolic branches of the inverse susceptibility
1709: with minima symmetrically displaced away from $Q_x=1/2$ by
1710: an amount linear in ${\cal P}-{\cal P}_c$, as shown in Fig. \ref{PARA2}.
1711: As shown there, the left parabola at $Q_x=q^+$ is associated with $\Gamma_e$
1712: and is parametrized by the $s$'s and the right parabola at $Q_x=q^+$ is
1713: associated with $\Gamma_o$ and is parametrized by the $u$'s. The
1714: corresponding basis functions are given explicitly in Tables \ref{IIRREP}
1715: and \ref{IIIRREP}. But the basis functions for $\Gamma_o$ and $\Gamma_e$
1716: at ${\bf q}^-$ are related, respectively, to $\Gamma_o$ and $\Gamma_e$
1717: at ${\bf q}^+$ according to Table \ref{TAMP} and this is indicated in Fig.
1718: \ref{PARA2}. These eigenfunctions of the inverse susceptibility depend on
1719: wave vector, of course. But as ${\cal P} \rightarrow {\cal P}_c$, the two parabolas
1720: come into coincidence with their minimum at $Q_x=1/2$, and the points
1721: governed by $\sigma_e$ and $\sigma_o$ {\it on the same parabola} approach
1722: one another. Then in this limit, by continuity on the {\it same} parabola
1723: we obtain
1724: \begin{eqnarray}
1725: u_{\alpha,1} = \rho_\alpha s_{\alpha,1}^* , \ \
1726: u_{\alpha,2} = \rho_\alpha s_{\alpha,2} , \ \
1727: u_{\alpha,3} = \rho_\alpha \Lambda s_{\alpha,3}^* \ .
1728: \label{USEQ} \end{eqnarray}
1729:
1730: It should be remarked, that this multicritical point is not
1731: a Lifshitz point.\cite{HORN} At a Lifshitz point the coefficient
1732: of $k_x^2$ in the inverse susceptibility vanishes. Here, in the
1733: generic case, this coefficient is nonzero, but the coefficient
1734: of $k_x$, which here is allowed because of the double degeneracy,
1735: vanishes. Furthermore, the Lifshitz point separates a regime
1736: of CM order from that of IC order. Here
1737: CM order (at the paramagnetic phase boundary) only
1738: occurs at a point (where the coefficient of $k_x$ changes sign
1739: thereby exchanging the instabilities of the two 1D irreps).
1740:
1741: \subsection{Compatibility Equations}
1742:
1743: Using the relation between the ${\bf u}$'s and the ${\bf s}$'s, we see that
1744: Eqs. (\ref{E55})-(\ref{E66}) become
1745: \begin{eqnarray}
1746: \sigma_1 r_{1 \alpha} + \sigma_2 r_{2 \alpha} &=&
1747: \sigma^+ s_{\alpha ,1} + \sigma^- \rho_\alpha s_{\alpha ,1}^* \ ,
1748: \label{E67} \end{eqnarray}
1749: \begin{eqnarray}
1750: \sigma_1 r_{2 \alpha} - \sigma_2 r_{1 \alpha} &=&
1751: i \sigma^+ s_{\alpha ,1} - i \rho_\alpha \sigma^- s_{\alpha,1}^* \ ,
1752: \label{E68} \end{eqnarray}
1753: \begin{eqnarray}
1754: \sigma_1 r_{1 \alpha} - \sigma_2 r_{2 \alpha}
1755: &=& i \rho_\alpha \sigma^+ s_{\alpha ,1}^* -i \sigma^- s_{\alpha ,1} \ ,
1756: \label{E69} \end{eqnarray}
1757: \begin{eqnarray}
1758: \sigma_1 r_{2 \alpha} + \sigma_2 r_{1 \alpha} &=&
1759: \rho_\alpha \sigma^+ s_{\alpha ,1}^* + \sigma^- s_{\alpha ,1} \ ,
1760: \label{E70} \end{eqnarray}
1761: \begin{eqnarray}
1762: y_\alpha^* ( \sigma_1 + \rho_\alpha \sigma_2) &=&
1763: (\rho_\alpha \sigma^+ + \sigma^- ) s_{\alpha ,2} \ ,
1764: \label{E71} \end{eqnarray}
1765: \begin{eqnarray}
1766: y_\alpha^* (\sigma_1 - \rho_\alpha \sigma_2) &=&
1767: ( i \sigma^+ -i \rho_\alpha \sigma^- ) s_{\alpha ,2} \ ,
1768: \label{E72} \end{eqnarray}
1769: \begin{eqnarray}
1770: y_\alpha (\sigma_1 - \rho_\alpha \sigma_2) &=&
1771: ( - i \rho_\alpha \sigma^+ +i \sigma^- ) s_{\alpha ,2}^* \ ,
1772: \label{E73} \end{eqnarray}
1773: \begin{eqnarray}
1774: y_\alpha ( \sigma_1 + \rho_\alpha \sigma_2) &=&
1775: ( - \sigma^+ - \sigma^- \rho_\alpha ) s_{\alpha ,2}^* \ ,
1776: \label{E74} \end{eqnarray}
1777: \begin{eqnarray}
1778: \sigma_1 r_{5,\alpha} + \sigma_2 r_{6,\alpha} &=&
1779: \sigma^+ s_{\alpha, 3} \Lambda^{-1/2}
1780: \nonumber \\ && \ \
1781: + \sigma^- \Lambda^{1/2} \rho_\alpha s_{\alpha, 3}^* \ ,
1782: \label{E75} \end{eqnarray}
1783: \begin{eqnarray}
1784: \sigma_1 r_{6,\alpha} - \sigma_2 r_{5,\alpha} &=&
1785: i \sigma^+ s_{\alpha, 3}\Lambda^{-1/2}
1786: \nonumber \\ && \ \
1787: - i \Lambda^{1/2} \rho_\alpha \sigma^- s_{\alpha, 3}^* \ ,
1788: \label{E76} \end{eqnarray}
1789: \begin{eqnarray}
1790: \sigma_1 r_{5,\alpha} - \sigma_2 r_{6,\alpha} &=&
1791: i \rho_\alpha \sigma^+ s_{\alpha, 3}^*\Lambda^{1/2}
1792: \nonumber \\ && \ \
1793: -i \sigma^- s_{\alpha, 3}\Lambda^{-1/2} \ ,
1794: \label{E77} \end{eqnarray}
1795: \begin{eqnarray}
1796: \sigma_1 r_{6,\alpha} + \sigma_2 r_{5,\alpha} &=&
1797: \rho_\alpha \sigma^+ s_{\alpha, 3}^* \Lambda^{1/2}
1798: \nonumber \\ && \ \
1799: + \sigma^- s_{\alpha, 3} \Lambda^{-1/2} \ ,
1800: \label{E78} \end{eqnarray}
1801: where $y_\alpha = \xi_\alpha z_\alpha$ and $\sigma^\pm =
1802: \sigma_e^\pm + \sigma_o^\mp$. These equations are strongly
1803: overdetermined. Accordingly, the fact that they have a
1804: solution is evidence that the wave functions which formed
1805: the input to this calculation are correct. (Indeed, in order
1806: to arrive at a solution, it was necessary to correct an error
1807: in the table of wave functions of Ref. 9.)
1808: These equations have the solution for the wave functions of the
1809: 2D irrep phase in terms of those of the 1D irrep phase as
1810: \begin{eqnarray}
1811: r_{1, \alpha} = [e^{i \pi /4} s_{\alpha,1}
1812: - \rho_\alpha e^{-i \pi /4} s_{\alpha,1}^*]/\sqrt 2 \ ,
1813: \end{eqnarray}
1814: \begin{eqnarray}
1815: r_{2, \alpha} = [-e^{-i \pi /4} s_{\alpha,1}
1816: + \rho_\alpha e^{i \pi /4} s_{\alpha,1}^*]/\sqrt 2 \ ,
1817: \end{eqnarray}
1818: \begin{eqnarray}
1819: y_\alpha &=& [ - e^{i \pi /4} + \rho_\alpha e^{-i \pi/4}] s_{\alpha,2}^* \ ,
1820: \end{eqnarray}
1821: \begin{eqnarray}
1822: r_{5, \alpha} = [e^{i \pi /4} \Lambda^{-1/2} s_{\alpha,3}
1823: - \rho_\alpha e^{-i \pi /4} \Lambda^{1/2} s_{\alpha,3}^*]/\sqrt 2 \ ,
1824: \end{eqnarray}
1825: \begin{eqnarray}
1826: r_{6, \alpha} = [-e^{-i \pi /4} \Lambda^{-1/2} s_{\alpha,3}
1827: + \rho_\alpha e^{i \pi /4} \Lambda^{1/2} s_{\alpha,3}^*]/\sqrt 2 \ .
1828: \end{eqnarray}
1829: The order parameters are related by
1830: \begin{eqnarray}
1831: \sigma^+ &=& [ e^{i \pi/4} \sigma_1 - e^{-i \pi/4} \sigma_2]/
1832: \sqrt 2 \nonumber \\
1833: \sigma^- &=& [ -e^{- i\pi/4} \sigma_1 + e^{i \pi/4} \sigma_2]/ \sqrt 2 \ .
1834: \end{eqnarray}
1835: The inverse transformation is
1836: \begin{eqnarray}
1837: \sigma_1 &=& [ e^{-i \pi/4} \sigma^+ - e^{i \pi/4} \sigma^-]/
1838: \sqrt 2 \nonumber \\
1839: \sigma_2 &=& [ -e^{i\pi/4} \sigma^+ + e^{-i \pi/4} \sigma^-]/ \sqrt 2 \ .
1840: \end{eqnarray}
1841:
1842: A strong check on these results is that the $r_{nx}$ and $r_{ny}$ are
1843: real ($\rho_x=\rho_y=-1$) and $r_{nz}$ is imaginary ($\rho_z=1$),
1844: all as required by the symmetry analysis of the CM phase.\cite{ABH}
1845:
1846: These results show how the order parameters of the 2D irrep are
1847: related to the order parameters of the 1D irreps. One should also
1848: note that by continuity, if the IC phase has a spontaneous
1849: polarization as $q_z \rightarrow 1/4$, the CM phase should
1850: also have one, and vice versa. This is ensured by the fact that
1851: \begin{eqnarray}
1852: |\sigmav_1|^2 - |\sigmav_2|^2 &=& i[(\sigmav_e^+ + \sigmav_o^-)( \sigmav_e^-
1853: + \sigmav_o^+)^* \nonumber \\ && \ \
1854: - (\sigmav_e^+ + \sigmav_o^-)^* (\sigmav_e^- + \sigmav_o^+) ] \ .
1855: \end{eqnarray}
1856: Now we only keep terms which conserve wave vector when we go away from
1857: $q_x=1/2$, in which case
1858: \begin{eqnarray}
1859: |\sigmav_1|^2 - |\sigmav_2|^2 &=& i[\sigmav_e^+\sigma_o^{+*}
1860: - \sigmav_o^+ \sigmav_e^{+*}\nonumber \\ && \ \
1861: + \sigmav_e^{-*} \sigmav_o^- - \sigmav_o^{-*} \sigmav_e^- ] \ .
1862: \end{eqnarray}
1863:
1864: Thus the ME interaction of Eq. (\ref{E53}) goes smoothly into
1865: the ME interaction in the CM state\cite{ABH,HAE,FOCUS}
1866: \begin{eqnarray}
1867: V_{\rm int} &=& r [ |\sigmav_1|^2 - |\sigmav_2|^2] P_b \ .
1868: \end{eqnarray}
1869:
1870: \section{Conclusion}
1871: We have performed a representation analysis of the magnetic order
1872: for the IC phase of the RMn$_2$O$_5$ series by including
1873: inversion symmetry, thereby reducing by about half the number of
1874: degrees of freedom allowed for magnetic ordering. Our results
1875: emphasize that a full inclusion of inversion symmetry is necessary to
1876: determine the magnetic structure and associated order parameters, not
1877: only in multiferroics, but also in a wide range of magnetic materials.
1878: We have also determined the
1879: physically important order parameters and have analyzed the transformation
1880: properties which they inherit from the wave functions.
1881: Using these symmetry properties we have analyzed the magnetoelectric
1882: interaction responsible for the simultaneous magnetic and dielectric
1883: phase transitions. The lowest order magnetoelectric interaction,
1884: which is bilinear in the magnetic order parameters,
1885: explains the observed direction of the spontaneous polarization.
1886: We have shown that higher order and {\it Umklapp} magnetoelectric
1887: interactions (which are quartic in the spin variables)
1888: can induce nonzero values for all components of the
1889: spontaneous polarization, but since the order parameters are
1890: small in the relevant phases and since microscopic mechanisms tend to
1891: involve terms quadratic in the spin variables, these anomalous
1892: components to the spontaneous polarization may be very difficult
1893: to observe. We have also explicitly obtained
1894: the compatibility relations for the transition between the IC
1895: phase and the CM phase (or more generally the phase where the
1896: $x$-component of wave vector is locked to its CM value).
1897:
1898: \noindent {\bf Acknowledgements}
1899: AA and OEW acknowledge support from the Israel Science Foundation.
1900: MK acknowledges support by the Swiss National Science Foundation under
1901: contract No. PP002-102831.
1902: \begin{thebibliography} {99}
1903: \bibitem{BERTAUT}
1904: E. F. Bertaut, Journal de Physique, Colloque C1, {\bf 32}, 462 (1971).
1905: \bibitem{ROSSAT}
1906: J. Rossat-Mignod, in {\it Methods of Experimental Physics},
1907: Chap 20: {\it Magnetic Structures}, ed. K. Skold and D. L.
1908: Price, Vol. {\bf 23}, p 69 (Academic Press, 1987).
1909: \bibitem{LL}
1910: L. D. Landau and E. M. Lifshitz, {\it Statistical Physics}
1911: (Pergamon, New York, 1978) Sec. 139.
1912: \bibitem{VILL}
1913: J. Schweizer, J. Villain, and A. B. Harris, Eur. J. Phys.-App. Phys.
1914: {\bf 38}, 41 (2007).
1915: \bibitem{RC07}
1916: P. G. Radaelli and L. C. Chapon, Phys. Rev. B {\bf 76}, 054428 (2007).
1917: \bibitem{NVO}
1918: G. Lawes, A. B. Harris, T. Kimura, N. Rogado, R. J. Cava, A. Aharony,
1919: O. Entin-Wohlman, T. Yildirim, M. Kenzelmann, C. Broholm and
1920: A. P. Ramirez, Phys. Rev. Lett. {\bf 95}, 087205 (2005).
1921: \bibitem{TMO}
1922: M. Kenzelmann, A. B. Harris, S. Jonas, C. Broholm, J. Schafer, S. B. Kim,
1923: C. L. Zhang, S. W. Cheong, O. P Vajk, and J. W. Lynnn
1924: Phys. Rev. Lett. {\bf 95}, 087206 (2005).
1925: \bibitem{PRB}
1926: M. Kenzelmann, A. B. Harris, A. Aharony, O. Entin-Wohlman, T. Yildirim,
1927: Q. Huang, S. Park, G. Lawes, C. Broholm, N. Rogado, R. J. Cava,
1928: K. H. Kim, G. Jorge, and A. P. Ramirez, Phys. Rev. B {\bf 74}, 014429 (2006).
1929: \bibitem{ABH}
1930: A. B. Harris, Phys. Rev. B {\bf 76}, 054447 (2007) and
1931: Erratum, Phys. Rev. B {\bf 77}, 019901 (2008).
1932: \bibitem{LTIC}
1933: The very low temperature IC phases may be long wave length
1934: IC phases. See Refs. 11 and 12.
1935: \bibitem{SK05} % PD of TmMO
1936: S. Kobayashi, H. Kimura, Y. Noda, and K. Kohn, J. Phys.
1937: Soc. Jpn. {\bf 74}, 468 (2005).
1938: \bibitem{SK04a} %YMO
1939: S. Kobayashi, T. Osawa, H. Kimura, Y. Noda, I. Kagomiya,
1940: and K. Kohn, J. Phys. Soc. Jpn. {\bf 73}, 1593 (2004).
1941: \bibitem{KS95}
1942: K. Saito and K. Kohn, J. Phys. Condens. Matter, {\bf 7}, 2855 (1995).
1943: \bibitem{AI96} %YMO? TbMO?
1944: A. Inomata and K. Kohn, J. Phys.-Condens. Matter, {\bf 8}, 2673 (1996).
1945: \bibitem{IK02}
1946: I. Kagomiya, K. Kohn, and T. Uchiyama, Ferroelectrics {\bf 280},
1947: 131 (2002).
1948: \bibitem{IK03} %P in YMO?
1949: I. Kagomiya, S. Matsumoto, K. Kohn, Y. Fukuda, T. Shobu,
1950: H. Kimura, Y. Noda, and N. Ikeda, Ferroelectrics {\bf 286}, 167 (2003).
1951: Lett. {\bf 93}, 107207 (2004).
1952: \bibitem{SK04b} %PD of ErMO
1953: S. Kobayashi, T. Osawa, H. Kimura, Y. Noda, I. Kagomiya,
1954: and K. Kohn, J. Phys. Soc. Jpn. {\bf 73}, 1031 (2004).
1955: \bibitem{HK05} %HoMO
1956: H. Kimura, Y. Kamada, Y. Noda, K. Kaneko, N. Metoki, and K. Kohn,
1957: J. Phys. Soc. Jpn., {\bf 75}, 113701 (2004).
1958: \bibitem{SK04c}% TbMO
1959: S. Kobayashi, T. Osawa, H. Kimura, Y. Noda, N. Kasahara,
1960: S. Mitsuda, and K. Kohn, J. Phys. Soc. Jpn. {\bf 73}, 3439 (2004).
1961: \bibitem{DH04} % P in HoMO
1962: D. Higashiyama, S. Miyasaka, N. Kida, T. Arima, and Y. Tokura,
1963: Phys. Rev. B {\bf 70}, 174405 (2004).
1964: \bibitem{DH05} %P in ErMO also HoMO
1965: D. Higashiyama, S. Miyasaka, and Y. Tokura,
1966: Phys. Rev. B {\bf 72}, 064421 (2005).
1967: \bibitem{HK07}
1968: H. Kimura, S. Kobayashi, Y. Fukuda, T. Osawa, Y. Kamada, Y. Noda,
1969: I. Kagomiya, and K. Kohn, J. Phys. Soc. Jpn {\bf 76}, 074706 (2007).
1970: \bibitem{FN}
1971: For a phase directly connected to the paramagnetic phase via a
1972: continuous transition we ignore the possibility of accidentally degenerate
1973: irreps, so only one irrep can appear. If a phase is reached by
1974: passing through two continuous phase transitions, then we
1975: similarly assume the presence of two irreps.
1976: \bibitem{HAE}
1977: A. B. Harris, A. Aharony, and O. Entin-Wohlman, arXiv: 0802.0604.
1978: \bibitem{QUEZ}
1979: S. Quezel-Abrunaz, E. F. Bertaut, and G. Buisson, C. R. Acad. Sci. Paris
1980: {\bf 258}, 3025 (1964).
1981: \bibitem{ITC}
1982: A. J. C. Wilson, {\it International Tables for Crystallography}
1983: (Kluwer Academic, Dordrecht, 1995) Vol. A.
1984: \bibitem{BUIS1}
1985: G. Buisson, Phys. Stat. Sol. {\bf 16}, 533 (1973).
1986: \bibitem{BUIS2}
1987: G. Buisson, Phys. Stat. Sol. {\bf 17}, 191 (1973).
1988: \bibitem{ALON}
1989: J. A. Alonso, M. T. Casais, M. J. Martinez-Lope, J. L. Martinez,
1990: and M. T. Fernandez-Diaz, J. Phys.-Condens. Mat. {\bf 9}, 8515 (1997).
1991: \bibitem{LC06} %YMO
1992: L. C. Chapon, P. G. Radaelli, G. R. Blake, S. Park, and S.-W. Cheong,
1993: Phys. Rev. Lett. {\bf 96}, 097601 (2006).
1994: \bibitem{RE08} %DyMO
1995: R. A. Ewings, A. T. Boothroyd, D. F. McMorrow, D. Mannix, H. C. Walker,
1996: and B. M. R Wanklyn, arXiv: 0711.1745.
1997: \bibitem{WR05} %DyMO
1998: W. Ratcliff II, V. Kiryukhin, M. Kenzelmann, S.-H. Lee, R. Erwin,
1999: J. Schefer, N. Hur, S. Park, and S.-W. Cheong, Phys., Rev. B {\bf 72},
2000: 060407(R) (2005).
2001: \bibitem{GB05}
2002: G. R. Blake, L. C. Chapon, P. G. Radaelli, S. Park, N. Hur, S.-W. Cheong,
2003: and J. Rodriguez-Carvajal, Phys. Rev. B {\bf 71}, 214402 (2005).
2004: \bibitem{MU98} %P in TmMO?
2005: M. Uga, N. Iwata, and K. Kohn, Ferroelectrics {\bf 219}, 691 (1998).
2006: \bibitem{NH04a} %P in TbMO
2007: N. Hur, S. Park, P. A. Sharma, JU. S. Ahn, S. Guha, and S.-W. Cheong,
2008: Nature {\bf 429}, 392 (2004).
2009: \bibitem{NH04b} %P in HoMO in DyMO
2010: N. Hur, S. Park, P. A. Sharma, S. Guha, and S.-W. Cheong, Phys. Rev.
2011: Lett. {\bf 93}, 107207 (2004).
2012: \bibitem{FOCUS}
2013: A. B. Harris, A. Aharony, and O. Entin-Wohlman, Focus on Multiferroics,
2014: J. Phys. Condens. Matter, to appear.
2015: %\bibitem{JA97}
2016: %J. A. Alonso, M. T. Casais, M. J. Martinez-Lope, J. L. Martinez,
2017: %and M. T. Fernandez-Diaz, J. Phys.-Condens. Mat. {\bf 9}, 8515 (1997).
2018: \bibitem{FN3}
2019: Throughout the paper $q_x$ is assumed to be near or at 1/2 and
2020: $q_z$ near or at 1/4.
2021: \bibitem{MODY}
2022: W. Sikora, F. Bialas, and L. Pytlik, J. of Appl. Cryst. {\bf 37}, 1015 (2004).
2023: \bibitem{FN2}
2024: The factor $2 \pi$ occurs because positions are measured in lattice
2025: constants and wave vectors are in rlu's.
2026: %\bibitem{COMMENT}
2027: %M. Kenzelmann and A. B. Harris, Phys. Rev. Lett. in press.
2028: % and cond-mat/0610471.
2029: \bibitem{JS06}
2030: A. B. Harris and J. Schweizer, Phys. Rev. B {\bf 74}, 134411 (2006).
2031: %VARIOUS
2032: \bibitem{MICRO1}
2033: H. Katsura, N. Nagaosa, and A. V. Balatsky, Phys. Rev. Lett.
2034: {\bf 95}, 057205 (2005).
2035: \bibitem{MICRO2}
2036: I. A. Sergienko and E. Dagotto, Phys. Rev. B {\bf 73}, 094434(2006).
2037: \bibitem{MICRO3}
2038: A. B. Harris, T. Yildirim, A. Aharony, and O. Entin-Wohlman, Phys. Rev.
2039: B {\bf 73}, 184433 (2006).
2040: \bibitem{MICRO4}
2041: C. J. Fennie and K. M. Rabe, Phys. Rev. Lett. {\bf 96}, 205505 (2006).
2042: \bibitem{QFN}
2043: Here we assume that the e and o order parameters condense at the same
2044: wave vector. This assumption is justified in Refs. \onlinecite{PRB},
2045: \onlinecite{FOCUS}, and \onlinecite{HAE}.
2046: \bibitem{DF98}
2047: D. Frohlich, St. Leute, V. V. Pavlov, and R. V. Pisarev, Phys. Rev. Lett.
2048: {\bf 81}, 3239 (1998).
2049: \bibitem{MOSTOVOY}
2050: M. Mostovoy, Phys. Rev. Lett. {\bf 96}, 067601 (2006);
2051: M. Kenzelmann and A. B. Harris, Phys. Rev. Lett. {\bf 100}, 089701 (2008).
2052: \bibitem{IS06}
2053: I. A. Sergienko, C. Sen, and E. Dagotto, Phys. Rev. Lett. {\bf 97}, 227204
2054: (2006).
2055: \bibitem{MK70}
2056: D. Mukamel, Phys. Rev. B {\bf 13}, 5065 (1970).
2057: \bibitem{EPW}
2058: E. P. Wigner, {\it Group Theory and its Application to the Quantum
2059: Mechanics of Atomic Spectra} (Academic, New York, 1959). See Eq. (9.37).
2060: \bibitem{BET}
2061: J. J. Betouras, G. Giovannetti, and J. van den Brink, Phys. Rev. Lett.
2062: {\bf 98}, 257602 (2007).
2063: \bibitem{HORN}
2064: R. M. Hornreich, M. Luban, and S. Shtrikman, Phys. Rev. Lett. {\bf 35},
2065: 1678 (1975).
2066: \end{thebibliography}
2067: \end{document}
2068:
2069:
2070:
2071: