 Tessellation

A tessellation or tiling of the plane is a pattern of plane figures that fills the plane with no overlaps and no gaps. One may also speak of tessellations of parts of the plane or of other surfaces. Generalizations to higher dimensions are also possible. Tessellations frequently appeared in the art of M. C. Escher, who was inspired by studying the Moorish use of symmetry in the Alhambra tiles during a visit in 1922. Tessellations are seen throughout art history, from ancient architecture to modern art.
In Latin, tessella is a small cubical piece of clay, stone or glass used to make mosaics.^{[1]} The word "tessella" means "small square" (from "tessera", square, which in its turn is from the Greek word for "four"). It corresponds with the everyday term tiling which refers to applications of tessellations, often made of glazed clay.
History
In 1619 Johannes Kepler did one of the first documented studies of tessellations when he wrote about the regular and semiregular tessellation, which are coverings of a plane with regular polygons. Some two hundred years later in 1891, the Russian crystallographer Yevgraf Fyodorov proved that every periodic tiling of the plane features one of seventeen different groups of isometries. Fedorov's work marked the unofficial beginning of the mathematical study of tessellations. Other prominent contributors include Shubnikov and Belov (1951); and Heinrich Heesch and Otto Kienzle (1963).
Wallpaper groups
Tilings with translational symmetry can be categorized by wallpaper groups, of which 17 exist.^{[2]} All seventeen of these groups are represented in the Alhambra palace in Granada, Spain. Of the three regular tilings two are in the p6m wallpaper group and one is in p4m.
Tessellations and color
When discussing a tiling that is displayed in colors, to avoid ambiguity one needs to specify whether the colors are part of the tiling or just part of its illustration. See also symmetry.
The four color theorem states that for every tessellation of a normal Euclidean plane, with a set of four available colors, each tile can be colored in one color such that no tiles of equal color meet at a curve of positive length. Note that the coloring guaranteed by the fourcolor theorem will not in general respect the symmetries of the tessellation. To produce a coloring which does, as many as seven colors may be needed, as in the picture at right.
Tessellations with quadrilaterals
Copies of an arbitrary quadrilateral can form a tessellation with 2fold rotational centers at the midpoints of all sides, and translational symmetry whose basis vectors are the diagonal of the quadrilateral or, equivalently, one of these and the sum or difference of the two. For an asymmetric quadrilateral this tiling belongs to wallpaper group p2. As fundamental domain we have the quadrilateral. Equivalently, we can construct a parallelogram subtended by a minimal set of translation vectors, starting from a rotational center. We can divide this by one diagonal, and take one half (a triangle) as fundamental domain. Such a triangle has the same area as the quadrilateral and can be constructed from it by cutting and pasting.
Regular and semiregular tessellations
A regular tessellation is a highly symmetric tessellation made up of congruent regular polygons. Only three regular tessellations exist: those made up of equilateral triangles, squares, or hexagons. A semiregular tessellation uses a variety of regular polygons; there are eight of these. The arrangement of polygons at every vertex point is identical. An edgetoedge tessellation is even less regular: the only requirement is that adjacent tiles only share full sides, i.e. no tile shares a partial side with any other tile. Other types of tessellations exist, depending on types of figures and types of pattern. There are regular versus irregular, periodic versus nonperiodic, symmetric versus asymmetric, and fractal tessellations, as well as other classifications.
Penrose tilings using two different polygons are the most famous example of tessellations that create aperiodic patterns. They belong to a general class of aperiodic tilings that can be constructed out of selfreplicating sets of polygons by using recursion.
A monohedral tiling is a tessellation in which all tiles are congruent. Spiral monohedral tilings include the Voderberg tiling discovered by Hans Voderberg in 1936, whose unit tile is a nonconvex enneagon; and the Hirschhorn tiling discovered by Michael Hirschhorn in the 1970s, whose unit tile is an irregular pentagon.
Selfdual tessellations
Tilings and honeycombs can also be selfdual. All ndimensional hypercubic honeycombs with Schlafli symbols {4,3^{n−2},4}, are selfdual.
Tessellations and computer models
In the subject of computer graphics, tessellation techniques are often used to manage datasets of polygons and divide them into suitable structures for rendering. Normally, at least for realtime rendering, the data is tessellated into triangles, which is sometimes referred to as triangulation. Tessellation is a staple feature of DirectX 11 and OpenGL.^{[3]}^{[4]}
In computeraided design the constructed design is represented by a boundary representation topological model, where analytical 3D surfaces and curves, limited to faces and edges constitute a continuous boundary of a 3D body. Arbitrary 3D bodies are often too complicated to analyze directly. So they are approximated (tessellated) with a mesh of small, easytoanalyze pieces of 3D volume — usually either irregular tetrahedrons, or irregular hexahedrons. The mesh is used for finite element analysis.
Mesh of a surface is usually generated per individual faces and edges (approximated to polylines) so that original limit vertices are included into mesh. To ensure approximation of the original surface suits needs of the further processing 3 basic parameters are usually defined for the surface mesh generator:
 Maximum allowed distance between planar approximation polygon and the surface (aka "sag"). This parameter ensures that mesh is similar enough to the original analytical surface (or the polyline is similar to the original curve).
 Maximum allowed size of the approximation polygon (for triangulations it can be maximum allowed length of triangle sides). This parameter ensures enough detail for further analysis.
 Maximum allowed angle between two adjacent approximation polygons (on the same face). This parameter ensures that even very small humps or hollows that can have significant effect to analysis will not disappear in mesh.
