Prototile

This form of the aperiodic Penrose tiling has two prototiles, a fat rhombus (shown blue in the figure) and a thin rhombus (green).

In the mathematical theory of tessellations, a prototile is one of the shapes of a tile in a tessellation.^[1]

A tessellation of the plane or of any other space is a cover of the space by closed shapes, called tiles, that have disjoint interiors. Some of the tiles may be congruent to one or more others. If S is the set of tiles in a tessellation, a set R of shapes is called a set of prototiles if no two shapes in R are congruent to each other, and every tile in S is congruent to one of the shapes in R.^[2]

It is possible to choose many different sets of prototiles for a tiling: translating or rotating any one of the prototiles produces another valid set of prototiles. However, every set of prototiles has the same cardinality, so the number of prototiles is well defined. A tessellation is said to be monohedral if it has exactly one prototile.

Unsolved problem in mathematics: Does there exist a two-dimensional aperiodic prototile? (more unsolved problems in mathematics)

A set of prototiles is said to be aperiodic if every tiling with those prototiles is an aperiodic tiling. It is unknown whether there exists a single two-dimensional shape (called an einstein)^[3] that forms the prototile of an aperiodic tiling, but not of any periodic tiling. That is, the existence of a single-tile (monohedral) aperiodic prototile set is an open problem. The Socolar-Taylor tile forms two-dimensional aperiodic tilings, but is defined by combinatorial matching conditions rather than purely by its shape. In higher dimensions, the problem is solved: the Schmitt-Conway-Danzer tile is the prototile of a monohedral aperiodic tiling of three-dimensional Euclidean space, and cannot tile space periodically.

References

Tessellation   Periodic Pythagorean Rhombille Schwarz triangle Rectangle Domino Uniform tiling & honeycomb Coloring Convex Kisrhombille Wallpaper group Wythoff   Aperiodic Ammann–Beenker Aperiodic set of prototiles List Einstein problem Socolar–Taylor Gilbert Penrose Pentagonal Pinwheel Quaquaversal Rep-tile & Self-tiling Sphinx Truchet   Other Anisohedral & Isohedral Architectonic & catoptric Circle Limit III Computer graphics Honeycomb Isotoxal Packing Problems Domino Wang Heesch's Squaring Prototile Conway criterion Girih Regular Division of the Plane Regular grid Substitution Voronoi Voderberg   By vertex type Spherical 2n 33.n V33.n 42.n V42.n Regular 2∞ 36 44 63 Semi- regular 32.4.3.4 V32.4.3.4 33.42 33.∞ 34.6 V34.6 3.4.6.4 (3.6)2 3.122 42.∞ 4.6.12 4.82 Hyper- bolic 32.4.3.5 32.4.3.6 32.4.3.7 32.4.3.8 32.4.3.∞ 32.5.3.5 32.5.3.6 32.6.3.6 32.6.3.8 32.7.3.7 32.8.3.8 33.4.3.4 32.∞.3.∞ 34.7 34.8 34.∞ 35.4 37 38 3∞ (3.4)3 (3.4)4 3.4.62.4 3.4.7.4 3.4.8.4 3.4.∞.4 3.6.4.6 (3.7)2 (3.8)2 3.142 3.162 (3.∞)2 3.∞2 42.5.4 42.6.4 42.7.4 42.8.4 42.∞.4 45 46 47 48 4∞ (4.5)2 (4.6)2 4.6.12 4.6.14 V4.6.14 4.6.16 V4.6.16 4.6.∞ (4.7)2 (4.8)2 4.8.10 V4.8.10 4.8.12 4.8.14 4.8.16 4.8.∞ 4.102 4.10.12 4.122 4.12.16 4.142 4.162 4.∞2 (4.∞)2 54 55 56 5∞ 5.4.6.4 (5.6)2 5.82 5.102 5.122 (5.∞)2 64 65 66 68 6.4.8.4 (6.8)2 6.82 6.102 6.122 6.162 73 74 77 7.62 7.82 7.142 83 84 86 88 812 8.62 8.162 ∞3 ∞4 ∞5 ∞∞ ∞.62 ∞.82