1: 

2: %

3: % Exact T=0 Partition Functions for Potts Antiferromagnets on

4: %    Sections of the Simple Cubic Lattice}

5: %

6: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7: %\documentstyle [12pt,amsfonts] {article}

8: %\input epsf

9: \documentclass[12pt]{article}

10: \usepackage{amsfonts}

11: \usepackage{epsf}

12: 

13: \topmargin -0.3in

14: \textwidth  6.5in

15: \textheight 8.5in

16: 

17: \oddsidemargin 0in

18: 

19: \usepackage{latexsym}

20: 

21: \newcommand{\beq}{\begin{equation}}

22: \newcommand{\eeq}{\end{equation}}

23: \newcommand{\beqs}{\begin{eqnarray}}

24: \newcommand{\eeqs}{\end{eqnarray}}

25: \newcommand{\reff}[1]{(\ref{#1})}

26: 

27: \catcode`@=11

28: \@addtoreset{equation}{section}

29: \@addtoreset{equation}{subsection}

30: \def\theequation{\ifnum\value{section}=0 \arabic{equation}\ignorespaces

31: \else \ifnum\value{section}=-1 A.\arabic{equation}\ignorespaces

32: \else \ifnum\value{subsection}=0 \thesection.\arabic{equation}\ignorespaces

33: \else \thesection.\arabic{subsection}.\arabic{equation}\ignorespaces

34:                            \fi

35:                       \fi

36:                  \fi}

37: \catcode`@=12

38: 

39: \begin{document}

40: 

41: \def\thefootnote{\fnsymbol{footnote}}

42: 

43: \baselineskip 6.0mm

44: 

45: \vspace{4mm}

46: 

47: \begin{center}

48: 

49: {\Large \bf Exact $T=0$ Partition Functions for Potts Antiferromagnets on

50: Sections of the Simple Cubic Lattice} 

51: 

52: \vspace{8mm}

53: 

54: \setcounter{footnote}{0}

55: Jes\'us Salas$^{(a)}$\footnote{email: jesus@melkweg.unizar.es} and

56: \setcounter{footnote}{6}

57: Robert Shrock$^{(b)}$\footnote{email: robert.shrock@sunysb.edu}

58: 

59: \vspace{6mm}

60: 

61: (a) \ Departamento de F\'{\i}sica Te\'orica \\

62: Facultad de Ciencias \\ 

63: Universidad de Zaragoza \\

64: Zaragoza 50009 \\

65: Spain

66: 

67: (b) \ C. N. Yang Institute for Theoretical Physics  \\

68: State University of New York       \\

69: Stony Brook, N. Y. 11794-3840  \\

70: USA

71: 

72: 

73: \vspace{10mm}

74: 

75: {\bf Abstract}

76: \end{center}

77: 

78: We present exact solutions for the zero-temperature partition function of the

79: $q$-state Potts antiferromagnet (equivalently, the chromatic polynomial $P$) on

80: tube sections of the simple cubic lattice of fixed transverse size $L_x \times

81: L_y$ and arbitrarily great length $L_z$, for sizes $L_x \times L_y = 2 \times

82: 3$ and $2 \times 4$ and boundary conditions (a) $(FBC_x,FBC_y,FBC_z)$ and (b)

83: $(PBC_x,FBC_y,FBC_z)$, where $FBC$ ($PBC$) denote free (periodic) boundary

84: conditions. In the limit of infinite-length, $L_z \to \infty$, we calculate the

85: resultant ground state degeneracy per site $W$ (= exponent of the ground-state

86: entropy).  Generalizing $q$ from ${\mathbb Z}_+$ to ${\mathbb C}$, we determine

87: the analytic structure of $W$ and the related singular locus ${\cal B}$ which

88: is the continuous accumulation set of zeros of the chromatic polynomial.  For

89: the $L_z \to \infty$ limit of a given family of lattice sections, $W$ is

90: analytic for real $q$ down to a value $q_c$.  We determine the values of $q_c$

91: for the lattice sections considered and address the question of the value of

92: $q_c$ for a $d$-dimensional Cartesian lattice.  Analogous results are presented

93: for a tube of arbitrarily great length whose transverse cross section is formed

94: from the complete bipartite graph $K_{m,m}$.

95: 

96: 

97: \vspace{16mm}

98: 

99: \pagestyle{empty}

100: \newpage

101: 

102: \pagestyle{plain}

103: \pagenumbering{arabic}

104: \renewcommand{\thefootnote}{\arabic{footnote}}

105: \setcounter{footnote}{0}

106: 

107: \section{Introduction} 

108: \label{sec_intro}

109: 

110: The $q$-state Potts antiferromagnet (PAF) \cite{potts,wurev} exhibits nonzero

111: ground state entropy, $S_0 > 0$ (without frustration) for sufficiently large

112: $q$ on a given lattice $\Lambda$ or, more generally, on a graph $G$.  This is

113: equivalent to a ground state degeneracy per site $W > 1$, since $S_0 = k_B \ln

114: W$.  Such nonzero ground state entropy is important as an exception to the

115: third law of thermodynamics \cite{al,cw}.  One physical example is provided by

116: ice, for which the residual molar entropy is $S_0 = 0.82 \pm 0.05$

117: cal/(K-mole), i.e., $S_0/R = 0.41 \pm 0.03$, where $R=N_{Avog.}k_B$ \cite{lp}.

118: Indeed, residual entropy at low temperatures has been observed in a number of

119: molecular crystals, including nitrous oxide, NO and FClO$_3$ (a comprehensive

120: review is given in Ref. \cite{ps}).  In these physical examples, the entropy

121: occurs without frustration, i.e., the configurational energy can be minimized,

122: just as in the Potts antiferromagnet for sufficiently large $q$.

123: 

124: There is a close connection with graph theory here, since the zero-temperature

125: partition function of the above-mentioned $q$-state Potts antiferromagnet on a

126: graph $G=(V,E)$ satisfies

127: %

128: \beq

129: Z(G,q,T=0)_{\rm PAF}=P(G,q)

130: \label{zp}

131: \eeq

132: %

133: where $G$ is defined by its set of vertices $V$ and edges $E$ and

134: $P(G,q)$ is the chromatic polynomial expressing the number of ways of

135: coloring the vertices of $G$ with $q$ colors such that no two

136: adjacent vertices have the same color (for reviews, see

137: \cite{rrev}-\cite{bbook}).  The minimum number of colors necessary for such a

138: coloring of $G$ is called the chromatic number, $\chi(G)$. 

139: Thus

140: %

141: \beq

142: W(\{G\},q) = \lim_{n \to \infty} P(G,q)^{1/n}

143: \label{w}

144: \eeq 

145: %

146: where $n=|V|$ is the number of vertices of $G$ and we denote the formal

147: infinite-length limit of strip graphs of type $G$ as 

148: $\{G\} = \lim_{n \to \infty}G$.  At certain special points $q_s$ 

149: (typically $q_s=0,1,.., \chi(G)$), one has the noncommutativity of

150: limits \cite{w} 

151: %

152: \beq

153: \lim_{q \to q_s} \lim_{n \to \infty} P(G,q)^{1/n} \ne \lim_{n \to

154: \infty} \lim_{q \to q_s}P(G,q)^{1/n}

155: \label{wnoncom}

156: \eeq 

157: %

158: and hence it is necessary to specify the order of the limits in the definition

159: of $W(\{G\},q_s)$. Denoting $W_{qn}$ and $W_{nq}$ as the functions defined by

160: the different order of limits on the left and right-hand sides of

161: (\ref{wnoncom}), we take $W \equiv W_{qn}$ here; this has the advantage of

162: removing certain isolated discontinuities that are present in $W_{nq}$. Using

163: the expression for $P(G,q)$, one can generalize $q$ from ${\mathbb Z}_+$ to

164: ${\mathbb C}$.  The zeros of $P(G,q)$ in the complex $q$ plane are called

165: chromatic zeros; a subset of these may form an accumulation set in the $n \to

166: \infty$ limit, denoted ${\cal B}$, which is the continuous locus of points

167: where $W(\{G\},q)$ is nonanalytic. For some families of graphs ${\cal B}$ may

168: be null, and $W$ may also be nonanalytic at certain discrete points.  The

169: maximal region in the complex $q$ plane to which one can analytically continue

170: the function $W(\{G\},q)$ from physical values where there is nonzero ground

171: state entropy is denoted $R_1$.  The ground state degeneracy per site

172: $W(\{G\})$ is an analytic function of real $q$ from large values down to the

173: value $q_c$, which is the maximal value where ${\cal B}$ intersects the

174: (positive) real axis. For some families of graphs, ${\cal B}$ does not cross or

175: intersect the real $q$ axis; in these cases, no $q_c$ is defined. However, even

176: in cases where no such intersection occurs, ${\cal B}$ often includes

177: complex-conjugate arcs with endpoints close to the positive real axis, and

178: hence, in these cases, it can be useful to define a quantity $(q_c)_{\rm eff}$

179: equal to the real part of the endpoints.  We shall use this definition here.

180: 

181: In this work we present exact solutions for chromatic polynomials

182: $P(G,q)$ for sections of the simple cubic (sc) lattice with fixed transverse

183: size $L_x \times L_y$ and arbitrarily great length $L_z$, for cross sections

184: $L_x \times L_y = 3 \times 2$ and $4 \times 2$. These calculations are carried

185: out for the cases (a) $(FBC_x,FBC_y,FBC_z)$ (rectangular solid) and (b)

186: $(PBC_x,FBC_y,FBC_z)$ (homeomorphic to an annular cylindrical solid), where

187: $FBC_i$ and $PBC_i$ denote free and periodic boundary conditions in the $i$'th

188: direction, respectively.  We shall use the notation $(L_i)_{\rm F}$ and

189: $(L_i)_{\rm P}$ to denote free and periodic boundary conditions in the $i$'th

190: direction, so that, for example, the $3 \times 2 \times L_z$ sections of the

191: simple cubic lattice with the boundary conditions of type (a) and (b) are

192: denoted $3_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F}$ and $3_{\rm P} \times

193: 2_{\rm F} \times (L_z)_{\rm F}$, respectively.  For each family of graphs,

194: taking the infinite-length limit $L_z \to \infty$, we calculate $W(\{G\},q)$,

195: ${\cal B}$, and hence $q_c$.

196: 

197: We also present corresponding results for a tube of arbitrarily great 

198: length whose transverse cross section is formed from the complete bipartite 

199: graph $K_{m,m}$, for the cases $m=2$ and 3.  Here the complete graph $K_n$ is

200: defined as the graph consisting of $n$ vertices such that each vertex is

201: connected by edges (bonds) to every other vertex, and the complete bipartite

202: graph $K_{m,n}$ is defined as the join $K_m + K_n$, where the join of two

203: graphs $G$ and $H$, denoted $G+H$ is the graph obtained by joining each of the

204: vertices of $G$ to each of the vertices of $H$.  Although the complete

205: bipartite graphs are not regular lattices as studied in statistical mechanics, 

206: they are useful since they allow us to obtain exact results for cases of high 

207: effective coordination number.

208: 

209: There are several motivations for this work.  We have mentioned the basic

210: importance of nonzero ground state entropy in statistical mechanics and

211: physical examples of this phenomenon. From the point of view of rigorous

212: statistical mechanics, exact analytic solutions are always valuable since they

213: complement results from approximate series expansions and numerical methods.

214: We have defined the point $q_c$ above in terms of the function $W(\{G\},q)$.

215: This point has another important physical significance: for the $n \to \infty$

216: limit of a given family of graphs, $\{G\}$, the $q$-state Potts antiferromagnet

217: has no finite-temperature phase transition but is disordered for all $T \ge 0$

218: if $q > q_c(\{G\})$, and has a zero-temperature critical point for

219: $q=q_c(\{G\})$ \cite{qcni}. 

220:  For the Potts model on the (infinite) square lattice,

221: via a mapping to a vertex model, it has been concluded that $q=3$

222: \cite{lenard}.  However, the value of $q_c$ is not known for any lattice of

223: dimension three or higher.  One of the main motivations for our study is the

224: insight that one gains concerning the dependence of $q_c$ on the coordination

225: number $\Delta=2d$ of a $d$-dimensional Cartesian lattice ${\mathbb E}^d$ for

226: the case $d=3$. Furthermore, although infinite-length sections of

227: higher-dimensional lattices with fixed finite $(d-1)$-dimensional volume

228: transverse to the direction in which the length goes to infinity are

229: quasi-one-dimensional systems and hence (for finite-range spin-spin

230: interactions) do not have finite-temperature phase transitions, their

231: zero-temperature critical points are of interest.  Finally, in addition to the

232: physics motivations, the present results are of interest in mathematical graph

233: theory.  Some related earlier work is in %%%Refs.~\cite{lenard}-\cite{JS}.

234: Refs.~\cite{ssbounds}-\cite{JS}.

235: 

236: Our exact calculations of $q_c$ for the infinite-length limits of tube sections

237: of the simple cubic lattice yield information relevant to estimates of $q_c$

238: for the infinite cubic lattice.  The point here is that as the area of the

239: transverse cross section of the tube increases to infinity, the corresponding

240: sequence of exact $q_c$ or $(q_c)_{\rm eff}$ values is expected to converge to

241: a limit.  For the tube sections considered here, which have free longitudinal

242: boundary conditions, this limit is a lower bound for the true $q_c$ of the

243: infinite simple cubic lattice.  The reason that one can only say that it is a

244: lower bound is that for these families with free longitudinal boundary

245: conditions the respective limiting curve ${\cal B}$ exhibits a

246: complex-conjugate pair of prongs that protrude to the right.  It is possible

247: that, as the area of the transverse cross section goes to infinity, the

248: endpoints of these prongs will extend over and meet on the real axis, thereby

249: defining a point $q_c$ which could lie to the right of the limit of the $q_c$

250: points for each of the tubes with finite transverse cross section.  In this

251: case, $\lim_{L_x,L_y \to \infty} q_c(sc, \ (L_x)_{BCx} \times (L_y)_{BCy}

252: \times \infty_{\rm F})$ is not equal to, but instead less than, the value

253: $q_c(sc)$ for the infinite simple cubic lattice.  Indeed, for finite-width,

254: infinite-length strips of the triangular lattice with free longitudinal ($z$)

255: boundary conditions and periodic transverse $y$ boundary conditions, $\lim_{L_y

256: \to \infty} q_c((L_y)_{\rm P} \times \infty_{\rm F}) \simeq 3.81967...$ while

257: $q_c=4$ for the infinite triangular lattice \cite{baxter}.  This occurs because

258: of the above-mentioned phenomenon in which the endpoints of the

259: complex-conjugate pair of prongs protruding to the right on the limiting curve

260: ${\cal B}$ move inward toward the real axis and, as $L_y \to \infty$, finally

261: touch each other, thereby defining the true $q_c=4$ about 5 \% greater than the

262: above limit at $\sim 3.82$. The presence of these types of prongs protruding to

263: the right on the limiting curves was also observed for a variety of

264: infinite-length, finite-width 2D lattice strips with free longitudinal boundary

265: conditions (for both free and periodic transverse boundary conditions)

266: \cite{strip,strip2,t,s4,sstransfer,JS}.  Calculations for $L_{\rm P} \times

267: \infty_{\rm F}$ (i.e. cylindrical) strips of the square lattice have been

268: carried out in \cite{strip2,s4,sstransfer,JS} with widths $L$ extending up to

269: 13 \cite{JS}, with $q_c(sq, \ 13_{\rm P} \times \infty_{\rm F}) \simeq 2.916$.

270: This value is within about 3 \% of the value for the infinite square lattice,

271: $q_c(sq)=3$.  As the width increases, the endpoints of the prongs do move in

272: toward the real axis.  These calculations for $L_{\rm P} \times \infty_{\rm F}$

273: strips of the square lattice are consistent with either of the two

274: possibilities, that $\lim_{L \to \infty} q_c(sq, L_{\rm P} \times \infty_{\rm

275: F})$ is equal to, or slightly less than, $q_c(sq)$.

276: 

277: It is interesting that the exact calculations of the singular loci ${\cal B}$

278: for infinite-length, finite-width strips of various lattices with periodic

279: longitudinal boundary conditions \cite{tpbc} (and either free or periodic

280: transverse boundary conditions) yielded loci without such complex-conjugate

281: prongs (or line segments on the real axis) \cite{w,wcy,s4,tk,tor4,t}.  For

282: these families of strips it was found that ${\cal B}$ always crossed the

283: positive real axis at $q=0$ and at a maximal point, so $q_c$ is always defined;

284: furthermore, $L_{\rm F} \times \infty_{\rm P}$, the value of $q_c$ is a

285: monotonically nondecreasing function of the width.  For $L_{\rm P} \times

286: \infty_{\rm P}$ strips, although $q_c$ is not a nondecreasing function of the

287: width, it is, for a given width, closer to the value for the infinite 2D

288: lattice if one uses periodic, rather than free transverse boundary conditions,

289: as one would expect since the former minimize finite-size effects.

290: 

291: Some definitions from graph theory will be useful here.  The degree of a vertex

292: in a graph $G=(V,E)$ is the number of edges to which it is attached.  A graph

293: $G$ defined to be $\Delta$-regular iff each of its vertices has the same

294: degree, $\Delta$.  This is, in particular, true of an infinite regular lattice,

295: where this degree is the coordination number.  Even if some vertices

296: have different degrees from others, one can define an effective coordination

297: number,

298: \beq 

299: \Delta_{\rm eff} = \lim_{|V| \to \infty} \frac{2|E|}{|V|} \ . 

300: \label{deltaeff}

301: \eeq

302: For example, for a strip of the square lattice of size of the type 

303: $(L_x)_{\rm F} \times (L_y)_{\rm F}$, in the limit in which the length 

304: $L_x \to \infty$ with fixed finite width, $L_y$, 

305: \beq

306: \Delta_{\rm eff}(sq,(L_x)_{\rm F} \times (L_y)_{\rm F} ;\ L_x \to \infty) = 

307: 4-\frac{2}{L_y} \ . 

308: \label{deltaff}

309: \eeq

310: For the same strip, but with periodic transverse boundary conditions, if $L_y

311: \ge 3$ to avoid double edges, we have

312: \beq

313: \Delta_{\rm eff}(sq,(L_x)_{\rm F} \times (L_y)_{\rm P} \ ;L_x \to \infty) = 4 

314: \ . 

315: \label{deltapf}

316: \eeq

317: For the $(L_x)_{\rm F} \times (L_y)_{\rm F} \times (L_z)_{\rm F}$ section of 

318: the simple cubic 

319: lattice with free boundary conditions in all three directions, the interior 

320: vertices have 

321: degree 6, the vertices on the surface away from the corners have degree 4, 

322: and the corner-vertices have degree 3.  For the minimal case 

323: $2_{\rm F} \times 2_{\rm F}\times (L_z)_{\rm F}$, there are no interior 

324: vertices in the 3D sense, so that 

325: \beq

326: \Delta_{\rm eff}(sc,2_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F} ; \ 

327: L_z \to \infty) = 4 \ . 

328: \label{delta22z}

329: \eeq

330: For the next case $(L_x)_F \times 2_F \times (L_z)_{\rm F}$ 

331: with $L_x \geq 3$ there are also no interior vertices in the 3D sense; in

332: this case 

333: \beq

334: \Delta_{\rm eff}(sc,(L_x)_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F};

335:         FBC_x,FBC_y,FBC_z;L_z \to\infty) = 5 - {2 \over L_x} \ . 

