arXiv++ Combinatorics

A quadrangle in the Euclidean plane is called $n$-self-affine if it has a dissection into $n$ affine images of itself. All convex quadrangles are known to be $n$-self-affine for every $n \ge 5$. The only $2$-self-affine convex quadrangles are trapezoids. Here we characterize all $3$-self-affine convex quadrangles, obtaining $5$ one-parameter families and $13$ singular examples of affine types. This way we reduce the quest for all $n$-self-affine convex quadrangles to the open case $n=4$. In addition, we show that there are $n$-self-affine non-convex quadrangles for all $n \ge 3$, but not for $n=2$.

A topological disc is called $n$-self-affine if it has a dissection into $n$ affine images of itself. It is called $n$-gc-self-affine if the dissection is obtained by successive glass-cuts, which are cuts along segments splitting one disc into two. For every $n \ge 2$, we characterize all $n$-gc-self-affine discs. All such discs turn out to be either triangles or convex quadrangles. All triangles and trapezoids are $n$-gc-self-affine for every $n$. Non-trapezoidal quadrangles are not $n$-gc-self-affine for even $n$. They are $n$-gc-self-affine for every odd $n \ge 7$, and they are $n$-gc-self-affine for $n=5$ if they aren't affine kites. Only four one-parameter families of quadrangles turn out to be $3$-gc-self-affine. In addition, we show that every convex quadrangle is $n$-self-affine for all $n \ge 5$.

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.

Motivated by a question of R.\ Nandakumar, we show that the Euclidean plane can be dissected into mutually incongruent convex quadrangles of the same area and the same perimeter. As a byproduct we obtain vertex-to-vertex dissections of the plane by mutually incongruent triangles of unit area that are arbitrarily close to the periodic vertex-to-vertex tiling by equilateral triangles.

R. Nandakumar asked whether there is a tiling of the plane by pairwise incongruent triangles of equal area and equal perimeter. Recently a negative answer was given by Kupavskii, Pach and Tardos. Still one may ask for weaker versions of the problem, or for the analogue of this problem for quadrangles, pentagons, or hexagons. Several answers were given by the first author in a previous paper. Here we solve three further cases. In particular, our main result shows that there are vertex-to-vertex tilings by pairwise incongruent triangles of unit area and bounded perimeter.