arXiv++ Combinatorics

We study different domination problems of attacking and non-attacking rooks and queens on polyominoes and polycubes of all dimensions. Our main result proves that maximum independent domination is NP-complete for non-attacking queens and for non-attacking rooks on polycubes of dimension three and higher. We also analyze these problems for polyominoes and convex polyominoes, conjecture the complexity classes, and provide a computer tool for investigation. We have also computed new values for classical queen domination problems on chessboards (square polyominoes). For our computations, we have translated the problem into an integer linear programming instance. Finally, using this computational implementation and the game engine Godot, we have developed a video game of minimum domination of queens and rooks on randomly generated polyominoes.

We study the properties of the rook complex $\mathcal{R}$ of a polyomino $\mathcal{P}$ seen as independence complex of a graph $G$, and the associated Stanley--Reisner ideal $I_\mathcal{R}$. In particular, we characterize the polyominoes $\mathcal{P}$ having a pure rook complex, and the ones whose Stanley--Reisner ideal has linear resolution. Furthermore, we prove that for a class of polyominoes the Castelnuovo-Mumford regularity of $I_\mathcal{R}$ coincides with the induced matching number of $G$.

The class of fighting fish is a recently introduced model of branching surfaces generalizing parallelogram polyominoes. We can alternatively see them as gluings of cells, walks on the square lattice confined to the quadrant or shuffle of Dyck words. With these different points of view, we introduce a natural extension of fighting fish that we call \emph{generalized fighting fish}. We show that generalized fighting fish are exactly the Mullin codes of rooted planar maps endowed with their unique rightmost depth-first search spanning tree, also known as Lehman-Lenormand code. In particular, this correspondence gives a bijection between fighting fish and nonseparable rooted planar maps, enriching the garden of bijections between classes of objects enumerated by the sequence $\frac{2}{(n+1)(2n+1)} \binom{3n}{n}$.

We study the Kőnig type property for non-simple polyominoes. We prove that, for closed path polyominoes, the polyomino ideals are of Kőnig type, extending the results of Herzog and Hibi for simple thin polyominoes. As an application of this result, we give a combinatorial interpretation for the canonical module of the coordinate ring of a sub-class of closed path polyominoes, namely circle closed path polyominoes. In this case, we compute also the Cohen-Macaulay type and we show that $K[\mathcal{P}]$ is a level ring.

We study piecewise-linear and birational lifts of Schützenberger promotion, evacuation, and the RSK correspondence defined in terms of toggles. Using this perspective, we prove that certain chain statistics in rectangles shift predictably under the action of these maps. We then use this to construct piecewise-linear and birational versions of Rubey's bijections between fillings of equivalent moon polyominoes that preserve these chain statistics, and we show that these maps form a commuting diagram. We also discuss how these results imply Ehrhart equivalence and Ehrhart quasi-polynomial period collapse of certain analogues of chain polytopes for moon polyominoes.

Let $G$ be a connected graph. The resistance distance between any two vertices of $G$ is equal to the effective resistance between them in the corresponding electrical network constructed from $G$ by replacing each edge with a unit resistor. The Kirchhoff index is defined as the sum of resistance distances between all pairs of the vertices. These indices have been computed for many interesting graphs, such as linear polyomino chain, linear/Möbius/cylinder hexagonal chain, and linear/Möbius/cylinder octagonal chain. In this paper, we characterized the maximum and minimum octagonal chains with respect to the Kirchhoff index.

Let $m,k$ be fixed positive integers. Determining the generating function for the number of tilings of an $m\times n$ rectangle by $k\times 1$ rectangles is a long-standing open problem to which the answer is only known in certain special cases. We give an explicit formula for this generating function in the case where $m<2k$. This result is used to obtain the generating function for the number of tilings of an $m\times n \times k$ box with $k\times k\times 1$ bricks.

A toric quantum error-correcting code construction procedure is presented in this work. A new class of an infinite family of toric quantum codes is provided by constructing a classical cyclic code on the square lattice $\mathbb{Z}_{q}\times \mathbb{Z}_{q}$ for all odd integers $q\geq 5$ and, consequently, new toric quantum codes are constructed on such square lattices regardless of whether $q$ can be represented as a sum of two squares. Furthermore this work supplies for each $q$ the polyomino shapes that tessellate the corresponding square lattices and, consequently, tile the lattice $\mathbb{Z}^{2}$. The channel without memory to be considered for these constructed toric quantum codes is symmetric, since the $\mathbb{Z}^{2}$-lattice is autodual. Moreover, we propose a quantum interleaving technique by using the constructed toric quantum codes which shows that the code rate and the coding gain of the interleaved toric quantum codes are better than the code rate and the coding gain of Kitaev's toric quantum codes for $q=2n+1$, where $n\geq 2$, and of an infinite class of Bombin and Martin-Delgado's toric quantum codes. In addition to the proposed quantum interleaving technique improves such parameters, it can be used for burst-error correction in errors which are located, quantum data stored and quantum channels with memory.

In this paper we introduce some monomial orders for the class of closed path polyominoes and we prove that the set of the generators of the polyomino ideal attached to a closed path forms the reduced Gröbner basis with respect to these monomial orders. It is known that the polyomino ideal attached to a closed path containing an L-configuration or a ladder of at least three steps, equivalently having no zig-zag walks, is prime. As a consequence, we obtain that the coordinate ring of a closed path having no zig-zag walks is a normal Cohen-Macaulay domain.