336: \label{deltax2z}

337: \eeq

338: For the $L_z \to \infty$ limit of the $L_x \times L_y \times L_z$ section 

339: with $L_x \ge 3$, $L_y \ge 3$, we have

340: \beq

341: \Delta_{\rm eff}(sc,(L_x)_{\rm F} \times (L_y)_{\rm F} \times (L_z)_{\rm F}; 

342: \ L_z \to \infty)= 6 - 2\frac{(L_x+L_y)}{L_x L_y} \ . 

343: \label{deltafff}

344: \eeq

345: We shall also use the corresponding formulas when periodic rather than free

346: boundary conditions are imposed in one of the transverse directions.

347: Of course, in the usual thermodynamic limit of the Cartesian lattice 

348: ${\mathbb E}^d$, with $L_i \to \infty$, $i=1,..,d$ and 

349: $\lim_{L_i \to \infty} L_i/L_j$ equal to a finite nonzero constant, the 

350: effective degree is $\Delta_{\rm eff}({\mathbb E}^d)=2d$ independent of 

351: boundary conditions. In this case, although free boundary conditions in one 

352: or more directions entails vertices of lower degree than $2d$, these vertices 

353: occupy a vanishing fraction of the total vertices in the thermodynamic limit.

354: Concerning the chromatic number, for the sections of 3D lattices considered

355: here, we have

356: \beq

357: \chi(sc, (L_x)_{\rm F} \times (L_y)_{\rm F} \times (L_z)_{\rm F})=2

358: \label{chifff}

359: \eeq

360: i.e., these graphs are bipartite.  For the sections of the simple cubic 

361: lattice with periodic boundary conditions in one of the transverse direction,

362: taking this to be the $x$ direction with no loss of generality, 

363: \beq

364: \chi(sc, (L_x)_{\rm P} \times (L_y)_{\rm F} \times (L_z)_{\rm F})=  

365:                                   \cases{ 2 & if $L_x$ is even \cr

366:                                           3 & if $L_x$ is odd \cr }

367: \label{chifpf}

368: \eeq

369: 

370: For an infinite regular lattice having coordination number $\Delta$, a 

371: rigorous upper bound on $q_c$ was derived in \cite{ssbounds} using the 

372: Dobrushin theorem: 

373: \beq

374: q_c \le 2\Delta \ . 

375: \label{qcupper}

376: \eeq

377: %

378: Aside from the general property that, for cases where there is a $q_c$, this

379: point satisfies $q_c \ge 2$, we are not aware of a

380: published lower bound on $q_c$.

381: 

382: We have noted that in the infinite-length limit of given family of lattice

383: strip graphs, ${\cal B}$ does not necessarily intersect or cross the real $q$

384: axis, and for such a family, there is no $q_c$.  It has been found that for a

385: graph consisting of a strip of a regular lattice, a sufficient condition for

386: ${\cal B}$ to cross the (positive) real $q$ axis is that there be periodic

387: boundary conditions in the longitudinal direction, i.e., the direction in which

388: the length goes to infinity as $n \to \infty$ \cite{w}-\cite{bcc}.

389: 

390: An interesting question is how $q_c$ depends on the lattice coordination

391: number, equivalent to the vertex degree for an infinite lattice.  For families

392: of $L_x \times L_y$ lattice strip graphs with periodic longitudinal ($L_x$)

393: boundary conditions, whose $L_x \to \infty$ limits are guaranteed to have a

394: $q_c$, it is found that the value of $q_c$ is a nondecreasing function of the

395: effective vertex degree $\Delta_{\rm eff}$.  Thus, for the family of cyclic

396: strips of the square lattice with free transverse boundary conditions, besides

