Quaquaversal tiling

Last updated
The substitution rule for the quaquaversal tiling. Quaquaversal Tiling.svg
The substitution rule for the quaquaversal tiling.

The quaquaversal tiling is a nonperiodic tiling of Euclidean 3-space introduced by John Conway and Charles Radin. It is analogous to the pinwheel tiling in 2 dimensions having tile orientations that are dense in SO(3). The basic solid tiles are 30-60-90 triangular prisms arranged in a pattern such that some copies are rotated by π/3, and some are rotated by π/2 in a perpendicular direction. [1]

They construct the group G(p,q) given by a rotation of 2π/p and a perpendicular rotation by 2π/q; the orientations in the quaquaversal tiling are given by G(6,4). G(p,1) are cyclic groups, G(p,2) are dihedral groups, G(4,4) is the octahedral group, and all other G(p,q) are infinite and dense in SO(3); if p and q are odd and ≥3, then G(p,q) is a free group. [1]

Radin and Lorenzo Sadun constructed similar honeycombs based on a tiling related to the Penrose tilings and the pinwheel tiling; the former has orientations in G(10,4), and the latter has orientations in G(p,4) with the irrational rotation 2π/p = arctan(1/2). They show that G(p,4) is dense in SO(3) for the aforementioned value of p, and whenever cos(2π/p) is transcendental. [2]

Related Research Articles

<span class="mw-page-title-main">Antiprism</span> Polyhedron with parallel bases connected by triangles

In geometry, an n-gonal antiprism or n-antiprism is a polyhedron composed of two parallel direct copies of an n-sided polygon, connected by an alternating band of 2n triangles. They are represented by the Conway notation An.

<span class="mw-page-title-main">Torus</span> Doughnut-shaped surface of revolution

In geometry, a torus is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut.

<span class="mw-page-title-main">24-cell</span> Regular object in four dimensional geometry

In four-dimensional geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {3,4,3}. It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, octacube, hyper-diamond or polyoctahedron, being constructed of octahedral cells.

In geometry, the Dehn invariant is a value used to determine whether one polyhedron can be cut into pieces and reassembled ("dissected") into another, and whether a polyhedron or its dissections can tile space. It is named after Max Dehn, who used it to solve Hilbert's third problem by proving that certain polyhedra with equal volume cannot be dissected into each other.

<span class="mw-page-title-main">Wallpaper group</span> Classification of a two-dimensional repetitive pattern

A wallpaper is a mathematical object covering a whole Euclidean plane by repeating a motif indefinitely, in manner that certain isometries keep the drawing unchanged. For each wallpaper there corresponds a group of congruent transformations, with function composition as the group operation. Thus, a wallpaper group is a mathematical classification of a two‑dimensional repetitive pattern, based on the symmetries in the pattern. Such patterns occur frequently in architecture and decorative art, especially in textiles, tessellations, tiles and physical wallpaper.

<span class="mw-page-title-main">Euler angles</span> Description of the orientation of a rigid body

The Euler angles are three angles introduced by Leonhard Euler to describe the orientation of a rigid body with respect to a fixed coordinate system.

<span class="mw-page-title-main">600-cell</span> Four-dimensional analog of the icosahedron

In geometry, the 600-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {3,3,5}. It is also known as the C600, hexacosichoron and hexacosihedroid. It is also called a tetraplex (abbreviated from "tetrahedral complex") and a polytetrahedron, being bounded by tetrahedral cells.

In mathematics, Hurwitz's automorphisms theorem bounds the order of the group of automorphisms, via orientation-preserving conformal mappings, of a compact Riemann surface of genus g > 1, stating that the number of such automorphisms cannot exceed 84(g − 1). A group for which the maximum is achieved is called a Hurwitz group, and the corresponding Riemann surface a Hurwitz surface. Because compact Riemann surfaces are synonymous with non-singular complex projective algebraic curves, a Hurwitz surface can also be called a Hurwitz curve. The theorem is named after Adolf Hurwitz, who proved it in (Hurwitz 1893).

<span class="mw-page-title-main">Schwarz triangle</span> Spherical triangle that can be used to tile a sphere

In geometry, a Schwarz triangle, named after Hermann Schwarz, is a spherical triangle that can be used to tile a sphere, possibly overlapping, through reflections in its edges. They were classified in Schwarz (1873).

In mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle. The triangle can be an ordinary Euclidean triangle, a triangle on the sphere, or a hyperbolic triangle. Each triangle group is the symmetry group of a tiling of the Euclidean plane, the sphere, or the hyperbolic plane by congruent triangles called Möbius triangles, each one a fundamental domain for the action.

In mathematics, the group of rotations about a fixed point in four-dimensional Euclidean space is denoted SO(4). The name comes from the fact that it is the special orthogonal group of order 4.

In geometry, a point group in three dimensions is an isometry group in three dimensions that leaves the origin fixed, or correspondingly, an isometry group of a sphere. It is a subgroup of the orthogonal group O(3), the group of all isometries that leave the origin fixed, or correspondingly, the group of orthogonal matrices. O(3) itself is a subgroup of the Euclidean group E(3) of all isometries.

<span class="mw-page-title-main">Coxeter–Dynkin diagram</span> Pictorial representation of symmetry

In geometry, a Coxeter–Dynkin diagram is a graph with numerically labeled edges representing a Coxeter group or sometimes a uniform polytope or uniform tiling constructed from the group.

<span class="mw-page-title-main">Axis–angle representation</span> Parameterization of a rotation into a unit vector and angle

In mathematics, the axis–angle representation parameterizes a rotation in a three-dimensional Euclidean space by two quantities: a unit vector e indicating the direction (geometry) of an axis of rotation, and an angle of rotation θ describing the magnitude and sense of the rotation about the axis. Only two numbers, not three, are needed to define the direction of a unit vector e rooted at the origin because the magnitude of e is constrained. For example, the elevation and azimuth angles of e suffice to locate it in any particular Cartesian coordinate frame.

In geometry, pinwheel tilings are non-periodic tilings defined by Charles Radin and based on a construction due to John Conway. They are the first known non-periodic tilings to each have the property that their tiles appear in infinitely many orientations.

In mathematics, a symmetry operation is a geometric transformation of an object that leaves the object looking the same after it has been carried out. For example, a 13 turn rotation of a regular triangle about its center, a reflection of a square across its diagonal, a translation of the Euclidean plane, or a point reflection of a sphere through its center are all symmetry operations. Each symmetry operation is performed with respect to some symmetry element.

In the theory of Riemann surfaces and hyperbolic geometry, the triangle group (2,3,7) is particularly important for its connection to Hurwitz surfaces, namely Riemann surfaces of genus g with the largest possible order, 84(g − 1), of its automorphism group.

<span class="mw-page-title-main">Coxeter notation</span> Classification system for symmetry groups in geometry

In geometry, Coxeter notation is a system of classifying symmetry groups, describing the angles between fundamental reflections of a Coxeter group in a bracketed notation expressing the structure of a Coxeter-Dynkin diagram, with modifiers to indicate certain subgroups. The notation is named after H. S. M. Coxeter, and has been more comprehensively defined by Norman Johnson.

Charles Lewis Radin is an American mathematician, known for his work on aperiodic tilings and in particular for defining the pinwheel tiling and, with John Horton Conway, the quaquaversal tiling.

<span class="mw-page-title-main">Einstein problem</span> Question about single-shape aperiodic tiling

In plane geometry, the einstein problem asks about the existence of a single prototile that by itself forms an aperiodic set of prototiles; that is, a shape that can tessellate space but only in a nonperiodic way. Such a shape is called an einstein, a word play on ein Stein, German for "one stone".

References

  1. 1 2 Conway, John H.; Radin, Charles (1998), "Quaquaversal tilings and rotations", Inventiones Mathematicae, 132 (1): 179–188, Bibcode:1998InMat.132..179C, doi:10.1007/s002220050221, MR   1618635, S2CID   14194250 .
  2. Radin, Charles; Sadun, Lorenzo (1998), "Subgroups of SO(3) associated with tilings", Journal of Algebra, 202 (2): 611–633, doi: 10.1006/jabr.1997.7320 , MR   1617675 .