View source for Ammann–Beenker tiling

{{Short description|Non-periodic tiling of the plane}}
[[File:AmmanBeenker.png|thumb|A portion of tiling by Ammann's aperiodic A5 set of tiles, decorated with finite, local matching rules which force infinite, global structure, that of Amman–Beenker tiling.]]

In [[Geometry|geometry]], an '''Ammann–Beenker tiling''' is a nonperiodic [[Tessellation|tiling]] which can be generated either by an aperiodic set of prototiles as done by [[Biography:Robert Ammann|Robert Ammann]] in the 1970s, or by the cut-and-project method as done independently by F. P. M. Beenker.
They are one of the five sets of tilings discovered by Ammann and described in ''Tilings and Patterns''.<ref name="ReferenceA">{{cite book |first1=B. |last1=Grünbaum |first2=G. C. |last2=Shephard |title=Tilings and Patterns |publisher=Freeman |location=New York |year=1986 |isbn=0-7167-1193-1 }}</ref>

The Ammann–Beenker tilings have many properties similar to the more famous [[Penrose tiling]]s:
*They are nonperiodic, which means that they lack any [[Physics:Translational symmetry|translational symmetry]].
*Their non-periodicity is implied by their hierarchical structure: the tilings are substitution tilings arising from substitution rules for growing larger and larger patches. This substitution structure also implies that:
*Any finite region (patch) in a tiling appears infinitely many times in that tiling and, in fact, in any other tiling. Thus, the infinite tilings all look similar to one another, if one looks only at finite patches.
*They are [[Physics:Quasicrystal|quasicrystal]]line: implemented as a physical structure an Ammann–Beenker tiling will produce Bragg diffraction; the diffractogram reveals both the underlying eightfold symmetry and the long-range order.  This order reflects the fact that the tilings are organized, not through translational symmetry, but rather through a process sometimes called "deflation" or "inflation."
*All of this infinite global structure is forced through local matching rules on a pair of tiles, among the very simplest aperiodic sets of tiles ever found, Ammann's A5 set. <ref name="ReferenceA"/>

Various methods to describe the tilings have been proposed: matching rules, substitutions, cut and project schemes <ref>Beenker FPM, Algebraic theory of non periodic tilings of the plane by two simple building blocks: a square and a rhombus, TH Report 82-WSK-04 (1982), Technische Hogeschool, Eindhoven</ref> and coverings.<ref>F. Gähler, in Proceedings of the 6th International Conference on Quasicrystals, edited by S. Takeuchi and T. Fujiwara, World
Scientific, Singapore, 1998, p. 95.</ref><ref>{{cite journal |last1=Ben-Abraham |first1=S. I. |last2=Gähler |first2=F. |title=Covering cluster description of octagonal MnSiAl quasicrystals |journal=Physical Review B |date=1999 |volume=60 |issue=2 |pages=860–864 |doi=10.1103/PhysRevB.60.860|url=http://www.itap.physik.uni-stuttgart.de/~gaehler/papers/octcluster.pdf|url-status=dead|archive-url=https://web.archive.org/web/20070617213815/http://www.itap.physik.uni-stuttgart.de/~gaehler/papers/octcluster.pdf|archive-date=June 17, 2007}}</ref> In 1987 Wang, Chen and Kuo announced the discovery of a quasicrystal with octagonal symmetry.<ref>{{cite journal |last1=Wang |first1=N. |last2=Chen |first2=H. |last3=Kuo |first3=K. H. |title=Two-dimensional quasicrystal with eightfold rotational symmetry |journal=Physical Review Letters |date=1987 |volume=59 |issue=9 |pages=1010–1013 |doi=10.1103/PhysRevLett.59.1010|url=http://repository.ust.hk/ir/bitstream/1783.1-50899/1/PhysRevLett.59.1010.pdf |pmid=10035936 |bibcode=1987PhRvL..59.1010W }}</ref>

==Description of the tiles==
[[File:AmmanBeenkerMR.png|thumb|Amman's A and B pair of A5 tiles, decorated with matching rules; any tiling by these tilings is necessarily non-periodic, and the tiles are therefore aperiodic.]]

[[File:AmmanSubstRules.png|thumb|Ammann A5 substitution rules, used to prove that the A5 tiles can only form non-periodic hierarchical tilings and thus are aperiodic tiles.]]

[[File:8-8 duoprism ortho-Dih8.png|thumb|This tiling exists in a 2D orthogonal projection of a 4D [[8-8 duoprism|8-8 duoprism]] constructed from 16 [[Octagonal prism|octagonal prism]]s.]]

Amman's A and B tiles in his pair A5 a 45-135-degree [[Rhombus|rhombus]] and a 45-45-90 degree triangle, decorated with matching rules that allowed only certain arrangements in each region, forcing the non-periodic, hierarchical, and quasiperiodic structures of each of the infinite number of individual Ammann–Beenker tilings. 

An alternate set of tiles, also discovered by Ammann, and labelled "Ammann 4" in Grünbaum and Shephard,<ref name="ReferenceA" /> consists of two nonconvex right-angle-edged pieces. One consists of two squares overlapping on a smaller square, while the other consists of a large square attached to a smaller square. The diagrams below show the pieces and a portion of the tilings.

[[Image:ammannbeenkerreplace2.svg]] This is the substitution rule for the alternate tileset.

[[Image:ammannbeenker.PNG]] The relationship between the two tilesets.

In addition to the edge arrows in the usual tileset, the matching rules for both tilesets can be expressed by drawing pieces of large arrows at the vertices, and requiring them to piece together into full arrows.

Katz<ref>{{cite book|author =Katz, A|chapter=Matching rules and quasiperiodicity: the octagonal tilings|title=Beyond quasicrystals|publisher=Springer|year=1995|pages=141–189|isbn=978-3-540-59251-8|doi=10.1007/978-3-662-03130-8_6|editor1-first=F.|editor1-last=Axel|editor2-first=D.|editor2-last=Gratias}}</ref> has studied the additional tilings allowed by dropping the vertex constraints and imposing only the requirement that the edge arrows match. Since this requirement is itself preserved by the substitution rules, any new tiling has an infinite sequence of "enlarged" copies obtained by successive applications of the substitution rule. Each tiling in the sequence is indistinguishable from a true Ammann–Beenker tiling on a successively larger scale. Since some of these tilings are periodic, it follows that no decoration of the tiles which does force aperiodicity can be determined by looking at any finite patch of the tiling. The orientation of the vertex arrows which force aperiodicity, then, can only be deduced from the entire infinite tiling.

The tiling has also an extremal property : among the tilings whose rhombuses ''alternate'' (that is, whenever two rhombuses are adjacent or separated by a row of square, they appear in different orientations), the proportion of squares is found to be minimal in the Ammann–Beenker tilings.<ref>{{cite book|last1=Bédaride|first1= N.|last2= Fernique|first2= T.|chapter= The Ammann-Beenker Tilings Revisited|arxiv= 1208.3545v1|title=Aperiodic Crystals|publisher=Springer|pages=59–65|editor1-last=Schmid |editor1-first=S.|editor2-last= Withers |editor2-first=R.|editor3-last= Lifshitz|editor3-first= R.|doi=10.1007/978-94-007-6431-6_8|isbn=978-94-007-6430-9|date=2013|s2cid= 8483564}}</ref>

==Pell and silver ratio features==
The Ammann–Beenker tilings are closely related to the [[Silver ratio|silver ratio]] (<math>1 + \sqrt 2</math>) and the [[Pell number]]s.

*the [[Philosophy:Substitution (logic)|substitution]] scheme <math> R \to RrR; r \to R </math> introduces the ratio as a scaling factor: its matrix is the Pell substitution matrix, and the series of words produced by the substitution have the property that the number of <math>r</math>s and <math>R</math>s are equal to successive Pell numbers.
*the eigenvalues of the substitution matrix are <math>1+\sqrt 2</math> and <math>1-\sqrt 2</math>.
* In the alternate tileset, the long edges have <math>1+\sqrt 2</math> times longer sides than the short edges.
* One set of [[Biography:John Horton Conway|Conway]] worms, formed by the short and long diagonals of the rhombs, forms the above strings, with r as the short diagonal and R as the long diagonal. Therefore, the Ammann bars also form Pell ordered grids.<ref>{{cite journal|author = Socolar, J E S |title = Simple octagonal and dodecagonal quasicrystals | journal = Physical Review B | year = 1989 | volume = 39 | pages = 10519&ndash;10551|doi = 10.1103/PhysRevB.39.10519|issue = 15|id = MR0998533|bibcode = 1989PhRvB..3910519S | pmid = 9947860}}</ref>

[[Image:ammannbeenkerbars.png]] The Ammann bars for the usual tileset. If the bold outer lines are taken to have length <math>2\sqrt 2</math>, the bars split the edges into segments of length <math> 1+\sqrt 2</math> and <math>\sqrt 2-1</math>. These tiles are called '''Ammann A5 tiles'''.

[[Image:ammannbeenkerbars2.png]] The Ammann bars for the alternate tileset. Note that the bars for the asymmetric tile extend partly outside it. These tiles are called '''Ammann A4 tiles'''.

== Cut-and-project construction ==

The [[Tesseractic honeycomb|tesseractic honeycomb]] has an eightfold rotational symmetry, corresponding to an eightfold rotational symmetry of the [[Tesseract|tesseract]]. A rotation matrix representing this symmetry is:
:<math>A = \begin{bmatrix} 0 & 0 & 0 & -1 \\ 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \end{bmatrix}.</math>
Transforming this matrix to the new coordinates given by 
:<math>B = \begin{bmatrix} -1/2 & 0 & -1/2 & \sqrt 2/2 \\ 1/2 & \sqrt 2/2 & -1/2 & 0 \\ -1/2 & 0 & -1/2 & -\sqrt 2/2 \\ -1/2 & \sqrt 2/2 & 1/2 & 0 \end{bmatrix}</math> will produce:
:<math>B A B^{-1} = \begin{bmatrix} \sqrt 2/2 & \sqrt 2/2 & 0 & 0 \\ -\sqrt 2/2 & \sqrt 2/2 & 0 & 0 \\ 0 & 0 & -\sqrt 2/2 & \sqrt 2/2 \\ 0 & 0 & -\sqrt 2/2 & -\sqrt 2/2 \end{bmatrix}.</math>
This third matrix then corresponds to a rotation both by 45° (in the first two dimensions) and by 135° (in the last two). We can then obtain an Ammann–Beenker tiling by projecting a slab of hypercubes along either the first two or the last two of the new coordinates.

Alternatively, an Ammann–Beenker tiling can be obtained by drawing rhombs and squares around the intersection points of pair of equal-scale square lattices overlaid at a 45-degree angle. These two techniques were developed by Beenker in his paper.

A related high dimensional embedding into the [[Tesseractic honeycomb|tesseractic honeycomb]] is the Klotz construction, as detailed in its application here in the Baake and Joseph paper.<ref>{{cite journal|author1=Baake, M  |author2=Joseph, D |title = Ideal and Defective Vertex Configurations in the Planar Octagonal Quasilattice | journal = Physical Review B | year = 1990 | volume = 42 |issue=13 | pages = 8091–8102 | doi=10.1103/physrevb.42.8091|pmid=9994979 |bibcode=1990PhRvB..42.8091B }}</ref> The octagonal acceptance domain thus can be further dissected into parts, each of which then give rise for exactly one vertex configuration. Moreover, the relative area of either of these regions equates to the frequency of the corresponding vertex configuration within the infinite tiling.

{| class="wikitable" style="background-color: white"
!colspan=2|Region of Acceptance Domain and Corresponding Vertex Configuration
|-
|[[File:Ammann-Beenker tiling, region of acceptance domain and corresponding vertex figure, type A.png|360px|Ammann–Beenker tiling, region of acceptance domain and corresponding vertex figure, type A]]  
|[[File:Ammann-Beenker tiling, region of acceptance domain and corresponding vertex figure, type B.png|360px|Ammann–Beenker tiling, region of acceptance domain and corresponding vertex figure, type B]]  
|-
|[[File:Ammann-Beenker tiling, region of acceptance domain and corresponding vertex figure, type C.png|360px|Ammann–Beenker tiling, region of acceptance domain and corresponding vertex figure, type C]]  
|[[File:Ammann-Beenker tiling, region of acceptance domain and corresponding vertex figure, type D.png|360px|Ammann–Beenker tiling, region of acceptance domain and corresponding vertex figure, type D]]  
|-
|[[File:Ammann-Beenker tiling, region of acceptance domain and corresponding vertex figure, type E.png|360px|Ammann–Beenker tiling, region of acceptance domain and corresponding vertex figure, type E]]  
|[[File:Ammann-Beenker tiling, region of acceptance domain and corresponding vertex figure, type F.png|360px|Ammann–Beenker tiling, region of acceptance domain and corresponding vertex figure, type F]]
|}

== References and notes ==
<references/>

== External links ==
* [http://tilings.math.uni-bielefeld.de/substitution/ammann-beenker/ Tilings Encyclopedia entry].
* [http://www.quadibloc.com/math/oct01.htm Ammann–Beenker tiles on John Savard's website].

{{Tessellation}}

{{DEFAULTSORT:Ammann-Beenker Tiling}}
[[Category:Aperiodic tilings]]

{{Sourceattribution|Ammann–Beenker tiling}}