Next Article in Journal
The Principle of Differential Subordination and Its Application to Analytic and p-Valent Functions Defined by a Generalized Fractional Differintegral Operator
Previous Article in Journal
Visual Meterstick: Preceding Vehicle Ranging Using Monocular Vision Based on the Fitting Method
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Prototiles and Tilings from Voronoi and Delone Cells of the Root Lattice An

1
Department of Physics, College of Science, Sultan Qaboos University, P.O. Box 36, Al-Khoud, 123 Muscat, Oman
2
Department of Physics, Cukurova University, 1380 Adana, Turkey
3
Department of Physics, Gaziantep University, 27310 Gaziantep, Turkey
*
Author to whom correspondence should be addressed.
Retired.
Symmetry 2019, 11(9), 1082; https://doi.org/10.3390/sym11091082
Submission received: 27 July 2019 / Revised: 22 August 2019 / Accepted: 23 August 2019 / Published: 28 August 2019
(This article belongs to the Special Issue Mathematical Crystallography 2019)

Abstract

:
The orthogonal projections of the Voronoi and Delone cells of root lattice A n onto the Coxeter plane display various rhombic and triangular prototiles including thick and thin rhombi of Penrose, Amman–Beenker tiles, Robinson triangles, and Danzer triangles to name a few. We point out that the symmetries representing the dihedral subgroup of order 2 h involving the Coxeter element of order h = n + 1 of the Coxeter–Weyl group a n play a crucial role for h -fold symmetric tilings of the Coxeter plane. After setting the general scheme we give samples of patches with 4-, 5-, 6-, 7-, 8-, and 12-fold symmetries. The face centered cubic (f.c.c.) lattice described by the root lattice A 3 , whose Wigner–Seitz cell is the rhombic dodecahedron projects, as expected, onto a square lattice with an h = 4 -fold symmetry.

Graphical Abstract

1. Introduction

Discovery of a fivefold symmetric material [1] has led to growing interest in quasicrystallography. For a review, see for instance [2,3,4]. Aperiodic tilings of the plane with dihedral point symmetries or icosahedral symmetry in three dimensions have been the central research area of mathematicians and mathematical physicists to explain the quasicrystallography. For an excellent review, see for instance [5,6].There have been three major approaches for aperiodic tilings. The first class, perhaps, is the intuitive approach, like Penrose tilings [7,8], which also exhibits the inflation–deflation technique developed later. The second approach is the projection technique of higher dimensional lattices onto lower dimensions, pioneered by de Bruijn [9] by projecting the five-dimensional cubic lattice onto a plane orthogonal to one of the space diagonals of the cube. The cut and project technique works as follows. The lattice is partitioned into two complementing subspaces called E and E . Imagine a cylinder based on the component of the Voronoi cell in the subspace E . Project the lattice points lying in the cylinder into the space E . Several authors [10,11,12] have studied similar techniques. In particular, Baake et al. [11] exemplified the projection of the A 4 lattice. The group theoretical treatments of the projection of n-dimensional cubic lattices have been worked out by the references [13,14] and a general projection technique on the basis of dihedral subgroup of the root lattices has been proposed by Boyle and Steinhardt [15]. In a recent article [16] we pointed out that the two-dimensional facets of the A 4 Voronoi cell projects onto thick and thin rhombuses of the Penrose tilings. The cut and project technique has been also worked out by Masáková, Z. et al. [17] by implementing the substitution method. The third method is the model set technique initiated by Meyer [18], followed by Lagarias [19], and developed by Moody [20]. For a detailed treatment, see the reference [5].
The Voronoi [21,22] and Delaunay [23,24,25] cells of the root and weight lattices have been extensively studied in the inspiring book by Conway and Sloane [26] and especially in the reference [27]. The reference [28] contains detailed discussions and information about the Delone and Voronoi polytopes of the root lattices. Higher dimensional lattices have been worked out in [29] and the lattices of the root systems whose point groups are the Coxeter–Weyl groups have been studied extensively in the reference [30]. Numbers of facets of the Voronoi and Delone cells of the root lattice have been also determined by a technique of decorated Coxeter–Dynkin diagrams [31]. In a recent article [32], we have worked out the detailed structures of the facets of the Voronoi and the Delone cells of the root and weight lattices of the A n   and   D n series. A different application of the Voronoi tessellations can be found in the reference [33]. Basic information about the regular polytopes as the orbits of the Coxeter–Weyl groups have been worked out in the references [34,35], the root lattice A n are obtained from the Voronoi polytope of the cubic lattice B n + 1 by projection into n-dimensional Euclidean space along one of its space diagonals. It turns out that the facets of the Voronoi polytope of A n are rhombohedra in various dimensions such as rhombi in 2D, rhombohedra in 3D, and the generalizations to higher dimensions. Projections of the 2D facets of the Voronoi polytope of A n lead to (n + 1)-symmetric tilings of the Coxeter plane by a number of rhombi with different interior angles.
Similarly, we show that the 2D facets of the Delone cells of a given lattice A n are equilateral triangles; when projected into the Coxeter plane they lead to various triangles, which tile the plane in an aperiodic manner. They include, among many new prototiles and patches, some well-known prototiles such as rhombus tilings by Penrose and Amman–Beenker, and triangle tilings by Robinson and Danzer. The paper displays the lists of the rhombic and triangular prototiles in Table 1 and Table 2, originating from the projections of the Voronoi and Delone cells of the lattice A n onto the Coxeter plane, respectively, and illustrates some patches of the aperiodic tilings. Most of the prototiles and the tilings are displayed for the first time in what follows.
We organize the paper as follows. In Section 2 we introduce the basics of the root lattice A n via its Coxeter–Dynkin diagram, its Coxeter–Weyl group, and projection of its Voronoi cell from that of B n + 1 . The projections of the two-dimensional facets of the Voronoi and Delone cells onto the Coxeter plane are studied in Section 3. Section 4 deals with the examples of periodic and aperiodic patches of tilings. Section 5 includes the concluding remarks. In Appendix A we prove that the facets of the Voronoi cell of the 5D cubic lattice projects to those of the Voronoi cell of A 4 .

2. The Root Lattice A n and Its Coxeter–Weyl Group

