arXiv++ Combinatorics

A famous result of D. Walkup is that an $m\times n$ rectangle may be tiled by T-tetrominos if and only if both $m$ and $n$ are multiples of 4. The "if" portion may be proved by tiling a $4\times 4$ block, and then copying that block to fill the rectangle; but, this leads to regular, periodic tilings. In this paper we investigate how much "order" must be present in every tiling of a rectangle by T-tetrominos, where we measure order by length of arithmetic progressions of tiles.

We investigate a restriction of Paul Erdos' well-known problem from 1936 on the discrepancy of homogeneous arithmetic progressions. We restrict our attention to a finite set S of homogeneous arithmetic progressions, and ask when the discrepancy with respect to this set is exactly 1. We answer this question when S has size four or less, and prove that the problem for general S is NP-hard, even for discrepancy 1.

A famous result of D. Walkup states that the only rectangles that may be tiled by the T-tetromino are those in which both sides are a multiple of four. In this paper we examine the rest of the rectangles, asking how many T-tetrominos may be placed into those rectangles without overlap, or, equivalently, what is the least number of gaps that need to be present. We introduce a new technique for exploring such tilings, enabling us to answer this question for all rectangles, up to a small additive constant. We also show that there is some number G such that if both sides of the rectangle are at least 12, then no more than G gaps will be required. We prove that G is either 5, 6, 7 or 9.