teaching and education
Lattice versus structure, dimensionality versus periodicity: a crystallographic Babel?
^{a}Université de Lorraine, CNRS, CRM2, Nancy, France
^{*}Correspondence email: massimo.nespolo@univlorraine.fr
In this article, several mistakes occurring in the description of crystal structures are pointed out. (1) The term `lattice' is often used instead of `structure'. (2) The two terms `superlattice' and `sublattice' are incorrectly interchanged. (3) Substructures composed of a subset of the crystallographic orbits composing the structure are incorrectly called `sublattices'. (4) Subperiodic structures are incorrectly referred to as `lowdimensional' structures.
Keywords: lattice; sublattice; superlattice; substructure; superstructure; crystallographic orbit; Wyckoff positions; subperiodic groups.
1. Introduction
A huge literature in solid state physics and chemistry, metallurgy, materials science, mineralogy, and related fields appears every year where unfortunately imprecise and often incorrect crystallographic terminology is adopted. Quite surprisingly, among the most misused terms we find the very basic notion of lattice, which seems to represent an unexpected trap in the literature dealing with condensed matter. Disputable terms like `lattice defects' (actually meaning structural defects: e.g. Devi et al., 2017) have become entrenched in the literature like weeds in a field; worse than that, completely nonsensical expressions like `diamond lattice' (e.g. Lundow & Campbell, 2018) or `sphalerite lattice' (e.g. Sarvaramini et al., 2016) pass through the review process and go to press in highly respectable publications. Other examples of incorrect uses concern the confusion between a `superlattice' and a `sublattice', often used contrary to their definition and meaning; the use of `sublattice' to indicate part of a structure built on some of the atoms composing the full structure; and the incorrect description as a `lowdimensional structure' of what is actually a threedimensional structure which is periodic in a subspace. Considering how often one can nowadays spot these mistakes in the literature, we think it is time to remind the reader of some fundamental definitions and to provide some simple directions to avoid falling into these terminological traps. For that, we need, however, to review a few terms and definitions.
(i) An ideal crystal is a crystal which does not present any static (inclusions, dislocations, precipitates etc.) or dynamic (phonons) defects and whose atomic distribution is perfectly periodic in a space with a sufficient number of dimensions.
(ii) The infinite set of atoms obtained by applying the operations of a crystallographic orbit. There is therefore a 1:1 correspondence between the number of atoms in the and the number of crystallographic orbits that build up the but each is an infinite set. The symmetry group of a is usually called its eigensymmetry and indicated as .
to a single atom in the constitutes a(iii) The multiplicity of a within the unit cell that belong to a single corresponding to that position.
is the number of atomic positions(iv) The sitesymmetry group of an atomic position (`site') is the
of the which leaves invariant (`fixes; `does not move') the coordinates of that site. A sitesymmetry group is isomorphic to one of the 32 types of crystallographic point groups, but its symmetry operations contain also translational components which reflect the position in space of the corresponding symmetry elements.2. Lattice, and superlattice
The concept of lattice can be introduced in a very general but rather abstract way [see e.g. Conway & Sloane (1998)]. Here we target (ideal) crystal structures and their translation lattices; accordingly, our definition is potentially less general but more oriented to the practical crystallographer.
The atomic distribution within a crystal is called the n linearly independent vectors. Here n is the number of dimensions of the space along which the structure is periodic and does not necessarily coincide with the number of dimensions N of the space. Depending on whether n = N or n < N, one speaks of periodic or subperiodic structure (nonperiodic structure being the limiting case when n = 0). Graphene is a well known example of subperiodic structure, in particular diperiodic structure (n = 2, N = 3). Modular structures are structures built from building blocks (modules) stacked one with respect to the others in a regular and ordered way (Nespolo et al., 2004). The modules (layers, rods, bricks) are another example of subperiodic structures. The symmetry of the whole structure is periodic in the whole crystal space and is described by an Ndimensional (N ≥ 3). Its modules are periodic in a subspace and their symmetry is described by an Ndimensional (N ≥ 3) ( rod group, layer group; groups do not have a special name)^{1} (Kopský & Litvin, 2010). For n = 0, the degenerates into an Ndimensional G_{0}^{N}; in this case the module is nonperiodic and does not possesses a lattice.
If we neglect all possible defects in the structure, we get what is known as an ideal whose periodicity defines the (Bravais) lattice of the crystal. In other words, the lattice of a can be seen as a collection of vectors expressed as a linear combination ofThe I, t) in which the linear (matrix) part I is always the identity, whereas the translation (vector) part t is always integral if the chosen to describe the structure is primitive, or can take rational or integral components if it is centred. By applying the operations (I, t) to a point in space chosen as the origin, we get an infinite collection of points distributed in a uniform and periodic way that represents the nodes of the L of the structure. Accordingly, in the following we can alternatively write as T(L), depending on whether we refer to the structure or the lattice, i.e. on whether the group built by the translation operations is regarded as the translation of the or the translation group of the lattice L.
of a in the following shortened to , is an infinite group (it contains an infinite number of symmetry operations). If we choose, among the operations of , those that correspond to pure translations, we get the translation , which expresses the translational symmetry of the The operations of are represented by matrix–vector pairs (If we now take a subgroup of , i.e. we `forget' some of the operations (I, t) of in such a way that the remaining operations still form a group, the result is a sublattice L′. The primitive of this L′ has a larger volume with respect to the primitive of the original lattice L and is therefore a supercell.^{2} The structure corresponding to this is a superstructure (Buerger, 1947).^{3} Quite obviously, by inverting the perspective, is a of and therefore L is a superlattice of L′; its primitive has a smaller volume than the primitive of L′ and is therefore a subcell. Unfortunately, the correspondence ↔ and ↔ is often overlooked in the literature, and it is not rare to read about `superlattices' built on `supercells' or of `sublattices' built on `subcells', which contradicts the concept and definition of super/sublattice.
The confusion is perhaps less surprising if we consider that a vice versa. For example, missing some weak reflections in a diffraction pattern leads to choosing a larger cell (supercell) and therefore a (reciprocal) This corresponds, in to choosing a smaller cell (subcell) and therefore a Vice versa, extra reflections with respect to those of the basic structure appear in the diffraction pattern of a which are known as reflections (Müller, 2013). Indeed, a has a larger (supercell) in which corresponds to a smaller (subcell) in and therefore a reciprocal One should be careful not to confuse these terms but instead to be quite explicit in the description of the use of `sub'/`super' with respect to the space one is dealing with.
in a space corresponds to a in the dual space andThe misunderstanding of the fundamental difference between a lattice and a structure can lead to far more serious consequences, like the extravagant introduction of two additional threedimensional lattices to account for the hexagonal closepacked structure, misinterpreted as a lattice, and a hypothetical `rhombohedral closepacked lattice', which is nothing else than a facecentred cubic lattice described by its primitive rhombohedral cell, as shown by the cell parameter relations a = b = c, α = β = γ = 60° (Wahab & Wahab, 2015).
Much more surprising is the confusion between the concepts of lattice and structure. As we have just seen, the former corresponds to the periodicity of the latter. Nevertheless, in the literature the confusion between these two fundamentally different concepts is far from rare. As an example, we can quote the use of `sphalerite lattice' instead of `sphalerite structure' (e.g. Sarvaramini et al., 2016). Sphalerite is the polytype of ZnS stable at ambient conditions; it crystallizes in a of type F3m with Zn in position 4a and S in position 4c. The lattice of sphalerite is facecentred cubic; the structure contains two atoms in the i.e. is built by two crystallographic orbits, and is obviously not a lattice. Overlooking the fundamental difference between a and its lattice leads to even more severe misunderstanding, like the appearance of terms like `lattice engineering' (Lai et al., or 2019), as if one were trying to tweak an abstract collection of geometric points instead of a network of atoms.
3. Crystallographic orbits and Wyckoff positions
A X can be seen as the settheoretical union of its crystallographic orbits O_{i}: X = ∪_{i}O_{i}. The of the structure X is the settheoretical intersection of the eigensymmetries _{i} of those crystallographic orbits: = ∩_{i}_{i}. Accordingly, the of each O can either coincide with the ( = ) or be higher than it (a ), but can never be lower (a subgroup). Depending on whether _{i} = or , the ith orbit O_{i} is called characteristic or noncharacteristic, respectively. A special case of noncharacteristic orbit occurs when the translation of _{i} is a of the translation of : T(_{i}) T(). The orbit O_{i} is then called extraordinary (Engel et al., 1984). If none of the orbits O_{i} is extraordinary, then the translation of the is common to all the crystallographic orbits building the X.
The term x, y or z that appears in the is replaced by a specific numerical value. In fact, the concept of is more straightforward to define than that of If one takes a single point in the and applies to its fractional coordinates all the infinitely many operations of a , one obtains an infinite set of points that are all equivalent (because related by the operations of ). This infinite set of points constitutes a One then assigns the to a in , on the basis of the sitesymmetry groups (notice the plural) of points that belong to the (notice the singular). A sitesymmetry group of a certain position (site) with coordinates x, y, z is the subset of operations of (i.e. a of ) which leaves x, y, z invariant (fixed in space). In other words, if (W, w) is the matrix–column representation of the operations of , then those operations which satisfy the relation (W, w)xyz) = xyz)^{4} build up the sitesymmetry group of the position x, y, z. (W, w) is composed of a linear (matrix) part W, which represents the rotation, reflection or (roto)inversion component of the operation, and a translation (vector) part w, which is nonzero if the does not pass through the origin; it does not include any screw or glide component, in the presence of which no fixed point would exist. The sitesymmetry group is then represented by an oriented symbol which corresponds to the linear part W and is therefore isomorphic (i.e. in 1:1 correspondence) with a crystallographic For example, an atom with coordinates 0, ½, ½ in a of type Cmcm belongs to the 4b; by applying the operations of Cmcm to the position with coordinates 0, ½, ½ one gets an infinite number of symmetrically equivalent positions with coordinates 0, ½, ½; 0, ½, 0; ½, 0, ½; ½, 0, 0; 1, ½, ½; 1, ½, 1; ½, 1, ½; ½, 1, 1 etc. This infinite set of positions can be succinctly represented as p, q + ½, r + ½; p, q + ½, r; p + ½, q, r + ½; p + ½, q, r, where p, q, r are integers spanning the interval −∞ to +∞. All these positions belong to one because they are all related by the symmetry operations of Cmcm. If now we chose one position x, y, z, corresponding to certain values of p, q, r, from the infinitely many positions belonging to this we can select, among the infinitely many symmetry operations of Cmcm, a small finite number which leaves that position invariant; the set of operations selected in this way constitutes the sitesymmetry group of that position. If we then choose another, different position x′, y′, z′, corresponding to different values of p, q, r, from the same orbit and repeat the procedure, we obtain a different set of operations of Cmcm which leaves invariant x′, y′, z′; these operations constitute the sitesymmetry group of x′, y′, z′. and are, in general, different groups, whose operations share the same linear part W; they differ in their translation part w because the location of the corresponding symmetry elements is different (otherwise x, y, z and x′, y′, z′ would coincide, contrary to the hypothesis). and are, however, tightly related. In fact, because x, y, z and x′, y′, z′ belong to the same there are some operations of the that map one position onto the other. Let us select as one of these operations. The transformation can be written in the following way:
is relatively poorly known to experimental crystallographers, whereas the term is used on a daily basis; the two concepts are nevertheless closely related. A is an infinite set of points generated from a set of Wyckoff positions if any general coordinateEach of these positions is invariant under the operations of the corresponding sitesymmetry group. Therefore,
If we insert (2) into (1) we obtain
from which we obtain
The transformation (4) is a similarity transformation known as conjugation. We have just shown that the positions x, y, z and x′, y′, z′ are transformed directly from one to the other under the action of the operation , whereas the sitesymmetry groups of those positions and are transformed by conjugation. To say that two positions are related by a spacegroup operation is therefore equivalent to saying that their sitesymmetry groups are conjugate under that operation.
One may therefore get the impression that Wyckoff positions and crystallographic orbits are the same thing, simply defined differently. This is only true for the positions like 4b in Cmcm discussed above, which do not have any free coordinates; in such a case, only one is assigned to the If instead at least one fractional coordinate is of general type, then one gets an infinite number of crystallographic orbits, one for any possible fractional value of the general coordinate. For example, in a of type Cmcm, a position of type 0, y, ¼ corresponds to an infinite number of crystallographic orbits, one for each value of y, and they are all assigned to the same namely 4c, because their sitesymmetry groups are all of type m2m and they are all conjugate under the operations of Cmcm. A position of type x, y, ¼, again in Cmcm, also corresponds to an infinite number of crystallographic orbits, one for each value of x and y with the exception of x = 0; they are all assigned to the same namely 8g, because their sitesymmetry groups are all of type ..m and they are all conjugate under the operations of Cmcm. Therefore, there exists in general a correspondence ∞:1 from crystallographic orbits to Wyckoff positions. This distinction between crystallographic orbits and Wyckoff positions is fundamental for the following discussion, in particular for the definition of a substructure.
4. versus substructure
It is not uncommon to read the term `sublattice' used to indicate a single ^{+} cations occupying the Zn paired with the `incorporation of Cl^{−} anions in the sulfur (Kryshtab et al., 2006). As we have shown above, a is a lattice (not a structure) L′ which is obtained from another (parent) lattice L by removing a subset of the translation operations, so that the remaining translation operations still form a group. This translation group T(L′) is a of the translation group T(L) of the parent lattice, which is expressed as T(L′) T(L). We have also seen that the structure of an ideal crystal is the settheoretical union of a finite number of crystallographic orbits, and that the translation of the ith T(_{i}), either coincides with that of the whole structure, i.e. T(_{i}) = T() (in the case of characteristic orbits and of noncharacteristic but not extraordinary orbits) or is a of it, i.e. T(_{i}) T() (in the case of extraordinary orbits). Therefore, the lattice defined by the translation operations of a single can either coincide with the lattice of the whole or be a superlattice of it: certainly not a sublattice. The same conclusion is obtained when considering a set consisting of more than one which still is a subset of the whole In fact, the translation vectors common to this subset of orbits can never result in a of T(). This is expressed formally as ∩_{i}T(_{i}) T(), where the (supergroup) can be realized under the necessary (but not sufficient) conditions that (1) the running index spans a subset of the crystallographic orbits building the and (2) these crystallographic orbits are all extraordinary orbits. The conditions are not sufficient because the intersection ∩_{i}T(_{i}) is not necessarily a of T(). For example, in a of type Cmcm, the generated by the position 0, ¼, ¼, which corresponds to the 4c for y = ¼, is extraordinary, with Fmmm and basis vectors in common with those of the (Fig. 1). In the same the generated by the position 0, ½, 0 is the only corresponding to the 4b and is extraordinary, with Cmmm and basis vectors a, b, c/2 with respect to those of Cmcm (Fig. 2). If these two orbits are both occupied by atoms, the structure they build up has the same symmetry as the including of course the translation (Fig. 3).
For example, the doping of ZnS by CuCl is described as `CuConcretely, if a m > 1 crystallographic orbits and one needs to consider m′ < m crystallographic orbits, these constitute a substructure, not a If m′ = 1, the actually coincides with a single and should be identified in this way.
is composed ofIn the study of magnetic properties of crystals, it is common to write about a `magnetic e.g. BorovikRomanov et al., 2014). Magnetic moments are associated with atoms, not with lattice nodes. The term `magnetic should therefore be replaced by `magnetic substructure'.
to indicate the `array of all magnetic moments of identical ions oriented in one direction' (5. Dimensionality versus periodicity
It has unfortunately become quite common to use the term `lowdimensional materials' to refer to crystalline materials built by subperiodic building blocks. A clear confusion occurs here between the dimensionality of the space in which the material physically exists and the dimensionality of the subspace in which its building modules are periodic. We briefly analyse the three cases corresponding to , and .
(1) Diperiodic modules (sheets, layers). Structures consisting of a single layer of atoms are today the object of intensive research because of their importance in applications such as photovoltaics, semiconductors, electrodes and water purification. If the layer is perfectly flat and its two sides in the direction of missing periodicity are absolutely identical (like a sheet of paper with the two faces perfectly identical) then one may agree to ignore the operations turning the layer upside down and describe it as two dimensional; it is nevertheless an approximation corresponding to taking the thickness of the layer to zero. This approximation can be justified in materials like graphene. It is however completely unacceptable if the two sides of the layer are not identical (like a sheet of paper with two different colours on the two faces) or for layers whose thickness goes beyond a single atom. A number of examples of incorrect descriptions can be found in the literature, like the `2D hybrid perovskites' which have thicknesses of one to several octahedral sheets, surrounded on both sides by organic molecules (e.g. Jagielski et al., 2017). It should be quite obvious that describing a layer several atoms thick as `two dimensional' does not make sense. The layer is three dimensional but diperiodic; it cannot be described by any of the 17 types of plane groups G_{2}^{2} but requires one of the 80 types of layer groups .
(2) Monoperiodic modules (chains). Chains of atoms are often incorrectly described as `monodimensional' (e.g. Lhoste et al., 2009). A chain cannot be considered as monodimensional and therefore described by one of the two line groups ; it is simply a monoperiodic unit in the threedimensional space, whose description requires one of the 75 rod groups .
(3) Zeroperiodic modules (bricks). Structures built of finite building blocks are incorrectly referred to as `zero dimensional'. For example, Chen et al. (2018) have reported a leadfree hybrid perovskite containing `zerodimensional discrete anionic clusters'. A cluster of atoms is obviously three dimensional but zero periodic, i.e. it is a finite building block. Its symmetry is described by a threedimensional point group .
6. Conclusions
The description of crystal structures is of paramount importance in the study of condensed matter, but unfortunately a sort of laboratory jargon has found its way into the literature. A systematic screening of the terminological mistakes would certainly take a much wider space and is beyond the scope of this report (see, however, our previous analyses; Nespolo, 2015, 2018). We have pointed out some examples that are unfortunately often spotted in contemporary literature, with the hope of helping authors to avoid repeating these errors and students to avoid falling into these terminological traps. Table 1 gives a summary of the common mistakes that we have pointed out and how to correct them.