We follow the notations of the reference [27], which can be compared with the standard notations [36], and introduce some new ones when they are needed. The Coxeter–Dynkin diagram of a n , describing the Coxeter–Weyl group, and its extended diagram, representing the affine Coxeter–Weyl group, are shown in Figure 1.
The nodes represent the lattice-generating vectors (root vectors in Lie algebra terminology) α i   ( i = 1 ,   2 , , n ) forming the Cartan matrix (Gram matrix of the lattice) by the relation
C i j = 2 ( α i ,   α j ) ( α j ,   α j ) .
The fundamental weight vectors ω i , which generate the dual lattice A n * , satisfying the relation ( α i , ω j ) = δ i j , are given by the relations,
ω i = j ( C 1 ) i j α j ,   α i = j C i j ω j .
The lattice A n is defined as the set of vectors p = i = 1 n b i α i ,   b i and the weight lattice A n * consists of the vectors q = i = 1 n c i ω i ,   c i . Note that the root lattice is a sublattice of the weight lattice, A n A n * . Let r i ,   ( i = 1 ,   2 ,   , n ) denotes the reflection generator with respect to the hyperplane orthogonal to the simple root α i , which operates on an arbitrary vector λ as
r i λ = λ 2 ( λ , α i ) ( α i , α i ) α i .
The reflection generators generate the Coxeter–Weyl group < r 1 ,   r 2 , , r n | ( r i r j ) m i j = 1 > . Adding another generator, usually denoted by r 0 , describing the reflection with respect to the hyperplane bisecting the highest weight vector ( ω 1 + ω n ) , we obtain the Affine Coxeter group, the infinite discrete group denoted by < r 0 , r 1 , r 2 , , r n > . The relations between the Voronoi and the Delone cells of the lattices A n and A n * have been studied by L. Michel in [37,38]. An arbitrary group element of the Coxeter–Weyl group will be denoted by W ( a n ) and the orbit of an arbitrary vector q will be defined as W ( a n ) q = : ( i = 1 n c i ω i ) a n ,   c i . With this notation, the root polytope will be denoted either by ( 10 01 ) a n or simply by   ( ω 1 + ω n ) a n . The dual polytope of the root polytope [32] is the Voronoi cell V ( 0 ) , which is the union of the orbits of the fundamental polytopes ( ω i ) a n , ( i = 1 ,   2 , , n ) ,
( ω 1 ) a n ( ω 2 ) a n ( ω n ) a n .
Each fundamental polytope ( ω i ) a n of A n is a copy of one of the Delone polytopes. Delone polytopes tile the root lattice in such a way that each polytope centralizes one vertex of the Voronoi cell. For example, the set of vertices ( ω 1 ) a n + ( ω n ) a n represent the 2 ( n + 1 ) simplexes centered around the vertices ( ω 1 ) a n and ( ω n ) a n of the Voronoi cell V ( 0 ) . Similarly, ( ω 2 ) a n + ( ω n 1 ) a n constitutes the vertices of the ambo-simplexes (see the reference [27] for the definition) centralizing the vertices ( ω 2 ) a n and the ( ω n 1 ) a n of the Voronoi cell V ( 0 ) and so on.
It is a general practice to work with the set of orthonormal vectors l i ,   ( i = 1 ,   2 , , n + 1 ) ,   ( l i , l j ) = δ i j to define the root and weight vectors. The root vectors can be defined as α i =   l i   l i + 1 , ( i = 1 ,   2 , , n ) , which are permuted by the generators as r i :   l i   l i + 1 , implying that the Coxeter–Weyl group S n + 1 is isomorphic to the symmetric group of order ( n + 1 ) ! , permuting the n + 1 vectors. The fundamental weights then are given as
ω 1 = 1 n + 1 ( n   l 1 l 2   l 3 l n + 1 ) ; ω 2 = 1 n + 1 ( ( n 1 )   l 1 + ( n 1 )   l 2 2   l 3 2 l n + 1 ) ; ω n = 1 n + 1 (   l 1 +   l 2 + + l n n   l n + 1 ) .
It is even more convenient to introduce the non-orthogonal set of vectors
k i = : l 0 n + 1 + l i ,         l 0 = :   l 1 +   l 2 + +   l n + 1 ,                   k 1 + k 2 + + k n + 1 = 0 .
The vectors k i are more useful since they represent the vertices of the n-simplex ( ω 1 ) a n and the edges of the Voronoi cell are parallel to the vectors k i . In terms of the fundamental weights they are given by
k 1 = ω 1 ,   k 2 = ω 2 ω 1 ,   k 3 = ω 3 ω 2 , , k n = ω n ω n 1 ,     k n + 1 = ω n .
Their magnitudes are all the same ( k i , k i ) = n n + 1 and the angle between any pair is θ = cos 1 ( 1 n ) . They are orthogonal to the vector l 0 , ( k i ,   l 0 ) = 0 , so that they define the n dimensional   hyperplane orthogonal to the vector l 0 . Following (5) and (6), vertices of the orbits of the fundamental weights
( ω i ) a n = ( k 1 + k 2 + + k i ) a n ,   ( i = 1 ,   2 , , n )
are obtained as the permutations of the vectors in (8) and each orbit of the fundamental weight represents a copy of the Delone polytope. It is clear that the generators of the Coxeter–Weyl group permute the vectors k i as r i :   k i k i + 1 . The number of vertices of the Voronoi cell of A n is then given by
i = 1 n ( n + 1 i ) = 2 n + 1 2 .
The Voronoi cell V ( 0 ) of A n can also be obtained as the projection along the space diagonal vector ± l 0 of the Voronoi cell of the cubic lattice in n + 1 dimensions with vertices 1 2 ( ±   l 1 ±   l 2 ± ±   l n + 1 ) .
Substituting l i = :   l 0 n + 1 +   k i , it is straightforward to show that the vertices of the Voronoi cell of B n + 1 project into the vertices of the Voronoi cell of A n , represented by the union of the fundamental polytopes in n-dimensional space given in (4).
This follows from the projections
± 1 2 l 0 0 , ± 1 2 ( l 1 +   l 2 + +   l n + 1 )   k 1 = ω 1 , ± 1 2 ( l 1   l 2 + +   l n + 1 )   ( k 1 +   k 2 ) = ω 2 ,
± 1 2 ( l 1   l 2   l n +   l n + 1 )   ( k 1 +   k 2 + +   k n ) = ±   ( k n + 1 ) = ω n .
Let us consider the root system l i l j = k i k j ; the hyperplanes bisecting the segment between the origin and the root system are represented by the vectors 1 2 ( k i k j ) . The intersections of these hyperplanes are the vertices of the Voronoi cell V ( 0 ) of the lattice A n , which are the union of the orbits of the highest weight vectors given in (4). Actually, the vectors 1 2 ( k i k j ) are the centers of the n 1   dimensional rhombohedral facets of the Voronoi cell V ( 0 ) . The 2 D facets (squares), 3 D (cubes), and higher dimensional cubic facets of the Voronoi cell of B n + 1 project into the rhombi, rhombohedra, and higher dimensional rhombohedra representing the facets of the Voronoi cell of the V ( 0 ) of A n . Appendix A discusses further aspects of this projection for two special cases B 3 A 2   and   B 5 A 4 .
Two-dimensional faces of the Delone polytopes are equilateral triangles. To give an example, let us take the vertex ω 1 = k 1 . The set of vertices ( ω 1 ) a n = { k i } ,   i = 1 ,   2 , , n + 1 constitute the vertices of the n-simplex. One can generate an equilateral triangle by applying the subgroup < r 1   ,   r 2   > on ω 1 , where the edges are given by the root vectors k 1   k 2 ,   k 2   k 3 ,   k 3   k 1 . Other faces and the corresponding edges are generated by applying the group elements W ( a n ) , leading to the set of edges k i k j , a vector in the root system. The argument is valid for any other Delone polytope ( ω i ) a n . There is always a group element relating the vector k i to any other vertex k j . To give a further example, let us consider the lattice A 3 . The Delone polytopes ( ω 1 ) a 3 =   ( ω 3 ) a 3 represent two tetrahedra where the vertices belong to the set { k i } or { k i }. The six edges of the four triangles of each tetrahedra are represented by the vectors k i k j ,   i j = 1 , 2 , 3 , 4 belonging to the root system. Similarly, the orbit ( ω 2 ) a 3 is an octahedron with vertices k i + k j ,   i j = 1 , 2 , 3 , 4 , where the edges of the eight triangular faces are represented by the vectors k i k j ,   i j , the elements of the root system. For general proof, one can take the vertex in (8) and apply the Coxeter Weyl group a n to generate the nearest vertices forming triangles associated with the vertex (8). These arguments imply that the set of edges of an arbitrary two-dimensional face of a Delone polytope can be represented by the root vectors k i   k j ,   k j   k l ,   k l   k i , i j l = 1 ,   2 , , n + 1 .

3. Projections of the Faces of the Voronoi and Delone Cells

