arXiv++ Combinatorics

We consider tilings of deficient rectangles by the set $\mathcal{T}_4$ of ribbon $L$-tetrominoes. A tiling exists iff the rectangle is a square of odd side. The missing cell is on the main NW--SE diagonal, in an odd position if the square is $(4m+1)\times (4m+1)$ and in an even position for $(4m+3)\times (4m+3)$. The majority of the tiles in a tiling are paired and each pair tiles a $2\times 4$ rectangle. The tiles in an irregular position and the missing cell form a NW--SE diagonal crack, located in a thin region symmetric about the diagonal, made out of $3\times 3$ squares that overlap over one of the corner cells. The crack divides the square in two equal area parts. The number of tilings of a $(4m+1)\times (4m+1)$ deficient square is equal to the number of tilings by dominoes of a $2m\times 2m$ square. The number of tilings of a $(4m+3)\times (4m+3)$ deficient square is twice the number of tilings by dominoes of a $(2m+1)\times (2m+1)$ deficient square, with missing cell placed on the main diagonal. If an extra $2\times 2$ tile is added to $\mathcal{T}_4$, we call the new tile set $\mathcal{T}_4^+$. A tiling of a deficient rectangle by $\mathcal{T}_4^+$ exists iff the rectangle is a square of odd side. The missing cell is on the main NW--SE diagonal, in an odd position if the square is $(4m+1)\times (4m+1)$ and in an even position for $(4m+3)\times (4m+3)$. The majority of the tiles in a tiling are either paired tetrominoes and each pair tiles a $2\times 4$ rectangle, or are $2\times 2$ squares. The tiles in an irregular position and the missing cell form a NW--SE diagonal crack, located in a thin region symmetric about the diagonal, made out of $3\times 3$ squares that overlap over one of the corner cells.

We show that a rectangle can be signed tiled by ribbon L n-ominoes, n odd, if and only if it has a side divisible by n. A consequence of our technique, based on the exhibition of an explicit Groebner basis, is that any k-inflated copy of the skewed L n-omino has a signed tiling by skewed L n-ominoes. We also discuss regular tilings by ribbon L n-ominoes, n odd, for rectangles and more general regions. We show that in this case obstructions appear that are not detected by signed tilings.

Let $\mathcal{T}_n$ be the set of ribbon $L$-shaped $n$-ominoes for some $n\ge 4$ even, and let $\mathcal{T}_n^+$ be $\mathcal{T}_n$ with an extra $2\times 2$ square. We investigate signed tilings of rectangles by $\mathcal{T}_n$ and $\mathcal{T}_n^+$. We show that a rectangle has a signed tiling by $\mathcal{T}_n$ if and only if both sides of the rectangle are even and one of them is divisible by $n$, or if one of the sides is odd and the other side is divisible by $n\left (\frac{n}{2}-2\right ).$ We also show that a rectangle has a signed tiling by $\mathcal{T}_n^+, n\ge 6$ even, if and only if both sides of the rectangle are even, or if one of the sides is odd and the other side is divisible by $n\left (\frac{n}{2}-2\right ).$ Our proofs are based on the exhibition of explicit Gröbner bases for the ideals generated by polynomials associated to the tiling sets. In particular, we show that some of the regular tiling results in \emph{ V.~Nitica, Every tiling of the first quadrant by ribbon $L$ $n$-ominoes follows the rectangular pattern. Open Journal of Discrete Mathematics, {\em 5}, (2015) 11--25,} cannot be obtained from coloring invariants.

Let n integer greater or equal to 4 and even and let T_n be the set of ribbon L-shaped n-ominoes. We study tiling problems for regions in a square lattice by T_n. Our main result shows a remarkable rigidity property: a tiling of the first quadrant by T_n is possible if and only if it reduces to a tiling by 2 x n and n x 2 rectangles. An application is the classification of all rectangles that can be tiled by T_n: a rectangle can be tiled by T_n if and only if both of its sides are even and at least one side is divisible by n. Another application is the existence of the local move property for an infinite family of sets of tiles: T_n has the local move property for the class of rectangular regions with respect to the local moves that interchange a tiling of an n x n square by n/2 vertical rectangles, with a tiling by n/2 horizontal rectangles, each vertical/horizontal rectangle being covered by two ribbon L-shaped n-ominoes. We show that these results are not valid for any n odd. The rectangular pattern of a tiling persists if we add an extra 2 x 2 square to T_n. A rectangle can be tiled by the larger set of tiles if and only if it has both sides even. In contrast, the addition of an extra even x odd or odd x odd rectangle to one of the above sets of tiles allows for a tiling of the first quadrant that does not respect the rectangular pattern.

We introduce a notion of dimension of max-min convex sets, following the approach of tropical convexity. We introduce a max-min analogue of the tropical rank of a matrix and show that it is equal to the dimension of the associated polytope. We describe the relation between this rank and the notion of strong regularity in max-min algebra, which is traditionally defined in terms of unique solvability of linear systems and trapezoidal property.