arXiv++ Combinatorics

This paper establishes connections between EW-tableaux and parallelogram polyominoes by using recent research regarding the sandpile model on the complete bipartite graph. This paper presents and proves a direct bijection between rectangular EW-tableaux and labelled ribbon parallelogram polyominoes. The significance of this is that allows one to move between these objects without the need for `recurrent configurations', the central object which previously tied this work together. It introduces the notion of a marked rectangular EW-tableaux that exactly encode all recurrent configurations of the sandpile model on the complete bipartite graph. This shows how non-cornersupport entries that featured in previous work can be utilized in a simple but important way in relation to EW-tableaux. It lifts the bijection between rectangular EW-tableaux and labelled ribbon parallelogram polyominoes to a bijection between marked rectangular EW-tableaux and labelled parallelogram polyominoes. This bijection helps us to fully understand the aspects of these very different objects that are, in a sense, different sides of the same coin.

Path pairs are a modification of parallelogram polyominoes that provide yet another combinatorial interpretation of the Catalan numbers. More generally, the number of path pairs of length $n$ and distance $δ$ corresponds to the $(n-1,δ-1)$ entry of Shapiro's so-called Catalan triangle. In this paper, we widen the notion of path pairs $(γ_1,γ_2)$ to the situation where $γ_1$ and $γ_2$ may have different lengths, and then enforce divisibility conditions on runs of vertical steps in $γ_2$. This creates a two-parameter family of integer triangles that generalize the Catalan triangle and qualify as proper Riordan arrays for many choices of parameters. In particular, we use generalized path pairs to provide a new combinatorial interpretation for all entries in every proper Riordan array $\mathcal{R}(d(t),h(t))$ of the form $d(t) = C_k(t)^i$, $h(t) = t \kern+1pt C_k(t)^k$, where $1 \leq i \leq k$ and $C_k(t)$ is the generating function for some sequence of Fuss-Catalan numbers (some $k \geq 2$). Closed formulas are then provided for the number of generalized path pairs across an even broader range of parameters, as well as for the number of weak path pairs with a fixed number of non-initial intersections.

In this paper we introduce a new class of polyominoes, called closed paths, and we study the primality of their associated ideal. Inspired by an existing conjecture that characterizes the primality of a polyomino ideal by nonexistence of zig-zag walks, we classify all closed paths which do not contain zig-zag walks, and we give opportune toric representations of the associated ideals. To support the conjecture we prove that having no zig-zag walks is a necessary and sufficient condition for the primality of the associated ideal of a closed path. Finally, we present some classes of prime polyominoes viewed as generalizations of closed paths.

Let P be a simple thin polyomino, roughly speaking a polyomino that has no holes and does not contain a square tetromino as a subpolyomino. In this paper, we determine the reduced Hilbert series $h(t)/(1-t)^d$ of K[P] by proving that $h(t)$ is the rook polynomial of P. As an application, we characterize the Gorenstein simple thin polyominoes.

Our goal is to prove new results in graph theory and combinatorics thanks to the speed of computers, used with smart algorithms. We tackle four problems. The four-colour theorem states that any map whose countries are connected can be coloured with 4 colours such that neighbouring countries have differnt colours. It was the first result proved using computers, in 1989. We wished to automatise further its proof. We explain the proof and provide a program which replays the proof. It also makes it possible to obtain other results with the same method. We give ideas to automatise the search for discharging rules. We also study the problems of domination in grids. The simplest one is the one of domination. It consists in putting a stone on some cells of a grid such that every cell has a stone, or has a neighbour with a stone. This problem was solved in 2011, using computers to prove a formula giving the minimum number of stones needed. We adapt this method for the first time for variants of the domination. We solve partially two other problems and give for them lower bounds for grids of arbitrary size. We also tackle the counting problem for dominating sets. How many dominating sets are there for a given grid? We study this counting problem for the domination and three variants. For each of these problems, we prove the existence of asymptotic growths rates for which we give bounds. Finally we study polyominoes and the way they can tile rectangles. We tried to solve a problem from 1989: is there a polyomino of odd order? It consists in finding a polyomino which can tile a rectangle with an odd number of copies, but cannot tile any smaller rectangle. We did not manage to solve this problem, but we made a program to enumerate polyominoes and try to find their orders, discarding those which cannot tile rectangles. We also give statistics on the orders of polyominoes of size up to 18.

Last passage percolation and directed polymer models on $\mathbb Z^2$ are invariant under translation and certain reflections. When these models have an integrable structure coming from either the RSK correspondence or the geometric RSK correspondence (e.g. geometric last passage percolation or the log-gamma polymer), we show that these basic invariances can be combined with a decoupling property to yield a rich new set of symmetries. Among other results, we prove shift and rearrangement invariance statements for last passage times, geodesic locations, disjointness probabilities, polymer partition functions, and quenched polymer measures. We also use our framework to find `scrambled' versions of the classical RSK correspondence, and to find an RSK correspondence for moon polyominoes. The results extend to limiting models, including the KPZ equation and the Airy sheet.

