Abstract: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 <math>i</math>, its last <math>i</math> 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 <math>D(d,x)</math>. The function <math>D(d,x)</math> is algebraic and satisfies an equation of degree eight. The formula for <math>D(d,x)</math> is about three pages long. That formula involves nine polynomials in <math>d</math> and <math>x</math>, and each of those polynomials is of degree 58 or more in <math>x</math>.

The perimeter generating function of punctured staircase polygons

Area Distribution and Scaling Function for Punctured Polygons

Punctured polygons and polyominoes on the square lattice

An Approximation Method to Estimate the Hausdorff Measure of the Sierpinski Gasket

Polygonal Dissections and Reversions of Series

Scaling prediction for self-avoiding polygons revisited

The perimeter generating function for nondirected diagonally convex polyominoes

Areas of Triangles and other Polygons with Vertices from Various Sequences

Explicit Generating Functions for the Sum of the Areas Under Dyck and Motzkin Paths (and for Their Powers)

Recurrent Theme of Pick's Theorem

On the first eigenvalue of the Laplacian for polygons

Newton polygons for certain two variable exponential sums

Series expansions for random disc-polygons in smooth plane convex bodies

Enumeration of lozenge tilings of a hexagon with a maximal staircase and a unit triangle removed

Exact Potts/Tutte Polynomials for Polygon Chain Graphs

Existence of Boutroux curves, $g$-functions and spectral networks from Newton's polygon

The Lawn Mowing Problem: From Algebra to Algorithms

Length and area generating functions for height-restricted Motzkin meanders

Ptolemy relations for punctured discs

Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$-theorem

Pearcey universality at cusps of polygonal lozenge tiling