Craig S. Kaplan

Last updated
Craig S. Kaplan
Professor Craig S. Kaplan.jpg
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.

Contents

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]

Education

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]

Work

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.

Exotic geometries in protein assembly

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]

Einstein problem

One of the infinite family of Smith-Myers-Kaplan-Goodman-Strauss tiles, found in March 2023. Aperiodic monotile smith 2023.svg
One of the infinite family of Smith–Myers–Kaplan–Goodman-Strauss tiles, found in March 2023.

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 (each a sixth of a 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]

Related Research Articles

<span class="mw-page-title-main">Prototile</span> Basic shape(s) used in a tessellation

In mathematics, a prototile is one of the shapes of a tile in a tessellation.

<span class="mw-page-title-main">Wang tile</span> Square tiles with a color on each edge

Wang tiles, 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, and copies of the tiles are arranged side by side with matching colors, without rotating or reflecting them.

<span class="mw-page-title-main">Kite (geometry)</span> Quadrilateral symmetric across a diagonal

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.

<span class="mw-page-title-main">Tessellation</span> Tiling of a plane in mathematics

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.

<span class="mw-page-title-main">Aperiodic tiling</span> Form of plane tiling in mathematics

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.

<span class="mw-page-title-main">Jarkko Kari</span> Finnish mathematician and computer scientist

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.

Tiled rendering is the process of subdividing a computer graphics image by a regular grid in optical space and rendering each section of the grid, or tile, separately. The advantage to this design is that the amount of memory and bandwidth is reduced compared to immediate mode rendering systems that draw the entire frame at once. This has made tile rendering systems particularly common for low-power handheld device use. Tiled rendering is sometimes known as a "sort middle" architecture, because it performs the sorting of the geometry in the middle of the graphics pipeline instead of near the end.

<i>Girih</i> Geometric patterns in Islamic architecture

Girih are decorative Islamic geometric patterns used in architecture and handicraft objects, consisting of angled lines that form an interlaced strapwork pattern.

<span class="mw-page-title-main">Anisohedral tiling</span> Tiling forced to use inequivalent tile placements

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.

<span class="mw-page-title-main">Parallelohedron</span> Polyhedron that tiles space by translation

In geometry, a parallelohedron is a 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.

<span class="mw-page-title-main">Penrose tiling</span> Non-periodic tiling of the plane

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.

<span class="mw-page-title-main">Rep-tile</span> Shape subdivided into copies of itself

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.

<span class="mw-page-title-main">Aperiodic set of prototiles</span>

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.

<span class="mw-page-title-main">Einstein problem</span> Question about single-shape aperiodic tiling

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".

<span class="mw-page-title-main">Chaim Goodman-Strauss</span> American mathematician

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.

Judita Cofman (1936–2001) was a Yugoslav-German mathematician, the first person to earn a doctorate in mathematics at the University of Novi Sad. She was known for her work in finite geometry and for her books aimed at young mathematicians.

<span class="mw-page-title-main">David Smith (amateur mathematician)</span> Tiling hobbyist

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.

References

  1. Gerofsky, Susan (2015). "Approaches to Embodied Learning in Mathematics". In English, Lyn D.; Kirshner, David (eds.). Handbook of International Research in Mathematics Education (3rd ed.). Routledge. p. 79. 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.
  2. Fenyvesi, Kristóf (2016). "Bridges: A world community for mathematical art" (PDF). The Mathematical Intelligencer. 38 (2): 35–45. doi:10.1007/s00283-016-9630-9.
  3. 1 2 Cantor, Matthew (2023-04-04). "'The miracle that disrupts order': mathematicians invent new 'einstein' shape". The Guardian. ISSN   0261-3077 . Retrieved 2023-08-07.
  4. "Elusive 'Einstein' Solves a Longstanding Math Problem". 2023-03-28. Retrieved 2023-08-07.
  5. "Hobbyist Finds Math's Elusive 'Einstein' Tile". 2023-04-04. Retrieved 2023-09-05.
  6. "Newfound Mathematical 'Einstein' Shape Creates a Never-Repeating Pattern". 2023-04-10. Retrieved 2023-09-05.
  7. "Discovery of the Aperiodic Monotile - Numberphile". 2023-06-26. Retrieved 2023-09-05.
  8. "Craig S. Kaplan". Cheriton School of Computer Science. 2017-02-08. Retrieved 2023-08-06.
  9. "An ultra-stable gold-coordinated protein cage displaying reversible assembly". Nature . 2019-05-08. Retrieved 2023-07-09.
  10. "Protein assembles into Archimedean geometry". Nature . 2019-05-08. Retrieved 2023-07-09.
  11. "Complex polyhedron assembled from proteins". Chemical & Engineering News . 2019-05-11. Retrieved 2023-07-09.
  12. Roberts, Soibhan, Elusive 'Einstein' Solves a Longstanding Mathematical Problem , the New York Times, March 28, 2023, with image of the pattern
  13. Bischoff, Manon. "Newfound Mathematical 'Einstein' Shape Creates a Never-Repeating Pattern". Scientific American. Retrieved 2023-07-09.
  14. Prisco, Jacopo (2023-04-06). "Newly discovered 'einstein' shape can do something no other tile can do". CNN. Retrieved 2023-08-07.
  15. Roberts, Siobhan (2023-06-01). "With a New, Improved 'Einstein,' Puzzlers Settle a Math Problem". The New York Times. ISSN   0362-4331 . Retrieved 2023-07-09.
  16. "Spectre: The deceptively simple shape that's taken mathematics by storm". The Hindu. 2023-06-20. ISSN   0971-751X . Retrieved 2023-07-09.
  17. "The vampire einstein". Waterloo News. 2023-07-04. Retrieved 2023-07-09.