We study the coordinate ring of an $L$-convex polyomino, determine its regularity in terms of the maximal number of rooks that can be placed in the polyomino. We also characterize the Gorenstein $L$-convex polyominoes and those which are Gorenstein on the punctured spectrum, and compute the Cohen--Macaulay type of any $L$-convex polyomino in terms of the maximal rectangles covering it.

We prove that the number of 01-fillings of a given stack polyomino (a polyomino with justified rows whose lengths form a unimodal sequence) with at most one 1 per column which do not contain a fixed-size northeast chain and a fixed-size southeast chain, depends only on the set of row lengths of the polyomino. The proof is via a bijection between fillings of stack polyominoes which differ only in the position of one row and uses the Hecke insertion algorithm by Buch, Kresch, Shimozono, Tamvakis, and Yong and the jeu de taquin for increasing tableaux of Thomas and Yong. Moreover, our bijection gives another proof of the result by Chen, Guo, and Pang that the crossing number and the nesting number have a symmetric joint distribution over linked partitions.

We give a complete solution to the extremal topological combinatorial problem of finding the minimum number of tiles needed to construct a polyomino with $h$ holes. We denote this number by $g(h)$ and say that a polyomino is crystallized if it has $h$ holes and $g(h)$ tiles. We analyze structural properties of crystallized polyominoes and characterize their efficiency by a topological isoperimetric inequality that relates minimum perimeter, the area of the holes, and the structure of the dual graph of a polyomino. We also develop a new dynamical method of creating sequences of polyominoes which is invariant with respect to crystallization and efficient structure. Using this technique, we prove that crystallized polyominoes with $h_l=(2^{2l}-1)/3$ holes are unique.

It is known that the polyomino ideal of simple polyominoes is prime. In this paper, we focus on multiply connected polyominoes, namely polyominoes with holes, and observe that the non-existence of a certain sequence of inner intervals of the polyomino, called zig-zag walk, gives a necessary condition for the primality of the polyomino ideal. Moreover, by computational approach, we prove that for all polyominoes with rank less than or equal to 14 the above condition is also sufficient. Lastly, we present an infinite class of prime polyomino ideals.

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.

A $d$-dimensional polycube is a facet-connected set of cells (cubes) on the $d$-dimensional cubical lattice $\mathbb{Z}^d$. Let $A_d(n)$ denote the number of $d$-dimensional polycubes (distinct up to translations) with $n$ cubes, and $λ_d$ denote the limit of the ratio $A_d(n{+}1)/A_d(n)$ as $n \to \infty$. The exact value of $λ_d$ is still unknown rigorously for any dimension $d \geq 2$; the asymptotics of $λ_d$, as $d \to \infty$, also remained elusive as of today. In this paper, we revisit and extend the approach presented by Klarner and Rivest in 1973 to bound $A_2(n)$ from above. Our contributions are: Using available computing power, we prove that $λ_2 \leq 4.5252$. This is the first improvement of the upper bound on $λ_2$ in almost half a century; We prove that $λ_d \leq (2d-2)e+o(1)$ for any value of $d \geq 2$, using a novel construction of a rational generating function which dominates that of the sequence $\left(A_d(n)\right)$; For $d=3$, this provides a subtantial improvement of the upper bound on $λ_3$ from 12.2071 to 9.8073; However, we implement an iterative process in three dimensions, which improves further the upper bound on $λ_3$to $9.3835$.

