{"id":"arxiv/2609.13641","url":"https://arxiv.org/abs/2609.13641","tags":["math.CO"],"score":0,"title":"Four-arm polyominoes in Golomb's hierarchy: A complete classification with Lean verification","domain":"math.CO","source":"arxiv","authors":["Angel Ivanov Raychev"],"reviews":0,"subject":"math.CO","summary":"We classify the polyominoes obtained by adjoining four straight arms to a single square, allowing zero arm lengths, according to their ability to tile rectangles, half-strips, bent strips, quadrants, strips, half-planes, and the plane. We also classify their ability to tile an integer enlargement of themselves. Tiles occupy whole square-grid cells; translations, rotations, and reflections are permitted. Exactly five capability profiles occur. For the family $P(n,1,1,0)$, the rectangle profile holds for $n\\le3$ and the bent-strip profile, with no half-strip or rep-tiling, for every $n\\ge4$. A…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-12","reactions":{}}