Abstract:A locked $t$-omino tiling is a grid tiling by $t$-ominoes such that, if you remove any pair of tiles, the only way to fill in the remaining $2t$ grid cells with $t$-ominoes is to use the same two tiles in the exact same configuration as before. We exclude degenerate cases where there is only one tiling overall due to small dimensions. It is a classic (and straightforward) result that finite grids do not admit locked 2-omino tilings. In this paper, we construct explicit locked $t$-omino tilings for $t \geq 3$ on grids of various dimensions. Most notably, we show that locked 3- and 4-omino tilings exist on finite square grids of arbitrarily large size, and locked $t$-omino tilings of the infinite grid exist for arbitrarily large $t$. The result for 4-omino tilings in particular is remarkable because they are so rare and difficult to construct: Only a single tiling is known to exist on any grid up to size $40 \times 40$. In a weighted version of the problem where vertices of the grid may have weights from the set $\{1, 2\}$ that count toward the total tile size, we demonstrate the existence of locked tilings on arbitrarily large square weighted grids with only 6 tiles. Locked $t$-omino tilings arise as obstructions to widely used political redistricting algorithms in a model of redistricting where the underlying census geography is a grid graph. Most prominent is the ReCom Markov chain, which takes a random walk on the space of redistricting plans by iteratively merging and splitting pairs of districts (tiles) at a time. Locked $t$-omino tilings are isolated states in the state space of ReCom. The constructions in this paper are counterexamples to the meta-conjecture that ReCom is irreducible on graphs of practical interest.

NP-completeness of Tiling Finite Simply Connected Regions with a Fixed Set of Wang Tiles

Undecidability of tiling the plane with a fixed number of Wang bars

On bounded Wang tilings

Bounded Wang tilings with integer programming and graph-based heuristics

The complexity of generalized domino tilings

A proof of Ollinger's conjecture: undecidability of tiling the plane with a set of $8$ polyominoes

Maximizing the Number of Packed Rectangles

Translational Tiling with 8 Polyominoes is Undecidable

Efficient Texture Synthesis Using Strict Wang Tiles

Metallic mean Wang tiles II: the dynamics of an aperiodic computer chip

Fabricable Multi‐Scale Wang Tiles

Undecidability of Translational Tiling of the 4-dimensional Space with a Set of 4 Polyhypercubes

Undecidability of Translational Tiling with Three Tiles

Solution of some tiling open problems of Propp, Lai, and some related results

Corner Occupying Theorem for the Two-dimensional Integral Rectangle Packing Problem

Tilings with noncongruent triangles

Local generation of tilings: the even bicolor Wang tilesets

Aperiodic tilings with one prototile and low complexity atlas matching rules

Undecidability of Translational Tiling of the 3-dimensional Space with a Set of 6 Polycubes

Locked Polyomino Tilings

Translational Aperiodic Sets of 7 Polyominoes