Einstein problem

{{about|the geometric problem|the logic puzzle|Zebra Puzzle|other uses|Einstein (disambiguation)}}

{{Short description|Question about single-shape aperiodic tiling}}

Image:Aperiodic monotile tiling.png modulo 60 degrees.Two tiles have the same color when they can be brought in coincidence by the combination of a translation together with a rotation by an even multiple of 30 degrees. Tiles of different colors can be brought in coincidence by a translation together with a rotation by an odd multiple of 30 degrees. (Smith, Myers, Kaplan, and Goodman-Strauss)]]

In plane discrete 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".{{cite journal |last=Klaassen |first=Bernhard |title=Forcing nonperiodic tilings with one tile using a seed |journal=European Journal of Combinatorics |volume=100 |issue=C |year=2022 |page=103454 |doi=10.1016/j.ejc.2021.103454 |arxiv=2109.09384 |s2cid=237571405 }}

Several variants of the problem, depending on the particular definitions of nonperiodicity and the specifications of what sets may qualify as tiles and what types of matching rules are permitted, were solved beginning in the 1990s. The strictest version of the problem was solved in 2023, after an initial discovery in 2022.

The einstein problem can be seen as a natural extension of the second part of Hilbert's eighteenth problem, which asks for a single polyhedron that tiles Euclidean 3-space, but such that no tessellation by this polyhedron is isohedral.{{cite book | pages=22–24 | last = Senechal | first = Marjorie | author-link = Marjorie Senechal | year = 1996 | edition = corrected paperback | orig-year = 1995 | title = Quasicrystals and Geometry | title-link = Quasicrystals and Geometry | publisher = Cambridge University Press | isbn = 0-521-57541-9}} Such anisohedral tiles were found by Karl Reinhardt in 1928, but these anisohedral tiles all tile space periodically.

Proposed solutions

In 1988, Peter Schmitt discovered a single aperiodic prototile in three-dimensional Euclidean space. While no tiling by this prototile admits a translation as a symmetry, some have a screw symmetry. The screw operation involves a combination of a translation and a rotation through an irrational multiple of π, so no number of repeated operations ever yield a pure translation. This construction was subsequently extended by John Horton Conway and Ludwig Danzer to a convex aperiodic prototile, the Schmitt–Conway–Danzer tile. The presence of the screw symmetry resulted in a reevaluation of the requirements for non-periodicity.{{cite journal | last=Radin | first=Charles | year=1995 | title=Aperiodic tilings in higher dimensions | journal=Proceedings of the American Mathematical Society | volume=123 | issue=11 | pages=3543–3548 | doi=10.2307/2161105 | mr=1277129 | jstor=2161105 | publisher=American Mathematical Society | doi-access=free }} Chaim Goodman-Strauss suggested that a tiling be considered strongly aperiodic if it admits no infinite cyclic group of Euclidean motions as symmetries, and that only tile sets which enforce strong aperiodicity be called strongly aperiodic, while other sets are to be called weakly aperiodic.{{cite web | url=http://comp.uark.edu/~strauss/papers/survey.pdf | title=Open Questions in Tiling | access-date=2007-03-24 | last=Goodman-Strauss | first=Chaim | date=2000-01-10 | archive-url= https://web.archive.org/web/20070418084956/http://comp.uark.edu/~strauss/papers/survey.pdf| archive-date= 18 April 2007 | url-status= live}}

File:Socolar-Taylor tile.svg was proposed in 2010 as a solution to the einstein problem, but this tile is not a connected set.]]

In 1996, Petra Gummelt constructed a decorated decagonal tile and showed that when two kinds of overlaps between pairs of tiles are allowed, the tiles can cover the plane, but only non-periodically.{{cite journal | last=Gummelt | first=Petra | year=1996 | title=Penrose Tilings as Coverings of Congruent Decagons | journal=Geometriae Dedicata | volume=62 | issue=1 | pages=1–17 | doi=10.1007/BF00239998| s2cid=120127686 }} A tiling is usually understood to be a covering with no overlaps, and so the Gummelt tile is not considered an aperiodic prototile. An aperiodic tile set in the Euclidean plane that consists of just one tile–the Socolar–Taylor tile–was proposed in early 2010 by Joshua Socolar and Joan Taylor.{{cite journal | arxiv=1003.4279 | journal = Journal of Combinatorial Theory, Series A | volume=118 | year=2011 | pages=2207–2231 | last1=Socolar | first1=Joshua E. S. | last2=Taylor | first2=Joan M. | title=An Aperiodic Hexagonal Tile | issue = 8 | doi=10.1016/j.jcta.2011.05.001 | s2cid = 27912253 }} This construction requires matching rules, rules that restrict the relative orientation of two tiles and that make reference to decorations drawn on the tiles, and these rules apply to pairs of nonadjacent tiles. Alternatively, an undecorated tile with no matching rules may be constructed, but the tile is not connected. The construction can be extended to a three-dimensional, connected tile with no matching rules, but this tile allows tilings that are periodic in one direction, and so it is only weakly aperiodic. Moreover, the tile is not simply connected.

The hat and the spectre

