Pentagonal Subdivision
Min Yan
Hong Kong University of Science and Technology
Research was supported by Hong Kong RGC General Research Fund 16303515.
Abstract
We develop a theory of simple pentagonal subdivision of quadrilateral tilings, on orientable as well as non-orientable surfaces. Then we apply the theory to answer questions related to pentagonal tilings of surfaces, especially those related to pentagonal or double pentagonal subdivisions.
1 Introduction
Pentagonal subdivision appeared in [2], as a way of producing tilings of oriented surface by pentagons. When this process is applied to platonic solids, we get three families of edge-to-edge tilings of the sphere by congruent pentagons. We proved in [2] that these are the only tilings of the sphere by congruent pentagons with edge length combination a2b2c. When some among a,b,c become equal, the reduced form of the tilings also appeared in [1] and [3]. A natural combinatorial question is the criterion for a pentagonal tiling to be a pentagonal subdivision.
Pentagonal subdivision is also related to the problem of distribution of vertices of degree >3, which we call high degree vertices, reflecting negative curvature in a pentagonal tiling of the sphere. This problem is motivated by the fact that most vertices in a pentagonal tiling of the sphere have degree 3. In [4], we studied the extreme case of few high degree vertices, which means high concentration of high degree. Specifically, we proved that the tiling cannot have only one high degree vertex. Moreover, if the number is two, then the tiling is the explicit earth map tiling. At the other extreme, we are interested in the case that each tile has exactly one high degree vertex, which means evenly distributed high degree. Any pentagonal subdivision of a triangular tiling in which all vertices have degree >3 is such an example. We speculated that the converse is also true.
In [2], we also introduced double pentagonal subdivision, and proved that tilings of the sphere by congruent pentagons with edge length combination a3bc are two pentagonal subdivisions of platonic solids. A natural related question is a criterion for a tiling to admit double pentagonal subdivision.
We answer these questions in the present paper, specifically through Theorems 10, 11, and 13. In pursuing these, we discover a more fundamental construction, that is the simple pentagonal subdivision that turns some quadrilateral tilings into pentagonal tilings. In Section 2, we develop this theory over any surface. We find criteria for a quadrilateral tiling to admit simple pentagonal subdivision. For example, Proposition 4 says that on orientable surfaces, the condition is exactly the bipartite property. We further study degenerate quadrilaterals appearing in tilings admitting simple pentagonal subdivisions. Then we get very explicit criteria for some surfaces. For example, Theorem 5 says that a quadrilateral tiling of the sphere can only have the non-degenerate tile or the specific degenerate tile Q13. Moreover, any quadrilateral tiling of the sphere admits a simple pentagonal subdivision.
In Section 3, we apply the theory in Section 2 to pentagonal tilings. In addition to answering our original questions, we also answer questions related to simple pentagonal subdivision. Theorems 8 and 9 give a criterion for a pentagonal tiling to come from simple pentagonal subdivision. As part of the discussion on double pentagonal subdivision, we also introduce quadrilateral subdivision in Section 3.3. Then in Theorem 12, we give a criterion for a quadrilateral tiling to come from quadrilateral subdivision.
Finally, we fix the exact context of this paper. The surfaces are compact, connected and without boundary. By tiling, we mean a graph embedded in the surface, so that the surface is divided into open regions (i.e., tiles) homeomorphic to the open 2-disk. This means that tilings are edge-to-edge, the degree of each vertex is at least 3, and each tile has at least 3 edges.
2 Subdivisible Quadrilateral Tiling
Given a quadrilateral tiling, we would like to divide each tile into two halves, by connecting the middle points of an opposite pair of edges in each tile; we furthermore require that the middle point of each edge is used exactly once. Then each quadrilateral tile is divided into two pentagonal tiles, and we get a pentagonal tiling. See Figure 1, where the subdivision of quadrilaterals are indicated by dotted lines. We call the pentagonal tiling the simple pentagonal subdivision of the quadrilateral tiling. Not all quadrilateral tilings can admit simple pentagonal subdivision.
Definition**.**
A quadrilateral tiling of a surface is (pentagonally) subdivisible if it admits a simple pentagonal subdivision.
We allow tiles to be degenerate. Here is the definition.
Definition**.**
A polygon is non-degenerate if its boundary is a simple closed curve. Otherwise the polygon is degenerate.
Non-degenerate means no identification of vertices, and degenerate means that some vertices or even edges are identified. The identification of edges must be in pairs in order to get a surface. Figure 2 shows that the identified edge pair can be opposing or twisted, with the only exception that adjacent opposing edges cannot be identified because it produces a vertex of degree 1.
2.1 Criterion for Subdivisibility
Figure 3 gives a subdivisible tiling T4 of a 4-gon, a subdivisible tiling T2 of a 2-gon, and a subdivisible tiling of a torus T2. By regarding the outside of T4 as one quadrilateral, we see that the cube tiling of the sphere S2 is subdivisible. If we identify antipidal points on the boundary of the 2-gon, then we get a subdivisible tiling of projective space P2, with two degenerate tiles.
Figure 4 shows three operations on simple pentagonal subdivisions. The first is dual subdivision. This means that, for each tile, we switch the connection of middle points of one opposite pair of edges to the other opposite pair of edges. The second is refinement, given by applying a 3×3 grid to each tile. We may also use 5×5 grid, and so on. The refinement can be used to turn degenerate tiles into non-degenerate tiles. The third is connected sum of simple pentagonal subdivisions of two surfaces along non-degenerate tiles. Specifically, we delete one non-degenerate tile from each surface, and then glue along the boundaries of the deleted tiles in a twisted way.
Proposition 1**.**
Any surface has a subdivisible tiling in which all tiles are non-degenerate.
Proof.
Figure 3 gives subdivisible tilings of S2,P2,T2. The tiles for S2,T2 are non-degenerate. We may apply refinement to get a subdivisible tiling of P2 consisting of non-degenerate tiles only. Then we may use connected sum to construct subdivisible tilings of all other surfaces with only non-degenerate tiles.
∎
A simple pentagonal subdivision is equivalent to assigning an orthogonal direction at the middle of each edge, such that two edges adjacent at a vertex have compatible assignments. See the first of Figure 5. We call the assignment subdivision of edge. All the compatible subdivisions of all edges at a vertex give an orientation of the vertex. The dual subdivision simply reverses subdivisions of all edges (changing the orthogonal directions to the opposites). This reverses all the orientations of vertices.
The second of Figure 5 shows that two vertices at the end of any edge should have opposite orientations. This characterises subdivisible tilings.
Proposition 2**.**
A quadrilateral tiling of a surface is subdivisible if and only if it is possible to assign orientations at all vertices, such that the orientations at the two ends of each edge are opposite to each other.
Proof.
We only need to argue that an orientation assignment satisfying the proposition induces simple pentagonal subdivision. First, the opposite orientations at the two ends of an edge determine the subdivision of the edge. Then in a quadrilateral in the first of Figure 6, the opposite orientation property implies that subdivisions of the four edges induce a subdivision of the quadrilateral. We note that the process only makes use of the orientation inside the tile, and therefore includes the possibility that the quadrilateral tile is degenerate, such as the second of Figure 6, in which a pair of vertices of a quadrilateral tile are identified.
∎
For a quadrilateral tiling of a surface S, we may start with an orientation ov at a vertex v. We connect to any other vertex w by a path v=v0−v1−⋯−vk=w (each “−” is one edge), and move ov to an orientation ow along the path. Then we assign ow to w for even k, and assign −ow for odd k. The problem is what happens when w=v, i.e., the path is a cycle. This requires the assignment to be compatible with the orientation homomorphism π1S→{±1}. If S=kT2 (connected sum of k copies of tori) is an orientable surface, then the fundamental group π1S is generated by fundamental cycles a1,b1,…,ak,bk, subject to the relation a1b1a1−1b1−1⋯akbkak−1bk−1=1. If S=kP2 (connected sum of k copies of projective space) is a non-orientable surface, then π1S is generated by fundamental cycles a1,…,ak, subject to the relation a12⋯ak2=1. In case S is the sphere, the fundamental group is trivial, and we do not need to be concerned with fundamental cycles.
Proposition 3**.**
A quadrilateral tiling of a surface is subdivisible if and only if the fundamental cycles of the surface can be represented by cycles in the tiling in the following way:
-
For an orientable surface, the fundamental cycles are represented by cycles with an even number of edges.
2. 2.
For a non-orientable surface, the fundamental cycles are represented by cycles with an odd number of edges.
Proof.
For the orientation assignment to be compatible with the orientation homomorphism π1S→{±1}, we must have the compatibility for generators. For an orientable surface, the orientation homomorphism takes all fundamental cycles ai,bi to 1. This means even number of edges in the first part. For a non-orientable surface, the orientation homomorphism takes all fundamental cycles ai to −1. This means odd number of edges in the second part.
Conversely, suppose we have the compatibility for fundamental cycles. Then we have the compatibility for combinations of fundamental cycles. Now any cycle is homotopic to a combination of fundamental cycles. The homotopy can be reduced to the replacements of some consecutive edges of a tile by the remaining edges of the same tile. For a quadrilateral tile, this means i edges replaced by 4−i edges. Such replacement preserves the parity of the number of edges in a cycle. Therefore we have the compatibility for all cycles.
∎
The interpretation of subdivisibility in terms of the parities of the numbers of edges in cycles implies the following.
Proposition 4**.**
A quadrilateral tiling on an orientable surface is subdivisible if and only if the underlying graph is bipartite. The underlying graph of a subdivisible quadrilateral tiling on a non-orientable surface cannot be bipartite.
2.2 Degeneracy of Tiles
The criteria in Section 2.1 are qualitative. We may get more specific criteria by studying how degenerate a tile can be in a subdivisible quadrilateral tiling.
Figure 7 shows all quadrilateral tiles. Some quadrilaterals are not labelled because we will show that they cannot be tiles in subdivisible tilings. The first row consists of the non-degenerate quadrilateral Q, and degenerate quadrilateral tiles obtained by identifying vertices. We label the four vertices of Q by 1,2,3,4, and the vertices are not identified. We use the same labels for the vertices of all quadrilaterals. For example, Q12 means that the vertices 1,2 are identified, and Q12,34 means that 1,2 are identified and 3,4 are also identified.
We need to pay attention to how the tiles embed into surfaces. This means taking the union of a quadrilateral tile with a disk neighborhood of the identified vertex. Different configurations of the disk neighborhood may yield different embeddings. This happens when 1,2,3 are identified, and there are two possible embeddings Q123,Q132. A similar phenomenon occurs when 1,2,3,4 are identified.
The second row consists of degenerate quadrilateral tiles obtained by identifying one pair of edges. The identification of edges also induces identification of vertices. The first of the second row is a cylinder. In the first of Figure 8, we indicate the opposite orientations at vertices 1 and 2 implied by Proposition 2. In the second picture, we glue the two edges to get a cylinder, and find that the two orientations are still opposite at the identified vertex. Therefore the quadrilateral cannot be a tile in subdivisible tiling, and cannot be used. The second of the second row is a Möbius band, and can be dismissed for the same reason. The third quadrilateral is dismissed because adjacent opposing pair of edges are identified, and such identification is forbidden by Figure 2.
Figure 9 describes the fourth quadrilateral R in the second row. In the first picture, we divide R (by dashed line) into two triangles. In the second picture, we glue the two triangles in different order (single arrow edges are glued first). The result is the Möbius band in the third picture. The fourth picture is the boundary of tile, which is a 2-gon; we also indicate the subdivision on boundary.
The fifth quadrilateral in the second row is a further degeneration of R by identifying the vertex 4 with the vertex 1,2,3 (already identified in R). Again there are two ways R1,R2 for such a tile to embed into surfaces.
In each of the third row of Figure 7, we identify two pairs of edges. This yields surfaces T2,2P2,P2,S2,P2,2P2. Therefore we get specific surfaces tiled by only one quadrilateral. The first, second and third can be dismissed for the same reason as the first and second of the second row. The fourth and fifth can be dismissed because adjacent opposing pair of edges are identified. Only the last K (for Klein bottle) remains, and Figure 10 explains that this tiling of the Klein bottle is subdivisible.
In the first of Figure 10, we use dotted lines to divide the quadrilateral into two parts. We denote the halves of edges by a0,a1,b0,b1. Then the upper half of the quadrilateral is the pentagon in the second of Figure 10, and the lower half of the quadrilateral is the pentagon in the fourth of Figure 10. Both pentagons are obtained by identifying a pair of edges in a twisted way, and both are thus Möbius bands. The boundaries of the pentagons consist of three edges a1,b0,x, as in the third of Figure 10. Glueing the two pentagons along the common boundary gives the Klein bottle 2P2. There are three vertices. The vertex between a1,b0 has degree 4. The vertices between a1,x and between b0,x have degree 3.
Only labeled quadrilaterals in Figure 7 are suitable for subdivisible tilings. The total number is 13.
2.3 Orientable Degenerate Tiles
By Proposition 2, only Q,Q13,Q13,24 can be tiles in subdivisible tilings of orientable surfaces. The first of Figure 11 is Q13, and the second is a disk neighborhood of the identified vertex 1,3. The union Q^13 of the two means that corners labeled by
1
and
3
in the quadrilateral are the two fans in the disk neighborhood. To help in understanding the picture, we imagine walking around the quadrilateral in the direction 1→2→3→4→1. We go into the vertex 1 at i1 (i for into) and come out of 1 at o1 (o for out). We use similar notations around the other identified vertices. We also note that, to satisfy Proposition 2, the direction i1→o1 around the circle in the second picture must be the same as the direction i3→o3 around the circle.
The union of the first and second of Figure 11 can be more easily interpreted as glueing the third and fourth pictures along the indicated thick lines, so that the labels i∗ and o∗ match. This is a cylinder, or the sphere with two disks removed. The boundary of the cylinder consists of two circles, illustrated by the fifth picture. At the top of two circles, we also indicate the corners to fit into the second picture. The boundary is obtained by combining the normal edges i1−4−o3, o1−2−i3 of the third picture (“−” for edges of the quadrilateral), and the normal edges i1⌢o3, o1⌢i3 of the fourth picture (“⌢” for edges of the disk). The two boundary circles are o1−2−i3⌢o1 and i1−4−o3⌢i1.
Each boundary circle is the boundary of the subdivisible tiling T2 in Figure 3. Therefore the union Q13∪T2∪T2 is a subdivisible tiling of the sphere by one Q13 and twelve non-degnerate tiles Q. By connected sum constructions, we find that Q13 can appear in subdivisible tilings of any surface.
Next we turn to Q13,24. There are two neighborhoods, one around the ∙-vertex 1,3 and another around the ∘-vertex 2,4. The union Q^13,24 of the tile with two neighborhoods is the union of the first three pictures in Figure 12. By combining the normal edges of the first three pictures, we get the boundary o1−i2⌢o4−i1⌢o3−i4⌢o2−i3⌢o1−i2⌢o4 of Q^13,24 in the fourth picture. Since the boundary is one circle, we have Q^13,24=S−D2 for an oriented surface S. By χ(S)=χ(Q^13,24)+χ(D2)−χ(S1)=(3−4)+1−0=0, we find S=T2. Therefore Q^13,24=T2−D2.
The boundary of Q^13,24 can be filled by a single copy of Q13,24. Therefore we get a subdivisible tiling Q13,24∪Q13,24 of torus, consisting of exactly two Q13,24 and no other tiles (and exactly two vertices, both of degree 4). On the other hand, we can also use T4 in Figure 3 to get a subdivisible tiling Q13,24∪T4 of a torus. Then we may use connected sum to show that Q13,24 can appear in subdivisible tilings of surfaces of the form T2#S, where S can be any surface.
Surfaces that are not of the form T2#S are S2,P2,2P2. If Q13,24 appears in a subdivisible tiling of any such surface, then the surface must contain Q^13,24=T2−D2. Since this is not the case for these three surfaces, we conclude that surfaces in which Q13,24 can appear in subdivisible tilings are kT2 (k≥1) and kP2 (k≥3).
We may specialise Proposition 3 to the three orientable tiles and get the following.
Theorem 5**.**
The tiles in a quadrilateral tiling of the sphere are Q and Q13. Moreover, the tiling is always subdivisible.
The fundamental group of the sphere is trivial, and hence there is no need to verify the fundamental cycle condition.
Theorem 6**.**
The tiles in a quadrilateral tiling of the torus are Q, Q13 and Q13,24. Moreover, the tiling is subdivisible if and only if one of the following holds:
-
All tiles are Q or Q13, and the two fundamental cycles are represented by cycles with an even number of edges.
2. 2.
Q13,24* is a tile.*
If Q13,24 is a tile, then the two fundamental cycles are represented by the cycles 1−2−3 and 2−3−4. Both have an even number of edges.
2.4 Non-orientable Degenerate Tiles
If a subdivisible tiling contains tiles other than Q,Q13,Q13,24, then the surface is not orientable. The detailed analysis about which tile can appear on what surface is more complicated, but still follows the method for the orientable case.
The first of Figure 13 is the degenerate quadrilateral Q12, and the second is a disk neighborhood of the identified vertex 1,2. Note that by Proposition 2, along the boundary of the disk neighborhood, i1→o1 and i2→o2 are in opposite directions. The union Q^12 of the two is the glueing of the third and fourth pictures along the indicated thick lines. The boundary of Q^12 is one circle i1⌢i1−o1⌢o2−3−4−i1, given by the fifth picture. Therefore Q^12=S−D2 for a non-orientable surface S, with χ(S)=χ(Q^12)+χ(D2)−χ(S1)=(2−2)+1−0=1. This implies S=P2, and Q^12=P2−D2 is a Möbius band.
We may determine the other degenerate tiles in similar way. When three vertices 1,2,3 are identified, the neighborhood of the identified vertex has two possible configurations, 123 and 132. See the second and third of Figure 14.
If we glue the first and second pictures, then we get two boundary circles i1−4−o3⌢i1 and o1−i2⌢i3−o2⌢o1. This implies Q^123=S−2D2, with χ(S)=χ(Q123)+2=(2−3)+2=1. Therefore Q^123=P2−2D2 is the punctured Möbius band. If we glue the first and third pictures, then we get one boundary circle i1−4−o3⌢o2−i3⌢o1−i2⌢i1, and Q^132=2P2−D2 is the punctured Klein bottle.
When all four vertices 1,2,3,4 are identified, the neighborhood configuration is determined by the shape of the cycle connecting its four vertices. The cycle 1234 has the shape □, and 1243 has the shape ⋈. This gives two degenerate tiles, Q1234 and Q1243. For further degeneracy of R, the identification of 4 and 1,2,3 can be normal or twisted, which gives R1 and R2, respectively.
Table 1 gives the complete list of degenerate tiles, their boundaries and the minimal surfaces they embed into. The notations for boundaries are given in Figure 15. The vertices decorated with ∙ or ∘ are the identified vertices of the original quadrilateral, and already have degree ≥3. The undecorated vertices are the original unidentified vertices, and have degree 2. We omit the subdivisions on the boundary edges.
The fourth column in Table 1 is the minimal surfaces on which the tiles may appear in some subdivisible tiling. Notice the boundaries 2∗ and 4∗ can be filled in by subdivisible tilings T2 and T4 in Figure 3. For tiles that are not R1 and K, therefore, we find the surface Smin in the fourth column of Table 1, such that the tile can appear in a subdivisible tiling of Smin. By connected sum constructions, the surface can also appear in a subdivisible tiling of Smin#S for any other surface S. For example, Q1234 can be a tile in subdivisible tilings of all non-orientable surfaces except P2.
We already know K must be the single tile of a subdivisible tiling of 2P2. Therefore K cannot be a tile on any other surface.
It remains to consider R1. We can certainly glue two copies of R1 along their common boundary to find that 2P2 has a subdivisible tiling consisting of exactly two R1. In order to do the connected sum operation, so that R1 appears in subdivisible tilings of 2P2#S, we may insert a copy of T2 between two 11. See Figure 16.
On the other hand, if R1 appears in a subdivisible tiling on P2, then each component of the boundary of R1 must be filled by a disk. In other words, there is a subdivisible tiling of the disk with 11 as the boundary. On the other hand, we note that the boundary of any tile in Table 1 consists of either 2 or 4 edges. Therefore the boundary of any tiling with these tiles must consist of even number of edges. This implies that a single 11 cannot be a boundary. We conclude that the surfaces on which R1 can appear are kP2, for k≥2.
By Table 1, only Q,Q12,Q13,Q123,R can appear in a subdivisible tiling of P2. We may specialise Proposition 3 to the projective space, which has only one fundamental cycle.
Theorem 7**.**
The tiles in a quadrilateral tiling of projective space are Q, Q13, Q12, Q123 and R. Moreover, the tiling is subdivisible if and only if one of the following holds:
-
All tiles are Q or Q13, and the fundamental cycle is represented by a cycle with an odd number of edges.
2. 2.
One of Q12,Q123,R is a tile.
If one of Q12,Q123,R is a tile, then the loop at the identified vertex represents the fundamental cycle and is a cycle with only one edge.
3 Pentagonal Subdivisions
By subdividing labeled quadrilaterals in Figure 7 into two halves in either way, we find three types of pentagonal tiles in simple pentagonal subdivisions. See Figure 17.
The pentagon P1 is non-degenerate, and P2,P3 are degenerate. The big ∙ (unlike the small ∙ used in Section 2) indicates vertices in the original quadrilateral tiling. If we include the neighborhood disk at the ∙-vertex, then P2 is a Möbius band. Of course, P3 is already a Möbius band. The number “3” indicates new vertices at the middle of edges of quadrilaterals. These vertices must have degree 3. The following lists how the pentagons are obtained by subdividing a quadrilateral.
-
P1: Q,Q12,Q13,Q123,Q132,Q12,34,Q13,24,R.
2. 2.
P2: Q12,Q123,Q132,Q1234,Q1243,Q12,34,R1,R2.
3. 3.
P3: R,R1,R2,K.
We answer the question when a pentagonal tiling is the result of simple pentagonal subdivision. Then we apply the conclusion to the pentagonal subdivision and double pentagonal subdivision introduced in [2].
3.1 Criterion for Simple Pentagonal Subdivision
The only pentagon in a simple pentagonal subdivision on an orientable surface is P1. The converse is also true.
Theorem 8**.**
A pentagonal tiling of an orientable surface is the simple pentagonal subdivision of a quadrilateral tiling if and only if it is possible to label some vertices by ∙, such that the unlabelled vertices have degree 3, and every tile is P1 in Figure 17.
Proof.
There is a unique edge in P1 such that both ends are unlabelled. We indicate this edge by a dotted line. We start with the tile labeled
1
in Figure 18. The dotted edge is shared with another tile
2
. By the conditions of the theorem, the ∙-vertices of
2
must be as indicated in Figure 18. The union of
1
and
2
is a quadrilateral.
The two ends of the dotted edge are degree 3 vertices shared by
1
and
2
. Outside one such vertex is a tile
3
. The ∙-vertices of
3
are already given as vertices of
1
and
2
. Using
3
in place of
1
, we get another tile
4
similar to
2
, and the union of
3
and
4
is another quadrilateral.
For each dotted edge, we get a quadrilateral by taking the union of two tiles on two sides of the edge. These quadrilaterals may be degenerate, but cannot have adjacent opposing edges identified, as indicated in Figure 2. Therefore the quadrilaterals form a tiling. Moreover, Figure 18 shows that the pentagonal tiling is the simple pentagonal subdivision of this quadrilateral tiling.
∎
We note that the proof (of sufficiency) actually does not require the surface to be orientable. Therefore the sufficiency part of Theorem 8 is also valid on non-orientable surfaces. The following is the more general result taking into account also non-orientable tiles.
Theorem 9**.**
A pentagonal tiling of a surface is the simple pentagonal subdivision of a quadrilateral tiling if and only if it is possible to label some vertices by ∙, such that the unlabelled vertices have degree 3, and the tiles are P1,P2,P3 in Figure 17.
In this theorem, we require P2 to embed into the surface as a Möbius band.
Proof.
In each of P1,P2,P3, there is only one edge with both ends unlabelled. As in the proof of Theorem 8, we indicate the edge by a dotted line. Every pentagon has one dotted line, and every dotted line is shared by two pentagons. By taking the union of two pentagons on two sides of a dotted line, we get a quadrilateral. For example, Figure 19 shows that P1∪P2=Q12 and P2∪P2=Q12,34 (note smaller ∙ and ∘ used for identified vertices in Section 2). By further identifying vertices (for example, one ∙-vertex of P1 identified with the ∙-vertex of P2), P1∪P2=Q12 may be further reduced to Q123 or Q132. Similar reductions happen to other unions. Then the same argument as the proof of Theorem 8 shows that the quadrilaterals form a tiling of the surface (in particular, the forbidden identification in Figure 2 does not happen), and the pentagonal tiling is the simple pentagonal subdivision of the quadrilateral tiling.
∎
3.2 Criterion for Pentagonal Subdivision
Pentagonal subdivision is introduced for tilings of oriented surfaces in [2]. Specifically, let T be a tiling of an oriented surface, with possibly degenerate tiles. We divide each edge e in T into three segments. If e is one edge of a tile t, we may use the orientation to label the two dividing points on e as the first and the second, from the viewpoint of t. Note that e is shared by t and another tile t′. The labelling of e from the viewpoint of t′ is different from the viewpoint of t. Then we fix a center point of t, and connect it to the first dividing points of the edges of t. We obtain the pentagonal subdivision T(5) by doing this for all the pairs (t,e) in the tiling. See Figure 20.
Every tile in a pentagonal subdivision T(5) is non-degenerate and the vertices have the pattern ∙−3−∘−3−3 along the orientation direction. Here ∙ means a vertex of T, and ∘ means the center of a tile in T, and 3 means a vertex of degree 3 (the dividing points of edges in T). This property actually characterises pentagonal subdivision.
Theorem 10**.**
A pentagonal tiling of an oriented surface is the pentagonal subdivision of a tiling, if and only if all tiles are non-degenerate, and it is possible to label some vertices by ∙ and some other vertices by ∘, such that vertices of each tile have the pattern ∙−3−∘−3−3 along the orientation of the surface.
We remark that a tiling T and its dual T∗ (using the opposite of the orientation for T) induce the same pentagonal subdivision, with ∘- and ∙-vertices exchanged.
Proof.
If we do not distinguish ∙ and ∘, then we may apply Theorem 8 to find that the pentagonal tiling is a simple pentagonal subdivision of a quadrilateral tiling. Then we consider the quadrilateral tiles around a ∘-vertex, as in Figure 21. By the assumption on pentagonal tiles, we have a simple pentagonal subdivision of the neighborhood compatible with the orientation at the ∘-vertex. Then we combine the pentagons around the ∘-vertex to form a polygon (enclosed by the dashed lines). The vertices of this polygon are ∙-vertices, and the edges of this polygon are ∙−1⋯2−∙. We have one polygon for each ∘-vertex, and the polygons form a tiling of the surface. The pentagonal tiling is the pentagonal subdivision of this tiling.
∎
If we start with a tiling in which all vertices have degree 3, then each tile in the pentagonal subdivision has one ∘-vertex, and its other four vertices (including ∙-vertex) have degree 3. Dually, if we start with a triangular tiling, then each tile in the pentagonal subdivision has one ∙-vertex, and its other four vertices have degree 3. The converse is also true.
Theorem 11**.**
Suppose all tiles in a pentagonal tiling of a surface are non-degenerate, and it is possible to label some vertices by ∘, such that each tile has exactly one ∘-vertex, and the other four vertices have degree 3. Then the surface is orientable, and the tiling is obtained by pentagonal subdivision.
Proof.
Figure 22 shows three consecutive tiles \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 3 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture around a ∘-vertex. Since all the vertices of \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 3 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture other than the central ∘-vertex have degree 3, there is a tile
4
outside \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture, a tile
5
outside \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 3 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture, and a tile
6
bordering \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 4 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 5 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture.
We already know that the three vertices of
4
shared with \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture are not ∘-vertices. By the assumption, among the two remaining vertices of
4
, one is ∘ and the other has degree 3. Without loss of generality, we assume the ∘-vertex is as indicated. Then there is unique way to assign the ∙-vertex shared by \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 4 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture, such that ∙ and ∘ are not adjacent in
1
and
4
. We note that \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 4 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture have the same orientation following the ∙−3−∘−3−3 direction.
The ∘-vertex of
4
is also the unique ∘-vertex of
6
. Therefore the other four vertices of
6
have degree 3. Then we already know four non ∘-vertices for
5
. This determines the ∘-vertex of
5
as indicated. We can assign the ∙-vertex shared by \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 5 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 6 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture, as before. Then \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 4 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 5 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 6 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture have the same orientation following the ∙−3−∘−3−3 direction.
We started from the central (first) ∘-vertex, made assumption (by symmetry) on the second ∘-vertex, and then derived the third ∘-vertex. Since the position of the third ∘-vertex with respect to the first ∘-vertex is the same as the position of the second ∘-vertex with respect to the first ∘-vertex, and is also the same as the position of the first ∘-vertex with respect to the second ∘-vertex, the argument can continue in two directions and eventually covers the whole tiling. In particular, we introduce compatible orientations of tiles following the ∙−3−∘−3−3 direction. This makes the surface orientable. Moreover, we also assign all the ∙-vertices. Then we may apply Theorem 10 to show that the pentagonal tiling is a pentagonal subdivision.
∎
3.3 Criterion for Double Pentagonal Subdivision
Double pentagonal subdivision is also introduced for any tiling of oriented surface in [2]. This is actually a combination of two subdivisions. First we apply quadrilateral subdivision given by Figure 23. Then we apply simple pentagonal subdivision to the quadrilateral subdivision.
The quadrilateral subdivision T(4) takes any tiling T, select a middle point of each edge, select a center point of each tile, and then connect the center point of any tile to the middle point of each boundary edge of the tile. It is the union of T with its dual T∗. Unlike pentagonal subdivision, we do not need orientation to construct quadrilateral subdivision.
There are two types of tiles in a quadrilateral subdivision. The first is the quadrilateral Q given by the first of Figure 24. It is non-degenerate, with a ∙-vertex (from the original tiling T), a ∘-vertex (from the center of a tile in T), and two vertices of degree 4, such that the ∙-vertex and ∘-vertex are not adjacent. The second quadrilateral Q′ is degenerate, obtained by identifying the two degree 4 vertices in the first of Figure 24 in twisted way, and therefore gives a Möbius band. This happens when two adjacent twisted edges of a tile in T are identified as in the second of Figure 24 (also see Figure 2). We denote the quadrilateral by Q′. This forces two middle points labeled by small ∙ to be identified, and the identified vertex has degree 4. Together with the two nearby quadrilaterals
1
and
2
, the three quadrilaterals form the Möbius band in the third of Figure 24. We note that more identifications along the boundary of the Möbius band may happen when vertices or edges of
1
and
2
are identified.
The following is the analogue of Theorem 10.
Theorem 12**.**
A quadrilateral tiling of a surface is the quadrilateral subdivision of a tiling, if and only if it is possible to label some vertices by ∙ and some other vertices by ∘, such that every tile is Q or Q′.
Proof.
Figure 25 shows three consecutive tiles \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 3 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture around a ∘-vertex. We have the ∙-vertices of these three tiles, and indicate the non-labeled degree 4 vertices of
2
by small ∙. We also indicate four quadrilateral tiles around each small ∙ vertex of degree 4.
The tile
2
is Q or Q′. If
2
is the non-degenerate Q, then there is no identification among four edges x,y,u,v (although ∙-vertices of \leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto9.93pt\vboxto9.93pt\pgfpicture\makeatletter\lower-4.9644ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@moveto4.7644pt0.0pt\pgfsys@curveto4.7644pt2.63133pt2.63133pt4.7644pt0.0pt4.7644pt\pgfsys@curveto-2.63133pt4.7644pt-4.7644pt2.63133pt-4.7644pt0.0pt\pgfsys@curveto-4.7644pt-2.63133pt-2.63133pt-4.7644pt0.0pt-4.7644pt\pgfsys@curveto2.63133pt-4.7644pt4.7644pt-2.63133pt4.7644pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@stroke\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-2.5pt-3.22221pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 3 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture may be identified). If
2
is the degenerate Q′, we need to argue that we are in the situation described by the second and third of Figure 24. Since the identification of the two small ∙ is twisted, and the identified vertex has degree 4, we must have
2
identified with
2’
, such that x and u are identified. This also implies that y is identified with v, and
3
identified with
3’
. Then the edge u+v is identified with x+y, and we get the situation described by the second and third of Figure 24.
The union of the quadrilateral tiles around the initial ∘-vertex is a polygon. The polygon may be degenerate, but the discussion above shows that it cannot have the forbidden degeneracy in Figure 2. Moreover, by comparing with the nearby ∘-vertex shared by
2’
and
3’
, we find the edge of the polygon around initial ∘-vertex is locally shared with a polygon around another ∘-vertex (which might be the initial polygon by edge identification). We find that all the polygons form a tiling, and the quadrilateral tiling is the quadrilateral subdivision of this tiling.
∎
The following gives a criterion for double pentagonal subdivision.
Theorem 13**.**
The quadrilateral subdivision of a tiling is (pentagonally) subdivisible if and only if the surface is orientable.
Proof.
Given a tiling T of a surface S, the fundamental cycles of S can be represented by cycles C of T. Then the fundamental cycles of S are represented by the same cycles C in the quadrilateral subdivision T(4), except that every edge has been subdivided into two edges. In particular, the cycles of T(4) representing fundamental cycles have even numbers of edges. By Proposition 3, the quadrilateral tiling T(4) is subdivisible if and only if the surface S is orientable.
∎