View source for Penrose tiling

{{Short description|Non-periodic tiling of the plane}}
{{Use dmy dates|date=February 2020}}
[[File:Penrose Tiling (Rhombi).svg|thumb|A Penrose tiling with rhombi exhibiting fivefold symmetry|alt=]]
A '''Penrose tiling''' is an example of an [[aperiodic tiling]]. Here, a ''tiling'' is a covering of [[two-dimensional space|the plane]] by non-overlapping polygons or other shapes, and a tiling is ''aperiodic'' if it does not contain arbitrarily large [[Periodic tiling|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.

There are several variants of Penrose tilings with different tile shapes. The original form of Penrose tiling used tiles of four different shapes, but this was later reduced to only two shapes: either two different [[rhombus|rhombi]], or two different [[quadrilateral]]s called [[kite (geometry)|kites]] and darts. The Penrose tilings are obtained by constraining the ways in which these shapes are allowed to fit together in a way that avoids periodic tiling. This may be done in several different ways, including matching rules, [[substitution tiling]] or [[finite subdivision rule]]s, cut and project schemes, and coverings. Even constrained in this manner, each variation yields infinitely many different Penrose tilings.
[[File:RogerPenroseTileTAMU2010.jpg|thumb|[[Roger Penrose]] in the foyer of the Mitchell Institute for Fundamental Physics and Astronomy, [[Texas A&M University]], standing on a floor with a Penrose tiling|alt=]]

Penrose tilings are [[self-similarity|self-similar]]: they may be converted to equivalent Penrose tilings with different sizes of tiles, using processes called ''inflation'' and ''deflation''. The pattern represented by every finite patch of tiles in a Penrose tiling occurs infinitely many times throughout the tiling. They are [[quasicrystal]]s: implemented as a physical structure a Penrose tiling will produce [[diffraction pattern]]s with [[Bragg peak]]s and five-fold symmetry, revealing the repeated patterns and fixed orientations of its tiles.{{sfn|Senechal|1996|pages=241–244}} The study of these tilings has been important in the understanding of physical materials that also form quasicrystals.{{sfn|Radin|1996}} Penrose tilings have also been applied in architecture and decoration, as in the floor tiling shown.

==Background and history==

===Periodic and aperiodic tilings===
{{anchor|Figure 1}}[[File:RegularRhombs.svg|right|thumb|upright|Figure 1. Part of a periodic tiling with two prototiles|alt=]]
Covering a flat surface ("the plane") with some pattern of geometric shapes ("tiles"), with no overlaps or gaps, is called a [[tessellation|tiling]]. The most familiar tilings, such as covering a floor with squares meeting edge-to-edge, are examples of [[periodic tiling]]s. If a square tiling is shifted by the width of a tile, parallel to the sides of the tile, the result is the same pattern of tiles as before the shift. A shift (formally, a [[translation (geometry)|translation]]) that preserves the tiling in this way is called a ''period'' of the tiling. A tiling is called periodic when it has periods that shift the tiling in two different directions.<ref name=general>General references for this article include {{Harvnb|Gardner|1997|pp=1&ndash;30}}, {{Harvnb|Grünbaum|Shephard|1987|pp=520&ndash;548 &amp; 558&ndash;579}}, and {{Harvnb|Senechal|1996|pp=170&ndash;206}}.</ref>

The tiles in the square tiling have only one shape, and it is common for other tilings to have only a [[finite set|finite]] number of shapes. These shapes are called ''[[prototile]]s'', and [[set (mathematics)|a set]] of prototiles is said to ''admit a tiling'' or ''tile the plane'' if there is a tiling of the plane using only these shapes. That is, each tile in the tiling must be [[congruence (geometry)|congruent]] to one of these prototiles.<ref>{{Harvnb|Gardner|1997|pp=20, 23}}</ref>

A tiling that has no periods is ''non-periodic''.  A set of prototiles is said to be ''aperiodic'' if all of its tilings are non-periodic, and in this case its tilings are also called [[aperiodic tiling]]s.<ref>{{Harvnb|Grünbaum|Shephard|1987|p=520}}</ref> Penrose tilings are among the simplest known examples of aperiodic tilings of the plane by finite sets of prototiles.<ref name=general/>

===Earliest aperiodic tilings===
[[File:Wang tiles.svg|thumb|left|upright|An [[aperiodic set]] of [[Wang domino]]es.<ref>{{Harvnb|Culik|Kari|1997}}</ref>|alt=]]
The subject of aperiodic tilings received new interest in the 1960s when logician [[Hao Wang (academic)|Hao Wang]] noted connections between [[decision problem]]s and tilings.<ref>{{Harvnb|Wang|1961}}</ref> In particular, he introduced tilings by square plates with colored edges, now known as ''[[Wang domino]]es'' or ''tiles'', and posed the "''[[Domino Problem]]''": to determine whether a given set of Wang dominoes could tile the plane with matching colors on adjacent domino edges. He observed that if this problem were [[recursive set|undecidable]], then there would have to exist an aperiodic set of Wang dominoes. At the time, this seemed implausible, so Wang conjectured no such set could exist.

[[File:Robinson tiles.svg|thumb|right|Robinson's six prototiles|alt=]]
Wang's student [[Robert Berger (mathematician)|Robert Berger]] proved that the Domino Problem was undecidable (so Wang's conjecture was incorrect) in his 1964 thesis,<ref>{{MathGenealogy|id=114475|title=Robert Berger}}</ref> and obtained an aperiodic set of 20,426 Wang dominoes.<ref name="AMSa">{{Harvnb|Austin|2005a}}</ref> He also described a reduction to 104 such prototiles; the latter did not appear in his published monograph,<ref>{{Harvnb|Berger|1966}}</ref> but in 1968, [[Donald Knuth]] detailed a modification of Berger's set requiring only 92 dominoes.<ref>{{Harvnb|Grünbaum|Shephard|1987|p=584}}</ref>

The color matching required in a tiling by Wang dominoes can easily be achieved by modifying the edges of the tiles like [[jigsaw puzzle]] pieces so that they can fit together only as prescribed by the edge colorings.<ref>{{Harvnb|Gardner|1997|p=5}}</ref> [[Raphael Robinson]], in a 1971 paper<ref>{{Harvnb|Robinson|1971}}</ref> which simplified Berger's techniques and undecidability proof, used this technique to obtain an aperiodic set of just six prototiles.<ref>{{Harvnb|Grünbaum|Shephard|1987|p=525}}</ref>

===Development of the Penrose tilings===
{{anchor|Figure 2}}[[File:Penrose Tiling (P1 over P3).svg|left|Figure 2. The pentagonal Penrose tiling (P1) drawn in black on a colored rhombus tiling (P3) with yellow edges.<ref name="S:173-174">{{Harvnb|Senechal|1996|pp=173–174}}</ref>|alt=]]

The first Penrose tiling (tiling P1 below) is an aperiodic set of six prototiles, introduced by [[Roger Penrose]] in a 1974 paper,<ref>{{Harvnb|Penrose|1974}}</ref> based on pentagons rather than squares. Any attempt to tile the plane with regular pentagons necessarily leaves gaps, but [[Johannes Kepler]] showed, in his 1619 work ''[[Harmonices Mundi]]'', that these gaps can be filled using [[pentagram]]s ([[star polygon]]s), [[decagon]]s and related shapes.<ref>{{Harvnb|Grünbaum|Shephard|1987|loc=section 2.5}}</ref> Kepler extended this tiling by five polygons and found no periodic patterns, and already conjectured that every extension would introduce a new feature<ref>{{cite book |last= Kepler |first= Johannes |date= 1997 |title= The harmony of the world |url= https://books.google.com/books?id=rEkLAAAAIAAJ&q=harmony+of+the+worlds+kepler+translation+aiton&pg=PR7 |publisher= American Philosophical Society |page= 108 |isbn= 0871692090}}</ref> hence creating an aperiodic tiling. Traces of these ideas can also be found in the work of [[Albrecht Dürer]].<ref>{{Harvnb|Luck|2000}}</ref> Acknowledging inspiration from Kepler, Penrose found matching rules for these shapes, obtaining an aperiodic set. These matching rules can be imposed by decorations of the edges, as with the Wang tiles. Penrose's tiling can be viewed as a completion of Kepler's finite ''Aa'' pattern.<ref name="S:171">{{Harvnb|Senechal|1996|p=171}}</ref>
[[File:Tiling at Zelena Hora.jpg|thumb|A non-Penrose tiling by pentagons and thin rhombs in the early 18th-century [[Pilgrimage Church of Saint John of Nepomuk]] at Zelená hora, Czech Republic]]

Penrose subsequently reduced the number of prototiles to two, discovering the kite and dart tiling (tiling P2 below) and the rhombus tiling (tiling P3 below).<ref name="G:6">{{Harvnb|Gardner|1997|p=6}}</ref> The rhombus tiling was independently discovered by [[Robert Ammann]] in 1976.<ref name="G:19">{{Harvnb|Gardner|1997|p=19}}</ref> Penrose and [[John H. Conway]] investigated the properties of Penrose tilings, and discovered that a substitution property explained their hierarchical nature; their findings were publicized by [[Martin Gardner]] in his January 1977 "[[List of Martin Gardner Mathematical Games columns|Mathematical Games]]" column in ''[[Scientific American]]''.<ref name="G1">{{Harvnb|Gardner|1997|loc=chapter 1}}</ref>

In 1981, [[Nicolaas Govert de Bruijn|N. G. de Bruijn]] provided two different methods to construct Penrose tilings. De Bruijn's "multigrid method" obtains the Penrose tilings as the [[dual graph]]s of [[arrangement of lines|arrangements]] of five families of parallel lines. In his "cut and project method", Penrose tilings are obtained as two-dimensional projections from a [[5-cubic honeycomb|five-dimensional cubic structure]]. In these approaches, the Penrose tiling is viewed as a set of points, its vertices, while the tiles are geometrical shapes obtained by connecting vertices with edges.<ref>{{Harvnb|de Bruijn|1981}}</ref> A 1990 construction by Baake, Kramer, Schlottmann, and Zeidler derived the Penrose tiling and the related [[Tübingen triangle]] tiling in a similar manner from the four-dimensional [[5-cell honeycomb]].<ref>{{cite journal |last1=Baake |first1=M. |last2=Kramer |first2=P. |last3=Schlottmann |first3=M. |last4=Zeidler |first4=D. |title=Planar Patterns with Fivefold Symmetry as Sections of Periodic Structures in 4-Space |journal=International Journal of Modern Physics B |date=December 1990 |volume=04 |issue=15n16 |pages=2217–2268 |doi=10.1142/S0217979290001054|bibcode=1990IJMPB...4.2217B }}</ref>

==Penrose tilings==
[[File:Penrose Tiling (P1).svg|thumb|A P1 tiling using Penrose's original set of six prototiles|alt=]]
[[File:Penrose P1 tile rules overlay.png|thumb|Penrose P1 tiles with overlaid circular arcs and nodes to enforce the tiling rules]]

The three types of Penrose tiling, P1&ndash;P3, are described individually below.<ref name="P1-P3">The P1&ndash;P3 notation is taken from {{Harvnb|Grünbaum|Shephard|1987|loc=section 10.3}}</ref> They have many common features: in each case, the tiles are constructed from shapes related to the pentagon (and hence to the [[golden ratio]]), but the basic tile shapes need to be supplemented by ''matching rules'' in order to tile aperiodically. These rules may be described using labeled vertices or edges, or patterns on the tile faces; alternatively, the edge profile can be modified (e.g. by indentations and protrusions) to obtain an aperiodic set of prototiles.<ref name="AMSa" /><ref name="GS10.3">{{Harvnb|Grünbaum|Shephard|1987|loc=section 10.3}}</ref>

===Original pentagonal Penrose tiling (P1)===
Penrose's first tiling uses pentagons and three other shapes: a five-pointed "star" (a pentagram), a "boat" (roughly 3/5 of a star) and a "diamond" (a thin rhombus).<ref name="P:32"/> To ensure that all tilings are non-periodic, there are '''{{visible anchor|matching rules}}''' that specify how tiles may meet each other, and there are three different types of matching rule for the pentagonal tiles. Treating these three types as different prototiles gives a set of six prototiles overall. It is common to indicate the three different types of pentagonal tiles using three different colors, as in the figure above right.<ref>"However, as will be explained momentarily, differently colored pentagons will be considered to be different types of tiles." {{Harvnb|Austin|2005a}}; {{Harvnb|Grünbaum|Shephard|1987|loc=figure 10.3.1}}, shows the edge modifications needed to yield an aperiodic set of prototiles.</ref>

===Kite and dart tiling (P2)===

[[File:Step7wPaper600DPI.png|thumb|Part of the plane covered by Penrose [[tessellation|tiling]] of type P2 (kite and dart). Created by applying several deflations, see section below.]]

Penrose's second tiling uses quadrilaterals called the "kite" and "dart", which may be combined to make a rhombus. However, the matching rules prohibit such a combination.<ref>"The rhombus of course tiles periodically, but we are not allowed to join the pieces in this manner." {{Harvnb|Gardner|1997|pp=6&ndash;7}}</ref> Both the kite and dart are composed of two triangles, called ''[[Golden triangle (mathematics)#Golden gnomon|Robinson triangles]]'', after 1975 notes by Robinson.<ref name="GS-R">{{Harvnb|Grünbaum|Shephard|1987|pp=537&ndash; 547}}</ref>

{{multiple image|align=left|direction=vertical|image1=Kite Dart.svg|image2=Penrose vertex figures.svg|width=225|footer=Kite and dart tiles (top) and the seven possible [[vertex figure]]s in a P2 tiling, which are each given nicknames as follows&nbsp;– First row: star, ace, sun. Second row: king, jack, queen, deuce}}

*The ''kite'' is a quadrilateral whose four interior angles are 72, 72, 72, and 144 degrees. The kite may be bisected along its axis of symmetry to form a pair of acute Robinson triangles (with angles of 36, 72 and 72 degrees).
*The ''dart'' is a non-convex quadrilateral whose four interior angles are 36, 72, 36, and 216 degrees. The dart may be bisected along its axis of symmetry to form a pair of obtuse Robinson triangles (with angles of 36, 36 and 108 degrees), which are smaller than the acute triangles.

The matching rules can be described in several ways. One approach is to color the vertices (with two colors, e.g., black and white) and require that adjacent tiles have matching vertices.<ref name="S:173">{{Harvnb|Senechal|1996|p=173}}</ref> Another is to use a pattern of circular arcs (as shown above left in green and red) to constrain the placement of tiles: when two tiles share an edge in a tiling, the patterns must match at these edges.<ref name="G:6"/>

These rules often force the placement of certain tiles: for example, the [[concave polygon|concave]] vertex of any dart is necessarily filled by two kites. The corresponding figure (center of the top row in the lower image on the left) is called an "ace" by Conway; although it looks like an enlarged kite, it does not tile in the same way.<ref name="G:8">{{Harvnb|Gardner|1997|p=8}}</ref> Similarly the concave vertex formed when two kites meet along a short edge is necessarily filled by two darts (bottom right). In fact, there are only seven possible ways for the tiles to meet at a vertex; two of these figures &ndash; namely, the "star" (top left) and the "sun" (top right) &ndash; have 5-fold [[dihedral symmetry]] (by rotations and reflections), while the remainder have a single axis of reflection (vertical in the image).<ref name="G:10=11">{{Harvnb|Gardner|1997|pp=10&ndash;11}}</ref> Apart from the ace (top middle) and the sun, all of these vertex figures force the placement of additional tiles.<ref name="G:12">{{Harvnb|Gardner|1997|p=12}}</ref>

===Rhombus tiling (P3)===
[[File:Penrose rhombs matching rules.svg|right|thumb|upright|Matching rule for Penrose rhombs using circular arcs or edge modifications to enforce the tiling rules|alt=]]
[[File:Penrose Rhombuses with Parabolic Edges.svg|right|thumb|upright|Matching rule for Penrose rhombs using parabolic edges to enforce the tiling rules]]
[[File:PenroseFlowers.png|left|thumb|A Penrose Tiling of type P3 using Penrose Rhombuses with parabolic edges]]
The third tiling uses a pair of [[rhombus]]es (often referred to as "[[wikt:rhomb|rhombs]]" in this context) with equal sides but different angles.<ref name="AMSa"/> Ordinary rhombus-shaped tiles can be used to tile the plane periodically, so restrictions must be made on how tiles can be assembled: no two tiles may form a parallelogram, as this would allow a periodic tiling, but this constraint is not sufficient to force aperiodicity, as [[#Figure 1|figure 1 above]] shows.

There are two kinds of tile, both of which can be decomposed into Robinson triangles.<ref name="GS-R"/>
*The thin rhomb '''t''' has four corners with angles of 36, 144, 36, and 144 degrees. The '''t''' rhomb may be bisected along its short diagonal to form a pair of acute Robinson triangles.
*The thick rhomb '''T''' has angles of 72, 108, 72, and 108 degrees. The '''T''' rhomb may be bisected along its long diagonal to form a pair of obtuse Robinson triangles; in contrast to the P2 tiling, these are larger than the acute triangles.

The matching rules distinguish sides of the tiles, and entail that tiles may be juxtaposed in certain particular ways but not in others. Two ways to describe these matching rules are shown in the image on the right. In one form, tiles must be assembled such that the curves on the faces match in color and position across an edge. In the other, tiles must be assembled such that the bumps on their edges fit together.<ref name="AMSa"/>

There are 54 cyclically ordered combinations of such angles that add up to 360 degrees at a vertex, but the rules of the tiling allow only seven of these combinations to appear (although one of these arises in two ways).<ref name="S:178">{{Harvnb|Senechal|1996|p=178}}</ref>

The various combinations of angles and facial curvature allow construction of arbitrarily complex tiles, such as the ''Penrose chickens''.<ref>{{cite web|url=http://www.murderousmaths.co.uk/books/BKMM7xpc.htm |title=The Penrose Tiles |website=[[Murderous Maths]] |access-date=2020-01-20}}</ref>

==Features and constructions==

===Golden ratio and local pentagonal symmetry===
Several properties and common features of the Penrose tilings involve the [[golden ratio]] <math>\varphi=\frac{1+\sqrt{5}}{2}</math> (approximately 1.618).<ref name="GS-R" /><ref name="S:173"/> This is the ratio of [[Chord (geometry)|chord]] lengths to side lengths in a [[regular pentagon]], and satisfies {{φ}} = 1 + 1/{{φ}}.

[[File:Rhomb pentagon.svg|left|thumb|Pentagon with an inscribed thick rhomb (light), acute Robinson triangles (lightly shaded) and a small obtuse Robinson triangle (darker). Dotted lines give additional edges for inscribed kites and darts.|alt=]]

Consequently, the ratio of the lengths of long sides to short sides in the ([[isosceles]]) Robinson triangles is {{φ}}:1. It follows that the ratio of long side lengths to short in both kite and dart tiles is also {{φ}}:1, as are the length ratios of sides to the short diagonal in the thin rhomb '''t''', and of long diagonal to sides in the thick rhomb '''T'''. In both the P2 and P3 tilings, the ratio of the [[Triangle#Computing the area of a triangle|area]] of the larger Robinson triangle to the smaller one is {{φ}}:1, hence so are the ratios of the areas of the kite to the dart, and of the thick rhomb to the thin rhomb. (Both larger and smaller obtuse Robinson triangles can be found in the pentagon on the left: the larger triangles at the top &ndash; the halves of the thick rhomb &ndash; have linear dimensions scaled up by {{φ}} compared to the small shaded triangle at the base, and so the ratio of areas is {{φ}}<sup>2</sup>:1.)

Any Penrose tiling has local pentagonal symmetry, in the sense that there are points in the tiling surrounded by a symmetric configuration of tiles: such configurations have fivefold [[rotational symmetry]] about the center point, as well as five mirror lines of [[reflection symmetry]] passing through the point, a [[dihedral group|dihedral]] symmetry [[group (mathematics)|group]].<ref name="AMSa"/> This symmetry will generally preserve only a patch of tiles around the center point, but the patch can be very large: Conway and Penrose proved that whenever the colored curves on the P2 or P3 tilings close in a loop, the region within the loop has pentagonal symmetry, and furthermore, in any tiling, there are at most two such curves of each color that do not close up.<ref name="G:9">{{Harvnb|Gardner|1997|p=9}}</ref>

There can be at most one center point of global fivefold symmetry: if there were more than one, then rotating each about the other would yield two closer centers of fivefold symmetry, which leads to a mathematical contradiction.<ref name="G:27">{{Harvnb|Gardner|1997|p=27}}</ref> There are only two Penrose tilings (of each type) with global pentagonal symmetry: for the P2 tiling by kites and darts, the center point is either a "sun" or "star" vertex.<ref name="GS:543">{{Harvnb|Grünbaum|Shephard|1987|p=543}}</ref>

===Inflation and deflation===
[[File:Pentagon with half dodecahedral net.svg|right|thumb|upright|A pentagon decomposed into six smaller pentagons (half a dodecahedral net) with gaps|alt=]]
Many of the common features of Penrose tilings follow from a hierarchical pentagonal structure given by ''[[Substitution tiling|substitution rules]]'': this is often referred to as ''inflation'' and ''deflation'', or ''composition'' and ''decomposition'', of tilings or (collections of) tiles.<ref name="AMSa"/><ref name="G1"/><ref name="GS-Terms">In {{Harvnb|Grünbaum|Shephard|1987}}, the term "inflation" is used where other authors would use "deflation" (followed by rescaling). The terms "composition" and "decomposition", which many authors also use, are less ambiguous.</ref> The substitution rules decompose each tile into smaller tiles of the same shape as those used in the tiling (and thus allow larger tiles to be "composed" from smaller ones). This shows that the Penrose tiling has a scaling self-similarity, and so can be thought of as a [[fractal]], using the same process as the [[pentaflake]].<ref>{{cite journal | last1 = Ramachandrarao | first1 = P | year = 2000 | title = On the fractal nature of Penrose tiling | url = http://www.iisc.ernet.in/currsci/aug102000/rc80.pdf | journal = Current Science | volume = 79 | page = 364 }}</ref>

Penrose originally discovered the P1 tiling in this way, by decomposing a pentagon into six smaller pentagons (one half of a [[Net (polyhedron)|net]] of a [[dodecahedron]]) and five half-diamonds; he then observed that when he repeated this process the gaps between pentagons could all be filled by stars, diamonds, boats and other pentagons.<ref name="P:32">{{Harvnb|Penrose|1978|p=32}}</ref> By iterating this process indefinitely he obtained one of the two P1 tilings with pentagonal symmetry.<ref name="AMSa"/><ref name="S:171"/>

====Robinson triangle decompositions====
[[File:Robinson triangle decompositions.svg|left|thumb|upright|Robinson triangles and their decompositions|alt=]]
The substitution method for both P2 and P3 tilings can be described using Robinson triangles of different sizes. The Robinson triangles arising in P2 tilings (by bisecting kites and darts) are called A-tiles, while those arising in the P3 tilings (by bisecting rhombs) are called B-tiles.<ref name="GS-R"/> The smaller A-tile, denoted A<sub>S</sub>, is an [[obtuse triangle|obtuse]] Robinson triangle, while the larger A-tile, A<sub>L</sub>, is [[acute triangle|acute]]; in contrast, a smaller B-tile, denoted B<sub>S</sub>, is an acute Robinson triangle, while the larger B-tile, B<sub>L</sub>, is obtuse.

Concretely, if A<sub>S</sub> has side lengths (1, 1, {{φ}}), then A<sub>L</sub> has side lengths ({{φ}}, {{φ}}, 1). B-tiles can be related to such A-tiles in two ways:
* If B<sub>S</sub> has the same size as A<sub>L</sub> then B<sub>L</sub> is an enlarged version {{φ}}A<sub>S</sub> of A<sub>S</sub>, with side lengths ({{φ}}, {{φ}}, {{φ}}<sup>2</sup>&nbsp;=&nbsp;1&nbsp;+&nbsp;{{φ}}) &ndash; this decomposes into an A<sub>L</sub> tile and A<sub>S</sub> tile joined along a common side of length 1.
* If instead B<sub>L</sub> is identified with A<sub>S</sub>, then B<sub>S</sub> is a reduced version (1/{{φ}})A<sub>L</sub> of A<sub>L</sub> with side lengths (1/{{φ}},1/{{φ}},1) &ndash; joining a B<sub>S</sub> tile and a B<sub>L</sub> tile along a common side of length 1 then yields (a decomposition of) an A<sub>L</sub> tile.

In these decompositions, there appears to be an ambiguity: Robinson triangles may be decomposed in two ways, which are mirror images of each other in the (isosceles) axis of symmetry of the triangle. In a Penrose tiling, this choice is fixed by the matching rules. Furthermore, the matching rules ''also'' determine how the smaller triangles in the tiling compose to give larger ones.<ref name="GS-R"/>

{{multiple image|align=right|direction=vertical|image1=Penrose tilings P2 and P3.svg|image2=Penrose tilings P3 and P2.svg|width=300|footer=Partial inflation of star to yield rhombs, and of a collection of rhombs to yield an ace.}}
It follows that the P2 and P3 tilings are ''mutually locally derivable'': a tiling by one set of tiles can be used to generate a tiling by another. For example, a tiling by kites and darts may be subdivided into A-tiles, and these can be composed in a canonical way to form B-tiles and hence rhombs.<ref name="S:173-174"/> The P2 and P3 tilings are also both mutually locally derivable with the P1 tiling (see [[#Figure 2|figure 2 above]]).<ref name="GS:546">{{Harvnb|Grünbaum|Shephard|1987|p=546}}</ref>

The decomposition of B-tiles into A-tiles may be written
: B<sub>S</sub> = A<sub>L</sub>, B<sub>L</sub> = A<sub>L</sub> + A<sub>S</sub>
(assuming the larger size convention for the B-tiles), which can be summarized in a ''substitution [[matrix (mathematics)|matrix]]'' equation:<ref name="S:157-158">{{Harvnb|Senechal|1996|pp=157&ndash;158}}</ref>
: <math>\begin{pmatrix} B_L \\ B_S\end{pmatrix} = \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} A_L \\ A_S \end{pmatrix}\, .</math>
Combining this with the decomposition of enlarged {{φ}}A-tiles into B-tiles yields the substitution
: <math>\begin{pmatrix} \varphi A_L \\ \varphi A_S\end{pmatrix} = \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} B_L \\ B_S\end{pmatrix} = \begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix}\begin{pmatrix} A_L \\ A_S \end{pmatrix}\, ,</math>
so that the enlarged tile {{φ}}A<sub>L</sub> decomposes into two A<sub>L</sub> tiles and one A<sub>S</sub> tiles. The matching rules force a particular substitution: the two A<sub>L</sub> tiles in a {{φ}}A<sub>L</sub> tile must form a kite, and thus a kite decomposes into two kites and a two half-darts, and a dart decomposes into a kite and two half-darts.<ref name="AMSb"/><ref name="S:183">{{Harvnb|Senechal|1996|p=183}}</ref> Enlarged {{φ}}B-tiles decompose into B-tiles in a similar way (via {{φ}}A-tiles).

Composition and decomposition can be iterated, so that, for example
:<math>\varphi^n\begin{pmatrix} A_L \\ A_S\end{pmatrix} = \begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix}^n\begin{pmatrix} A_L \\ A_S \end{pmatrix}\, .</math>
The number of kites and darts in the ''n''th iteration of the construction is determined by the ''n''th power of the substitution matrix:
:<math>\begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix}^n = \begin{pmatrix} F_{2n+1} & F_{2n} \\ F_{2n} & F_{2n-1} \end{pmatrix}\, ,</math>
where ''F''<sub>''n''</sub> is the ''n''th [[Fibonacci number]]. The ratio of numbers of kites to darts in any sufficiently large P2 Penrose tiling pattern therefore approximates to the golden ratio {{φ}}.<ref name="G:7">{{Harvnb|Gardner|1997|p=7}}</ref> A similar result holds for the ratio of the number of thick rhombs to thin rhombs in the P3 Penrose tiling.<ref name="AMSb"/>

====Deflation for P2 and P3 tilings====

[[File:AnimSun2k.gif|thumb|Consecutive deflations of the 'sun' vertex in a Penrose [[tessellation|tiling]] of type P2]]
[[File:Penrose P3 Deflations.gif|thumb|Consecutive deflations of a tile-set in a Penrose [[tessellation|tiling]] of type P3]]
[[File:AnimSun 13.png|thumb|8th deflation of the 'sun' vertex in a Penrose [[tessellation|tiling]] of type P2]]

Starting with a collection of tiles from a given tiling (which might be a single tile, a tiling of the plane, or any other collection), deflation proceeds with a sequence of steps called generations. In one generation of deflation, each tile is replaced with two or more new tiles that are scaled-down versions of tiles used in the original tiling. The [[substitution tiling|substitution rules]] guarantee that the new tiles will be arranged in accordance with the matching rules.<ref name="AMSb"/> Repeated generations of deflation produce a tiling of the original axiom shape with smaller and smaller tiles. <!--Given sufficiently many generations, the tiling will contain a scaled-down version of the axiom that does not touch the boundary of the tiling. The axiom can then be surrounded by full-size tiles corresponding to tiles that appear in the scaled-down version. This extended tiling can be used as a new axiom, producing larger and larger extended tilings and ultimately covers the entire plane.-->
<!--This is an example of successive generations of deflation starting from different axioms. In the case of the 'Sun' and 'Star', the scaled-down interior version of the axiom appears in generation 2. The 'Sun' also appears in the interior of its generation 3.-->

This rule for dividing the tiles is a [[subdivision rule]].

{{multiple image
 | align = left
 | direction = horizontal
 | width = 200
 | image_gap = 20
 | image1 = Animation showing the substitution rules for Penrose tiling kites and darts.gif
 | caption1 = One step of the substitution rules for kite and dart Penrose tiles.
 | image2 = Animation showing multiple iterations of the substitution rules for Penrose tiling kites and darts.gif
 | caption2 = Four iterations of the kite and dart substitutions.
}}


{| class="wikitable"
|-
! Name
! Initial tiles
! Generation 1
! Generation 2
! Generation 3
|-
| Half-kite
| [[File:penrose kile 0.svg|120px]]
| [[File:penrose kile 1.svg|120px]]
| [[File:penrose kile 2.svg|120px]]
| [[File:penrose kile 3.svg|120px]]
|-
| Half-dart
| [[File:penrose dart 0.svg|120px]]
| [[File:penrose dart 1.svg|120px]]
| [[File:penrose dart 2.svg|120px]]
| [[File:penrose dart 3.svg|120px]]
|-
| Sun
| [[File:penrose sun 0bis.svg|120px]]
| [[File:penrose sun 1.svg|120px]]
| [[File:penrose sun 2.svg|120px]]
| [[File:penrose sun 3.svg|120px]]
|-
| Star
| [[File:penrose star 0.svg|120px]]
| [[File:penrose star 1.svg|120px]]
| [[File:penrose star 2.svg|120px]]
| [[File:penrose star 3.svg|120px]]
|}
The above table should be used with caution. The half kite and half dart deflation are useful only in the context of deflating a larger pattern as shown in the sun and star deflations. They give incorrect results if applied to single kites and darts.

In addition, the simple subdivision rule generates holes near the edges of the tiling which are just visible in the top and bottom illustrations on the right. Additional forcing rules are useful.

====Consequences and applications====
Inflation and deflation yield a method for constructing kite and dart (P2) tilings, or rhombus (P3) tilings, known as ''up-down generation''.<ref name="G:8"/><ref name="AMSb">{{Harvnb|Austin|2005b}}</ref><ref name="S:183"/>

The Penrose tilings, being non-periodic, have no translational symmetry &ndash; the pattern cannot be shifted to match itself over the entire plane. However, any bounded region, no matter how large, will be repeated an infinite number of times within the tiling. Therefore, no finite patch can uniquely determine a full Penrose tiling, nor even determine which position within the tiling is being shown.<ref>"... any finite patch that we choose in a tiling will lie inside a single inflated tile if we continue moving far enough up in the inflation hierarchy. This means that anywhere that tile occurs at that level in the hierarchy, our original patch must also occur in the original tiling. Therefore, the patch will occur infinitely often in the original tiling and, in fact, in every other tiling as well." {{Harvnb|Austin|2005a}}</ref>

This shows in particular that the number of distinct Penrose tilings (of any type) is [[uncountably infinite]]. Up-down generation yields one method to parameterize the tilings, but other methods use Ammann bars, pentagrids, or cut and project schemes.<ref name="AMSb"/>

==Related tilings and topics==

===Decagonal coverings and quasicrystals===
[[File:Gummelt decagon.svg|thumb|upright=1.3|Gummelt's decagon (left) with the decomposition into kites and darts indicated by dashed lines; the thicker darker lines bound an inscribed ace and thick rhomb; possible overlaps (right) are by one or two red aces.<ref name="LR">{{Harvnb|Lord|Ranganathan|2001}}</ref>|alt=]]

In 1996, German mathematician Petra Gummelt demonstrated that a covering (so called to distinguish it from a non-overlapping tiling) equivalent to the Penrose tiling can be constructed using a single decagonal tile if two kinds of overlapping regions are allowed.<ref>{{Harvnb|Gummelt|1996}}</ref> The decagonal tile is decorated with colored patches, and the covering rule allows only those overlaps compatible with the coloring. A suitable decomposition of the decagonal tile into kites and darts transforms such a covering into a Penrose (P2) tiling. Similarly, a P3 tiling can be obtained by inscribing a thick rhomb into each decagon; the remaining space is filled by thin rhombs.

These coverings have been considered as a realistic model for the growth of [[quasicrystals]]: the overlapping decagons are 'quasi-unit cells' analogous to the [[unit cell]]s from which crystals are constructed, and the matching rules maximize the density of certain atomic clusters.<ref name="LR"/><ref>{{Harvnb|Steinhardt|Jeong|1996}}; see also {{cite web|first=Paul J.|last=Steinhardt|title=A New Paradigm for the Structure of Quasicrystals|url=http://www.physics.princeton.edu/~steinh/quasi/}}</ref> The aperiodic nature of the coverings can make theoretical studies of physical properties, such as electronic structure, difficult due to the absence of [[Bloch's theorem]]. However, spectra of quasicrystals can still be computed with error control.<ref>{{cite journal|last1=Colbrook|last2=Roman|last3=Hansen|year=2019|title=How to Compute Spectra with Error Control|journal=Physical Review Letters|volume=122|issue=25|page=250201|doi=10.1103/PhysRevLett.122.250201|pmid=31347861|bibcode=2019PhRvL.122y0201C|s2cid=198463498 |url=https://www.repository.cam.ac.uk/handle/1810/295873}}</ref>

===Related tilings===
[[File:Tie and Navette Tiling.png|left|thumb|upright=1.3|Tie and Navette tiling (in red on a Penrose background)]]
The three variants of the Penrose tiling are mutually locally derivable. Selecting some subsets from the vertices of a P1 tiling allows to produce other non-periodic tilings. If the corners of one pentagon in P1 are labeled in succession by ''1,3,5,2,4'' an unambiguous tagging in all the pentagons is established, the order being either clockwise or counterclockwise.
Points with the same label define a tiling by Robinson triangles while points with the numbers 3 and 4 on them define the vertices of a Tie-and-Navette tiling.<ref>{{cite journal | last1 = Luck | first1 = R | year = 1990| title = Penrose Sublattices | journal = Journal of Non-Crystalline Solids | volume = 117–8 | issue = 90| pages = 832–5 | doi = 10.1016/0022-3093(90)90657-8 | bibcode = 1990JNCS..117..832L }}</ref>

[[File:Variable penrose tiling.svg|thumb|A variant tiling which is not a quasicrystal. It is not a Penrose tiling because it does not comply with the tile alignment rules.]]
There are also other related unequivalent tilings, such as the hexagon-boat-star and Mikulla&ndash;Roth tilings. For instance, if the matching rules for the rhombus tiling are reduced to a specific restriction on the angles permitted at each vertex, a binary tiling is obtained.<ref>{{Harvnb|Lançon|Billard|1988}}</ref> Its underlying symmetry is also fivefold but it is not a quasicrystal. It can be obtained either by decorating the rhombs of the original tiling with smaller ones, or by applying substitution rules, but not by de Bruijn's cut-and-project method.<ref>{{Harvnb|Godrèche|Lançon|1992}}; see also {{cite encyclopedia|url=http://tilings.math.uni-bielefeld.de/substitution/binary|title=Binary|author= Dirk Frettlöh|author2= F. Gähler|author3= [[Edmund Harriss]]|name-list-style= amp|encyclopedia=Tilings Encyclopedia |publisher= Department of Mathematics, University of Bielefeld}}</ref>

==Art and architecture==
<gallery mode="packed">
File:Darb-i Imam shrine spandrel.JPG|Pentagonal and decagonal [[Girih tiles|Girih-tile]] pattern on a [[spandrel]] from the [[Darb-e Imam|Darb-i Imam]] shrine, [[Isfahan]], [[Iran]] (1453 C.E.)
File:Salesforce Transit Center main entrance.jpg|[[Salesforce Transit Center]] in San Francisco.  The outer "skin", made of white aluminum, is perforated in the pattern of a Penrose tiling.
File:Penrose tiling in CC-3, IIIT Allahabad.jpg|alt=|Penrose tiling on the floor in Computer Center 3 (CC-3), [[Indian Institute of Information Technology, Allahabad|IIIT Allahabad]]
</gallery>
The aesthetic value of tilings has long been appreciated, and remains a source of interest in them; hence the visual appearance (rather than the formal defining properties) of Penrose tilings has attracted attention. The similarity with [[girih tiles|certain decorative patterns]] used in North Africa and the Middle East has been noted;<ref>{{Harvnb|Zaslavskiĭ|Sagdeev|Usikov|Chernikov|1988}}; {{Harvnb|Makovicky|1992}}</ref><ref>{{Cite news |first=Sebastian R. |last=Prange |author2=Peter J. Lu |title=The Tiles of Infinity |date=2009-09-01 |publisher=Aramco Services Company |url=http://www.saudiaramcoworld.com/issue/200905/the.tiles.of.infinity.htm |work=Saudi Aramco World |pages=24–31 |access-date=2010-02-22 |archive-date=13 January 2010 |archive-url=https://web.archive.org/web/20100113133013/http://saudiaramcoworld.com/issue/200905/the.tiles.of.infinity.htm |url-status=dead }}</ref> the physicists [[Peter J. Lu]] and [[Paul Steinhardt]] have presented evidence that a Penrose tiling underlies examples of medieval [[Islamic geometric patterns]], such as the [[girih]] (strapwork) tilings at the [[Darb-e Imam]] shrine in [[Isfahan]].<ref>{{Harvnb|Lu|Steinhardt|2007}}</ref>

[[Drop City]] artist Clark Richert used Penrose rhombs in artwork in 1970, derived by projecting the rhombic [[triacontahedron]] shadow onto a plane observing the embedded "fat" rhombi and "skinny" rhombi which tile together to produce the non-periodic tessellation. Art historian [[Martin Kemp (art historian)|Martin Kemp]] has observed that [[Albrecht Dürer]] sketched similar motifs of a rhombus tiling.<ref>{{Harvnb|Kemp|2005}}</ref>

In 1979, [[Miami University]] used a Penrose tiling executed in [[terrazzo]] to decorate the Bachelor Hall courtyard in their Department of Mathematics and Statistics.<ref>''[http://www.lib.miamioh.edu/epub/tilings/david.pdf The Penrose Tiling at Miami University] {{Webarchive|url=https://web.archive.org/web/20170814145333/http://www.lib.miamioh.edu/epub/tilings/david.pdf |date=14 August 2017 }}'' by David Kullman, Presented at the [[Mathematical Association of America]] Ohio Section Meeting [[Shawnee State University]], 24 October 1997</ref>

In [[Indian Institute of Information Technology, Allahabad]], since the first phase of construction in 2001, academic buildings were designed on the basis of "Penrose Geometry", styled on [[Tessellation|tessellations]] developed by Roger Penrose. In many places in those buildings, the floor has geometric patterns composed of Penrose tiling.<ref>{{Cite web |title=Indian Institute of Information Technology, Allahabad |url=https://www.archnet.org/sites/6240 |website=[[ArchNet]]}}</ref>

The floor of the atrium of the [[Noel Bayliss|Bayliss]] Building at The University of Western Australia is tiled with Penrose tiles.<ref>{{cite web|url=http://www.treasures.uwa.edu.au/treasures/66/|title=Centenary: The University of Western Australia|website=www.treasures.uwa.edu.au}}</ref>

The [[Andrew Wiles]] Building, the location of the Mathematics Department at the [[University of Oxford]] as of October 2013,<ref>{{cite web |url=http://www.maths.ox.ac.uk/new-building |title=New Building Project |access-date=30 November 2013 |archive-url=https://web.archive.org/web/20121122033241/http://www.maths.ox.ac.uk/new-building |archive-date=22 November 2012 |url-status=dead }}</ref> includes a section of Penrose tiling as the paving of its entrance.<ref>{{cite web|title=Roger Penrose explains the mathematics of the Penrose Paving|url=https://www.maths.ox.ac.uk/node/865|publisher=[[University of Oxford]] Mathematical Institute}}</ref>

The pedestrian part of the street [[Keskuskatu]] in central Helsinki is paved using a form of Penrose tiling. The work was finished in 2014.<ref>{{cite web|url=https://www.hs.fi/tiede/art-2000002751157.html?share=a77bc9103d565c475aa5484e15932ea3|title=Keskuskadun kävelykadusta voi tulla matemaattisen hämmästelyn kohde|date=6 August 2014|website=Helsingin Sanomat}}</ref>

San Francisco's 2018 [[Salesforce Transit Center]] features perforations in its exterior's undulating white metal skin in the Penrose pattern.<ref>{{cite journal |url=http://sf.curbed.com/archives/2013/07/11/check_out_the_proposed_skin_for_the_transbay_transit_center.php |title=Check Out the Proposed Skin for the Transbay Transit Center |date=11 July 2013 |first=Sally |last=Kuchar |journal=[[Curbed]]}}</ref>

==See also==
* [[Girih tiles]]
* [[List of aperiodic sets of tiles]]
* [[Pinwheel tiling]]
* [[Pentagonal tiling]]
* [[Quaquaversal tiling]]
* [[Tübingen triangle]]

==Notes==
{{Reflist}}

==References==

===Primary sources===
* {{cite book|first=R.|last=Berger|title=The undecidability of the domino problem|series=Memoirs of the American Mathematical Society|volume=66| year=1966|isbn=9780821812662|url=https://books.google.com/books?id=mLfTCQAAQBAJ}}.
* {{cite journal|first=N. G.|last=de Bruijn|author-link=Nicolaas Govert de Bruijn|journal=Indagationes Mathematicae|volume=43|pages=39–66|year=1981|title=Algebraic theory of Penrose's non-periodic tilings of the plane, I, II|url=http://alexandria.tue.nl/repository/freearticles/597566.pdf|issue=1|doi=10.1016/1385-7258(81)90017-2|doi-access=free}}.
* {{cite journal|first=Petra|last=Gummelt |title=Penrose tilings as coverings of congruent decagons|url=https://link.springer.com/article/10.1007/BF00239998|journal=[[Geometriae Dedicata]]|volume= 62|issue=1|year=1996|pages=1–17|doi=10.1007/BF00239998|mr=1400977|zbl=0893.52011}} 
* {{cite journal|last=Penrose|first=Roger|author-link=Roger Penrose|title=The role of aesthetics in pure and applied mathematical research|journal= Bulletin of the Institute of Mathematics and Its Applications|volume= 10|year=1974|page=266ff}}.
* {{cite patent| inventor-last = Penrose| inventor-first = Roger| inventorlink = Roger Penrose |fdate = 1976-06-24 |pubdate =1979-01-09 |title = Set of tiles for covering a surface |country = US |number = 4133152}}.
* {{cite journal|first=R.M.|last=Robinson|s2cid=14259496|author-link=Raphael M. Robinson|title=Undecidability and non-periodicity for tilings of the plane|journal=Inventiones Mathematicae|volume=12|year=1971|pages=177&ndash;190|doi=10.1007/BF01418780|bibcode = 1971InMat..12..177R|issue=3 }}.
* {{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|year = 1984| pages = 1951–1953|doi = 10.1103/PhysRevLett.53.1951| bibcode=1984PhRvL..53.1951S| issue = 20|doi-access = free}}
* {{cite journal|first=H.|last=Wang|author-link=Hao Wang (academic)|title=Proving theorems by pattern recognition II|journal= Bell System Technical Journal|volume=40|year=1961|pages=1&ndash;42|doi=10.1002/j.1538-7305.1961.tb03975.x}}.

===Secondary sources===
* {{cite web|first=David|last=Austin|title=Penrose Tiles Talk Across Miles|location=Providence|publisher=American Mathematical Society|year=2005a|url=https://www.ams.org/featurecolumn/archive/penrose.html}}.
* {{cite web|first=David|last=Austin|title=Penrose Tilings Tied up in Ribbons|location=Providence|publisher=American Mathematical Society|year=2005b|url=https://www.ams.org/featurecolumn/archive/ribbons.html}}.
* {{cite journal|first1=Matthew|last1= Colbrook|first2=Bogdan|last2= Roman|first3=Anders|last3= Hansen|title= How to Compute Spectra with Error Control|journal= Physical Review Letters|volume=122|issue=25|pages=250201|year= 2019|doi=10.1103/PhysRevLett.122.250201|pmid= 31347861|bibcode= 2019PhRvL.122y0201C|s2cid= 198463498|url= https://www.repository.cam.ac.uk/handle/1810/295873}}
* {{cite book|first1=Karel|last1= Culik|first2=Jarkko|last2= Kari|author2-link=Jarkko Kari|title= Foundations of Computer Science|series= Lecture Notes in Computer Science|volume=1337|pages=153&ndash;162|year= 1997|doi=10.1007/BFb0052084|chapter=On aperiodic sets of Wang tiles|isbn=978-3-540-63746-2}}
* {{cite book|author-link=Martin Gardner|last=Gardner|first= Martin|title=Penrose Tiles to Trapdoor Ciphers|year=1997|publisher=Cambridge University Press|isbn=978-0-88385-521-8}}. (First published by W. H. Freeman, New York (1989), {{isbn|978-0-7167-1986-1}}.)
**Chapter 1 (pp.&nbsp;1&ndash;18) is a reprint of {{cite magazine|last=Gardner|first= Martin|title=Extraordinary non-periodic tiling that enriches the theory of tiles|magazine=Scientific American|date=January 1977|volume=236|issue= 1|pages=110&ndash;121|doi= 10.1038/scientificamerican0177-110|bibcode=1977SciAm.236a.110G}}.
* {{cite journal|first1 = C|last1 = Godrèche|first2 = F.|last2 = Lançon|year = 1992|title = A simple example of a non-Pisot tiling with five-fold symmetry|journal = Journal de Physique I|volume = 2|pages = 207–220|url = https://hal.science/jpa-00246473 |doi = 10.1051/jp1:1992134|bibcode = 1992JPhy1...2..207G|issue = 2|s2cid = 120168483}}.
* {{cite book|author1-link=Branko Grünbaum|last1=Grünbaum|first1=Branko|last2=Shephard|first2=G. C.|title=Tilings and Patterns|location=New York|publisher=W. H. Freeman|year=1987|isbn=978-0-7167-1193-3|url-access=registration|url=https://archive.org/details/isbn_0716711931}}.
* {{cite journal|last = Kemp|first= Martin|title = Science in culture: A trick of the tiles|journal = Nature|volume = 436|page = 332|year = 2005|doi = 10.1038/436332a|issue=7049|bibcode = 2005Natur.436..332K |doi-access = free}}.
* {{cite journal|first1 = Frédéric|last1 = Lançon|first2 = Luc|last2 = Billard|year = 1988|title = Two-dimensional system with a quasi-crystalline ground state|journal = Journal de Physique|volume = 49|pages = 249–256|doi = 10.1051/jphys:01988004902024900|url = http://inac.cea.fr/sp2m/L_Sim/Publications/1988/Lancon-Billard-1988-binary_tilings.pdf|issue = 2|citeseerx = 10.1.1.700.3611|access-date = 28 November 2009|archive-date = 20 July 2011|archive-url = https://web.archive.org/web/20110720210501/http://inac.cea.fr/sp2m/L_Sim/Publications/1988/Lancon-Billard-1988-binary_tilings.pdf|url-status = dead}}.
* {{cite journal|journal=Acta Crystallographica|volume=A57|year=2001|pages=531&ndash;539|title=The Gummelt decagon as a 'quasi unit cell'|first1=E.A.|last1=Lord|first2=S.|last2=Ranganathan|url=http://materials.iisc.ernet.in/~lord/webfiles/actagum.pdf|doi=10.1107/S0108767301007504|issue=5|pmid=11526302|citeseerx=10.1.1.614.3786|access-date=13 December 2009|archive-date=21 July 2011|archive-url=https://web.archive.org/web/20110721155346/http://materials.iisc.ernet.in/~lord/webfiles/actagum.pdf|url-status=dead}}
* {{cite journal|first1 = Peter J.|last1 = Lu|first2 = Paul J.|last2 = Steinhardt|year = 2007|title = Decagonal and Quasi-crystalline Tilings in Medieval Islamic Architecture|journal = [[Science (journal)|Science]]|volume = 315|pages = 1106–1110|url = https://peterlu.org/pdf/publications/2007/Science_315_1106_2007.pdf|doi = 10.1126/science.1135491|pmid = 17322056|issue = 5815|bibcode = 2007Sci...315.1106L|s2cid = 10374218}}.
* {{cite journal|last=Luck|first= R.|title=Dürer-Kepler-Penrose: the development of pentagonal tilings|journal=Materials Science and Engineering|volume=294|issue=6|year=2000|pages=263&ndash;267|doi= 10.1016/S0921-5093(00)01302-2}}.
* {{cite book|first=E.|last=Makovicky|year=1992|chapter=800-year-old pentagonal tiling from Maragha, Iran, and the new varieties of aperiodic tiling it inspired|editor=I. Hargittai|title=Fivefold Symmetry|pages=67&ndash;86|publisher=World Scientific|location=Singapore&ndash;London|isbn=9789810206000|chapter-url=https://books.google.com/books?id=-Tt37ajV5ZgC&pg=PA67}}.
* {{cite magazine|first=Roger|last=Penrose|author-link=Roger Penrose|title=Pentaplexity|magazine=[[Eureka (University of Cambridge magazine)|Eureka]]|volume= 39|year=1978|pages=16&ndash;22|url=https://www.archim.org.uk/eureka/archive/Eureka-39.pdf}}. (Page numbers cited here are from the reproduction as {{cite journal|title=Pentaplexity: A class of non-periodic tilings of the plane|journal=[[The Mathematical Intelligencer]]|volume=2|year=1979–80|pages=32&ndash;37|doi=10.1007/BF03024384|last1=Penrose|first1=R.|s2cid=120305260}}.)
* {{cite journal
 | last = Radin | first = Charles | author-link = Charles Radin
 | date = April 1996
 | issue = 4
 | journal = [[Notices of the American Mathematical Society]]
 | pages = 416–421
 | title = Book Review: Quasicrystals and geometry
 | url = https://www.ams.org/publications/journals/notices/199604/radin.pdf
 | volume = 43}}
* {{cite book| title=Quasicrystals and geometry| title-link= Quasicrystals and Geometry |first=Marjorie|last=Senechal|author-link=Marjorie Senechal|publisher= Cambridge University Press|year=1996|isbn=978-0-521-57541-6}}.
* {{cite journal|first1=Paul J.|last1=Steinhardt|first2=Hyeong-Chai|last2=Jeong|s2cid=4354819|journal=Nature|issue = 1 August|volume=382|pages=431&ndash;433|year=1996|doi=10.1038/382431a0|title=A simpler approach to Penrose tiling with implications for quasicrystal formation|bibcode = 1996Natur.382..431S}}.
* {{cite journal|first1= G.M.|last1=Zaslavskiĭ|first2= Roal'd Z.|last2=Sagdeev|first3= D.A.|last3=Usikov|first4= A.A.|last4=Chernikov|year = 1988|title = Minimal chaos, stochastic web and structures of quasicrystal symmetry|journal =Soviet Physics Uspekhi|volume=31|pages=887&ndash;915|doi=10.1070/PU1988v031n10ABEH005632|bibcode = 1988SvPhU..31..887Z|issue= 10}}.

==External links==
{{Commons category|Penrose tilings}}
* {{MathWorld|urlname = PenroseTiles |title = Penrose Tiles}}
* {{cite web|url=http://www.quadibloc.com/math/pen01.htm |title=Penrose Tilings |author=John Savard|publisher=quadibloc.com |access-date=2009-11-28}}
* {{cite web|url=http://intendo.net/penrose/info.html|title=Penrose Tiling |author=Eric Hwang|publisher=intendo.net |access-date=2009-11-28}}
* {{cite encyclopedia |url=http://tilings.math.uni-bielefeld.de/substitution/penrose-rhomb |title=Penrose Rhomb |author= F. Gähler |author2= E. Harriss |author3= D. Frettlöh |name-list-style= amp |encyclopedia=Tilings Encyclopedia |publisher= Department of Mathematics, University of Bielefeld |access-date=2009-11-28}}
* {{cite web|url=http://www.mathpages.com/home/kmath621/kmath621.htm|title=On de Bruijn Grids and Tilings |author=Kevin Brown|publisher=mathpages.com |access-date=2009-11-28}}
* {{cite web|url=http://www.ics.uci.edu/~eppstein/junkyard/penrose.html|title=Penrose Tiles |author=David Eppstein |author-link = David Eppstein|publisher=ics.uci.edu/~eppstein| work=The Geometry Junkyard |access-date=2009-11-28}} This has a list of additional resources.
* {{cite web|url=http://www.eschertile.com/penrose.htm |title=Penrose tile in architecture |author=William Chow |access-date=2009-12-28}}
* {{cite web| url = http://www.spacegoo.com/penrose| title = Penrose's tiles viewer}}

{{Good article}}
{{Tessellation}}
{{Roger Penrose}}

{{DEFAULTSORT:Penrose Tiling}}
[[Category:Discrete geometry]]
[[Category:Aperiodic tilings]]
[[Category:Mathematics and art]]
[[Category:Golden ratio]]
[[Category:Roger Penrose]]