In this section we define the Coxeter plane and determine the dihedral subgroup of the Coxeter–Weyl group acting in this plane. The Coxeter plane is generally defined by the eigenvector v = ( ζ , ζ 2 , , ζ n , 1 ) , corresponding to the eigenvalue ζ = e i 2 π h of the Coxeter element R = r 1   r 2   r 3 r n of the group a n ,   which permutes the vectors k 1 k 2 k n + 1 k 1 in the cyclic order. Here, h = n + 1 is the Coxeter number. Going to the real space, the Coxeter element acts on the plane E spanned by the unit vectors u 1 = 1 2 h ( v + v ¯ )   and   u 2 = i 2 h ( v v ¯ ) . The components of the vectors k j in the Coxeter plane are then represented by the complex number ( k j ) = c e i j 2 π h , where j = 1 , 2 , , n + 1 , and c = 2 h .
In references [14,39] we have introduced an equivalent definition of the Coxeter plane through the eigenvalues and eigenvectors of the Cartan matrix of the root system of the lattice A n . The eigenvalues and eigenvectors of the Cartan matrix of the group a n can be written as
λ i = 2 ( 1 + cos   m i π h ) ;     X j i = ( 1 ) j + 1   sin j   m i π h ,   i , j = 1 ,   2 , , n
where m i = 1 ,   2 , , n are the Coxeter exponents. We define the orthonormal set of vectors subject to an arbitrary orthogonal transformation by
x ^ i = 1 λ i j = 1 n α j X j i ,   ( x ^ i , x ^ j ) = δ i j ,   i = 1 ,   2 , , n .
An equivalent definition of the Coxeter plane E is then given by the pair of vectors x ^ 1 and   x ^ n , and the rest of the vectors in (12) determine the orthogonal space E . With a suitable choice of the simple roots α j , the unit vectors x ^ 1 and   x ^ n can be associated with the unit vectors u 1 and u 2 , respectively.
The Coxeter element R = r 1   r 2   r 3 r n can be written as the product of two reflection generators < R 1 ,   R 2 | ( R 1 R 2 ) h = 1 > defining a dihedral subgroup of order 2 h of the group a n [36,40]. Therefore, the residual symmetry after projection is the dihedral group acting on the Coxeter plane.
We will drop the overall factor c as it has no significant meaning in our further discussions. It is then clear that all possible scalar products ( ( k j ) , ( k l ) ) = cos ( ( j l ) 2 π h ) will determine the nature of the projected rhombi in the Coxeter plane E . The tiles projected from the Delone cells will be triangles whose edge lengths are the magnitudes of the vectors ( k i k j ) , ( k j k l ) ,   ( k l k i ) and, after deleting the common factor c , they will read respectively
2 | sin ( ( i j ) π h ) | , 2 | sin ( ( j l ) π h ) | ,   2 | sin ( ( l i ) π h ) | ,
Exhausting all possible projections. For each set of integral numbers i j l = 1 , 2 , , n + 1 we may assume without loss of generality that the numbers can be ordered as i > j > l and the corresponding angles of the edges in (13) can be represented as ( i j ) π h , ( j l ) π h ,   π ( i l ) π h . Defining these angles by ( n 1 π h , n 2 π h ,   n 3 π h ) , n i , we obtain n 1 + n 2 + n 3 = h . Some edges from the Voronoi cell or Delone cell overlap after projection, forming a degenerate rhombi or triangle, respectively, which has no effect on tilings of the Coxeter plane.
In what follows we will illustrate these results with some examples. The rhombic and triangular prototiles are classified in Table 1 and Table 2, respectively.

4. Examples of Prototiles and Patches of Tilings

In what follows, we discuss a few h-fold symmetric tilings with rhombuses and triangles.

4.1. Projection of the Voronoi Cell of A 3

The Voronoi cell of the root lattice A 3 , commonly known as the f.c.c. lattice, is the rhombic dodecahedron (the Wigner–Seitz cell), which tessellates three-dimensional Euclidean space. The vertices of the rhombic dodecahedron can be represented as the union of two tetrahedra and one octahedron:
( ω 1 ) a 3 ( ω 2 ) a 3 ( ω 3 ) a 3 = { ( ± k 1 , ± k 2 , ± k 3 , ± k 4 ) ( k 1 + k 2 ,   k 2 + k 3 ,   k 3 + k 4 ,   k 4 + k 1 ,   k 1 + k 3 ,   k 2 + k 4 ) } .
A typical rhombic face of the rhombic dodecahedron is determined by the set of four vertices k 1 = ω 1 , k 1 + k 2 = ω 2 ,   k 1 + k 3 = r 2 ω 2 ,   ω 3 =   k 1 + k 2 + k 3 = k 4 .
The first four vectors in (14), ( ω 1 ) a 3 = { k 1 , k 2 , k 3 , k 4 } represent the vertices of the first tetrahedron and the permutation group S 4 W ( a 3 ) is isomorphic to the tetrahedral group of order 24. The set of vectors ( k 1 , k 2 , k 3 , k 4 ) represent the second tetrahedron ( ω 3 ) a 3 . Actually, the Dynkin diagram symmetry ( k 1 k 4 ) extends the tetrahedral group to the octahedral group, implying that two tetrahedra form a cube. Since the Voronoi cell is dual to the root polytope, it is face transitive and invariant under the octahedral group of order 48. The last six vectors in (14) represent the vertices of an octahedron, which split as 4 + 2 under the dihedral subgroup D 4 of order 8. The last two vectors k 1 + k 3   and   k 2 + k 4 = ( k 1 + k 3 ) form a doublet under the dihedral subgroup and they are perpendicular to the Coxeter plane E , determined by the pair of vectors ( x ^ 1 ,   x ^ 3 ) . The projected components of the vectors k i in the plane E are given by
( k 1 ) = ( 0 ,   1 ) ,   ( k 2 ) = ( 1 ,   0 ) ,   ( k 3 ) = ( 0 , 1 ) ,   ( k 4 ) = ( 1 ,   0 ) .
Therefore, projection of the rhombus in Figure 2 is a square of unit length, determined by the vectors ( k 2 ) = ( 1 ,   0 )   and   ( k 3 ) = ( 0 , 1 ) . Projection of the Voronoi cell onto the plane E is shown in Figure 3, which is invariant under the dihedral group D 4 . We can pick up any two vectors in (15) say ( k 1 ) and ( k 2 ) , then the lattice in E is a square lattice with a general vector q = m 1 ( k 1 ) + m 2 ( k 2 ) with m 1 , m 2 .

4.2. Projection of the Delone Cells of the Root Lattice A 3

The lattice vector of the lattice A 3 can be written as p = i = 1 3 b i α i = i = 1 3 n i k i   with   b i , n i such that i = 1 3 n i = even. This shows that the root lattice is a sublattice of the weight lattice. Equilateral triangles of the Delone cells project as right triangles, any two constitute a square of length 2 . One can check that the projected Delone cells form a square lattice with a general vector p = m 1 ( k 1 ) + m 2 ( k 2 ) , with m 1 + m 2 = even integer as shown in Figure 4.
It is clear that it is a sublattice of the square lattice obtained from the weight lattice and it is rotated by 45° with respect to the projected square lattice of the Voronoi cell. With this example, we have obtained a sublattice whose unit cell is invariant under the dihedral group D 4 . This is expected because the dihedral group is a crystallographic group. Two overlapping square lattices have been depicted in Figure 5.

4.3. Projection of the Voronoi Cell of the Root Lattice A 4

