Site Map  Polytopes  Dynkin Diagrams  Vertex Figures, etc.  Incidence Matrices  Index 
Both, quasiperiodicity and almost periodicity, were introduced in the theory on corresponding functions by the mathematician Harald Bohr (brother of physicist Nils Bohr) in his articles "Zur Theorie der fastperiodischen Funktionen." (On the Theory of Almost Periodic Functions – 19251926). There he also outlines their relation to embeddings into higher dimensional spaces in such a way, that these functions, accordingly to be continued there, would become periodic again. In fact, quasiperiodicity lives on a dense modul of finite rang, while almost periodicity lives on a dense modul of infinite rang. The dense moduls then are derived as the projections of higher dimensional (periodic) lattices of spaces, such that their respective dimensions correspond to the rang of those modules (or potentially even higher, when coincident projection points would be allowed). – But after that first treatise this topic then became rather quiet.
In the mid 80th of last century quasiperiodicity got some revival. Based on the find of R. Penrose already within the 70th, both mathematics and mathematical physics got beware of, esp. as in its sequel the then so called quasicrystals had been found. D. Shechtman et al. produced a fast cooled AlMn alloy, which showed an icosahedrally symmetrical diffrection spectrum with very sharp peaks. – Such sharp peaks in crystallography so far were known from periodic structures only, but that symmetry for sure does not allow for such a symmetry arrangement. (That sample furthermore disproved to be a twin, i.e. a crystalline structure with macroscopical regions, each being periodic on its own, but mutually being arranged such that the overall integrated effects become as desired, similar as can be achieved in compound polytopes.) Thus these finds finally provided a change of paradigms in crystallography, now allowing for quasiperiodic structures as well.
Within projection methods, or more precisely cut and project methods, the derivation of quasiperiodic tesselations is derived from (periodic) lattices, or for that purpose likewise periodic honeycombs, of some higher dimensional embedding space. The tesselation space itself then becomes some irrationally oblique subspace therof, such that the lattice points (i.e. the vertex set of the honeycomb) would project dense onto that "para space". In order to have noninfinitesimal tiles, the "perp space" will not be left unbounded, it rather gets restricted to some acceptance domain. Obviously the same result is being obtained, when pointinverted copies of that acceptance domain would be attached to the lattice points in a sense of their atomic surfaces. Then a point will be projected whenever its atomic surface would be hit by "the" para space (now being understood as some specific parallel to the tesselation subspace).
Both above methods would result within a point set only, providing the projection images of lattice points (or those of vertices) alone. In contrast to those the Klotz construction also derives the full incidence structure of tesselation space as well. To that purpose one considers 2 mutually dual high dimensional tesselations of embedding space, most often the Voronoi complex of the lattice (those hypercells then are those regions of points which are closer to the chosen lattice point than to any different one), and its dual Delone (or Delaunay) complex. One then projects the Voronoi cell onto perp space, using it for acceptance domain, and projects then the elements of according Delone cells onto tesselation space or, the other way round, uses a full set of Delone cells for projection onto perp space and the dual elements of the Voronoi cell for projection onto tesselation space. To that purpose, in either of these, briques (german: Klotz) are built from codimensional elements each. I.e. the acceptance domain for lattice points (being projected down to tesselation vertices) would be the perp space projection of whole corresponding dual fulldimensional solid. And further any kdimensional element of one complex will be projected into tesselation space whenever the perp space projection of the codimensional mutually orthogonal element of the other complex gets hit by para space. With resp. to its application to para space k thus will be taken less or equal to the dimension of that only. – The 2D embedding space example (then producing a 1D "tiling" only), as provided to the left, would not be too striking here. But already when considering 4D embeddings, in order to produce 2D tilings, the required incidence structures become essential. Even more for 3D tesselations, then being derived from 6D embeddings.
Btw. it should be mentioned that quasiperiodic tesselations cannot be described by means of incidence matrices like the flat periodic tesselations: The Klotz constructions shows that the acceptance domain is not just a black box, but rather is to be disassembled into smaller regions, each being responsible for each of the different vertex configurations of the tesselation. This still seems to imply positiveness, but we have to take into account not only the projection onto para space (where vertices live on a dense modul, the projection of all lattice points), but onto the perp space as well. This then induces a dense projection of according atomic surfaces too. Any such now gets dissected into these smaller regions. But, because of dense perp space projections, virtually any finite region gets dissected in infinitely many infinitesimal parts. Accordingly we ought to consider infinitely many different vertex classes too. (And similar for edges, faces, etc.) Moreover, whenever the embedding was chosen to be minimal, any such class would contain just a single member each. This proves the insanity of such an attempt.
But we get an different benefit from this same consideration. Assume minimal embedding. Then the relative volume of each of the smaller regions (responsible for the different vertex configurations) provides a direct measure for the frequency of that specific vertex configuration within the tesselation!
General notation:
Let Λ be some ddimensional lattice.
Then T_{Λ} represents the flat d_{}dimensional tesselation obtained when the
d_{}dimensional elements of the Voronoi complex V are projected into para space, and the d_{⊥} = d  d_{} dimensional
elements of its dual Delone complex V* into perp space.
These projections then pairwise each derive a Klotz construction by simply using the corresponding cartesian products, which on its own is a further
high dimensional complex. –
Conversely, when using the d_{} dimensional elements of the Delone complex V* for projection in para space and the
d_{⊥} = d  d_{} dimensional elements of its dual Voronoi complex V = (V*)*, and applying a similar Klotz construction here,
one finally derives the tesselation T*_{Λ}.
d  d_{}  subsymmetry  Λ  V  V*  T_{Λ}  T*_{Λ} 
4  2  8fold  C_{4}  test  test  AmmannBeenker tiling 

