Counting Structures in Grid Graphs, Cylinders and Tori Using Transfer Matrices: Survey and New Results

There is a very large literature devoted to counting structures, e.g., spanning trees, Hamiltonian cycles, independent sets, acyclic orientations, in the n×m grid graph G(n,m). In particular the problem of counting the number of structures in fixed height graphs, i.e., fixing m and letting n grow, has been, for different types of structures, attacked independently by many different authors, using a transfer matrix approach. This approach essentially permits showing that the number of structures in G(n,m) satisfies a fixed-degree constant-coefficient recurrence relation in n. In contrast there has been surprisingly little work done on counting structures in grid-cylinders (where the left and right, or top and bottom, boundaries of the grid are wrapped around and connected to each other) or in grid-tori (where the left edge of the grid is connected to the right and the top edge is connected to the bottom one). The goal of this paper is to demonstrate that, with some minor modifications, the transfer matrix technique can also be easily used to count structures in fixed height grid-cylinders and tori.

[1]  M. Fisher,et al.  Dimer problem in statistical mechanics-an exact result , 1961 .

[2]  Y. H. Harris Kwong,et al.  A Matrix Method for Counting Hamiltonian Cycles on Grid Graphs , 1994, Eur. J. Comb..

[3]  Paul H. Siegel,et al.  Improved bit-stuffing bounds on two-dimensional constraints , 2002, IEEE Transactions on Information Theory.

[4]  Marc Noy,et al.  Recursively constructible families of graphs , 2004, Adv. Appl. Math..

[5]  Kenneth Zeger,et al.  On the capacity of two-dimensional run-length constrained channels , 1999, IEEE Trans. Inf. Theory.

[6]  P. W. Kasteleyn The statistics of dimers on a lattice: I. The number of dimer arrangements on a quadratic lattice , 1961 .

[7]  F. Y. Wu,et al.  Spanning trees on graphs and lattices in d dimensions , 2000, cond-mat/0004341.

[8]  Paul H. Siegel,et al.  Efficient coding schemes for the hard-square model , 2001, IEEE Trans. Inf. Theory.

[9]  Richard P. Stanley,et al.  On dimer coverings of rectangles of fixed width , 1985, Discret. Appl. Math..

[10]  P. W. Kasteleyn The Statistics of Dimers on a Lattice , 1961 .

[11]  Herbert S. Wilf,et al.  The Number of Independent Sets in a Grid Graph , 1998, SIAM J. Discret. Math..

[12]  Marc Noy,et al.  Improved Bounds for the Number of Forests and Acyclic Orientations in the Square Lattice , 2003, Electron. J. Comb..

[13]  John P. McSorley,et al.  Counting structures in the Möbius ladder , 1998, Discret. Math..

[14]  Volker Strehl,et al.  Enumeration of Hamiltonian Circuits in Rectangular Grids , 1996 .

[15]  D. Welsh,et al.  Forests, colorings and acyclic orientations of the square lattice , 1999 .

[16]  Elliott H. Lleb Residual Entropy of Square Ice , 1967 .