We would like to discuss this projection leading to the Penrose tiling, which can be obtained from the cut and project technique or by the substitution technique directly. The Voronoi cell of the root lattice tiles the four-dimensional Euclidean reciprocal space, which is the weight lattice A 4 * represented by a general vector q = i = 1 4 c i ω i = i = 1 5 m i k i = i = 1 4 n i k i with   c i , m i , n i . Union of the Delone polytopes
( ω 1 ) a 4 ( ω 2 ) a 4 ( ω 3 ) a 4 ( ω 4 ) a 4
constitutes the Voronoi cell V ( 0 ) with 30 = 5 + 10 + 10 + 5 vertices. It is a polytope comprised of rhombohedral facets. A typical three-facet of the Voronoi cell is a rhombohedron with six rhombic faces [32], as depicted in Figure 6. Its vertices are given by
( k 1 ,   k 1 + k 2 ,   k 1 + k 3 ,   k 1 + k 4 , k 5 , (   k 2 +   k 5 ) , (   k 3 +   k 5 ) , (   k 4 +   k 5 ) )
and its center is at 1 2 ( k 1 k 5 ) .
The Voronoi cell is formed by 20 such rhombohedra, whose rhombic two faces are generated by the pairs of vectors satisfying the scalar product ( k i ,   k j ) = 1 5 ,   i j = 1 , , 5 , and ( k i ,   k i ) = 4 5 . It is perhaps useful to discuss some of the technicalities of the projection with this example. The components of the vectors in the plane E ( k j ) = ( l j ) ζ j = e i j π 5 ,   j = 1 , , 5 satisfying i = 1 5 ζ j = 0 form a pentagon, while the vectors ( k j ) form a pentagram since the angle between two successive vectors ( k j ) is 4 π 5 .
A matrix representation of the Coxeter element R in four-dimensional space is given by
R = ( cos 2 π 5 sin 2 π 5 sin 2 π 5 cos 2 π 5 0 0 0 0 0 0 0 0 cos 4 π 5 sin 4 π 5 sin 4 π 5 cos 4 π 5 )
A general vector of the weight lattice A 4 * projects as q = i = 1 5 n i ( k i ) . Note that the rhombic 2-faces of the Voronoi cell project onto the plane E as two Penrose rhombuses, thick and thin, for the acute angles between any pair of the vectors ( k j ) e i j 2 π 5 are either 72° or 36°.
De Bruijn [9] proved that the projection of the five-dimensional cubic lattice onto E leads to the Penrose rhombus tiling of the plane with thick and thin rhombuses. The same technique is extended to an arbitrary cubic lattice [13]. It is not a surprise that we obtain the same tiling from the A 4 lattice because Voronoi cell of A 4 is obtained as the projection of the Voronoi cell of the cubic lattice B 5 [14] (see also Appendix A for further details). The Coxeter–Weyl group W ( b 5 ) is of order 2 5 × 5 ! and its Coxeter number is h = 10 . Normally, one expects a 10-fold symmetric tiling from the projection of the five-dimensional cubic lattice. The Voronoi cell of B 5 has 32 vertices 1 2 ( ±   l 1 ±   l 2 ±   l 3 ±   l 4 ±   l 5 ) , which decompose under the Coxeter–Weyl group W ( a 4 ) as
32 = 1 + 1 + 5 + 10 + 10 + 5 .
The first two terms in (18) are represented by the vector s   ± 1 2   l 0 0 in four-space and the remaining vertices of the five-dimensional cube decompose as 5 + 10 + 10 + 5 , representing the vertices of the Voronoi cell ( ω 1 ) a 4 ( ω 2 ) a 4 ( ω 3 ) a 4 ( ω 4 ) a 4 . In terms of the vectors l i , the   vectors   k i can also be written as (compare with (6))
  k 1 3 10   l 0 = 1 2 (   l 1   l 2   l 3   l 4   l 5 ) ,   k 2 3 10   l 0 = 1 2 (   l 1 +   l 2   l 3   l 4   l 5 ) ,   k 3 3 10   l 0 = 1 2 ( l 1   l 2 +   l 3   l 4   l 5 ) ,   k 4 3 10   l 0 = 1 2 (   l 1   l 2   l 3 +   l 4   l 5 ) ,   k 5 3 10   l 0 = 1 2 ( l 1   l 2   l 3   l 4 +   l 5 ) ,
This implies that the set of vertices of the five-dimensional cube on the right of Equation (19) represent a four-simplex; any three k i represent the vertices of an equilateral triangle, any four constitute a tetrahedron. The four-simplex is one of the Delone polytopes. Similarly, pairwise and triple combinations of the vectors k i constitute the Delone cells composed of octahedra and tetrahedra as three-dimensional facets. De Bruijn proved that the integers n i in the expression q = i = 1 5 n i ( k i ) take values i = 1 5 n i { 1 ,   2 ,   3 ,   4 } . The vectors in the direction ( ± k i ) count positive and negative depending on its sign. A patch of Penrose tiling with the numbering of vertices is shown in Figure 7 follow from the cut and project technique. Note that the projection of the Voronoi cell onto E form four intersecting pentagons defined by de Bruijn and denoted in our notation by
V 1 = ( ( ω 1 ) a 4 ) = V 4 =   ( ( ω 4 ) a 4 ) ,     V 2 = ( ( ω 2 ) a 4 ) = V 3 = ( ( ω 3 ) a 4 )

4.4. Projection of the Root Lattice A 4 by Delone Cells

The Delone polytopes ( ω 1 ) a 4 = ( ω 4 ) a 4 ,   ( ω 2 ) a 4 = ( ω 3 ) a 4 , tile the root lattice such that the centers of the Delone cells correspond to the vertices of the Voronoi cells. Take, for example, the four-simplex ( ω 1 ) a 4 = { k 1 ,   k 2 ,   k 3 ,   k 4 ,   k 5 } and ( ω 4 ) a 4 = {   k 1 ,   k 2 ,   k 3 ,   k 4 ,   k 5 } . Adding vertices of these two simplexes, one obtains 10 simplexes of Delone cells centered around 10 vertices of the Voronoi cell V ( 0 ) . If we add the vector k 1 to the vertices of the Delone cell ( ω 4 ) a 4 , we obtain the vertices of the Delone cell { 0 ,   k 1 k 2 ,   k 1 k 3 ,   k 1   k 4 ,   k 1 k 5 } whose center is at the vertex k 1 of the Voronoi cell V ( 0 ) . When the vertices of the polytope ( ω 2 ) a 4 = { k i +   k j ,   i j = 1 ,   2 , ,   5 } are added to the vertices of ( ω 3 ) a 4 , we obtain 20 Delone cells centered around the vertices of ( ω 2 ) a 4 and ( ω 3 ) a 4 . For example when, we add the vector k 1 +   k 2 to the vertices of ( ω 3 ) a 4 we obtain 10 vertices of the Delone cell centered around the vertex k 1 +   k 2 of the Voronoi cell V ( 0 ) as
{ 0 ,   k 1 k 3 ,   k 1   k 3 +   k 2 k 4 ,   k 1 k 4 + k 2 k 5 ,   k 2 k 5 ,   k 2 k 3 ,   k 1 k 4 ,   k 1   k 3 +   k 2 k 5 ,   k 2 k 4 ,   k 1 k 5   } .
Note that the vertices of the Delone cells are either the root vectors or their linear combinations, as expected.
Using (13) for n = 4   and   j k l = 1 ,   2 , , 5 , we obtain two isosceles Robinson triangles with edges ( 2 sin π 5 ,   2 sin π 5 ,   2 sin 2 π 5 ) and ( 2 sin 2 π 5 ,   2 sin 2 π 5 ,   2 sin 4 π 5 ) . The darts and kites obtained from the Robinson triangles are shown in Figure 8.
A patch of Penrose tiling by darts and kites is shown Figure 9.
There are two inflation techniques using the Robinson triangles for aperiodic tiling. One version is the Penrose–Robinson tiling (PRT) and the other is the Tubingen triangle tiling (TTT). For further discussions see reference [5].
In Appendix A, we have displayed the detailed relations between the Voronoi cells of A 4 and a five-dimensional cubic lattice.

4.5. Projection of the Voronoi Cell of the Root Lattice A 5