{{multiple image

| total_width = 400

| image1 = Smith_aperiodic_monotiling.svg

| caption1 = The tiling discovered by David Smith

| image2 = Aperiodic monotile smith 2023.svg

| caption2 = One of the infinite family of Smith–Myers–Kaplan–Goodman-Strauss tiles. Yellow tiles are the reflected versions of the blue tiles.

}}

In November 2022, the amateur mathematician David Smith discovered a "hat"-shaped tile formed from eight copies of a 60°–90°–120°–90° kite (deltoidal trihexagonals), glued edge-to-edge, which seemed to only tile the plane aperiodically.{{cite magazine |last=Klarreich |first=Erica |date=2023-04-04 |magazine=Quanta |title=Hobbyist Finds Math's Elusive 'Einstein' Tile |url=https://www.quantamagazine.org/hobbyist-finds-maths-elusive-einstein-tile-20230404/ }} Smith recruited mathematician Craig S. Kaplan, and subsequently Joseph Samuel Myers and Chaim Goodman-Strauss, and in March 2023 they posted a preprint proving that the "hat", when considered with its mirror image, forms an aperiodic prototile set.{{cite arXiv | last1=Smith | first1=David | last2=Myers | first2=Joseph Samuel | last3=Kaplan | first3=Craig S. | last4=Goodman-Strauss | first4=Chaim | author4-link=Chaim Goodman-Strauss | eprint=2303.10798 | date=March 2023 | title=An aperiodic monotile | class=math.CO }}{{cite news | last1=Lawson-Perfect |first1=Christian | last2=Steckles | first2=Katie | last3=Rowlett | first3=Peter | date=2023-03-22 | title=An aperiodic monotile exists! | magazine=The Aperiodical | url=https://aperiodical.com/2023/03/an-aperiodic-monotile-exists/ }} Furthermore, the hat can be generalized to an infinite family of tiles with the same aperiodic property. As of July 2024 this result has been formally published in the journal Combinatorial Theory.{{Cite journal |last=Smith |first=David |last2=Myers |first2=Joseph Samuel |last3=Kaplan |first3=Craig S. |last4=Goodman-Strauss |first4=Chaim |date=2024 |title=An aperiodic monotile |url=https://escholarship.org/uc/item/3317z9z9 |journal=Combinatorial Theory |language=en |volume=4 |issue=1 |doi=10.5070/C64163843 |issn=2766-1334 |doi-access=free|arxiv=2303.10798 }}

{{multiple image

| width = 120

| image1 = MonotilePolygon.svg

| alt1 = Chiral aperiodic monotile.

| image2 = MonotileCubicBezier.svg

| alt2 = Chiral aperiodic monotile with cubic Bézier curves as edges.

| image3 = MonotileQuadraticBezier.svg

| alt3 = Chiral aperiodic monotile with quadratic Bézier curves as edges.

| footer = Tile(1,1) from Smith, Myers, Kaplan & Goodmann-Strauss on the left. A spectre is obtained by modifying the edges of this polygon as in the middle and right example.

}}

In May 2023 they (Smith, Myers, Kaplan, and Goodman-Strauss) posted a new preprint about a family of shapes related to the "hat", called "spectres", each of which can tile the plane using only rotations and translations.{{Cite arXiv |last1=Smith |first1=David |last2=Myers |first2=Joseph Samuel |last3=Kaplan |first3=Craig S. |last4=Goodman-Strauss |first4=Chaim |date=2023 |title=A chiral aperiodic monotile |class=math.CO |eprint=2305.17743}} Furthermore, the "spectre" is a "strictly chiral" aperiodic monotile: even with reflections, every tiling is non-periodic and uses only one chirality of the spectre. That is, there are no tilings of the plane that use both the spectre and its mirror.

In 2023, a public contest run by the National Museum of Mathematics in New York City and the United Kingdom Mathematics Trust in London asked people to submit creative renditions of the hat einstein. Out of over 245 submissions from 32 countries, three winners were chosen and received awards at a ceremony at the House of Commons.{{cite news |last1=Roberts |first1=Siobhan |title=What Can You Do With an Einstein? |url=https://www.nytimes.com/2023/12/10/science/mathematics-tiling-einstein.html |access-date=13 December 2023 |work=The New York Times |date=10 December 2023}}{{cite web |title=hatcontest |url=https://momath.org/hatcontest/ |publisher=National Museum of Mathematics |access-date=13 December 2023}}

Applications

Einstein tile's molecular analogs may be used to form chiral, two dimensional quasicrystals.{{Cite web |date=2024-01-25 |title=A predicted quasicrystal is based on the ‘einstein’ tile known as the hat |url=https://www.sciencenews.org/article/quasicrystal-einstein-tile-hat-shape |access-date=2024-07-24 |language=en-US}}

References

External links

[https://cs.uwaterloo.ca/~csk/hat/ An aperiodic monotile] by Smith, Myers, Kaplan, and Goodman-Strauss
Haran, Brady; MacDonald, Ayliean (2023). [https://www.youtube.com/watch?v=ArADlJx7SlU&t=29s "A New Tile in Newtyle"] (video). Numberphile.

Category:Aperiodic tilings