Craig S. Kaplan | |
---|---|
![]() Kaplan in front of a wall with the first aperiodic monotile | |
Education | University of Waterloo (BMath), University of Washington (MSc, PhD) |
Known for | Einstein problem |
Scientific career | |
Fields | Mathematics, Computer Science |
Institutions | University of Waterloo |
Website | https://isohedral.ca/ |
Craig S. Kaplan is a Canadian computer scientist, mathematician, and mathematical artist. [1] He is an editor of the Journal of Mathematics and the Arts (formerly chief editor), and an organizer of the Bridges Conference on mathematics and art. [2] He is an associate professor of computer science at the University of Waterloo, Canada.
Kaplan's work primarily focuses on applications of geometry and computer science to visual art and design. He was part of the team that proved that the tile discovered by hobbyist David Smith is a solution to the einstein problem, a single shape which aperiodically tiles the plane but cannot do so periodically. [3] [4] [5] [6] [7]
Kaplan received BMath from the University of Waterloo in 1996. He further went on to receive MSc and PhD in computer science from University of Washington in 1998 and 2002, respectively. [8]
Kaplan's research work focuses on the application of computer graphics and mathematics in art and design. He is an expert on computational applications of tiling theory.
In 2019, Kaplan helped to apply the concepts of Archimedean solids to protein assembly, and together with an experimental team at RIKEN demonstrated that these exotic geometries lead to ultra-stable macromolecular cages. [9] [10] These new systems could have applications in targeted drug delivery systems or the design of new materials at the nanoscale. [11]
In 2023, Kaplan was part of the team that solved the einstein problem, a major open problem in tiling theory and Euclidean geometry. The problem is to find an "aperiodic monotile", a single geometric shape which can tesselate the plane aperiodically (without translational symmetry) but which cannot do so periodically. The discovery is under professional review and, upon confirmation, will be credited as solving a longstanding mathematical problem. [12]
In 2022, hobbyist David Smith discovered a shape constructed by gluing together eight kites (in this case, each kite is a sixth of a regular hexagon) which seemed from Smith's experiments to tile the plane but would no do so periodically. He contacted Kaplan for help analyzing the shape, which the two named the "hat". After Kaplan's computational tools also found the tiling to continue indefinitely, Kaplan and Smith recruited two other mathematicians, Joseph Samuel Myers and Chaim Goodman-Strauss to help prove they had found an aperiodic monotile. Smith also found a second tile, dubbed the "turtle", which seemed to have the same properties. In March 2023, the team of four announced their proof that the hat and turtle tiles, as well as an infinite family of other tiles interpolating the two, are aperiodic monotiles. [13] [3] [14]
Both the hat and turtle tiles require some reflected copies to tile the plane. After the initial preprint, Smith noticed that a tile related to the hat tile could tile the plane either periodically or aperiodically, with the aperiodic tiling not requiring reflections. A suitable manipulation of the edge prevents the periodic tiling. In May 2023 the team of Smith, Kaplan, Myers, and Goodman-Strauss posted a new preprint proving that the new shape, which Smith called a "spectre", is a strictly chiral aperiodic monotile: even if reflections are allowed, every tiling is non-periodic and uses only one chirality of the spectre. [15] [16] This new shape tiles a plane in a pattern that never repeats without the use of mirror images of the shape, hence been called a "vampire einstein". [17]
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.
Wang tiles, first proposed by mathematician, logician, and philosopher Hao Wang in 1961, is a class of formal systems. They are modeled visually by square tiles with a color on each side. A set of such tiles is selected, and copies of the tiles are arranged side by side with matching colors, without rotating or reflecting them.
In Euclidean geometry, a kite is a quadrilateral with reflection symmetry across a diagonal. Because of this symmetry, a kite has two equal angles and two pairs of adjacent equal-length sides. Kites are also known as deltoids, but the word deltoid may also refer to a deltoid curve, an unrelated geometric object sometimes studied in connection with quadrilaterals. A kite may also be called a dart, particularly if it is not convex.
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.
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.
Jarkko J. Kari is a Finnish mathematician and computer scientist, known for his contributions to the theory of Wang tiles and cellular automata. Kari is currently a professor at the Department of Mathematics, University of Turku.
In geometry, a tile substitution is a method for constructing highly ordered tilings. Most importantly, some tile substitutions generate aperiodic tilings, which are tilings whose prototiles do not admit any tiling with translational symmetry. The most famous of these are the Penrose tilings. Substitution tilings are special cases of finite subdivision rules, which do not require the tiles to be geometrically rigid.
Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space. Geometry is one of the oldest mathematical sciences.
Girih are decorative Islamic geometric patterns used in architecture and handicraft objects, consisting of angled lines that form an interlaced strapwork pattern.
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, a parallelohedron is a convex polyhedron that can be translated without rotations in 3-dimensional Euclidean space to fill space with 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.
In the geometry of tessellations, a rep-tile or reptile is a shape that can be dissected into smaller copies of the same shape. The term was coined as a pun on animal reptiles by recreational mathematician Solomon W. Golomb and popularized by Martin Gardner in his "Mathematical Games" column in the May 1963 issue of Scientific American. In 2012 a generalization of rep-tiles called self-tiling tile sets was introduced by Lee Sallows in Mathematics Magazine.
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".
Chaim Goodman-Strauss is an American mathematician who works in convex geometry, especially aperiodic tiling. He retired from the faculty of the University of Arkansas and currently serves as outreach mathematician for the National Museum of Mathematics. He is co-author with John H. Conway and Heidi Burgiel of The Symmetries of Things, a comprehensive book surveying the mathematical theory of patterns.
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.
David Smith is an amateur mathematician and retired print technician from Bridlington, England, who is best known for his discoveries related to aperiodic monotiles that helped to solve the einstein problem.
A large group of research mathematicians and computer scientists have taken up art forms like sculpture, painting, and digital graphic arts to express or apply their theoretical work in their field. [...] Some of the best-known mathematician artists doing this kind of work include George Hart, Carlo Sequin, Craig Kaplan, Mike Naylor, and Robert Bosch.