Here, the Coxeter number is h = 6 and the dihedral subgroup D 6 of the Coxeter–Weyl group W ( a 5 ) is of order 12. The Delone polytopes are three different orbits ( ω 1 ) a 5 = ( ω 5 ) a 5 , ( ω 2 ) a 5 = ( ω 4 ) a 5 , ( ω 3 ) a 5 . The Voronoi cell V ( 0 ) of the lattice A 5 is a polytope in five-dimensional space and is the disjoint union of the above Delone polytopes. Its four-dimensional facets are the four-dimensional rhombohedra, implying that the two-dimensional facets are the rhombuses generated by the pair of vectors ( k i ,   k j ) = 1 6 ,   i j = 1 ,   2 , , 6 . In the Coxeter plane the scalar product would read
( ( k i ) , ( k j ) ) = cos ( 2 π ( j i ) 6 ) .
All possible projected rhombuses turn out to be the one with interior angles (60°, 120°). The tiling with this rhombus is known in the literature as the rhombille tiling, which is used for the study of spin structures in diatomic molecules based on the Ising models. The rhombille tiling is depicted in Figure 10.

4.6. Projection of the Delone Cells of the Root Lattice A 5

The prototiles obtained from the two-dimensional Delone faces are of three types of triangles with angles ( π 3 ,   π 3 , π 3 ) , ( π 6 ,   π 6 , 2 π 3 ) , ( π 6 ,   π 3 , π 2 ) , represented by dark blue, yellow, and green triangles, respectively. Some patches of six-fold symmetric tilings by three triangles are shown in Figure 11, which follow from the substitution technique.

4.7. Prototiles from the Projection of the Voronoi Cell V ( 0 ) of the Root Lattice A 6

The rhombic prototiles from the Voronoi cell V ( 0 ) can be obtained from the formula ( ( k i ) , ( k j ) ) = cos ( 2 π ( j i ) 7 ) , i j = 1 ,   2 , , 7 . This would lead to three types of rhombi with angles ( π 7 ,   6 π 7 ) ,   ( 2 π 7 ,   5 π 7 ) ,   ( 3 π 7 ,   4 π 7 ) . There are numerous discussions on the seven-fold symmetric rhombic tiling with three rhombi. One particular construction is based on the cut and projection technique from a seven-dimensional cubic lattice [13]. See also the website of Professor Gerard t’ Hooft. A patch obtained by substitution technique is illustrated in Figure 12.

4.8. Projection of the Delone Cells of the Root Lattice A 6

The prototiles obtained from two-dimensional Delone faces are of four types of triangles with angles ( π 7 , π 7 , 5 π 7 ) ,   ( 2 π 7 , 2 π 7 , 3 π 7 ) ,   ( 3 π 7 , 3 π 7 , π 7 ) ,   and   ( π 7 , 2 π 7 , 4 π 7 ) . The substitution tilings by the last three triangles are widely known as Danzer tiling. The number of prototiles obtained by projection here is the same as the tiles obtained from the tangents of the deltoid [41]. They have illustrated the patches involving only three of the triangles. In Figure 13, we illustrate a patch of sevenfold symmetric tiling comprising of all four triangles.

4.9. Prototiles from the Projection of the Voronoi CELL V ( 0 ) of the Root Lattice A 7

The famous eightfold symmetric rhombic tiling by two prototiles is known as Amman–Beenker tiling [6]. Interestingly, enough we obtain the same prototiles from the projection of the Voronoi cell V ( 0 ) of the root lattice A 7 . The point group of the aperiodic tiling is the dihedral group D 8 of order 16 and the prototiles are generated by the pair of vectors satisfying the scalar product ( ( k i ) , ( k j ) ) = cos ( 2 π ( j i ) 8 ) , i j = 1 ,   2 , , 8 . We obtained two Amman–Beenker prototiles, one rhombus with angles ( π 4 ,   3 π 4 ) and a square ( π 2 ,   π 2 ) . A patch of aperiodic tiling is illustrated in Figure 14.

4.10. Projection of the Delone Cells of the Root Lattice A 7

Substituting n = 7 in (13), we obtain five different triangular prototiles from the projection of the Delone cells of the root lattice A 7 . Three of the prototiles are the isosceles triangles with angles ( π 8 , π 8 , 6 π 8 ) , ( 2 π 8 , 2 π 8 , 4 π 8 ) , ( 3 π 8 , 3 π 8 , 2 π 8 ) and the other two are the scalene triangles with angles ( π 8 , 2 π 8 , 5 π 8 ) , ( π 8 , 3 π 8 , 4 π 8 ) . So far as we know, no one has studied the tilings of the plane with these prototiles. Two patches of eightfold symmetric tilings with these prototiles are depicted in Figure 15.

4.11. Prototiles from Projection of the Voronoi Cell of the Root Lattice A 11

The 12-fold symmetric rhombic tiling has 3 prototiles of rhombuses with interior angles ( π 6 ,   5 π 6 ) , ( π 3 ,   2 π 3 ) , and ( π 2 ,   π 2 ) . A patch of 12-fold symmetric tiling obtained by substitution technique is depicted in Figure 16.

4.12. Prototiles from the Projection of the Delone Cells of the Root Lattice A 11

The number of prototiles in this case is 12. As the rank of the Coxeter–Weyl group is increasing, the number of the triangular prototiles are also increasing. The 12 triangles are given as the set of integers ( n 1 , n 2 , n 3 )   defined in Section 3 as
( 1 ,   1 ,   10 ) ,   ( 1 ,   2 ,   9 ) ,   ( 1 ,   3 ,   8 ) ,   ( 1 ,   4 ,   7 ) ,   ( 1 ,   5 ,   6 ) ,   ( 2 ,   2 ,   8 ) ,   ( 2 ,   3 ,   7 ) ,   ( 2 ,   4 ,   6 ) ,   ( 2 ,   5 ,   5 ) , ( 3 ,   3 ,   6 ) ,   ( 3 ,   4 ,   7 ) ,   ( 4 ,   4 ,   4 ) .
A patch of 12-fold symmetric tiling is depicted in Figure 17.

5. Concluding Remarks

Rhombic prototiles usually arise from projection of the higher dimensional cubic lattices B n + 1 , because two-dimensional square faces project onto rhombuses and represent the local 2 ( n + 1 ) -fold symmetric rhombic aperiodic tilings of the Coxeter plane. Depending on the shift of the Coxeter plane, one may reduce the tilings to ( n + 1 ) -fold symmetric aperiodic tilings. The rhombic ( n + 1 ) -fold symmetric aperiodic tilings can also be obtained from the lattice A n , for the latter lattice is a sub-lattice of the lattice B n + 1 . One may visualize that the lattice B n + 1 projects onto the lattice A n at first stage, as the Voronoi cell of the cubic lattice projects onto the Voronoi cell of the root lattice A n . So, the classification of the rhombic aperiodic tilings of both lattices are the same. An advantage of the root lattice A n is that it can be tiled by the Delone cells with triangular two-dimensional faces. Projections of the Delone cells of the root lattice A n allow the classifications of the triangular aperiodic tilings. A systematic study of the projections of the Delone and Voronoi cells of the root and weight lattices of the simply laced ADE Lie algebras may lead to more interesting prototiles and aperiodic tilings. The present paper was concerned only with the aperiodic rhombic and triangular tilings of the root lattice exemplifying the 5-fold, 8-fold and 12-fold symmetric aperiodic tilings as they represent some quasicrystallographic structures.

Author Contributions

N.O.K.: Project administration, investigation, methodology, formal analysis, supervision, writing-review&editing; A.A.-S.: Investigation, software, visualization; M.K.: Project administration, conceptualization, investigation, methodology, original draft, writing-review and editing; R.K.: Software, visualization.

Funding

This research was funded by Sultan Qaboos University, Oman.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A