Footnotes
^{1}Point groups in a lowdimensional space , line groups , plane groups and frieze groups play a fundamental role in the description of crystal patterns used, for example, in ornaments, but have limited applications to real crystal structures.
^{2}We make reference to the primitive of both lattices, which is not necessarily the conventional one, to make the comparison unambiguous. In fact, the conventional of the two lattices may have a different multiplicity and in the comparison the volume ratio has to be scaled by the multiplicity ratio. Using a avoids this additional term.
^{3}If a structure is obtained by reducing the symmetry of the original (basic) structure while keeping all the lattice translations, it is called a derivative structure (Buerger, 1947). Its is a translationengleiche of the of the basic structure (Müller, 2013).
^{4}We use here the notation xyz) to indicate a column matrix.
Acknowledgements
Critical remarks by two anonymous reviewers helped in improving the manuscript and are gratefully acknowledged.
References
BorovikRomanov, A. S., Grimmer, H. & Kenzelmann, M. (2014). International Tables for Crystallography, Vol. D, Physical Properties of Crystals, 2nd ed., edited by A. Authier, ch. 1.5. Chichester: Wiley. Google Scholar
Buerger, M. J. (1947). J. Chem. Phys. 15, 1–16. CrossRef CAS Web of Science Google Scholar
Chen, W.J., Chu, K.B. & Song, J.L. (2018). Acta Cryst. C74, 1744–1749. CrossRef IUCr Journals Google Scholar
Conway, J. H. & Sloane, N. J. A. (1998). Sphere Packings, Lattices and Groups, 3rd ed. New York: Springer. Google Scholar
Devi, L. V., Selvalakshmi, T., Sellaiyan, S., Uedono, A., Sivaji, K. & Sankar, S. (2017). J. Alloys Compd. 709, 496–504. CrossRef CAS Google Scholar
Engel, P., Matsumoto, T., Steinmann, G. & Wondratschek, H. (1984). The Noncharacteristic Orbits of the Space Groups, Zeitschrift für Kristallographie Supplemente 1. Berlin: De Gruyter Oldenbourg. Google Scholar
Jagielski, J., Kumar, S., Yu, W.Y. & Shih, C.J. (2017). J. Mater. Chem. C, 5, 5610–5627. CrossRef CAS Google Scholar
Kopský, V. & Litvin, D. B. (2010). Editors. International Tables for Crystallography, Vol. E, Subperiodic Groups, 2nd ed. Chichester: Wiley. Google Scholar
Kryshtab, T., Khomchenko, V. S., AndracaAdame, J. A., Rodionov, V. E., Khachatryan, V. B. & Tzyrkunov, Y. A. (2006). Superlattice Microstruct. 40, 651–656. CrossRef CAS Google Scholar
Lai, Y.T., Wang, T., O'Dell, S., Louder, M. K., Schön, A., Cheung, C. S. F., Chuang, G.Y., Druz, A., Lin, B., McKee, K., Peng, D., Yang, Y., Zhang, B., Herschhorn, A., Sodroski, J., Bailer, R. T., DoriaRose, N. A., Mascola, J. R., Langley, D. R. & Kwong, P. D. (2019). Nat. Commun. 10, 47. CrossRef Google Scholar
Lhoste, J., Gervier, R., Maisonneuve, V., Leblanc, M. & Adil, K. (2009). Solid State Sci. 11, 1582–1586. Web of Science CrossRef CAS Google Scholar
Lundow, P. H. & Campbell, I. A. (2018). Physica A, 511, 40–53. CrossRef Google Scholar
Müller, U. (2013). Symmetry Relationships Between Crystal Structures. IUCr/Oxford Science Publications. Google Scholar
Nespolo, M. (2015). J. Appl. Cryst. 48, 1290–1298. Web of Science CrossRef CAS IUCr Journals Google Scholar
Nespolo, M. (2018). J. Appl. Cryst. 51, 1221–1225. CrossRef CAS IUCr Journals Google Scholar
Nespolo, M., Ferraris, G., Ďurovič, S. & Takéuchi, Y. (2004). Z. Kristallogr. 219, 773–778. Web of Science CrossRef CAS Google Scholar
Sarvaramini, A., Larachi, F. & Hart, B. (2016). Appl. Surf. Sci. 367, 459–472. CrossRef CAS Google Scholar
Wahab, M. A. & Wahab, K. M. (2015). ISST J. Appl. Phys. 6, 1–10. Google Scholar
© International Union of Crystallography. Prior permission is not required to reproduce short quotations, tables and figures from this article, provided the original authors and source are cited. For more information, click here.