arXiv++ Combinatorics

Browse math.CO papers from arXiv

lattice ↗ reference

4391 papers tagged with this keyword
2000-05-15
Structural Properties of Potts Model Partition Functions and Chromatic Polynomials for Lattice Strips
Published in Physica A 296, 131-182 (2001) • View Publication • BIB
partial abstract: The $q$-state Potts model partition function (equivalent to the Tutte polynomial) for a lattice strip of fixed width $L_y$ and arbitrary length $L_x$ has the form $Z(G,q,v)=\sum_{j=1}^{N_{Z,G,λ}}c_{Z,G,j}(λ_{Z,G,j})^{L_x}$, where $v$ is a temperature-dependent variable. The special case of the zero-temperature antiferromagnet ($v=-1$) is the chromatic polynomial $P(G,q)$. Using coloring and transfer matrix methods, we give general formulas for $C_{X,G}=\sum_{j=1}^{N_{X,G,λ}}c_{X,G,j}$ for $X=Z,P$ on cyclic and Möbius strip graphs of the square and triangular lattice. Combining these with a general expression for the (unique) coefficient $c_{Z,G,j}$ of degree $d$ in $q$: $c^{(d)}=U_{2d}(\frac{\sqrt{q}}{2})$, where $U_n(x)$ is the Chebyshev polynomial of the second kind, we determine the number of $λ_{Z,G,j}$'s with coefficient $c^{(d)}$ in $Z(G,q,v)$ for these cyclic strips of width $L_y$ to be $n_Z(L_y,d)=(2d+1)(L_y+d+1)^{-1} {2L_y \choose L_y-d}$ for $0 \le d \le L_y$ and zero otherwise. For both cyclic and Möbius strips of these lattices, the total number of distinct eigenvalues $λ_{Z,G,j}$ is calculated to be $N_{Z,L_y,λ}={2L_y \choose L_y}$. We point out that $N_{Z,L_y,λ}=2N_{DA,tri,L_y}$ and $N_{P,L_y,λ}=2N_{DA,sq,L_y}$, where $N_{DA,Λ,n}$ denotes the number of directed lattice animals on the lattice $Λ$.
2000-05-15
Ground State Entropy of the Potts Antiferromagnet with Next-Nearest-Neighbor Spin-Spin Couplings on Strips of the Square Lattice
Published in Phys. Rev. E62, 4650-4664 (2000) • View Publication • BIB
We present exact calculations of the zero-temperature partition function (chromatic polynomial) and $W(q)$, the exponent of the ground-state entropy, for the $q$-state Potts antiferromagnet with next-nearest-neighbor spin-spin couplings on square lattice strips, of width $L_y=3$ and $L_y=4$ vertices and arbitrarily great length $L_x$ vertices, with both free and periodic boundary conditions. The resultant values of $W$ for a range of physical $q$ values are compared with each other and with the values for the full 2D lattice. These results give insight into the effect of such non-nearest neighbor couplings on the ground state entropy. We show that the $q=2$ (Ising) and $q=4$ Potts antiferromagnets have zero-temperature critical points on the $L_x \to \infty$ limits of the strips that we study. With the generalization of $q$ from ${\mathbb Z}_+$ to ${\mathbb C}$, we determine the analytic structure of $W(q)$ in the $q$ plane for the various cases.
2000-04-19 v2
Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models I. General Theory and Square-Lattice Chromatic Polynomial
Published in J.Statist.Phys. 104 (2001) 609-699 • View Publication • BIB
We study the chromatic polynomials (= zero-temperature antiferromagnetic Potts-model partition functions) P_G(q) for m \times n rectangular subsets of the square lattice, with m \le 8 (free or periodic transverse boundary conditions) and n arbitrary (free longitudinal boundary conditions), using a transfer matrix in the Fortuin-Kasteleyn representation. In particular, we extract the limiting curves of partition-function zeros when n \to\infty, which arise from the crossing in modulus of dominant eigenvalues (Beraha-Kahane-Weiss theorem). We also provide evidence that the Beraha numbers B_2,B_3,B_4,B_5 are limiting points of partition-function zeros as n \to\infty whenever the strip width m is \ge 7 (periodic transverse b.c.) or \ge 8 (free transverse b.c.). Along the way, we prove that a noninteger Beraha number (except perhaps B_{10}) cannot be a chromatic root of any graph.
2000-04-19
Toda equations for Hurwitz numbers
Published • View Publication • BIB
We consider ramified coverings of P^1 with arbitrary ramification type over 0 and infinity and simple ramifications elsewhere and prove that the generating function for the numbers of such coverings is a tau-function for the Toda lattice hierarchy of Ueno and Takasaki.
2000-04-13 v3
A Personal List of Unsolved Problems Concerning Lattice Gases and Antiferromagnetic Potts Models
Published in Markov Process. Related Fields 7, 21-38 (2001) • Search Publication
I review recent results and unsolved problems concerning the hard-core lattice gas and the q-coloring model (antiferromagnetic Potts model at zero temperature). For each model, I consider its equilibrium properties (uniqueness/nonuniqueness of the infinite-volume Gibbs measure, complex zeros of the partition function) and the dynamics of local and nonlocal Monte Carlo algorithms (ergodicity, rapid mixing, mixing at complex fugacity). These problems touch on mathematical physics, probability, combinatorics and theoretical computer science.
2000-04-01 v2
Quadratic forms of rank 1, closed zones and laminae
Published • View Publication • BIB
For a given lattice, we establish an equivalence involving a closed zone of the corresponding Voronoi polytope, a lamina hyperplane of the corresponding Delaunay partition and a quadratic form of rank 1 being an extreme ray of the corresponding L-type domain.
2000-03-06
Hard Tiling Problems with Simple Tiles
Published • View Publication • BIB
It is well-known that the question of whether a given finite region can be tiled with a given set of tiles is NP-complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right tromino alone. In the process, we show that Monotone 1-in-3 Satisfiability is NP-complete for planar cubic graphs. In higher dimensions, we show NP-completeness for the domino and straight tromino for general regions on the cubic lattice, and for simply-connected regions on the four-dimensional hypercubic lattice.
2000-02-12 v2
Parallel connections and bundles of arrangements
Published • View Publication • BIB
Let \A be a complex hyperplane arrangement, and let $X$ be a modular element of arbitrary rank in the intersection lattice of \A. We show that projection along $X$ restricts to a fiber bundle projection of the complement of \A to the complement of the localization $\A_X$ of \A at $X$. The fiber is the decone of a realization of the complete principal truncation of the underlying matroid of \A along the flat corresponding to $X$. This result gives a topological realization of results of Stanley, Brylawsky, and Terao on modular factorization. We show that (generalized) parallel connection of matroids corresponds to pullback of fiber bundles, clarifying the notion that all examples of diffeomorphisms of complements of inequivalent arrangements result from the triviality of the restriction of the Hopf bundle to the complement of a hyperplane. The modular fibration result also yields a new method for identifying $K(π,1)$ arrangements of rank greater than three. We identify a new families of $K(π,1)$ arrangements, providing more evidence for the conjecture that factored arrangements of arbitrary rank are $K(π,1)$.
2000-02-08 v2
On the Counting of Colored Tangles
Published in Journal of Knot Theory and its Ramifications 9 (2000) 1127--1141 • View Publication • BIB
The connection between matrix integrals and links is used to define matrix models which count alternating tangles in which each closed loop is weighted with a factor n, i.e. may be regarded as decorated with n possible colors. For n=2, the corresponding matrix integral is that recently solved in the study of the random lattice six-vertex model. The generating function of alternating 2-color tangles is provided in terms of elliptic functions, expanded to 16-th order (16 crossings) and its asymptotic behavior is given.
2000-02-02
Polytopes for Crystallized Demazure Modules and Exremal Vectors
Published • View Publication • BIB
We give a parametrization for crystal bases of Demazure modules as a set of lattice points in some convex polytope and we also describe explicitly the extremal vectors as solutions of some system of linear equations.
2000-01-27
T=0 Partition Functions for Potts Antiferromagnets on Square Lattice Strips with (Twisted) Periodic Boundary Conditions
Published in J. Phys A (Letts.) 32, L489-L493 (1999) • View Publication • BIB
We present exact calculations of the zero-temperature partition function for the q-state Potts antiferromagnet (equivalently, the chromatic polynomial) for two families of arbitrarily long strip graphs of the square lattice with periodic boundary conditions in the transverse direction and (i) periodic (ii) twisted periodic boundary conditions in the longitudinal direction, so that the strip graphs are embedded on a (i) torus (ii) Klein bottle. In the limit of infinite length, we calculate the exponent of the entropy, W(q), show it to be the same for (i) and (ii), and determine its analytic structure.
2000-01-27
Spanning Trees on Hypercubic Lattices and Non-orientable Surfaces
Published in Appl. Math. Letters 13 (6), 19-25 (2000). • View Publication • BIB
We consider the problem of enumerating spanning trees on lattices. Closed-form expressions are obtained for the spanning tree generating function for a hypercubic lattice of size N_1 x N_2 x...x N_d in d dimensions under free, periodic, and a combination of free and periodic boundary conditions. Results are also obtained for a simple quartic net embedded on two non-orientable surfaces, a Moebius strip and the Klein bottle. Our results are based on the use of a formula expressing the spanning tree generating function in terms of the eigenvalues of an associated tree matrix. An elementary derivation of this formula is given.
2000-01-10
Signs in the cd-index of Eulerian partially ordered sets
Published • View Publication • BIB
A graded partially ordered set is Eulerian if every interval has the same number of elements of even rank and of odd rank. Face lattices of convex polytopes are Eulerian. For Eulerian partially ordered sets, the flag vector can be encoded efficiently in the cd-index. The cd-index of a polytope has all positive entries. An important open problem is to give the broadest natural class of Eulerian posets having nonnegative cd-index. This paper completely determines which entries of the cd-index are nonnegative for all Eulerian posets. It also shows that there are no other lower or upper bounds on cd-coefficients (except for the coefficient of c^n).
2000-01-10
Left-modular elements
Published in J. Combin. Theory (A) 91 (2000), 369-385. • View Publication • BIB
Left-modularity is a concept that generalizes modularity in lattice theory. In this paper, we give a characterization of left-modular elements and derive two formulae for the characteristic polynomial of a lattice with such an element, one of which generalizes Stanley's Partial Factorization Theorem for a geometric lattice with a modular element. Both formulae provide us with inductive proofs of Blass and Sagan's Total Factorization Theorem for LL lattices. The characteristic polynomials and Mobius functions of non-crossing partition lattices and shuffle posets are computed as examples.
2000-01-06 v2
The invariants of the Clifford groups
Published • View Publication • BIB
The automorphism group of the Barnes-Wall lattice L_m in dimension 2^m (m not 3) is a subgroup of index 2 in a certain ``Clifford group'' C_m (an extraspecial group of order 2^(1+2m) extended by an orthogonal group). This group and its complex analogue CC_m have arisen in recent years in connection with the construction of orthogonal spreads, Kerdock sets, packings in Grassmannian spaces, quantum codes, Siegel modular forms and spherical designs. In this paper we give a simpler proof of Runge's 1996 result that the space of invariants for C_m of degree 2k is spanned by the complete weight enumerators of the codes obtained by tensoring binary self-dual codes of length 2k with the field GF(2^m); these are a basis if m >= k-1. We also give new constructions for L_m and C_m: let M be the Z[sqrt(2)]-lattice with Gram matrix [2, sqrt(2); sqrt(2), 2]. Then L_m is the rational part of the mth tensor power of M, and C_m is the automorphism group of this tensor power. Also, if C is a binary self-dual code not generated by vectors of weight 2, then C_m is precisely the automorphism group of the complete weight enumerator of the tensor product of C and GF(2^m). There are analogues of all these results for the complex group CC_m, with ``doubly-even self-dual code'' instead of ``self-dual code''.
2000-01-04
Random vicious walks and random matrices
Published • View Publication • BIB
Lock step walker model is a one-dimensional integer lattice walker model in discrete time. Suppose that initially there are infinitely many walkers on the non-negative even integer sites. At each tick of time, each walker moves either to its left or to its right with equal probability. The only constraint is that no two walkers can occupy the same site at the same time. It is proved that in the large time limit, a certain conditional probability of the displacement of the leftmost walker is identical to the limiting distribution of the properly scaled largest eigenvalue of a random GOE matrix (GOE Tracy-Widom distribution). The proof is based on the bijection between path configurations and semistandard Young tableaux established recently by Guttmann, Owczarek and Viennot. Statistics of semistandard Young tableaux is analyzed using the Hankel determinant expression for the probability from the work of Rains and the author. The asymptotics of the Hankel determinant is obtained by applying the Deift-Zhou steepest-descent method to the Riemann-Hilbert problem for the related orthogonal polynomials.
1999-12-31
Syzygies of Unimodular Lawrence Ideals
Published • View Publication • BIB
Infinite hyperplane arrangements whose vertices form a lattice are studied from the point of view of commutative algebra. The quotient of such an arrangement modulo the lattice action represents the minimal free resolution of the associated binomial ideal, which defines a toric subvariety in a product of projective lines. Connections to graphic arrangements and to Beilinson's spectral sequence are explored.
1999-12-17 v2
Integrals over classical Groups, Random permutations, Toda and Toeplitz lattices
Published • View Publication • BIB
Matrix Fourier-like integrals over the classical groups O_+(n), O_-(n), Sp(n) and U(n) are connected with the distribution of the length of the longest increasing sequence in random permutations and random involutions and the spectrum of random matrices. One of the purposes of this paper is to show that all those integrals satisfy the Painlevé V equation with specific initial conditions. In this work, we present both, new results and known ones, in a unified way. Our method consists of inserting one set of time variables t=(t_1,t_2,...) in the integrals for the real compact groups and two sets of times (t,s) for the unitary group. The point is that these new time-dependent integrals satisfy integrable hierarchies: (i) O(n) and Sp(n) correspond to the standard Toda lattice. (ii) U(n) corresponds to the Toeplitz lattice, a very special reduction of the discrete sinh-Gordon equation. Both systems, the standard Toda lattice and the Toeplitz lattice are also reductions of the 2-Toda lattice, thus leading to a natural vertex operator, and so, a natural Virasoro algebra, a subalgebra of which annihilates the tau-functions. Combining these equations leads to the Painlevé V equation for the integrals.
1999-12-17
New Examples of Potential Theory on Bratelli Diagrams
We consider potential theory on Bratteli diagrams arising from Macdonald polynomials. The case of Hall-Littlewood polynomials is particularly interesting; the elements of the diagram are partitions, the branching multiplicities are integers, the combinatorial dimensions are Green's polynomials, and the Jordan form of a randomly chosen unipotent upper triangular matrix over a finite field gives rise to a harmonic function. The case of Schur functions yields natural deformations of the Young lattice and Plancharel measure. Many harmonic functions are constructed and algorithms for sampling from the underlying probability measures are given.
1999-12-15
Harmonic functions on multiplicative graphs and interpolation polynomials
Published in Electronic Journal of Combinatorics 7 (2000), paper R28 • View Publication • BIB
We construct examples of nonnegative harmonic functions on certain graded graphs: the Young lattice and its generalizations. Such functions first emerged in harmonic analysis on the infinite symmetric group. Our method relies on multivariate interpolation polynomials associated with Schur's S and P functions and with Jack symmetric functions. As a by-product, we compute certain Selberg-type integrals.