Introduction

On 8 April 1982, at the National Bureau of Standards (Gaithersburg Maryland USA), Dan Shechtman [1] observed an impossible electron diffraction pattern in rapidly solidified alloy close to the composition Al\(_6\)Mn with well-defined typical crystalline Bragg peaks but distributed on regular decagons! In his notebook, he wrote “ten-fold???” in front of the micrograph reference number.

It turned out that most of the basic questions posed by this apparently paradoxical and revolutionary observation had already been almost completely answered by Alan L. Mackay in two previous papers.

The first paper [2] De Nive Quiquangula: On the pentagonal snowflake was submitted to Kristallographyia on 4 April 1981 and published in the September–October issue. Alan L. Mackay explicitly demonstrated the possible relevance of the Penrose 2D tiling and its 3D equivalent (rhombic triacontahedron) in modern crystallography. Alan L. Mackay wrote in this first paper almost exactly 1 year before Shechtman’s first observation of quasicrystals: “...it gives an example of a pattern of the type which might well be encountered but which might go unrecognized if unexpected ...”.

The second paper [3] is the experimental demonstration that Penrose patterns diffract on an apparently discrete set of Bragg peaks—in fact, a dense enumerable set with almost all peaks having weak intensities for being observable—by irradiating a photograph of a Penrose pattern by a LASER beam.

The two papers contained the very basic ingredients for the understanding of Shechtman’s paradoxical electron diffractions, but, unfortunately, he and his co-authors—and perhaps, much later, the members of the Nobel committee for Chemistry ...—were not aware of them. Beyond these two outstanding articles, Alan L. Mackay wrote another fundamental piece [4] of crystallography in 1962 where he proposed a new possible icosahedral atom packing for small aggregates. The basic ingredient is the elementary tetrahedron defined by the center \(\varOmega\) and the three vertices \(\{ (0,0,0),(1,\tau ,0), (\tau ,0,1),(0,1,\tau )\}\) of one of the triangular faces of a regular icosahedron as shown in Fig. 1. This is an almost perfect regular tetrahedron with two very close lengths of edge in the ratio \(2\sqrt{(3-\tau )/5}\approx 1.05146\) with one equilateral triangular facet and the three others with an angle \(\cos \alpha = \tau /(2+\tau )\), i.e., \(\alpha \approx 63^\circ 26'\).

Mackay’ idea was to design a new type of packing around a center using this kind of tetrahedra. Hence, the first shell of the cluster is the icosahedron itself and the second shell with 42 atoms is an icosahedron twice larger plus an icosidodecahedron generating the new vertices at the mid-edges of the large icosahedron as shown in the right of Fig. 1. The construction process was thus iterated to any order n by adding icosahedra of radius n times larger that the initial ico and filling the triangular facets in an hexagonal 2D network like the (1, 1, 1) planes in a FCC metal.

Fig. 1
figure 1

Ideal Mackay cluster is the stacking of the two first shells of an almost perfect tetrahedron, drawn on the left, defined by a triangular facet and the center of a regular icosahedron. This cluster is made of 54 sites plus a center: a small inner icosahedron (12) and extra shell of an icosidodecahedron (30) with atoms on the middle of the edges of an external icosahedron (12) of radius twice larger than the inner one

In fact, only the icosahedral cluster made of the two first atomic shells has so far been experimentally identified in complex metallic alloys. It is made of (see Fig. 1):

  • a center that is or not occupied by an atom;

  • a first shell of a inner icosahedron of radiusFootnote 1 \(\sqrt{2+\tau }/2\);

  • a second shell with a large icosahedron of radius \(\sqrt{2+\tau }\) twice larger that the previous one;

  • an icosidodecahedron of radius \(\tau\) belonging to the second shell.

This specific cluster of 54 sites is actually called the Mackay cluster. It was proven early on [58] to be one of the basic atomic units in the structure of many icosahedral quasicrystals and their approximants.

By extension, we designate as Mackay-type clusters, atomic clusters that have a double icosahedron plus an icosidodecahedron not necessarily in the ideal ratio previously given. Finally, pseudo-Mackay clusters are clusters with an icosahedron plus a icosidodecahedron as second shell with no specific requirement concerning the first shell (see for instance [9]).

Our present purpose here is to discuss how the Mackay clusters and their derivatives are easily and nicely generated in the cut algorithm from periodic 6D description of the icosahedral phases. To achieve this goal, we shall first give a brief review of the cut and project method and the basic ND crystallography concepts used to describe quasicrystals. In the second part, we will review the various avatars of the Mackay clusters that are encountered in both icosahedral and approximant structures and discuss how they integrate into the general 6D scheme of using special points in the frame of the cut and project method. We will finally discuss shortly the other typical atomic clusters frequently encountered in the icosahedral phases.

N-dim crystallography

As initially demonstrated by de Bruijn [10, 11] for Penrose tilings, ideal quasicrytals can be described as 3-dim cuts of periodic objects in \(N>3\)-dim space, \(\mathbf{E }^{N}\), irrationally oriented with respect to the N-dim lattice \(\varLambda\) of the periodic structure, sketched in Fig. 2 as independently proposed by Duneau and Katz [12], Elser [13] and Kalugin et al. [14]. This method, known as the cut method, is a direct and simple way of generating quasiperiodic tilings often called model sets \(\mathscr{M}\). It uses the following ingredients:

  • a N-dim space \(\mathbf{E }^{N}\), here \(\mathbb {R}^6\), having a pair of complementary subspaces: \(\mathbf{E }_\parallel\), here \(\mathbb {R}^3\), is the physical space containing the model set characterized by the projector \(\hat{\pi }_\parallel\) and \(\mathbf{E }_\perp\), here \(\mathbb {R}^3\), the internal space characterized by the complementary projector \(\hat{\pi }_\perp\), and such that:

    $$\begin{aligned} \mathrm{E}^N&= \mathbf{E }_\parallel \oplus \mathbf{E }_\perp \end{aligned}$$
    (1)
    $$\begin{aligned} \forall X&\in \mathrm{E}^N\quad X= x_\parallel + x_\perp ,\quad x_\parallel = \hat{\pi }_\parallel X,\quad x_\perp = \hat{\pi }_\perp X \end{aligned}$$
    (2)
  • a lattice \(\varLambda \subset \mathbf{E }^{N}\); and

  • one or several bounded windows or acceptance windows \(\sigma \subset \mathbf{E }_\perp\) that define the so-called atomic surfaces in \(\mathbf{E }_\perp\). The quasiperiodic set \(\mathscr{M}\) is thus defined by:

    $$\begin{aligned} \mathscr{M} = \{ \hat{\pi }_\parallel \lambda , \ \lambda \in \varLambda \ |\ \hat{\pi }_\perp \lambda \in \sigma \} \end{aligned}$$
    (3)

Real quasicrystals are usually described with several acceptance windows \(\sigma _i\) associated with the various atomic species and their geometric environments; they play the same role as Wyckoff positions for standard crystals.

Fig. 2
figure 2

a The cut method corresponding to the Definition 3 is equivalent in copying the acceptance window \(\sigma\) at each lattice node as drawn in (b). This allows for a natural generalization of the notion of Wyckoff positions in \(\mathbf{E }^{N}\): a quasiperiodic structure is defined by a set of positions \(X_i\) in the N-dim unit cell, each associated with a given specific acceptance window \(\sigma _i\) that we call atomic surface to conform to the superspace description (see for instance [15]) used for incommensurate structures

Atomic surfaces associated with atomic clusters

The first task to achieve is to find a systematic procedure that allows for the definition of the atomic surfaces (AS) associated with a given atomic cluster defined as a set of neighbor atoms that repeats with a high frequency in the structure such that if one atom of the set is present in the structure then all atoms of the set are present: the same set of atoms occurs in the same configuration.

Let \(\sigma _0\) be the AS associated with the center of the cluster. Our main assumption is that the cluster is a set of positions \(\hat{\pi }_\parallel t_j\) corresponding to the parallel projections of rational positionsFootnote 2 \(t_j\) in \(\varLambda\) of \(\mathbf{E }^{N}\). The way of defining the complete set of ASs generating the cluster in N-dim spaces is sketched in Fig. 3 and goes as follows.

  • Copy \(\sigma _0\) parallel to \(\mathbf{E }_\parallel\) at the various locations \(\hat{\pi }_\parallel t_j\) defining the cluster.

  • Associate each translated \(\sigma _0\) on the locations \(t_j\) displaced in \(\mathbf{E }_\perp\) by \(\hat{\pi }_\perp t_j\).

  • Complete this AS around \(t_j\) with all its copies in the little group H of \(t_j\).

Fig. 3
figure 3

A simple example of constructing the AS necessary to generate a specific cluster starting from the AS \(\sigma _0\) (blue) generating the center of the cluster. a The redgreen cluster is defined by two orbits, red and green, that are projections in \(\mathbf{E }_\parallel\) of lattice points \(t_1=(n,m)\). We copy \(\sigma _0\) along the horizontal line (\(\mathbf{E }_\parallel\)) at the level of the projections of the lattice nodes (red) and (green). b Copying these surfaces on all equivalent sites, we obtain the set of atomic surfaces that generates the red–green cluster. c General drawing of the full 2D model: any horizontal cut leads to a quasiperiodic sequence of red–green clusters (Color figure online)

Thus, an atomic cluster AC made of N orbits of atoms, each orbit j of \(M_j\) surrounding atoms characterized by translations \(\hat{\pi }_\parallel t_j^k\) is defined by:

$$\begin{aligned} {\hbox {AC}}=\cup _{j=1}^N \cup _{k=1}^{M_j} \hat{\pi }_\parallel t_j^k; \end{aligned}$$

its corresponding generating global AS, say \({\hbox {AS}}_\mathrm{AC}\), is obtained by the union of all \(\sigma _0\)’s located in \(\mathbf{E }_\perp\) at \(\hat{\pi }_\perp t_j^k\) sites in 6D:

$$\begin{aligned} {\hbox {AS}}_\mathrm{AC} = \cup _{j=1}^N \cup _{k=1}^{M_j} \sigma _0(\hat{\pi }_\perp t_j^k). \end{aligned}$$

The AS attached to the position \(t_j\) is a copy of \(\sigma _0\) displaced by \(\hat{\pi }_\perp t_j\) completed by its copies in the little group H of order \(n_j\), of \(t_j\):

$$\begin{aligned} {\hbox {AS}}_j = \cup _{k=1}^{n_j} \sigma _0\left( \hat{h}_k\hat{\pi }_\perp t_j\right) ;\quad \hat{h}_k\in H \end{aligned}$$
(4)

This formula applies for any kind of atomic clusters whatever symmetry and/or dimension of the configurational space. The choice of \(\sigma _0\) is crucial. The first criterion is to choose \(\sigma _0\) as large as possible in order to have the highest frequency of clusters—that are supposed to be typical—in the structure. The second criterion is that most of the atoms of the clusters should belong to one cluster only. This requires that for any two \(\sigma _0\), say k and \(k'\), of a given orbit of the cluster has no intersection:

$$\begin{aligned} \forall h_k, h_{k'} \in H\ k\ne k',\quad \sigma _0(\hat{h}_k\hat{\pi }_\perp t_j)\cap \sigma _0(\hat{h}_{k'}\hat{\pi }_\perp t_j) = \emptyset \end{aligned}$$

The icosahedral phase is described in a 6D space that decomposes into the two usual 3D subspaces \(\mathbf{E }_\parallel\) and \(\mathbf{E }_\perp\). The real physical space \(\mathbf{E }_\parallel\) is generated by the three vectors orthonormal vectors \(\{|\alpha \rangle \}\), and \(\mathbf{E }_\perp\) is generated by the three orthonormal vectors \(\{|\bar{\alpha }\rangle \}\). The orthonormal basis of the 6 unit vectors \(\{|1\rangle ,\ldots ,|6\rangle \}\) in 6D projects in \(\mathbf{E }_\parallel\) and \(\mathbf{E }_\perp\) according to the coordinates given in Table 1. Introducing \(\mathscr{K} = 1/\sqrt{2(2+\tau )}\), we thus obtain the matrix \(\widehat{\mathbf {R}}\) relating the reference frame \(\{|1\rangle ,\ldots ,|6\rangle \}\) with \(\{|\alpha \rangle ,|\bar{\alpha }\rangle \}\):

$$\begin{aligned} \widehat{\mathbf {R}} =\mathscr{K} \left( \begin{array}{llllll} 1 &{}\quad \tau &{}\quad 0 &{}\quad -1 &{}\quad \tau &{}\quad 0 \\ \tau &{}\quad 0 &{}\quad 1 &{}\quad \tau &{}\quad 0 &{}\quad -1 \\ 0 &{}\quad 1 &{}\quad \tau &{}\quad 0 &{}\quad -1 &{}\quad \tau \\ -\tau &{}\quad 1 &{}\quad 0 &{}\quad \tau &{}\quad 1 &{}\quad 0 \\ 1 &{}\quad 0 &{}\quad -\tau &{}\quad 1 &{}\quad 0 &{}\quad \tau \\ 0 &{}\quad -\tau &{}\quad 1 &{}\quad 0 &{}\quad \tau &{}\quad 1\\ \end{array}\right) ;\quad \left( \begin{array}{l} \alpha _x \\ \alpha _y \\ \alpha _z \\ \bar{\alpha }_x \\ \bar{\alpha }_y \\ \bar{\alpha }_z \end{array}\right) = \widehat{\mathbf {R}} \left( \begin{array}{l} n_1\\ n_2\\ n_3\\ n_4\\ n_5\\ n_6 \end{array}\right) \end{aligned}$$

Under these notations, the main special positions of the groups Pm35 and Fm35 are listed in Table 2.

Table 1 Coordinates of the projections of the 6 unit vectors \(|i\rangle\), \(\langle \alpha |i\rangle\) in \(\mathbf{E }_\parallel\), and \(\langle \bar{\alpha }|i\rangle\) in \(\mathbf{E }_\perp\), for the icosahedral phases in 6D
Table 2 Special positions and their little groups in the 6D unit-cell for the groups Pm35 (\(G_\mathrm{P}\)) and Fm35 (\(G_\mathrm{F}\))
Fig. 4
figure 4

Top optimal atomic surfaces associated with the main orbits generated by the nodes and body-centers for P and F 6D-lattices using the Henley triacontahedron \(T_\mathrm{H}\) as \(\sigma _0\). Bottom the corresponding atomic clusters

The simplest possible atomic clusters are those that are generated from the highest symmetry special positions \(V_j\) in \(\mathbf{E }^{6}\). In the present case of P and F 6D-lattices, these are the lattice node (0, 0, 0, 0, 0, 0) and the body-center of type (1, 1, 1, 1, 1, 1) / 2 that decomposes in four orbits in \(\mathbf{E }_\parallel\), all of little group m35.

Using these two positions, we generate several important orbits as those given in Fig. 4. The best \(\sigma _0\) is defined by the elementary triacontahedron, convex hull of the projection in \(\mathbf{E }_\perp\) of the primitive unit cell, rescaled by \(\tau ^{-2}\) and truncated along the 5f-directions as introduced long ago by Henley [7, 16]. We designate it for short as the Henley Triacontahedron and note it \(T_\mathrm{H}\) in Fig. 4 (on top left).

Close examination of the large ASs noted from 1 to 9 in Fig. 4 shows that the \(T_\mathrm{H}\) of the orbits 1 to 4 around the node, and those of the orbits 5 and 6 around the bc, are remarkably optimized: the \(T_\mathrm{H}\) are perfectly connected together by either the 2f- or 5f-directions with no overlaps. Moreover, the ASs 1 to 4 on the node and 5 and 6 on the bc fit perfectly, here too with no overlaps between the \(T_\mathrm{H}\). These basic ASs in \(\mathbf{E }_\perp\) generate the following cluster orbits in \(\mathbf{E }_\parallel\) (see [17, 18]):

\(T_1\)::

center of the cluster localized at (0, 0, 0, 0, 0, 0);

\(T_2\)::

icosahedron of radiusFootnote 3 \(\sqrt{2+\tau }\ (1.902)\) localized at

(0, 0, 0, 0, 0, 1) and equivalents;

\(T_3\)::

icosidodecahedron of radius 2 localized at

(0, 0, 0, 0, 1, 1) and equivalents;

\(T_4\)::

dodecahedron of radius \(\sqrt{6-3\tau }\ (1.07)\) localized at

(0, 0, 0, 1, 1, 1) and equivalents;

\(T_5\)::

dodecahedron of radius \(\sqrt{3}\ (1.732)\) localized at

\((1,1,1,\bar{1},\bar{1},\bar{1})/2\) and equivalents;

\(T_6\)::

icosahedron of radius \(\sqrt{3-\tau }\ (1.1756)\) localized at

\((\bar{1},1,1,1,1,\bar{1})/2\) and equivalents.

This set is the simplest set of atomic orbits built from the node and bc sites of the 6D-lattice. It can be resumed in a first shell generated by \(T_4\) plus \(T_6\) forming an inner triacontahedron, a second shell generated by \(T_2\) plus \(T_5\) forming a second triacontahedron \(\tau\) times larger, and finally a third shell generated by \(T_3\) that forms a icosidodecahedron.

The three remaining ASs noted 7 to 9, have \(T_\mathrm{H}\) that intersect each others, and therefore, their corresponding clusters share common atoms. These ASs generate:

\(T_7\)::

dodecahedron of radius \(\sqrt{3+3\tau }\ (2.802)\) localized at

(1, 1, 1, 1, 1, 1)/2 and equivalents;

\(T_8\)::

icosahedron of radius \(\sqrt{3+4\tau }\ (3.078)\) localized at

\((1,1,1,1,1,\bar{1})/2\) and equivalents;

\(T_9\)::

icosidodecahedron of radius \(2\tau \ (3.236)\) localized at

(1, 1, 0, 0, 0, 0) and equivalents;

\(T_7\) and \(T_8\) generate the third triacontahedron \(\tau\) times larger than \((T_2,T_5)\) and that links the inner atomic clusters.

All together, as already described in [17], the atomic orbits generated by the highest symmetry special points only are three concentric triacontahedra of increasing size by ratio of \(\tau\) and two icosidodecahedra of sizes in the same ratio. These are shown in Fig. 4.

Fig. 5
figure 5

Typical ASs for secondary special points for a P-type 6D lattice, a the mid-edge AS, say ME, along 5f of little group \(\bar{5}m\) and b the mid-facet AS, say MF, along 2f of little group mmm (see Table 2)

The other special points of Pm35 and Fm35 have lower symmetry and are listed in Table 2. Among them, are the mid-edge locations (1, 0, 0, 0, 0, 0) / 2 of symmetry \(\bar{5}m\) and the mid-facet locations (1, 1, 0, 0, 0, 0) / 2 of symmetry mmm that both will play an important role for the Mackay clusters 6D descriptions as will be made clear in the next section. Their corresponding ASs, constructed using formula 4, are shown in Fig. 5. These ASs are made of 2 adjacent \(T_\mathrm{H}\), connected along a fivefold for the mid-edge position and along the twofold for the mid-facet position with little groups, respectively \(\bar{5}m\) and mmm. Observe that the small size of the present AS is compensated by the multiplicity of the site. For example, for a P-type 6D lattice, the mid-edge AS has a volume of 2 in \(T_\mathrm{H}\) units, but the position has multiplicity \(|m35|/|\bar{5}m|=120/20=6\) so that the total volume is \(6\times 2=12\) equal to the volumes of \(T_1\) and \(T_6\); the same applies for the mid-facet position with an AS of volume 2 but has multiplicity \(|m35|/|mmm|=120/8=15\) and thus corresponds to a total volume of \(15\times 2=30\) equal to the volume of \(T_3\).

Fig. 6
figure 6

Simplest Mackay-type cluster issued from 6D is generated using \(T_1\), \(T_2\), \(T_3\) and \(T_6\). It differs significantly of the original Mackay in the sizes of the inner icosahedron and of the icosidodecahedron

The Mackay clusters

The easiest way of generating Mackay-type clusters in the 6D approach is to select the ASs corresponding to high-symmetry locations leading to the simplest Mackay-type cluster \(M_1 = \{ T_1,T_3,T_2,T_6 \}\), as seen on the left of Fig. 6 and made of an inner small icosahedron of radius \(\sqrt{3-\tau }\), a large icosahedron of radius \(\sqrt{2+\tau }\) and an icosidodecahedron of radius 2. This cluster differs from the original Mackay cluster in two ways:

  • the size ratio of the two icosahedra is \(\sqrt{(3-\tau )/(2+\tau )}=\tau -1\ (\approx 0.618)\) instead of 1 / 2;

  • the size ratio of the icosidodecahedron with respect to the large icosahedron is \(2/\sqrt{2+\tau }\ (\approx 1.05)\) instead of \(\tau /\sqrt{2+\tau }\ (\approx 0.85)\).

Fig. 7
figure 7

Correcting the size of the inner icosahedron consists in moving two \(T_0\)’s subAS issued from \((3,\bar{1},\bar{1},\bar{1},\bar{1},1)/2\) and \((\bar{1},1,1,1,1,\bar{1})/2\) at the level of (1, 0, 0, 0, 0, 0)/2, thus leading on removing \(T_6\) at bc and replacing it by ME at mid-edge

Fig. 8
figure 8

Correcting the size of the outer icosidodecahedron consists in moving two \(T_0\)’s subAS issued from \((1,1,\bar{1},0,\bar{1},0)\) and (0, 0, 1, 0, 1, 0) at the level of (1, 1, 0, 0, 0, 0) / 2, thus leading on removing \(T_3\) at n and replacing it by MF at the mid-facet

These two discrepancies can easily be eliminated as shown in Figs. 7 and 8:

  • to correct the inner icosahedron, we remove \(T_6\) located on the high-symmetry special point bc and replace it by ME, the AS located at the mid-edge (Fig. 5a); as already noted, this makes nothing else but shrinking the radius of the icosahedron from \(\tau -1\) to 1 / 2;

  • to correct the icosidodecahedron, we remove \(T_3\) located at the high-symmetry special point n and replace it by MF, the AS located at the mid-facet (Fig. 5b) that shrinks the radius of the icosidodecahedron from 2 to \(\tau\).

Finally, performing the two changes together leads to the 6D definition of the exact original Mackay cluster on the right in Fig. 6 \(M_2=\{T_1,ME,T_2,MF\}\) where ME and MF are the ASs, respectively, (a) and (b) of Fig. 5.

Mackay clusters in approximants and icosahedral phases

Fig. 9
figure 9

Mackay clusters of the (Sc, Ru) 1/1 cubic approximant phase drawn in the middle are almost exactly between the two ideal models, the 6D natural cluster on the left and the original Mackay cluster on the right (see Table 3)

To compare these geometric considerations with actual structures showing Mackay-type clusters, we choose the 1/1 cubic approximants in the (Sc,Ru), (Al,Fe,Si), (Al,Mn,Si) and (Al,Fe,Si) alloys. We take the radius of the large icosahedron, \(R_\mathrm{ico}\) as the reference for measuring the quality of the approximant (Fig. 9):

$$\begin{aligned} R^0_\mathrm{ico}=A_6 \tau ^{-1}/\sqrt{2}\quad \text {where}\quad A_6 = a \sqrt{(7-4\tau )/2} \approx 0.5137\ a \end{aligned}$$
(5)

for a perfect 1/1 cubic approximant of parameter a.

Table 3 Radii of the basic shells of the Mackay cluster for the original Mackay ideal model, the simple \(\mathbb {Z}\) model, and for three Mackay clusters as experimentally determined in (Sc,Ru), \(\alpha\)-AlMnSi and \(\alpha\)-AlFeSi structures

The values of the various radii are given in Table 3. We observe that the experimentally determined radii of the shells of the clusters are between the two models; the radius \(R_\mathrm{ico}\) of the large icosahedron deduced from the length of the cubic lattice parameter is in quite good agreement of what is expected from the models: These three structures can indeed be qualified as good approximants of the icosahedral phase. The radius \(r_\mathrm{ico}\) of the small icosahedron is a bit larger that the one of the Mackay model for \(\alpha\)-AlMnSi and \(\alpha\)-AlFeSi, but significantly closer to the one of the ideal \(\mathbb {Z}\)-model for (Sc,Ru). Finally, in all three cases, the size of the icosidodecahedron is much closer to the value of the ideal \(\mathbb {Z}\)-model than from the Mackay model. This is not surprising because this second shell of the cluster is occupied by two different types of atoms, one for the large icosahedron and the other for the icosidodecahedron. A best compromise to relax short distances along the edge of the elementary tetrahedra is to increase the size of the icosidodecahedron up to its natural \(\mathbb {Z}\)-module value. This is clearly the most evident effect of the present comparison: The \(\mathbb {Z}\)-model is very efficient for generating an initial set of atomic positions in Mackay clusters, then relaxations occur that optimize the interatomic distances and leave to the actual equilibrium atomic positions that are between the two models.

Beyond Mackay clusters

The two first shells of the so-called Bergman cluster originally discovered by Bergman et al. [19] in (AlZn)\(_{49}\)Mg\(_{32}\) are made of:

  • a center (possibly empty);

  • a small internal icosahedron;

  • a large icosahedron (twice larger);

  • an large dodecahedron forming a triacontahedron with the large icosahedron.

This cluster is very similar to the original Mackay except that the second shell corresponding to the large triacontahedron is the large icosahedron completed by atoms along the ternary axes (dodecahedron) instead of the binary axes (icosidodecahedron). This cluster of 44 (+1) atoms is slightly lighter than the Mackay one.

The lifting of the Bergman in the 6D space is very simple and similar to the one previously performed for the original Mackay. The small inner icosahedron is generated by locating ME ASs at the mid-edge. The large icosahedron is as usual generated by \(T_2\) at the node and the large dodecahedron is generated by \(T_5\) at the bc (see the \(T_2 T_5\) subfigure in Fig. 4). Thus, as often quoted in the \(Im\bar{3}\) cubic phase (AlZn)\(_{49}\)Mg\(_{32}\) determined by Bergman et al. is an excellent 1/1 cubic approximant of an hypothetical icosahedral phase of 6D-lattice parameter \(A_6=0.7274\) nm.

Numerous new icosahedral quasicrystals have atomic structures based on the so-called Tsai cluster that has been discovered in the i-Cd\(_{5.7}\)Yb = i-Cd\(_{85}\)Yb\(_{15}\) binary alloy (see for instance [18, 2022]). Taking a 6D-lattice parameter of \(A=0.80\) nm, we can describe the Tsai cluster as:

  • an empty center;

  • a small dynamically distorted inner tetrahedron;

  • an inner Cd dodecahedron also dynamically distorted of average radius 0.46 nm;

  • a basic Yb icosahedron of radius 0.57 nm;

  • a Cd icosidodecahedron of radius 0.65 nm;

  • a large triacontahedron of radius 0.78 nm along the twofold directions, with atoms at the middle of the edges.

Contrary to the Mackay case, the corresponding 6D-lattice nodes are definitely not obvious to be found.

First, there is no 6D-orbit that would generate the small tetrahedron owning the fact that none of the standard cell decompositions of ASs generating dodecahedra can give the ratio of 4/20. The simplest artifact that can be used to simulate this tetrahedron is to introduce the inner dodecahedron generated by \(T_4\) with an statistical occupation factor of 4 / 20.

The situation is slightly better for the small Cd dodecahedron of radius of 0.46 nm which can be approximated by the AS \(T_5\) localized in \((\bar{1},1,1,1,1,1)/2\) corresponding to a radius of 0.515 nm instead of the expected 0.46 nm.

The large Yb icosahedron is the reference orbit out of which the 6D-lattice parameter A has been calculated: the AS \(T_2\) localized at (1, 0, 0, 0, 0).

The Cd icosidodecahedron can be approximately generated by \(T_3\) localizιed at \((0,1,0,0,\bar{1},0)\) with a radius of \(0.7435\ A = 0.595\) nm instead of 0.65.

Table 4 Comparison of radii expe/theo in the Tsai-type cluster as observed in i-YbCd. The error is estimated by \(\delta = (r_{theo}-r_{expe})/r_{theo}\). Even for the basic reference icosahedron, the actual orbits of the Tsai shells show strong deviations from their corresponding ideal images on the 6D lattice

Finally, the large triacontahedron can be generated by \(T_7\) at (1, 1, 1, 1, 1, 1) / 2 and \(T_8\) located at \((1,1,1,1,1,\bar{1})/2\) with atoms at 0.833 nm along the 3-f, 9.15 nm along the 5-f and 0.828 nm along the 2-f instead of the 0.78 nm expected. The atoms at the middle of the edges of this triacontahedron are generated by a original new AS located at (1, 1, 1, 1, 1, 0) / 2.

These results are summarized in Table 4 that shows quite important deviations between the actually observed radii of the various orbits and their theoretical values issued from the 6D special points description.

Conclusion

We have shown here how the lifting in 6D space of the original Mackay and Bergman clusters is simple and natural with very little distortion between theoretical and experimentally determined atomic positions. This lifting is far from being as simple for the Tsai clusters that show an inner shell that is unexplained by the 6D scheme and is finally constructed using large displacements in the physical space from the theoretical positions of the \(\mathbb {Z}\)-module. This is by no mean in contradiction with the 6D approach where it is always possible to shift atoms in the parallel space consistently with the local internal symmetry; it is, however, clearly the sign that, in that case, the ideal 6D special points approach—that is still the most efficient tool for building ideal basic structures—does require large local relaxations to conform the ideal model to the experimental diffraction data.