397: the the $1_F \times \infty_F$ case with $\Delta=2$ and $q_c=2$, one finds the

398: following results: (i) $2_F \times \infty_F$ ($\Delta=3$) yields $q_c=2$

399: \cite{w}, (ii) $3_F \times \infty_F$ ($\Delta_{\rm eff}=10/3$) yields $q_c

400: \simeq 2.3365$ \cite{wcy}, (iii) $3_F \times \infty_F$ ($\Delta_{\rm eff}=7/2$)

401: yields $q_c \simeq 2.4928$ \cite{s4}.  When one makes both the longitudinal and

402: transverse boundary conditions periodic, the vertex degree is fixed.  In this

403: case, $q_c$ does not necessarily increase with increasing width, $L_y$.  For

404: example, for strips of the square lattice with toroidal boundary conditions and

405: hence $\Delta=4$, the $3_P \times \infty_P$ strip yields $q_c=3$ \cite{tk}

406: while the $4_P \times \infty_P$ strips yields the smaller value $q_c \simeq

407: 2.78$ \cite{tor4}.

408: 

409: When one considers strips without periodic longitudinal boundary conditions,

410: there may or may not be a $q_c$.  We have found that for strips with free

411: transverse and longitudinal boundary conditions, $q_c$ or $(q_c)_{\rm eff}$,

412: where the latter can be defined, is a monotonically increasing function of

413: $L_y$, and since in these families of lattice strips, $\Delta_{\rm eff}$ is a

414: monotonically increasing function of $L_y$, this means that $(q_c)_{\rm eff}$

415: is also a monotonically increasing function of $\Delta_{\rm eff}$.  Thus, for

416: $1_F \times \infty_F$ with $\Delta_{\rm eff}=2$ and $2_F \times \infty_F$ with

417: $\Delta_{\rm eff}=3$, ${\cal B}=\emptyset$ and there is no $(q_c)_{\rm eff}$,

418: while $3_F \times \infty_F$ with $\Delta_{\rm eff}=10/3$ yields $q_c=2$

419: \cite{strip}, $4_F \times \infty_F$ with $\Delta_{\rm eff}=7/2$ yields $q_c

420: \simeq 2.3014$ \cite{strip}, $5_F \times \infty_F$ with $\Delta_{\rm eff}=3.60$

421: yields $q_c \simeq 2.428$ \cite{s4,sstransfer}, etc. up to $8_F \times

422: \infty_F$ with $\Delta_{\rm eff}=3.75$, which yields arc endpoints at $q \simeq

423: 2.6603 \pm 0.0013i$ and hence $(q_c)_{\rm eff}=2.6603$ \cite{sstransfer}.

424: 

425: In contrast, for strips with free longitudinal and 

426: periodic transverse boundary conditions, $\Delta_{\rm eff}$ is fixed, e.g.,

427: equal to 4 for strips of the square lattice.  Insofar as one expects $q_c$ or

428: $(q_c)_{\rm eff}$ to depend on $\Delta_{\rm eff}$, it is not clear, {\it a

429: priori}, how these quantities should behave as functions of $L_y$.  Indeed, one

430: finds that $q_c$ or $(q_c)_{\rm eff}$ have no monotonic dependence on $L_y$.

431: For example, for $3_P \times \infty_F$, ${\cal B}=\emptyset$, $4_P \times

432: \infty_F$ yields $q_c \simeq 2.3517$ \cite{strip2}, $5_P \times \infty_F$

433: yields $q_c \simeq 2.6917$ \cite{s4,sstransfer}, but $6_P \times \infty_F$

434: yields $q_c \simeq 2.6132$ \cite{s4,sstransfer}.  For $7_P \times \infty_F$,

435: ${\cal B}$ has arc endpoints near the real axis at $q \simeq 2.7515 \pm

436: 0.0025i$, so $(q_c)_{\rm eff} \simeq 2.7515$ \cite{sstransfer}.  For the cases

437: $(L_y)_P \times \infty$ up to $L=11$, it is found empirically that $q_c$ or

438: $(q_c)_{\rm eff}$ is monotonically increasing separately for the even-$L_y$ and

439: odd-$L_y$ sequences \cite{JS}.

440: 

441: Since $q_c$ has thermodynamic significance as the value of $q$ above which the

442: Potts antiferromagnet has no finite-temperature phase transition and is

443: disordered even at $T=0$, the value of $q_c$ for a lattice with dimensionality

444: $d \ge 2$ should be independent of the boundary conditions used to take the

445: thermodynamic limit.  (Strictly speaking, this is not true for $d=1$, since no

446: $q_c$ is defined for the infinite-length limit of the line graph, while $q_c=2$

447: for the infinite-length limit of the circuit graph, but this may be considered

448: to be an exception due to the special nature of this graph.)  For the infinite

449: 2D lattices where $q_c$ is known exactly, it is also a monotonically increasing

450: function of the lattice coordination number.  Specifically, as noted above, on

451: the square lattice ($\Delta=4$), one has $q_c=3$ \cite{lieb}.  For the kagom\'e

452: lattice, again with $\Delta=4$, one finds $q_c=3$ \cite{baxter70}, and on the 

453: triangular lattice with $\Delta=6$, one has $q_c=4$ \cite{baxter}.

454: 

455: These exact results are all consistent with the inference that the value of

456: $q_c$ increases as a function of the coordination number for the thermodynamic

457: limit of a regular lattice or, more generally, for infinite-length strips or

458: tubes of regular lattices with prescribed boundary conditions in the transverse

459: directions.  A plausibility argument for this is as follows.  For $q > q_c$,

460: the zero-temperature Potts antiferromagnet has nonzero ground state entropy per

461: site, $S = k_B \ln W > 0$, i.e., ground state degeneracy per site $W > 1$.

462: This entropy reflects the fact that the number of ways of carrying out a proper

463: coloring of the lattice or lattice strip increases exponentially with the

464: number of vertices.  Roughly speaking, the constraint that no two adjacent

465: vertices can be assigned the same color is more restrictive the greater the

466: number of neighboring vertices there are, i.e., the greater $\Delta_{\rm eff}$

467: is.  Therefore, as one increases $\Delta_{\rm eff}$ for a fixed $q$, $W$

468: decreases This is borne out by exact and numerical calculations of $W$ (for 2D

469: lattices, see, e.g., Fig. 5 of \cite{w} or Fig. 6 of \cite{wn}).  In the

470: context of $d$-dimensional Cartesian lattices, this means that $q_c$ should

471: increase as a function of $d$.  Such a monotonicity relation is valuable to

472: have since the value of $q_c$ is not known exactly for lattices with dimension

473: $d \ge 3$.

474: 

475: It is useful to define a ratio of the actual value of $q_c$ to the 

476: upper bound in (\ref{qcupper}), namely, 

477: \beq

478: R_{q_c} = \frac{q_c}{2\Delta} \ . 

479: \label{rqc}

480: \eeq

481: Evidently, $R_{q_c}=0.5$ for the infinite-length limit of the circuit graph 

482: and $R_{q_c}=0.375$ for the infinite square lattice.  Similarly, for other 

483: exactly known cases, the actual value of $q_c$ is considerably less than the 

484: rigorous upper bound (\ref{qcupper}).  This suggests that it may be possible 

485: to improve the upper bound (\ref{qcupper}). 

486: 

487: A generic form for chromatic polynomials for a strip graph of type $G_s$, 

488: or, more generally, a recursive family of graphs composed of $m$ repetitions 

489: of a basic subgraph, is \cite{bkw} 

490: \beq 

491: P(G_s,m,q)

492: = \sum_{j=1}^{N_{G_s,\lambda}} c_{G_s,j}(q)(\lambda_{G_s,j}(q))^m

493: \label{pgsum}

494: \eeq

495: where $c_{G_s,j}(q)$ and the $N_{G_s,\lambda}$ terms (eigenvalues) 

496: $\lambda_{G_s,j}(q)$ depend on the type of

497: strip graph $G_s$ including the boundary conditions but are independent of 

498: $m$.  Here, $N_\lambda \le \dim(T)$, where $\dim(T)$ is the 

499: dimension of the

500: transfer matrix in the Fortuin-Kasteleyn representation, and the difference, 

501: $N_{0a}=\dim(T)-N_\lambda$, is the number of zero amplitudes (coefficients). 

502: The coefficients $c_{G_s,j}$ can be regarded as the multiplicities of the 

503: eigenvalues $\lambda_{G_s,j}$ (for some real positive $q$ values, these

504: coefficients can be zero or negative, so that this interpretation presumes a

505: sufficiently large real positive $q$, followed by analytic continuation to

506: other values of $q$).

507: 

508: 

509: \section{Tubes of the Simple Cubic Lattice with Free Transverse Boundary Conditions}

510: \label{sec_sc_free}

511: 

512: The computations of the transfer matrix and the chromatic polynomials were

513: performed following the methods described in Section 3 of Ref.

514: \cite{sstransfer}.  The idea is to construct the partition function by building

515: the lattice layer by layer. In all the computations we have chosen the

516: Fortuin-Kasteleyn representation of the transfer matrix.  Thus, our basis will

517: be the connectivities of the top layer, whose basis elements ${\bf v}_{\cal P}$

518: are indexed by partitions ${\cal P}$ of the single-layer vertex set $V^0$.  We

519: shall abbreviate delta functions $\delta(\sigma_1,\sigma_3)$ as

520: $\delta_{1,3}$. Moreover, we shall also abbreviate partitions ${\cal P}$ by

521: writing instead the corresponding product ${\bf v}_{\cal P}$ of delta

522: functions: e.g., in place of ${\cal P} = \{\{1,3\},\{2,4\},\{5\}\}$ we shall

523: write simply ${\cal P} = \delta_{1,3}\delta_{2,4}$.  The transfer matrix can be

524: expressed as

525: %

526: \beq

527: {\mathsf T} = {\mathsf V} \, {\mathsf H}

528: \label{def_T}

529: \eeq

530: %

531: where the matrices ${\mathsf H}$ and ${\mathsf V}$ are defined as

532: %

533: \beqs

534: {\mathsf H} &=& \prod\limits_{<xx'>\in E^0} \left[ I - J_{xx'} \right] \\

535: {\mathsf V} &=& \prod\limits_{x\in V^0} \left[- I + D_x \right] \ . 

536: \label{def_V} 

537: \eeqs

538: %

539: In these formulae $E^0$ is the single-layer edge set, and 

