arXiv++ Combinatorics

The question of whether a given region can be successfully filled by a finite set of tiles has been commonly studied, and there are many available arguments for whether a given finite region can be tiled. We can show that there is no domino tiling of the mutilated chessboard via a coloring argument, and a slightly more subtle argument for other two-colored square-grid regions using a height function of Thurston. In this paper, we examine finite regions of the hexagonal grid and a set of tiles known as the stone, bone, and snake. Using matrices in $\text{SL}_2(\mathbb{C})$, we exhibit a new necessary criterion for a region to have a signed tiling by these tiles. This originally arose in a study of the double dimer model.

Defant, Li, Propp, and Young recently resolved two enumerative conjectures of Propp concerning the tilings of regions in the hexagonal grid called benzels using two types of prototiles called stones and bones (with varying constraints on allowed orientations of the tiles). Their primary tool, a bijection called compression that converts certain $k$-ribbon tilings to $(k-1)$-ribbon tilings, allowed them to reduce their problems to the enumeration of dimers (i.e., perfect matchings) of certain graphs. We present a generalized version of compression that no longer relies on the perspective of partitions and skew shapes. Using this strengthened tool, we resolve three more of Propp's conjectures and recast several others as problems about perfect matchings.

A plane partition, whose 3D Young diagram is made of unit cubes, can be approximated by a ``coarser" plane partition, made of cubes of side length 2. Indeed, there are two such approximations obtained by ``rounding up" or ``rounding down" to the nearest cube. We relate this coarsening (or downsampling) operation to the squish map introduced by the second author in earlier work. We exhibit a related measure-preserving map between the dimer model on the honeycomb graph, and the $\text{SL}_2$ double dimer model on a coarser honeycomb graph; we compute the most interesting special case of this map, related to plane partition $q$-enumeration with 2-periodic weights. As an application, we specialize the weights to be certain roots of unity, obtain novel generating functions (some known, some new, and some conjectural) that $(-1)$-enumerate certain classes of pairs of plane partitions according to how their dimer configurations interact.