Let $\mathcal{P}$ be a closed path having no zig-zag walks, a kind of non-simple thin polyomino. In this paper we give a combinatorial interpretation of the $h$-polynomial of $K[\mathcal{P}]$, showing that it is the rook polynomial of $\mathcal{P}$. It is known by Rinaldo and Romeo (2021), that if $\mathcal{P}$ is a simple thin polyomino then the $h$-polynomial is equal to the rook polynomial of $\mathcal{P}$ and it is conjectured that this property characterizes all thin polyominoes. Our main demonstrative strategy is to compute the reduced Hilbert-Poincaré series of the coordinate ring attached to a closed path $\mathcal{P}$ having no zig-zag walks, as a combination of the Hilbert-Poincaré series of convenient simple thin polyominoes. As a consequence we prove that the Krull dimension is equal to $\vert V(\mathcal{P})\vert -\mathrm{rank}\, \mathcal{P}$ and the regularity of $K[\mathcal{P}]$ is the rook number of $\mathcal{P}$. Finally we characterize the Gorenstein prime closed paths, proving that $K[\mathcal{P}]$ is Gorenstein if and only if $\mathcal{P}$ consists of maximal blocks of length three.

We prove a conjecture of Guo and Poznanović concerning chains in certain 01-fillings of moon polyominoes. A key ingredient of our proof is a correspondence between words $w$ and pairs $(\mathcal{W}(w), \mathcal{M}(w))$ of increasing tableaux such that $\mathcal{M}(w)$ determines the lengths of the longest strictly increasing and strictly decreasing sequences in every subinterval of $w$. We define this correspondence by using Thomas and Yong's K-infusion operator and then use it to obtain the bijections that prove the conjecture of Guo and Poznanović. In constructing our bijections we introduce new variants of the RSK correspondence and Knuth equivalence.

For various sets of tiles, we count the ways to tile an Aztec diamond of order $n$ using tiles from that set. The resulting function $f(n)$ often has interesting behavior when one looks at $n$ and $f(n)$ modulo powers of 2.

A monotonous polyomino is formed by all lattice unit squares met by the graph of some fixed monotonous continuous function $f:[a,b] \to \mathbb{R}$ with $f(k) \notin \mathbb{Z}$ whenever $k \in \mathbb{Z}$. Our main result says that the least cardinality of a covering of a lattice $(m \times n)$-rectangle by monotonous polyominoes is $\left\lceil \frac{2}{3}\left(m+n-\sqrt{m^2+n^2-mn}\right)\right\rceil$. The paper is motivated by a problem on arrangements of straight lines on chessboards.

Clumsy packing is considered an inefficient packing, meaning we find the minimum number of objects we can pack into a space so that we can not pack any more object. Thus we are effectively spacing out the objects as far apart as possible so that we can not fit another object. In this paper we consider clumsy packing of polyominoes in a finite spaces which must consider boundary conditions. We examine rectangle, $L$, $T$, and plus polyominoes of various sizes.

Finite distributive lattices whose join-meet ideals are of König type will be classified. Furthermore, a class of polyominoes whose polyomino ideals are of König type will be studied.

Combinatorial Exploration is a new domain-agnostic algorithmic framework to automatically and rigorously study the structure of combinatorial objects and derive their counting sequences and generating functions. We describe how it works and provide an open-source Python implementation. As a prerequisite, we build up a new theoretical foundation for combinatorial decomposition strategies and combinatorial specifications. We then apply Combinatorial Exploration to the domain of permutation patterns, to great effect. We rederive hundreds of results in the literature in a uniform manner and prove many new ones. These results can be found in a new public database, the Permutation Pattern Avoidance Library (PermPAL) at https://permpal.com. Finally, we give three additional proofs-of-concept, showing examples of how Combinatorial Exploration can prove results in the domains of alternating sign matrices, polyominoes, and set partitions.

We present a conjecture about the reduced Hilbert series of the coordinate ring of a simple polyomino in terms of particular arrangements of non-attacking rooks that can be placed on the polyomino. By using a computational approach, we prove that the above conjecture holds for all simple polyominoes up to rank $11$. In addition, we prove that the conjecture holds true for the class of parallelogram polyominoes, by looking at those as simple planar distributive lattices. Finally, we give a combinatorial interpretation of the Gorensteinnes of parallelogram polyominoes.

Let $X$ be a convex polyomino such that its vertex set is a sublattice of $\mathbb{N}^2$. Let $\Bbbk[X]$ be the toric ring (over a field $\Bbbk$) associated to $X$ in the sense of Qureshi, \emph{J. Algebra}, 2012. Write the Hilbert series of $\Bbbk[X]$ as $(1 + h_1 t + h_2 t^2 + \cdots )/(1-t)^{\dim(\Bbbk[X])}$. For $k \in \mathbb{N}$, let $r_k$ be the number of configurations in $X$ with $k$ pairwise non-attacking rooks. We show that $h_2 < r_2$ if $X$ is not a thin polyomino. This partially confirms a conjectured characterization of thin polyominoes by Rinaldo and Romeo, \emph{J. Algebraic Combin.}, 2021.

For L-convex polyominoes we give the asymptotics of the generating function coefficients, obtained by analysis of the coefficients derived from the functional equation given by Castiglione et al. \cite{CFMRR7}. For 201-avoiding ascent sequences, we conjecture the solution, obtained from the first 23 coefficients of the generating function. The solution is D-finite, indeed algebraic. The conjectured solution then correctly generates all subsequent coefficients. We also obtain the asymptotics, both from direct analysis of the coefficients, and from the conjectured solution. As well as presenting these new results, our purpose is to illustrate the methods used, so that they may be more widely applied.

In this paper we study the primality of weakly connected collections of cells, showing that the ideal generated by inner 2-minors attached to a weakly connected and simple collection of cells is the toric ideal of the edge ring of a weakly chordal bipartite graph. As an application of this result we characterize the primality of the polyomino ideals of weakly closed paths, a new class of non simple polyominoes.