540: $J_{x,x'}$ and $D_x$ are respectively 

541: the ``join'' and ``detach'' operators whose action on the elements 

542: of the basis ${\bf v}_{\cal P}$ is as follows 

543: %

544: \beqs

545: J_{xx'} {\bf v}_{\cal P} &=& {\bf v}_{{\cal P}\bullet xx'} \\ 

546: D_x {\bf v}_{\cal P} &=& \left\{ \begin{array}{ll} 

547:         {\bf v}_{{\cal P}\setminus x} & {\rm if} \{x\} \notin {\cal P} \\

548:       q {\bf v}_{\cal P}              & {\rm if} \{x\}    \in {\cal P} 

549:         \end{array} \right. 

550: \eeqs

551: %

552: where ${\cal P}\bullet xx'$ is the partition obtained from ${\cal P}$ by

553: amalgamating the blocks containing $x$ and $x'$ (if they were not already in 

554: the same block); and ${\cal P}\setminus x$ is the partition obtained from 

555: ${\cal P}$ by detaching $x$ from its block (and thus making it what we term 

556: a ``singleton'').

557: In eq. (\ref{def_V}) we have written the formulae for ${\mathsf H}$ and 

558: ${\mathsf V}$ in the zero-temperature Potts antiferromagnet limit; the general 

559: expressions can be found in \cite{sstransfer}. 

560: 

561: Finally, the partition function can be written as

562: %

563: \beq

564: Z(L_x\times L_y \times L_z;q) = {\bf u}^{\rm T} \cdot {\mathsf H} \,  

565:                 ({\mathsf V}{\mathsf H})^{L_z-1} \cdot  

566:                 {\bf v}_{\rm id} 

567: \label{def_Z}

568: \eeq

569: %

570: where ``id'' denotes the partition in which each site $x\in V^0$ is a 

571: singleton, and ${\bf u}^{\rm T}$ is defined by

572: %

573: \beq

574: {\bf u}^{\rm T} \cdot {\bf v}_{\cal P} = q^{|{\cal P}|} \ . 

575: \eeq

576: 

577: In the zero-temperature limit the horizontal operator ${\mathsf H}$ is

578: a projection. This implies that we can work in its image subspace by using 

579: the 

580: modified transfer matrix ${\mathsf T}' = {\mathsf H}{\mathsf V}{\mathsf H}$ 

581: in place of ${\mathsf T} = {\mathsf V}{\mathsf H}$, and using the basis vectors

582: %

583: \beq 

584: {\bf w}_{\cal P} = {\mathsf H}\, {\bf v}_{\cal P} 

585: \eeq

586: %

587: in place of ${\bf v}_{\cal P}$. Note that ${\bf w}_{\cal P}=0$ if ${\cal P}$

588: contains nay pair of nearest neighbors in the same block. 

589: In the following subsections we will list the basis 

590: ${\bf P} = \{{\bf v}_{\cal P}\}$, although we performed the actual

591: computations with the basis $\{{\bf w}_{\cal P}\}$. 

592: 

593: The computation of the limiting curves ${\cal B}$ was performed with either

594: the resultant and the direct-search methods (See ref.~\cite{sstransfer}

595: for details). The computation of the zeros of the chromatic polynomials

596: was done using the package MPSolve designed by Bini and Fiorentino

597: \cite{Bini,Bini2}, whose performance is superior to that of 

598: Mathematica for this particular task \cite{sstransfer}. 

599: 

600: %

601: % 2x2F

602: %

603: \subsection{$2_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F}$ Section of the

604: Simple Cubic Lattice} \label{sec_sc_2x2F}

605: 

606: Before proceeding to our new results, we note the identity

607: \beq

608: sc(2_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F}) = 

609:        sq(4_{\rm P} \times (L_z)_{\rm F}) \ . 

610: \label{2f2flzeq4plz}

611: \eeq 

612: The left-hand side of this identity is evidently a tube of the simple

613: cubic lattice with a minimal-size transverse cross section, viz., a single

614: square; the right-hand side of the identity is a strip of the square

615: lattice of width 4 squares, and periodic transverse boundary conditions.  The

616: chromatic polynomials for the family of graphs on the right-hand side of this

617: identity were calculated in section 7 of \cite{strip2} and, in the

618: infinite-length limit, $W$ and ${\cal B}$ were determined (see Fig. 3(a) of

619: \cite{strip2}).  In Ref. \cite{strip2}, the longitudinal direction 

620: was taken as $L_x$, while we take it to be $L_z$ here. 

621: In \cite{strip}-\cite{hs}, a generating function formalism was developed and

622: used; for a given strip graph $G_s$ of length $m$, the chromatic

623: polynomial $P((G_s)_m,q)$ is given as the coefficient of $z^m$, where $z$ is

624: the auxiliary expansion variable:

625: \beq

626: \Gamma(G_s,q,z) = \sum_{m=0}^{\infty}P((G_s)_m,q)z^m, 

627: \label{gamma}

628: \eeq

629: This generating function is a rational function of $q$ and $z$.  For the strip 

630: considered here, of length $L_z=m$ edges, 

631: \beq

632: \Gamma(G_s,q,z) = \frac{a_0+a_1z}{1+b_1z+b_2z^2}

633: \label{gammagen}

634: \eeq

635: where

636: \beq

637: a_0=q(q-1)(q^2-3q+3)

638: \label{a0sqtb}

639: \eeq

640: \beq

641: a_1=-q(q-1)(q^4-7q^3+16q^2-13q+5)

642: \label{a1sqtb}

643: \eeq

644: \beq

645: b_1=-q^4+8q^3-29q^2+55q-46

646: \label{b1sqtb}

647: \eeq

648: \beq

649: b_2=q^6-12q^5+61q^4-169q^3+269q^2-231q+85

650: \label{b2sqtb}

651: \eeq

652: (Here we have converted the numerator coefficients from \cite{strip2} to be in

653: accord with the labelling convention of eq. (\ref{gamma}); in the labelling 

654: convention of \cite{strip2}, the strip with length $m+1$ edges.) 

655: The chromatic polynomial can equivalently be written as in \ref{def_Z}: in 

656: the basis ${\bf P} = \{ 1, \delta_{1,4} + \delta_{2,3} \}$ it is given by 

657: %

658: \beq

659: Z(2_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F}; q) =  

660: \left( \begin{array}{c}

661:              q(q-1)(q^2-3q+3) \\

662:              2q(q-1)^2

663:              \end{array}

664: \right)^{\rm T} \cdot T(2_{\rm F} \times 2_{\rm F})^{L_z -1} \cdot

665: \left( \begin{array}{c}

666:              1 \\

667:              0 \\

668:             \end{array}

669: \label{Z_2x2F}

670: \right)

671: \eeq

672: The transfer matrix $T(2_{\rm F} \times 2_{\rm F})$ is equal to  

673: %

674: \beq

675: T(2_{\rm F}\times 2_{\rm F})   = \left( \begin{array}{cc} 

676:         41 - 51 q + 28 q^2 - 8 q^3 + q^4 & 2 (-12 + 14 q - 6 q^2 + q^3) \\

677:         -5 + 2 q                         & 5 - 4q + q^2

678:              \end{array}

679:     \right)

680: \label{T_2x2F}

681: \eeq

682: Note that in general, we should have considered an additional element in the

683: basis, namely the partition $\delta_{1,4}\delta_{3,2}$; however, its

684: amplitude vanishes identically.  This can be easily understood by noting that

685: this particular graph (\ref{2f2flzeq4plz}) is planar and

686: $\delta_{1,4}\delta_{3,2}$ is a crossing partition.

687: 

688: For this family, ${\cal B}$ consists of two complex-conjugate arcs, a

689: self-conjugate arc that crosses the real axis at $q \simeq 2.3026$, and a line

690: segment on this axis extending from $q \simeq 2.2534$ to $q \simeq 2.3517$,

691: which latter point is thus $q_c$.  It should be noted also that although this

692: graph is included here as the minimal-transverse-size member of a family of

693: $L_x \times L_y \times L_z$ sections of the simple cubic lattice, it is

694: degenerate in the sense that it is actually planar, in contrast to the others

695: that we shall study here.  There are eight endpoints in ${\cal B}$; two of them

696: are given by the real values $q \simeq 2.3026$ and $q \simeq 2.3517$; the other

697: six endpoints are the complex-conjugate pairs $q\simeq 0.7098 \pm 2.0427\,i$,

698: $q\simeq 1.9923\pm 1.5942\,i$, and $q\simeq 2.9953\pm 1.4266\,i$.

699: 

700: %

701: % 3x2F

702: %

703: \subsection{$3_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F}$ Section of 

704: Simple Cubic Lattice}

705: \label{sec_sc_3x2F}

706: 

707: The section of the simple cubic lattice with the next larger transverse cross

708: section is the $3_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F}$, or

709: equivalently, $2_{\rm F} \times 3_{\rm F} \times (L_z)_{\rm F}$, family.  For

710: this family, the dimension of the transfer matrix is 13.  (In general the

711: transfer matrix has dimension 15, but two basis elements, namely

712: $\delta_{1,5}\delta_{2,6}\delta_{3,4} + \delta_{2,4}\delta_{3,5}\delta_{1,6}$

713: and $\delta_{1,3,5}\delta_{2,4,6}$, can be eliminated as they have zero

714: amplitudes.)  Since the entries in the transfer matrix are rather long, we

715: relegate them to the Mathematica file {\tt transfer\_sc.m} that is available

716: with this paper in the LASL cond-mat archive.  We have computed the chromatic

717: zeros for $L_z=15$ and 30, i.e., $n=90$ and 180 vertices, respectively.  These

718: are shown in Fig.~\ref{zeros_sc_3x2F}.  This value of $L_z$ is sufficiently

719: large that these zeros give a reasonably accurate indication of the location of

720: the asymptotic limiting curves comprising the locus ${\cal B}$.  As is

721: generally true, for the larger value of $L_z$, and hence $n$, the chromatic

722: zeros move slightly outward, approaching the limiting curve ${\cal B}$ from

723: smaller values of $|q|$.

724: 

725: \begin{figure}[hbtp]

726: \centering

727: \leavevmode

728: \epsfxsize=2.5in

729: \begin{center}

730: \leavevmode

731: \epsffile{zeros_sc_3x2F.ps}

732: \end{center}

733: \caption{\footnotesize{Chromatic zeros for the $3_{\rm F} \times 2_{\rm F} 

734: \times (L_z)_{\rm F}$

735: section of the simple cubic lattice, for (a) $L_z=15$, i.e., $n=90$ ($\Box$),

736: (b) $L_z=30$, i.e., $n=180$ ($\circ$).}}

737: \label{zeros_sc_3x2F}

738: \end{figure}

739: 

740: The limiting curve ${\cal B}$ consists of two complex-conjugate arcs, a

741: self-conjugate arc that crosses the real $q$-axis at $q\simeq 2.8645$,

742: and a horizontal real segment from $q\simeq 2.8566$ to $q\simeq 2.8723$.

743: This latter value corresponds to the value of $q_c$ for this family.

744: This information is listed, together with that from other lattices, in

745: Table \ref{qctable}.

746: There are 16 endpoints: two are the real values $q\simeq 2.8566$ and 

747: $q\simeq 2.8723$; the other 14 are the complex-conjugated pairs:

748: $q\simeq 0.2943\pm 1.9150\,i$, $q\simeq 1.9371 \pm  2.4040\,i$,

749: $q\simeq 2.6374\pm 1.0937\,i$, $q\simeq 2.8250 \pm  1.4087\,i$,

750: $q\simeq 2.6255\pm 1.4647\,i$, $q\simeq 3.2410 \pm  1.2920\,i$, and

751: $q\simeq 2.2645\pm 2.4605\,i$. Finally, there are four T points 

752: at $q\simeq 2.670 \pm  1.117\,i$ and $q\simeq 2.689 \pm 1.500\,i$.  

753: 

754: \bigskip 

755: 

756: 

757: \begin{table}

758: \caption{\footnotesize{Results for tube graphs of the simple cubic lattice.

759: The table shows the relation between the degree (coordination number) $\Delta$

760: of a $\Delta$-regular family or the effective degree $\Delta_{\rm eff}$, and

761: $q_c$, if a $q_c$ exists, for the infinite-length limit of the family.

762: Boundary conditions are indicated with a subscript F for free, P for periodic,

763: in a given direction.  In column $q_c$, an asterisk indicates that ${\cal B}$

764: does not actually cross the real axis, so that, strictly speaking, no $q_c$ is

765: defined, but arcs on ${\cal B}$ end very close to the real axis, at the

766: positions given.  Similar results are listed for the tubes with $K_{m,m}$ cross

767: sections.}}

768: \begin{center}

769: \begin{tabular}{|c|c|c|c|c|}

