The perimeter generating function for nondirected diagonally convex polyominoes

Svjetlan Feretić
DOI: https://doi.org/10.1016/j.disc.2020.112213
IF: 0.961
2021-02-01
Discrete Mathematics
Abstract:<p>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 <em>directed</em> DCPs. (A directed DCP is such a DCP that remains a polyomino when, for any <span class="math"><math>i</math></span>, its last <span class="math"><math>i</math></span> diagonals are deleted.) Directed DCPs gradually became well understood, whereas general DCPs have remained unexplored up to now.</p><p>In this paper, we finally face <em>general</em> 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 <span class="math"><math>D(d,x)</math></span>. The function <span class="math"><math>D(d,x)</math></span> is algebraic and satisfies an equation of degree eight. The formula for <span class="math"><math>D(d,x)</math></span> is about three pages long. That formula involves nine polynomials in <span class="math"><math>d</math></span> and <span class="math"><math>x</math></span>, and each of those polynomials is of degree 58 or more in <span class="math"><math>x</math></span>.</p>
mathematics
What problem does this paper attempt to address?