Appendix A.1. Three-Dimensional Cube and the Voronoi Cell V ( 0 ) of A 2

Vertices of the Voronoi cell of a three-dimensional cubic lattice are given by the vectors 1 2 ( ± l 1 ±   l 2 ±   l 3 ) . Since the vector representing the space diagonal projects to the origin ± 1 2 l 0 0 , the images of the six remaining vertices of the cube can be represented by the vectors ± k i ,   ( i = 1 ,   2 ,   3 ) in 2 D space. Each set of vectors k i and k i represents an equilateral triangle. The union of two sets is the hexagon representing the Voronoi cell V ( 0 ) of the root lattice A 2 . In particle physics, it is used to define the color and anti-color degrees of freedom of the quarks. Vertices of the six Delone cells (equilateral triangles) centralizing the vertices of the Voronoi cell V ( 0 ) consists of the vectors 0 ,   ±   ( k i k j ) .

Appendix A.2. Five-Dimensional Cube and the Voronoi Cell V ( 0 ) of A 4

Vertices of the Voronoi cell of a five-dimensional cubic lattice are given by the vectors 1 2 ( ± l 1 ±   l 2 ±   l 3 ±   l 4 ±   l 5 ) . The cube is cut by hyperplanes orthogonal to the vector l 0 at four levels, which splits the cube into four Delone polytopes of A 4 , the union of which represents the Voronoi cell of A 4 . When projected into four-dimensional space they can be represented as ( ω 1 ) a 4 = ( ω 4 ) a 4 , ( ω 2 ) a 4 = ( ω 4 ) a 4 . Vertices of a typical two-dimensional face of five 5-dimensional cube can be taken as 1 2 (   l 1 +   l 2 +   l 3 +   l 4 +   l 5 ) , 1 2 ( l 1 +   l 2 +   l 3 +   l 4 +   l 5 ) , 1 2 (   l 1   l 2 +   l 3 +   l 4 +   l 5 ) , 1 2 (   l 1   l 2 +   l 3 +   l 4 +   l 5 ) . The edges of the square are represented by the vectors parallel to l 1 and l 2 . In four-dimensional space, l 0 projects into the origin by (6) and therefore l 1 and l 2 are replaced by the vectors k 1 and k 2 , constituting a rhombus with obtuse angle θ = cos 1 ( 1 4 ) 104.5°. Each three-dimensional cubic facet of a five-dimensional cube projects into a rhombohedral facet of the Voronoi cell V ( 0 ) , as it is shown in the following example.
The set of vertices 1 2 (   l 1 ±   l 2 ±   l 3 ±   l 4   l 5 ) is a three-dimensional cube centered at the point 1 2 (   l 1   l 5 ) . This cube projects into a three-dimensional rhombohedral facet of the Voronoi cell V ( 0 ) of A 4 , as shown in Figure 6 where the vertices of the rhombohedron are given by
1 2 ( l 1   l 2   l 3   l 4   l 5 ) k 1 1 2 ( l 1 +   l 2 +   l 3 +   l 4   l 5 ) k 5 , 1 2 ( l 1 +   l 2   l 3   l 4   l 5 )   k 1 +   k 2 , 1 2 ( l 1   l 2 +   l 3   l 4   l 5 )   k 1 +   k 3 , 1 2 ( l 1   l 2   l 3 +   l 4   l 5 )   k 1 +   k 4 , 1 2 ( l 1 +   l 2 +   l 3   l 4   l 5 ) ( k 4 +   k 5 ) , 1 2 ( l 1 +   l 2   l 3 +   l 4   l 5 ) ( k 3 +   k 5 ) , 1 2 ( l 1   l 2 +   l 3 +   l 4   l 5 ) ( k 2 +   k 5 ) .
All the rhombohedral facets of the Voronoi cell V ( 0 ) are obtained by permutations. Centers of the rhombohedral facets are the halves of the roots of the root system. This also explains why the Voronoi cell of A 4 is the dual polytope of the root polytope.
In brief, the square face of the five-dimensional cube projects onto the rhombic face of the Voronoi cell V ( 0 ) in four-dimensional space and all three-dimensional cubic facets project onto the three-dimensional rhombohedra. Of course, the results of both projections lead to the same Penrose rhombic aperiodic tilings. This is true for all B n + 1 A n projections, the only difference is that the aperiodic tiles from the projections of B n + 1 exhibit 2 ( n + 1 ) -fold symmetry, while A n projections display ( n + 1 ) -fold symmetry only.