770: \hline\hline $G_s$ & $\Delta$ & $\Delta_{\rm eff}$ & $q_c$ & ref. \\

771: \hline\hline

772: sc,  $2_{\rm F} \times 2_{\rm F} \times \infty_{\rm F}$ & $-$ &

773:      4     & $2.3517$ & \protect\cite{strip2}\\ \hline

774: sc,  $3_{\rm F} \times 2_{\rm F} \times \infty_{\rm F}$ & $-$ &

775:      4.33  & $2.8723$ & here \\ \hline

776: sc,  $4_{\rm F} \times 2_{\rm F} \times \infty_{\rm F}$ & $-$ &

777:      4.50  & $3.1498 \pm 0.0021^\star$ & here \\

778: \hline\hline

779: sc,  $2_{\rm P} \times 2_{\rm P} \times \infty_{\rm F}$ & $-$ &

780:      4     & $2.3517$ & \protect\cite{strip2}  \\ \hline

781: sc,  $3_{\rm P} \times 2_{\rm P} \times \infty_{\rm F}$ & $-$ & 5 &

782:      $3.3255 \pm  0.0184\,i^*$ & here   \\ \hline

783: sc,  $4_{\rm P} \times 2_{\rm P} \times \infty_{\rm F}$ & $-$ & 5 &

784:      $3.3623 \pm  0.0061\,i^*$ & here   \\

785: \hline\hline

786: $K_{2,2} \times \infty_{\rm F}$ & $-$ & 4 & $2.3517$ &

787:                 \protect\cite{strip2} \\ \hline

788: $K_{3,3} \times \infty_{\rm F}$ & $-$ & 5 & $3.0452 \pm 0.0082\,i^*$ &

789:                 here \\ \hline

790: $K_{4,4} \times \infty_{\rm F}$ & $-$ & 6 & $3.6743 \pm 0.0085\,i^*$ &

791:                 here \\

792: \hline\hline

793: \end{tabular}

794: \end{center}

795: \label{qctable}

796: \end{table}

797: 

798: %

799: % 4x2F

800: %

801: \subsection{$4_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F}$ Section of 

802: Simple Cubic Lattice} \label{sec_sc_4x2F}

803: 

804: The section of the simple cubic lattice with the next larger transverse cross

805: section is the $4_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F}$, 

806: or equivalently, $2_{\rm F} \times

807: 4_{\rm F} \times (L_z)_{\rm F}$, family.  For this family, the dimension 

808: of the transfer matrix is 156. However, there are 20 basis elements that

809: correspond to zero amplitudes, so the effective dimension of the transfer

810: matrix is 136. This transfer matrix $T(4_{\rm F}\times2_{\rm F})$, 

811: as well as the vectors ${\bf v}$ and ${\bf u}_{\rm id}$ can be found in 

812: the {\sc Mathematica} file {\tt transfer\_sc.m}.  

813: We have computed the chromatic zeros for $L_z=20$ and 40,

814: i.e., $n=160$ and 320 vertices, respectively.  These are shown in

815: Fig.~\ref{zeros_sc_4x2F}.  

816: 

817: \begin{figure}[hbtp]

818: \centering

819: \leavevmode

820: \epsfxsize=2.5in

821: \begin{center}

822: \leavevmode

823: \epsffile{zeros_sc_4x2F.ps}

824: \end{center}

825: \caption{\footnotesize{Chromatic zeros for the $4_{\rm F} \times 2_{\rm F} 

826: \times (L_z)_{\rm F}$

827: section of the simple cubic lattice, for (a) $L_z=20$, i.e., $n=160$ ($\Box$),

828: (b) $L_z=40$, i.e., $n=320$ ($\circ$).}}

829: \label{zeros_sc_4x2F}

830: \end{figure}

831: 

832: The limiting curve ${\cal B}$ consists of eight complex-conjugate arcs;

833: none of them crosses the real axis, so, strictly speaking, there is

834: no value of $q_c$. However, we can define $(q_c)_{\rm eff}\approx 3.1498$.

835: This value is larger than the corresponding value for the family

836: $3_{\rm F}\times 2_{\rm F} \times L_{\rm F}$ $q_c\approx 2.8723$ and larger

837: than the value for the square lattice $q_c(sq)=3$.

838: There are 11 pairs of complex-conjugate endpoints:

839: $q\simeq 0.073 \pm 1.747\,i$,

840: $q\simeq 1.582 \pm 2.845\,i$, $q\simeq 1.684 \pm 2.871\,i$,

841: $q\simeq 2.379 \pm 2.503\,i$,

842: $q\simeq 2.513 \pm 1.569\,i$,

843: $q\simeq 2.661 \pm 1.816\,i$, $q\simeq 2.697 \pm 1.889\,i$,

844: $q\simeq 3.034 \pm 1.367\,i$, $q\simeq 3.035 \pm 1.385\,i$,

845: $q\simeq 3.150 \pm 0.002\,i$, and

846: $q\simeq 3.383 \pm 1.157\,i$.

847: Finally, there are three pairs of complex-conjugate T points:

848: $q\simeq 2.381 \pm 2.404\,i$,

849: $q\simeq 2.695 \pm 1.793\,i$, and

850: $q\simeq 2.972 \pm 1.578\,i$.

851: 

852: \section{Tubes of the Simple Cubic Lattice with Transverse Periodic Boundary 

853: Conditions}

854: \label{sec_sc_cyl}

855: 

856: The method we have used to compute the chromatic polynomials and the

857: transfer matrix is the same as in Section~\ref{sec_sc_free}. The only

858: difference is that we enlarge the single-layer edge set $E^0$.

859: 

860: %

861: % 2x2P

862: %

863: \subsection{$2_{\rm P} \times 2_{\rm P} \times (L_z)_{\rm F}$ Section of

864: Simple Cubic Lattice} \label{sec_sc_2x2P}

865: 

866: This family has (trivially) the same chromatic polynomials as the family 