Algorithm generating mesh is driven by the parameters. Some computer analyses require adaptive mesh, which is made finer (using stronger parameters) in regions where the analysis needs more detail.
Some geodesic domes are designed by tessellating the sphere with triangles that are as close to equilateral triangles as possible.
Tessellations in nature
Basaltic lava flows often display columnar jointing as a result of contraction forces causing cracks as the lava cools. The extensive crack networks that develop often produce hexagonal columns of lava. One example of such an array of columns is the Giant's Causeway in Northern Ireland.
The Tessellated pavement in Tasmania is a rare sedimentary rock formation where the rock has fractured into rectangular blocks.
Within botany, the term "tessellate" describes a checkered pattern, for example on a flower petal, tree bark, or fruit.
Number of sides of a polygon versus number of sides at a vertex
For an infinite tiling, let a be the average number of sides of a polygon, and b the average number of sides meeting at a vertex. Then (a − 2)(b − 2) = 4. For example, we have the combinations (3, 6), (3 1 3 , 5), (3 3 4 , 4 2 7 ), (4, 4), (6, 3), for the tilings in the article Tilings of regular polygons.
A continuation of a side in a straight line beyond a vertex is counted as a separate side. For example, the bricks in the picture are considered hexagons, and we have combination (6, 3). Similarly, for the basketweave tiling often found on bathroom floors, we have (5, 3 1 3 ).
For a tiling which repeats itself, one can take the averages over the repeating part. In the general case the averages are taken as the limits for a region expanding to the whole plane. In cases like an infinite row of tiles, or tiles getting smaller and smaller outwardly, the outside is not negligible and should also be counted as a tile while taking the limit. In extreme cases the limits may not exist, or depend on how the region is expanded to infinity.
For finite tessellations and polyhedra we have
where F is the number of faces and V the number of vertices, and χ is the Euler characteristic (for the plane and for a polyhedron without holes: 2), and, again, in the plane the outside counts as a face.
The formula follows observing that the number of sides of a face, summed over all faces, gives twice the total number of sides in the entire tessellation, which can be expressed in terms of the number of faces and the number of vertices. Similarly the number of sides at a vertex, summed over all vertices, also gives twice the total number of sides. From the two results the formula readily follows.
In most cases the number of sides of a face is the same as the number of vertices of a face, and the number of sides meeting at a vertex is the same as the number of faces meeting at a vertex. However, in a case like two square faces touching at a corner, the number of sides of the outer face is 8, so if the number of vertices is counted the common corner has to be counted twice. Similarly the number of sides meeting at that corner is 4, so if the number of faces at that corner is counted the face meeting the corner twice has to be counted twice.
A tile with a hole, filled with one or more other tiles, is not permissible, because the network of all sides inside and outside is disconnected. However it is allowed with a cut so that the tile with the hole touches itself. For counting the number of sides of this tile, the cut should be counted twice.
For the Platonic solids we get round numbers, because we take the average over equal numbers: for (a − 2)(b − 2) we get 1, 2, and 3.
From the formula for a finite polyhedron we see that in the case that while expanding to an infinite polyhedron the number of holes (each contributing −2 to the Euler characteristic) grows proportionally with the number of faces and the number of vertices, the limit of (a − 2)(b − 2) is larger than 4. For example, consider one layer of cubes, extending in two directions, with one of every 2 × 2 cubes removed. This has combination (4, 5), with (a − 2)(b − 2) = 6 = 4(1 + 2 / 10)(1 + 2 / 8), corresponding to having 10 faces and 8 vertices per hole.
Note that the result does not depend on the edges being line segments and the faces being parts of planes: mathematical rigor to deal with pathological cases aside, they can also be curves and curved surfaces.
Tessellations of other spaces
An example tessellation of the surface of a sphere by a truncated icosidodecahedron.
A torus can be tiled by a repeating matrix of isogonal quadrilaterals.
M.C.Escher, Circle Limit III (1959)As well as tessellating the 2dimensional Euclidean plane, it is also possible to tessellate other ndimensional spaces by filling them with ndimensional polytopes. Tessellations of other spaces are often referred to as honeycombs. Examples of tessellations of other spaces include:
 Tessellations of ndimensional Euclidean space. For example, 3dimensional Euclidean space can be filled with cubes to create the cubic honeycomb.
 Tessellations of ndimensional elliptic space, either the nsphere (spherical tiling, spherical polyhedron) or ndimensional real projective space (elliptic tiling, projective polyhedron).
 For example, projecting the edges of a regular dodecahedron onto its circumsphere creates a tessellation of the 2dimensional sphere with regular spherical pentagons, while taking the quotient by the antipodal map yields the hemidodecahedron, a tiling of the projective plane.
 Tessellations of ndimensional hyperbolic space. For example, M. C. Escher's Circle Limit III depicts a tessellation of the hyperbolic plane (using the Poincaré disk model) with congruent fishlike shapes. The hyperbolic plane admits a tessellation with regular pgons meeting in q's whenever ; Circle Limit III may be understood as a tiling of octagons meeting in threes, with all sides replaced with jagged lines and each octagon then cut into four fish.
