Abstract
The projection method for constructing quasiperiodic tilings from a higher dimensional lattice provides a useful context for computing a quasicrystal’s vertex configurations, frequencies, and empires (forced tiles). We review the projection method within the framework of the dual relationship between the Delaunay and Voronoi cell complexes of the lattice being projected. We describe a new method for calculating empires (forced tiles) which also borrows from the dualisation formalism and which generalizes to tilings generated projections of non-cubic lattices. These techniques were used to compute the vertex configurations, frequencies and empires of icosahedral quasicrystals obtained as a projections of the and lattices to and we present our analyses. We discuss the implications of this new generalization.
1. Introduction
Quasicrystals, since their discovery [], had been an active area of research in mathematics, physics, chemistry and mineralogy. They have intriguing and complex structure which lies between disorder and periodicity and which exhibits several physical properties []. The mathematics describing aperiodic tilings come from a variety of methodologies [,,] which give ideal geometries that model quasicrystalline structure on a global (infinite) scale.
Physically, quasicrystals are formed in materials via the local growth patterns of atoms as they anneal and coalesce. The atomic configurations are dictated by the geometry of the neighboring chemical bonds and the growth patterns are determined by how these configurations join together. A quasicrystal growing from a local configuration can benefit (have less defects) if there is a lower variability in possible growth patterns, that is, if more of the structure surrounding the site is forced [,]. Mathematically, the question regarding what portions of a quasicrystal are forced by an initial configuration is called the empire problem [].
Previous research on the subject has been carried out by several authors using different approaches. One method is specific to the decorated Penrose tilings and uses Ammann bars in order to derive forced tiles [,]. Another method uses the multigrid formalism and introduces linear constraints imposed by tiles on the shift parameter to calculate empires []. Most recently, a method investigated by Fang et al. [], is set in the context of the projection method and involves modifying [] the cut-window in order to form a smaller empire window which serves as the acceptance domain for the empire of a specified patch of tiles. The latter construction is the more general of the three methods and has been used successfully to compute empires for several tilings generated as projections of cubic lattices [].
In this paper, we present a new way of calculating empires which generalizes to quasiperiodic tilings derived as projections of non-cubic lattices. This method is also set within the framework of the cut-and-project formalism and relies on the dualisation of a lattice’s Voronoi and Delaunay complexes as prescribed by the Klotz construction [].
In Section 2 we provide an overview of the projection method in the context of the dualisation formalism and introduce the cut-window along with its regions and sectors which serve as acceptance domains for vertices, tiles, and vertex configurations, respectively. In Section 3 we describe how sectors are used to compute vertex frequencies and present calculated results of the frequencies and sectors for each of the 36 vertex configurations of an icosahedral tiling, , defined a projection of the lattice to [,,]. In Section 4 we introduce our new method for computing empires and present empires calculated for vertex configurations of as well as a tiling of Ammann [] defined as a projection .
2. Projection Method
In this section we summarize the projection method for generating quasiperiodic tilings. We first outline the selection process for vertices and introduce the cut-window. We demonstrate why more information is needed when determining tiles for projections of non-cubic lattices. Finally, we describe the projection method within the framework of the dualisation formalism between a lattice’s Voronoi and Delaunay cell complexes [,,].
2.1. Overview of Projection Method
The projection method for constructing quasicrystals is characterized by a lattice along with projections onto orthogonal subspaces . A convex volume in the perpendicular space called the cut-window acts as an acceptance domain for determining which points are selected to have their projections included in the tiling of . For cubic lattices () the cut-window is sufficient for determining which tiles fill the tiling space . But when projecting non-cubic lattices, the proper selection of tiles is more nuanced and requires that the cut-window be subdivided into regions which act as acceptance domains for individual tiles types. These regions can be further subdivided into sectors which serve as acceptance domains for specific vertex configurations; computing the relative sector volumes gives the vertex frequencies. Furthermore, similar constructions involving the regions of the cut-window can be used to compute empires in a concise and novel way.
Let be a regular point lattice in an N-dimensional Euclidean space, , which is defined as the integer combinations of some finite set of lattice root vectors :
It is assumed [] that the vectors span all of , and that the convex hull of the lattice itself is the entire space, . Also, we assume that the lattice is a discrete point set, meaning that it has no accumulation points in . Let be an n-dimensional affine subspace of in which a space-filling tiling will be constructed. For the purpose of creating an aperiodic tiling in , it is necessary for to lie at irrational angles to the vectors which generate the lattice. Let be the orthogonal complement to and let and denote the projections onto and , respectively.
The projection method dictates that a lattice point will be included in the tiling precisely when the tiling subspace intersects non-trivially with the Voronoi cell containing []:
where the Voronoi cell of a lattice point is the convex region in defined relative to the lattice by:
See Figure 1 for an example of the selection process defined by Equation (2) for a quasicrystal tiling, denoted , defined as a projection of the triangular lattice to . This selection criteria determines which vertices are included in the tiling . The next step is to understand how the selected vertices are connected by edges, faces, …, and k-polytopes. The polytopes of are selected from the polytopes of the Delaunay complex of the lattice. The polytopes which become the proper space-filling tiles covering are n-dimensional polytopes of the lattice’s Delaunay complex which project to n-dimensional polytopes in . In order for such a polytope to be included in the tiling , it is certainly necessary that each of its vertices be included in as well (i.e., ). This condition is necessary, and for cubic lattices it suffices to yield an accurate selection of tiles. But when projecting from a non-cubic lattice, these criteria are insufficient and in some cases can lead to an inconsistent selection of tiles (e.g., tiles that overlap or otherwise intersect). See Figure 2 for a scenario (in the case of a projection ) where following this rule alone leads to overlapping tiles in .

