arXiv++ Combinatorics

A polyomino is a finite, edge-connected set of cells in the plane. At the present time, an enumeration of all polyominoes is nowhere in sight. On the other hand, there are several subsets of polyominoes for which generating functions are known. For example, there exists extensive knowledge about column-convex polyominoes, a model introduced by Temperley in 1956. While studying column-convex polyominoes, researchers also gave a look at diagonally convex polyominoes (DCPs), but noticed an awkward feature: when the last diagonal of a DCP is deleted, the remaining object is not always a polyomino. So researchers focused their attention on directed DCPs. (A directed DCP is such a DCP that remains a polyomino when, for any $i$, its last $i$ diagonals are deleted.) Directed DCPs gradually became well understood, whereas general DCPs have remained unexplored up to now. In this paper, we finally face general DCPs. Modulo a little trick, which saves us from dealing with non-polyominoes, we use the layered approach (described in chapter 3 of the book ``Polygons, Polyominoes and Polycubes", edited by Anthony Guttmann). The computations are of remarkable bulk. Our main result is the perimeter generating function for DCPs; we denote it $D(d,x)$. The function $D(d,x)$ is algebraic and satisfies an equation of degree eight. The formula for $D(d,x)$ is about eight pages long. That formula involves nine polynomials in $d$ and $x$, and each of those polynomials is of degree $58$ or more in $x$. The interested reader can view the formula for $D(d,x)$ in the Maple worksheet attached to this paper.

Stacked directed animals and multi-directed animals are two lattice models defined by Bousquet-Mélou and Rechnitzer in 2002. The original definitions of those models involve heaps of pieces, i.e., some geometric representation of partially commutative monoids. The object of this writing is to define stacked directed animals and multi-directed animals in such a way that heaps of pieces are not involved. Our alternative definitions are equivalent to Bousquet-Mélou and Rechnitzer's original ones.

Column-convex polyominoes were introduced in 1950's by Temperley, a mathematical physicist working on "lattice gases". By now, column-convex polyominoes are a popular and well-understood model. There exist several generalizations of column-convex polyominoes; an example is a model called multi-directed animals. In this paper, we introduce a new sequence of supersets of column-convex polyominoes. Our model (we call it level m column-subconvex polyominoes) is defined in a simple way. We focus on the case when cells are hexagons and we compute the area generating functions for the levels one and two. Both of those generating functions are complicated q-series, whereas the area generating function of column-convex polyominoes is a rational function. The growth constants of level one and level two column-subconvex polyominoes are 4.319139 and 4.509480, respectively. For comparison, the growth constants of column-convex polyominoes, multi-directed animals and all polyominoes are 3.863131, 4.587894 and 5.183148, respectively.

Back in the early days of polyomino enumeration, a model called column-convex polyominoes was introduced and its area generating function was found. That generating function is rational: the numerator has degree four and the denominator has degree three. Let a column-duplex polyomino be a polyomino whose columns can have either one or two connected components. A simplex-duplex polyomino is a column-duplex polyomino in which there is no occurrence of two adjacent columns each having two connected components. Simplex-duplex polyominoes are not easy to deal with, but their area generating function can still be found. To find this generating function, we use an upgraded version of the Temperley method. Though that technique is widely used in these times, our application presents two interesting features. Firstly, we add one or two columns at a time, thus bypassing those simplex-duplex polyominoes which end with a two-component column. (It is somewhat more usual to add just one column at a time.) Secondly, we obtain a functional equation that involves both the first and the second derivatives of the sought-for generating function. (Such equations usually involve the first derivative only. In some cases, no derivative is involved at all.) Right because of this latter interesting feature, the Temperley method produces a very complicated formula for the generating function. Anyway, from that formula it is easy to compute Taylor polynomials. Thus we get plenty of evidence that the number of n-celled simplex-duplex polyominoes behaves asymptotically as 0.119443*3.522020^n. For comparison, the number of n-celled column-convex polyominoes behaves asymptotically as 0.180916*3.205569^n.

In most of today's exactly solved classes of polyominoes, either all members are convex (in some way), or all members are directed, or both. If the class is neither convex nor directed, the exact solution uses to be elusive. This paper is focused on polyominoes with hexagonal cells. Concretely, we deal with polyominoes whose columns can have either one or two connected components. Those polyominoes (unlike the well-explored column-convex polyominoes) cannot be exactly enumerated by any of the now existing methods. It is therefore appropriate to introduce additional restrictions, thus obtaining solvable subclasses. In our recent paper, published in this same journal, the restrictions just mentioned were semidirectedness and an upper bound on the size of the gap within a column. In this paper, the semidirectedness requirement is made looser. The result is that now the exactly solved subclasses are larger and have greater growth constants. These new polyomino families also have the advantage of being invariant under the reflection about the vertical axis.

Column-convex polyominoes are by now a well-explored model. So far, however, no attention has been given to polyominoes whose columns can have either one or two connected components. This little known kind of polyominoes seems not to be manageable as a whole. To obtain solvable models, one needs to introduce some restrictions. This paper is focused on polyominoes with hexagonal cells. The restrictions just mentioned are semidirectedness and an upper bound on the size of the gap within a column. The solvable models so obtained have rational area generating functions, as column-convex polyominoes do. However, the growth constants of the new models are 4.114908 and more, whereas the growth constant of column-convex polyominoes is 3.863131.