The Socolar–Taylor tile is a single non-connected tile which is aperiodic on the Euclidean plane, meaning that it admits only non-periodic tilings of the plane (due to the Sierpinski's triangle-like tiling that occurs), with rotations and reflections of the tile allowed. [1] It is the first known example of a single aperiodic tile, or "einstein". [2] The basic version of the tile is a simple hexagon, with printed designs to enforce a local matching rule, regarding how the tiles may be placed. [3] One of their papers [2] shows a realization of the tile as a connected set. It is currently unknown whether this rule may be geometrically implemented in two dimensions while keeping the tile a simply simply connected set. [2] [3]
This is, however, confirmed to be possible in three dimensions, and, in their original paper, Socolar and Taylor suggest a three-dimensional analogue to the monotile. [1] Taylor and Socolar remark that the 3D monotile aperiodically tiles three-dimensional space. However the tile does allow tilings with a period, shifting one (non-periodic) two dimensional layer to the next, and so the tile is only "weakly aperiodic".
Physical copies of the three-dimensional tile could not be fitted together without allowing reflections, which would require access to four-dimensional space. [2] [4]
A quasiperiodic crystal, or quasicrystal, is a structure that is ordered but not periodic. A quasicrystalline pattern can continuously fill all available space, but it lacks translational symmetry. While crystals, according to the classical crystallographic restriction theorem, can possess only two-, three-, four-, and six-fold rotational symmetries, the Bragg diffraction pattern of quasicrystals shows sharp peaks with other symmetry orders—for instance, five-fold.
In mathematics, a prototile is one of the shapes of a tile in a tessellation.
A tessellation or tiling is the covering of a surface, often a plane, using one or more geometric shapes, called tiles, with no overlaps and no gaps. In mathematics, tessellation can be generalized to higher dimensions and a variety of geometries.
Discrete geometry and combinatorial geometry are branches of geometry that study combinatorial properties and constructive methods of discrete geometric objects. Most questions in discrete geometry involve finite or discrete sets of basic geometric objects, such as points, lines, planes, circles, spheres, polygons, and so forth. The subject focuses on the combinatorial properties of these objects, such as how they intersect one another, or how they may be arranged to cover a larger object.
An aperiodic tiling is a non-periodic tiling with the additional property that it does not contain arbitrarily large periodic regions or patches. A set of tile-types is aperiodic if copies of these tiles can form only non-periodic tilings.
In geometry, the gyrobifastigium is a polyhedron that is constructed by attaching a triangular prism to square face of another one. It is an example of a Johnson solid. It is the only Johnson solid that can tile three-dimensional space.
In geometry, the trihexagonal tiling is one of 11 uniform tilings of the Euclidean plane by regular polygons. It consists of equilateral triangles and regular hexagons, arranged so that each hexagon is surrounded by triangles and vice versa. The name derives from the fact that it combines a regular hexagonal tiling and a regular triangular tiling. Two hexagons and two triangles alternate around each vertex, and its edges form an infinite arrangement of lines. Its dual is the rhombille tiling.
In geometry, pinwheel tilings are non-periodic tilings defined by Charles Radin and based on a construction due to John Conway. They are the first known non-periodic tilings to each have the property that their tiles appear in infinitely many orientations.
In geometry, a shape is said to be anisohedral if it admits a tiling, but no such tiling is isohedral (tile-transitive); that is, in any tiling by that shape there are two tiles that are not equivalent under any symmetry of the tiling. A tiling by an anisohedral tile is referred to as an anisohedral tiling.
In geometry, an Ammann–Beenker tiling is a nonperiodic tiling which can be generated either by an aperiodic set of prototiles as done by Robert Ammann in the 1970s, or by the cut-and-project method as done independently by F. P. M. Beenker. They are one of the five sets of tilings discovered by Ammann and described in Tilings and patterns.
In geometry, a parallelohedron is a convex polyhedron that can be translated without rotations to fill Euclidean space. This produces a honeycomb in which all copies of the polyhedron meet face-to-face. There are five types of parallelohedron, first identified by Evgraf Fedorov in 1885 in his studies of crystallographic systems: the cube, hexagonal prism, rhombic dodecahedron, elongated dodecahedron, and truncated octahedron.
A Penrose tiling is an example of an aperiodic tiling. Here, a tiling is a covering of the plane by non-overlapping polygons or other shapes, and a tiling is aperiodic if it does not contain arbitrarily large periodic regions or patches. However, despite their lack of translational symmetry, Penrose tilings may have both reflection symmetry and fivefold rotational symmetry. Penrose tilings are named after mathematician and physicist Roger Penrose, who investigated them in the 1970s.
A Pythagorean tiling or two squares tessellation is a tiling of a Euclidean plane by squares of two different sizes, in which each square touches four squares of the other size on its four sides. Many proofs of the Pythagorean theorem are based on it, explaining its name. It is commonly used as a pattern for floor tiles. When used for this, it is also known as a hopscotch pattern or pinwheel pattern, but it should not be confused with the mathematical pinwheel tiling, an unrelated pattern.
A set of prototiles is aperiodic if copies of the prototiles can be assembled to create tilings, such that all possible tessellation patterns are non-periodic. The aperiodicity referred to is a property of the particular set of prototiles; the various resulting tilings themselves are just non-periodic.
In plane geometry, the einstein problem asks about the existence of a single prototile that by itself forms an aperiodic set of prototiles; that is, a shape that can tessellate space but only in a nonperiodic way. Such a shape is called an einstein, a word play on ein Stein, German for "one stone".
In geometry, a binary tiling is a tiling of the hyperbolic plane, resembling a quadtree over the Poincaré half-plane model of the hyperbolic plane. The tiles are congruent, each adjoining five others. They may be convex pentagons, or non-convex shapes with four sides, alternatingly line segments and horocyclic arcs, meeting at four right angles.
In geometry, a chair tiling is a nonperiodic substitution tiling created from L-tromino prototiles. These prototiles are examples of rep-tiles and so an iterative process of decomposing the L tiles into smaller copies and then rescaling them to their original size can be used to cover patches of the plane. Chair tilings do not possess translational symmetry, i.e., they are examples of nonperiodic tilings, but the chair tiles are not aperiodic tiles since they are not forced to tile nonperiodically by themselves. The trilobite and cross tiles are aperiodic tiles that enforce the chair tiling substitution structure and these tiles have been modified to a simple aperiodic set of tiles using matching rules enforcing the same structure. Barge et al. have computed the Čech cohomology of the chair tiling and it has been shown that chair tilings can also be obtained via a cut-and-project scheme.
A Socolar tiling is an example of an aperiodic tiling, developed in 1989 by Joshua Socolar in the exploration of quasicrystals. There are 3 tiles a 30° rhombus, square, and regular hexagon. The 12-fold symmetry set exist similar to the 10-fold Penrose rhombic tilings, and 8-fold Ammann–Beenker tilings.
Craig S. Kaplan is a Canadian computer scientist, mathematician, and mathematical artist. He is an editor of the Journal of Mathematics and the Arts, and an organizer of the Bridges Conference on mathematics and art. He is an associate professor of computer science at the University of Waterloo, Canada.