|  Tilings / Tessellations of Topological Spaces | 
In General
  > s.a. cell complex [including simplicial];
  euclidean geometry [polygon, polyhedron].
  * Idea: A cell decomposition
    (tiling, tessellation) of a topological space M is a covering of
    M with a cell complex, i.e., an aggregate of cells that covers
    (is homeomorphic to) M without
    overlapping; The space is usually a manifold and often has a metric.
  * History: In the XV century, 17
    different types of regular tilings of the plane were used in the Alhambra; In 1891,
    the Russian mathematician Evgraf Fedorov proved that the number of distinct regular
    tilings is 17, the crystallographic groups; Between 1968 and 1984, all possible forms
    of tilings are classified into 19 categories; 1974, Penrose's quasiperiodic tiling;
    1994, Radin and Conway's "pinwheel tiling"; 2011, John Shier's fractal tilings.
  * Result: One can use the Euler formula
    ∑i (−1)i
    Ni = χ(θ)
    to relate the numbers of cells of different dimensionalities.
  * Duality: The dual
    of a cell decomposition of M is also homeomorphic to
    M–although, since the duality Ω ↔ Ω*
    is an operation between abstract complexes, in general there is no
    natural embedding of Ω* in M.
  @ References: Di Francesco et al mp/04 [determinant formulae, fully-packed loops].
Periodic or Regular Tiling / Tessellation > s.a. statistical geometry.
  * Idea: A covering of the plane/space
    with a repeated pattern, like a mosaic, without leaving any gaps.
  * Examples: The plane can be trivially
    tiled with squares, equilateral triangles, hexagons; Drawings by Escher of floors
    with lizards, butterflies, and abstract shapes; The Cairo tiling with irregular
    pentagons, named after the paving on several streets in Egypt's capital.
  * Applications: Physics of single
    crystals; Getting the maximum number of parts out of a piece of sheet metal;
    > s.a. carbon [graphene].
  @ References: Coxeter 57,
    Magnus 74 [non-Euclidean];
    Coxeter PRS(64) [hyperbolic];
    Grünbaum  & Shepard 87;
    Adams MI(95) [knotted tiles];
    Renault JCTB(08) [locally finite];
    Gjerde 08 [popular level, origami tessellations].
  > Online resources: see Thérèse Eveilleau
    page;
    Xavier Hubaut page.
Quasiperiodic Tiling
  > s.a. quasicrystals; random walk.
  * Penrose tiling: A
    quasiperiodic tiling of E2, with tiles of
    two different shapes (kites and darts); Kite angles: 3 × 72o,
    144o; Dart angles: 2 × 36o,
    72o, 216o;
    the two vertices with the large angles on darts meet with the 2 opposite
    72o angles on kites.
  * Penrose tiling, construction and crystals:
    Can be obtained from a cubic lattice in 3D, by cutting the space with a hypersurface
    of irrational inclination, smearing out the lattice points perpendicularly to the
    hypersurface and considering the induced lattice; Macroscopic crystals of this type exist
    (e.g., HOMgZn [@ Fisher et al PRB(99)]),
    but are difficult to make, because they occupy a small region of the phase diagram.
  @ Penrose tiling: Penrose 74;
    Gardner SA(77)jan;
    Cotfas JPA(98),
    mp/04  [self-similarities];
    Tasnadi mp/02 [and non-commutative algebra];
    Mulvey & Resende IJTP(05) [non-commutative theory];
    Battaglia & Prato CMP(10)-a0712 [Penrose kite and symplectic geometry];
    Oyono-Oyono & Petite JGP(11) [C*-algebra and K-theory for Penrose hyperbolic tilings];
    Boyle & Steinhardt a1608 [and Coxeter pairs];
    Flicker et al PRX(20) [properties of tilings with colored edges].
Other Tilings and Related Topics
  > s.a. Delone Sets; forms;
  graph;  Triangulation;
  random and voronoi tiling.
  *  Platonic tilings:
    Tilings of the plane consisting of regular periodic arrays of a
    single shape (such as squares, triangles, or hexagons).
  *  Archimedean tilings:
    Tilings of the plane composed of two or three different shapes,
    forming only one type of vertex; There are eight types.
  *  Aperiodic tilings:
    Non-periodic tilings defined by local rules.
  @ With n-fold rotational symmetry:
    Bédaride & Fernique DCG(15)-a1409 [weak local rules];
    Bédaride et al IMRN-a2012 [12-fold symmetry, cohomology].
  @ Hierarchical tilings: Radin NAMS(95);
    Priebe Frank a1311-proc
      [general framework, fusion model for generating hierarchical tilings]
  @ Aperiodic tilings: Baake & Grimm PhilMag(06)mp/05 [and invariants];
    Bédaride & Fernique CMP(15)-a1309 [and surfaces in higher-dimensional spaces].
  @ Other tilings: Nagel & Weiss AAP(05) [random, stable under iteration];
    García & García JPA(05) [deterministic inflation rules];
    Priebe Frank a0705 [substitution tilings of E\(^2\)];
    Dolbilin & Frettlöh EJC(10) [Böröczky tilings in hyperbolic spaces];
    Lachièze-Rey AAP(11) [STIT tessellations];
    Gao et al JCTA(13) [tiling of a sphere by pentagons];
    Priebe Frank a1312 [with infinite local complexity];
    news PhysOrg(16)dec [particles self-assemble into Archimedean tilings].
  @ Combinatorial curvature: Klassert et al mp/04* [2D, and elliptic operators];
    > s.a. Tetrahedron.
  @ Topological invariants:
    Forrest et al CMP(02) [cohomology];
    Gähler et al mp/05,
    AGT(13)-a1202 [cohomology, K-theory, and torsion];
    Sadun a1406 [cohomology].
  @ Counting and incidence: Aste JPA(98) [statistical properties];
    Dubertret et al JPA(98) [2D, geometrical correlations];
    Weiss & Cowan AAP(11)
      [topological relationships for tessellations of \(\mathbb R^3\) that are not facet-to-facet];
    Hutchinson & Widom TCS(15)-a1306 [octagonal tilings, enumeration];
    > s.a. statistical geometry.
Set T of Tilings of M and Operations on Tilings
  * Structure: The set T
    is partially ordered by refinement, and has a σ-algebra generated
    by sets of the form
TK:= {θ ∈ T | edges(θ) ∩ K ≠ Ø}, for K ⊂ M compact .
  * Superposition: Formed by the union of edge sets.
  * Refinements: Various procedures are possible, like iterated division.
  @ Space of tilings: Blackwell & Møller AAP(03) [deformed tessellations];
    Sadun JMP(03)m.DS/02 [with finite local complexity, as inverse limit],
    m.DS/05-conf [Cech cohomology];
    Bellissard et al CMP(05) [with finite pattern condition];
    Priebe Frank & Sadun m.DS/07
      [infinite local complexity and fault lines, as inverse limit].
  @ Operations on tilings: Nagel & Weiss AAP(03) [superposition, iteration, and limits];
    Maier & Schmidt AAP(03) [superposition, nesting and Bernoulli thinning].
In Physics > s.a. lattice field theory [field theories on complexes];
  thermodynamics; voronoi tiling.
  * Froth: A medium containing
    uniformly dispersed solid particles and/or gas molecules, like a soap/water mixture.
  @ Froth:
    Aste & Rivier JPA(95) [theory, topology and curvature];
    Elias et al PRE(97) [liquid magnetic froth].
  @ And dynamics: Aste & Sherrington JPA(99),
    Davison & Sherrington JPA(00) [stochastic, glassy transition];
    Holton et al CMP(05) [re tiling dynamical systems];
    Kaatz et al PhyA(12) [2D, statistical mechanics];
    > s.a. lattice gravity.
 main page
  – abbreviations
  – journals – comments
  – other sites – acknowledgements
  send feedback and suggestions to bombelli at olemiss.edu – modified 15 apr 2021