D_{4}  icot  hext  T_{D4}^{(8)} tiling 
T*_{D4}^{(8)} tiling 

12fold  T_{D4}^{(12)} tiling 
T*_{D4}^{(12)} tiling 

A_{2}×A_{2}  hibbit  tribbit  Socolar tiling 
Stampfli tiling 

10fold  A_{4}  otcypit  cypit  Penrose tiling 
Tübingen triangle tiling 

6  14fold  A_{6}  ...  cyloh  T_{A6} tiling 
T*_{A6} tiling 

3  icosahedral  C_{6}  axh  axh  T_{C6} = T*_{C6} honeycomb 

D_{6}  ...  haxh  T_{D6} honeycomb 
T*_{D6} honeycomb 

D_{6}*  traxh  ...  T_{D6*} honeycomb 
T*_{D6*} honeycomb 

8  4  hexacosachoric  E_{8}  ...  goh  ...  ElserSloane tetracomb 
Names of above tilings generally are due to their first referenciations. Reproduction of those by means of projection methods was done later only: according research was done by the crew around P. Kramer, Tübingen, in the early 90th. Cf. e.g. several of the authors papers of those days and references cited therein. (Within that crew the several lattices (incl. the therefrom derived quasiperiodic tesselations) were associated to the main contributors as: A_{4}  M. Baake & M. Schlottmann, D_{4}  D. Joseph, A_{2}×A_{2} and A_{6}  R. Klitzing, C_{6}  D. Zeidler, D_{6} and D_{6}*  Z. Papadopolos.)
The Penrose tiling well can be derived from C_{5} as well. But then the embedding is not minimal. The perp space then would decompose into a 2D subspace of acceptance domains plus a further 1D periodical space. The corresponding projection then would be degenerate, reducing all that infinitude of lattice points of this direction onto a single vertex each of tiling space. This just mirrors the fact that A_{4} is nothing but the intersection of C_{5} with a hyperspace perpendicular to that additional 1D periodic perp space component. In fact, both otcypit and cypit happen to be just different sections of penth, being obtained respectively at intermedials (Voronoi complex) or at vertex layers (Delone complex) when taken perpendicular wrt. to the body diagonals of the pents. – For either of the Klotz constructions of A_{6} a similar decomposition of perp space into 2 different 2D components takes place (and the tiling space here too is a further 2D component). Nonetheless that representation still is minimal here, no additional periodic part is being used. (A similar nonminimal embedding here might be achieved wrt. C_{7}, so.)
© 20042018  top of page 