Aperiodic sets of three types of convex polygons

Teruhisa Sugimoto

2024-09-05

Abstract:Sets of three types of convex pentagons that are aperiodic with no matching conditions on the edges are created from a chiral aperiodic monotile Tile(1, 1). This method divides the interior of Tile(1,1) into five convex polygons with five or more edges, and we have so far identified four methods.

Metric Geometry

What problem does this paper attempt to address?

Converting non-periodic tiling with Tile(1,1) to tilings with three types of pentagons

Teruhisa Sugimoto

2024-06-27

Abstract:Non-periodic tilings with Tile(1, 1) using the substitution method, as presented by Smith et al. in [2] or [3], can be converted to non-periodic tilings with three types of pentagons. When arbitrary replacements are excluded, non-periodic tilings with three types of pentagons exhibiting two patterns are obtained from the original non-periodic tilings.

Metric Geometry
Representation and Rendering of General Julia Sets Based on Tri-Dimensional Polynomial Maps

Jin CHENG,TAN Jian-Rong

DOI: https://doi.org/10.1360/jos171561

2006-01-01

Journal of Software

Abstract:A new approach for the representation of 3D general Julia sets is put forward on the basis of tri-dimensional polynomial maps. The condition for a 3D polynomial map to be equivariant is theoretically analyzed and proved. The equations of two classes of 3D polynomial maps that are equivariant with respect to the rotational symmetries of either a regular tetrahedron group or a regular octahedron group are strictly given, on the basis of which the properties of the general Julia sets created by these 3D polynomial maps are discussed and proved. A ray-tracing volume rendering algorithm, which defines the color and opacity of every discrete point within a Julia set according to its escaping distance, is proposed in order to acquire high quality 3D fractal images. Experimental results demonstrate that the approach of generating 3D Julia sets from 3D polynomial maps not only enables us to predict the characteristics of Julia sets according to the properties of the maps, but also makes it possible for us to obtain various kinds of Julia sets with different rotational symmetries by altering the parameters of the maps. Consequently, drawbacks such as monotone structure of the resulting fractals and inability to predict fractal shape in the existing methods for generating 3D fractal sets can be effectually avoided. Furthermore, the method of generating 3D Julia sets by 3D polynomial maps can be applied to the construction of other 3D fractals, and hence would result in a different perspective for the generation of 3D fractals.
An aperiodic monotile

David Smith,Joseph Samuel Myers,Craig S. Kaplan,Chaim Goodman-Strauss

DOI: https://doi.org/10.5070/C64163843

2024-07-04

Abstract:A longstanding open problem asks for an aperiodic monotile, also known as an "einstein": a shape that admits tilings of the plane, but never periodic tilings. We answer this problem for topological disk tiles by exhibiting a continuum of combinatorially equivalent aperiodic polygons. We first show that a representative example, the "hat" polykite, can form clusters called "metatiles", for which substitution rules can be defined. Because the metatiles admit tilings of the plane, so too does the hat. We then prove that generic members of our continuum of polygons are aperiodic, through a new kind of geometric incommensurability argument. Separately, we give a combinatorial, computer-assisted proof that the hat must form hierarchical -- and hence aperiodic -- tilings.

Combinatorics,Discrete Mathematics,Metric Geometry
A chiral aperiodic monotile

David Smith,Joseph Samuel Myers,Craig S. Kaplan,Chaim Goodman-Strauss

DOI: https://doi.org/10.5070/C64264241

2024-09-28

Abstract:The recently discovered "hat" aperiodic monotile mixes unreflected and reflected tiles in every tiling it admits, leaving open the question of whether a single shape can tile aperiodically using translations and rotations alone. We show that a close relative of the hat -- the equilateral member of the continuum to which it belongs -- is a weakly chiral aperiodic monotile: it admits only non-periodic tilings if we forbid reflections by fiat. Furthermore, by modifying this polygon's edges we obtain a family of shapes called Spectres that are strictly chiral aperiodic monotiles: they admit only chiral non-periodic tilings based on a hierarchical substitution system.

Combinatorics,Discrete Mathematics,Metric Geometry
Spherical Tiling by 12 Congruent Pentagons

Honghao Gao,Nan Shi,Min Yan

DOI: https://doi.org/10.1016/j.jcta.2012.12.006

2013-01-04

