1: \documentclass[prd,eqsecnum,twocolumn,amsfonts,showpacs]{revtex4}
2:
3: \input epsf
4:
5: \usepackage{graphicx}
6:
7: \usepackage{bm}
8:
9: \setlength{\unitlength}{1cm}
10:
11: \newcommand{\beq}{\begin{equation}}
12: \newcommand{\eeq}{\end{equation}}
13: \newcommand{\beqs}{\begin{eqnarray}}
14: \newcommand{\eeqs}{\end{eqnarray}}
15: \newcommand{\lsim}{\mathrel{\raisebox{-.6ex}{$\stackrel{\textstyle<}{\sim}$}}}
16: \newcommand{\gsim}{\mathrel{\raisebox{-.6ex}{$\stackrel{\textstyle>}{\sim}$}}}
17: %\newtheorem{th}{Theorem}[section]
18: \newtheorem{cor}{Corollary}[section]
19: \newtheorem{lemma}{Lemma}[section]
20: \newtheorem{defi}{Definition}[section]
21: \newtheorem{conj}{Conjecture}[section]
22:
23: \begin{document}
24:
25: \title{Partition Function Zeros of a Restricted Potts Model on Lattice
26: Strips and Effects of Boundary Conditions}
27:
28:
29: \author{Shu-Chiuan Chang$^{a}$ and Robert Shrock$^{b}$}
30:
31: \bigskip
32:
33: \affiliation{(a) \ Department of Physics \\
34: National Cheng Kung University \\
35: Tainan 70101, Taiwan}
36:
37: \bigskip
38:
39: \affiliation{(b) \ C. N. Yang Institute for Theoretical Physics \\
40: State University of New York \\
41: Stony Brook, N. Y. 11794 }
42:
43: \begin{abstract}
44:
45: We calculate the partition function $Z(G,Q,v)$ of the $Q$-state Potts model
46: exactly for strips of the square and triangular lattices of various widths
47: $L_y$ and arbitrarily great lengths $L_x$, with a variety of boundary
48: conditions, and with $Q$ and $v$ restricted to satisfy conditions corresponding
49: to the ferromagnetic phase transition on the associated two-dimensional
50: lattices. From these calculations, in the limit $L_x \to \infty$, we determine
51: the continuous accumulation loci ${\cal B}$ of the partition function zeros in
52: the $v$ and $Q$ planes. Strips of the honeycomb lattice are also considered.
53: We discuss some general features of these loci.
54:
55: \pacs{05.20.-y, 64.60.Cn, 75.10.Hk}
56:
57: \end{abstract}
58:
59: \maketitle
60:
61: \newpage
62: \pagestyle{plain}
63: \pagenumbering{arabic}
64:
65: \section{Introduction}
66:
67:
68: This is the second in a series of two papers on zeros of the $Q$-state Potts
69: model partition function \cite{wurev}-\cite{martinbook} on lattice strip graphs
70: of fixed width $L_y$ and arbitrarily great length $L_x$, with $Q$ and the
71: temperature-like variable $v$ restricted to satisfy the condition for the
72: ferromagnetic phase transition on the associated two-dimensional lattice. From
73: these calculations, in the limit $L_x \to \infty$, we exactly determine the
74: continuous accumulation loci ${\cal B}$ of the partition function zeros in the
75: $v$ and $Q$ planes. These loci are determined by the equality in magnitude of
76: the eigenvalues of the transfer matrix of the model with maximal modulus and
77: hence are also called the set of equimodular curves (where ``curve'' is used in
78: a general sense that also includes line segments). In the first paper
79: \cite{qvsdg} we carried out this study for self-dual strips of the square
80: lattice and found a systematic pattern of features, from which we were able to
81: conjecture properties applicable for strips of arbitrarily large widths. Here
82: we continue this study by considering strips of the square, triangular, and
83: honeycomb lattices with a variety of different boundary conditions and studying
84: how these boundary conditions affect the loci ${\cal B}$.
85:
86:
87: We begin by briefly recalling the definition of the model and some relevant
88: notation. On a graph $G$ at temperature $T$, the Potts model is defined by the
89: partition function
90: %
91: \beq
92: Z(G,Q,v) = \sum_{ \{ \sigma \} }
93: \exp ( K\sum_{\langle i j \rangle} \delta_{\sigma_i \sigma_j} )
94: \label{z}
95: \eeq
96: %
97: where $\sigma_i=1,...,Q$ are the classical spin variables on each vertex (site)
98: $i \in G$, $\langle i j \rangle$ denotes pairs of adjacent vertices, $K=\beta
99: J$ where $\beta = (k_BT)^{-1}$, and $J$ is the spin-spin coupling. We define
100: $a=e^K$ and $v=e^K-1$, so that $v$ has the physical range of values $0 \le v
101: \le \infty$ and $-1 \le v \le 0$ for the respective ferromagnetic and
102: antiferromagnetic cases $J > 0$ and $J < 0$. The graph $G=G(V,E)$ is defined
103: by its vertex set $V$ and its edge (bond) set $E$. The number of vertices of
104: $G$ is denoted as $n=n(G)=|V|$ and the number of edges of $G$ as $e(G)=|E|$.
105: The Potts model can be generalized from non-negative integer $Q$ and physical
106: $v$ to real and, indeed, complex $Q$ and $v$ via the cluster relation \cite{kf}
107: $Z(G,Q,v) = \sum_{G^\prime \subseteq G}Q^{k(G^\prime)}v^{e(G^\prime)}$, where
108: $G'=(V,E^\prime)$ with $E^\prime \subseteq E$, and $k(G^\prime)$ denotes the
109: number of connected components of $G^\prime$.
110:
111: The Potts model partition function is equivalent to an important function in
112: mathematical graph theory, the Tutte polynomial $T(G,x,y)$
113: \cite{wt1,wt2,biggsbook}:
114: %
115: \beq
116: Z(G,Q,v) = (x-1)^{k(G)}(y-1)^{n(G)} \, T(G,x,y)
117: \label{zt}
118: \eeq
119: %
120: where
121: %
122: \beq
123: x=1+\frac{Q}{v} \ , \quad y=1+v \ .
124: \label{xyqv}
125: \eeq
126: %
127:
128:
129: The phase transition temperatures of the ferromagnetic Potts model (in the
130: thermodynamic limit) on the square (sq), triangular (t), and honeycomb (hc)
131: lattices are given, respectively, by the physical solutions to the equations
132: \cite{wurev,roots}
133: %
134: \beq
135: Q=v^2 \quad (sq)
136: \label{qvsq}
137: \eeq
138: %
139: %
140: \beq
141: Q=v^2(v+3) \quad (t)
142: \label{qvtri}
143: \eeq
144: %
145: and
146: %
147: \beq
148: Q^2+3Qv-v^3=0 \quad (hc)
149: \label{qvhc}
150: \eeq
151: %
152: The conditions (\ref{qvtri}) and (\ref{qvhc}) are equivalent, owing to the
153: duality of the triangular and honeycomb lattices. In terms of the Tutte
154: variables, these conditions are $(y-1)(x-y)=0$ for $\Lambda=sq$,
155: $(y-1)(y^2+y-x-1)=0$ for $\Lambda=t$, and $(y-1)^2(x^2+x-y-1)=0$ for
156: $\Lambda=hc$. Since $y=1$ means $K=0$, i.e., infinite temperature, the root at
157: $y=1$ is not relevant; dividing both sides of these three equations by the
158: appropriate powers of $(y-1)$, we thus obtain the conditions $x=y$ \quad (sq),
159: $y^2+y-x-1=0$ (t), and $x^2+x-y-1=0$ \cite{dual}.
160:
161: Although the infinite-length, finite-width strips that we consider here are
162: quasi-one-dimensional systems and the free energy is analytic for all nonzero
163: temperatures, it is nevertheless of interest to investigate the properties of
164: the Potts model with the variables $Q$ and $v$ restricted to satisfy the above
165: conditions. For a $L_y \times L_x$ section of the respective type of lattice,
166: as $L_x \to \infty$ and $L_y \to \infty$ with $L_y/L_x$ equal to a finite
167: nonzero constant, one sees the onset of two-dimensional critical behavior. The
168: strips with $L_x \to \infty$ and $L_y$ fixed provide a type of interpolation
169: between the one-dimensional line and the usual two-dimensional thermodynamic
170: limit as $L_y$ increases. One of the interesting aspects of this interpolation,
171: and a motivation for our present study, is that one can obtain exact results
172: for the partition function $Z(G,Q,v)$ and (reduced) free energy $f=\lim_{n \to
173: \infty} n^{-1} \ln Z$. The value of such exact results is clear since it has
174: not so far been possible to solve exactly for $f(\Lambda,Q,v)$ for arbitrary
175: $Q$ and $v$ on a lattice $\Lambda$ with dimensionality $d \ge 2$, and the only
176: exact solution for arbitrary $v$ is for the $d=2$ Ising case $Q=2$. Thus, exact
177: results on the model for infinite-length, finite-width strips complement the
178: standard set of approximate methods that are used for $d \ge 2$, such as series
179: expansions and Monte Carlo simulations. Although the singular locus ${\cal
180: B}_v$ does not intersect the real axis on the physical finite-temperature
181: interval $-1 < v < \infty$ for the infinite-length, finite-width strips under
182: consideration here, properties of the image of this locus under the above
183: mappings (\ref{qvsq})-(\ref{qvhc}), ${\cal B}_Q$, can give insight into the
184: corresponding locus ${\cal B}_Q$ for the respective two-dimensional lattices.
185: Indeed, one of the interesting results of the present work and our
186: Ref. \cite{qvsdg} on infinite-length, finite-width strips is the key role of
187: the point $Q=4$ for the locus ${\cal B}_Q$, which can make a connection with
188: the locus ${\cal B}_Q$ for the physical phase transition of the Potts model on
189: two-dimensional lattices.
190:
191: We next describe the boundary conditions that we consider. The longitudinal
192: and transverse directions of the lattice strip are taken to be horizontal (in
193: the $x$ direction) and vertical (in the $y$ direction). Boundary conditions
194: that are free, periodic, and periodic with reversed orientation are labelled
195: $F$, $P$, and $TP$. We consider strips with the following types of boundary
196: conditions:
197: %
198: \begin{enumerate}
199:
200: \item
201:
202: $(FBC_y,FBC_x)=$ free
203:
204: \item
205:
206: $(FBC_y, PBC_x)=$ cyclic (cyc.)
207:
208: \item
209:
210: $(FBC_y, TPBC_x)=$ M\"obius (Mb.)
211:
212: \item
213:
214: $(PBC_y, FBC_x)=$ cylindrical (cyl.)
215:
216: \item
217:
218: $(PBC_y, PBC_x)=$ toroidal (tor.)
219:
220: \item
221:
222: $(PBC_y, TPBC_x)=$ Klein-bottle (Kb.)
223:
224: \end{enumerate}
225: %
226: We thus denote a strip graph of a given type of lattice $\Lambda=sq$ or $t$
227: as $\Lambda[L_y \times L_x],BC$, where $BC=$free for $(FBC_y,FBC_x)$ and
228: similarly for the other boundary conditions. In earlier work we showed that
229: although the partition functions $Z(\Lambda[L_y \times L_x],BC,Q,v)$ are
230: different for cyclic and M\"obius boundary conditions, ${\cal B}$ is the
231: same for these two, and separately that although this partition function is
232: different for toroidal and Klein-bottle boundary conditions, ${\cal B}$ is
233: the same for these two latter conditions. Therefore, we shall focus
234: here on the cases of free, cyclic, cylindrical, and toroidal boundary
235: conditions.
236:
237: Our procedure for calculating $Z(G,Q,v)$ on these strips is as follows. For
238: the square and triangular lattices, the equations (\ref{qvsq}) and
239: (\ref{qvtri}) have the simplifying feature that they have the form
240: $Q=g_\Lambda(v)$, where $g_\Lambda(v)$ is a polynomial in $v$. Accordingly, to
241: restrict $Q$ and $v$ to satisfy the phase transition conditions for the
242: respective two-dimensional lattices, we start with the exact partition function
243: and replace $Q$ by $g_\Lambda(v)$ for $\Lambda=sq$ and $\Lambda=t$. We then
244: solve for the zeros of $Z(G,g_\Lambda(v),v)$ and, in the $L_x \to \infty$
245: limit, the continuous accumulation loci ${\cal B}_v$ in the complex $v$ plane.
246: The image of these zeros and loci under the respective mappings (\ref{qvsq})
247: and (\ref{qvtri}) yield the zeros and loci in the complex $Q$ plane. In the
248: case of the honeycomb (hc) lattice, the ferromagnetic phase transition
249: condition (\ref{qvhc}) is nonlinear in both $v$ and $Q$. Since it is of lower
250: degree in $Q$, we solve for this variable, obtaining $Q=(v/2)( -3 \pm
251: \sqrt{9+4v} \, )$. Of course, only one of these solutions is physical for the
252: actual two-dimensional lattice, namely the one with the plus sign. Given the
253: fact that the triangular and honeycomb lattices are dual to each other and the
254: consequence that properties of the phase transition of the ferromagnetic Potts
255: model on the triangular lattice are simply related to those on the honeycomb
256: lattice, it follows that, insofar as we are interested in applying our exact
257: results on infinite-length, finite-width strips to two-dimensions, it suffices
258: to concentrate on strips of either the triangular or honeycomb lattice. Since
259: the condition (\ref{qvtri}) is easier to implement than the solution for $Q$
260: given above, we shall mainly focus on strips of the triangular lattice, but
261: also include some comments on honeycomb-lattice strips.
262:
263:
264:
265: We denote the Tutte-Beraha numbers \cite{wt1,wt2,bkw}
266: %
267: \beq
268: Q_r = 4\cos^2(\pi/r) \ .
269: \label{qr}
270: \eeq
271: %
272: For the range of interest here, $1 \le r \le \infty$, we note that $Q_r$
273: monotonically decreases from 4 to 0 as $r$ increases from 1 to 2, and then
274: $Q_r$ increases monotonically from 0 to 4 as $r$ increases from 2 to $\infty$.
275: For our analysis of strips of the square lattice, it will also be useful to
276: denote $v_r = -2\cos(\pi/r)$ so that $Q_r = v_r^2$. Further background is given
277: in Ref. \cite{qvsdg}.
278:
279: \section{Some General Structural Properties}
280:
281: For these strips, the partition function has the general form (with $L_x=m$)
282: %
283: \beq
284: Z(\Lambda[L_y \times m],BC,Q,v) = \sum_j c_j \, (\lambda_{\Lambda,BC,L_y,j})^m
285: \label{zgsum}
286: \eeq
287: %
288: where the coefficients $c_j$ are independent of $m$. It will be convenient to
289: separate out a power of $v$ and write
290: %
291: \beq
292: \lambda_{\Lambda,BC,L_y,j} = v^{L_y} \, \bar\lambda_{\Lambda,BC,L_y,j}
293: \label{lambdabar}
294: \eeq
295: %
296:
297: We denote cyclic strips of the lattice $\Lambda$ of width $L_y$ and length $L_x
298: \equiv m$ as by $\Lambda[L_y \times m],cyc.$. The partition function
299: has the general form \cite{saleur1,saleur2,cf}
300: %
301: \beq
302: Z(\Lambda[L_y \times m],cyc.,Q,v) = \sum_{d=0}^{L_y} c^{(d)}
303: \sum_{j=1}^{n_Z(L_y,d)} (\lambda_{\Lambda,L_y,d,j})^m
304: \label{zgsumcyc}
305: \eeq
306: %
307: where we use simplified notation by setting $\lambda_{\Lambda,cyc.,L_y,d,j}
308: \equiv \lambda_{\Lambda,L_y,d,j}$ and $\bar\lambda_{\Lambda,cyc.,L_y,d,j}
309: \equiv \bar\lambda_{\Lambda,L_y,d,j}$, and where
310:
311: %
312: \beq
313: n_Z(L_y,d) = \frac{(2d+1)}{(L_y+d+1)}{2L_y \choose L_y-d}
314: \label{nzlyd}
315: \eeq
316: %
317: for $0 \le d \le L_y$ and zero otherwise, and
318: %
319: \beq
320: c^{(d)} = \sum_{j=0}^d (-1)^j {2d-j \choose j} Q^{d-j} \ .
321: \label{cd}
322: \eeq
323: %
324: The coefficients $c^{(d)}$ can also be expressed in terms of Chebyshev
325: polynomials of the second kind as $c^{(d)}= U_{2d}(\frac{\sqrt{Q}}{2})$. The
326: first few of these coefficients are $c^{(0)}=1$, $c^{(1)}=Q-1$,
327: $c^{(2)}=Q^2-3Q+1$, and $c^{(3)}=Q^3-5Q^2+6Q-1$. The form (\ref{zgsumcyc})
328: applies for cyclic strips of not just the square lattice, but also the
329: triangular and honeycomb lattices \cite{cf,hca}. The total number of
330: eigenvalues is
331: %
332: \beq
333: N_{Z,L_y,\lambda} = \sum_{d=0}^d n_Z(L_y,d) = {2L_y \choose L_y} \ .
334: \label{nztot}
335: \eeq
336: %
337: Since $n_Z(L_y,L_y)=1$, i.e., there is only a single
338: $\lambda_{\Lambda,L_y,d,j}$ for $d=L_y$, we denote it simply as
339: $\lambda_{\Lambda,L_y,L_y}$. The single reduced eigenvalue with $d=L_y$ is
340: %
341: \beq
342: \bar\lambda_{\Lambda,L_y,L_y}=1 \ .
343: \label{lamlast}
344: \eeq
345: %
346:
347:
348: We now proceed with our results. We shall point out relevant features for
349: the widths that we consider; of course, it is possible to study larger widths,
350: but, as our discussion will show, relevant features are already present for the
351: widths that we consider.
352:
353:
354: \section{Strips of the Square Lattice}
355:
356: \subsection{Free}
357:
358: We denote these strips as $sq[L_y \times m],free$. For $L_y=1$, an elementary
359: calculation yields $Z=Q(Q+v)^{m-1}$. Setting $Q=v^2$ yields
360: %
361: \beq
362: Z(sq[1 \times m],free,v^2,v) = v^{m+1}(v+1)^{m-1}
363: \label{zsqly1}
364: \eeq
365: %
366: which has zeros only at the two discrete points $v=0$ and $v=-1$. In this case
367: the continuous ${\cal B}$ degenerates to these two points.
368:
369:
370: For $L_y=2$ we use the partition function $Z(sq[2 \times m],free,Q,v)$,
371: calculated in Ref. \cite{a}, which has the form (\ref{zgsum}) with two
372: $\lambda$'s. For $Q=v^2$, we find
373: %
374: \beqs
375: \bar\lambda_{sq,2,0,j} & = & \frac{1}{2} \biggl [ (v+2)^2 \pm
376: (v^4+4v^3+12v^2+20v+12)^{1/2} \biggr ] \cr\cr
377: & &
378: \label{lam2d0j12c}
379: \eeqs
380: %
381: where $j=1,2$ correspond to $\pm$. In the infinite-length limit, the
382: continuous accumulation set loci ${\cal B}_v$ and, correspondingly, ${\cal
383: B}_Q$, are shown in Figs. \ref{sqxy2v} and \ref{sqxy2q}. They consist of two
384: complex-conjugate arcs that intersect each other and cross the real $v$ axis at
385: $v=-2$ and equivalently, the real $Q$ axis at $Q=4$. The endpoint of these
386: arcs in the $v$ plane occur at the roots of the polynomial in the square root
387: of $\bar\lambda_{sq,2,0,j}$, namely $v=-1.33 \pm 0.23i$ and $-0.67 \pm 2.48i$,
388: and hence $Q=1.71 \pm 0.61i$ and $Q=-5.71 \pm 3.34i$. For comparison, in this
389: and other figures we show zeros of the partition function for long finite
390: strips; in this case, $m=40$. One sees that the zeros lie rather close to the
391: asymptotic loci ${\cal B}$ and that the density of zeros increases as one
392: approaches the endpoints of the arcs.
393:
394: In these figures and others shown below, there are also zeros of the partition
395: function that do not lie on the asymptotic accumulation loci. For example, in
396: general, for any graph $G$, the cluster relation given above shows that
397: $Z(G,Q,v)=0$ at the point $(Q,v)=(0,0)$, which lies on manifolds defined by all
398: of eqs. (\ref{qvsq})-(\ref{qvhc}). Depending on the type of lattice strip
399: graph, this may or may not be an isolated zero or lie on the continuous
400: accumulation set of zeros, ${\cal B}$. For example, for the $L_y=2$
401: square-lattice strips with free or cylindrical boundary conditions it is
402: isolated (cf. Figs. \ref{sqxy2v}-\ref{sqxpy2q}), while for the $L_y=2$ strips
403: with cyclic or toroidal boundary conditions, it lies on the loci ${\cal B}$ in
404: the $v$ and $Q$ planes (cf. Figs. \ref{sqpxy2v}-\ref{sqpxpy2q}) and similarly
405: for the triangular strips to be discussed below. Another general result is
406: that for a graph $G$ with at least one edge, $Z(G,Q,v)=0$ at the point
407: $(Q,v)=(1,-1)$. This follows because $Z(G,Q,-1)$, the partition function for
408: the zero-temperature Potts antiferromagnet, is precisely the chromatic
409: polynomial $P(G,Q)$, which counts the number of ways one can assign colors from
410: a set of $Q$ colors to the vertices of $G$, subject to the condition that no
411: two adjacent vertices have the same color. These are called proper colorings of
412: $G$. Clearly, the number of these proper colorings of a graph $G$ vanishes if
413: it has at least one edge and there is only one color, i.e., if $Q=1$. This
414: point $(Q,v)=(1,-1)$ is on the manifold defined by eq. (\ref{qvsq}) for the
415: square lattice (although not on the corresponding manifolds defined by
416: eqs. (\ref{qvtri}) and (\ref{qvhc}) for the triangular and honeycomb lattices).
417: Thus, one sees a zero at this point in the plots for the square-lattice
418: strips. In the cases we have studied, this zero is isolated.
419:
420:
421: \begin{figure}[hbtp]
422: \centering
423: \leavevmode
424: \epsfxsize=2.4in
425: \begin{center}
426: \leavevmode
427: \epsffile{sqxy2v.ps}
428: \end{center}
429: \vspace{-10mm}
430: \caption{\footnotesize{Locus ${\cal B}_v$ for the Potts model on a $2 \times
431: \infty$ strip of the square lattice with free boundary conditions and with $Q$
432: and $v$ satisfying eq. (\ref{qvsq}). Partition function zeros are shown for
433: a $2 \times 40$ strip.}}
434: \label{sqxy2v}
435: \end{figure}
436:
437: \begin{figure}[hbtp]
438: \centering
439: \leavevmode
440: \epsfxsize=2.4in
441: \begin{center}
442: \leavevmode
443: \epsffile{sqxy2q.ps}
444: \end{center}
445: \vspace{-10mm}
446: \caption{\footnotesize{Locus ${\cal B}_Q$ for the Potts model on a $2 \times
447: \infty$ strip of the square lattice with free boundary conditions and with $Q$
448: and $v$ satisfying eq. (\ref{qvsq}). Partition function zeros are shown for
449: a $2 \times 40$ strip.}}
450: \label{sqxy2q}
451: \end{figure}
452:
453: For $L_y=3$ we use the exact calculation of $Z(sq[3 \times m],free,Q,v)$ for
454: general $Q$ and $v$ in Ref. \cite{s3a} and specialize to $Q=v^2$. The
455: partition function depends on ($m$'th powers of) four eigenvalues which are
456: roots of a quartic equation (eq. (A.8) in Ref. \cite{s3a}). In the limit
457: $L_x \to \infty$, ${\cal B}_v$ consists of complex-conjugate pairs of arcs, all
458: of which pass through the point $v=-2$, where all four roots of the above
459: quartic equation are degenerate in magnitude. The arcs lying farthest from the
460: real axis cross the imaginary $v$ axis (at $v \simeq \pm 2.96i$). Hence, the
461: imagine of this locus under the map $Q=v^2$ in the $Q$ plane, ${\cal B}_Q$ also
462: consist of complex-conjugate arcs which all pass through the point $Q=4$.
463: Furthermore, two of these cross the negative real $Q$ axis, so that ${\cal
464: B}_Q$ separates the $Q$ plane into regions. There are also other zeros on the
465: negative real $v$ axis, and hence resultant zeros on the positive real $Q$
466: axis. Using the calculations of $Z(sq[L_y \times m],free,Q,v)$ in
467: Ref. \cite{ts,zt}, we have performed the corresponding analyses for $L_y=4,5$
468: and have found similar features.
469:
470:
471: \subsection{Cylindrical}
472:
473: We find that $Z(sq[2 \times m],cyl.,v^2,v)$ has the form (\ref{zgsum})
474: depending on two $\bar\lambda$'s, which are
475: %
476: \beqs
477: & & \bar\lambda_{sqcyl,j}=\frac{1}{2}\biggl [ 3v^2+8v+6
478: \pm (v+2)\sqrt{5v^2+12v+8} \, \biggr ] \cr\cr
479: & &
480: \label{lam_sqxpy2}
481: \eeqs
482: %
483: where $j=1,2$ correspond to $\pm$ and $sqcyl$ refers to this type of strip. In
484: the limit $m \to \infty$, the locus ${\cal B}_v$ consists of a self-conjugate
485: arc that crosses the real axis at $v=-2$ and has endpoints at the roots of the
486: polynomial in the square root in eq. (\ref{lam_sqxpy2}), namely, $v=(-6 \pm
487: 2i)/5$. Thus, ${\cal B}_Q$ consists of an arc that crosses the real axis at
488: $Q=4$ and has endpoints at $Q=(32 \pm 24i)/25$. These loci, together with
489: partition function zeros, are shown in Figs. \ref{sqxpy2v} and \ref{sqxpy2q}.
490: As was the case with the free strips, the density of zeros increases as one
491: approaches the endpoints of the arcs.
492:
493: \begin{figure}[hbtp]
494: \centering
495: \leavevmode
496: \epsfxsize=2.4in
497: \begin{center}
498: \leavevmode
499: \epsffile{sqxpy2v.ps}
500: \end{center}
501: \vspace{-10mm}
502: \caption{\footnotesize{Locus ${\cal B}_v$ for the Potts model on a $2 \times
503: \infty$ strip of the square lattice with cylindrical boundary conditions and
504: with $Q$ and $v$ satisfying the 2D phase transition condition (\ref{qvsq}).
505: Partition function zeros are shown for a cylindrical $2 \times 40$ strip.}}
506: \label{sqxpy2v}
507: \end{figure}
508:
509: \begin{figure}[hbtp]
510: \centering
511: \leavevmode
512: \epsfxsize=2.4in
513: \begin{center}
514: \leavevmode
515: \epsffile{sqxpy2q.ps}
516: \end{center}
517: \vspace{-10mm}
518: \caption{\footnotesize{Locus ${\cal B}_q$ for the Potts model on a $2 \times
519: \infty$ strip of the square lattice with cylindrical boundary conditions and
520: with $Q$ and $v$ satisfying eq. (\ref{qvsq}). Partition function zeros are
521: shown for a cylindrical $2 \times 40$ strip.}}
522: \label{sqxpy2q}
523: \end{figure}
524:
525:
526:
527: \subsection{Cyclic and M\"obius}
528:
529: For $L_y=1$, $sq[1 \times m]$ is just the circuit graph with $m$ vertices,
530: $C_m$. An elementary calculation yields $Z(C_m,Q,v)=(Q+v)^m+c^{(1)}v^m$, so
531: for $Q=v^2$, one has $\bar\lambda_{sq,1,0}=v+1$ and $\bar\lambda_{sq,1,1}=1$ as
532: in eq. (\ref{lamlast}), and
533: %
534: \beq
535: Z(C_m,v^2,v)=v^m(v+1)[(v+1)^{m-1}+v-1] \ .
536: \label{zsqpxy1}
537: \eeq
538: %
539: The resultant locus ${\cal B}_v$ is the circle $|v+1|=1$, i.e.,
540: %
541: \beq
542: v=-1+e^{i\phi} \ , \quad 0 \le \phi \le 2\pi
543: \label{vcirc}
544: \eeq
545: %
546: which crosses the real $v$ axis at $v=0$ and $v=-2$. The resultant locus
547: ${\cal B}_Q$ with $Q=v^2$ is given by
548: %
549: \beqs
550: Re(Q) & = & 2\cos \phi \ (\cos\phi-1) \ , \cr\cr
551: Im(Q) & = & 2\sin \phi \ (\cos\phi-1)
552: \label{bqcirc}
553: \eeqs
554: %
555: for $0 \le \phi \le 2\pi$. This locus crosses the real $Q$ axis at $Q=Q_2=0$,
556: where it has a cusp, and at $Q=Q_1=Q_\infty=4$; it also crosses the imaginary
557: $Q$ axis at $Q=\pm 2i$. The loci ${\cal B}_v$ and ${\cal B}_Q$ divide the
558: respective $v$ and $Q$ planes each into two regions. In the $v$ plane these
559: can be labelled as $R_1$ and $R_2$, the exterior and interior of the circle
560: $|v+1|=1$, and similarly in the $Q$ plane the exterior and interior of the
561: closed curve given by eq. (\ref{bqcirc}). In regions $R_1$ and $R_2$ the
562: dominant $\bar\lambda$'s are $\bar\lambda_{sq,1,0}$ and $\bar\lambda_{sq,1,1}$,
563: respectively.
564:
565:
566: For $L_y=2$, we use the calculation of $Z(sq[2 \times m],cyc.,Q,v)$ in
567: Ref. \cite{a}. From
568: eq. (\ref{nzlyd}) we have $n_Z(2,0)=2$ and $n_Z(2,1)=3$, together with
569: $n_Z(2,2)=1$, for a total of $N_{Z,2,\lambda}=6$. Specializing to the
570: manifold of eq. (\ref{qvsq}), we find that
571: %
572: \beq
573: \bar\lambda_{sq,2,1,1}=1+v
574: \label{lam2d1j1c}
575: \eeq
576: %
577: \beq
578: \bar\lambda_{sq,2,1,j}=v+2 \pm \sqrt{2v+3}
579: \label{lam2d1j23c}
580: \eeq
581: %
582: where $j=2,3$ correspond to $\pm$, and $\bar\lambda_{sq,2,0,j}$, given by
583: eq. (\ref{lam2d0j12c}).
584:
585: \begin{figure}[hbtp]
586: \centering
587: \leavevmode
588: \epsfxsize=2.4in
589: \begin{center}
590: \leavevmode
591: \epsffile{sqpxy2v.ps}
592: \end{center}
593: \vspace{-10mm}
594: \caption{\footnotesize{Locus ${\cal B}_v$ for the Potts model on a $2 \times
595: \infty$ cyclic or M\"obius strip of the square lattice with $Q$ and $v$
596: satisfying eq. (\ref{qvsq}). Partition function zeros are shown for a cyclic
597: $2 \times 40$ strip.}}
598: \label{sqpxy2v}
599: \end{figure}
600:
601: \begin{figure}[hbtp]
602: \centering
603: \leavevmode
604: \epsfxsize=2.4in
605: \begin{center}
606: \leavevmode
607: \epsffile{sqpxy2q.ps}
608: \end{center}
609: \vspace{-10mm}
610: \caption{\footnotesize{Locus ${\cal B}_Q$ for the Potts model on a $2 \times
611: \infty$ cyclic or M\"obius strip of the square lattice with $Q$ and $v$
612: satisfying eq. (\ref{qvsq}). Partition function zeros are shown for a cyclic
613: $2 \times 40$ strip.}}
614: \label{sqpxy2q}
615: \end{figure}
616:
617:
618: For $m \to \infty$, the locus ${\cal B}_v$ for this cyclic (or corresponding
619: M\"obius) strip, shown in Fig. \ref{sqpxy2v}, is comprised of a single closed
620: curve that intersects the real $v$ axis at $v=0$ and $v=-\sqrt{2}$ and in a
621: two-fold multiple point at $v=-2$. The image of ${\cal B}_v$ in the $q$ plane,
622: ${\cal B}_Q$, shown in Fig. \ref{sqpxy2q}, is again a closed curve that
623: crosses the real $Q$ axis once at $Q=0$ and $Q=2$ and in a two-fold multiple
624: point at $Q=4$, separating the complex $Q$ plane into three regions in 1-1
625: correspondence with those in the $v$ plane. These regions are
626: %
627: \begin{itemize}
628:
629: \item
630:
631: $R_1$, containing the real intervals $v > 0$ and $v < -2$ and extending outward
632: to the circle at infinity, and its image in the $Q$ plane, containing the real
633: intervals $Q \ge 4$ and $Q \le 0$, in which (with appropriate choice of the
634: branch cut for the square root in eq. (\ref{lam2d0j12c}))
635: $\bar\lambda_{sq,2,0,1}$ is dominant,
636:
637: \item
638:
639: $R_2$, containing the real interval $-\sqrt{2} \le v \le 0$, and its image in
640: the $Q$ plane containing the real interval $0 \le Q \le 2$, in which
641: $\bar\lambda_{sq,2,1,2}$ is dominant,
642:
643: \item
644:
645: $R_3$, containing the real interval $-2 \le v \le -\sqrt{2}$ and its image in
646: the $Q$ plane, containing the real interval $2 \le Q \le 4$, in which
647: $\bar\lambda_{sq,2,2}=1$ is dominant.
648:
649: \end{itemize}
650: %
651: As was the case for the cyclic $L_y=1$ strip, the curve ${\cal B}_Q$ has a cusp
652: at $Q=0$. For comparison with the asymptotic loci, in Figs. \ref{sqpxy2v} and
653: \ref{sqpxy2q} we also show partition function zeros calculated for a long
654: finite strip, with $m=40$. One sees that these lie close to the respective loci
655: ${\cal B}$.
656:
657:
658: The exact calculation of $Z(sq[3 \times m],cyc.,Q,v)$ in Ref. \cite{s3a} has
659: the form of eq. (\ref{zgsumcyc}) with $L_y=3$. From eq. (\ref{nzlyd}) we have
660: $n_Z(3,0)=5$ and $n_Z(3,1)=9$, $n_Z(3,2)=5$, together with $n_Z(3,3)=1$, for a
661: total of $N_{Z,3,\lambda}=20$. We specialize to the manifold in
662: eq. (\ref{qvsq}). Owing to the large number of $\bar\lambda_{sq,3,d,j}$'s, we
663: do not list them here. In the $m \to \infty$ limit, we find that ${\cal B}_v$
664: crosses the real $v$ axis at $v=v_2=0$, $v=v_4=-\sqrt{2}$, $v=v_6=-\sqrt{3}$,
665: and $v=-2$, enclosing several regions in the $v$ plane. The image locus under
666: the map (\ref{qvsq}), ${\cal B}_Q$, crosses the real axis in the interval $0
667: \le Q \le 4$ at $Q=Q_2=0$, $Q=Q_4=2$, $Q=Q_6=3$, and $Q=4$. It also crosses the
668: negative real axis at two points corresponding to the two pairs of
669: complex-conjugate points away from $v=0$ at which ${\cal B}_v$ crosses the
670: imaginary axis in the $v$ plane. As with the $L_y=1$ and $L_y=2$ cyclic
671: strips, the curves on ${\cal B}_Q$ and ${\cal B}_v$ separate the respective $v$
672: and $Q$ planes in several regions in which different $\bar\lambda_{sq,3,d,j}$'s
673: are dominant.
674:
675: We have performed corresponding calculations for the cyclic and M\"obius strips
676: of the square lattice with $L_y=4$ and $L_y=5$. For brevity, we only comment
677: on ${\cal B}_Q$ here. We find that ${\cal B}_Q$ crosses the real axis in the
678: interval $0 \le Q \le 4$ at $Q=4$ and at $Q=Q_{2\ell}$ for integer $1 \le \ell
679: \le L_y$ and also on the negative real axis. The outermost complex-conjugate
680: curves on ${\cal B}_Q$ continue the trend observed for smaller widths, of
681: moving farther away from the origin. For example, the outermost curves on
682: ${\cal B}_Q$ cross the imaginary $Q$ axis at $Q=\pm 2i$ for $L_y=1$, $Q \simeq
683: \pm 8.5i$ for $L_y=2$, and at progressively larger values for larger $L_y$.
684: Similarly, this outermost curve crosses the negative real axis farther away
685: from the origin; the approximate crossing point for $L_y=3$ is at $Q \simeq
686: -10$, with larger negative values for $L_y=4,5$.
687:
688: \subsection{Toroidal and Klein-bottle}
689:
690: The exact solution for the partition function on the $L_y=2$ strip with
691: toroidal boundary conditions which we obtained in Ref. \cite{s3a} has the form
692: of eq. (\ref{zgsum}) with six $\lambda$'s. Setting $Q=v^2$ (and using the
693: abbreviation $sqtor$ to indicate the boundary conditions), we find
694: %
695: \beq
696: \bar\lambda_{sqtor,2,j} = \bar\lambda_{sqcyl,2,j}
697: \label{lam20jc_sqpxpy2}
698: \eeq
699: %
700: where the $\bar\lambda_{sqcyl,2,j}$ with $j=1,2$ were given above in eq.
701: (\ref{lam_sqxpy2}),
702: %
703: \beqs
704: & & \bar\lambda_{sqtor,2,j} = \frac{1}{2}\biggl [ (v+2)(v+3) \cr\cr
705: & \pm & \Bigl [ (v^2+3v+8+4 \sqrt{2} \, )(v^2+3v+8-4\sqrt{2} \,) \Bigr
706: ]^{1/2} \biggr ] \ , \cr\cr
707: & &
708: \eeqs
709: %
710: where $j=3,4$ correspond to the $\pm$ signs,
711: %
712: \beq
713: \bar\lambda_{sqtor,2,5} = v+1 \ ,
714: \eeq
715: %
716: and
717: %
718: \beq
719: \bar\lambda_{sqtor,2,6}=1 \ .
720: \eeq
721: %
722:
723:
724: \begin{figure}[hbtp]
725: \centering
726: \leavevmode
727: \epsfxsize=2.4in
728: \begin{center}
729: \leavevmode
730: \epsffile{sqpxpy2v.ps}
731: \end{center}
732: \vspace{-10mm}
733: \caption{\footnotesize{Locus ${\cal B}_v$ for the Potts model on a $2 \times
734: \infty$ strip of the square lattice with toroidal or Klein-bottle boundary
735: conditions and with $Q$ and $v$ satisfying eq. (\ref{qvsq}). Partition
736: function zeros are shown for a toroidal $2 \times 40$ strip.}}
737: \label{sqpxpy2v}
738: \end{figure}
739:
740:
741: \begin{figure}[hbtp]
742: \centering
743: \leavevmode
744: \epsfxsize=2.4in
745: \begin{center}
746: \leavevmode
747: \epsffile{sqpxpy2q.ps}
748: \end{center}
749: \vspace{-10mm}
750: \caption{\footnotesize{Locus ${\cal B}_Q$ for the Potts model on a $2 \times
751: \infty$ strip of the square lattice with toroidal or Klein-bottle boundary
752: conditions and with $Q$ and $v$ satisfying (\ref{qvsq}). Partition function
753: zeros are shown for a toroidal $2 \times 40$ strip.}}
754: \label{sqpxpy2q}
755: \end{figure}
756:
757: In the $m \to \infty$ limit of this strip with toroidal or Klein-bottle
758: boundary conditions, we find that ${\cal B}_v$, shown in Fig. \ref{sqpxpy2v},
759: intersects the real $v$ axis at $v=0$ $v=-\sqrt{2}$, and $v=-2$. The image
760: curve ${\cal B}_Q$, shown in Fig. \ref{sqpxpy2q}, thus intersects the real axis
761: at $Q=0,2,4$. These curves divide the respective $v$ and $Q$ planes into three
762: regions. In the $v$ plane, these are (i) the region $R_1$ including the
763: semi-infinite intervals $v \ge 0$ and $v \le -2$ and extending to complex
764: infinity, in which (with appropriate choices of branch cuts for the square
765: roots) $\bar\lambda_{sqtor,2,1}$ is dominant; (ii) the region $R_2$ including
766: the real interval $-\sqrt{2} \le v \le 0$, enclosed by the outer curve, in
767: which $\bar\lambda_{sqtor,2,3}$ is dominant, and (iii) the region $R_3$
768: enclosed by the innermost curve and including the real interval $-2 \le v \le
769: -\sqrt{2}$, in which $\bar\lambda_{sqtor,2,6}=1$ is dominant. Corresponding
770: results hold in the $Q$ plane.
771:
772: Using our results in Ref. \cite{s3a,zttor}, we have also performed similar
773: calculations for the $L_y=3$ strip of the square lattice with toroidal boundary
774: conditions. We find that ${\cal B}_v$ crosses the real axis at
775: $v=0$, $v=-\sqrt{2}$, $v=-2$, and $v \simeq -5.2$ and contains
776: complex-conjugate curves extending to complex infinity in the $Re(v) < 0$
777: half-plane. Again, corresponding results hold in the $Q$ plane.
778:
779:
780: \section{Strips of the Triangular Lattice}
781:
782: \subsection{General}
783:
784: In order to investigate the lattice dependence of the loci ${\cal B}$, we have
785: also calculated these for infinite-length strips of the triangular lattice with
786: various boundary conditions and with $Q$ and $v$ restricted to satisfy the
787: phase transition condition for the two-dimensional triangular lattice,
788: eq. (\ref{qvtri}). We construct a strip of the triangular lattice by starting
789: with a strip of the square lattice and adding edges connecting the vertices in,
790: say, the upper left to the lower right corners of each square to each other.
791: Since we will find that the values $Q_{2\ell}$ for $\ell=1,\cdots,L_y$ play an
792: important role for the loci ${\cal B}_Q$ for these strips with periodic
793: longitudinal boundary conditions, just as they did for the corresponding
794: square-lattice strips, we give a general solution of eq. (\ref{qvtri}) for the
795: case where $Q=Q_r$: the roots of this equation are $-1+2\cos(2(r+\eta)\pi)$
796: with $\eta = 1, \ -1, \ 0$, i.e., in order of increasing $v$,
797: %
798: \beq
799: v_{t1}(r) = -1 + 2\cos \biggl ( \frac{2(r+1)\pi}{3r} \biggr )
800: \label{vt1}
801: \eeq
802: %
803: %
804: \beq
805: v_{t2}(r) = -1 + 2\cos \biggl ( \frac{2(r-1)\pi}{3r} \biggr )
806: \label{vt2}
807: \eeq
808: %
809: and
810: %
811: \beq
812: v_{t3}(r) = -1 + 2\cos \biggl ( \frac{2\pi}{3r} \biggr ) \ .
813: \label{vt3}
814: \eeq
815: %
816: The relevant case here is $r=2\ell$ with $1 \le \ell \le L_y$. More generally,
817: for any real $r \ge 2$, these roots have the properties
818: %
819: \beq
820: v_{t1}(r) \le v_{t2}(r) \le 0 \quad {\rm for} \ \ r \ge 2
821: \label{v12range}
822: \eeq
823: %
824: (where the first equality holds only at $r=\infty$ and the second equality
825: holds only at $r=2$),
826: \beq
827: v_{t3}(r) \ge 0 \quad {\rm for} \ \ r \ge 2
828: \label{v3range}
829: \eeq
830: %
831: (where the equality holds only at $r=2$). As $r$ increases from 2 to $\infty$,
832: (i) $v_{t1}(r)$ increases from $-3$ to $-2$, (ii) $v_{t2}(r)$ decreases from 0
833: to $-2$, and (iii) $v_{t3}(r)$, which is the physical root for the phase
834: transition on the triangular lattice, increases from 0 to 1.
835:
836: For the cases of interest here, with $r=2\ell$ and $1 \le \ell \le L_y$, for
837: widths up to $L_y=5$, many of the trigonometric expressions in
838: eqs. (\ref{vt1})-(\ref{vt3}) simplify considerably, to algebraic expressions,
839: and in some cases to integers, so it is worthwhile displaying these roots
840: explicitly. For $r=2$ and $r=4$ we have
841: %
842: \beq
843: v_{t1}(2)=-3, \ v_{t2}(2)=0, \ v_{t3}(2)=0 \quad \Longrightarrow \quad Q=Q_2=0
844: \label{preimage_q0tri}
845: \eeq
846: %
847: \beqs
848: v_{t1}(4) & = & -1-\sqrt{3}, \ v_{t2}(4)=-1, \ v_{t3}(4)=-1+\sqrt{3} \cr\cr
849: & \Longrightarrow & \quad Q=Q_4=2
850: \label{preimage_q2tri}
851: \eeqs
852: %
853: We list the expressions for the $v_{tj}(r)$, $j=1,2,3$ for $r=6,8,10$ in the
854: Appendix. For $r=\infty$,
855: %
856: \beqs
857: & & v_{t1}(\infty)=v_{t2}(\infty)=-2, \ v_{t3}(\infty)=1 \cr\cr
858: & \Longrightarrow & \quad Q=Q_\infty=4
859: \label{vm2q4tri}
860: \eeqs
861: %
862: (Outside of our range, at $r=1$, since $Q_1=Q_\infty$, eq. (\ref{qvtri}) with
863: $Q=Q_1$ has the same set of roots as in (\ref{vm2q4tri}), with
864: $v_{t1}(1)=v_{t3}(1)=-2$ and $v_{t2}(1)=1$.) Concerning the behavior of the
865: solutions of eq. (\ref{qvtri}) with $v$ as the independent variable, as $v$
866: decreases from 0, $Q$ increases from 0, reaching a maximum of 4 at $v=-2$ and
867: then decreasing through 0 to negative values as $v$ decreases through $-3$.
868: Thus, for all $v$ in the interval $-\infty \le v \le 0$, $Q$ is bounded above
869: by the value 4.
870:
871: \subsection{Free}
872:
873: The exact solution for the partition function on the $L_y=2$ strip of the
874: triangular lattice with free boundary conditions in Ref. \cite{ta} has the form
875: of eq. (\ref{zgsum}) with two $\lambda$'s. Setting $Q=v^2(v+3)$ as in
876: eq. (\ref{qvtri}), we find the corresponding reduced $\bar\lambda$'s
877: %
878: \beqs
879: & & \bar\lambda_{t,2,0,j} = \frac{(v+1)}{2}\biggl [ v^3+5v^2+9v+7
880: \cr\cr
881: & \pm & (v+3)\sqrt{(v+1)(v^3+3v^2+3v+5)} \ \biggr ]
882: \label{lam2tri_d0j12c}
883: \eeqs
884: %
885: where $j=1,2$ correspond to the $\pm$.
886:
887:
888: \begin{figure}[hbtp]
889: \centering
890: \leavevmode
891: \epsfxsize=2.4in
892: \begin{center}
893: \leavevmode
894: \epsffile{txy2v.ps}
895: \end{center}
896: \vspace{-10mm}
897: \caption{\footnotesize{Locus ${\cal B}_v$ for the Potts model on a $2 \times
898: \infty$ strip of the triangular lattice with free boundary
899: conditions and with $Q$ and $v$ satisfying eq. (\ref{qvtri}).
900: Partition function zeros are shown for a free $2 \times 20$ strip.}}
901: \label{txy2v}
902: \end{figure}
903:
904: \begin{figure}[hbtp]
905: \centering
906: \leavevmode
907: \epsfxsize=2.4in
908: \begin{center}
909: \leavevmode
910: \epsffile{txy2q.ps}
911: \end{center}
912: \vspace{-10mm}
913: \caption{\footnotesize{Locus ${\cal B}_Q$ for the Potts model on a $2 \times
914: \infty$ strip of the triangular lattice with free boundary
915: conditions and with $Q$ and $v$ satisfying eq. (\ref{qvtri}).
916: Partition function zeros are shown for a free $2 \times 20$ strip.}}
917: \label{txy2q}
918: \end{figure}
919:
920: In the limit $m \to \infty$, we find the locus ${\cal B}_v$ shown in
921: Fig. \ref{txy2v} consisting of the union of (i) a curve that crosses the real
922: $v$ axis at $v=-2$ (a multiple point on the curve) and $v=-3$ and has endpoints
923: at the two complex-conjugate roots of the cubic factor in the square root in
924: eq. (\ref{lam2tri_d0j12c}), $v \simeq -0.206 \pm 1.37i$ and (ii) a line segment
925: on the real $v$ axis extending from $v=-1$ to $v \simeq -2.587$. These
926: endpoints of the line segment are the other two zeros of the polynomial in the
927: square root in eq. (\ref{lam2tri_d0j12c}). This locus divides the complex $v$
928: plane into two regions. The image of this locus under the mapping
929: (\ref{qvtri}), ${\cal B}_Q$, is shown in Fig. \ref{txy2q} and consists of the
930: union of a closed curve passing through $Q=0$ and $Q=4$ with complex-conjugate
931: arcs passing through $Q=4$ and terminating at endpoints $Q \simeq -4.38 \pm
932: 4.12i$, and a line segment on the real axis extending from $Q=2$ to $Q \simeq
933: 2.762$. In Figs. \ref{txy2v} and \ref{txy2q} we also show zeros calculated for
934: a long finite free $L_y=2$ strip of the triangular lattice. One sees again
935: that these lie close to the asymptotic loci ${\cal B}_v$ and ${\cal B}_Q$, as
936: one would expect for a long strip. There are also discrete zeros that do not
937: lie on (or close to) the equimodular curves ${\cal B}$. We have already
938: explained the origin of the zero at $(Q,v)=(0,0)$. In contrast to the
939: situation with free strips of the square-lattice, where the zero at $v=0$ and
940: its image at $Q=0$ were both isolated, here we find that for the free $L_y=2$
941: strip of the triangular-lattice (see Figs. \ref{txy2v}, \ref{txy2q}), there is
942: an isolated zero at $v=0$, but because of the non one-to-one nature of the
943: mapping (\ref{qvtri}), its image in the $Q$ plane is not isolated but rather is
944: on ${\cal B}_Q$. We have also performed analogous studies of wider strips of
945: the triangular lattice using the calculations of Ref. \cite{tt}, and we find
946: qualitatively similar results.
947:
948:
949: \subsection{Cyclic and M\"obius}
950:
951: For cyclic boundary conditions we have $N_{Z,2,\lambda}=6$,
952: $n_Z(2,0)=2$, $n_Z(2,1)=3$, $n_Z(2,2)=1$, just as in the square-lattice case.
953: We calculated the general partition function $Z(t[2 \times m],cyc.,Q,v)$ in
954: Ref. \cite{ta}, and this has the form of eq. (\ref{zgsumcyc}) with $L_y=2$.
955: Restricting $Q$ and $v$ to satisfy eq. (\ref{qvtri}), we obtain
956: $\bar\lambda_{t,2,2}=1$, $\bar\lambda_{t,2,0,j}$ for $j=1,2$ given in
957: eq. (\ref{lam2tri_d0j12c}), and $\bar\lambda_{t,2,1,j}$ for $j=1,2,3$, which
958: are solutions to the equation
959: %
960: \beqs
961: & & \eta^3 - (v+2)(3v+4)\eta^2 + (v+2)(v+1)(3v^2+9v+4)\eta \cr\cr
962: & & -(v+1)^2(v^2+3v+1)^2=0 \ .
963: \label{tri_cubeq_qv}
964: \eeqs
965: %
966:
967: \begin{figure}[hbtp]
968: \centering
969: \leavevmode
970: \epsfxsize=2.4in
971: \begin{center}
972: \leavevmode
973: \epsffile{tpxy2v.ps}
974: \end{center}
975: \vspace{-10mm}
976: \caption{\footnotesize{Locus ${\cal B}_v$ for the Potts model on a $2 \times
977: \infty$ strip of the triangular lattice with cyclic or M\"obius boundary
978: conditions and with $Q$ and $v$ satisfying eq. (\ref{qvtri}).
979: Partition function zeros are shown for a cyclic $2 \times 20$ strip.}}
980: \label{tpxy2v}
981: \end{figure}
982:
983: \begin{figure}[hbtp]
984: \centering
985: \leavevmode
986: \epsfxsize=2.4in
987: \begin{center}
988: \leavevmode
989: \epsffile{tpxy2q.ps}
990: \end{center}
991: \vspace{-10mm}
992: \caption{\footnotesize{Locus ${\cal B}_Q$ for the Potts model on a $2 \times
993: \infty$ strip of the triangular lattice with cyclic or M\"obius boundary
994: conditions and with $Q$ and $v$ satisfying eq. (\ref{qvtri}).
995: Partition function zeros are shown for a cyclic $2 \times 20$ strip.}}
996: \label{tpxy2q}
997: \end{figure}
998:
999: In the limit $m \to \infty$ for this cyclic strip (and for the same strip with
1000: M\"obius boundary conditions), we find the locus ${\cal B}_v$ shown in
1001: Fig. \ref{tpxy2v} and the corresponding locus ${\cal B}_Q$ shown in
1002: Fig. \ref{tpxy2q}. These loci consists of closed curves that intersect the
1003: real $v$ and $Q$ axis at the following points, where the value of $Q$ is the
1004: image of the value of $v$ under the mapping (\ref{qvtri}): (i) $v=0$ and
1005: $v=-3, \ \Rightarrow \ Q=Q_2=0$, (ii) $v=-1, \ \Rightarrow \ Q=Q_4=2$, and
1006: (iii) $v=-2, \ \Rightarrow \ Q=4$. The locus ${\cal B}_v$ also contains a line
1007: segment extending from $v \simeq -1.531$ to $v=-2$, and ${\cal B}_Q$ contains
1008: its image under the mapping (\ref{qvtri}), extending from $Q \simeq 3.44$ to
1009: $Q=4$.
1010:
1011: The locus ${\cal B}_v$ separates the $v$ plane into four regions, as is evident
1012: in Fig. \ref{tpxy2v}:
1013: %
1014: \begin{itemize}
1015:
1016: \item
1017:
1018: the region including the intervals $v \ge 0$ and $v \le -3$ on the real
1019: $v$ axis and extending to complex infinity, in which (with appropriate
1020: definition of the branch cuts associated with the square root in
1021: eq. (\ref{lam2tri_d0j12c})) $\bar\lambda_{t,2,0,1}$ is dominant,
1022:
1023: \item
1024:
1025: the region including the neighborhood to the left of $v=0$ and excluding
1026: the interior of the loop centered approximately around $v=-1.2$, in which one
1027: of the $\bar\lambda_{t,2,1,j}$'s is dominant,
1028:
1029: \item
1030:
1031: the region in the interior of the loop centered around $v=-1.2$, in
1032: which $\bar\lambda_{t,2,2}=1$ is dominant,
1033:
1034: \item
1035:
1036: the region including the interval that extends from $v=-2$ to $v=-3$, in which
1037: another $\bar\lambda_{t,2,1,j}$ is dominant.
1038:
1039: \end{itemize}
1040:
1041: We give some specific dominant eigenvalues at special points. At $v=0$,
1042: $\bar\lambda_{t,2,0,1}=(7+3\sqrt{5})/2$, equal in magnitude to the dominant
1043: $\bar\lambda_{t,2,1,j}$. At $v=-2$, all of the six $\bar\lambda_{t,2,d,j}$'s
1044: are equal in magnitude, and equal to unity. At $v=-3$,
1045: $|\bar\lambda_{t,2,0,j}|=2$ for $j=1,2$, and two of the
1046: $|\bar\lambda_{t,2,1,j}|=2$, while the third is equal in magnitude to 1.
1047:
1048: Correspondingly, the locus ${\cal B}_Q$ divides the $Q$ plane into five
1049: regions:
1050: %
1051: \begin{itemize}
1052:
1053: \item
1054:
1055: the region including the intervals $Q \ge 4$ and $Q \le 0$ on the real $Q$
1056: axis and extending to infinity, in which $\bar\lambda_{t,2,0,1}$ is dominant
1057:
1058: \item
1059:
1060: two complex-conjugate regions bounded at large $Q$ by curves that cross the
1061: imaginary axis at $Q \simeq \pm 8.23i$, in which one of the
1062: $\bar\lambda_{t,2,1,j}$'s is dominant
1063:
1064: \item
1065:
1066: the region including the interval $0 \le Q \le 2$, in which
1067: another $\bar\lambda_{t,2,1,j}$ is dominant
1068:
1069: \item
1070:
1071: the region in the interior of the loop centered approximately around $Q=2.6$,
1072: in which $\bar\lambda_{t,2,2}=1$ is dominant
1073:
1074: \end{itemize}
1075: %
1076:
1077: We have performed similar calculations for cyclic strips of the triangular
1078: lattice with greater widths, $L_y=3,4,5$. We find that ${\cal B}_v$ crosses the
1079: negative real axis at $v_{t2}(2\ell)$ for $1 \le \ell \le L_y$, so that ${\cal
1080: B}_Q$ crosses the real axis at the image points under eq. (\ref{qvtri}),
1081: $Q_{2\ell}$. As with the cyclic square-lattice strips with widths $L_y \ge 3$,
1082: we find that the outermost curves on ${\cal B}_Q$ cross the negative real axis;
1083: for example, for $L_y=3$, such a crossing occurs at $Q \simeq -9.4$.
1084:
1085:
1086: \subsection{Other Strips of the Triangular Lattice}
1087:
1088: We have also calculated the partition function and the resultant loci ${\cal
1089: B}_v$ and ${\cal B}_Q$ for strips of the triangular lattice with cylindrical
1090: and toroidal boundary conditions. A general feature that we find is that
1091: ${\cal B}_v$ passes through $v=-2$, and hence ${\cal B}_Q$ passes through
1092: $Q=4$. Other features depend on the specific boundary conditions and width.
1093: One property that we encounter is noncompactness of ${\cal B}_v$ and ${\cal
1094: B}_Q$ (as was the case with the $L_y=3$ toroidal strip of the square lattice
1095: and for cyclic self-dual strips of the square lattice \cite{qvsdg}).
1096:
1097: \section{Strips of the Honeycomb Lattice}
1098:
1099: We first give a general solution for the three roots in $v$ of eq.
1100: (\ref{qvhc}) with $Q=Q_r$; in order of increasing value, these are
1101: %
1102: \beq
1103: v_{hc1}(r) = -4\cos \Bigl ( \frac{\pi}{r} \Bigr )
1104: \cos \biggl [ \frac{\pi}{3}\Bigl ( \frac{1}{r}-1 \Bigr )\biggr ]
1105: \label{vhc1}
1106: \eeq
1107: %
1108: %
1109: \beq
1110: v_{hc2}(r) = -4\cos \Bigl ( \frac{\pi}{r} \Bigr )
1111: \cos \biggl [ \frac{\pi}{3}\Bigl ( \frac{1}{r}+1 \Bigr )\biggr ]
1112: \label{vhc2}
1113: \eeq
1114: %
1115: and
1116: %
1117: \beq
1118: v_{hc3}(r) = 4\cos \Bigl ( \frac{\pi}{r} \Bigr )
1119: \cos \Bigl ( \frac{\pi}{3r} \Bigr ) \ .
1120: \label{vhc3}
1121: \eeq
1122: %
1123: As $r$ increases from 2 to $\infty$, and $Q_r$ thus increases from 0 to 4, (i)
1124: $v_{hc1}(r)$ decreases from 0 to a minimum of $-9/4$ at $r =
1125: \pi/\arcsin(\sqrt{10}/8) \simeq 7.73$ and then increases to $-2$; (ii)
1126: $v_{hc2}(r)$ decreases monotonically from 0 to $-2$; and (iii) $v_{hc3}(r)$,
1127: the physical root, increases monotonically from 0 to 4. As with the analogous
1128: expressions for the triangular lattice, it is straightforward to work out
1129: simpler expressions to which eqs. (\ref{vhc1})-(\ref{vhc3}) reduce for special
1130: values of $r$; we omit the details here.
1131:
1132: For this honeycomb lattice, substituting the value $v=-2$ into
1133: eq. (\ref{qvhc}) yields two solutions, $Q=2$ and $Q=4$. Using our
1134: general solutions for the partition functions $Z(hc[2 \times
1135: m],free,Q,v)$ and $Z(hc[2 \times m],cyc.,Q,v)$ in Ref. \cite{hca}, we
1136: have checked that at $v=-2$, $Q=4$ there is degeneracy of dominant
1137: $\lambda$'s, so that these points are on the respective loci ${\cal
1138: B}_v$ and ${\cal B}_Q$. This property is thus similar to the feature
1139: that we have found for strips of the square and triangular lattices.
1140: For $L_y=2$ cyclic honeycomb-lattice strips we find that, in addition,
1141: the points $v=0$, $Q=Q_2=0$ and $v=-2$, $Q=Q_4=2$ are on the
1142: respective loci ${\cal B}_v$ and ${\cal B}_Q$. For the $L_y=3$ cyclic
1143: strips of this lattice, ${\cal B}_v$ contains these points and also
1144: $v_{hc1}(6)=-2\sqrt{3} \, \cos(5\pi/18)$, so that the image ${\cal
1145: B}_Q$ contains the point $Q=Q_6=3$. For all the strips of this
1146: lattice that we have studied, with $L_y$ up to $L_y=5$, we find that
1147: ${\cal B}_v$ crosses the real axis at $v=v_{hc1}(2\ell)$ for
1148: $\ell=1,\cdots,L_y$, so that ${\cal B}_Q$ crosses the real $Q$ axis at
1149: $Q_{2\ell}$ for $\ell=1,\cdots,L_y$.
1150:
1151: \section{Discussion}
1152:
1153: We remark on several features that are common to all of the strips of the three
1154: types of lattices that we have analyzed. These include the following:
1155: %
1156: \begin{itemize}
1157:
1158: \item
1159:
1160: For all of the strips, including those of the square, triangular, and
1161: honeycomb lattices, that we have studied where nontrivial continuous
1162: accumulation loci are defined (thus excluding the $1 \times m$ line
1163: graph with free boundary conditions), we find that ${\cal B}_v$ passes
1164: through $v=-2$ and ${\cal B}_Q$ passes through $Q=4$, which is the
1165: image of $v=-2$ under both of the mappings (\ref{qvsq}) and
1166: (\ref{qvtri}) and is a solution of eq. (\ref{qvhc}) with $v=-2$.
1167:
1168: \item
1169:
1170: For all of the cyclic (and equivalently, M\"obius) strips that we have studied,
1171: besides the crossing at $Q=4$, ${\cal B}_Q$ crosses the real axis at
1172: %
1173: \beq
1174: Q=Q_{2\ell} \quad {\rm for} \ \ \ell=1,\cdots,L_y \ .
1175: \label{q2ell}
1176: \eeq
1177: %
1178: We conjecture that this holds for arbitrarily large $L_y$. This locus can also
1179: cross the real axis at other points, such as the crossings on the negative real
1180: axis that we found for widths $L_y\ge 3$.
1181:
1182: \end{itemize}
1183: %
1184: For the particular case of the cyclic square-lattice strips, these properties
1185: agree with a result in Ref. \cite{saleur2}, namely, that at $Q=Q_{2\ell}$,
1186: $|\lambda_{sq,L_y,\ell,max}|=|\lambda_{sq,L_y,\ell-1,max}|$, where
1187: $\lambda_{sq,L_y,\ell,max}$ denotes the eigenvalue $\lambda_{sq,L_y,\ell,j}$ of
1188: largest magnitude.
1189:
1190: We also observed that the points $v=-2$ and $Q=4$ play a special role for
1191: self-dual strips of the square lattice in Ref. \cite{qvsdg}. It is interesting
1192: that for self-dual cyclic square-lattice strips, in addition to the point
1193: $Q=4$, ${\cal B}_Q$ crosses the real axis at $Q_{2\ell+1}$ for $1 \le \ell \le
1194: L_y$. This set of points is interleaved with those in eq. (\ref{q2ell}). As
1195: we have noted in Ref. \cite{qvsdg}, these findings are in accord with the fact
1196: that the Potts model at the values $Q=Q_r$ has special properties, such as the
1197: feature that the Temperley-Lieb algebra is reducible at these values
1198: \cite{martinber,saleur1,saleur2,ct}. In Ref. \cite{qvsdg} we compared our
1199: exact results for ${\cal B}$ on infinite-length, finite-width cyclic self-dual
1200: strips of the square lattice with calculations of partition function zeros for
1201: finite $L \times L$ sections of the square lattice with $Q=v^2$ in
1202: Ref. \cite{kc} with the same boundary conditions. For finite lattice sections,
1203: there is, of course, no locus ${\cal B}_Q$ defined, and hence one is only able
1204: to make a rough comparison of patterns of zeros. In the calculation of zeros
1205: for the above-mentioned $L \times L$ section of the square lattice with cyclic
1206: self-dual boundary conditions, e.g., for $L=8$, a number of zeros in the $Q$
1207: plane occur at or near to certain $Q_r$'s, and the zeros in the $v$ and $Q$
1208: planes exhibit patterns suggesting the importance of the points $v=-2$ and
1209: $Q=4$. With our results in the present paper, we can extend this comparison.
1210: We see that the importance of $v=-2$ and $Q=4$ for the pattern of partition
1211: function zeros for $Q$ and $v$ satisfying the relation (\ref{qvsq}) generalizes
1212: to square-lattice strips with a variety of boundary conditions, not necessary
1213: self-dual. Indeed, going further, our results show that the features we have
1214: observed are true not just of the partition function on the square-lattice
1215: strips with $Q=v^2$, but also on strips of the triangular and honeycomb
1216: lattices with $Q$ and $v$ satisfying the analogous phase transition conditions
1217: (\ref{qvtri}) and (\ref{qvhc}). One interesting aspect of the findings in the
1218: present work and our Ref. \cite{qvsdg} on infinite-length, finite-width strips
1219: is the special role of the value $Q=4$ for the loci ${\cal B}_Q$, which can
1220: make a connection with the locus ${\cal B}$ for the physical phase transition
1221: of the Potts model on two-dimensional lattices. In this context, we recall
1222: that the value $Q=4$ is the upper end of the interval $0 \le Q \le 4$ for which
1223: the ferromagnetic Potts model has a second-order transition on two-dimensional
1224: lattices.
1225:
1226:
1227: \section{Conclusions}
1228:
1229: In conclusion, we have presented exact results for the continuous accumulation
1230: set ${\cal B}$ of the locus of zeros of the Potts model partition function for
1231: the infinite-length limits of strips of the square, triangular, and honeycomb
1232: lattices with various widths, a variety of boundary conditions, and $Q$ and $v$
1233: restricted to satisfy the conditions (\ref{qvsq}), (\ref{qvtri}), and
1234: (\ref{qvhc}) for the ferromagnetic phase transition on the corresponding
1235: two-dimensional lattices. We have discussed some interesting general features
1236: of these loci.
1237:
1238:
1239: \section{Acknowledgments}
1240:
1241: This research was partially supported by the Taiwan NSC grant
1242: NSC-94-2112-M-006-013 (S.-C.C.) and the U.S. NSF grant PHY-00-98527 (R.S.).
1243:
1244: \section{Appendix}
1245:
1246: In this Appendix we list the $v_{tj}(r)$ for $r=6$, 8, and 10, which are
1247: relevant to the analysis of the cyclic strips of the triangular lattice for
1248: widths up to $L_y=5$. From eqs. (\ref{vt1})-(\ref{vt3}), we have
1249: %
1250: \beq
1251: v_{tj}(6), \ j=1,2,3 \quad \Longrightarrow \quad Q=Q_6=3
1252: \label{preimage_q3tri}
1253: \eeq
1254: %
1255: where \cite{r6}
1256: %
1257: \beq
1258: v_{t1}(6) = -1+2\cos(7\pi/9) \simeq -2.532089
1259: \label{vQ6c}
1260: \eeq
1261: %
1262: \beq
1263: v_{t2}(6) = -1+2\cos(5\pi/9) \simeq -1.347296
1264: \label{vQ6b}
1265: \eeq
1266: %
1267: \beq
1268: v_{t3}(6) = -1+2\cos(\pi/9) \simeq 0.879385
1269: \label{vQ6a}
1270: \eeq
1271: %
1272: %
1273: \beq
1274: v_{tj}(8), \ j=1,2,3 \quad \Longrightarrow \quad Q=Q_8=2+\sqrt{2}
1275: \label{preimage_Q8tri}
1276: \eeq
1277: %
1278: where
1279: %
1280: \beq
1281: v_{t1}(8) = -1-\sqrt{2} \simeq -2.414214
1282: \label{vQ8c}
1283: \eeq
1284: %
1285: \beq
1286: v_{t2}(8) = -1 + \frac{1-\sqrt{3}}{\sqrt{2}} \simeq -1.517638
1287: \label{vQ8b}
1288: \eeq
1289: %
1290: \beq
1291: v_{t3}(8) = -1 + \frac{1+\sqrt{3}}{\sqrt{2}} \simeq 0.931852
1292: \label{vQ8a}
1293: \eeq
1294: %
1295: %
1296: \beq
1297: v_{tj}(10), \ j=1,2,3 \quad \Longrightarrow \quad
1298: Q=Q_{10}=\frac{5+\sqrt{5} \,}{2}
1299: \label{preimage_Q10tri}
1300: \eeq
1301: %
1302: where
1303: %
1304: \beqs
1305: & & v_{t1}(10) = \frac{1}{4}\biggl (-5+\sqrt{5} \, - \sqrt{30+6\sqrt{5}} \
1306: \biggr ) \simeq -2.338261 \cr\cr
1307: & &
1308: \label{vQ10c}
1309: \eeqs
1310: %
1311: %
1312: \beqs
1313: & & v_{t2}(10) = -\frac{(1+\sqrt{5} \, )}{2} \simeq -1.618034
1314: \label{vQ10a}
1315: \eeqs
1316: %
1317: %
1318: \beqs
1319: & & v_{t3}(10) = \frac{1}{4}\biggl (-5+\sqrt{5} \, + \sqrt{30+6\sqrt{5}} \
1320: \biggr ) \simeq 0.956295 \cr\cr
1321: & &
1322: \label{vQ10b}
1323: \eeqs
1324: %
1325:
1326:
1327: \begin{thebibliography}{99}
1328:
1329: \bibitem{wurev}
1330: F. Y. Wu, Rev. Mod. Phys. {\bf 54}, 235 (1982).
1331:
1332: \bibitem{baxter}
1333: R. J. Baxter, {\it Exactly Solved Models in Statistical Mechanics} (Academic
1334: Press, New York, 1982).
1335:
1336: \bibitem{martinbook}
1337: P. Martin, {\it Potts Models and Related Problems
1338: in Statistical Mechanics} (World Scientific: Singapore, 1991).
1339:
1340: \bibitem{qvsdg}
1341: S.-C. Chang and R. Shrock, cond-mat/0602178.
1342:
1343: \bibitem{kf}
1344: P. Kasteleyn and C. Fortuin, J. Phys. Soc. Jpn. {\bf 26} (Suppl.), 11 (1969);
1345: C. Fortuin and P. Kasteleyn, Physica {\bf 57}, 536 (1972).
1346:
1347: \bibitem{wt1}
1348: W. T. Tutte, J. Combin. Theory {\bf 2}, 301 (1967); {\it ibid.} {\bf 9}, 289
1349: (1970).
1350:
1351: \bibitem{wt2}
1352: W. T. Tutte, ``Chromials'', in Lecture Notes in Mathematics, v. 411, p.
1353: 243 (1974); W. T. Tutte, {\it Graph Theory}, vol. 21 of Encyclopedia of
1354: Mathematics and Applications (Addison-Wesley, Menlo Park, 1984).
1355:
1356: \bibitem{biggsbook}
1357: N. Biggs, {\it Algebraic Graph Theory}, 2nd ed.
1358: (Cambridge Univ. Press, Cambridge, 1993).
1359:
1360: \bibitem{roots}
1361: We note that in the application of the conditions for the Potts
1362: model on the two-dimensional lattices, the variable $Q$ is normally fixed (to a
1363: non-negative integer) and one solves for the temperature-like variable $v$.
1364: For each of the three lattices, although the equations
1365: (\ref{qvsq})-(\ref{qvhc}) are nonlinear in $v$, only one of the (two, for
1366: $\Lambda=sq$, three, for $\Lambda=t,hc$) roots in $v$ is in the physical
1367: ferromagnetic range $0 \le v \le \infty$.
1368:
1369:
1370: \bibitem{dual}
1371: For a planar graph $G$, the Tutte polynomial satisfies $T(G,x,y)=T(G^*,y,x)$,
1372: where $G^*$ is the planar dual of $G$. The self-duality of the square lattice
1373: is manifested in the fact that the condition $x=y$ is invariant under the
1374: interchange $x \leftrightarrow y$. The fact that the honeycomb lattice is the
1375: dual of the triangular lattice is manifested in the property that the
1376: conditions $y^2+y-x-1$ (t) and $x^2+x-y-1$ (hc) transform into each other under
1377: the interchange $x \leftrightarrow y$.
1378:
1379: \bibitem{bkw}
1380: S. Beraha, J. Kahane, and N. Weiss, J. Combin. Theory B {\bf 27}, 1 (1979);
1381: J. Combin. Theory B {\bf 28}, 52 (1980).
1382:
1383: \bibitem{saleur1}
1384: H. Saleur, Commun. Math. Phys.{\bf 132}, 657 (1990).
1385:
1386: \bibitem{saleur2}
1387: H. Saleur, Nucl. Phys. B {\bf 360}, 219 (1991).
1388:
1389: \bibitem{cf}
1390: S.-C. Chang and R. Shrock, Physica A {\bf 296}, 131 (2001).
1391:
1392: \bibitem{hca}
1393: S.-C. Chang and R. Shrock, Physica A {\bf 296}, 183 (2001).
1394:
1395: \bibitem{a}
1396: R. Shrock, Physica A {\bf 283}, 388 (2000).
1397:
1398: \bibitem{s3a}
1399: S.-C. Chang and R. Shrock, Physica A {\bf 296}, 234 (2001).
1400:
1401: \bibitem{ts}
1402: S.-C. Chang, J. Salas, and R. Shrock, J. Stat. Phys. {\bf 107}, 1207 (2002).
1403:
1404: \bibitem{zt}
1405: S.-C. Chang and R. Shrock, Physica A {\bf 347}, 314 (2005).
1406:
1407: \bibitem{zttor}
1408: S.-C. Chang and R. Shrock, Physica A, in press (cond-mat/0506274).
1409:
1410: \bibitem{ta}
1411: S.-C. Chang and R. Shrock, Physica A {\bf 286}, 189 (2000).
1412:
1413: \bibitem{tt}
1414: S.-C. Chang, J. Jacobsen, and J. Salas, and R. Shrock, J. Stat. Phys.
1415: {\bf 114}, 763 (2004).
1416:
1417: \bibitem{martinber}
1418: P. Martin, J. Phys. A {\bf 20}, L399 (1987).
1419:
1420: \bibitem{ct}
1421: %
1422: A related fact is that complex-temperature phase diagrams of the Potts model
1423: show special properties at $Q=Q_r$. In addition to the trivial cases $Q=Q_2=0$
1424: and $Q=Q_3=1$ and the exactly solvable Ising case $Q=Q_4=2$,
1425: complex-temperature phase diagrams have been studied for various $Q_r$ such as
1426: $Q_6=3$ and $Q_1=Q_\infty=4$ in, e.g., Refs. \cite{martinbook},
1427: \cite{a}-\cite{tt} and \cite{chw}-\cite{jrs}. These studies are complementary
1428: to Refs. \cite{qvsdg,kc} and the present work in that $Q$ and $v$ are kept as
1429: independent variables rather than being restricted to satisfy a condition such
1430: as one of eqs. (\ref{qvsq})-(\ref{qvhc}).
1431:
1432:
1433: \bibitem{chw}
1434: C. N. Chen, C. K. Hu, and F. Y. Wu, Phys. Rev. Lett. {\bf 76}, 169 (1996).
1435:
1436: \bibitem{pfef}
1437: V. Matveev and R. Shrock, Phys. Rev. E {\bf 54}, 6174 (1996).
1438:
1439: \bibitem{p}
1440: H. Feldmann, R. Shrock, and S.-H. Tsai, Phys. Rev. E {\bf 57}, 1335 (1998).
1441:
1442: \bibitem{p2}
1443: H. Feldmann, A. J. Guttmann, I. Jensen, R. Shrock, and S.-H. Tsai, J. Phys.
1444: A {\bf 31} 2287 (1998).
1445:
1446: \bibitem{ka}
1447: S.-C. Chang and R. Shrock, Int. J. Mod. Phys. B {\bf 15}, 443 (2001).
1448:
1449: \bibitem{sdg}
1450: S.-C. Chang and R. Shrock, Phys. Rev. E {\bf 64}, 066116 (2001).
1451:
1452: \bibitem{jrs}
1453: J. Jacobsen, J.-F. Richard, and J. Salas, Nucl. Phys. B, to appear.
1454:
1455: \bibitem{kc}
1456: S.-Y. Kim and R. Creswick, Phys. Rev. E {\bf 63}, 066107 (2001).
1457:
1458: \bibitem{r6}
1459: There are various equivalent ways to write the expressions for the roots of
1460: eqs. (\ref{qvtri}) and (\ref{qvhc}) with $Q=Q_r$. For example, for $r=6$,
1461: i.e., $Q=Q_6=3$, the special cases of our general eqs. (\ref{vt1}),
1462: (\ref{vt2}), and (\ref{vt3}) for $v_{tj}$, $j=1,2,3$, are equivalent to
1463: eqs. (2.14), (2.13), and (2.12) of Ref. \cite{p2} and the special cases of our
1464: general eqs. (\ref{vhc1}), (\ref{vhc2}), and (\ref{vhc3}) for $v_{hcj}$,
1465: $j=1,2,3$, are equivalent to eqs. (3.5), (3.4), and (3.3) of Ref. \cite{p}.
1466:
1467: \end{thebibliography}
1468: \vfill
1469: \eject
1470:
1471: \end{document}
1472:
1473:
1474:
1475:
1476: