View source for Aperiodic tiling

{{Short description|Form of plane tiling without repeats at scale}}
[[File:Rhombus Penrose tiling with arcs.svg|right|thumb|200px|The [[Penrose tiling]] is an example of an aperiodic tiling; every tiling it can produce lacks [[translational symmetry]].]]
[[File:Smith_aperiodic_monotiling.svg|thumb|An aperiodic tiling using a single shape and its reflection, discovered by [[David Smith (hobbyist)|David Smith]] ]]
An '''aperiodic tiling''' is a non-periodic [[Tessellation|tiling]] with the additional property that it does not contain arbitrarily large periodic regions or patches. A set of tile-types (or [[prototile]]s) is [[aperiodic set of prototiles|aperiodic]] if copies of these tiles can form only non-[[periodic tiling|periodic]] tilings.  

The [[Penrose tiling]]s are a well-known example of aperiodic tilings.<ref>{{cite journal | last = Gardner | first = Martin | author-link = Martin Gardner |date=January 1977 | title = Mathematical Games | journal = Scientific American | volume = 236 | issue = 1 | pages = 111–119| doi = 10.1038/scientificamerican0177-110 | bibcode = 1977SciAm.236a.110G }}</ref><ref>{{cite book | last = Gardner | first = Martin | author-link = Martin Gardner | year = 1988 | title = Penrose Tiles to Trapdoor Ciphers | publisher = W H Freeman & Co | isbn = 978-0-7167-1987-8 | url-access = registration | url = https://archive.org/details/penrosetilestotr00gard }}</ref> 

In March 2023, four researchers, [[David Smith (amateur mathematician)|David Smith]], Joseph Samuel Myers, [[Craig S. Kaplan]], and [[Chaim Goodman-Strauss]], announced the proof that the tile discovered by David Smith is an [[Einstein problem|aperiodic monotile]], i.e., a solution to the [[einstein problem]], a problem that seeks the existence of any single shape aperiodic tile.<ref name="smith">{{Cite arXiv |last1=Smith |first1=David |last2=Myers |first2=Joseph Samuel |last3=Kaplan |first3=Craig S. |last4=Goodman-Strauss |first4=Chaim |date=2023-03-19 |title=An aperiodic monotile |class=math.CO |eprint=2303.10798 }}</ref> In May 2023 the same authors published a chiral aperiodic monotile with similar but stronger constraints.<ref name="Smith Myers Kaplan Goodman-Strauss 2023 chiral">{{cite arXiv | last=Smith | first=David | last2=Myers | first2=Joseph Samuel | last3=Kaplan | first3=Craig S. | last4=Goodman-Strauss | first4=Chaim | title=A chiral aperiodic monotile | date=2023-05-28 |class=math.CO |eprint=2305.17743 }}</ref>

Aperiodic tilings serve as mathematical models for [[quasicrystal]]s, physical solids that were discovered in 1982 by [[Dan Shechtman]]<ref name = "schechtman">{{cite journal| last1 = Schechtman|first1 = D.|last2 = Blech|first2 = I.|last3 = Gratias|first3 = D.|last4 = Cahn|first4 = J.W.|title = Metallic Phase with long-range orientational order and no translational symmetry| journal = Physical Review Letters| volume = 53| issue = 20|year = 1984| pages = 1951–1953|doi = 10.1103/PhysRevLett.53.1951| bibcode=1984PhRvL..53.1951S|doi-access = free}}</ref> who subsequently won the Nobel prize in 2011.<ref name=nobel>{{cite web|url=https://www.nobelprize.org/nobel_prizes/chemistry/laureates/2011/ |title=The Nobel Prize in Chemistry 2011 |publisher=Nobelprize.org |access-date=2011-10-06}}</ref> However, the specific local structure of these materials is still poorly understood.

Several methods for constructing aperiodic tilings are known.

==Definition and illustration==

Consider a periodic tiling by unit squares (it looks like infinite [[graph paper]]). Now cut one square into two rectangles. The tiling obtained in this way is non-periodic: there is no non-zero shift that leaves this tiling fixed. But clearly this example is much less interesting than the Penrose tiling. In order to rule out such boring examples, one defines an aperiodic tiling to be one that does not contain arbitrarily large periodic parts.

A tiling is called aperiodic if its hull contains only non-periodic tilings. The [[hull (tiling)|hull]] of a tiling <math>T \subset \R^d</math> contains all translates {{nowrap|''T''}} + ''x'' of ''T'', together with all tilings that can be approximated by translates of ''T''. Formally this is the closure of the set <math>\{ T+x \, : \, x \in \R^d \}</math> in the local topology.<ref name="tao">{{cite book | last1 = Baake|first1=M.|last2=Grimm|first2=Uwe|author2-link=Uwe Grimm|title=Aperiodic Order. Vol 1: A Mathematical Invitation|publisher=Cambridge University Press|year=2013}}</ref> In the local topology (resp. the corresponding metric) two tilings are <math>\varepsilon</math>-close if they agree in a ball of radius <math>1/\varepsilon</math> around the origin (possibly after shifting one of the tilings by an amount less than <math>\varepsilon</math>).

To give an even simpler example than above, consider a one-dimensional tiling ''T'' of the line that looks like {{not a typo|...''aaaaaabaaaaa''...}} where ''a'' represents an interval of length one, ''b'' represents an interval of length two. Thus the tiling ''T'' consists of infinitely many copies of ''a'' and one copy of ''b'' (with centre 0, say). Now all translates of ''T'' are the tilings with one ''b'' somewhere and ''a''s else. The sequence of tilings where ''b'' is centred at <math>1,2,4, \ldots,2^n,\ldots</math> converges – in the local topology – to the periodic tiling consisting of ''a''s only. Thus ''T'' is not an aperiodic tiling, since its hull contains the periodic tiling {{not a typo|...''aaaaaa''....}}

For well-behaved tilings (e.g. substitution tilings with finitely many local patterns) holds: if a tiling is non-periodic and [[repetitive tiling|repetitive]] (i.e. each patch occurs in a [[uniformly dense]] way throughout the tiling), then it is aperiodic.<ref name="tao" />

==History==

The first specific occurrence of aperiodic tilings arose in 1961, when logician [[Hao Wang (academic)|Hao Wang]] tried to determine whether the [[domino problem]] is decidable – that is, whether there exists an algorithm for deciding if a given finite set of prototiles admits a tiling of the plane. Wang found algorithms to enumerate the tilesets that cannot tile the plane, and the tilesets that tile it periodically; by this he showed that such a decision algorithm exists if every finite set of prototiles that admits a tiling of the plane also admits a periodic tiling. <!--but was it Wang or Berger that proved the other direction?-->In 1964, [[Robert Berger (mathematician)|Robert Berger]] found an aperiodic set of prototiles from which he demonstrated that the tiling problem is in fact not decidable.<ref>{{mathgenealogy|name=Robert Berger|id=114475}}.</ref><ref>{{cite journal | last=Berger | first=Robert | author-link=Robert Berger (mathematician) | year=1966 | title=The undecidability of the domino problem | journal=Memoirs of the American Mathematical Society | issue=66 | pages=1–72}}</ref> This first such set, used by Berger in his proof of undecidability, required 20,426 Wang tiles. Berger later reduced his set to 104, and [[Hans Läuchli]] subsequently found an aperiodic set requiring only 40 Wang tiles.<ref name="gs">{{cite book | last1 = Grünbaum | first1 = Branko | last2 = Shephard | first2 = Geoffrey Colin | author-link1 = Branko Grünbaum | author-link2 = Geoffrey Colin Shephard | isbn = 0-7167-1193-1 | location = New York | publisher = W. H. Freeman | title = Tilings and Patterns | year = 1987  | url = https://books.google.com/books?id=zY6nPwAACAAJ  | page = 584f}}</ref> A smaller set, of six aperiodic tiles (based on Wang tiles), was discovered by [[Raphael M. Robinson]] in 1971.<ref>{{cite journal | last=Robinson | first=Raphael M. | year=1971 | title=Undecidability and Nonperiodicity for Tilings of the Plane | journal=[[Inventiones Mathematicae]] | volume=12 | issue=3 | pages=177–209 | doi=10.1007/BF01418780 | doi-access= | bibcode=1971InMat..12..177R| s2cid=14259496 }}</ref> [[Roger Penrose]] discovered three more sets in 1973 and 1974, reducing the number of tiles needed to two, and [[Robert Ammann]] discovered several new sets in 1977.<ref name="gs2" /> The number of tiles required was reduced to one in 2023 by David Smith, Joseph Samuel Myers, [[Craig S. Kaplan]], and [[Chaim Goodman-Strauss]].<ref name="smith" /><ref name="Smith Myers Kaplan Goodman-Strauss 2023 chiral" /><ref>{{cite news |title=Bromley Tilers |url=https://bromleytilers.co.uk/ |access-date=26 July 2023}}</ref>

The aperiodic Penrose tilings can be generated not only by an aperiodic set of prototiles, but also by a [[Substitution tiling|substitution]] and by a [[#Cut-and-project method|cut-and-project method]]. After the discovery of quasicrystals aperiodic tilings become studied intensively by physicists and mathematicians. The cut-and-project method of [[Nicolaas Govert de Bruijn|N.G. de Bruijn]] for Penrose tilings eventually turned out to be an instance of the theory of [[Meyer set]]s.<ref>{{cite journal | last=Lagarias | first=J.C. | title=Meyer's concept of quasicrystal and quasiregular sets | journal=Communications in Mathematical Physics | year=1996 | volume=179 | issue=2 | pages=356–376| doi=10.1007/BF02102593 | doi-access=free | bibcode=1996CMaPh.179..365L | s2cid=122753893 |url=https://www.researchgate.net/publication/38332108}}</ref><ref>{{cite book | author-last=Moody | author-first=R.V. |editor-last=Moody | editor-first=R.V. | chapter=Meyer Sets and Their Duals | title=The Mathematics of Long-Range Aperiodic Order | year=1997 | series=NATO ASI Series C | issue=489 | pages=403–441| doi=10.1007/978-94-015-8784-6_16 | isbn=978-90-481-4832-5 }}</ref> Today there is a large amount of literature on aperiodic tilings.<ref name="tao" />

An ''[[Einstein problem|einstein]]'' ({{langx|de|ein Stein}}, one stone) is an aperiodic tiling that uses only a single shape. The first such tile was discovered in 2010 - [[Socolar–Taylor tile]], which is however not connected into one piece. In 2023 a connected tile was discovered, using a shape termed a "hat".<ref>{{Cite web |last=Conover |first=Emily |date=2023-03-24 |title=Mathematicians have finally discovered an elusive 'einstein' tile |url=https://www.sciencenews.org/article/mathematicians-discovered-einstein-tile |access-date=2023-03-25 |website=[[Science News]] |language=en-US}}</ref>

== Constructions ==

There are a few constructions of aperiodic tilings known. Some constructions are based on infinite families of aperiodic sets of tiles.<ref name="goodman-strauss (1998)">{{cite journal | last=Goodman-Strauss | first=Chaim | year=1998 | title=Matching rules and substitution tilings | journal=[[Annals of Mathematics]] | volume=147 | issue=1 | pages=181–223 | url=http://comp.uark.edu/~strauss/papers/index.html | doi=10.2307/120988 | jstor=120988 | citeseerx=10.1.1.173.8436 }}</ref><ref name = "Mozes (1989)"/> The tilings which have been found so far are mostly constructed in a few ways, primarily by forcing some sort of non-periodic hierarchical structure. Despite this, the [[undecidable problem|undecidability]] of the [[domino problem]] ensures that there must be infinitely many distinct principles of construction, and that in fact, there exist aperiodic sets of tiles for which there can be no proof of their aperiodicity. 

However, there are three principles of construction that have been predominantly used for finite sets of prototiles up until 2023:<ref name="notices2023">{{cite journal | last=Treviño | first=Rodrigo | year=2023 | title=Aperiodic Tilings, Order, and Randomness | journal=[[Notices of the American Mathematical Society]] | volume=70 | issue=8 | pages=1183 | url=https://www.ams.org/journals/notices/202308/rnoti-p1179.pdf | doi=10.1090/noti2759 | s2cid=260818304 }}</ref>
* matching rules,
* substitution and expansion rules and
* the cut-and-project method.
For some tilings only one of the constructions is known to yield that tiling. Others can be constructed by all three classical methods, e.g. the [[Penrose tiling|Penrose tilings]].<ref name="notices2023"></ref> 

Goodman-Straus proved that all tilings generated by substitution rules and satisfying a technical condition can be generated through matching rules. The technical condition is mild and usually satisfied in practice. The tiles are required to admit a set of ''hereditary edges'' such that the substitution tiling is ''sibling-edge-to-edge''.<ref name="goodman-strauss (1998)"></ref>

=== Aperiodic hierarchical tilings through matching===

For a tiling congruent copies of the prototiles need to pave all of the Euclidean plane without overlaps (except at boundaries) and without leaving uncovered pieces. Therefore the boundaries of the tiles forming a tiling need to match geometrically. This is generally true for all tilings, aperiodic and periodic ones. Sometimes these '''geometric matching condition''' is enough to force a tile set to be aperiodic, this is e.g. the case for Robinsion's tilings discussed below.

Sometimes additional '''matching rules''' are required to hold. These usually involve colors or markings that have to match over several tiles across boundaries. [[Wang tile|Wang tiles]] usually require such additional rules. 

In some cases it has been possible to replace matching rules by geometric matching conditions altogether by modifying the prototiles at their boundary. The 
[[Penrose_tiling#Original_pentagonal_Penrose_tiling_(P1)|Penrose tiling (P1)]] originally consists of four prototiles together with some matching rules. One of the four tiles is a pentagon. One can replace this pentagon prototile by three distinct pentagonal shapes that have additional protrusions and indentations at the boundary making three distinct tiles. Together with the three other prototiles with suitably adapted boundaries one gets a set of six prototiles that essentially create the same aperiodic tilings as the original four tiles, but for the six tiles no additional matching rules are necessary, the geometric matching condition suffice.

Also note that Robinsion's protiles below come equipped with markings to make it easier to visually recognize the structure, but these markings do not put more matching rules on the tiles as are already in place through the geometric boundaries.

To date, there is not a formal definition describing when a tiling has a hierarchical structure; nonetheless, it is clear that substitution tilings have them, as do the tilings of Berger, [[Donald Knuth|Knuth]], [[Hans Läuchli|Läuchli]], [[Raphael Robinson|Robinson]] and [[Robert Ammann|Ammann]]. As with the term "aperiodic tiling" itself, the term "aperiodic ''hierarchical'' tiling" is a convenient shorthand, meaning something along the lines of "a set of tiles admitting only non-periodic tilings with a hierarchical structure".

For aperiodic tilings, whether additional matching rules are involved or not, the matching conditions forces some hierarchical structure on the tilings that in turn make period structures impossible.

Each of these sets of tiles, in any tiling they admit, forces a particular hierarchical structure. (In many later examples, this structure can be described as a substitution tiling system; this is described below). No tiling admitted by such a set of tiles can be periodic, simply because no single translation can leave the entire hierarchical structure invariant. Consider Robinson's 1971 tiles:

[[Image:Robinson tiles.svg|center|thumbnail|200px|The Robinson Tiles]]

Any tiling by these tiles can only exhibit a hierarchy of square lattices: the centre of any orange square is also a corner of a larger orange square, ad infinitum. Any translation must be smaller than some size of square, and so cannot leave any such tiling invariant.

[[Image:Robinson tiling.jpg|center|thumbnail|300px|A portion of tiling by the Robinson tiles]]

Robinson proves these tiles must form this structure inductively; in effect, the tiles must form blocks which themselves fit together as larger versions of the original tiles, and so on.
This idea – of finding sets of tiles that can only admit hierarchical structures – has been used in the construction of most known aperiodic sets of tiles to date. 

However, the tiling produced in this way is not unique, not even up to [[isometry|isometries]] of the [[Euclidean group]], e.g. [[Translation (geometry)|translations]] and [[Rotation (mathematics)|rotations]]. A complete tiling of the plane constructed from Robinsion's tiles may or may not have ''faults'' (also called ''corridors'') going off to infinity in up to four ''arms'' and there are additional choices that allow for the encoding of [[Omega language|infinite words]] from Σ<sup>ω</sup> for an [[Alphabet (formal languages)|alphabet]] Σ of up to four letters.<ref name=gs2>{{cite book | last1 = Grünbaum | first1 = Branko | last2 = Shephard | first2 = Geoffrey Colin | author-link1 = Branko Grünbaum | author-link2 = Geoffrey Colin Shephard | isbn = 0-7167-1193-1 | location = New York | publisher = W. H. Freeman | title = Tilings and Patterns | year = 1987  | url = https://books.google.com/books?id=zY6nPwAACAAJ  | page = 528f}}</ref> In summary there are [[Cardinality of the continuum|uncountably]] many different tilings unrelated by Euclidean isometries, all of them necessarily nonperiodic, that can arise from the Robinsion's tiles.

=== Substitutions ===

{{main|Substitution tiling|L-system}}

Substitution tiling systems provide a rich source of aperiodic tilings. A set of tiles that forces a substitution structure to emerge is said to '''enforce''' the substitution structure. For example, the chair tiles shown below admit a substitution, and a portion of a substitution tiling is shown at right below. These substitution tilings are necessarily non-periodic, in precisely the same manner as described above, but the chair tile itself is not aperiodic – it is easy to find periodic tilings by unmarked chair tiles that satisfy the geometric matching conditions.

[[Image:L substitution tiling.svg|center|thumb|300px|The chair substitution tiling system.]]

However, the tiles shown below force the chair substitution structure to emerge, and so are themselves aperiodic.<ref name = "goodman-strauss (1999a)">{{cite journal| last = Goodman-Strauss|first = Chaim| title = A small aperiodic set of planar tiles| journal = [[European Journal of Combinatorics]]| year = 1999| volume = 20| issue = 5| pages = 375–384| doi = 10.1006/eujc.1998.0281| doi-access = free}}</ref>

[[Image:trilobite and crab.svg|center| thumb|300px|The [[Trilobite and cross tiles|Trilobite and Cross tiles]] enforce the chair substitution structure—they can only admit tilings in which the chair substitution can be discerned and so are aperiodic.]]

The Penrose tiles, and shortly thereafter [[Robert Ammann|Amman's]] several different sets of tiles,<ref name="grunbaum and shephard">{{cite book | last = Grünbaum | first = Branko | author-link = Branko Grünbaum |author2=Geoffrey C. Shephard | year = 1986 | title = Tilings and Patterns | title-link = Tilings and patterns | publisher = W.H. Freeman & Company | isbn = 978-0-7167-1194-0}}</ref> were the first example based on explicitly forcing a substitution tiling structure to emerge. [[Joshua Socolar]],<ref name = "senechal">{{cite book | last = Senechal | first = Marjorie | author-link = Marjorie Senechal | orig-year = 1995 |edition=corrected paperback |year=1996 | title = Quasicrystals and geometry | title-link = Quasicrystals and Geometry | publisher = [[Cambridge University Press]] | isbn = 978-0-521-57541-6}}</ref><ref>{{cite journal| last = Socolar|first = J.E.S.|title = Simple octagonal and dodecagonal quasicrystals| journal = Phys. Rev. B| volume = 39|issue = 15| year = 1989| pages = 10519–51|doi=10.1103/PhysRevB.39.10519|bibcode = 1989PhRvB..3910519S| pmid = 9947860 }}</ref> [[Roger Penrose]],<ref>{{cite journal| last = Penrose|first = R.|title = Remarks on Tiling: details of a 1&nbsp;+&nbsp;''ε''&nbsp;+&nbsp;''ε''<sup>2</sup>-aperiodic set|journal= The Mathematics Long Range Aperiodic Order, NATO Adv. Sci. Inst. Ser. C. Math. Phys. Sci. |volume = 489 |year = 1997| pages = 467–497}}</ref> [[Ludwig Danzer]],<ref>{{cite journal| last1 = Nischke|first1 =K.-P.| last2 = Danzer|first2 = L.|title =  A construction of inflation rules based on ''n''-fold symmetry| journal = [[Discrete & Computational Geometry]]|volume = 15|year = 1996| issue = 2|pages = 221–236|doi =  10.1007/BF02717732|doi-access = free}}</ref> and [[Chaim Goodman-Strauss]]<ref name = "goodman-strauss (1999a)"/> have found several subsequent sets. [[Shahar Mozes]] gave the first general construction, showing that every product of one-dimensional substitution systems can be enforced by matching rules.<ref name = "Mozes (1989)">{{cite journal|last = Mozes|first = Shahar |authorlink=Shahar Mozes| title = Tilings, substitution systems and dynamical systems generated by them|journal = [[Journal d'Analyse Mathématique]]|volume = 53|year = 1989|issue = 1|pages =139–186|doi = 10.1007/BF02793412|doi-access=|s2cid = 121775031}}</ref> [[Charles Radin]] found rules enforcing the [[pinwheel tiling|Conway-pinwheel substitution tiling]] system.<ref>{{cite journal| last = Radin|first = Charles| title = The pinwheel tilings of the plane|journal =  [[Annals of Mathematics]] |volume = 139| year = 1994| pages = 661–702| doi = 10.2307/2118575| issue = 3| jstor = 2118575}}</ref> In 1998, [[Chaim Goodman-Strauss|Goodman-Strauss]] showed that local matching rules can be found to force any substitution tiling structure, subject to some mild conditions.<ref name = "goodman-strauss (1998)"/>

=== Cut-and-project method ===

Non-periodic tilings can also be obtained by projection of higher-dimensional structures into spaces with lower dimensionality and under some circumstances there can be tiles that enforce this non-periodic structure and so are aperiodic. The Penrose tiles are the first and most famous example of this, as first noted in the pioneering work of [[Nicolaas Govert de Bruijn|de Bruijn]].<ref>N. G. de Bruijn,  Nederl. Akad. Wetensch. Indag. Math.  '''43''', 39–52, 53–66 (1981). [http://www.math.brown.edu/~res/M272/pentagrid.pdf Algebraic theory of Penrose's nonperiodic tilings of the plane], I, II</ref> There is yet no complete (algebraic) characterization of cut and project tilings that can be enforced by matching rules, although numerous necessary or sufficient conditions are known.<ref>See, for example, the survey by {{cite book | last = Le|first = T.T.Q.|editor-last=Moody | editor-first=R.V. | chapter=Local Rules for Quasiperiodic Tilings |title = The Mathematics of Long-Range Aperiodic Order| series = NATO Adv. Sci. Inst. Ser. C. Math. Phys. Sci. |volume = 489 |year = 1997| pages = 331–366 | doi=10.1007/978-94-015-8784-6_13|isbn = 978-90-481-4832-5}}</ref>

[[Image:Penrose LI classes.svg|center|thumb|600px|Some tilings obtained by the cut and project method. The cutting planes are all parallel to the one which defines Penrose tilings (the fourth tiling on the third line). These tilings are all in different local isomorphism classes, that is, they are locally distinguishable.]]

=== Other techniques ===

Only a few different kinds of constructions have been found. Notably, [[Jarkko Kari]] gave an aperiodic set of Wang tiles based on multiplications by 2 or 2/3 of real numbers encoded by lines of tiles (the encoding is related to [[Sturmian word|Sturmian sequences]] made as the differences of consecutive elements of [[Beatty sequence]]s), with the aperiodicity mainly relying on the fact that 2<sup>''n''</sup>/3<sup>''m''</sup> is never equal to 1 for any positive integers ''n'' and ''m''.<ref>{{cite journal | last = Kari| first = Jarkko| title = A small aperiodic set of Wang tiles| journal = [[Discrete Mathematics (journal)|Discrete Mathematics]]| volume = 160| year = 1996 | issue = 1–3| pages = 259–264| doi = 10.1016/0012-365X(95)00120-L| doi-access = }}</ref> This method was later adapted by [[Chaim Goodman-Strauss|Goodman-Strauss]] to give a strongly aperiodic set of tiles in the hyperbolic plane.<ref>{{cite journal| last=Goodman-Strauss| first = Chaim | year = 2005| title = A strongly aperiodic set of tiles in the hyperbolic plane| journal = [[Inventiones Mathematicae]]| volume = 159| issue=1 | pages = 119–132| doi = 10.1007/s00222-004-0384-1 | doi-access=free | bibcode=2004InMat.159..119G| citeseerx = 10.1.1.477.1974 | s2cid = 5348203 }}</ref> [[Shahar Mozes]] has found many alternative constructions of aperiodic sets of tiles, some in more exotic settings; for example in semi-simple [[Lie group]]s.<ref>{{cite journal|last = Mozes| first = Shahar|title = Aperiodic tilings | journal = [[Inventiones Mathematicae]] | year = 1997| volume = 128|issue = 3 | pages = 603–611|doi = 10.1007/s002220050153|doi-access = |bibcode = 1997InMat.128..603M | s2cid = 189819776}}</ref> Block and Weinberger used homological methods to construct aperiodic sets of tiles for all non-[[amenable group|amenable manifolds]].<ref>{{cite journal|last=Block|first=J.|author2=Weinberger, S.|title=Aperiodic tilings, positive scalar curvature and amenability of spaces|journal=Journal of the American Mathematical Society|year=1992|volume=5|issue=4|pages=907–918|doi=10.1090/s0894-0347-1992-1145337-x|doi-access=free}}</ref> Joshua Socolar also gave another way to enforce aperiodicity, in terms of ''alternating condition''.<ref>{{cite journal | last1 = Socolar | first1 = Joshua | year = 1990 | title = Weak matching rules for quasicrystals | journal = Communications in Mathematical Physics | volume = 129 | issue = 3| pages = 599–619 | doi = 10.1007/BF02097107 | doi-access=free |bibcode = 1990CMaPh.129..599S | s2cid = 123629334 }}</ref> This generally leads to much smaller tile sets than the one derived from substitutions.

==Physics==
{{main|Quasicrystal}}
Aperiodic tilings were considered as mathematical artefacts until 1984, when physicist [[Dan Shechtman]] announced the discovery of a phase of an aluminium-manganese alloy which produced a sharp diffractogram with an unambiguous fivefold symmetry<ref name = "schechtman"/> – so it had to be a crystalline substance with icosahedral symmetry. In 1975 [[Robert Ammann]] had already extended the Penrose construction to a three-dimensional icosahedral equivalent. In such cases the term 'tiling' is taken to mean 'filling the space'. Photonic devices are currently built as aperiodical sequences of different layers, being thus aperiodic in one direction and periodic in the other two. Quasicrystal structures of Cd–Te appear to consist of atomic layers in which the atoms are arranged in a planar aperiodic pattern. Sometimes an energetical minimum or a maximum of entropy occur for such aperiodic structures. Steinhardt has shown that Gummelt's overlapping decagons allow the application of an extremal principle and thus provide the link between the mathematics of aperiodic tiling and the structure of quasicrystals.<ref>{{cite web | url=http://wwwphy.princeton.edu/~steinh/quasi/ | title=A New Paradigm for the Structure of Quasicrystals | access-date=2007-03-26 | last=Steinhardt | first=Paul J.| archive-url= https://web.archive.org/web/20070223124748/http://wwwphy.princeton.edu/~steinh/quasi/| archive-date= 23 February 2007 | url-status= live}}</ref> [[Faraday wave]]s have been observed to form large patches of aperiodic patterns.<ref>{{Cite journal | doi = 10.1103/PhysRevE.47.R788| title = Parametrically excited quasicrystalline surface waves| journal = Physical Review E| volume = 47| issue = 2| pages = R788–R791| year = 1993| last1 = Edwards | first1 = W.| last2 = Fauve | first2 = S.| pmid = 9960162|bibcode = 1993PhRvE..47..788E }}</ref> The physics of this discovery has revived the interest in incommensurate structures and frequencies suggesting to link aperiodic tilings with [[Interference (wave propagation)|interference]] phenomena.<ref>{{cite journal | last1 = Levy | first1 = J-C. S. | last2 = Mercier | first2 = D. | year = 2006 | title = Stable quasicrystals | journal = Acta Phys. Superficierum | volume = 8 | page = 115 }}</ref>

==Confusion regarding terminology==

The term ''aperiodic'' has been used in a wide variety of ways in the mathematical literature on tilings (and in other mathematical fields as well, such as dynamical systems or graph theory, with altogether different meanings). With respect to tilings the term aperiodic was sometimes used synonymously with the term non-periodic. A ''non-periodic'' tiling is simply one that is not fixed by any non-trivial translation. Sometimes the term described – implicitly or explicitly – a tiling generated by an aperiodic set of prototiles. Frequently the term aperiodic was just used vaguely to describe the structures under consideration, referring to physical aperiodic solids, namely quasicrystals, or to something non-periodic with some kind of global order.<ref>{{cite book| last = Kaplan| first = Craig | title = Introductory Tiling Theory for Computer Graphics| publisher = Morgan & Claypool Publishers| date = 2009| pages = 55| isbn = 9781608450183}}</ref>

The use of the word "tiling" is problematic as well, despite its straightforward definition. There is no single [[Penrose tiling]], for example: the Penrose rhombs admit infinitely many tilings (which cannot be distinguished locally). A common solution is to try to use the terms carefully in technical writing, but recognize the widespread use of the informal terms.

==See also==
* {{Annotated link|Girih tiles}}
* {{Annotated link|List of aperiodic sets of tiles}}
* {{Annotated link|Quasicrystal}}
* {{Annotated link|Zellige}}

==References==
{{reflist|2}}

==External links==
*[http://www.ics.uci.edu/~eppstein/junkyard/tiling.html The Geometry Junkyard]
*[https://web.archive.org/web/20060830155826/http://www.uwgb.edu/dutchs/symmetry/aperiod.htm Aperiodic Tilings]
*[https://www.youtube.com/watch?v=48sCx-wBs34 The Infinite Pattern That Never Repeats]

{{Tessellation}}

[[Category:Aperiodic tilings| ]]