arXiv++ Combinatorics

A vertex subset $S$ of a graph $G$ is a perfect (resp. quasiperfect) dominating set in $G$ if each vertex $v$ of $G\setminus S$ is adjacent to only one vertex ($d_v\in\{1,2\}$ vertices) of $S$. Perfect and quasiperfect dominating sets in the regular tessellation graph of Schläfli symbol $\{3,6\}$ and in its toroidal quotients are investigated, yielding the classification of their perfect dominating sets and most of their quasiperfect dominating sets $S$ with induced components of the form $K_ν$, where $ν\in\{1,2,3\}$ depends only on $S$.

In the literature, most of the results about the enumeration of directed animals on lattices via gas considerations are obtained by a formal passage to the limit of enumeration of directed animals on cyclical versions of the lattice. Here we provide a new point of view on this phenomenon. Using the gas construction given in [Electron. J. Combin. (2007) 14 R71], we describe the gas process on the cyclical versions of the lattices as a cyclical Markov chain (roughly speaking, Markov chains conditioned to come back to their starting point). Then we introduce a notion of convergence of graphs, such that if $(G_n)\to G$ then the gas process built on $G_n$ converges in distribution to the gas process on $G$. That gives a general tool to show that gas processes related to animals enumeration are often Markovian on lines extracted from lattices. We provide examples and computations of new generating functions for directed animals with various sources on the triangular lattice, on the $\mathcal {T}_n$ lattices introduced in [Ann. Comb. 4 (2000) 269--284] and on a generalization of the $\mathcaligr {L}_n$ lattices introduced in [J. Phys. A 29 (1996) 3357--3365].

A self-avoiding walk (SAW) on the square lattice is prudent if it never takes a step towards a vertex it has already visited. Prudent walks differ from most classes of SAW that have been counted so far in that they can wind around their starting point. Their enumeration was first addressed by Préa in 1997. He defined 4 classes of prudent walks, of increasing generality, and wrote a system of recurrence relations for each of them . However, these relations involve more and more parameters as the generality of the class increases. The first class actually consists of partially directed walks, and its generating function is well-known to be rational. The second class was proved to have an algebraic (quadratic) generating function by Duchi (2005). Here, we solve exactly the third class, which turns out to be much more complex: its generating function is not algebraic, nor even D-finite. The fourth class -- general prudent walks -- is the only isotropic one, and still defeats us. However, we design an isotropic family of prudent walks on the triangular lattice, which we count exactly. Again, the generating function is proved to be non-D-finite. We also study the asymptotic properties of these classes of walks, with the (somewhat disappointing) conclusion that their endpoint moves away from the origin at a positive speed. This is confirmed visually by the random generation procedures we have designed.

We consider random lozenge tilings on the triangular lattice with holes $Q_1,...,Q_n$ in some fixed position. For each unit triangle not in a hole, consider the average orientation of the lozenge covering it. We show that the scaling limit of this discrete field is the electrostatic field obtained when regarding each hole $Q_i$ as an electrical charge of magnitude equal to the difference between the number of unit triangles of the two different orientations inside $Q_i$. This is then restated in terms of random surfaces, yielding the result that the average over surfaces with prescribed height at the union of the boundaries of the holes is, in the scaling limit, a sum of helicoids.

We study the zero-temperature partition function of the Potts antiferromagnet (i.e., the chromatic polynomial) on a torus using a transfer-matrix approach. We consider square- and triangular-lattice strips with fixed width L, arbitrary length N, and fully periodic boundary conditions. On the mathematical side, we obtain exact expressions for the chromatic polynomial of widths L=5,6,7 for the square and triangular lattices. On the physical side, we obtain the exact ``phase diagrams'' for these strips of width L and infinite length, and from these results we extract useful information about the infinite-volume phase diagram of this model: in particular, the number and position of the different phases.

Zhang found a simple, elegant argument deducing the non-existence of an infinite open cluster in certain lattice percolation models (for example, p=1/2 bond percolation on the square lattice) from general results on the uniqueness of an infinite open cluster when it exists; this argument requires some symmetry. Here we show that a simple modification of Zhang's argument requires only 2-fold (or 3-fold) symmetry, proving that the critical probabilities for percolation on dual planar lattices with such symmetry sum to 1. Like Zhang's argument, our extension applies in many contexts; in particular, it enables us to answer a question of Grimmett concerning the anisotropic random cluster model on the triangular lattice.