A planar Tangle is a smooth simple closed curve piecewise defined by quadrants of circles with constant curvature. We can enumerate Tangles by counting their dual graphs, which consist of a certain family of polysticks. The number of Tangles with a given length or area grows exponentially, and we show the existence of their growth constants by comparing Tangles to two families of polyominoes.

Let $G_n$ be a linear crossed polyomino chain with $n$ four-order complete graphs. In this paper, explicit formulas for the Kirchhoff index, the multiplicative degree-Kirchhoff index and the number of spanning trees of $G_n$ are determined, respectively. It is interesting to find that the Kirchhoff (resp. multiplicative degree-Kirchhoff) index of $G_n$ is approximately one quarter of its Wiener (resp. Gutman) index. More generally, let $\mathcal{G}^r_n$ be the set of subgraphs obtained by deleting $r$ vertical edges of $G_n$, where $0\leqslant r\leqslant n+1$. For any graph $G^r_n\in \mathcal{G}^r_{n}$, its Kirchhoff index and number of spanning trees are completely determined, respectively. Finally, we show that the Kirchhoff index of $G^r_n$ is approximately one quarter of its Wiener index.

In this article we consider square permutations, a natural subclass of permutations defined in terms of geometric conditions, that can also be described in terms of pattern avoiding permutations, and convex permutoninoes, a related subclass of polyominoes. While these two classes of objects arised independently in various contexts, they play a natural role in the description of certain random horizontally and vertically convex grid configurations. We propose a common approach to the enumeration of these two classes of objets that allows us to explain the known common form of their generating functions, and to derive new refined formulas and linear time random generation algorithms for these objects and the associated grid configurations.

We give a new combinatorial proof for the number of convex polyominoes whose minimum enclosing rectangle has given dimensions. We also count the subclass of these polyominoes that contain the lower left corner of the enclosing rectangle (directed polyominoes). We indicate how to sample random polyominoes in these classes. As a side result, we calculate the first and second moments of the number of common points of two monotone lattice paths between two given points.

In this paper, we enumerate two families of polycubes, the directed plateau polycubes and the plateau polycubes, with respect to the width and a new parameter, the Lateral Area. We give an explicit formula and the generating function for each of the two families of polycubes. Moreover, some asymptotic results about plateau polycubes are provided. We also establish results concerning the enumeration of column-convex polyominoes that are useful to get asymptotic results of polycubes.

How many chess rooks or queens does it take to guard all the squares of a given polyomino, the union of square tiles from a square grid? This question is a version of the art gallery problem in which the guards can "see" whichever squares the rook or queen attacks. We show that floor(n/2) rooks or floor(n/3) queens are sufficient and sometimes necessary to guard a polyomino with n tiles. We also prove that finding the minimum number of rooks or the minimum number of queens needed to guard a polyomino is NP-hard. These results also apply to d-dimensional rooks and queens on d-dimensional polycubes. We also use bipartite matching theorems to describe sets of non-attacking rooks on polyominoes.

What is the maximum number of holes that a polyomino with $n$ tiles can enclose? Call this number $f(n)$. We show that if $n_k = \left( 2^{2k+1} + 3 \cdot 2^{k+1}+4 \right) / 3$ and $h_k = \left( 2^{2k}-1 \right) /3$, then $f(n_k) = h_k$ for $k \ge 1$. We also give nearly matching upper and lower bounds for large $n$, showing as a corollary that $f(n) \approx n/2$.

We prove the Schröder case, i.e. the case $\langle \cdot,e_{n-d}h_d \rangle$, of the conjecture of Haglund, Remmel and Wilson (Haglund et al. 2018) for $Δ_{h_m}Δ_{e_{n-k-1}}'e_n$ in terms of decorated partially labelled Dyck paths, which we call \emph{generalized Delta conjecture}. This result extends the Schröder case of the Delta conjecture proved in (D'Adderio, Vanden Wyngaerd 2017), which in turn generalized the $q,t$-Schröder of Haglund (Haglund 2004). The proof gives a recursion for these polynomials that extends the ones known for the aforementioned special cases. Also, we give another combinatorial interpretation of the same polynomial in terms of a new bounce statistic. Moreover, we give two more interpretations of the same polynomial in terms of doubly decorated parallelogram polyominoes, extending some of the results in (D'Adderio, Iraci 2017), which in turn extended results in (Aval et al. 2014). Also, we provide combinatorial bijections explaining some of the equivalences among these interpretations.