References

  1. Shechtman, D.; Blech, I.; Gratias, D.; Cahn, J.W. Metallic phase with long-range orientational order and no translational symmetry. Phys. Rev. Lett. 1984, 53, 1951–1953. [Google Scholar] [CrossRef]
  2. Di Vincenzo, D.; Steinhardt, P.J. Quasicrystals: The State of the Art; World Scientific Publishers: Singapore, 1991. [Google Scholar]
  3. Janot, C. Quasicrystals: A Primer, 2rd ed.; Oxford University Press: Oxford, UK, 2012. [Google Scholar]
  4. Senechal, M. Quasicrystals and Geometry; Cambridge University Press: Cambridge, UK, 1995. [Google Scholar]
  5. Baake, M.; Grimm, U. Aperiodic Order, Volume 1: A Mathematical Invitation; Cambridge University Press: Cambridge, UK, 2013. [Google Scholar]
  6. Grünbaum, B.; Shephard, G.C. Tilings and Patterns; Freeman: New York, NY, USA, 1987. [Google Scholar]
  7. Penrose, R. The role of aesthetics in pure and applied mathematical research. Bull. Inst. Math. Appl. 1974, 10, 266–271. [Google Scholar]
  8. Penrose, R. Roger Penrose’s Pentaplexity article on aperiodic tiling. Eureka 1978, 39, 16–22. [Google Scholar]
  9. de Bruijn, N.G. Algebraic theory of Penrose’s non-periodic tilings of the plane. Nederl. Akad. Wetensch. Proc. Ser. 1981, 84, 38–66. [Google Scholar] [CrossRef]
  10. Duneau, M.; Katz, A. Quasiperiodic patterns. Phys. Rev. Lett. 1985, 54, 2688–2691. [Google Scholar] [CrossRef] [PubMed]
  11. Baake, M.; Joseph, D.; Kramer, P.; Schlottmann, M. Root lattices and quasicrystals. J. Phys. A Math. Gen. 1990, 23, L1037–L1041. [Google Scholar] [CrossRef] [Green Version]
  12. Chen, L.; Moody, R.V.; Patera, J. Fields Institute for Research in Mathematical Sciences Monographs Series 10; AMS: Providence, RI, USA, 1998; pp. 135–178. [Google Scholar]
  13. Whittaker, E.J.W.; Whittaker, R.M. Some generalized Penrose patterns from projections of n-dimensional lattices. Acta Crystallogr. Sect. A Found. Adv. 1988, 44, 105–112. [Google Scholar]
  14. Koca, M.; Koca, N.; Koc, R. Group-theoretical analysis of aperiodic tilings from projections of higher-dimensional lattices Bn. Acta Crystallogr. Sect. A Found. Adv. 2015, 71, 175–185. [Google Scholar]
  15. Boyle, L.; Steinhardt, P.J. Coxeter pairs, Ammann patterns and Penrose-like tilings. arXiv 2016, arXiv:1608.08215. [Google Scholar]
  16. Koca, N.O.; Koca, M.; Al-Siyabi, A. SU (5) grand unified theory, its polytopes and 5-fold symmetric aperiodic tiling. Int. J. Geom. Methods Mod. Phys. 2018, 5, 1850058. [Google Scholar] [CrossRef]
  17. Masáková, Z.; Patera, J.; Pelantová, E. Inflation centres of the cut and project quasicrystals. J. Phys. A Math. Gen. 1998, 31, 1443. [Google Scholar] [CrossRef]
  18. Meyer, Y. Algebraic Numbers and Harmonic Analysis, 1st ed.; North-Holland Pub. Co.: Amsterdam, The Netherlands, 1972. [Google Scholar]
  19. Lagarias, J.C. Meyer’s concept of quasicrystal and quasiregular sets. Commun. Math. Phys. 1996, 179, 365–376. [Google Scholar] [CrossRef]
  20. Moody, R.V. Meyer Sets and Their Duals, in The Mathematics of Long-Range Aperiodic Order, NATO ASI Series C; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1997; Volume 489, pp. 403–441. [Google Scholar]
  21. Voronoi, G. Nouvelles applications des paramètres continus à la théorie des formes quadratiques. Deuxième mémoire. Recherches sur les parallélloèdres primitifs. J. Für Die Reine Und Angew. Math. 1908, 134, 198–287. [Google Scholar] [CrossRef]
  22. Voronoi, G. Part II of Voronoi (1908). J. Für Die Reine Und Angew. Math. 1909, 136, 67–181. [Google Scholar] [CrossRef]
  23. Delaunay, N.B. Izv. Sur la partition régulière de l’espace à 4 dimensions. Première partie. Akad. Nauk SSSR Otdel. Fiz. Mat. Nauk. 1929, 1, 79–110. [Google Scholar]
  24. Delaunay, N.B. Geometry of positive quadratic forms. Usp. Mat. Nauk. 1938, 3, 16–62. [Google Scholar]
  25. Delaunay, N.B. Geometry of positive quadratic forms. Part II. Usp. Mat. Nauk. 1938, 4, 102–164. [Google Scholar]
  26. Conway, J.H.; Sloane, N.J.A. Sphere Packings, Lattices and Groups; Springer: New York, NY, USA, 1988. [Google Scholar]
  27. Conway, J.H.; Sloane, N.J.A. Miscellanea Mathematica; Hilton, P., Hirzebruch, F., Remmert, R., Eds.; Springer: New York, NY, USA, 1991; pp. 71–108. [Google Scholar]
  28. Deza, M.; Grishukhin, V. Nonrigidity degrees of root lattices and their duals. Geom. Dedicate 2004, 104, 15–24. [Google Scholar] [CrossRef]
  29. Engel, P. Geometric Crystallography: An Axiomatic Introduction to Crystallography; Springer: Dordrecht, The Netherlands, 1986. [Google Scholar]
  30. Engel, P.; Michel, L.; Senechal, M. Lattice geometry. Preprint IHES /P/04/45. 1994. [Google Scholar]
  31. Moody, R.V.; Patera, J. Voronoi and Delaunay cells of root lattices: Classification of their faces and facets by Coxeter-Dynkin diagrams. J. Phys. A Math. Gen. 1992, 25, 5089–5134. [Google Scholar] [CrossRef]
  32. Koca, M.; Ozdes Koca, N.; Al-Siyabi, A.; Koc, R. Explicit construction of the Voronoi and Delaunay cells of W(An) and W(Dn) lattices and their facets. Acta Crystallogr. Sect. A Found. Adv. 2018, 74, 499–511. [Google Scholar]
  33. Ausloos, M.; Bartolacci, F.; Castellano, N.G.; Cerqueti, R. Exploring how innovation strategies at time of crisis influence performance: A cluster analysis perspective. Technol. Anal. Strateg. Manag. 2018, 30, 484–497. [Google Scholar] [CrossRef]
  34. Coxeter, H.S.M. Regular Polytopes, 3rd ed.; Dover Publications: New York, NY, USA, 1973. [Google Scholar]
  35. Grünbaum, B. Convex Polytopes; Wiley: New York, NY, USA, 1967. [Google Scholar]
  36. Humphreys, J.E. Cambridge Studies in Advanced Mathematics, Reflection Groups and Coxeter Groups; Cambridge University Press: Cambridge, UK, 1990; Volume 29. [Google Scholar]
  37. Michel, L. Bravais Classes, Voronoi Cells, Delone Cells, Symmetry and Structural Properties of Condensed Matter; Lulek, T., Florek, W., Walcerz, S., Eds.; World Scientific: Singapore, 1995; p. 279. [Google Scholar]
  38. Michel, L. Complete Description of the Voronoi Cell of the Lie Algebra An Weight Lattice. On the Bounds for the Number of d-Faces of the n-Dimensional Voronoi Cells, Algebraic Methods in Physics; Saint-Aubin, Y., Vinet, L., Eds.; Springer: Berlin/Heidelberg, Germany, 2001; pp. 149–171. [Google Scholar]
  39. Koca, M.; Koca, N.O.; Koc, R. Affine Coxeter group Wa (A4), quaternions, and decagonal quasicrystals. Int. J. Geom. Meth. Mod. Phys. 2014, 11, 1450031. [Google Scholar] [CrossRef]
  40. Carter, R.W. Simple Groups of Lie Type; John Wiley & Sons: New York, NY, USA, 1972; pp. 158–169. [Google Scholar]
  41. Nischke, K.P.; Danzer, L. A construction of inflation rules based on n-fold symmetry. Discret. Comput. Geom. 1996, 15, 221–236. [Google Scholar] [CrossRef]
