Euclidean tilings by convex regular polygons: Difference between revisions

Revision as of 20:55, 28 November 2023

Latest revision as of 22:16, 13 August 2025

(15 intermediate revisions by 12 users not shown)

Line 9:

|[[File:Distorted truncated square tiling.svg|150px]]<br/>A [[#Tilings_that_are_not_edge-to-edge|non-edge-to-edge tiling]] can have different-sized regular faces.

|}

Euclidean [[Plane (mathematics)|plane]] '''[[Tessellation|tilings]] by convex [[regular polygon]]s''' have been widely used since antiquity. The first systematic mathematical treatment was that of [[Johannes Kepler|Kepler]] in his ''{{lang|la|[[HarmonicesHarmonice Mundi]]''}} ([[Latin language|Latin]]: ''The Harmony of the World'', 1619).

== Notation of Euclidean tilings ==

Euclidean tilings are usually named after Cundy & Rollett’s notation.<ref>{{cite book |last1=Cundy |first1=H.M.|last2=Rollett |first2=A.P. |title=Mathematical Models; |date=1981 |publisher=Tarquin Publications |___location=Stradbroke (UK)}}</ref> This notation represents (i) the number of vertices, (ii) the number of polygons around each vertex (arranged clockwise) and (iii) the number of sides to each of those polygons. For example: 3⁶; 3⁶; 3⁴.6, tells us there are 3 vertices with 2 different vertex types, so this tiling would be classed as a ‘3"3-uniform (2-vertex types)’" tiling. Broken down, 3⁶; 3⁶ (both of different transitivity class), or (3⁶)², tells us that there are 2 vertices (denoted by the superscript 2), each with 6 equilateral 3-sided polygons (triangles). With a final vertex 3⁴.6, 4 more contiguous equilateral triangles and a single regular hexagon.

However, this notation has two main problems related to ambiguous conformation and uniqueness <ref name="Gomez-Jauregui 2012">{{cite journal |last1=Gomez-Jauregui |first1=Valentin al.|last2=Otero |first2=Cesar |display-authors=etal |title=Generation and Nomenclature of Tessellations and Double-Layer Grids |journal=Journal of Structural Engineering |date=2012 |volume=138 |issue=7 |pages=843–852 |doi=10.1061/(ASCE)ST.1943-541X.0000532 |hdl=10902/5869 |url=https://ascelibrary.org/doi/10.1061/%28ASCE%29ST.1943-541X.0000532|hdl-access=free }}</ref> First, when it comes to k-uniform tilings, the notation does not explain the relationships between the vertices. This makes it impossible to generate a covered plane given the notation alone. And second, some tessellations have the same nomenclature, they are very similar but it can be noticed that the relative positions of the hexagons are different. Therefore, the second problem is that this nomenclature is not unique for each tessellation.

In order to solve those problems, GomJau-Hogg’sHogg's notation <ref>{{cite journal |last1=Gomez-Jauregui |first1=Valentin |last2=Hogg |first2=Harrison|display-authors=etal |title=GomJau-Hogg's Notation for Automatic Generation of k-Uniform Tessellations with ANTWERP v3.0 |journal=Symmetry |date=2021 |volume=13 |issue=12 |page=2376 |doi=10.3390/sym13122376 |bibcode=2021Symm...13.2376G |doi-access=free |hdl=10902/23907 |hdl-access=free }}</ref> is a slightly modified version of the research and notation presented in 2012,<ref name="Gomez-Jauregui 2012" /> about the generation and nomenclature of tessellations and double-layer grids. Antwerp v3.0,<ref>{{cite web |last1=Hogg |first1=Harrison |last2=Gomez-Jauregui |first2=Valentin |title=Antwerp 3.0 |url=https://antwerp.hogg.io/<}}</ref> a free online application, allows for the infinite generation of regular polygon tilings through a set of shape placement stages and iterative rotation and reflection operations, obtained directly from the GomJau-Hogg’sHogg's notation.

== Regular tilings ==

Line 41:

== Archimedean, uniform or semiregular tilings ==<!-- This section is linked from [[Archimedean tiling]] -->

{{Further|List of convexEuclidean uniform tilings}}

[[Vertex-transitive|Vertex-transitivity]] means that for every pair of vertices there is a [[symmetry operation]] mapping the first vertex to the second.<ref name="Critchlow 1969">{{cite book |last1=Critchlow |first1=K. |title=Order in Space: A Design Source Book |date=1969 |publisher=Thames and Hudson |___location=London |pages=60–61}}</ref>

Line 67:

==Plane-vertex tilings==

There are 17 combinations of regular convex polygons that form 21 types of [[Vertex (geometry)#Of a plane tiling|plane-vertex tilings]].<ref>{{citation|title=The Elements of Plane Practical Geometry, Etc|first=Elmslie William|last=Dallas|publisher=John W. Parker & Son|year=1855|page=134|url=https://books.google.com/books?id=y4BaAAAAcAAJ&pg=PA134}}</ref><ref>[[Tilings and Patternspatterns]], Figure 2.1.1, p.60</ref> Polygons in these meet at a point with no gap or overlap. Listing by their [[vertex figure]]s, one has 6 polygons, three have 5 polygons, seven have 4 polygons, and ten have 3 polygons.<ref>[[Tilings and Patternspatterns]], p.58-69</ref>

As detailed in the sections above, threeThree of them can make [[#Regular_tilings|regular tilings]] (6³, 4⁴, 3⁶), and eight more can make [[#Archimedean,_uniform_or_semiregular_tilings|semiregular or archimedean tilings]], (3.12.12, 4.6.12, 4.8.8, (3.6)², 3.4.6.4, 3.3.4.3.4, 3.3.3.4.4, 3.3.3.3.6). Four of them can exist in higher [[#k-uniform_tilings|''k''-uniform tilings]] (3.3.4.12, 3.4.3.12, 3.3.6.6, 3.4.4.6), while six can not be used to completely tile the plane by regular polygons with no gaps or overlaps - they only tessellate space entirely when irregular polygons are included (3.7.42, 3.8.24, 3.9.18, 3.10.15, 4.5.20, 5.5.10).<ref>{{Cite web|url=https://blogs.ams.org/visualinsight/2015/02/01/pentagon-decagon-packing/|title=Pentagon-Decagon Packing|website=American Mathematical Society|publisher=AMS|access-date=2022-03-07}}</ref>

{| class=wikitable

|+ The planePlane-vertex tilings

|- align=center

!6

Line 126:

{| class="wikitable" align=left style="margin: auto; text-align:center;"

|+ ''k''-uniform, ''m''-Archimedean tiling counts <ref>{{Cite web|url=http://probabilitysports.com/tilings.html|title=n-Uniform Tilings|website=probabilitysports.com|access-date=2019-06-21}}</ref><ref>{{Cite OEIS |A068599 |Number of n-uniform tilings. |access-date=2023-01-07 }}</ref><ref>{{Cite web|url=https://zenorogue.github.io/tes-catalog/?c=k-uniform%2F|title=Enumeration of n-uniform k-Archimedean tilings|website=zenorogue.github.io/tes-catalog/?c=|access-date=2024-08-24}}</ref>

!colspan=2 rowspan=2 | !! colspan="16" |''m''-Archimedean

|-

Line 207:

|-

! scope="row"| 7

| 0 || {{Dunno}}'''175''' || {{Dunno}}'''572''' || {{Dunno}}'''426''' || {{Dunno}}'''218''' || {{Dunno}}'''74''' ||'''7'''||0

|0

|0

Line 218:

|-

! scope="row"| 8

||0 || {{Dunno}}'''298''' || {{Dunno}}'''1037''' || {{Dunno}}'''795''' || {{Dunno}}'''537''' || {{Dunno}}'''203''' || '''20'''||0|0

|0

|0

Line 229:

|-

! scope="row"| 9

| 0 || {{Dunno}}'''424''' || {{Dunno}}'''1992''' || {{Dunno}}'''1608''' || {{Dunno}}'''1278''' || {{Dunno}}'''570''' || {{Dunno}}'''80''' ||'''8'''||0|0

|0

|0

Line 239:

|-

! scope="row"| 10

| 0 || {{Dunno}}'''663''' || {{Dunno}}'''3772''' || {{Dunno}}'''2979''' || {{Dunno}}'''2745''' || {{Dunno}}'''1468''' || {{Dunno}}'''212''' ||'''27'''||0|0

|0

|0

Line 249:

|-

! scope="row"| 11

|0||{{Dunno}} '''1086''' ||{{Dunno}} '''7171''' ||{{Dunno}} '''5798''' ||{{Dunno}} '''5993''' ||{{Dunno}} '''3711''' ||{{Dunno}} '''647''' ||{{Dunno}} '''52''' ||'''1'''||0

|0

|0

Line 258:

|-

! scope="row"| 12

|0||{{Dunno}} '''1607''' ||{{Dunno}} '''13762''' ||{{Dunno}} '''11006''' ||{{Dunno}} '''12309''' ||{{Dunno}} '''9230''' ||{{Dunno}} '''1736''' ||{{Dunno}}||{{Dunno}} '''129''' || '''015''' ||0||0|0

|0

|0

Line 266:

|-

! scope="row"| 13

|0||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||'''0'''||0||0||0|0

|0

|103082

|-

! scope="row"| 14

|0||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||{{Dunno}}||'''0'''||0||0||0||0

|{{Dunno}}

|-

Line 300:

=== 2-uniform tilings ===

There are twenty (20) '''2-uniform tilings''' of the Euclidean plane. (also called '''2-[[isogonal figure|isogonal]] tilings''' or '''[[demiregular tiling]]s''') {{r|"Critchlow 1969"|p=62-67}} <ref>[[Tilings and Patternspatterns]], Grünbaum and Shephard 1986, pp. 65-67</ref><ref>{{Cite web |url=http://www.math.nus.edu.sg/aslaksen/papers/Demiregular.pdf |title=In Search of Demiregular Tilings |access-date=2015-06-04 |archive-url=https://web.archive.org/web/20160507010400/http://www.math.nus.edu.sg/aslaksen/papers/Demiregular.pdf |archive-date=2016-05-07 |url-status=dead }}</ref> Vertex types are listed for each. If two tilings share the same two vertex types, they are given subscripts 1,2.

{| class="wikitable" style="text-align:center;"

Line 328:

|- valign=top

| [[File:2-uniform n16.svg|120px]]<br/>[[33344-33434 tiling|[3³.4²; 3².4.3.4]₁]]<br/>4-3,3-4,3/r90/m(h3) <br/>(''t'' = 4, ''e'' = 5)

| [[File:2-uniform n17-1.pngsvg|120px]]<br/>[[33344-33434 tiling|[3³.4²; 3².4.3.4]₂]]<br/>4-3,3,3-4,3/r(c2)/r(h13)/r(h45)<br/>(''t'' = 3, ''e'' = 6)

| [[File:2-uniform n4.svg|120px]]<br/>[4⁴; 3³.4²]₁<br/>4-3/m(h4)/m(h3)/r(h2)<br/>(''t'' = 2, ''e'' = 4)

| [[File:2-uniform n3.svg|120px]]<br/>[4⁴; 3³.4²]₂<br/>4-4-3-3/m90/r(h3)<br/>(''t'' = 3, ''e'' = 5)

Line 398:

Convex regular polygons can also form plane tilings that are not edge-to-edge. Such tilings can be considered edge-to-edge as nonregular polygons with adjacent colinear edges.

There are seven families of [[isogonal figure|isogonal]]s, each family having a real-valued parameter determining the overlap between sides of adjacent tiles or the ratio between the edge lengths of different tiles. Two of the families are generated from shifted square, either progressive or zig-zagging positions. Grünbaum and Shephard call these tilings ''uniform'' although it contradicts Coxeter's definition for uniformity which requires edge-to-edge regular polygons.<ref>[{{Cite web |url=http://www.maa.org/sites/default/files/images/upload_library/22/Allendoerfer/1978/0025570x.di021102.02p0230f.pdf |title=Tilings by regular polygons] |p.=236 |archive-url=https://web.archive.org/web/20160303235526/http://www.maa.org/sites/default/files/images/upload_library/22/Allendoerfer/1978/0025570x.di021102.02p0230f.pdf |archive-date=2016-03-03 |url-status=dead}}</ref> Such isogonal tilings are actually topologically identical to the uniform tilings, with different geometric proportions.

{| class=wikitable width=600

Line 415:

|[[File:Distorted truncated square tiling.svg|120px]]<br/>[[Pythagorean tiling|A tiling by squares]]

|[[File:Gyrated truncated hexagonal tiling.png|120px]]<br/>Three hexagons surround each triangle

|[[File:Gyrated hexagonal tiling2.pngsvg|120px]]<br/>Six triangles surround every hexagon.

|[[File:Trihexagonal tiling unequal2.svg|120px]]<br/>Three size triangles

|-

Line 436:

{{colbegin|colwidth=30em}}

* [[Grid (spatial index)]]

* [[Hyperbolic geometry]]

* [[Uniform tilings in hyperbolic plane]]

* [[Lattice (group)]]

* [[List of uniform tilings]]

* [[WythoffPenrose symboltiling]]

* [[Tessellation]]

* [[Wallpaper group]]

* [[Regular polyhedron]] (the [[Platonic solid]]s)

* [[Semiregular polyhedron]] (including the [[Archimedean solid]]s)

* [[Hyperbolic geometryTessellation]]

* [[Penrose tiling]]

* [[Tiling with rectangles]]

* [[Uniform tilings in hyperbolic plane]]

* [[Lattice (group)]]

* [[Wallpaper group]]

* [[Wythoff symbol]]

{{colend}}

Line 465:

| journal=J. Comb. Theory A | year=1987 | volume=44 | number=1 | pages=110–119

|doi=10.1016/0097-3165(87)90063-X | doi-access= }}

* {{Cite journal | first=D. |last=Chavey | title=Tilings by Regular Polygons&mdash;II: A Catalog of Tilings | url=https://www.beloit.edu/computerscience/faculty/chavey/catalog/ | journal=Computers & Mathematics with Applications | year=1989 | volume=17 | pages=147&ndash;165 | doi=10.1016/0898-1221(89)90156-9| doi-access= | url-access=subscription }}

* Order in Space: A design source book, Keith Critchlow, 1970 {{ISBN|978-0-670-52830-1}}

*{{Cite book| first1= Duncan MacLaren Young |last1=Sommerville| title=An Introduction to the Geometry of '''n''' Dimensions | publisher=Dover Publications| year=1958}} Chapter X: The Regular Polytopes