See (Magnus 1974) for further nonEuclidean examples.
There are also abstract polyhedra which do not correspond to a tessellation of a manifold because they are not locally spherical (locally Euclidean, like a manifold), such as the 11cell and the 57cell. These can be seen as tilings of more general spaces.
See also
 Coxeter groups – algebraic groups that can be used to find tessellations
 Girih tiles
 Jigsaw puzzle
 List of regular polytopes
 List of uniform tilings
 Mathematics and fiber arts
 Nikolas Schiller – artist using tessellations of aerial photographs
 Pinwheel tiling
 Polyiamond and Polyomino — figures consisting of regular triangles and squares respectively, often appearing in tiling puzzles
 Quilting
 Tile
 Tiling puzzle
 Tilings of regular polygons
 Trianglepoint – needlepoint with polyiamonds (equilateral triangles)
 Triangulation (geometry)
 Uniform tessellation
 Uniform tiling
 Uniform tilings in hyperbolic plane
 Voronoi tessellation
 Wallpaper group – seventeen types of twodimensional repetitive patterns
 Wang tiles
Notes
 ^ tessellate, MerriamWebster Online
 ^ Armstrong, M.A. (1988). Groups and Symmetry. New York: SpringerVerlag. ISBN 9783540966753.
 ^ http://msdn.microsoft.com/enus/library/ff476340%28v=VS.85%29.aspx
 ^ http://www.opengl.org/registry/doc/glspec40.core.20100311.pdf
References
 Grunbaum, Branko and G. C. Shephard. Tilings and Patterns. New York: W. H. Freeman & Co., 1987. ISBN 0716711931.
 Coxeter, H.S.M.. Regular Polytopes, Section IV : Tessellations and Honeycombs. Dover, 1973. ISBN 0486614808.
 Magnus, Wilhelm (1974), Noneuclidean tesselations and their groups, Academic Press, ISBN 9780124654501
Wikimedia Foundation. 2010.