Figure 1.
Step-by-step illustration of the cut-and-project process for the triangular lattice (a) projecting onto a 1-dimensional tiling space (b). The Voronoi cells for the lattice are all regular hexagons (c) and it is only those vertices with Voronoi cells that intersect which are selected (d). These vertices are then projected onto and define the vertices of the tiling of (e). The lattice edges (dashed lines) connecting the selected lattice points are projected to to form the (1-dimensional) tiles which fill (f).

Figure 2.
A cut and projection , where has a shallow enough slope that overlapping edges can arise when one is deciding which edges to select as tiles. (a) The space intersects the Voronoi cells of lattices points for . It is not clear, however, which edges should be selected as tiles in . For instance (b) the edge from to clashes with the vertex and similarly (c) the edge connecting to conflicts with the vertex . The solution lies with the boundary facets of the Voronoi cells. Each lattice edge is dual to the facet that forms the common boundary between and . It is only when intersects with the boundary facet that the edge is selected for the tiling. The boundary facets which intersect (d) and the edges to which they are dual (e) are the correct choice of edges which project to without overlapping (f).
Before giving the condition for properly selecting which edges to project to for inclusion in the tiling , we first take a moment to talk about the polytopes which comprise the Voronoi cells themselves. This has investigated in detail by previous authors [,], so here we provide only an overview. The Voronoi cells are convex polytopes which tessellate and fill the space . These polytopes have boundary facets which are themselves convex polytopes (of co-dimension 1), and which themselves have boundaries (of co-dimension 2), and so on.
Let denote the Voronoi complex defined (relative to the lattice) as the set of all the Voronoi cells along with all of their boundary polytopes:
It should be noted that the Voronoi cells themselves, being volumetric N-cells in , are also considered as ‘boundaries’ and are included in . The Voronoi cells are situated in face-to-face relation so the set is a proper honeycomb in and exhibits properties similar to that of a simplicial complex []:
The dual to the Voronoi complex is the Delaunay complex which also exhibits properties (5) and (6). The Delaunay complex has as its vertices precisely the lattice points . The n-cells of are the polytopes from which the tiles of are selected and projected to . The regularity of the lattice ensures that the Voronoi domains form a regular tessellation of , and the polytopes of are translated copies of the set of polytopes which comprise the (generic) Voronoi polytope at the origin, . So the polytopes of can be categorized by computing the cell decomposition of the single polytope: . Similarly, the polytopes of can be seen as translated copies of just those polytopes that are dual to the polytopes of , which are precisely the polytopes of the Delaunay complex that are adjacent to the origin. The dual correspondence between and is given as follows:
Individual lattice points (0-polytopes), , are dual to their respective Voronoi N-cells . An edge (1-polytope) inscribed between neighboring lattice points, , is dual to the -facet which their Voronoi domains both share at their intersection . In general, a k-polytope will be dual to the polytope that lies at the common intersection of all the lattice points’ Voronoi domains, . In all cases, a polytope and its dual are always orthogonal to each other, , and their dimensions are always complementary in , .
It is in this context of this dualisation formalism that we give the criteria for selecting which polytopes are included in the tiling. The tiles of are selected among the n-dimensional polytopes of . An n-polytope is selected for the tiling if its dual polytope intersects non-trivially with the tiling space . Also, we are interested in only those polytopes which have non-degenerate projections to []. It is in this regard that we give the definition for the tiling :
2.2. Lattice Points and the Cut-Window
For a regular lattice, the Voronoi cells are identical up to translation, satisfying . The condition is equivalent to there being some point where , or rather, . Taking the projection under , we have , but (since ) which gives , or simply: . The regularity of the lattice comes into play again, giving the symmetry , so the final condition is just . The projected image is called the cut-window, denoted by , and it plays a central role in both the construction and analysis of the tilings generated via the projection method.
Determining if a lattice point is to be included in the tiling, , reduces to finding out if that lattice point’s orthogonal projection falls within the fixed convex volume in given by the cut-window :
In Figure 3, the cut-window is depicted for a quasicrystal tiling projection in which the Voronoi domains are hexagons and the cut-window is an interval in defined by the total width of a hexagon’s projection to .