867: $sc(2_{\rm F} \times 2_{\rm F} \times (L_z)_{\rm F}$.  (This is not true for

868: the finite-temperature Potts model partition function, or equivalently, the

869: Tutte polynomial; however we only deal with the chromatic polynomial here.) 

870: Thus, the transfer matrix and chromatic polynomials are given 

871: respectively by \reff{def_T} and \reff{def_Z}.   

872: 

873: %

874: % 3x2P

875: %

876: \subsection{$3_{\rm P} \times 2_{\rm P} \times (L_z)_{\rm F}$ Section of 

877: Simple Cubic Lattice} \label{sec_sc_3x2P}

878: 

879: In general, finite-size artifacts are minimized if one uses periodic boundary

880: conditions in as many directions as possible.  Hence, it is useful to calculate

881: $P$ and ${\cal B}$ for the same section of the simple cubic lattice as in the

882: previous section, but with periodic boundary conditions imposed on the longer

883: of the two transverse directions.  This family is again bipartite.  In this

884: case, the dimension of the transfer matrix is 4.  

885: 

886: In the basis ${\bf P} = \{ 1, \delta_{2,4} + \delta_{2,6} + \delta_{1,5} + 

887: \delta_{3,5} + \delta_{1,6} + \delta_{3,4}, \delta_{1,5}\delta_{2,6} + 

888: \delta_{2,4}\delta_{3,5} + \delta_{3,4}\delta_{1,5} + \delta_{3,4}\delta_{2,6}

889: + \delta_{1,6}\delta_{3,5} + \delta_{1,6}\delta_{2,4}, \delta_{1,6}\delta_{3,4}

890: + \delta_{1,5}\delta_{2,4} + \delta_{2,6}\delta_{3,5}\}$, the transfer matrix

891: can be written as 

892: \beq

893: T(3_{\rm P} \times 2_{\rm P}) = \left( \begin{array}{cccc}

894:     T_{11} & T_{12} & T_{13} & T_{14} \\

895:     T_{21} & T_{22} & T_{23} & T_{24} \\

896:     1 & 

897:     2 (-3 + q) &  

898:    12 - 6 q + q^2 & 

899:    -2 (-4 + q) \\

900:    0 & 

901:    -2 & 

902:    -4 (-3 + q) & 

903:    15 - 7 q + q^2

904:    \end{array}

905:    \right)

906: \eeq

907: where

908: \beqs

909: T_{11} &=& 1089 - 1578 q + 1054 q^2 - 417 q^3 + 103 q^4 - 15 q^5 + q^6 \\ 

910: T_{12} &=& 6 (-292 + 394 q - 231 q^2 + 74 q^3 - 13 q^4 + q^5) \\

911: T_{13} &=& 6 (110 - 117 q + 51 q^2 - 11 q^3 + q^4) \\

912: T_{14} &=& 3 (154 - 149 q + 60 q^2 - 12 q^3 + q^4) \\

913: T_{21} &=& -90 + 71 q - 20 q^2 + 2 q^3 \\

914: T_{22} &=& 203 - 189 q + 71 q^2 - 13 q^3 + q^4 \\

915: T_{23} &=& -109 + 80 q - 21 q^2 + 2 q^3 \\

916: T_{24} &=& -81 + 52 q - 12 q^2 + q^3

917: \eeqs

918: The vectors ${\bf v}$ and ${\bf u}_{\rm id}$ are given by 

919: \beqs 

920: {\bf v} &=& \left( \begin{array}{c} 

921:                    (-2 + q) (-1 + q) q (-13 + 14 q - 6 q^2 + q^3) \\

922:                    6 (-2 + q)^3 (-1 + q) q  \\

923:                    6 (-2 + q)^2 (-1 + q) q \\

924:                    3 (-3 + q) (-2 + q) (-1 + q) q 

925:                    \end{array}

926:             \right) \\

927: {\bf u}_{\rm id} &=& \left( \begin{array}{c}

928:                     1 \\ 0 \\ 0 \\ 0 

929:                    \end{array}

930:             \right)

931: \eeqs

932: We remark that in this case the most general basis contains an additional 

933: partition: $\delta_{1,5}\delta_{2,6}\delta_{3,4} + 

934: \delta_{2,4}\delta_{3,5}\delta_{1,6}$. This one can be dropped, as it

935: corresponds to a vanishing amplitude. 

936: 

937: We have computed the chromatic zeros for $L_z=15$ and 30, i.e., $n=90$ and

938: 180, respectively.  These are shown in Fig.~\ref{zeros_sc_3x2P}.

939: The limiting curve ${\cal B}$ contains three pairs of self-conjugated arcs. 

940: Although the arcs do not cross the real axis, so that, strictly speaking, no

941: $q_c$ is defined, $(q_c)_{\rm eff} \simeq 3.33$, which is larger than 

942: the value $q_c=3$ for the square lattice.  The locus ${\cal B}$ has 

943: 12 endpoints: $q\simeq 0.5061 \pm 2.6413\,i$, 

944: $q\simeq 2.1301 \pm  2.4407\,i$, $q\simeq 3.0251 \pm 2.5249\,i$, 

945: $q\simeq 3.0412 \pm  1.2643\,i$, $q\simeq 2.9328 \pm 1.1238\,i$, and  

946: $q\simeq 3.3255 \pm  0.01839\,i$. 

947: 

948: \begin{figure}[hbtp]

949: \centering

950: \leavevmode

951: \epsfxsize=2.5in

952: \begin{center}

953: \leavevmode

954: \epsffile{zeros_sc_3x2P.ps}

955: \end{center}

956: \caption{\footnotesize{Chromatic zeros for the 

957: $2_{\rm P} \times 3_{\rm P} \times (L_z)_{\rm F}$

958: section of the simple cubic lattice, for (a) $L_z=15$, i.e., $n=90$ ($\Box$),

959: (b) $L_z=30$, i.e., $n=180$ ($\circ$).}}

960: \label{zeros_sc_3x2P}

961: \end{figure}

962: 

963: %

964: % 4x2P

965: %

966: \subsection{$4_{\rm P} \times 2_{\rm P} \times (L_z)_{\rm F}$ Section of

967: Simple Cubic Lattice} \label{sec_sc_4x2P}

968: 

969: In this case we have 56 basis elements. However, there are 11 trivial basis

970: element that lead to a vanishing amplitude.  The transfer matrix and the

971: vectors ${\bf v}$ and ${\bf u}_{\rm id}$ are listed in the {\sc Mathematica}

972: file {\tt transfer\_sc.m}.  Among the other 45 basis elements, we have

973: numerical indications that there are 19 additional vanishing amplitudes.

974: 

975: The limiting curve ${\cal B}$ (see Fig.~\ref{zeros_sc_4x2P}) 

976: contains eight self-conjugate arcs. As in the

977: $4_{\rm P} \times 2_{\rm P} \times \infty_{\rm F}$ case, this locus does not

978: actually cross the positive real $q$ axis, but again has endpoints that lie

979: very close to this axis, and we obtain $(q_c)_{\rm eff} \simeq 3.36$.

980: As expected, this is larger than the value $(q_c)_{\rm eff} \simeq 3.33$ that

981: we found for the tube $3_{\rm P} \times 2_{\rm P} \times \infty_{\rm F}$.

982: There are nine pairs of complex-conjugate endpoints:

983: $q\simeq  -0.095 \pm 2.700 \,i$,

984: $q\simeq   1.803 \pm 3.031 \,i$,

985: $q\simeq   2.176 \pm 3.196 \,i$,

986: $q\simeq   2.841 \pm 1.954 \,i$,

987: $q\simeq   2.910 \pm 2.080 \,i$,

988: $q\simeq   3.263 \pm 1.333 \,i$,

989: $q\simeq   3.279 \pm 1.377 \,i$,

990: $q\simeq   3.362 \pm 0.006 \,i$, and

991: $q\simeq   3.892 \pm 1.542 \,i$.

992: Finally, there is one pair of complex-conjugate T points:

993: $q\simeq   3.204 \pm 1.665 \,i$.  

994: 

995: Another property that was observed in our earlier calculations

996: of chromatic polynomials for strips of 2D lattices is that, for a given type

997: of transverse boundary conditions, for infinite-length strips with free

998: longitudinal boundary conditions, as the width increases, the number of

999: arcs on ${\cal B}$ increases and the endpoints of these arcs move in such a

1000: manner as to reduce the gaps between the arcs.  Here we observe the

1001: same qualitative behavior as the area of the transverse cross section of the

1002: tube section increases.  If this trend

1003: continues for progressively larger transverse widths or cross

1004: sectional areas, then the number of arcs could increase without bound as one

1005: approaches the respective infinite 2D or 3D lattices.  Now in

1006: the two cases where the loci ${\cal B}$ have been calculated exactly for

1007: regular lattices, namely the $d=1$ lattice (with periodic boundary conditions;

1008: for free boundary conditions, ${\cal B}=\emptyset$) and the triangular lattice

1009: (defined as the limit $L \to \infty$ of $L_{\rm P} \times \infty_F$ strips

1010: \cite{baxter}), this locus has no prongs or endpoints.  Thus, one could imagine

1011: that as the width or cross sectional area of the strips or tubes increases to

1012: infinity, the endpoints of arcs join so that the gaps between these arcs

1013: disappear, and prongs either have lengths that go to zero or have endpoints

1014: that join to form closed boundaries.  We also observe that, for a given

1015: width or, for the present families of tube sections, for a given transverse

1016: cross sectional area, there tend to be fewer arcs when one uses periodic

1017: rather than free boundary conditions for the transverse direction(s).  This

1018: is in accord with the fact that calculations for strips with periodic

1019: longitudinal boundary conditions \cite{w,wcy,tk,s4,tor4,t} found no prongs

1020: (or line segments) on the respective loci ${\cal B}$, i.e. in all cases

1021: studied, these loci did not contain endpoints.  Finally, our calculations are

1022: consistent with the expectation that as the area of the transverse cross

1023: section goes to infinity, the outer envelope of the locus ${\cal B}$ approaches

1024: a limit, which crosses the real axis at $q=0$, $q_c(sc)$, and other point(s)

1025: between these two.

1026: 

1027: 

1028: 

1029: \begin{figure}[hbtp]\centering

1030: \leavevmode\epsfxsize=2.5in

1031: \begin{center}\leavevmode

1032: \epsffile{zeros_sc_4x2P.ps}

1033: \end{center}

1034: \caption{\footnotesize{Chromatic zeros for the

1035: $2_{\rm P} \times 4_{\rm P} \times (L_z)_{\rm F}$

1036: section of the simple cubic lattice, for (a) $L_z=20$, i.e., $n=160$ ($\Box$),

1037: (b) $L_z=40$, i.e., $n=320$ ($\circ$).}}

1038: \label{zeros_sc_4x2P}

1039: \end{figure}

1040: 

1041: \section{Further Remarks on the Structure of ${\cal B}$}

1042: 

1043: In the introductory section, we discussed some differences in the locus ${\cal

1044: B}$ that depend on whether one uses periodic or free longitudinal boundary

1045: conditions.  Here we include some further remarks relevant to our present

1046: results.  It has been established that the structure of ${\cal B}$ inside of

1047: its outer envelope and, in particular, the question of whether and where it

1048: crosses the positive real axis between $q=0$ and $q=q_c(\{G\})$ are dependent

1049: upon the boundary conditions used.  For example, exact calculations for $L_{\rm

1050: F} \times \infty_{\rm P}$ and $L_{\rm P} \times \infty_{\rm P}$ strips of the

1051: triangular lattice show that the respective loci ${\cal B}$ cross the real axis

1052: at $q=2$ \cite{wcy,t,tor4}, corresponding to the fact that the Ising

1053: antiferromagnet has a (frustrated) $T=0$ critical point on these strips;

1054: however the loci ${\cal B}$ obtained in \cite{baxter,strip2} for $L_{\rm P}

1055: \times \infty_{\rm F}$ strips or in \cite{strip} for $L_{\rm F} \times

1056: \infty_{\rm F}$ strips of the triangular lattice do not, in general, cross the

1057: real axis at $q=2$, nor is this crossing obtained for the infinite-width limit

1058: of the cylindrical strips calculated in \cite{baxter}.  Similarly, for $L_{\rm

1059: F} \times \infty_{\rm P}$ and $L_{\rm P} \times \infty_{\rm P}$ strips of the

1060: square lattice it was found that ${\cal B}$ passes through $q=0$, $q=2$, and a

1061: maximal value, $q=q_c(\{G\})$ \cite{w,wcy,tk,s4}. In contrast, for the

1062: corresponding strips of the square lattice with free longitudinal boundary

1063: conditions, it has been found that ${\cal B}$ does not contain $q=0$ or, in

1064: general, $q=2$, and while the arc endpoints nearest to the origin move toward

1065: this point as the width increases (leading to the inference that for infinite

1066: width, ${\cal B}$ would pass through $q=0$), there is no analogous tendency of

1067: arcs on ${\cal B}$ to elongate toward $q=2$ \cite{strip,strip2,sstransfer,JS}.

1068: There is also no tendency for the arcs on the loci ${\cal B}$ for our tube

1069: sections of the simple cubic lattice with free longitudinal boundary conditions

1070: to move toward $q=2$ as the cross sectional area increases.

1071: 

1072: A second point concerns the positions of the leftmost arcs.  We find from the

1073: exact calculations reported here that for the infinite-length tube sections of

1074: the simple cubic lattice of the form $(L_x)_{\rm P} \times (L_y)_{\rm P} \times

1075: \infty_F$ with sufficiently large transverse cross section, namely $L_x=4$,

1076: $L_y=2$, ${\cal B}$ contains support in the $Re(q) < 0$ half-plane.  This 

1077: suggests that for this family of tube sections of the simple cubic lattice with

1078: periodic transverse boundary conditions, as the transverse area $L_xL_y \to

1079: \infty$, the complex-conjugate curves on ${\cal B}$ could approach the origin

1080: from the $Re(q) < 0$ half-plane, as happens for the limit $L \to \infty$ of

1081: $L_{\rm P} \times \infty_{\rm F}$ strips of the triangular lattice

1082: \cite{baxter} and sufficiently wide strips of the square lattice of the form 

1083: $L_{\rm F} \times \infty_{\rm F}$ \cite{strip,sstransfer}, 

1084: $L_{\rm P} \times \infty_{\rm F}$ \cite{s4,sstransfer,JS}, and 

1085: $L_{\rm F} \times \infty_{\rm P}$ \cite{wcy,pm,s4}. 

1086: 

1087: 

1088: \section{Behavior of $q_c$ for ${\mathbb E}^d$ with large $d$}

1089: 

1090: For the $d$-dimensional Cartesian lattice ${\mathbb E}^d$, Mattis suggested 

1091: the ansatz \cite{mattis}

1092: \beq

1093: W({\mathbb E}^n,q) \simeq 1 + \frac{(q-2)^d}{(q-1)^{d-1}} \ . 

1094: \label{wmattis}

1095: \eeq

1096: %

1097: This agrees with the general results $W(\{C\},q)=q-1$ for $d=1$, and, for the

1098: square lattice ${\mathbb E}^2$ with $q=3$ yields the estimate $W(sq,q=3)=3/2$,

1099: which is within 4 \% of the known result $W({\mathbb

1100: E}^2,q=3)=(4/3)^{3/2}=1.5396..$ \cite{lieb}.  Mattis addressed the question of

1101: $d_c(q)$, i.e. the lower critical dimensionality of the $q$-state Potts

1102: antiferromagnet, below which it is disordered for $T \ge 0$.  An equation

1103: yielding $d_c$ as a function of $q$ can also be solved to yield $q_c$ as a

1104: function of $d$, so $d_c(q)$ and $q_c(d)$ constitute equivalent information

1105: about the system.  Mattis argued that $d_c(q)$ could be estimated by noting

1106: that $W$ is a measure of disorder, and if it is significantly greater than 1,

1107: then the system would be sufficiently disordered that one would not expect

1108: there to be a phase transition at $T \ge 0$. Taking the criterion that $W < 2$

1109: as the demarcation value for which a zero-temperature phase transition could

1110: occur, this yields the result

1111: %

1112: \beq 

1113: d_c(q) = \frac{\ln(q-1)}{\ln \Bigl ( \frac{(q-1)}{(q-2)} \Bigr )} \ . 

1114: \label{dc}

1115: \eeq

1116: %

1117: As noted, this may equivalently be regarded as an equation for $q_c$ as a 

1118: function of $d$ and for $d=3$, this ansatz gives 

1119: %

1120: \beq

1121: q_c(d=3) \simeq 4.15

1122: \label{qcd3}

1123: \eeq

1124: %

1125: Our exact results $W$ and $q_c$ for tube sections of the simple cubic are 

1126: consistent with this estimate from the ansatz (\ref{wmattis}). 

1127: 

1128: It is also of interest to ask what the behavior of $q_c$ is for large $d$ on

1129: Cartesian lattices.  The ansatz (\ref{wmattis}) yields the asymptotic behavior

1130: %

1131: \beq

1132: q_c \sim \frac{d}{\ln d} \quad {\rm for} \ \ d \to \infty  \ . 

1133: \label{qcasymptotic}

1134: \eeq

1135: %

1136: This is in agreement with the upper bound (\ref{qcupper}) 

1137: %

1138: \beq

1139: q_c \le 4d

1140: \label{qcupperd}

1141: \eeq

1142: %

1143: and evidently is a smaller and smaller fraction of this upper bound as $d$ gets

1144: large, with 

1145: \beq

1146: R_{q_c} \sim \frac{1}{4 \ln d} \quad {\rm for} \ \ d \to \infty \ . 

1147: \label{rupperd}

1148: \eeq

1149:  

1150: \section{Family $(K_{m,m})^{L_z}$}

1151: \label{sec_Knn}

1152: 

1153: It is also useful to calculate ${\cal B}$ and study the dependence of $q_c$ on

1154: vertex degree for infinite-length limits of other families of tube graphs.  We

1155: report calculations here for a family of tube graphs whose transverse cross

1156: section is the complete bipartite graph $K_{m,m}$. The graph $K_{m,m}$ is

1157: $\Delta$-regular graphs with $\Delta=m$.  We construct our tubes with the

1158: $K_{m,m}$ transverse cross section connected lengthwise $L_z$ times, so that

1159: each vertex of one $K_{m,m}$ subgraph is connected ``vertically'' to the

1160: corresponding vertex of the next $K_{m,m}$.  This recursive family of graphs is

1161: denoted as $(K_{m,m})^{L_z}$. The value of $\Delta_{\rm eff}$ is for this

1162: family

1163: %

1164: \beq

1165: \Delta_{\rm eff}\left( (K_{m,m})^{L_z}; FBC_z; L_z \rightarrow\infty \right) 

1166:   = m + 2 \ . 

1167: \eeq

1168: %

1169: The computational method is the same as in the simple-cubic families: the 

1170: transfer matrix and the partition function are computed using the same

1171: formulae \reff{def_T}/\reff{def_Z}. The only difference is the single-layer

1172: edge set $E^0$. 

1173: 

1174: %

1175: % K22

1176: %

1177: \subsection{Family $(K_{2,2})^{L_z}$}

1178: \label{sec_K22}

1179: 

1180: The family $(K_{2,2})^{L_z}$ is trivially equivalent to the family ${\rm

1181: sq}(4_{\rm P}\times L_{\rm F})$, so by \reff{2f2flzeq4plz} it is also

1182: equivalent to the family ${\rm sc}(2_{\rm F}\times 2_{\rm F} \times 

1183: (L_z)_{\rm F})$

1184: The transfer matrix, written in the basis ${\bf P} = \{ 1, \delta_{1,2} +

1185: \delta_{3,4} \}$, takes the same form as \reff{T_2x2F}; and the partition

1186: function is equivalent to \reff{Z_2x2F}.

1187: 

1188: %

1189: % K33

1190: %

1191: \subsection{Family $(K_{3,3})^{L_z}$}

1192: \label{sec_K33}

1193: 

1194: The transfer matrix for the family $(K_{3,3})^{L_z}$ has dimension 5. In the 

1195: basis ${\bf P} = \{ 1, \delta_{1,2} + \delta_{1,3} + \delta_{2,3} + 

1196: \delta_{4,5} + \delta_{4,6} + \delta_{5,6}, \delta_{1,2,3} + \delta_{4,5,6}, 

1197: \delta_{1,2}\delta_{4,5} + \delta_{1,2}\delta_{4,6} +\delta_{1,2}\delta_{5,6}+

1198: \delta_{1,3}\delta_{4,5} + \delta_{1,3}\delta_{4,6} +\delta_{1,3}\delta_{5,6}+ 

1199: \delta_{2,3}\delta_{4,5} + \delta_{2,3}\delta_{4,6} +\delta_{2,3}\delta_{5,6}, 

1200: \delta_{1,2,3}\delta_{4,5} + \delta_{1,2,3}\delta_{4,6} + 

1201: \delta_{1,2,3}\delta_{5,6} + \delta_{4,5,6} \delta_{1,2} + 

1202: \delta_{4,5,6}\delta_{1,3} + \delta_{4,5,6}\delta_{2,3} \}$,   

1203: we can write the transfer matrix as 

1204: 

1205: \beq

1206: T(K_{33}) = \left( \begin{array}{ccccc}

1207:   T_{11} & T_{12} & T_{13} & T_{14} & T_{15} \\ 

1208:   T_{21} & T_{22} & T_{23} & T_{24} & T_{25} \\ 

1209:   T_{31} & T_{32} & T_{33} & T_{34} & T_{35} \\ 

1210:   1      & 2(-3 + q) & 0 & T_{44} & 2(-2 + q)\\ 

1211:   0      & 1      & 0      & -3     & 2-q 

1212:   \end{array}\right) 

1213: \eeq

1214: where

1215: \beqs

1216: T_{11} &=& 1234 - 1747 q + 1137 q^2 - 437 q^3 + 105 q^4 - 15 q^5 + q^6 \\ 

1217: T_{12} &=& 6 (-252 + 337 q - 198 q^2 + 65 q^3 - 12 q^4 + q^5) \\

1218: T_{13} &=& 2 (36 - 56 q + 33 q^2 - 9 q^3 + q^4) \\ 

1219: T_{14} &=& 9 (89 - 94 q + 43 q^2 - 10 q^3 + q^4) \\ 

1220: T_{15} &=& 6 (-25 + 24 q - 8 q^2 + q^3) \\

1221: T_{21} &=& -113 + 91 q - 27 q^2 + 3 q^3 \\

1222: T_{22} &=& 174 - 153 q + 54 q^2 - 10 q^3 + q^4 \\ 

1223: T_{23} &=& -10 + 13 q - 6 q^2 + q^3 \\ 

1224: T_{24} &=& 3 (-40 + 28 q - 8 q^2 + q^3) \\ 

1225: T_{25} &=& 29 - 21 q + 4 q^2 \\ 

1226: T_{31} &=& 55 - 27 q + 3 q^2 \\

1227: T_{32} &=& -3(29 - 17q + 3q^2) \\

1228: T_{33} &=& 9 - 12q + 6q^2 - q^3\\

1229: T_{34} &=& -18(-3 + q) \\

1230: T_{35} &=& -3(7 - 5q + q^2)\\

1231: T_{44} &=&12 - 5q + q^2

1232: \eeqs

1233: Finally, 

1234: \beqs 

1235: {\bf v} &=& \left( \begin{array}{c}

1236: (-1 + q) q (31 - 47 q + 28 q^2 - 8 q^3 + q^4)\\

1237:    6 (-1 + q) q (-7 + 10 q - 5 q^2 + q^3)\\

1238:    2 (-1 + q)^3 q \\ 

1239:    9 (-1 + q) q (3 - 3 q + q^2) \\ 

1240:    6 (-1 + q)^2 q

1241:                    \end{array} \right) \\

1242: {\bf u}_{\rm id} &=& \left( \begin{array}{c}

1243:    1 \\ 0 \\ 0 \\ 0 \\ 0 

1244:                    \end{array} \right)

1245: \eeqs

1246: 

1247: \bigskip

1248: We remark that in this case there is an additional element of the basis 

1249: $\delta_{1,2,3}\delta_{4,5,6}$ that should be taken into account in general.

1250: However, it corresponds to a vanishing amplitude.

1251: 

1252: \bigskip  

1253: 

1254: Chromatic zeros for $(K_{3,3})^{L_z}$ with $L_z=15$ and $L_z=30$ are shown in 

1255: Fig.~\ref{zeros_K_33}, as well as the limiting curve ${\cal B}$. 

1256: The limiting curve ${\cal B}$ contains six connected pieces. None of them 

1257: crosses the real axis. Thus, strictly speaking, there is no $q_c$ defined.

1258: However, by extrapolating the closest points to the real axis we get 

1259: $q_c \simeq 3.045$, which is slightly greater than the value for the square

1260: lattice $q_c=3$.

1261: 

1262: There are 14 endpoints: $q\simeq 0.8197 \pm 2.9764\,i$, 

1263: $q\simeq 1.9761 \pm 2.5559\,i$, 

1264: $q \simeq 2.8190 \pm 1.5587\,i$, $q \simeq 2.9364 \pm 2.5742\,i$, 

1265: $q \simeq 3.6220 \pm 2.0051\,i$, $q \simeq 3.0283 \pm 1.3476\,i$, 

1266: and $q\simeq 3.0452 \pm 0.008246\,i$. There are two complex-conjugated 

1267: T points at $q\simeq 2.949 \pm 1.870\,i$. 

1268: 

1269: \begin{figure}[hbtp]

1270: \centering

1271: \leavevmode

1272: \epsfxsize=2.5in

1273: \begin{center}

1274: \leavevmode

1275: \epsffile{zeros_K_33.ps}

1276: \end{center}

1277: \caption{\footnotesize{Chromatic zeros for the $(K_{3,3})^{m}$ graph for (a)

1278: $m=L_z=15$, i.e., $n=90$ ($\Box$), (b) $m=L_z=30$, i.e. $n=180$ ($\circ$).}}

1279: \label{zeros_K_33}

1280: \end{figure}

1281: 

1282: %

1283: % K44

1284: %

1285: \subsection{Family $(K_{4,4})^{L_z}$}

1286: \label{sec_K44}

1287: 

1288: In this case the transfer matrix has 15 elements. However, three of them 

1289: correspond to null amplitudes, so we have an effective 12-dimensional 

1290: transfer matrix. This matrix is listed 

1291: in the {\sc Mathematica} file {\tt transfer\_Knn\_tube.m} that is available 

1292: with this paper in the LASL cond-mat archive.  

1293: 

1294: There are eight connected pieces (See Figure~\ref{zeros_K_44}), and none of

1295: them crosses the real axis. The closest points to that axis are the 

1296: complex-conjugated pair $q\approx 3.6743 \pm 0.0085\,i$.  

1297: There are ten endpoints (that were computed using the resultant method): 

1298: $q\approx 1.0084 \pm 3.7740\,i$, $q\approx 1.9104 \pm 3.4341\,i$,  

1299: $q\approx 2.9457 \pm 3.2436\,i$, $q\approx 3.0385 \pm 2.8658\,i$,

1300: $q\approx 3.5456 \pm 1.3512\,i$, $q\approx 3.6006 \pm 3.2332\,i$, 

1301: $q\approx 3.6260 \pm 1.4516\,i$, $q\approx 3.6743 \pm 0.0085\,i$, 

1302: $q\approx 3.7857 \pm 2.3839\,i$, and $q\approx 3.8460 \pm 2.7980\,i$.  

1303: There are four T-points at $q\approx 3.070\pm 2.904\,i$, and 

1304: $q\approx 3.567\pm 3.158\,i$. 

1305: 

1306: \begin{figure}[hbtp]

1307: \centering

1308: \leavevmode

1309: \epsfxsize=2.5in

1310: \begin{center}

1311: \leavevmode

1312: \epsffile{zeros_K_44.ps}

1313: \end{center}

1314: \caption{\footnotesize{Chromatic zeros for the $(K_{4,4})^{m}$ graph for (a)

1315: $m=L_z=40$, i.e., $n=320$ ($\Box$), (b) $m=L_z=80$, i.e. $n=640$ ($\circ$).}}

1316: \label{zeros_K_44}

1317: \end{figure}

1318: 

1319: \section{Conclusions}

1320: 

1321: In this paper we have reported exact solutions for the zero-temperature

1322: partition function of the $q$-state Potts antiferromagnet on tubes of the

1323: simple cubic lattice with various transverse cross sections and boundary

1324: conditions and with arbitrarily great length.  We have used these to calculate,

1325: in the infinite-length limit, the resultant ground state degeneracy per site

1326: $W$ and the singular locus ${\cal B}$ which is the continuous accumulation set

1327: of the chromatic zeros.  In particular, we have calculated the value of $q_c$

1328: or $(q_c)_{\rm eff}$ for these infinite-length tubes.  Our results show

1329: quantitatively how this quantity increases as the effective coordination number

1330: for a given family of graphs increases and are a step toward determining 

1331: $q_c$ is for the infinite simple cubic lattice.  We have also presented similar

1332: calculations for another interesting family of tube graphs whose transverse 

1333: cross section is formed from the complete bipartite graph $K_{m,m}$.

1334: 

1335: 

1336: Acknowledgment:  The research of R. S. was supported in part by the NSF grant

1337: PHY-9722101 The research of J.S. was partially supported by CICyT (Spain)

1338: grants AEN97-1880 and AEN99-0990. J.S. would like to acknowledge the warm

1339: hospitality of the C.N.~Yang Institute for Theoretical Physics, where this work

1340: was initiated. We thank S.-C. Chang and A. Sokal for recent discussions on

1341: related research projects. 

1342: 

1343: 

1344: \begin{thebibliography}{99}

1345: 

1346: \bibitem{potts}{R. B. Potts, Proc. Camb. Phil. Soc. {\bf 48}, 106 (1952).}

1347: 

1348: \bibitem{wurev}{F. Y. Wu, Rev. Mod. Phys. {\bf 54}, 235 (1982).}

1349: 

1350: \bibitem{al}{M. Aizenman and E. H. Lieb, J. Stat. Phys. {\bf 24}, 279 (1981).}

1351: 

1352: \bibitem{cw}{Y. Chow and F. Y. Wu, Phys. Rev. {\bf B36}, 285 (1987).}

1353: 

1354: \bibitem{lp}{L. Pauling, {\it The Nature of the Chemical Bond}

1355: (Cornell Univ. Press, Ithaca, 1960), p. 466.}

1356: 

1357: \bibitem{ps}{N. G. Parsonage and L. A. K. Staveley, {\it Disorder in Crystals}

1358: (Oxford, 1978).}

1359: 

1360: \bibitem{rrev}{R. C. Read, J. Combin. Theory {\bf 4}, 52 (1968).}

1361: 

1362: \bibitem{rtrev}{R. C. Read and W. T. Tutte, ``Chromatic Polynomials'',

1363: in {\it Selected Topics in Graph Theory, 3}, (Academic Press, New York, 1988),

1364: p. 15.} 

1365: 

1366: \bibitem{tutte3}{W. T. Tutte, {\it Graph Theory}, vol. 21 of Encyclopedia of

1367: Mathematics and Applications (Addison-Wesley, Menlo Park, 1984).}

1368: 

1369: \bibitem{bbook}{N. L. Biggs, {\it Algebraic Graph Theory} (2nd ed., Cambridge

1370: Univ. Press, Cambridge, 1993).}

1371: 

1372: \bibitem{w}{R. Shrock and S.-H. Tsai, Phys. Rev. {\bf E55}, 5165 (1997);

1373: {\it ibid}, {\bf E56}, 1342 (1997).}

1374: 

1375: \bibitem{qcni}{We comment here on cases where $q_c(\{G\})$ is non-integral.

1376: The Potts antiferromagnet can formally be defined for positive real, as well as

1377: integral, $q$, via the formula $Z(G,q,v)=\sum_{G^\prime \subseteq G}

1378: q^{k(G^\prime)}v^{e(G^\prime)}$, where $G^\prime$ is a spanning subgraph of $G$

1379: (i.e. a subgraph containing all of the vertices and a subset of the edges of

1380: $G$), and $k(G^\prime)$ and $e(G^\prime)$ denote the number of connected

1381: components and edges in $G^\prime$.  However, since $-1 \le v \le 0$ for the

1382: Potts antiferromagnet, this model does not, in general, have a Gibbs measure

1383: for non-integral $q$, and this can lead to unphysical behavior

1384: \cite{ssbounds,a} such as negative specific heat and non-existence of a

1385: thermodynamic limit independent of boundary conditions. In contrast, for

1386: positive integral $q$, one can always define the partition function for the

1387: Potts antiferromagnet as $Z(G,q,v)=\sum_{\sigma_i}\exp(-\beta {\cal H})$ where

1388: $\beta=(k_BT)^{-1}$ and ${\cal H}=-J\sum_{\langle ij \rangle}

1389: \delta_{\sigma_i,\sigma_j}$ with $J < 0$, which obviously has a Gibbs

1390: measure.}

1391: 

1392: \bibitem{ssbounds}{J. Salas and A. Sokal, J. Stat. Phys. {\bf 86}, 551 (1997).}

1393: 

1394: \bibitem{a}{R. Shrock, Physica A {\bf 283}, 388 (2000).}

1395: 

1396: \bibitem{lenard}{A. Lenard (unpublished), cited in Ref. \cite{lieb}.} 

1397: 

1398: \bibitem{lieb}{E. H. Lieb, Phys. Rev. {\bf 162}, 162 (1967).}

1399: 

1400: \bibitem{baxter70}{R. J. Baxter, J. Math. Phys. {\bf 11}, 784 (1970).}

1401: 

1402: \bibitem{bds}{N. L. Biggs, R. M. Damerell, and D. A. Sands, J. Combin. Theory

1403: B {\bf 12}, 123 (1972).}

1404: 

1405: \bibitem{bm}{N. L. Biggs and G. H. Meredith, J. Combin. Theory B{\bf 20}, 5

1406: (1976).}

1407: 

1408: \bibitem{b}{N. L. Biggs, Bull. London Math. Soc. {\bf 9}, 54 (1977).}

1409: 

1410: \bibitem{bkw79}{S. Beraha, J. Kahane, and N. Weiss, J. Combin. Theory B

1411: {\bf 27}, 1 (1979).}

1412: 

1413: \bibitem{bkw}{S. Beraha, J. Kahane, and N. Weiss, J. Combin. Theory B 

1414: {\bf 28}, 52 (1980).}

1415: 

1416: \bibitem{baxter}{R. J. Baxter, J. Phys. A {\bf 20}, 5241 (1987).}

1417: 

1418: \bibitem{mattis}{D. C. Mattis, Int. J. Mod. Phys. {\bf B1}, 103 (1987).} 

1419: 

1420: \bibitem{readcarib}{R. C. Read, in Proc. 3rd Caribbean Conf. on Combin. and

1421: Computing (1981); Proc. 5th Caribbean Conf. on Combin. and Computing (1988).}

1422: 

1423: \bibitem{read91}{R. C. Read and G. F. Royle, in {\it Graph Theory,

1424: Combinatorics, and Applications} (Wiley, NY, 1991), vol. 2, p. 1009.}

1425: 

1426: \bibitem{ww}{R. Shrock and S.-H. Tsai, Phys. Rev. {\bf E55}, 6791 (1997);

1427: Phys. Rev. {\bf E56}, 2733 (1997).}

1428: 

1429: \bibitem{wa}{R. Shrock and S.-H. Tsai, Phys. Rev. {\bf E56}, 3835 (1997).}

1430: 

1431: \bibitem{wn}{R. Shrock and S.-H. Tsai, Phys. Rev. {\bf E56}, 4111 (1997).}

1432: 

1433: \bibitem{strip}{M. Ro\v{c}ek, R. Shrock, and S.-H. Tsai, Physica

1434: {\bf A252}, 505 (1998).}

1435: 

1436: \bibitem{strip2}{M. Ro\v{c}ek, R. Shrock, and S.-H. Tsai, Physica {\bf A259}, 

1437: 367 (1998).}

1438: 

1439: \bibitem{hs}{R. Shrock and S.-H. Tsai, Physica {\bf A259}, 315 (1998).}

1440: 

1441: \bibitem{wa23}{R. Shrock and S.-H. Tsai, J. Phys. A {\bf 31}, 9641 (1998);

1442: Physica {\bf A265}, 186 (1999).}

1443: 

1444: \bibitem{w2d}{R. Shrock and S.-H. Tsai, Phys. Rev. {\bf E58}, 4332 (1998);

1445: cond-mat/9808057.}

1446: 

1447: \bibitem{pg}{R. Shrock and S.-H. Tsai, J. Phys. A Lett. {\bf 32}, L195 

1448: (1999); J. Phys. A {\bf 32}, 5053 (1999).}

1449: 

1450: \bibitem{wcy}{R. Shrock and S.-H. Tsai, Phys. Rev. {\bf E60}, 3512 (1999); 

1451: Physica A {\bf 275}, 429 (2000).} 

1452: 

1453: \bibitem{sokal}{A. Sokal, cond-mat/9904146.}

1454: 

1455: \bibitem{pm}{R. Shrock, Phys. Lett. {\bf A261}, 57 (1999).}

1456: 

1457: \bibitem{matmeth}{N. L. Biggs, LSE report LSE-CDAM-99-03 (May 1999), to

1458: appear.}

1459: 

1460: \bibitem{tk}{N. L. Biggs and R. Shrock, J. Phys. A (Letts) {\bf 32}, L489

1461: (1999).}

1462: 

1463: \bibitem{bcc}{R. Shrock, in the {\it Proceedings of the 1999 British

1464: Combinatorial Conference, BCC99} (July, 1999), Discrete Math, in press.} 

1465: 

1466: \bibitem{tw}{R. Shrock, Physica A {\bf 281}, 221 (2000).} 

1467: 

1468: \bibitem{k}{S.-C. Chang and R. Shrock, Phys. Rev. {\bf E 62}, 4650 (2000).} 

1469: 

1470: \bibitem{ta}{S.-C. Chang and R. Shrock, Physica {\bf A 286}, 189 (2000).}

1471: 

1472: \bibitem{t}{S.-C. Chang and R. Shrock, Ann. Phys., in press

1473: (cond-mat/0004129).} 

1474: 

1475: \bibitem{s4}{S.-C. Chang and R. Shrock, Physica A, in press

1476: (cond-mat/0004161).}

1477: 

1478: \bibitem{sstransfer}{J. Salas and A. Sokal, cond-mat/0004330.}

1479: 

1480: \bibitem{cf}{S.-C. Chang and R. Shrock, Physica A, in press 

1481: (cond-mat/0005232).}

1482: 

1483: \bibitem{tor4}{S.-C. Chang and R. Shrock, Physica A, in press 

1484: (cond-mat/0007491).} 

1485: 

1486: \bibitem{JS}{J. L. Jacobsen and J. Salas, cond-mat/0011456.} 

1487: 

1488: \bibitem{tpbc}{Periodic and twisted periodic longitudinal boundary 

1489: conditions yield the same locus ${\cal B}$, so the ${\cal B}$ for the cyclic

1490: and M\"obius strips of a given type are the same and separately ${\cal B}$ for

1491: the torus and Klein bottle strips of a given type are the same

1492: \cite{pm,tk,tor4}.}

1493: 

1494: \bibitem{Bini} D.A. Bini and G. Fiorentino, MPSolve - Version 2.0, 

1495: FRISCO report (1998) available at

1496: \newline

1497: {\tt http://www.dm.unipi.it/pages/bini/public\_html/papers/mpsolve.ps.Z}.

1498: \newline

1499: Software package available at \newline

1500: {\tt http://www.dm.unipi.it/pages/bini/public\_html/software/mps2.tar.gz}.

1501: 

1502: \bibitem{Bini2} D.A. Bini and G. Fiorentino, Design, analysis and 

1503: implementation of a multiprecision polynomial rootfinder, Universit\`a di 

1504: Pisa preprint (1999), to appear in {\em Numerical Algorithms}. 

1505: 

1506: \end{thebibliography}

1507: \vfill

1508: \eject

1509: \end{document}

1510: