higher-dimensional structures into spaces with lower dimensionality and under some circumstances there can be tiles that enforce this non-periodic structure and so are aperiodic. The Penrose tiles are the first and most famous example of this, as first noted in the pioneering work of de Bruijn. There is yet no complete (algebraic) characterization of cut and project tilings that can be enforced by matching rules, although numerous necessary or sufficient conditions are known. Other techniques Only a few different kinds of constructions have been found. Notably, Jarkko Kari gave an aperiodic set of Wang tiles based on multiplications by 2 or 2/3 of real numbers encoded by lines of tiles (the encoding is related to Sturmian sequences made as the differences of consecutive elements of Beatty sequences), with the aperiodicity mainly relying on the fact that 2n/3m is never equal to 1 for any positive integers n and m. This method was later adapted by Goodman-Strauss to give a strongly aperiodic set of tiles in the hyperbolic plane. Shahar Mozes has found many alternative constructions of aperiodic sets of tiles, some in more exotic settings; for example in semi-simple Lie groups. Block and Weinberger used homological methods to construct aperiodic sets of tiles for all non-amenable manifolds. Joshua Socolar also gave another way to enforce aperiodicity, in terms of alternating condition. This generally leads to much smaller tile sets than the one derived from substitutions. Physics Aperiodic tilings were considered as mathematical artefacts until 1984, when physicist Dan Shechtman announced the discovery of a phase of an aluminium-manganese alloy which produced a sharp diffractogram with an unambiguous fivefold symmetry – so it had to be a crystalline substance with icosahedral symmetry. In 1975 Robert Ammann had already extended the Penrose construction to a three-dimensional icosahedral equivalent. In such cases the term 'tiling' is taken to mean 'filling the space'. Photonic devices are currently built as aperiodical sequences of different layers, being thus aperiodic in one direction and periodic in the other two. Quasicrystal structures of Cd-Te appear to consist of atomic layers in which the atoms are arranged in a planar aperiodic pattern. Sometimes an energetical minimum or a maximum of entropy occur for such aperiodic structures. Steinhardt has shown that Gummelt's overlapping decagons allow the application of an extremal principle and thus provide the link between the mathematics of aperiodic tiling and the structure of quasicrystals. Faraday waves have