Figure 1. (a) Coxeter–Dynkin diagram of a n , (b) extended Coxeter–Dynkin diagram of a n .
Figure 1. (a) Coxeter–Dynkin diagram of a n , (b) extended Coxeter–Dynkin diagram of a n .
Symmetry 11 01082 g001
Figure 2. A typical rhombic face of the rhombic dodecahedron (note that edges are represented by the vectors k 2 and k 3 with an angle 109.5°).
Figure 2. A typical rhombic face of the rhombic dodecahedron (note that edges are represented by the vectors k 2 and k 3 with an angle 109.5°).
Symmetry 11 01082 g002
Figure 3. The Wigner–Seitz cell (rhombic dodecahedron) onto the Coxeter plane E .
Figure 3. The Wigner–Seitz cell (rhombic dodecahedron) onto the Coxeter plane E .
Symmetry 11 01082 g003
Figure 4. Projection of the root lattice as a square lattice made of right triangles (not shown).
Figure 4. Projection of the root lattice as a square lattice made of right triangles (not shown).
Symmetry 11 01082 g004
Figure 5. Projections of the lattices A 3 *   and   A 3 , leading to two overlapping square lattices, A 3 is the sublattice of the other.
Figure 5. Projections of the lattices A 3 *   and   A 3 , leading to two overlapping square lattices, A 3 is the sublattice of the other.
Symmetry 11 01082 g005
Figure 6. A 3-dimensional rhombohedron, the rhombohedral facet of the Voronoi cell of the root lattice   A 4   .
Figure 6. A 3-dimensional rhombohedron, the rhombohedral facet of the Voronoi cell of the root lattice   A 4   .
Symmetry 11 01082 g006
Figure 7. Patch of the Penrose rhombic tiling obtained by the cut and project method from the lattice   A 4   * . The four types of vertices are distinguished by numbers as stated in the text.
Figure 7. Patch of the Penrose rhombic tiling obtained by the cut and project method from the lattice   A 4   * . The four types of vertices are distinguished by numbers as stated in the text.
Symmetry 11 01082 g007
Figure 8. Darts and kites obtained from Robinson triangles.
Figure 8. Darts and kites obtained from Robinson triangles.
Symmetry 11 01082 g008
Figure 9. A 5-fold symmetric patch of Penrose tiling with darts and kites.
Figure 9. A 5-fold symmetric patch of Penrose tiling with darts and kites.
Symmetry 11 01082 g009
Figure 10. The rhombille tiling with a D 6 symmetry.
Figure 10. The rhombille tiling with a D 6 symmetry.
Symmetry 11 01082 g010
Figure 11. Some patches (a-b-c) from three triangular prototiles from Delone cells of the root lattice A 5 , obtained by substitution rule.
Figure 11. Some patches (a-b-c) from three triangular prototiles from Delone cells of the root lattice A 5 , obtained by substitution rule.
Symmetry 11 01082 g011aSymmetry 11 01082 g011b
Figure 12. A patch of 7-fold symmetric rhombic tiling.
Figure 12. A patch of 7-fold symmetric rhombic tiling.
Symmetry 11 01082 g012
Figure 13. Two 7-fold symmetric patches (a-b) obtained from the projection of the Delone cells of the root lattice A 6 .
Figure 13. Two 7-fold symmetric patches (a-b) obtained from the projection of the Delone cells of the root lattice A 6 .
Symmetry 11 01082 g013
Figure 14. The patch obtained from the projection of the Voronoi cell of the root lattice A 7 .
Figure 14. The patch obtained from the projection of the Voronoi cell of the root lattice A 7 .
Symmetry 11 01082 g014
Figure 15. Patches (a-b) of prototiles from Delone cells of the root lattice A 7   with 8-fold symmetry.
Figure 15. Patches (a-b) of prototiles from Delone cells of the root lattice A 7   with 8-fold symmetry.
Symmetry 11 01082 g015
Figure 16. Three rhombuses illustrated with different colors obtained from the Voronoi cell of A 11 and a patch is depicted.
Figure 16. Three rhombuses illustrated with different colors obtained from the Voronoi cell of A 11 and a patch is depicted.
Symmetry 11 01082 g016
Figure 17. A 12-fold symmetric patch obtained by substitution from triangular prototiles originating from Delone cells of the root lattice A 11 .
Figure 17. A 12-fold symmetric patch obtained by substitution from triangular prototiles originating from Delone cells of the root lattice A 11 .
Symmetry 11 01082 g017
Table 1. Rhombic prototiles projected from Voronoi cells of the root lattice A n (rhombuses with angles ( 2 π m h ,   π 2 π m h ) , m N ).
Table 1. Rhombic prototiles projected from Voronoi cells of the root lattice A n (rhombuses with angles ( 2 π m h ,   π 2 π m h ) , m N ).
Root Latticeh# of PrototilesRhombuses with Pairs of Angles
A 3 41 ( π 2 , π 2 ) , (square)
A 4 52 ( 2 π 5 , 3 π 5 ) ,   ( 4 π 5 , π 5 ) , (Penrose’s thick and thin rhombuses)
A 5 61 ( π 3 , 2 π 3 )
A 6 73 ( 2 π 7 , 5 π 7 ) ,   ( 4 π 7 , 3 π 7 ) ,   ( 6 π 7 , π 7 )
A 7 82 ( π 4 , 3 π 4 ) ,   ( π 2 , π 2 ) , (Amman-Beenker tiles)
A 8 94 ( 2 π 9 , 7 π 9 ) ,   ( 4 π 9 , 5 π 9 ) , ( 6 π 9 , 3 π 9 ) , ( 8 π 9 , π 9 )
A 9 102 ( 2 π 5 , 3 π 5 ) , ( π 5 , 4 π 5 ) , (Penrose’ thick and thin rhombuses)
A 10 113 ( 2 π 11 , 9 π 11 ) ,   ( 4 π 11 , 7 π 11 ) , ( 6 π 11 , 5 π 11 )
A 11 123 ( π 6 , 5 π 6 ) ,   ( π 3 , 2 π 3 ) , ( π 2 , π 2 )
Table 2. Triangular prototiles with angles ( n 1 π h , n 2 π h ,   n 3 π h ) projected from Delone cells of the root lattice A n .
Table 2. Triangular prototiles with angles ( n 1 π h , n 2 π h ,   n 3 π h ) projected from Delone cells of the root lattice A n .
Root Latticeh# of PrototilesTriangles Denoted by Triple Natural Numbers
( n 1 ,   n 2 ,   n 3 ) ;   n 1 +   n 2 +   n 3 = h
A 2 31 ( 1 ,   1 ,   1 )
A 3 41 ( 1 ,   1 ,   2 ) , (right triangle)
A 4 52 ( 1 ,   1 ,   3 ) ,   ( 1 ,   2 ,   2 ) , (Robinson triangles)
A 5 63 ( 1 ,   1 ,   4 ) ,   ( 1 ,   2 ,   3 ) ,   ( 2 ,   2 ,   2 )
A 6 74 ( 1 ,   1 ,   5 ) ,   ( 1 ,   2 ,   4 ) ,   ( 1 ,   3 ,   3 ) ,   ( 2 ,   2 ,   3 ) , (Danzer triangles)
A 7 85 ( 1 ,   1 ,   6 ) ,   ( 1 ,   2 ,   5 ) ,   ( 1 ,   3 ,   4 ) ,   ( 2 ,   2 ,   4 ) ,   ( 2 ,   3 ,   3 )
A 8 97 ( 1 ,   1 ,   7 ) ,   ( 1 ,   2 ,   6 ) ,   ( 1 ,   3 ,   5 ) ,   ( 1 ,   4 ,   4 ) ,   ( 2 ,   2 ,   5 ) ,
( 2 ,   3 ,   4 ) ,   ( 3 ,   3 ,   3 )
A 9 108 ( 1 ,   1 ,   8 ) ,   ( 1 ,   2 ,   7 ) ,   ( 1 ,   3 ,   6 ) ,   ( 1 ,   4 ,   5 ) ,   ( 2 ,   2 ,   6 ) ,
( 2 ,   3 ,   5 ) ,   ( 2 ,   4 ,   4 ) ,   ( 3 ,   3 ,   4 )
A 10 1110 ( 1 ,   1 ,   9 ) ,   ( 1 ,   2 ,   8 ) ,   ( 1 ,   3 ,   7 ) ,   ( 1 ,   4 ,   6 ) ,   ( 1 ,   5 ,   5 ) ,
( 2 ,   2 ,   7 ) ,   ( 2 ,   3 ,   6 ) ,   ( 2 ,   4 ,   5 ) ,   ( 3 ,   3 ,   5 ) ,   ( 3 ,   4 ,   4 )
A 11 1212 ( 1 ,   1 ,   10 ) ,   ( 1 ,   2 ,   9 ) ,   ( 1 ,   3 ,   8 ) ,   ( 1 ,   4 ,   7 ) ,   ( 1 ,   5 ,   6 ) ,
( 2 ,   2 ,   8 ) ,   ( 2 ,   3 ,   7 ) ,   ( 2 ,   4 ,   6 ) ,   ( 2 ,   5 ,   5 ) ,   ( 3 ,   3 ,   6 ) ,
( 3 ,   4 ,   5 ) ,   ( 4 ,   4 ,   4 )

Share and Cite

MDPI and ACS Style

Ozdes Koca, N.; Al-Siyabi, A.; Koca, M.; Koc, R. Prototiles and Tilings from Voronoi and Delone Cells of the Root Lattice An. Symmetry 2019, 11, 1082. https://doi.org/10.3390/sym11091082

AMA Style

Ozdes Koca N, Al-Siyabi A, Koca M, Koc R. Prototiles and Tilings from Voronoi and Delone Cells of the Root Lattice An. Symmetry. 2019; 11(9):1082. https://doi.org/10.3390/sym11091082

Chicago/Turabian Style

Ozdes Koca, Nazife, Abeer Al-Siyabi, Mehmet Koca, and Ramazan Koc. 2019. "Prototiles and Tilings from Voronoi and Delone Cells of the Root Lattice An" Symmetry 11, no. 9: 1082. https://doi.org/10.3390/sym11091082

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop