arXiv++ Combinatorics

We establish a bijection between $01$-fillings of stack polyominoes with at most one $1$ per column and labelings of the corners along the top-right border of stack polyominoes. These labellings indicate the lengths of the longest increasing and decreasing chains of the largest rectangular region below and to the left of the corners. Our results provide an alternative proof of Guo and Poznanović's theorem on the lengths of the longest increasing and decreasing chains have a symmetric joint distribution over $01$-fillings of stack polyomino. Moreover, our results offer new perspective to Chen, Guo and Pang's result on the crossing number and the nesting number have a symmetric joint distribution over linked partitions. In particular, our construction generalizes the growth diagram techniques of Rubey for the $01$-fillings of stack polyominoes with at most one $1$ per column and row.

Tiered trees were introduced as a combinatorial object for counting absolutely indecomposable representation of certain quivers and torus orbit of certain homogeneous variety. In this paper, we define a bijection between the set of parallelogram polyominoes and graphical parking functions. Moreover, we defined the space $\mathcal{S}_{G}$ for complete tiered graphs and described tiered graphs in terms of Whitney's operations.

We present a novel bijection between stacked directed polyominoes and Motzkin paths with alternative catastrophes. Further, we show how this new connection can be used in order to obtain a better understanding of certain parameters of stacked directed animals.

We introduce the notions of de Bruijn polyominoes and prismatic polyominoes, which generalize the notions of de Bruijn sequences and arrays. Given a small fixed polyomino $p$ and a set of colors $[n]$, a de Bruijn polyomino for $(p,n)$ is a colored fixed polyomino $P$ with cells colored from $[n]$ such that every possible coloring of $p$ from $[n]$ exists as a subset of $P$. We call de Bruijn polyominoes for $(p,n)$ of minimum size $(p,n)$-prismatic. We discuss for some values of $p$ and $n$ the shape of a $(p,n)$-prismatic polyomino $P$, the construction of a coloring of $P$, and the enumeration of the colorings of $P$. We find evidence that the difficulty of these problems may depend on the parity of the size of $p$

We give a proof of Ollinger's conjecture that the problem of tiling the plane with translated copies of a set of $8$ polyominoes is undecidable. The techniques employed in our proof include a different orientation for simulating the Wang tiles in polyomino and a new method for encoding the colors of Wang tiles.

In this paper we provide a description of the package \textit{PolyominoIdeals} for \textit{Macaulay2} that allows to deal with collections of cells, polyominoes and related binomial ideals.

This paper studies sorted recurrent configurations of the Abelian sandpile model on the complete split graph. We introduce two natural toppling processes, CTI and ITC toppling, on the recurrent configurations and use these to define two toppling delay statistics, wtopple$_{CTI}$ and wtopple$_{ITC}$. These new toppling delay statistics are time-weighted sums for the number of vertices that topple during each iteration of the toppling processes. We then introduce the bivariate $q,t$-CTI and $q,t$-ITC polynomials that are the generating functions of the bistatistics (level,wtopple$_{ITC}$) and (level,wtopple$_{CTI}$), where level is the well-established sandpile level statistic. We prove the bistatistic (level,wtopple$_{ITC}$) maps to a bistatistic (area,bounce) on Schröder paths that was introduced by Egge, Haglund, Killpatrick and Kremer (2003). This establishes equality of the $q,t$-ITC polynomial and the $q,t$-Schröder polynomial of those same authors. This connection allows us to relate the $q,t$-ITC polynomial to the theory of symmetric functions and also establishes symmetry of the $q,t$-ITC polynomials. We conjecture equality of the $q,t$-CTI and $q,t$-ITC polynomials. We also present and prove a characterization of sorted recurrent configurations as a new class of polyominoes that we call sawtooth polyominoes. The CTI and ITC toppling processes on sorted recurrent configurations are proven to correspond to bounce paths within the polyominoes. The main difference between the two bounce paths is the initial direction in which they travel. In addition to this, and building on the results of Aval, D'Adderio, Dukes, and Le Borgne (2016), we present a cycle lemma for a slight extension of stable configurations that allows for an enumeration of sorted recurrent configurations within the framework of the sandpile model.

Which polyominoes can be folded into a cube, using only creases along edges of the square lattice underlying the polyomino, with fold angles of $\pm 90^\circ$ and $\pm 180^\circ$, and allowing faces of the cube to be covered multiple times? Prior results studied tree-shaped polyominoes and polyominoes with holes and gave partial classifications for these cases. We show that there is an algorithm deciding whether a given polyomino can be folded into a cube. This algorithm essentially amounts to trying all possible ways of mapping faces of the polyomino to faces of the cube, but (perhaps surprisingly) checking whether such a mapping corresponds to a valid folding is equivalent to the unlink recognition problem from topology. We also give further results on classes of polyominoes which can or cannot be folded into cubes. Our results include (1) a full characterisation of all tree-shaped polyominoes that can be folded into the cube (2) that any rectangular polyomino which contains only one simple hole (out of five different types) does not fold into a cube, (3) a complete characterisation when a rectangular polyomino with two or more unit square holes (but no other holes) can be folded into a cube, and (4) a sufficient condition when a simply-connected polyomino can be folded to a cube. These results answer several open problems of previous work and close the cases of tree-shaped polyominoes and rectangular polyominoes with just one simple hole.

We study the set of networks, which consist of sources, sinks and neutral points, bijective to the permutations. The set of directed edges, which characterizes a network, is constructed from a polyomino or a Rothe diagram of a permutation through a Dyck tiling on a ribbon. We introduce a new combinatorial object similar to a tree-like tableau, which we call a forest. A forest is shown to give a permutation, and be bijective to a network corresponding to the inverse of the permutation. We show that the poset of networks is a finite graded lattice and admits an $EL$-labeling. By use of this $EL$-labeling, we show the lattice is supersolvable and compute the Möbius function of an interval of the poset.

In this paper we investigate Cohen-Macaulayness, Gorensteinness and the Hilbert-Poincaré series for some classes of non-prime collections of cells. In particular, we show that all closed path polyominoes are Cohen-Macaulay and we characterize those that are Gorenstein.

A word $w=w_1\cdots w_n$ over the set of positive integers is a Motzkin word whenever $w_1=\texttt{1}$, $1\leq w_k\leq w_{k-1}+1$, and $w_{k-1}\neq w_{k}$ for $k=2, \dots, n$. It can be associated to a $n$-column Motzkin polyomino whose $i$-th column contains $w_i$ cells, and all columns are bottom-justified. We reveal bijective connections between Motzkin paths, restricted Catalan words, primitive Łukasiewicz paths, and Motzkin polyominoes. Using the aforementioned bijections together with classical one-to-one correspondence with Dyck paths avoiding $UDU$s, we provide generating functions with respect to the length, area, semiperimeter, value of the last symbol, and number of interior points of Motzkin polyominoes. We give asymptotics and closed-form expressions for the total area, total semiperimeter, sum of the last symbol values, and total number of interior points over all Motzkin polyominoes of a given length. We also present and prove an engaging trinomial relation concerning the number of cells lying at different levels and first terms of the expanded $(1+x+x^2)^n$.

We investigate the algebraic properties of the coordinate ring of grid polyominoes. This class of non-simple and thin polyominoes was introduced by Mascia, Rinaldo, and Romeo, but not much is known about their polyomino ideals, $I_{\mathcal{P}}$, and their related coordinate ring, $K[\mathcal{P}]$. We give a formula for the Krull dimension of $K[\mathcal{P}]$ in terms of the combinatorics of the polyomino and we prove that $I_{\mathcal{P}}$ is of König type if and only if the polyomino has exactly one hole. In addition, we study a Conjecture of Rinaldo and Romeo which characterizes the thin polyominoes, and we confirm it for grid polyominoes. Namely, in the main result of this article, we prove that the $h$-polynomial of $K[\mathcal{P}]$ is equal to the rook polynomial of $\mathcal{P}$, and, as a consequence, the Castelnuovo-Mumford regularity of $K[\mathcal{P}]$ is equal to $r(\mathcal{P})$, the maximum number of rooks that can be placed in $\mathcal{P}$ in non-attacking positions. Our method to prove this result is based on the theory of simplicial complexes. We provide a suitable shelling order for $Δ_{\mathcal{P}}$, the simplicial complex attached to $\mathcal{P}$ in relation to a generalized step of a facet, and we show that there is a one-to-one correspondence between the facets of $Δ_{\mathcal{P}}$ with $k$ generalized steps and the $k$-rook configurations in $\mathcal{P}$.

A \emph{Dyck path} is a lattice path in the first quadrant of the $xy$-plane that starts at the origin, ends on the $x$-axis, and consists of the same number of North-East steps $U$ and South-East steps $D$. A \emph{valley} is a subpath of the form $DU$. A Dyck path is called \emph{restricted $d$-Dyck} if the difference between any two consecutive valleys is at least $d$ (right-hand side minus left-hand side) or if it has at most one valley. In this paper we give some connections between restricted $d$-Dyck paths and both, the non-crossing partitions of $[n]$ and some subfamilies of polyominoes. We also give generating functions to count several aspects of these combinatorial objects.

A locked $t$-omino tiling is a grid tiling by $t$-ominoes such that, if you remove any pair of tiles, the only way to fill in the remaining $2t$ grid cells with $t$-ominoes is to use the same two tiles in the exact same configuration as before. We exclude degenerate cases where there is only one tiling overall due to small dimensions. It is a classic (and straightforward) result that finite grids do not admit locked 2-omino tilings. In this paper, we construct explicit locked $t$-omino tilings for $t \geq 3$ on grids of various dimensions. Most notably, we show that locked 3- and 4-omino tilings exist on finite square grids of arbitrarily large size, and locked $t$-omino tilings of the infinite grid exist for arbitrarily large $t$. The result for 4-omino tilings in particular is remarkable because they are so rare and difficult to construct: Only a single tiling is known to exist on any grid up to size $40 \times 40$. In a weighted version of the problem where vertices of the grid may have weights from the set $\{1, 2\}$ that count toward the total tile size, we demonstrate the existence of locked tilings on arbitrarily large square weighted grids with only 6 tiles. Locked $t$-omino tilings arise as obstructions to widely used political redistricting algorithms in a model of redistricting where the underlying census geography is a grid graph. Most prominent is the ReCom Markov chain, which takes a random walk on the space of redistricting plans by iteratively merging and splitting pairs of districts (tiles) at a time. Locked $t$-omino tilings are isolated states in the state space of ReCom. The constructions in this paper are counterexamples to the meta-conjecture that ReCom is irreducible on graphs of practical interest.