We define the correlation of holes on the triangular lattice under periodic boundary conditions and study its asymptotics as the distances between the holes grow to infinity. We prove that the joint correlation of an arbitrary collection of lattice-triangular holes of even sides satisfies, for large separations between the holes, a Coulomb law and a superposition principle that perfectly parallel the laws of two dimensional electrostatics, with physical charges corresponding to holes, and their magnitude to the difference between the number of right-pointing and left-pointing unit triangles in each hole. We detail this parallel by indicating that, as a consequence of our result, the relative probabilities of finding a fixed collection of holes at given mutual distances (when sampling uniformly at random over all unit rhombus tilings of the complement of the holes) approaches, for large separations between the holes, the relative probabilities of finding the corresponding two dimensional physical system of charges at given mutual distances. Physical temperature corresponds to a parameter refining the background triangular lattice. We give an equivalent phrasing of our result in terms of covering surfaces of given holonomy. From this perspective, two dimensional electrostatics arises by averaging over all possible discrete geometries of the covering surfaces.

The problem of counting the number of Fully Packed Loop (FPL) configurations with four sets of a,b,c,d nested arches is addressed. It is shown that it may be expressed as the problem of enumeration of tilings of a domain of the triangular lattice with a conic singularity. After reexpression in terms of non-intersecting lines, the Lindström-Gessel-Viennot theorem leads to a formula as a sum of determinants. This is made quite explicit when min(a,b,c,d)=1 or 2. We also find a compact determinant formula which generates the numbers of configurations with b=d.

We study the q-state Potts model with nearest-neighbor coupling v=e^{βJ}-1 in the limit q,v \to 0 with the ratio w = v/q held fixed. Combinatorially, this limit gives rise to the generating polynomial of spanning forests; physically, it provides information about the Potts-model phase diagram in the neighborhood of (q,v) = (0,0). We have studied this model on the square and triangular lattices, using a transfer-matrix approach at both real and complex values of w. For both lattices, we have computed the symbolic transfer matrices for cylindrical strips of widths 2 \le L \le 10, as well as the limiting curves of partition-function zeros in the complex w-plane. For real w, we find two distinct phases separated by a transition point w=w_0, where w_0 = -1/4 (resp. w_0 = -0.1753 \pm 0.0002) for the square (resp. triangular) lattice. For w > w_0 we find a non-critical disordered phase, while for w < w_0 our results are compatible with a massless Berker-Kadanoff phase with conformal charge c = -2 and leading thermal scaling dimension x_{T,1} = 2 (marginal operator). At w = w_0 we find a "first-order critical point": the first derivative of the free energy is discontinuous at w_0, while the correlation length diverges as w \downarrow w_0 (and is infinite at w = w_0). The critical behavior at w = w_0 seems to be the same for both lattices and it differs from that of the Berker-Kadanoff phase: our results suggest that the conformal charge is c = -1, the leading thermal scaling dimension is x_{T,1} = 0, and the critical exponents are ν= 1/d = 1/2 and α= 1.

The double integral representing the entropy S_{tri} of spanning trees on a large triangular lattice is evaluated using two different methods, one algebraic and one graphical. Both methods lead to the same result S_{tri} = [1/(2 Pi)]^2 \int_0^{2 Pi} dθ\int_0^{2 Pi} dφln [6-2 cos(θ) - 2 cos(φ) -2 cos(θ+φ)] = [3(\sqrt 3)/Pi](1 - 5^{-2} + 7^{-2} - 11^{-2} + 13^{-2} - ...)

Several combinatorial problems of (quasi-)crystallography are reviewed with special emphasis on a unified approach, valid for both crystals and quasicrystals. In particular, we consider planar sublattices, similarity sublattices, coincidence sublattices, their module counterparts, and central and averaged shelling. The corresponding counting functions are encapsulated in Dirichlet series generating functions, with explicit results for the triangular lattice and the twelvefold symmetric shield tiling. Other combinatorial properties are briefly summarised.

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 $Λ$.

In this article, Temperley's bijection between spanning trees of the square grid on the one hand, and perfect matchings (also known as dimer coverings) of the square grid on the other, is extended to the setting of general planar directed (and undirected) graphs, where edges carry nonnegative weights that induce a weighting on the set of spanning trees. We show that the weighted, directed spanning trees (often called arborescences) of any planar graph G can be put into a one-to-one weight-preserving correspondence with the perfect matchings of a related planar graph H. One special case of this result is a bijection between perfect matchings of the hexagonal honeycomb lattice and directed spanning trees of a triangular lattice. Another special case gives a correspondence between perfect matchings of the ``square-octagon'' lattice and directed weighted spanning trees on a directed weighted version of the cartesian lattice. In conjunction with results of Kenyon, our main theorem allows us to compute the measures of all cylinder events for random spanning trees on any (directed, weighted) planar graph. Conversely, in cases where the perfect matching model arises from a tree model, Wilson's algorithm allows us to quickly generate random samples of perfect matchings.