Abstract:The tilings of the 2-dimensional sphere by congruent triangles have been extensively studied, and the edge-to-edge tilings have been completely classified. However, not much is known about the tilings by other congruent polygons. In this paper, we classify the simplest case, which is the edge-to-edge tilings of the 2-dimensional sphere by 12 congruent pentagons. We find one major class allowing two independent continuous parameters and four classes of isolated examples. The classification is done by first separately classifying the combinatorial, edge length, and angle aspects, and then combining the respective classifications together.

Combinatorics,Differential Geometry
An aperiodic hexagonal tile

Joshua E. S. Socolar,Joan M. Taylor

DOI: https://doi.org/10.1016/j.jcta.2011.05.001

2010-09-09

Abstract:We show that a single prototile can fill space uniformly but not admit a periodic tiling. A two-dimensional, hexagonal prototile with markings that enforce local matching rules is proven to be aperiodic by two independent methods. The space--filling tiling that can be built from copies of the prototile has the structure of a union of honeycombs with lattice constants of $2^n a$, where $a$ sets the scale of the most dense lattice and $n$ takes all positive integer values. There are two local isomorphism classes consistent with the matching rules and there is a nontrivial relation between these tilings and a previous construction by Penrose. Alternative forms of the prototile enforce the local matching rules by shape alone, one using a prototile that is not a connected region and the other using a three--dimensional prototile.

Combinatorics,Other Condensed Matter
Tilings of Flat Tori by Congruent Hexagons

Xinlu Yu,Erxiao Wang,Min Yan

2024-05-08

Abstract:Convex hexagons that can tile the plane have been classified into three types. For the generic cases (not necessarily convex) of the three types and two other special cases, we classify tilings of the plane under the assumption that all vertices have degree $3$. Then we use the classification to describe the corresponding hexagonal tilings of flat tori and their moduli spaces.

Combinatorics
Characterization of the Three-Dimensional Fivefold Translative Tiles

Mei Han,Kirati Sriamorn,Qi Yang,Chuanming Zong

2023-10-29

Abstract:This paper proves the following statement: If a convex body can form a fivefold translative tiling in $\mathbb{E}^3$, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, a truncated octahedron, a cylinder over a particular octagon, or a cylinder over a particular decagon, where the octagon and the decagon are fivefold translative tiles in $\mathbb{E}^2$. Furthermore, it presents an example of multiple tiles in $\mathbb{E}^3$ with multiplicity at most 10 which is neither a parallelohedron nor a cylinder.

Metric Geometry
Convex pentagons that admit $i$-block transitive tilings

Casey Mann,Jennifer McLoud-Mann,David Von Derau

DOI: https://doi.org/10.48550/arXiv.1510.01186

2015-10-05

Abstract:The problem of classifying the convex pentagons that admit tilings of the plane is a long-standing unsolved problem. Previous to this article, there were 14 known distinct kinds of convex pentagons that admit tilings of the plane. Five of these types admit tile-transitive tilings (i.e. there is a single transitivity class with respect to the symmetry group of the tiling). The remaining 9 types do not admit tile-transitive tilings, but do admit either 2-block transitive tilings or 3-block transitive tilings; these are tilings comprised of clusters of 2 or 3 pentagons such that these clusters form tile-2-transitive or tile-3-transitive tilings. In this article, we present some combinatorial results concerning pentagons that admit $i$-block transitive tilings for $i \in \mathbb{N}$. These results form the basis for an automated approach to finding all pentagons that admit $i$-block transitive tilings for each $i \in \mathbb{N}$. We will present the methods of this algorithm and the results of the computer searches so far, which includes a complete classification of all pentagons admitting 1-, 2-, and 3-block transitive tilings, among which is a new 15th type of convex pentagon that admits a tile-3-transitive tiling.

Metric Geometry
Ax, 3 polyominoes for tiling the plane non-periodically

Vincent Van Dongen,Pierre Gradit

2024-06-24

Abstract:How do people come up with new sets of tiles including new tile shapes that would only tile non-periodically? This paper presents our graphical journey in tilings and provides a new set of three polyominoes named Ax for its relationship with Ammann A4.

General Mathematics
Can You Pave the Plane Nicely with Identical Tiles

Chuanming Zong

DOI: https://doi.org/10.48550/arXiv.1803.06610

2018-03-26

Abstract:Every body knows that identical regular triangles or squares can tile the whole plane. Many people know that identical regular hexagons can tile the plane properly as well. In fact, even the bees know and use this fact! Is there any other convex domain which can tile the Euclidean plane? Yes, there is a long list of them! To find the list and to show the completeness of the list is a unique drama in mathematics, which has lasted for more than one century and the completeness of the list has been mistakenly announced not only once! Up to now, the list consists of triangles, quadrilaterals, three types of hexagons, and fifteen types of pentagons. In 2017, Michael Rao announced a computer proof for the completeness of the list. Meanwhile, Qi Yang and Chuanming Zong made a series of unexpected discoveries in multiple tilings in the Euclidean plane. For examples, besides parallelograms and centrally symmetric hexagons, there is no other convex domain which can form any two-, three- or four-fold translative tiling in the plane; there are only two types of octagons and one type of decagons which can form five-fold translative tilings.

Metric Geometry,History and Overview
Polyhedra with Hexagonal and Triangular Faces and Three Faces Around Each Vertex

Linda Green,Stellen Li

DOI: https://doi.org/10.1007/s00026-024-00722-1

2024-10-10

Annals of Combinatorics

Abstract:We analyze polyhedra composed of hexagons and triangles with three faces around each vertex, and their 3-regular planar graphs of edges and vertices, which we call "trihexes". Trihexes are analogous to fullerenes, which are 3-regular planar graphs whose faces are all hexagons and pentagons. Every trihex can be represented as the quotient of a hexagonal tiling of the plane under a group of isometries generated by rotations. Every trihex can also be described with either one or three "signatures": triples of numbers that describe the arrangement of the rotocenters of these rotations. Simple arithmetic rules relate the three signatures that describe the same trihex. We obtain a bijection between trihexes and equivalence classes of signatures as defined by these rules. Labeling trihexes with signatures allows us to put bounds on the number of trihexes for a given number of vertices v in terms of the prime factorization of v and to prove a conjecture concerning trihexes that have no "belts" of hexagons.

mathematics, applied
An aperiodic tiling made of one tile, a triangle

Vincent Van Dongen

DOI: https://doi.org/10.48550/arXiv.2111.03979

2021-11-07

Abstract:How many different tiles are needed at the minimum to create aperiodicity? Several tilings made of two tiles were discovered, the first one being by Penrose in the seventies. Since then, scientists discovered other aperiodic tilings made of two tiles, including the square-triangle one, a tiling that has been particularly useful for the study of dodecagonal quasicrystals and soft matters. An open problem still exists: Can one tile be sufficient to create aperiodicity? This is known as the ein stein problem. We present in this paper an aperiodic tiling made of one single tile: an isosceles right triangle. The tile itself is not aperiodic and therefore not a solution to the ein stein problem but we present a set of substitution rules on the same tile that forces the tiling to be aperiodic. This paper presents its construction rules that proves its aperiodicity. We also show that this tiling offers an underlying dodecagonal structure close to the one of square-triangle tiling.

Metric Geometry
Can You Pave the Plane with Identical Tiles?

Chuanming Zong

DOI: https://doi.org/10.1090/noti2075

2020-01-01

Notices of the American Mathematical Society

Abstract:Every body knows that identical regular triangles or squares can tile the whole plane. Many people know that identical regular hexagons can tile the plane properly as well. In fact, even the bees know and use this fact! Is there any other convex domain which can tile the Euclidean plane? Yes, there is a long list of them! To find the list and to show the completeness of the list is a unique drama in mathematics, which has lasted for more than one century and the completeness of the list has been mistakenly announced not only once! Up to now, the list consists of triangles, quadrilaterals, three types of hexagons, and fifteen types of pentagons. In 2017, Michael Rao announced a computer proof for the completeness of the list. Meanwhile, Qi Yang and Chuanming Zong made a series of unexpected discoveries in multiple tilings in the Euclidean plane. For examples, besides parallelograms and centrally symmetric hexagons, there is no other convex domain which can form any two-, three- or four-fold translative tiling in the plane; there are only two types of octagons and one type of decagons which can form five-fold translative tilings.
The Three and Fourfold Translative Tiles in Three-Dimensional Space

Mei Han,Kirati Sriamorn,Qi Yang,Chuanming Zong

DOI: https://doi.org/10.48550/arxiv.2109.07116

2021-01-01

Abstract: This paper proves the following statement: If a convex body can form a three or fourfold translative tiling in three-dimensional space, it must be a parallelohedron. In other words, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, or a truncated octahedron.
Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes

Jeff Erickson

DOI: https://doi.org/10.48550/arXiv.math/0106095

2001-06-13

Abstract:We construct, for any positive integer n, a family of n congruent convex polyhedra in R^3, such that every pair intersects in a common facet. Previously, the largest such family contained only eight polytopes. Our polyhedra are Voronoi regions of evenly distributed points on the helix (t, cos t, sin t). With a simple modification, we can ensure that each polyhedron in the family has a point, a line, and a plane of symmetry. We also generalize our construction to higher dimensions and introduce a new family of cyclic polytopes.

Combinatorics,Metric Geometry
Characterization of the Two-Dimensional Six-Fold Lattice Tiles

Zong Chuanming

2019-01-01

Abstract: This paper characterizes all the convex domains which can form six-fold lattice tilings of the Euclidean plane. They are parallelograms, centrally symmetric hexagons, one type of centrally symmetric octagons and two types of decagons.
Affine dimers from characteristic polygons

Daniel Holmes

DOI: https://doi.org/10.48550/arXiv.2110.01703

2022-02-15

Abstract:Recent work by Forsgård indicates that not every convex lattice polygon arises as the characteristic polygon of an affine dimer or, equivalently, an admissible oriented line arrangement on the torus in general position. We begin the classification of convex lattice polygons arising as characteristic polygons of affine dimers. We present several general constructions of new affine dimers from old, and an algorithm for finding affine dimers with prescribed polygon. With these tools we prove that all lattice triangles, generalised parallelograms, and polygons of genus at most two admit an affine dimer.

Geometric Topology,Combinatorics
Aperiodic monotiles: from geometry to groups

Thierry Coulbois,Anahí Gajardo,Pierre Guillon,Victor Lutfalla

2024-09-24

Abstract:<div><p>In 2023, two striking, nearly simultaneous, mathematical discoveries have excited their respective communities, one by Greenfeld and Tao, the other (the Hat tile) by Smith, Myers, Kaplan and Goodman-Strauss, which can both be summed up as the following: there exists a single tile that tiles, but not periodically (sometimes dubbed the einstein problem). The two settings and the tools are quite different (as emphasized by their almost disjoint bibliographies): one in euclidean geometry, the other in group theory. Both are highly nontrivial: in the first case, one allows complex shapes; in the second one, also the space to tile may be complex.</p><p>We propose here a framework that embeds both of these problems. We illustrate our setting by transforming the Hat tile into a new aperiodic group monotile, and we describe its symmetries.</p></div>

Discrete Mathematics,Combinatorics
Tilings of the sphere by congruent regular triangles and congruent rhombi

Qi Yuan,Erxiao Wang

2023-11-23

Abstract:All edge-to-edge tilings of the sphere by congruent regular triangles and congruent rhombi are classified as: (1) a $1$-parameter family of protosets each admitting a unique $(2a^3,3a^4)$-tiling like a triangular prism; (2) a $1$-parameter family of protosets each admitting 2 different $(8a^3,6a^4)$-tilings like a cuboctahedron and a triangular orthobicupola respectively; (3) a sequence of protosets each admitting a unique $(2a^3,(6n-3)a^4)$-tiling like a generalized anti-triangular prism for each $n\ge3$; (4) 26 sporadic protosets, among which nineteen admit a unique tiling, one admits 3 different tilings, one admits 5 different tilings, three admit 2 different tilings, two admit too many tilings to count. The moduli of parameterized tilings and all geometric data are provided.

Combinatorics

Aperiodic sets of three types of convex polygons

Converting non-periodic tiling with Tile(1,1) to tilings with three types of pentagons

Representation and Rendering of General Julia Sets Based on Tri-Dimensional Polynomial Maps

An aperiodic monotile

A chiral aperiodic monotile

Spherical Tiling by 12 Congruent Pentagons

An aperiodic hexagonal tile

Tilings of Flat Tori by Congruent Hexagons

Characterization of the Three-Dimensional Fivefold Translative Tiles

Convex pentagons that admit $i$-block transitive tilings

Ax, 3 polyominoes for tiling the plane non-periodically

Can You Pave the Plane Nicely with Identical Tiles

Polyhedra with Hexagonal and Triangular Faces and Three Faces Around Each Vertex

An aperiodic tiling made of one tile, a triangle

Can You Pave the Plane with Identical Tiles?

The Three and Fourfold Translative Tiles in Three-Dimensional Space

Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes

Characterization of the Two-Dimensional Six-Fold Lattice Tiles

Affine dimers from characteristic polygons

Aperiodic monotiles: from geometry to groups

Tilings of the sphere by congruent regular triangles and congruent rhombi