Figure 3.
A tiling defined as a projection of the triangular lattice to the line. The cut-window is an interval in (thick red line) and dictates which lattice points are selected for the tiling : if a lattice points falls within the cut-window then it is included in the tiling .
2.3. Tiles and Regions of the Cut-Window
The regularity of lattice allows us to characterize all tiles using a finite set of tile types, , which are just those tiles of which are adjacent to the origin. Each tile can be expressed as a translation of one of the tile types: for any , where is a tile containing the origin. The dual to a tile can then be expressed as a translation of the dual of some tile type: . For to be included in a tiling, it is necessary that intersects non-trivially with , which can be written as . Supposing , we take the projection to and find which gives or simply: .
The volumes are called regions of the cut-window. The regions are in direct correspondence to the tile types and each region serves as an acceptance domain for its respective tile type (see Figure 4) in the following way: for a region , if a lattice point has a projection that lands within , , then the tile will be a valid tile in .

Figure 4.
(a–c) Three of the six tile types (colored arrows) are shown for the along with their corresponding regions (thick red lines). Any lattice point which falls into a region, , will be adjacent to a tile which is a translated copy of the tile type corresponding to . (d) The selected tiles are shown along with the whole cut-window.
It should be noted that it is only those regions which are proper -dimensional volumes in that are useful in selecting the proper (space-filling) tiles of . If a region is degenerate, that is if inside , then inside and cannot be included in as meaning cannot be a space-filling tile of . In this regard, we may redefine the tiling in the following way:
It should be noted that the cut-window regions may be quite different than the tiles to which they correspond. In the case of the tiling (Figure 5) defined by a certain projection of the lattice to , the Voronoi cell is a 6-dimensional polytope that has as its 3-dimensional boundaries 960 pyramids (with rhombus bases) and 160 rhombohedrons (parallelepipeds) [], (see Figure 6). The duals to these pyramids and rhombohedrons are 1120 regular tetrahedrons in whose vertices are lattice points . The tetrahedrons are distorted in the projection to (their images are no longer regular) and 240 of them are degenerate in the projection to leaving 880 non-degenerate regions of corresponding to 880 non-degenerate tiles types for .

Figure 5.
Various tilings generated as projections with randomly chosen shift vectors.

Figure 6.
Tiles and corresponding cut-window regions for the tiling . Four tiles are shown (left) alongside their corresponding regions (right) in the cut-window. The tiles are all tetrahedrons while their corresponding regions are pyramids with a rhombic base (a–c) or parallelepipeds (d).
2.4. Vertex Configurations and Sectors of
For a lattice point , its vertex configuration is defined to be the set of tiles that are adjacent to it:
Because each tile corresponds to a region , the vertex configuration for a lattice point can be derived by taking the tiles associated with those regions of the cut-window which contain :
The mutual intersection of all the regions which contain defines a certain sector, , a volume inside the cut-window which corresponds to the vertex configuration associated with .
Any other lattice point whose projection falls within the same sector will have an identical vertex configuration to , since by definition and are adjacent to the same types of tiles. See Figure 7 for an example vertex configuration and corresponding sector for the tiling.

Figure 7.
A vertex configuration (the combination of blue and green tile types) and its corresponding sector (red) for the tiling. Two tile types (blue arrow) and (green arrow) together make up the vertex configuration . Their corresponding regions in the cut-window, (thick blue) and (thick green) overlap in and their intersection is the sector which corresponds to the configuration defined by the two tile types. A lattice point which falls into this sector, , will have a translated copy of as its vertex configuration, .
For the tiling there are 880 pyramids and rhombohedrons which serve as the regions of the cut-window. Their intersections go on to form 4230 sectors, corresponding to the different vertex configurations of the tiling. There are 36 vertex configurations, and each one comes in 120 different orientations up to icosahedral symmetry in (except for one configuration which exhibits only distinct 30 orientations). This accounts for all of the 4230 sectors (), and when the sectors are grouped according to these 36 vertex configurations, the sectors are seen to exhibit the same icosahedral symmetry within the cut-window (see Figure 8).

Figure 8.
Sectors corresponding to twelve of the 36 vertex types of the tiling (projection ) are shown. Each vertex configuration comes in 120 orientations (respecting the symmetry present in ) and so each configuration corresponds to 120 individual sectors in . Each group of 120 sectors, in turn, exhibits the same symmetry in the cut-window .
3. Frequencies of Vertex Configurations
The cut-window is divided up into non-overlapping sectors which correspond to all the possible vertex configurations (in all possible orientations) that are found in the tiling . The volume of a given sector, , as measured relative to the volume of the cut-window as a whole, , gives the probability that a lattice point falling in the cut-window () will have the region’s corresponding arrangement of tiles as its vertex configuration. It is in this context that we define the frequency, , of a vertex configuration as this ratio of volumes:
Frequency analysis for vertex configurations have computed in the past for several quasicrystals including the Penrose tiling [], the Danzer tiling [], and others [,]. For this paper, we have calculated the vertex configurations and their corresponding sectors, empires, and frequencies for the tiling (see Table 1). The same analysis has been carried out by Kramer et al. [] for (which they notate as ) and in Table 2 we provide a comparison of our results with their data and give the correspondence between the two lists.

Table 1.
The 36 vertex configurations for the tiling are shown along with their corresponding cut-window sectors , their empires , and their frequencies .

Table 2.
Comparison of data computed for the by authors and by Kramer et at. []. Here, is the Golden Ratio and the ambiguity between types 16.1 and 23.1 is notated.
4. Empires
The empire problem for aperiodic tilings poses a very different question than the calculations of the tilings themselves or the frequency of their vertex configurations. The empire problem asks, for an initial patch of tiles , what other tiles are forced into place by the tiles of ? Put another way, of all the possible tilings that contain , which tiles do they all have in common? These are called the forced tiles or empire, , of the patch :
In the context of the projection method, the other tilings are generated by a translational shift of the tiling space away from the origin by some shift vector . We let be the translated copy of . Since translations of in a direction parallel to itself yields the same subspace, we only are concerned with the ‘vertical’ component of the shift vector, as so we take . The process for generating the on is the same as before: for the -dimensional polytopes of which intersect , take their duals and project them onto to form the tiling of . In this way, we define new tiling for a given shift vector :
In terms of the lattice points and the sectors , we can rewrite in a manner very similar to Equation (11) in the following way:
Computing an empire for some arbitrary finite patch of tiles for some shift vector amounts to computing the shift-window, , which is the space of all the possible shift vectors for which contains the patch :
In the case that the patch consists of a single tile , the space is inferred by the tile’s corresponding cut-window sector as follows: for any vertex of the tile, , the translation is a tile adjacent to the origin and its dual projects to one of the sectors in the cut-window . For the tile to remain a valid tile in a , it is necessary that , so in terms of we have: . In other words, for a tile to be included in a tiling , it is necessary that . This allows us to express concisely as:
So the shift-window for an individual tile is given by the orthogonal projection of that tile’s dual:
Now for a patch of tiles, , the shift-window is the mutual intersection of all the orthogonal components of the tiles’ duals:
For any other tile , we have . For to be in the empire , it is necessary that whenever , which equates to whenever , in other words, . The empire is therefore given by:
It is a direct consequence of Equation (20) that an empire is a subset of any tiling for which . In practice, to compute the empire of some patch , it is sufficient to start with the tiles computed for an initial tiling and then check each tile for the condition . The shift-window is the convex polytope which is the intersection of finitely many convex polytopes, and so can be expressed as the convex hull of some set of finitely many vertices . Determining if amounts to checking only those vertices for point-wise inclusion within the volume .
See Figure 9 for examples of empires computed for two vertex configurations for a tiling of Ammann, a projection from the lattice to . In Table 1, the empires are shown for each of the 36 vertex configurations of the tiling .

Figure 9.
Vertex configurations and their empires for the Ammann tiling (projection ). The tiles of this quasicrystal are all rhombohedrons, and the vertex configurations are analogous to those of the Penrose tiling. The empires (shown in three orientations to the right the vertex configurations) vary in both structure and density.
The methodology for computing empires as described by Fang et al. [] involves a modification of the cut-window to form a smaller empire window which serves as an acceptance domain for the empire: if all the vertices of a tile fall within the empire window, then the tile is included in the empire. The empire window approach is based on the condition that a tile is included in a tiling whenever its projection falls inside the cut-window. As we have seen, this condition is not true in general (Figure 2), and computing empires for projections of non-cubic lattices requires the dualisation formalism and methodology as described above.
5. Conclusions
In this paper we have reviewed the projection method and how it relates to the dualisation formalism of the Voronoi and Delaunay complexes of the lattice being projected. We have shown how empires can be computed within the context of the projection and dualisation methods. Using a projection of to as an example, we produced the quasicrystal and conducted analysis of the vertex configurations, their distribution in the perpendicular space, and their relative frequencies.
More importantly, we have generalized the calculation of empires for quasicrystals projected from arbitrary higher dimensional lattices. We calculated empires for a 3-dimensional tiling of Ammann (a projection of the cubic lattice ) using a previous method []. We then argue that the previous method would not be able to calculate the empires for quasicrystals that are projected from non-cubic lattice, therefore it has to be generalized by considering the dual relationships of the Voronoi and Delaunay complexes. Using this generalized method, we calculated the empires for the 3-dimensional quasicrystal that is projected from . This generalization is significant for understanding not only the distributions and frequencies of vertex configurations, but also for deriving the structure of their empires through the projection method.
Author Contributions
D.H. studied the dualisation approach to the projection method while conducting analysis on the tiling and discovered the new method for computing empires as discussed in this paper. F.F. supervised and guided the writing and editing of this paper. K.I. is the leader and founder of our organization and it is his vision that guides our research into quasicrystals and the mathematics which describe them.
Funding
This research received no external funding.
Conflicts of Interest
The authors declare no conflict of interest.
References
- 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, 20. [Google Scholar] [CrossRef]
- Bindi, L.; Steinhardt, P.J.; Yao, N.; Lu, P.J. Natural quasicrystals. Science 2009, 324, 1306. [Google Scholar] [CrossRef] [PubMed]
- Quiquandon, M.; Portier, R.; Gratias, D. Atomic clusters and atomic surfaces in icosahedral quasicrystals. Acta Crystallogr. 2014, 70, 229–238. [Google Scholar] [CrossRef] [PubMed]
- Socolar, J.; Steinhardt, P. Quasicrystals. II. Unit-cell configurations. Phys. Rev. B 1985, 34, 617. [Google Scholar] [CrossRef]
- Kramer, P.; Schlottmann, M. Dualisation of Voronoi domains and Klotz construction: a general method for the generation of proper space fillings. J. Phys. A Math. Gen. 1989, 22, L1097. [Google Scholar] [CrossRef]
- Jeong, H.C. Growing Perfect Decagonal Quasicrystals by Local Rules. Phys. Rev. Lett. 2007, 98, 135501. [Google Scholar] [CrossRef] [PubMed]
- Onoda, G.; Steinhardt, P.; DiVincenzo, D.; Socolar, J. Growing Perfect Quasicrystals. Phys. Rev. Lett. 1988, 60, 2653. [Google Scholar] [CrossRef] [PubMed]
- Conway, J.H. Triangle tessellations of the plane. Am. Math. Mon. 1965, 72, 915. [Google Scholar]
- Healy, J. Automatic Generation of Penrose Empires. Ph.D. Thesis, Williams College, Williamstown, MA, USA, 19 May 2000. [Google Scholar]
- Minnick, L. Generalized Forcing in Aperiodic Tilings. Bachelor’s Thesis, Williams College, Williamstown, MA, USA, 23 May 1998. [Google Scholar]
- Effinger-Dean, L. The Empire Problem in Penrose Tilings. Bachelor’s Thesis, Williams College, Williamstown, MA, USA, 8 May 2006. [Google Scholar]
- Fang, F.; Hammock, D.; Irwin, K. Methods for Calculating Empires in Quasicrystals. Crystals 2017, 7, 304. [Google Scholar] [CrossRef]
- Katz, A.; Duneau, M. Quasiperiodic patterns and icosahedral symmetry. J. Phys. France 1986, 47, 181–196. [Google Scholar] [CrossRef]
- Papadopolos, Z.; Kramer, P.; Zeidler, D. The F-Type icosahedral phase: Tiling and vertex models. J. Non-Cryst. Solids 1993, 153, 215–220. [Google Scholar] [CrossRef]
- Mermin, N.D. The space groups of icosahedral quasicrystals and cubic, orthorhombic, monoclinic, and triclinic crystals. Rev. Mod. Phys. 1992, 64, 3–49. [Google Scholar] [CrossRef]
- Danzer, L.; Papadopolos, Z.; Talis, A. Full equivalence between Socolar’s tilings and the (A, B, C, K)-tilings leading to a rather natural decoration. Int. J. Mod. Phys. B 1993, 7, 1379–1386. [Google Scholar] [CrossRef]
- Katz, A. Theory of Matching Rules for the 3-Dimensional Penrose Tilings. Commun. Math. Phys. 1988, 118, 263–288. [Google Scholar] [CrossRef]
- Kramer, P.; Papadopolos, Z.; Zeidler, D. Symmetries of Icosahedral Quasicrystals. In Symmetries in Science V; Springer: Boston, MA, USA, 1991. [Google Scholar]
- Au-Yang, H.; Perk, J.H.H. Quasicrystals: Projections of 5-D Lattice into 2 and 3 Dimensions. arXiv, 2006; arXiv:math-ph/0606028. [Google Scholar]
- Kramer, P.; Papadopolos, Z.; Schlottmann, M.; Zeidler, D. Projection of the Danzer tiling. J. Phys. A Math. Gen. 1994, 27, 4505. [Google Scholar] [CrossRef]
- Kramer, P. Modelling of quasicrystals. Phys. Scr. 1993, T49, 343. [Google Scholar] [CrossRef]
© 2018 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).