Abstract
Ever since the discovery of quasicrystals, periodic approximants of these aperiodic structures constitute a very useful experimental and theoretical device. Characterized by packing motifs typical for quasicrystals arranged in large unit cells, these approximants bridge the gap between periodic and aperiodic positional order. Here we propose a class of sequences of 2D quasicrystals that consist of increasingly larger periodic domains and are marked by an ever more pronounced periodicity, thereby representing aperiodic approximants of a periodic crystal. Consisting of small and large triangles and rectangles, these tilings are based on the metallic means of multiples of 3, have a 6fold rotational symmetry, and can be viewed as a projection of a noncubic 4D superspace lattice. Together with the nonmetallicmean threetile hexagonal tilings, they provide a comprehensive theoretical framework for the complex structures seen, e.g., in some binary nanoparticles, oxide films, and intermetallic alloys.
Similar content being viewed by others
Introduction
The oncetraditional understanding of positional order in condensed matter, which postulates translational periodicity, permits only 2, 3, 4, and 6fold rotational symmetry. In 1984, this view was challenged by the observation of an icosahedral symmetry in an AlMn alloy^{1} immediately backed up theoretically by the now wellaccepted existence of quasiperiodic positional order, which are essential for a sharp diffraction pattern, in aperiodic quasicrystals (QCs), such as the Penrose tiling^{2}. In turn, the discovery of QCs offered a new perspective on complex crystalline lattices with large unit cells such as the FrankKasper phases^{3} (and tetrahedrally closepacked structures^{4} in general) and periodic crystals of large nearicosahedral clusters such as the Mackay icosahedra^{5}, some of which were found to bear considerable similarity with QCs and are thus referred to as QC approximants^{6,7}.
Approximants are among the cornerstones of QC science^{8,9}. In experiments, they are typically seen at a somewhat different temperature, pressure, composition, etc. than QCs^{10,11,12,13,14,15} and they signal the proximity of QCs^{16,17,18,19}, whereas theoretical studies of approximants allow one to explore structures that approach QCs in terms of both local arrangement of particles and material properties by using the mathematical apparatus developed for periodic crystals^{20,21,22}. Approximants show that the simple, smallunitcell periodic crystals and QCs are connected by a spectrum of structures that interpolate between the two extremes. This unified view of periodic crystals and QCs is further supported by the higherdimensional analysis where both are seen as projections of a hyperdimensional lattice onto the physical space with rational and irrational tangents^{8,9}.
Here we complement the established concept of periodic approximants by introducing structures that locally resemble periodic crystals but are globally quasicrystalline (Fig. 1a). We focus on a class of aperiodic approximants that are characterized by hexagonal symmetry^{23} and originate in the bronzemean tiling^{24} (Fig. 1b), their inflation factors being metallic means of multiples of 3 (Fig. 1c–j). By elaborating the subdivision rules, the higherdimensional analysis, and the diffraction patterns of the aperiodic approximants as well as by discussing their nonmetallicmean variants, we provide a comprehensive description of this particular type of incommensurately modulated structures. Our findings offer a new perspective of the manifestation of sixfold symmetry, which may be very elaborate as demonstrated, e.g., by the binary nanoparticle assemblies featuring twolengthscale inplane local motifs identical to those reported here^{25} and by the twinboundary superstructures theoretically predicted in monodisperse particles with a fairly simple pair interactions^{26,27}.
Results
Quasicrystalline hexagonal tilings
We construct several types of twolengthscale tilings with 6fold symmetry, both composed of small (ST) and large (LT) equilateral triangles of edge length S and L, respectively, and of L × S rectangles (R) seen in the fundamental dodecagon of the bronzemean tiling (Fig. 1b). In type IA tilings, the fundamental motif consist of a central rosette of 6 LT tiles, 6 radial spokes each containing n R tiles, and 6 wedges of ST tiles filling the gaps between the spokes (Fig. 1c–e and Supplementary Note 1). These tilings are additionally described by the number of rectangles along the short edge of the nextgeneration R tile denoted by m (Fig. 1k), or, equivalently, by the number of rows of ST tiles in the wedges of the fundamental motif measured in the radial direction as shown in Supplementary Fig. 2. Evidently m must be no smaller than n; for m = 2n the ST wedges reduce to rhombi.
As is common in selfsimilar patterns, the nextgeneration tiling can be obtained by magnifying the previousgeneration tiling by a suitable factor and then placing the fundamental motifs at its vertices. Within the ST wedges of the nextgeneration tiling, the fundamental motifs partly overlap so as to create a gapfree pattern. On the other hand, the fundamental motifs fill out most but not all of the area of the previousgeneration LT and R tiles.
Using this procedure, we find the subdivision scheme illustrated in Fig. 1k using the n = 3, m = 4 pattern. Upon subdivision, the two lengths of the ith generation tiling L_{i} and S_{i} transform as
The positive eigenvalue of the transformation matrix given by
is the inflation factor and the corresponding eigenvector gives the length ratio at which the pattern is selfsimilar: \(\phi _{{\mathrm{IA}}} = L/S = \left[ {  m + 2 + \sqrt {(m  2)^2 + 12n} } \right]/(2\sqrt 3 ).\) Also of interest are the numbers of long and short edges \(n_i^L\) and \(n_i^S\), respectively, which transform according to
In a selfsimilar tiling, the ratio of long and short edges ψ_{IA} = n^{L}/n^{S} is ϕ_{IA}/n.
If n = 2k/3 − 1 and m = k − 2, then the inflation factor of this tiling equals the metallic mean
(defined as the positive solution of the quadratic equation x^{2} − kx − 1 = 0), where k is a multiple of 3. By locking n and m with these two relations, we obtain a subset of type IA patterns which is of particular interest due to the singular role of metallic means in QCs epitomized by the golden and the silver mean behind the Penrose^{28,29} and the Ammann–Beenker tiling^{30,31}, respectively. In the metallicmean type IA tilings, the length ratio reads
and the ratio of long and short edges is
In the bronzemean k = 3 tiling, we have ϕ = ψ; for all other ks these ratios are different. Figure 1m shows the secondgeneration k = 6 type IA tiling, where \(\phi _{{\mathrm{IA}}} = \left( {  1 + \sqrt {10} } \right)/\sqrt 3 \approx 1.248\). Three more secondgeneration tilings are presented in Supplementary Note 2 where we also show zoomedin portions of second and thirdgeneration k = 9 type IA and IB tilings, respectively, which provide an insight complementary to the complete flowerlike patterns.
Type IA tiling is not the only 6fold pattern that can be constructed using ST, LT, and R tiles. In type IB, the central LT rosette of the bronzemean fundamental motif is enlarged so as to obtain a hexagonal patch of LT tiles with \(\tilde n\) triangles along an edge (Fig. 1g–i). This patch is encompassed by a ring consisting of ST and R tiles. The outermost layer contains 6 spokes, each with \(\tilde m\) radially oriented R tiles, and trapezoidal patches of LT tiles filling the space between the spokes. Like in type IA tilings, \(\tilde m\) is chosen so as to maximize the size of the fundamental motif consistent with the construction of the nextgeneration tiling.
The analysis of inflation in type IB tilings is analogous to that in type IA tilings. The transformation matrix in type IB counterpart of Eq. (1) reads
and the matrix in the type IB version of Eq. (3) is its transpose. Like in type IA tilings, type IB inflation factors given by \(\left[ {2\tilde n + \tilde m + 1 + \sqrt {(\tilde m  1)^2 + 4\tilde n(2 + \tilde m + \tilde n)} } \right]/2\) reduce to metallic means β_{k} for \(\tilde n = k/3\) and \(\tilde m = k/3  1\) if k is a multiple of 3. In a general twoparameter type IB tiling, the selfsimilar length ratio and the ratio of long and short edges are given by \(\phi _{{\mathrm{IB}}} = \left[ {2\tilde n + \tilde m  1 + \sqrt {(\tilde m  1)^2 + 4\tilde n(2 + \tilde m + \tilde n)} } \right]/(2\sqrt 3 \tilde n),\) and \(\psi _{{\mathrm{IB}}} = \tilde n\phi _{{\mathrm{IB}}}\), respectively, which in the multipleof3 metallicmean type IB tiling read \(\phi _{{\mathrm{IB}}} = \sqrt 3 \left( {k  2 + \sqrt {k^2 + 4} } \right)/(2k)\) and ψ_{IB} = kϕ_{IB}/3, respectively.
The most important feature of type IA and type IB patterns is that as k is increased, they are dominated by ST and LT tiles, respectively, so that they approach a periodic hexagonal crystal (Fig. 1c–j). These two types are not the only possible selfsimilar metallicmean tilings based on ST, LT, and R tiles. For each k, there exists a finite number of distinct types, each with a different transformation matrix and thus a different length ratio (Methods); the three additional k = 6 type I tilings are presented in Supplementary Note 3.
Higherdimensional representation
To provide a theoretical basis for these tilings, we construct their higherdimensional description based on a 4D superspace lattice with two lattice constants a and c rather than with a single one; in this respect, our analysis departs from existing constructions. We note that a generalization of the 6D superspace representation of the bronzemean hexagonal quasicrystal from ref. ^{24} is completely equivalent to the 4D representation proposed below.
We denote the orthogonal basis vectors that generate the fourdimensional hyperspace by e_{1}, e_{2}, e_{3}, and e_{4}, where e_{i} ⋅ e_{j} = δ_{ij} and δ_{ij} is the Kronecker delta. The points of the superspace lattice are given by \({\mathbf{r}} = \mathop {\sum}\limits_{j = 1}^4 {n_j} {\mathbf{a}}_j\), where n_{j} are integers and the basis vectors a_{j} read a u_{j} for odd j and by c u_{j} for even j; u_{j} constitute a direct sum of two hexagonal bases {u_{1}, u_{3}} ⊕ {u_{2}, u_{4}}:
Suppose that the projected lattice allows a 30° rotation and scaling transformations: \(\ell \to 1 \to \ell \to 1 \to \cdots\); here \(\ell\) is a yet undetermined parameter. The transformation matrix is given by
The real and imaginary parts of the eigenvector associated with the eigenvalue z = exp(iπ/6) of the T matrix are \({\mathbf{p}}_x^\parallel = \alpha \left( {1,0,\sqrt 3 \ell /2,  \ell /2} \right)\) and \({\mathbf{p}}_y^\parallel = \alpha \left( {0,1,\ell /2,\sqrt 3 \ell /2} \right)\), where \(\alpha = 1/\sqrt {\ell ^2 + 1} .\) These two vectors span an invariant subspace called the physical space. Similarly, the complementary invariant subspace referred to as the perpendicular space is spanned by \({\mathbf{p}}_x^ \bot = \alpha \left( {\ell ,0,  \sqrt 3 /2,1/2} \right)\) and \({\mathbf{p}}_y^ \bot = \alpha \left( {0,  \ell ,1/2,\sqrt 3 /2} \right)\).
The projection operator onto the physical space is defined by \(P_{jk}^\parallel = \mathop {\sum}\limits_{\gamma = x,{\kern 1pt} y} \; \left( {{\mathbf{p}}_\gamma ^\parallel \cdot {\mathbf{e}}_j} \right)\left( {{\mathbf{p}}_\gamma ^\parallel \cdot {\mathbf{e}}_k} \right)\) and reads
Note that P^{∥2} = P^{∥}. The complementary projection operator introduced by P^{⊥} = 1 − P^{∥} or, equivalently, by \(P_{jk}^ \bot = \mathop {\sum}\limits_{\gamma = x,{\kern 1pt} y} \; \left( {{\mathbf{p}}_\gamma ^ \bot \cdot {\mathbf{e}}_j} \right)\left( {{\mathbf{p}}_\gamma ^ \bot \cdot {\mathbf{e}}_k} \right)\) is
Using P^{∥} and P^{⊥}, we define the basis vectors in the physical and in the perpendicular space by \({\mathbf{a}}_j^\parallel \equiv P^\parallel {\mathbf{a}}_j\) and \({\mathbf{a}}_j^ \bot \equiv P^ \bot {\mathbf{a}}_j\), respectively. Thus we find that \(\left {{\mathbf{a}}_{{\mathrm{odd}}}^\parallel } \right = a{\mkern 1mu} \ell {\mkern 1mu} \alpha\), \(\left {{\mathbf{a}}_{{\mathrm{even}}}^\parallel } \right = c{\mkern 1mu} \alpha\), \(\left {{\mathbf{a}}_{{\mathrm{odd}}}^ \bot } \right = a{\mkern 1mu} \alpha\), and \(\left {{\mathbf{a}}_{{\mathrm{even}}}^ \bot } \right = c{\mkern 1mu} \ell {\mkern 1mu} \alpha\). The ratios of the lengths of even and odd basis vectors in the physical and in the perpendicular space are
respectively. The x and y components of \({\mathbf{a}}_j^\parallel\) in the physical space and those of \({\mathbf{a}}_j^ \bot\) in the perpendicular space are given by \(\left( {{\mathbf{a}}_j^\parallel \cdot {\mathbf{p}}_x^\parallel ,{\mathbf{a}}_j^\parallel \cdot {\mathbf{p}}_y^\parallel } \right)\) and \(\left( {{\mathbf{a}}_j^ \bot \cdot {\mathbf{p}}_x^ \bot ,{\mathbf{a}}_j^ \bot \cdot {\mathbf{p}}_y^ \bot } \right),\) respectively, and the projected basis vectors of k = 3 tilings are shown in Fig. 2. The basis vectors for k = 6, 9, 12, and ∞ type IA and IB tilings are discussed in Supplementary Note 4.
Now we need to choose the two parameters \(\ell\) and c/a so as to obtain a desired metallicmean hexagonal QC. The simplest way of introducing the characteristic lengthscale ratio in the physical space and ensuring that the projection window is compact is to require that \(\left {{\mathbf{a}}_{{\mathrm{odd}}}^\parallel } \right/\left {{\mathbf{a}}_{{\mathrm{even}}}^\parallel } \right = \phi _{{\mathrm{IA}}}\) and to choose \(\left {{\mathbf{a}}_{{\mathrm{even}}}^ \bot } \right/\left {{\mathbf{a}}_{{\mathrm{odd}}}^ \bot } \right = \psi _{{\mathrm{IA}}}\) for the type IA tiling [where ϕ_{IA} and ψ_{IA} are given by Eqs. (5) and (6), respectively] and analogously for the other type I tilings. These conditions imply that for type IA tiling
and
In type IB tiling, \(\left( {c/a} \right)_{{\mathrm{IB}}} = \sqrt {3/k}\) and \(\ell _{{\mathrm{IB}}} = \left( {\sqrt {k^2 + 4} + k  2} \right)/(2\sqrt k ),\) respectively. The values of these parameters for k = 3, 6, 9, and 12 as well as the corresponding ratios of basis vectors for type IA and IB tilings are tabulated in Supplementary Tables 2 and 3. Evidently the ratio of superspace lattice constants c/a is different from unity in all of our tilings except in the bronzemean k = 3 QCs.
Using these ratios, we now construct the projection windows in the perpendicular space. The position of a vertex of a tiling in the physical space is described by \({\mathbf{r}}^\parallel = \mathop {\sum}\limits_{j = 1}^4 {n_j} {\mathbf{a}}_j^\parallel\), where n_{j} are integers and \({\mathbf{a}}_j^\parallel\) are the physicalspace basis vectors of the tiling; inflation of tilings is elaborated in Methods. The same set of n_{i} also defines the position of the corresponding vertex in the perpendicular space \({\mathbf{r}}^ \bot = \mathop {\sum}\limits_{j = 1}^4 {n_j} {\mathbf{a}}_j^ \bot\), and these vertices constitute the projection windows. Figure 3a shows the projection windows for the k = 3, 6, 9, and 12 type IA and type IB tilings from Fig. 1b–e, g–i, which evidently tend to selfsimilar shapes as one proceeds with inflation from generation to generation.
Apart from their physicalspace structure, the key signature of each of our metallicmean tilings is its Fourier transform which captures the main features of its diffraction image (Methods). Figure 3b shows the transforms of finite but large type IA and type IB tilings with k = 3, 6, 9, and 12, with the intensities normalized by the central peak; the transforms of the k = 6 tilings are discussed in more detail in Supplementary Note 5. As k is increased the image clearly approaches the pattern characteristic for the hexagonal lattice, with the incommensurate peaks becoming ever smaller and ever closer to those representing the hexagonal lattice. The strongest peaks in k = 6, 9, and 12 type IA patterns have reciprocalspace vectors with indices (2, 1, 0, −1), whereas the strongest peaks in k = 6, 9, and 12 type IB have reciprocalspace vectors with indices (2, 1, 1, 0).
The hierarchical nature of the transforms with the prominent peaks and many smaller ones is rather evident, and the weaker peaks are consistent with the satellite reflections known from samples with a periodic arrangement of (anti)phasedomain boundaries^{26,32}, which gives rise to an incommensurately modulated periodic crystal if the period of the boundaries is not commensurate with that of the arrangement of atoms or other building blocks as appropriate^{8}. With their characteristic structure consisting of domains forming a quasiperiodic pattern, our metallicmean tilings can indeed be regarded as a special class of incommensurately modulated structures with an underlying periodic crystal and a set of modulation vectors from a quasicrystal with 6fold symmetry.
Hexagonal lattice as k → ∞ limit
The firstgeneration type IA and type IB sequences in Fig. 1b–j show that at large ks, these tilings are dominated by ST and LT tiles, respectively. By inspecting the patterns in Fig. 1k, we find that in type IA tiling the numbers of ST, LT, and R tiles in the (i + 1)th generation denoted by ST_{i+1}, LT_{i+1}, and R_{i+1}, respectively, are related to those in the ith generation by
The largest eigenvalue of the above matrix is \(\beta _k^2\). Its toprow components scale as k^{2} for large ks whereas the middle and the bottomrow components scale as 1 and k, respectively. As a result, ST tiles quickly outnumber LT and R tiles upon inflation, their frequency approaching unity at large ks (Fig. 4; Methods). An analogous argument shows that in largek type IB tilings the majority tiles are LTs, further proving that the k → ∞ limit of both types is the periodic hexagonal lattice. Convergence towards the hexagonal lattice is also reflected in the fact that although the rank of the Fourier module is 4 for all k, 2 of the wave vectors become vanishingly small as k → ∞ and so does the intensity of the corresponding incommensurate peaks. In this limit, only two reciprocalspace wavevectors remain finite (\({\mathbf{q}}_2^\parallel\) and \({\mathbf{q}}_4^\parallel\) in type IA tilings, \({\mathbf{q}}_1^\parallel\) and \({\mathbf{q}}_3^\parallel\) in type IB tilings, etc.) as implied by Fig. 3b and illustrated in the inset in Fig. 4 and discussed in Supplementary Note 4. This, in turn, means that for large k, the relative intensity of the spots I(q^{∥})/I(0) = 1.0 for any q^{∥} which is characteristic of the periodic hexagonal lattice. Yet another indication of the convergence is provided by the four basis vectors of the physical space, which cease to be linearly independent as k → ∞ (Supplementary Note 4).
Complementary tilings and accidental periodic crystals
The different type I tilings hardly exhaust the possible structures formed by ST, LT, and R tiles. In a variant of the bronzetiling mentioned in passing in ref. ^{24} and observed in ref. ^{25}, the fundamental motif consists of six ST tiles arranged in a hexagonal rosette (Fig. 1k of ref. ^{24}), six R tiles around them pointing in the radial direction, and six LT tiles filling the gaps between the R tiles. Upon inflation, this motif becomes decorated by smaller copies of itself rotated by 30° relative to the firstgeneration tiling; the orientation of the thirdgeneration dodecagons is again the same as in the first generation (Fig. 5a). In this respect, this pattern referred to as type II is quite different from type I tilings.
Like in type I tilings, we can construct generalized subdivision schemes for type II tilings parametrized by n and m (type IIA) and \(\tilde n\) and \(\tilde m\) (type IIB) as illustrated by the R tiles in Fig. 5c. In type IIA, we have
The columns in this transformation matrix are swapped compared to the matrix for type IA tilings [Eq. (1)]. Like in type I tilings, this matrix gives the inflation factor and the selfsimilar length ratio which read \(\left[ {\sqrt 3 (n + 1) + \sqrt {3(n  1)^2 + 8m} } \right]/2\) and \(\left[ {\sqrt 3 (n  1) + \sqrt {3(n  1)^2 + 8m} } \right]/(2m)\), respectively. In the n = m = 1 case shown in Fig. 5a, b, the inflation factor is \(\sqrt 2 + \sqrt 3\) which is a nonPisot number^{33} but its square \(5 + 2\sqrt 6\) corresponding to two consecutive subdivisions is; its selfsimilar length ratio is \(\sqrt 2\). Without going into details, we note that type IIB tiling is related to type IIA tiling just as type IB is related to type IA, and that the meaning of \(\tilde n\) and \(\tilde m\) is analogous as illustrated in Fig. 5c.
Although the main emphasis of the above discussion was on the multipleof3 metallicmean patterns, type II tilings show that the general twoparameter tiling scheme based on ST, LT, and R tiles is very rich, containing an infinite class of selfsimilar tilings of 6fold rotational symmetry concisely represented by their inflation factors. In Table 1 we list the inflation factors of type IA tilings given by Eq. (2) for n between 1 and 5 and m between n and n + 6, which emphasizes that the multipleof3 metallicmean tilings are just a small subset of the twoparameter ST/LT/R scheme; those for type IB and type IIA tilings are discussed in Supplementary Note 6 and listed in Supplementary Tables 4 and 5. Among the interesting nonmetallicmean special cases, we single out the n = 1, m = 2 type IA squaretriangle pattern with the inflation factor of \(2 + \sqrt 3\) known from the usual dodecagonal QCs, whose hexagonal arrangement was already studied^{33,34,35,36}. Also intriguing are the generalized type IA and IB tilings with m = 3n/2 and \(\tilde m = \tilde n\), respectively, which have integer inflation factors (Table 1 and Supplementary Table 4). As the points in their diffraction pattern are placed at those of the triangular lattice but are not dense, the type IA tilings with m = 3n/2 are limitperiodic rather than aperiodic^{33,37}. On the other hand, the \(\tilde n = \tilde m\) type IB tilings which too have integer inflation factors are periodic crystalline rather than quasicrystalline because they consist of a single type of domains as shown by Supplementary Fig. 12. Given that these tilings are still characterized by a single inflation factor (which is equal to \(3\tilde n + 1\)) their periodicity appears to be accidental. Together with the main body of results presented above, these examples illustrate how our hexagonal QCs contribute to the generic theory of tilings, especially to the kuniform tilings that are not based on regular polygons^{30}.
Discussion
The hexagonal QCs based on ST, LT, and R tiles can be directly related to twolengthscale superstructures seen in several systems including binary nanoparticles^{25}, intermetallic alloys^{38}, and oxide QC approximants^{39}, which do contain such tiles. These experimentally observed structures are generally less neatly ordered than, e.g., the pattern in Fig. 1m, which may be attributed to phason flips^{40} whereby the periodic domains can either expand or shrink by collective displacement of a row of R tiles forming the twin boundary. The ensuing structures can thus be regarded as randomized versions of our QCs^{41,42}. It is natural to wonder what may be the possible physical mechanisms behind the generally large distance between the domain/twin boundaries and the sophisticated patterns such as that in Fig. 1m. The theoretical insight into domainwall incommensurate phases in systems with a simple isotropic pair interaction^{26,27} suggests that the forces needed to stabilize such patterns need not be very complex, implying that they may well appear in an atomic or colloidal material even if it consists of a single type of particles.
The late members of the multipleof3 metallicmean selfsimilar hexagonal QCs described here approach the periodic hexagonal crystal; the nonmetallicmean QCs consisting of small and large triangles and rectangles must do so too. As such, these QCs can be regarded as aperiodic approximants of periodic crystals formed by increasing the size of their domains that consist of majority triangles, much like periodic approximants approach QCs as the size of their unit cells grows. We expect that there exist other types of aperiodic approximants with traditionally allowed rotational symmetry. For example, it is conceivable that 4fold approximants may be derived from the Ammann–Beenker tiling by replacing the singlelength squarerhombus tiling scheme by a twolengthscale set of tiles including a small and large square and a parallelogram. Whether our approach can be used to construct approximants of QCs with a rotational symmetry that is coprime to any periodic crystal (e.g., 5fold) remains an open question.
The aperiodic approximants proposed here resonate with two established concepts in QCs. Firstly, our hexagonal QCs can be likened to the random squaretriangle tilings^{41,42,43} which constitute the dodecagonal QC if the triangletosquare ratio is \(4/\sqrt 3 \approx 2.3094\), and reduce to the hexagonal and the square lattice if the ratio is infinite and 0, respectively. At large but finite ratios, these tilings consist of random hexagonallattice domains separated by domain walls of squares; our QCs are domain structures too and they approach the hexagonal lattice in the limit of k → ∞ but the domains form a regular hierarchical pattern. At the same time, we can draw an analogy between our aperiodic approximants and the wellknown 1D Fibonacci QCs^{44} based on the substitution rule A → A^{k}B, B → A. These QCs can too be viewed as a simple type of sequence of aperiodic approximants because as k → ∞, the number ratio of the short and the long segments vanishes so that the Fibonacci QCs approach a 1D periodic crystal. Together with the experimental indications mentioned above, these parallels support the notion of apeiodic approximants as incommensurately modulated structures characterized by locally periodic but globally quasiperiodic positional order.
Methods
Generalized transformation matrix and distinct types of tilings
Type IA and IB tilings do not exhaust the metallicmean patterns at a given k; at k = 6, there exist a total of five of them shown in Supplementary Fig. 8. To see how the different types emerge, note that the matrices describing the transformation of the long and the short length of type IA and type IB patterns [Eqs. (1) and (7)] can be viewed as special cases of a generalized transformation matrix of the form
where α, β, γ, and δ are positive integers. If this matrix is to define a subdivision rule, α must be larger than 1. The characteristic equation of the matrix is λ^{2} − (α + δ)λ + αδ − 3βγ = 0. If α + δ = k and αδ − 3βγ = −1, then the positive eigenvalue of the matrix, which represents the inflation factor, is the metallic mean β_{k}. This shows that there exist several combinations of α, β, γ, and δ that lead to the same metallicmean eigenvalue.
For k = 3, the only choice of the four parameters consistent with the constraints is α = 2, β = 1, γ = 1, and δ = 1 but for k = 6 there are six combinations listed in Supplementary Table 1 and arranged in ascending order of α and β. Two of them represent type IA and type IB tilings, which are elaborated in the main text, and the remaining four are described in Supplementary Note 3. In Supplementary Table 1, we also list the selfsimilar length ratio L/S defined by the eigenvector corresponding to the positive eigenvalue of the transformation matrix in Eq. (17), which reads
The construction of type ICF tilings proceeds by deriving the subdivision rules. Using the transformation matrix, we first determine the number of tiles with long and short edges to fit along either edge of the R tile as well as their orientation, the latter pertaining to ST and LT tiles. After that, we arrange the secondgeneration tiles along the four edges and then we fill out the rest of the R tile such that the subdivision pattern is characterized by two perpendicular mirror planes through the center and parallel to the edges. This involves some educated guessing as well as some trial and error. After the subdivision rule for the R tile is established, we also construct the rules for the LT and ST tiles, again starting from a given arrangement of secondgeneration tiles along the edges. This procedure leads to patterns presented in Supplementary Note 3.
Inflation of tilings
Upon inflation, r^{∥} of the ith generation tiling is transformed to \({\mathbf{r}}^\parallel = \mathop {\sum}\limits_{j = 1}^4 {n_j} (i + 1){\mathbf{a}}_j^\parallel\) in the (i + 1)th generation tiling. The transformation matrix relating the tilingvector indices of the ith generation and the (i + 1)st generation general type IA tiling parametrized by n and m is
The transformation matrix relating the tilingvector indices of the ith generation and the (i + 1)st generation general type IB tiling parametrized by \(\tilde n\) and \(\tilde m\) is
Inflation matrices for tiles
To compute the frequency of the majority tiles, we examine the numbers of ST, LT, and R tiles in type IA and type IB tilings; these numbers in the ith generation tiling are denoted by ST_{i},LT_{i}, and R_{i}, respectively. We first spell out the recursive relation for a general type IA tiling parametrized by n and m
and for general type IB tiling parametrized by \(\tilde n\) and \(\tilde m\)
In the metallicmean type IA tilings where n = 2k/3 − 1 and m = k − 2,
whereas in the metallicmean type IB tilings where \(\tilde n = k/3\) and \(\tilde m = k/3  1\),
The largest eigenvalue of matrices in Eqs. (23) and (24) is \(\beta _k^2 = \left( {k^2 + k\sqrt {k^2 + 4} + 2} \right)/2\). The first component of the corresponding eigenvector in type IA tilings is
which amounts to 0.652, 0.787, and 0.849 for k = 6, 9, and 12, respectively. As k → ∞, type IA tiling is evidently dominated by ST tiles as the majority tile as shown in Fig. 4 of the main text, which implies that it reduces to the hexagonal lattice. In type IB tilings, the majority tiles in the limit of k → ∞ are LT tiles as witnessed by the relative magnitude of entries in the top, middle, and bottom row of the matrix in Eq. (24). Their frequency is given by the second component of the largesteigenvalue eigenvector is
giving 0.713, 0.813, and 0.862 for k = 6, 9, and 12, respectively. This shows that as k → ∞, type IB tilings also converge to the hexagonal lattice.
Fourier transform
To evaluate the Fourier transform of the metallicmean tiling exactly, we first define the reciprocalspace basis vectors q^{∥} such that a_{j} ⋅ q_{j′} = 2πδ_{jj'}, where δ_{jj'} is the Kronecker delta: q_{j} are given by (2π/a)v_{j} for odd j and by (2π/c)v_{j} for even j, where
The projected reciprocalspace basis vectors are shown in Fig. 2c, d, respectively. The ratios of lengths of the basis vectors in the physical and the perpendicular space are \(\left {{\mathbf{q}}_{{\mathrm{odd}}}^\parallel } \right/\left {{\mathbf{q}}_{{\mathrm{even}}}^\parallel } \right = c\ell /a = \psi\) and \(\left {{\mathbf{q}}_{{\mathrm{even}}}^ \bot } \right/\left {{\mathbf{q}}_{{\mathrm{odd}}}^ \bot } \right = a\ell /c = \phi ,\) respectively. These ratios are the inverses of those in the physical space.
The following identity holds for any pair of vectors x(k) = (x^{∥}, x^{⊥}) and q = (q^{∥}, q^{⊥}): 1 = exp(iq ⋅ x(k)) = exp(iq^{∥} ⋅ x^{∥})exp(iq^{⊥} ⋅ x^{⊥}). If the particles’ positions are described by δfunctions so that the density reads \(f({\mathbf{r}}^\parallel ) = \mathop {\sum}\limits_{k = 1}^N \delta \left( {{\mathbf{r}}^\parallel  {\mathbf{x}}^\parallel (k)} \right)\) where the sum goes over all particles, then the Fourier transform of the density is given by \({\int} d {\mathbf{r}}^\parallel \exp \left( {  i{\mathbf{q}}^\parallel \cdot {\mathbf{r}}^\parallel } \right)f({\mathbf{r}}^\parallel ) = \mathop {\sum}\limits_{k = 1}^N {\exp } \left( {  i{\mathbf{q}}^\parallel \cdot {\mathbf{x}}^\parallel (k)} \right) = \mathop {\sum}\limits_{k = 1}^N {\exp } \left( {i{\mathbf{q}}^ \bot \cdot {\mathbf{x}}^ \bot (k)} \right).\)
Data availability
The whole datasets are available from the corresponding author on reasonable request.
Code availability
The codes used to construct the tilings and the projection windows are available from the corresponding author on reasonable request.
References
Shechtman, D., Blech, I., Gratias, D. & Cahn, J. W. Metallic phase with longrange orientational order and no translational symmetry. Phys. Rev. Lett. 53, 1951–1953 (1984).
Levine, D. & Steinhardt, P. J. Quasicrystals: a new class of ordered structures. Phys. Rev. Lett. 53, 2477–2480 (1984).
Frank, F. C. & Kasper, J. S. Complex alloy structures regarded as sphere packings. I. Definitions and basic principles. Acta Cryst. 11, 184 (1958).
Shoemaker, D. P. & Shoemaker, C. B. Concerning the relative numbers of atomic coordination types in tetrahedrally close packed metal structures. Acta Cryst. B 42, 3–11 (1986).
Mackay, A. L. A dense noncrystallographic packing of equal spheres. Acta Cryst. 15, 916–918 (1962).
Elser, V. & Henley, C. L. Crystal and quasicrystal structures in AlMnSi alloys. Phys. Rev. Lett. 55, 2883–2886 (1985).
Goldman, A. I. & Kelton, R. F. Quasicrystals and crystalline approximants. Rev. Mod. Phys. 65, 213–230 (1993).
Janssen, T., Chapuis, G. & de Boissieu, M. Aperiodic Crystals: From Modulated Phases to Quasicrystals. (Oxford University Press, Qxford, 2007).
Steurer, W. & Deloudi, S. Crystallography of Quasicrystals: Concepts, Methods and Structures. (Springer, Berlin, 2009).
Takakura, H., J. Guo, J. & Tsai, A.P. Crystal and quasicrystal structures in Cd_{6}Yb and Cd_{6}Ca binary alloys. Philos. Mag. Lett. 81, 411–418 (2001).
Gomez, C. P. & Lidin, S. Structure of Ca_{13}Cd_{76}: a novel approximant to the MCd_{5.7} quasicrystals (M = Ca, Yb). Angew. Chem. Int. Ed. 40, 4037–4039 (2001).
Fujita, N., Takano, H., Yamamoto, A. & Tsai, A.P. Clusterpacking geometry for Albased Ftype icosahedral alloys. Acta Cryst. A69, 322–340 (2013).
Takano, A. et al. A mesoscopic Archimedean tiling having a new complexity in an ABC star polymer. J. Polym. Sci. Part B: Polym. Phys. 43, 2427–2432 (2005).
Ungar, G., Liu, Y., Zeng, X., Percec, V. & Cho, W.D. Giant supramolecular liquid crystal lattice. Science 21, 1208–1211 (2003).
Lee, S., Bluemle, M. J. & Bates, F. S. Discovery of a FrankKasper σ phase in sphereforming block copolymer melts. Science 330, 349–353 (2010).
Zeng, X. et al. Supramolecular dendritic liquid quasicrystals. Nature 428, 157–160 (2004).
Hayashida, K., Dotera, T., Takano, A. & Matsushita, Y. Polymeric quasicrystal: Mesoscopic quasicrystalline tiling in ABC star polymers. Phys. Rev. Lett. 98, 195502 (2007).
Chanpuriya, S. et al. Cornucopia of nanoscale ordered phases in sphereforming tetrablock terpolymers. ACS Nano 10, 4961–4972 (2016).
Bindi, L., Pham, J. & Steinhardt, P. J. Previously unknown quasicrystal periodic approximant found in space. Sci. Rep. 8, 16271 (2018).
Krajčí, M., Windisch, M., Hafner, J., Kresse, G. & Mihalkovič, M. Atomic and electronic structure of icosahedral AlPdMn alloys and approximant phases. Phys. Rev. B. 51, 17355–17378 (1995).
Takeuchi, T. & Mizutani, U. Electronic structure, electron transport properties, and relative stability of icosahedral quasicrystals and their 1/1 and 2/1 approximants in the AlMgZn alloy system. Phys. Rev. B 52, 9300–9309 (1995).
Takakura, H., Gómez, C. P., Yamamoto, A., de Boissieu, M. & Tsai, A. P. Atomic structure of the binary icosahedral YbCd quasicrystal. Nat. Mater. 6, 58–63 (2007).
Lifshitz, R. Quasicrystals: a matter of definition. Found. Phys. 33, 1703–1711 (2003).
Dotera, T., Bekku, S. & Ziherl, P. Bronzemean hexagonal quasicrystal. Nat. Mater. 16, 987–992 (2017).
Ye, X. et al. Quasicrystalline nanocrystal superlattice with partial matching rules. Nat. Mater. 16, 214–219 (2017).
Engel, M. Entropic stabilization of tunable planar modulated superstructures. Phys. Rev. Lett. 106, 095504 (2011).
Schoberth, H. G. et al. Molecular dynamics study of colloidal quasicrystals. Soft Matter 12, 7644–7654 (2016).
Penrose, R. The role of aesthetics in pure and applied mathematical research. Bull. Inst. Math. Appl. 10, 266–271 (1974).
Mackay, A. L. Crystallography and the Penrose pattern. Phys. A 114, 609–613 (1982).
Grünbaum, B. & Shephard, G. C. Tilings and Patterns. (Freeman, New. York, 1986).
Beenker, F. P. M. Algebraic theory of nonperiodic tilings of the plane by two simple building blocks: A square and a rhombus. THReport 82WSK04, 1–64 (Eindhoven University of Technology, 1982).
Glossop, A. B. & Pashley, D. W. The direct observation of antiphase domain boundaries in ordered coppergold (CuAu). Proc. Roy. Soc. A 250, 132–146 (1959).
Baake, M. & Grimm, U. Aperiodic Order: Volume 1, A Mathematical Invitation. (Cambridge University Press, Cambridge, 2013).
Stampfli, P. Dodecagonal quasiperiodic lattice in two dimensions. Helv. Phys. Acta 59, 1260–1263 (1986).
Paredes, R., Aragón, J. L. & Barrio, R. A. Nonperiodic hexagonal squaretriangle tilings. Phys. Rev. B 58, 11990–11995 (1998).
Sadoc, J. F. & Mosseri, R. Quasiperiodic FrankKasper phases derived from the squaretriangle dodecagonal tiling. Struct. Chem. 28, 63–73 (2017).
Marcoux, C., Byington, T. W., Qian, Z., Charbonneau, P. & Socolar, J. E. S. Emergence of limitperiodic order in tiling models. Phys. Rev. E 90, 012136 (2014).
Ishimasa, T. Dodecagonal quasicrystals still in progress. Isr. J. Chem. 51, 1216–1225 (2011).
Förster, S. et al. Observation and structure determination of an oxide quasicrystal approximant. Phys. Rev. Lett. 117, 095501 (2016).
Socolar, J. E. S., Lubensky, T. C. & Steinhardt, P. J. Phonons, phasons, and dislocations in quasicrystals. Phys. Rev. B 34, 3345–3360 (1986).
Kawamura, H. Statistics of twodimensional amorphous lattice. Prog. Theor. Phys. 70, 352–365 (1983).
Widom, M. Bethe ansatz solution of the squaretriangle random tiling model. Phys. Rev. Lett. 70, 2094–2097 (1993).
Collins, R. Statistics of a simplified twodimensional Bernal liquid. Proc. Phys. Soc. 83, 553–564 (1964).
Kalugin, P. A., Kitayev, A. Y. & Levitov, L. S. Electron spectrum of a onedimensional quasicrystal. J. Exp. Theor. Phys. 91, 692–701 (1986). [Sov. Phys. JETP 64, 410–415 (1986)].
Acknowledgements
This project has been supported by Japan Society for the Promotion of Science through GrantinAid for Scientific Research (B) (No. 16H04037) and (C) (No. 19K03777) as well as through the JapaneseSlovenian bilateral project No. BIJP/1921004 cofunded by the Slovenian Research Agency, and it has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie SkłodowskaCurie grant agreement No. 642774. We acknowledge the financial support from the Slovenian Research Agency (research core funding No. P10055). The authors thank Y. Matsushita and A. Takano for allowing us to use unpublished TEM images shown in Fig. 1a, and are grateful to S. Akiyama and M. Engel for helpful conversations.
Author information
Authors and Affiliations
Contributions
J.N. proposed the tiling theory, and T.D., P.Z. conceived the project. J.M. performed the higherdimensional analysis, and all authors elaborated the whole theory. T.D. & P.Z. wrote the paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Peer review information Nature Communications thanks Latham Boyle and the other, anonymous, reviewers for their contribution to the peer review of this work.
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nakakura, J., Ziherl, P., Matsuzawa, J. et al. Metallicmean quasicrystals as aperiodic approximants of periodic crystals. Nat Commun 10, 4235 (2019). https://doi.org/10.1038/s4146701912147z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s4146701912147z
This article is cited by

Aperiodic approximants bridging quasicrystals and modulated structures
Nature Communications (2024)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.