cond-mat0202161/to3.tex
1: %
2: %   2001/11/12
3: %   2002/01/23
4: %   2002/02/01
5: %
6: %\documentstyle[epsf,preprint,aps]{revtex}
7: \documentstyle[epsf,multicol,aps]{revtex}
8: 
9: \newcommand{\vecS}{\mbox{\boldmath $S$}}
10: \newcommand{\vecM}{\mbox{\boldmath $M$}}
11: \newcommand{\vecr}{\mbox{\boldmath $r$}}
12: \newcommand{\vece}{\mbox{\boldmath $e$}}
13: \newcommand{\e}{\epsilon}
14: 
15: \begin{document}
16: \draft
17: \title{Probability-Changing Cluster Algorithm for Two-Dimensional 
18: XY and Clock Models}
19: 
20: \author{Yusuke Tomita\cite{tomita} and Yutaka Okabe\cite{okabe}}
21: 
22: \address{
23: Department of Physics, Tokyo Metropolitan University,
24: Hachioji, Tokyo 192-0397, Japan
25: }
26: 
27: \date{Received \today}
28: 
29: \maketitle
30: 
31: \begin{abstract}
32: We extend the newly proposed probability-changing cluster 
33: (PCC) Monte Carlo algorithm to the study of systems with 
34: the vector order parameter.  
35: Wolff's idea of the embedded cluster formalism is used 
36: for assigning clusters.  
37: The Kosterlitz-Thouless (KT) transitions for the two-dimensional (2D) 
38: XY and $q$-state clock models are studied by using the PCC algorithm.  
39: Combined with the finite-size scaling analysis based on the KT form of 
40: the correlation length, $\xi \propto \exp(c/\sqrt{T/T_{\rm KT}-1})$, 
41: we determine the KT transition temperature and the decay exponent $\eta$ as 
42: $T_{\rm KT}=0.8933(6)$ and $\eta=0.243(5)$ for the 2D XY model. 
43: We investigate two transitions of the KT type 
44: for the 2D $q$-state clock models with $q=6,8,12$, 
45: and {\it for the first time} 
46: confirm the prediction of $\eta = 4/q^2$ at $T_1$, 
47: the low-temperature critical point between the ordered and XY-like 
48: phases, systematically. 
49: \end{abstract}
50: 
51: \pacs{PACS numbers: 75.10.Hk, 64.60.Fr, 05.10.Ln}
52: 
53: \begin{multicols}{2}
54: \narrowtext
55: 
56: \section{Introduction}
57: 
58: The two-dimensional (2D) XY model shows a unique phase transition, 
59: the Kosterlitz-Thouless (KT) transition \cite{KT,Kosterlitz}.  
60: It does not have a true long-range order, but the correlation function 
61: decays as a power of the distance at all the temperatures 
62: below the KT transition point. 
63: Jos{\'e} {\it et al} \cite{Jose} studied the effect of the 
64: $q$-fold symmetry-breaking fields on the 2D XY model;  this is 
65: essentially the same as treating the $q$-state clock model, 
66: where only the discrete values are allowed for the angle $\theta_i$ 
67: of the XY spins such that 
68: %
69: \begin{equation}
70:  \theta_i = 2\pi p_i/q \quad {\rm with} \quad p_i=0, 1, 2, \cdots, q-1.
71: \label{theta}
72: \end{equation}
73: %
74: In the limit $q \rightarrow \infty$ 
75: we get the XY model.
76: It was shown that the 2D $q$-state clock model has 
77: two phase transitions of the KT type at $T_1$ and $T_2$ 
78: ($T_1<T_2$) for $q>4$.  There is an intermediate XY-like phase 
79: between a low-temperature ordered phase ($T<T_1$) 
80: and a high-temperature disordered phase ($T>T_2$).  
81: It was predicted that the decay critical exponent $\eta$ varies from
82: $\eta=1/4$ at $T_2$ to $\eta=4/q^2$ at $T_1$.
83: 
84: Most of the above theoretical analyses relied on the renormalization 
85: group argument, and they are not exact.  
86: There have been extensive numerical studies on the 2D classical 
87: XY model \cite{Weber,Gupta,Kawamura,Butera,Olsson,Zheng,Chung}. 
88: In contrast, only a limited number of numerical works have been 
89: reported on the $q$-state clock model 
90: \cite{Challa,Yamagata}, 
91: and the accuracy was not good enough 
92: especially for the low-temperature phase transition. 
93: There have been no systematic studies to check the prediction 
94: of $\eta(T_1) = 4/q^2$.
95: 
96: In numerical studies, efficient algorithms are important 
97: for getting the necessary information.  
98: The cluster update algorithms of the Monte Carlo simulation 
99: \cite{SwWa,Wolff89} are examples of such efforts, and 
100: they are useful for overcoming the problems of slow dynamics. 
101: Recently we proposed an effective cluster algorithm,
102: which is called the probability-changing cluster (PCC) algorithm,
103: of tuning the critical point automatically \cite{PCC}.  
104: It is an extension of the Swendsen-Wang algorithm \cite{SwWa}, 
105: but we change the probability of cluster update 
106: (essentially, the temperature) depending on 
107: the observation whether clusters are percolating or not percolating. 
108: We showed the effectiveness of the PCC algorithm for the Potts 
109: models \cite{PCC}, determining the critical point and 
110: critical exponents for the second-order phase transition 
111: precisely with less numerical efforts. 
112: The PCC algorithm was also applied to the 2D site-diluted 
113: Ising model, where the crossover and the self-averaging 
114: properties were studied \cite{to01a}. 
115: The advantage of using the PCC algorithm in the study of random systems 
116: is as follows:  The sample-dependent $T_c(L)$ for the finite system 
117: with the linear size $L$ is important for taking sample average, 
118: and the PCC algorithm is suitable for getting 
119: the sample-dependent $T_c(L)$. 
120: 
121: There are a lot of interesting questions about the extension of 
122: the PCC algorithm.  (i) Can the PCC algorithm be used for 
123: the problem of the vector order parameter, such as the XY model? 
124: (ii) Can it be applied to the analysis of 
125: the transition of the KT type?  
126: (iii) Can it work even if the system shows two or more phase transitions?
127: 
128: The purpose of the present paper is to answer these questions. 
129: We extend the PCC algorithm so as to treat 
130: systems with the vector order parameter. 
131: The rest of the paper is organized as follows. 
132: In Sec.~II, we formulate the extension of the PCC algorithm 
133: for the vector order parameter.  In Sec.~III, the KT transition of 
134: the 2D XY model is studied with the finite-size scaling (FSS) 
135: analysis based on the KT form of the correlation length. 
136: In Sec.~IV, we study the KT transitions of the 2D clock models. 
137: We investigate both phase transitions at $T_1$ and $T_2$ for 
138: the $q=6,8,12$ clock models. 
139: The summary and discussions are given in Sec.~V. 
140: 
141: \section{PCC algorithm for vector order parameter}
142: 
143: Our Hamiltonian is given by 
144: %
145: \begin{equation}
146:  {\cal H} = -J\sum_{\left<i,j\right>} \vecS_i \cdot \vecS_j, 
147: \label{H_XY}
148: \end{equation}
149: %
150: where $\vecS_i$ is a planar unit vector, 
151: $(\cos \theta_i, \sin \theta_i)$, at site $i$; 
152: $\theta_i$ takes the value of $[0,2\pi)$ for the XY model, 
153: and the value given in Eq.~(\ref{theta}) for the $q$-state clock model. 
154: The summation is taken over the nearest-neighbor pairs $\left<i,j\right>$. 
155: 
156: In order to extend the PCC algorithm to systems 
157: with the vector order parameter, 
158: we use Wolff's idea of the embedded cluster formalism \cite{Wolff89}. 
159: We project the vector $\vecS_i$ onto a randomly chosen 
160: unit vector $\vece_1$ and another unit vector $\vece_2$, 
161: perpendicular to $\vece_1$, as
162: %
163: \begin{equation}
164:  \vecS_i = \vece_1 \cos \phi_i + \vece_2 \sin \phi_i, 
165:  \label{project}
166: \end{equation}
167: %
168: where $\phi_i$ is the angle measured from the axis of 
169: the vector $\vece_1$. 
170: Then, the Hamiltonian, Eq.~(\ref{H_XY}), is rewritten as
171: %
172: \begin{equation}
173:  {\cal H} = - \sum_{\left<i,j\right>} 
174:   (J_{ij}^{(1)}  \e_i^{(1)} \e_j^{(1)} +
175:    J_{ij}^{(2)}  \e_i^{(2)} \e_j^{(2)} )
176: \end{equation}
177: %
178: with positive effective couplings
179: %
180: \begin{equation}
181:  J_{ij}^{(1)} = J \, |\cos \phi_i| \, |\cos \phi_j|, \quad
182:  J_{ij}^{(2)} = J \, |\sin \phi_i| \, |\sin \phi_j| 
183: \end{equation}
184: %
185: for two sets of Ising variables $\{ \e_i^{(1)} \}$ and $\{ \e_i^{(2)} \}$.
186: Formally, we can restrict ourselves to the region $[0, \pi/2)$ for 
187: $\{ \phi_i \}$, and we write the partition function as 
188: %
189: \begin{eqnarray}
190:  Z = \int_0^{\pi/2} \{ d\phi_i \} 
191:      & & \hspace{-4mm} \sum_{\{ \e_i^{(1)}=\pm 1 \}} 
192:      \exp( \beta \sum_{\left<i,j\right>} J_{ij}^{(1)} \, 
193:      \e_i^{(1)} \e_j^{(1)}) \nonumber \\
194:      & \times &  \sum_{\{ \e_i^{(2)}=\pm 1 \}}
195:      \exp( \beta \sum_{\left<i,j\right>} J_{ij}^{(2)} \, 
196:      \e_i^{(2)} \e_j^{(2)}) 
197: \end{eqnarray}
198: %
199: with $\beta = 1/k_BT$.  Then, we can use 
200: the Kasteleyn-Fortuin (KF) cluster representation 
201: for the Ising spins \cite{KF}. 
202: To make the KF cluster, we connect the bonds of parallel Ising spins 
203: with the probability
204: %
205: \begin{equation}
206:   p_{ij}^{(1,2)} = 1 - \exp(-2 \beta J_{ij}^{(1,2)}). 
207: \label{KF_p}
208: \end{equation}
209: %
210: 
211: In the PCC algorithm \cite{PCC}, the cluster representation 
212: of the Ising model is used in two ways. 
213: First, we flip all the spins on any KF cluster to one of two states, 
214: that is, $+1$ or $-1$, as in the Swendsen-Wang algorithm \cite{SwWa}.
215: Second, we change the KF probability, Eq.~(\ref{KF_p}), 
216: depending on the observation whether clusters are percolating or not. 
217: It is based on the fact that the spin-spin correlation function 
218: $G(\vecr_i-\vecr_j)$ becomes nonzero for $|\vecr_i-\vecr_j| 
219: \to \infty$ at the same point as the percolation threshold.  
220: For the XY model in the embedded cluster formalism, 
221: the spin-spin correlation function is written as
222: %
223: \begin{eqnarray}
224:   G(\vecr_i-\vecr_j) &=& \left< \vecS_i \cdot \vecS_j \right> 
225:  = \left< |\cos \phi_i| \, |\cos \phi_j| \, \e_i^{(1)} \e_j^{(1)} \right> 
226:  \nonumber \\
227:  &~& + \left< |\sin \phi_i| \, |\sin \phi_j| \, \e_i^{(2)} \e_j^{(2)} \right> 
228:  \nonumber \\ 
229:  &=& \left< A_{ij} \, \Theta^{(1)}(\vecr_i, \vecr_j) \right>
230:    + \left< B_{ij} \, \Theta^{(2)}(\vecr_i, \vecr_j) \right>,
231: \end{eqnarray}
232: %
233: where 
234: $\left< \cdots \right>$ represent the thermal average. 
235: The function $\Theta(\vecr_i, \vecr_j)$ is equal to 1 (0)
236: if the sites $i$ and $j$ belong to the same (different) cluster, 
237: and $A_{ij}$ and $B_{ij}$ are some constants. 
238: Thus, the system is regarded as percolating if $\e^{(1)}$ 
239: {\it or} $\e^{(2)}$ Ising spins are percolating. 
240: When treating the cluster spin update, one may consider 
241: Ising spins of a single type projected onto a randomly chosen axis, 
242: as in the original Wolff's proposal \cite{Wolff89}.  However, 
243: we should consider Ising spins of both types perpendicular to each other 
244: for checking the percolation.
245: 
246: The procedure of Monte Carlo spin update is as follows:
247: (i) Start from some spin configuration and some value of $\beta$. 
248: (ii) Choose a unit vector $\vece_1$ randomly. 
249: (iii) Construct the KF clusters for $\e^{(1)}$ and $\e^{(2)}$ 
250: using the probability, Eq.~(\ref{KF_p}), and check 
251: whether the system is percolating or not. 
252: Flip all the spins on any KF cluster to $+1$ or $-1$ for 
253: both $\e^{(1)}$ and $\e^{(2)}$ Ising spins.  
254: (iv) If the system is percolating (not percolating), 
255: decrease (increase) $\beta$ by $\Delta \beta \ (>0)$.
256: (v)
257: Go back to the process ii.
258: 
259: As $\Delta \beta$ becomes small, 
260: the distribution of $\beta$ becomes a sharp Gaussian 
261: distribution around the mean value $\beta_c(L)$, 
262: which depends on the system size $L$. 
263: We approach the canonical ensemble in this limit, 
264: and the existence probability $E_p$, the probability that 
265: the system percolates, becomes 1/2 at $\beta_c(L)$.  
266: 
267: \section{XY model}
268: 
269: We have made simulations for the classical XY model 
270: on the square lattice with the system sizes 
271: $L$ =8, 16, 32, 64, 128, 256, and 512.  
272: After 20,000 Monte Carlo sweeps of determining $\beta_c(L)$ 
273: with gradually reducing $\Delta \beta$, 
274: we have made 10,000 Monte Carlo sweeps to take the thermal average; 
275: we have made 100 runs for each size to get better statistics and 
276: to evaluate the statistical errors. 
277: As for the criterion to determine percolating,   
278: we have employed the topological rule \cite{PCC,machta} in the present study. 
279: The topological rule is that some cluster winds around the system 
280: in at least one of the $D$ directions in $D$-dimensional systems. 
281: 
282: Let us start with the size dependence of the transition temperature. 
283: We use the FSS analysis based on the KT form of 
284: the correlation length, 
285: %
286: \begin{equation}
287:  \xi \propto \exp(c/\sqrt{t}) 
288: \end{equation}
289: %
290: with $t=(T-T_{\rm KT})/T_{\rm KT}$. 
291: Using the PCC algorithm, 
292: we locate the temperature $T_{\rm KT}(L) = 1/k_B \beta_c(L)$
293: that the existence probability $E_p$ is 1/2.  
294: Then, using the FSS form of $E_p$, that is, $E_p=E_p(\xi/L)$, 
295: we have the relation 
296: %
297: \begin{equation}
298:  T_{\rm KT}(L) = T_{\rm KT} + \frac{c^2 T_{\rm KT}}{(\ln bL)^2}. 
299: \label{T_KT}
300: \end{equation}
301: %
302: We plot $T_{\rm KT}(L)$ as a function of $l^{-2}$ with 
303: $l = \ln bL$ for the best fitted parameters in Fig.~\ref{fig_1}.  
304: We represent the temperature in units of $J/k_B$.
305: The error bars are smaller than the size of marks. 
306: Our estimate of $T_{\rm KT}$ is 0.8933(6); the number 
307: in the parentheses denotes the uncertainty in the last digits. 
308: We have estimated the uncertainty by the $\chi^2$ test of the data 
309: for 100 samples. 
310: This value is consistent with the estimates of recent studies; 
311: 0.89213(10) by the Monte Carlo simulation \cite{Olsson}, 
312: and 0.894 by the short-time dynamics \cite{Zheng}. 
313: The constant $c$, in Eq.~(\ref{T_KT}), is estimated as $c$=1.73(2). 
314: 
315: Let us consider the magnetization 
316: $\left< m^2(L) \right>$ at $T_{\rm KT}(L)$ 
317: to discuss the critical exponent $\eta$. 
318: In Fig.~\ref{fig_2}, we plot $\left< m^2(L) \right>$ 
319: as a function of $L$ in logarithmic scale. 
320: We expect the FSS of the form $\left< m^2(L) \right> 
321: \propto L^{-\eta}$, but there are small corrections. 
322: The importance of the multiplicative logarithmic 
323: corrections were pointed out \cite{Kosterlitz,Janke97}. 
324: Using the form
325: %
326: \begin{equation}
327:  \left< m^2(L) \right> = A L^{-\eta} \, (\ln b'L)^{-2r}, 
328: \label{eta_1}
329: \end{equation}
330: %
331: we obtain $\eta= 0.243(5)$ and $r=0.038(5)$. 
332: We show the fitting curve obtained by using Eq.~(\ref{eta_1}) 
333: in Fig.~\ref{fig_2}.  This value of $\eta$ is a little bit 
334: smaller than the theoretical prediction, 1/4 (=0.25).  
335: Our logarithmic-correction exponent $r$ 
336: is compatible with Janke's result $r=0.0560(17)$ 
337: for thermodynamic data \cite{Janke97}, 
338: but different from the theoretical prediction 
339: $r=-1/16$ \cite{Kosterlitz}. 
340: 
341: \section{Clock model}
342: 
343: Next turn to the $q$-state clock model. 
344: Because of the reflection symmetry, we confine ourselves to 
345: the case of even $q$.  Then, the same procedure can be 
346: used as the XY model.  One thing we should have in mind is that 
347: the axis of the vector $\vece_1$ should be chosen from 
348: one of $q$ directions in Eq.~(\ref{theta}) or the middle of 
349: two of them. 
350: We plot the high-temperature transition temperature $T_2(L)$ 
351: of the 6-state clock model as a function of $l^{-2}$ 
352: in Fig.~\ref{fig_3}.  
353: The estimate of $T_2$ is 0.9008(6), which is more precise than 
354: the previous estimates; 0.92(1) \cite{Challa} and 0.90 \cite{Yamagata}. 
355: The plot of $\left< m^2(L) \right>$ at $T_2(L)$ as a function of $L$ 
356: for the 6-state clock model is given in Fig.~\ref{fig_4}. 
357: The estimate of $\eta$ is 0.243(5) by the analysis of 
358: the multiplicative logarithmic corrections, Eq.~(\ref{eta_1}), 
359: and the exponent $r$ is estimated as 0.037(5). 
360: 
361: For the second-order transition, the curves of the existence probability 
362: $E_p$ of different sizes cross at $T_c$ as far as the corrections 
363: to FSS are negligible; this is the same as the behavior of 
364: the Binder ratio \cite{Binder}.  
365: For the KT transition, however, $T_{\rm KT}$ is not the crossing point 
366: but the spray-out point.  Therefore, $T_2$ can be searched only from 
367: the high-temperature side, and $T_1$ only from 
368: the low-temperature side.  The value of $E_p$ at $T_1$ is 
369: close to 1.  In principle, we can use the same 
370: procedure as the study of $T_2$; we may change the setting 
371: value of $E_p$, 1/2, to a higher one by introducing 
372: a biased random walk.  However, it is difficult to resolve 
373: the size dependence for lower temperatures. 
374: Therefore, we employ a slightly different approach 
375: for the analysis of the phase transition at $T_1$.  
376: When judging whether clusters are percolating or not, 
377: we consider another type of clusters. 
378: Instead of choosing the vector $\vece_1$ randomly 
379: in Eq.~(\ref{project}), we choose the vector $\vece_1$ as 
380: %
381: \begin{equation}
382:  \vecM = |\vecM| \, \vece_1 
383: \end{equation}
384: %
385: with $\vecM = \sum_i \vecS_i$,
386: or more generally we may choose $\vece_1$ such that
387: %
388: \begin{equation}
389:   \vecM = |\vecM| \, (\vece_1 \cos \phi + \vece_2 \sin \phi)
390:  \label{phi}
391: \end{equation}
392: %
393: with some fixed angle $\phi$. 
394: With this choice, the existence probability for the percolation of 
395: only $\e^{(1)}$ (or $\e^{(2)}$) Ising spins holds the 
396: same FSS property as the total $E_p$.  
397: As a result, we can control the value of $E_p^{(1)}$ at $T_1$ 
398: so as to apply the FSS analysis easily 
399: with an appropriate $\phi$.  
400: 
401: The low-temperature transition temperature $T_1(L)$ 
402: of the 6-state clock model obtained by the above 
403: modified approach is plotted as a function of $l^{-2}$ 
404: also in Fig.~\ref{fig_3}.  As the angle $\phi$ in Eq.~(\ref{phi}), 
405: we have used $\pi/3$. 
406: Our estimate of $T_1$ is 0.7014(11), which is more precise again than 
407: the previous estimates; 0.68(2) \cite{Challa} and 0.75 \cite{Yamagata}.
408: The plot of $\left< m^2(L) \right>$ at $T_1(L)$ 
409: for the 6-state clock model is also given in Fig.~\ref{fig_4}.
410: The estimate of $\eta$ is 0.113(3) by the analysis of 
411: the multiplicative logarithmic corrections, Eq.~(\ref{eta_1}), 
412: and the exponent $r$ is estimated as 0.017(4). 
413: The previous estimates of $\eta$ are 0.100 \cite{Challa} 
414: and 0.15 \cite{Yamagata}.
415: 
416: We have also made simulations for $q=8$ and $q=12$. 
417: The estimates of the transition temperatures $T_1, T_2$ 
418: and those of $\eta (T_1)$ and $\eta (T_2)$ for $q$=6, 8, 12, and 
419: $\infty$ (the XY model) are tabulated in Table \ref{table1}. 
420: The $1/q^2$-dependence of transition temperatures and exponents 
421: are shown in Fig.~\ref{fig_5}.  There, the exact results for 
422: $q=4$ are also given; that is, the Ising singularity at 
423: $T_c = [\ln(\sqrt{2}+1)]^{-1} = 1.1346$ with $\eta=1/4$. 
424: The transition temperature $T_1$ becomes smoothly lower with larger $q$; 
425: in the lowest order we find that $T_1 \propto 1/q^2$, 
426: which is consistent with the theoretical prediction \cite{Jose}. 
427: The critical exponent $\eta$ at $T_2$ is a universal constant, 
428: and compatible with the theoretical prediction $\eta=1/4$. 
429: The estimates of the critical exponent $\eta$ at $T_1$ remarkably 
430: coincide with the theoretical prediction $\eta=4/q^2$; 
431: 1/9=0.111 for $q$=6, 1/16=0.0625 for $q$=8, and 
432: 1/36=0.0278 for $q$=12. 
433: This is the {\it first} systematic report of confirming 
434: the theoretical prediction. 
435: 
436: \section{Summary and discussions}
437: 
438: To summarize, we have extended the PCC algorithm \cite{PCC} 
439: to the study of the XY and clock models. 
440: Wolff's idea of the embedded cluster formalism \cite{Wolff89} 
441: is used for treating the system with the vector order parameter. 
442: The KT transitions of the 2D XY and clock models are 
443: studied by using the FSS analysis 
444: based on the KT form of the correlation length. 
445: For dealing with the low-temperature transition temperature, 
446: $T_1$, we have employed a slightly modified algorithm. 
447: Investigating the $q=6,8,12$ clock models, we have 
448: systematically confirmed the prediction of $\eta(T_1)=4/q^2$. 
449: We have shown that small logarithmic corrections are present 
450: in the KT transitions.  The sign of the logarithmic-correction 
451: exponent $r$ is positive for all cases of the XY model and 
452: the clock models at both $T_1$ and $T_2$, which is compatible 
453: with Janke's result \cite{Janke97}, but different from 
454: the theoretical prediction $r=-1/16$ \cite{Kosterlitz}. 
455: The present precise numerical results may stimulate 
456: the refined renormalization-group study of the KT transitions. 
457: 
458: In the previous numerical studies of the KT transitions, 
459: one might resort to a big scale calculation using an extensive 
460: computer resource \cite{Gupta}, or one might use some special boundary 
461: conditions \cite{Olsson}.  It is due to the subtlety of 
462: the KT phase transitions; that is, $T_{\rm KT}$ is not the crossing point 
463: but the spray-out point of the existence probability or the Binder parameter. 
464: Moreover, the low-temperature transition $T_1$ for the clock model 
465: is difficult to study because the system is nearly ordered; 
466: it is more difficult for larger $q$. 
467: We should stress that using the present efficient method of 
468: numerical simulation, we have successfully made a systematic study 
469: of the XY and clock models with much less efforts.
470: 
471: Our formalism of the vector order parameter is easily extended to 
472: the general $O(n)$ model, where the percolation of $n$ types 
473: of Ising spins will be considered.  
474: Then, more problems of interest can be studied by the PCC algorithm. 
475: The PCC algorithm can be also applied to the quantum Monte Carlo simulation 
476: with the cluster algorithm \cite{Evertz93,Kawashima94}.  
477: It will be interesting to compare the present result with the 
478: quantum XY model. 
479: 
480: 
481: \section*{Acknowledgments}
482: 
483: We thank N. Kawashima, H. Otsuka, M. Itakura, and Y. Ozeki 
484: for valuable discussions.  
485: Thanks are also due to M. Creutz for bringing our attention 
486: to the clock model having two phase transitions. 
487: The computation in this work has been done using the facilities of 
488: the Supercomputer Center, Institute for Solid State Physics, 
489: University of Tokyo. 
490: This work was supported by a Grant-in-Aid for Scientific Research 
491: from the Japan Society for the Promotion of Science.
492: 
493: \begin{references}
494: 
495: \bibitem[*]{tomita} Electronic address: ytomita@phys.metro-u.ac.jp
496: \bibitem[\dagger]{okabe} Electronic address: okabe@phys.metro-u.ac.jp
497: 
498: \bibitem{KT} 
499:  J. Kosterlitz and D. Thouless, J. Phys. C {\bf 6}, 1181 (1973). 
500:  See also 
501:  V. L. Berezinskii, Zh. Eksp. Teor. Fiz. {\bf 59}, 907 (1970)
502:  [Sov. Phys. JETP {\bf 32}, 493 (1971)].
503: \bibitem{Kosterlitz}
504:  J. M. Kosterlitz, J. Phys. C {\bf 7}, 1046 (1974).
505: \bibitem{Jose}
506:  J. V. Jos\'e, L. P. Kadanoff, S. Kirkpatrick, and D. R. Nelson,
507:  Phys. Rev. B {\bf 16}, 1217 (1977).
508: \bibitem{Weber}
509:  H. Weber and P. Minnhagen, Phys. Rev. B {\bf 37}, 5986 (1988).
510: \bibitem{Gupta}
511:  R. Gupta and C. F. Baillie, Phys. Rev. B {\bf 45}, 2883 (1992).
512: \bibitem{Kawamura} 
513:  H. Kawamura and M. Kikuchi, Phys. Rev. B {\bf 47}, 1134 (1993).
514: \bibitem{Butera} 
515:  P. Butera and M. Comi, Phys. Rev. B {\bf 47}, 11969 (1993).
516: 
517: \bibitem{Olsson}
518:  P. Olsson, Phys. Rev. B {\bf 52}, 4526 (1995).
519: \bibitem{Zheng} 
520:  B. Zheng, M. Schulz, and S. Trimper, Phys. Rev. E {\bf 59}, R1351 (1999).
521: \bibitem{Chung} 
522:  S. G. Chung, Phys. Rev. B {\bf 60}, 11761 (1999)
523: 
524: \bibitem{Challa}
525:  M. S. S. Challa and D. P. Landau, Phys. Rev. B {\bf 33}, 437 (1986).
526: \bibitem{Yamagata}
527:  A. Yamagata and I. Ono, J. Phys. A {\bf 24}, 265 (1991).
528: 
529: \bibitem{SwWa}
530:  R. H. Swendsen and J. S. Wang, Phys. Rev. Lett. {\bf 58}, 86 (1987). 
531: \bibitem{Wolff89} 
532:  U. Wolff, Phys. Rev. Lett. {\bf 62}, 361 (1989).
533: 
534: \bibitem{PCC} 
535:  Y. Tomita and Y. Okabe, Phys. Rev. Lett. {\bf 86}, 572 (2001).
536: \bibitem{to01a}
537:  Y. Tomita and Y. Okabe, Phys. Rev. E {\bf 64}, 036114 (2001).
538: 
539: \bibitem{KF}  
540:  P. W. Kasteleyn and C. M. Fortuin, 
541:  J. Phys. Soc. Jpn. Suppl. {\bf 26}, 11 (1969);
542:  C. M. Fortuin and P. W. Kasteleyn, Physica {\bf 57}, 536 (1972).
543: 
544: \bibitem{machta} 
545:  J. Machta, Y. S. Choi, A. Lucke, T. Schweizer, and L. V. Chayes,  
546:  Phys. Rev. Lett. {\bf 75}, 2792 (1995). 
547: 
548: \bibitem{Janke97}
549:  W. Janke, Phys. Rev. B {\bf 55}, 3580 (1997).
550: 
551: \bibitem{Binder} 
552:   K. Binder, Z. Phys. B {\bf 43}, 119 (1981).
553: 
554: \bibitem{Evertz93} H. G. Evertz, G. Lana, and M. Marcu, 
555:  Phys. Rev. Lett. {\bf 70}, 875 (1993).
556: \bibitem{Kawashima94} N. Kawashima and J. E. Gubernatis,
557:  Phys. Rev. Lett. {\bf 73}, 1295 (1994).
558: 
559: \end{references}
560: 
561: 
562: \begin{figure}
563: \epsfxsize=0.95\linewidth
564: \centerline{\epsfbox{fig1.eps}}
565: \caption{Plot of $T_{\rm KT}(L)$ 
566: of the 2D XY model for $L$ = 8, 16, 32, 64, 128, 256, and 512, 
567: where $l = \ln bL$. 
568: } 
569: \label{fig_1}
570: \end{figure}
571: 
572: \begin{figure}
573: \epsfxsize=0.95\linewidth
574: \centerline{\epsfbox{fig2.eps}}
575: \caption{Logarithmic plot of $\left< m^2(L) \right>$ 
576: at $T_{\rm KT}(L)$ of the 2D XY model 
577: for $L$ = 8, 16, 32, 64, 128, 256, and 512. 
578: } 
579: \label{fig_2}
580: \end{figure}
581: 
582: \begin{figure}
583: \epsfxsize=0.95\linewidth
584: \centerline{\epsfbox{fig3.eps}}
585: \caption{Plots of $T_{\rm 1}(L)$ and $T_{\rm 2}(L)$ 
586: of the 2D 6-state clock model for $L$ = 8, 16, 32, 64, 128, 256, and 512, 
587: where $l = \ln bL$. 
588: } 
589: \label{fig_3}
590: \end{figure}
591: 
592: \begin{figure}
593: \epsfxsize=0.95\linewidth
594: \centerline{\epsfbox{fig4.eps}}
595: \caption{Logarithmic plots of $\left< m^2(L) \right>$ 
596: at $T_1(L)$ and $T_2(L)$ of the 2D 6-state clock model 
597: for $L$ = 8, 16, 32, 64, 128, 256, and 512. 
598: } 
599: \label{fig_4}
600: \end{figure}
601: 
602: \begin{figure}
603: \epsfxsize=0.95\linewidth
604: \centerline{\epsfbox{fig5.eps}}
605: \caption{Transition temperatures and critical exponents 
606: as a function of $1/q^2$ for the 2D $q$-state clock model. 
607: } 
608: \label{fig_5}
609: \end{figure}
610: 
611: \begin{table}
612: \caption{Transition temperatures and exponents $\eta$ 
613: for the 2D $q$-state clock model.}
614: \label{table1}
615: \begin{tabular}{lllll}
616:           & $T_2$   & $\eta(T_2)$ & $T_1$ & $\eta(T_1)$  \\
617: \tableline
618: $q=6$     & 0.9008(6) & 0.243(4) & 0.7014(11) & 0.113(3)  \\
619: $q=8$     & 0.8936(7) & 0.243(4) & 0.4259(4)  & 0.0657(2) \\
620: $q=12$    & 0.8937(7) & 0.246(5) & 0.1978(5)  & 0.0270(5) \\
621: {\rm XY} ($q=\infty$) & 0.8933(6)  & 0.243(4) & --------- & --------- \\
622: \end{tabular}
623: \end{table}
624: 
625: \end{multicols}
626: 
627: \end{document}
628: