Wang tile

This set of 11 Wang tiles will tile the plane but only aperiodically.

Example of Wang tessellation with 13 tiles.

Wikimedia Commons has media related to Wang tiles.

Wang tiles (or Wang dominoes), first proposed by mathematician, logician, and philosopher Hao Wang in 1961, are a class of formal systems. They are modelled visually by square tiles with a color on each side. A set of such tiles is selected (for example the set in the picture). Then copies of the tiles are arranged side by side with matching colors, but without rotating or reflecting the tiles.

The basic question about a set of Wang tiles is whether it can tile the plane or not, i.e., whether an entire infinite plane can be filled this way. The next question is whether this can be done in a periodic pattern.

Domino problem

In 1961, Wang conjectured that if a finite set of Wang tiles can tile the plane, then there exists also a periodic tiling, i.e., a tiling that is invariant under translations by vectors in a 2-dimensional lattice, like a wallpaper pattern. He also observed that this conjecture would imply the existence of an algorithm to decide whether a given finite set of Wang tiles can tile the plane.^[1][2] The idea of constraining adjacent tiles to match each other occurs in the game of dominoes, so Wang tiles are also known as Wang dominoes.^[3] The algorithmic problem of determining whether a tile set can tile the plane became known as the domino problem.^[4]

According to Wang's student, Robert Berger,^[4]

The Domino Problem deals with the class of all domino sets. It consists of deciding, for each domino set, whether or not it is solvable. We say that the Domino Problem is decidable or undecidable according to whether there exists or does not exist an algorithm which, given the specifications of an arbitrary domino set, will decide whether or not the set is solvable.

In other words, the domino problem asks whether there is an effective procedure that correctly settles the problem for all given domino sets.

In 1966, Wang's student Robert Berger solved the domino problem in the negative. He proved that no algorithm for the problem can exist, by showing how to translate any Turing machine into a set of Wang tiles that tiles the plane if and only if the Turing machine does not halt. The undecidability of the halting problem (the problem of testing whether a Turing machine eventually halts) then implies the undecidability of Wang's tiling problem.^[4]

Aperiodic sets of tiles

Combining Berger's undecidability result with Wang's observation shows that there must exist a finite set of Wang tiles that tiles the plane, but only aperiodically. This is similar to a Penrose tiling, or the arrangement of atoms in a quasicrystal. Although Berger's original set contained 20,426 tiles, he conjectured that smaller sets would work, including subsets of his set, and in his unpublished Ph.D. thesis, he reduced the number of tiles to 104. In later years, increasingly smaller sets were found.^{[5][6][7] [8]} For example, the set of 13 tiles given in the image above is an aperiodic set published by Karel Culik II in 1996.^[6] It can tile the plane, but not periodically. A smaller set of 11 tiles using 4 colors was discovered by Emmanuel Jeandel and Michael Rao in 2015, using an exhaustive search to prove that 10 tiles or 3 colors are insufficient to force aperiodicity.^[8]

Generalizations

Wang tiles can be generalized in various ways, all of which are also undecidable in the above sense. For example, Wang cubes are equal-sized cubes with colored faces and side colors can be matched on any polygonal tessellation. Culik and Kari have demonstrated aperiodic sets of Wang cubes.^[9] Winfree et al. have demonstrated the feasibility of creating molecular "tiles" made from DNA (deoxyribonucleic acid) that can act as Wang tiles.^[10] Mittal et al. have shown that these tiles can also be composed of peptide nucleic acid (PNA), a stable artificial mimic of DNA.^[11]

Applications

Wang tiles have recently become a popular tool for procedural synthesis of textures, heightfields, and other large and nonrepeating bidimensional data sets; a small set of precomputed or hand-made source tiles can be assembled very cheaply without too obvious repetitions and without periodicity. In this case, traditional aperiodic tilings would show their very regular structure; much less constrained sets that guarantee at least two tile choices for any two given side colors are common because tileability is easily ensured and each tile can be selected pseudorandomly.^{[12][13][14][15]}

Wang tiles have also been used in cellular automata theory decidability proofs.^[16]

In popular culture

The short story Wang's Carpets, later expanded to the novel Diaspora, by Greg Egan, postulates a universe, complete with resident organisms and intelligent beings, embodied as Wang tiles implemented by patterns of complex molecules.^[17]

See also

• Edge-matching puzzle
• Eternity II puzzle
• Percy Alexander MacMahon
• TetraVex

References

Further reading

• Grünbaum, Branko; Shephard, G. C. (1987), Tilings and Patterns, New York: W. H. Freeman, ISBN 0-7167-1193-1 .

External links

• Steven Dutch's page including many pictures of aperiodic tilings
• Animated demonstration of a naïve Wang tiling method - requires Javascript and HTML5

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