Let $\mathcal{P}$ be a frame polyomino, a new kind of non-simple polyomino. In this paper we study the $h$-polynomial of $K[\mathcal{P}]$ in terms of the switching rook polynomial of $\mathcal{P}$ using the shellable simplicial complex $Δ(\mathcal{P})$ attached to $\mathcal{P}$. We provide a suitable shelling order for $Δ(\mathcal{P})$ and we define a bijection between the set of the canonical configurations of $j$ rooks in $\mathcal{P}$ and the facets of $Δ(\mathcal{P})$ with $j$ steps. Finally we use a well-known combinatorial result, due to McMullen and Walkup, about the $h$-vector of a shellable simplicial complex to interpret the $h$-polynomial of $K[\mathcal{P}]$ as the switching rook polynomial of $\mathcal{P}$.

In [2], while studying a relevant class of polyominoes that tile the plane by translation, i.e., double square polyominoes, the authors found that their boundary words, encoded by the Freeman chain coding on a four letters alphabet, have specific interesting properties that involve notions of combinatorics on words such as palindromicity, periodicity and symmetry. Furthermore, they defined a notion of reducibility on double squares using homologous morphisms, so leading to a set of irreducible tile elements called prime double squares. The authors, by inspecting the boundary words of the smallest prime double squares, conjectured the strong property that no runs of two (or more) consecutive equal letters are present there. In this paper, we prove such a conjecture using combinatorics on words tools, and setting the path to the definition of a fast generation algorithm and to the possibility of enumerating the elements of this class w.r.t. standard parameters, as perimeter and area.

While the number of polyominoes is known to be supermultiplicative by a simple concatenation argument, it is still unknown whether the same applies to polyiamonds. This article proves that if $\ell,m$ are not both $1$, then $T(\ell+m)\ge T(\ell)T(m)$, for which one can say that the number of polyiamonds $T(n)$ is supermultiplicative. The method is, however, by concatenating, merging and adding cells at the same time. A corollary is an increment of the best known lower bound on the growth constant from $2.8423$ to $2.8578$.

In this article, we study the primary decomposition of some binomial ideals. In particular, we introduce the concept of polyocollection, a combinatorial object that generalizes the definitions of collection of cells and polyomino, that can be used to compute a primary decomposition of non-prime polyomino ideals. Furthermore, we give a description of the minimal primary decomposition of non-prime closed path polyominoes. In particular, for such a class of polyominoes, we characterize the set of all zig-zag walks and show that the minimal prime ideals have a very nice combinatorial description.

Let $P(n)$ be the number of polyominoes of $n$ cells and $λ$ be Klarner's constant, that is, $λ=\lim_{n\to\infty} \sqrt[n]{P(n)}$. We show that there exist some positive numbers $A,T$, so that for every $n$ \[ P(n) \ge An^{-T\log n} λ^n. \] This is somewhat a step toward the well known conjecture that there exist positive $C,θ$ so that $P(n)\sim Cn^{-θ}λ^n$ for every $n$. In fact, if we assume another popular conjecture that $P(n)/P(n-1)$ is increasing, we can get rid of $\log n$ to have \[ P(n)\ge An^{-T}λ^n. \] Beside the above theoretical result, we also conjecture that the ratio of the number of some class of polyominoes, namely inconstructible polyominoes, over $P(n)$ is decreasing, by observing this behavior for the available values. The conjecture opens a nice approach to bounding $λ$ from above, since if it is the case, we can conclude that \[ λ< 4.1141, \] which is quite close to the current best lower bound $λ> 4.0025$ and greatly improves the current best upper bound $λ< 4.5252$. The approach is merely analytically manipulating the known or likely properties of the function $P(n)$, instead of giving new insights of the structure of polyominoes. The techniques can be applied to other lattice animals and self-avoiding polygons of a given area with almost no change.

We introduce the $k$-bonacci polyominoes, a new family of polyominoes associated with the binary words avoiding $k$ consecutive $1$'s, also called generalized $k$-bonacci words. The polyominoes are very entrancing objects, considered in combinatorics and computer science. The study of polyominoes generates a rich source of combinatorial ideas. In this paper we study some properties of $k$-bonacci polyominoes. Specifically, we determine their recursive structure and, using this structure, we enumerate them according to their area, semiperimeter, and length of the corresponding words. We also introduce the $k$-bonacci graphs, then we obtain the generating functions for the total number of vertices and edges, the distribution of the degrees, and the total number of $k$-bonacci graphs that have a Hamiltonian cycle.