arXiv++ Combinatorics

For each fixed $n$, we prove a positive lower bound for the diameter of a compact simple geodesic $n$-gonal monotile of the hyperbolic plane. We also prove a positive lower bound for the area of such a tile in a finite monohedral tiling of a closed hyperbolic surface, independent of the topology and metric. Both bounds become independent of $n$ for vertex-proper tilings, in which every genuine tile vertex belongs to at least three distinct tiles. This includes tilings by convex polygons. Reflex angles and non-edge-to-edge incidences are allowed. After qualitative proofs, we obtain explicit constants from a sharp gap estimate for packing polytopes with arbitrarily coupled nonnegative integer constraints. Exact corner balance applies on closed surfaces; in the plane, covering duality and ball counts give a boundary factor depending on the tile diameter. Following Zare, we give, for each integer $q\ge2$, a geodesic construction with $2q+3$ sides and diameter less than $3/q$, showing that side counts cannot be unrestricted without an additional condition. The closed-surface results extend to regular curved sides. The geometric constants are effective but are not claimed to be optimal.

We classify edge-to-edge tilings of the sphere by congruent pentagons with the edge combination $a^4b$ and with any irrational angle in degree: they are three $1$-parameter families of pentagonal subdivisions of the Platonic solids, with $12, 24$ and $60$ tiles; and a sequence of $1$-parameter families of pentagons admitting non-symmetric $3$-layer earth map tilings together with their various rearrangements under extra conditions. Their parameter moduli and geometric data are all computed in both exact and numerical form. The total numbers of different tilings for any fixed such pentagon are counted explicitly. As a byproduct, the degenerate pentagons produce naturally many new non-edge-to-edge quadrilateral tilings. A sequel of this paper will handle $a^4b$-pentagons with all angles being rational in degree by solving some trigonometric Diophantine equations, to complete our full classification of edge-to-edge tilings of the sphere by congruent pentagons.

We classify edge-to-edge tilings of the sphere by congruent pentagons with the edge combination $a^4b$ and with rational angles in degree: they are a one-parameter family of symmetric $a^4b$-pentagonal subdivisions of the tetrahedron with $12$ tiles; a sequence of unique symmetric $a^4b$-pentagons admitting a symmetric $3$-layer earth map tiling by $4m$ tiles for any $m\ge4$, among which each odd $m$ case admits two standard flip modifications; and a unique non-symmetric and degenerate $a^4b$-pentagon admitting a non-symmetric $3$-layer earth map tiling and its standard flip modification with $20$ tiles. The full classification from this series and all induced non-edge-to-edge quadrilateral tilings from degenerate pentagons are summarized with their 3D pictures.

By computing all cyclotomic points on some algebraic varieties, we get an independent and efficient way to find all rational $a^3b$-monotiles for the sphere, thereby completing the classification of edge-to-edge monohedral quadrilateral tilings. Both of the previous classifications \cite{lw2} and \cite{cl} depended on many old works of different authors while quite a few typos and gaps were found.

Edge-to-edge tilings of the sphere by congruent quadrilaterals are completely classified in a series of three papers. This last one classifies the case of $a^3b$-quadrilaterals with some irrational angle: there are a sequence of $1$-parameter families of quadrilaterals admitting $2$-layer earth map tilings together with their basic flip modifications under extra condition, and $5$ sporadic quadrilaterals each admitting a special tiling. A summary of the full classification is presented in the end.

Edge-to-edge tilings of the sphere by congruent quadrilaterals are completely classified in a series of three papers. This second one applies the powerful tool of trigonometric Diophantine equations to classify the case of $a^3b$-quadrilaterals with all angles being rational degrees. There are $12$ sporadic and $3$ infinite sequences of quadrilaterals admitting the $2$-layer earth map tilings together with their modifications, and $3$ sporadic quadrilaterals admitting $4$ exceptional tilings. Among them only $3$ quadrilaterals are convex. New interesting non-edge-to-edge triangular tilings are obtained as a byproduct.

The edge-to-edge tilings of the sphere by congruent quadrilaterals of Type $a^2bc$ are classified as $3$ classes: a sequence of two-parameter families of $2$-layer earth map tilings with $2n$ $(n\ge3)$ tiles, a one-parameter family of quadrilateral subdivisions of the octahedron with $24$ tiles together with a flip modification for a special parameter, and a sequence of $3$-layer earth map tilings with $8n$ $(n\ge2)$ tiles together with two flip modifications for odd $n$. We also describe the moduli and calculate the geometric data.