ARS MATHEMATICA CONTEMPORANEA Also available at http://amc-journal.eu ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 9 (2015) 209-222 Extending patches to fullerenes Christina Graves The University of Texas at Tyler, Department of Mathematics Tyler, TX 75799, USA Jennifer McLoud-Mann University of Washington Bothell, School of STEM Bothell, WA 98011, USA Kristen Stagg Rovira The University of Texas at Tyler, Department of Mathematics Tyler, TX 75799, USA Received 10 May 2013, accepted 7 June 2014, published online 8 December 2014 In this paper we consider fullerene patches that can be extended to pseudconvex patches. We show that all fullerene disks with three or fewer pentagons can be extended to pseudo-convex patches, and that all pseudoconvex patches can be extended to fullerenes. Keywords: Fullerenes, fullerene patches, boundary codes, pseudoconvex patches. Math. Subj. Class.: 05C10, 05C75, 92E10 1 Preliminaries A fullerene is a trivalent planar graph whose faces consist solely of hexagons and pentagons. A fullerene patch, or patch, is similar; it is a planar graph where all faces are hexagons and pentagons except one outer face, with vertices not on the outer face having degree 3 and vertices on the outer face having degree 2 or 3. An easy way to create a fullerene patch from a fullerene is to trace a closed circuit on a fullerene and delete all faces on one side of the circuit. However, it is not so easy to create a fullerene from a fullerene patch. In fact, there are many fullerene patches that cannot be extended to a fullerene as we will see later. We do find a family of patches that can be extended to fullerenes. E-mail addresses: cgraves@uttyler.edu (Christina Graves), jmcloud@uw.edu (Jennifer McLoud-Mann), kstagg@uttyler.edu (Kristen Stagg Rovira) Abstract ©® This work is licensed under http://creativecommons.org/licenses/by/3.0/ 210 Ars Math. Contemp. 9 (2015) 165-186 Figure 1: A patch and its complement. The patch on the left has boundary code 223(2223)2 and side parameters [1,0,1,0,1] and the patch on the right has boundary code 332(3332)2. An obvious characteristic of interest of a fullerene patch is the boundary. The boundary code of a patch is a sequence of 2's and 3's corresponding to the valences of the vertices on the outer face listed in cyclic order. It does not matter which vertex we start with nor which direction we travel around the patch; hence we make no distinction between a boundary code and its cyclic permutations or inverse. Given a boundary code S, the complement of S, denoted Sc is a sequence of 2's and 3's with a 2 every place S has a 3, and a 3 every place S has a 2. To determine if a fullerene patch extends to a fullerene, we need to consider the following question: Given a fullerene patch n with boundary code S, does there exist a fullerene patch nc with boundary code Sc? If nc exists, we can identify the vertices and edges on the boundary of n with the corresponding vertices and edges on the boundary of nc to get a fullerene (see Figure 1). The general question of interest is known in the literature as the PentHex Puzzle: Given a sequence of 2's and 3's, does there exist a fullerene patch with that sequence as its boundary code? Some variations on this question were explored in [3], [1], [6], and [4] among other places. For large patches, the boundary code can be unwieldy to work with. Generalizing the definitions from [8], [7], [5] and [2], we define the following. Definition 1.1. 1. A break edge is an edge on the boundary whose endpoints are both of degree two. 2. A bend edge is an edge on the boundary whose endpoints are both of degree three. 3. A side of a patch is a path on the boundary between a consecutive pair of break edges, including the break edges. The length of a side is the number of degree three vertices on the side. C. Graves et al.: Extending patches to fullerenes 211 4. A straight side is a side with no bend edges. 5. A bent side is a side containing at least one bend edge. A straight segment of a bent side is a subpath of a bent side between either a break edge and the closest bend edge, or between two consecutive bend edges. We can now think of the boundary of a patch as sections of straight sides and straight segments connected by break edges or bend edges. A patch with no bend edges, called a pseudoconvex patch, has only straight sides and thus has boundary code 2(23)£l 2(23)^2 • • • 2(23)£s. Rather than writing a sequence of 2's and 3's to describe our boundary, we describe the boundary by the lengths of the straight sides \l\, l2,..., 4], called side parameters of the patch. If the patch has bend edges, we would still like to consolidate the information found in the boundary code. A bent side with consecutive straight segments of lengths ai, a,2, .. . at can be described by (ai,..., at). Thus, a patch with five straight sides of length 5 followed by a bent side with five straight segments of length 1 (see Figure 3) can be described by the side parameters [5,5, 5, 5, 5, (1,1,1,1,1)]. A patch with no break edges has zero sides and thus cannot be described by side parameters. If such a patch also has no bend edges, then we describe it by its boundary code (23)£° where 4 is the number of faces on the boundary. If a patch has no break edges but does have bend edges, then we describe it by its boundary code 3(32)ai-13(32)a2-i • • • 3(32)°t-i where a1, a2,... ,at represent the lengths of the straight segments in cyclic order. The advantage of describing a patch by its side parameters rather than its boundary code is that this notation makes it effortless to find the number of sides (and hence break edges) of a patch. In fact, we can also tell exactly how many pentagons a patch must have by using Euler's formula. Lemma 1.2. In afullerene patch, the number of break edges s, the number of bend edges e, and the number of pentagons p are related by p = 6 — s + e. Proof. It is well-known (see for instance [1]) that the number of pentagons in a patch is equal to 6 — d2 + d3 where dj is the number of degree i vertices on the boundary. By definition, the number of degree 2 vertices and the number of degree three vertices on the boundary are the same except on a break edge or a bend edge. Each break edge increases the number of degree 2 vertices by 1, and each bend edge increases the number of degree 3 vertices by 1. □ In this paper, we investigate two specific types of fullerene patches: pseudoconvex patches and fullerene disks or simply disks. A disk of radius r is a fullerene patch with a central face, and every face on the boundary is distance (measured as graph distance in the dual) exactly r from the central face. Our ultimate goal is to find a family of patches that can be extended to fullerenes. We begin by showing that a pseudoconvex patch can be extended to a fullerene. We then show that all disks with three or fewer pentagons can be extended to fullerenes. 212 Ars Math. Contemp. 9 (2015) 165-186 2 Pseudoconvex Patches Because a pseudoconvex patch has no bend edges, its boundary can be described by its side parameters [4, • • • , 4] if it has s > 1 sides or by the boundary code (23)£° if it has zero sides. The relationships between the lengths of these sides were explored in detail and summarized in Theorem 3.6 of [8]. We include a weaker lemma here. Lemma 2.1. The side parameters [4, • • • ,4] of a pseudoconvex patch, excluding the patch with side parameters [0,0,0,0,0], satisfy the inequality 4 + • • • + 4 > 6 — s for 1 < s < 6. Proof. If s = 1 or s = 2, the result follows directly from [8]. If s = 3, the side parameters are not of the form [0,1, k] or [0,0, k] for k > 0 so the result holds. In the case with s = 4 sides, at least two of the side lengths are non-zero and the result holds. Finally, if s = 5 or s = 6, all parameters are nonnegative so the sum is nonnegative. Thus the inequality is satisfied except in the patch consisting of a single pentagon with side parameters [0, 0, 0,0,0]. □ To extend a pseudoconvex patch to a fullerene, we need to find a complement for each pseudoconvex patch. The following lemma gives a constructive method for finding the complement patch. Lemma 2.2. There exists a patch with boundary code 3(32)£l3(32)^2 ••• 3(32)£s if 4 + 4 +-----+ 4 > 6 — s and 1 < s < 6. Proof. Start with the patch having boundary code 2(23)5 (i.e. one side of length 5) as shown in Figure 2. Add 4 + 4 + • • • + 4 + s — 6 rings of hexagons to this patch to create a patch with side parameters [4 +-----+ 4 + s — 1]. Next, add a pentagon to the break edge and add hexagons on the boundary everywhere else to yield a patch with boundary code (23)£i+-+£*+s. We now add hexagons and pentagons to the boundary in the following way. First put a pentagon somewhere on the boundary. Moving clockwise around the boundary, place 4 hexagons followed by a pentagon; then place 4 hexagons followed by a pentagon, and continue this process until the patch has a completely new outer ring of hexagons and pentagons (see Figure 2). This constructed patch has the desired boundary. □ Theorem 2.3. All pseudoconvex patches can be extended to fullerenes. Proof. For a pseudoconvex patch consisting of one pentagon with side parameters [0,0,0,0,0], we use a stereographic projection of the dodecahedron onto the plane as the complement patch. For a pseudoconvex patch having side parameters [4,..., 4] satisfying the condition ¿1 + ••• + 4 > 6 — s, we create the complement patch with boundary code 3(32)£l 3(32)^2 • • • 3(32)£s as described in Lemma 2.2 and identify the boundaries to create a fullerene. Given a pseu-doconvex patch with no sides and boundary code (23)£°, we create a second patch (32)£° identical to the first and then identify corresponding edges and vertices appropriately to create a fullerene. □ C. Graves et al.: Extending patches to fullerenes 213 Figure 2: Creating a patch with boundary code 3(32)23(32)33(32)0. The 2(23)5 patch is shown on the left, the (23)8 patch in the middle, and the desired patch on the right. 3 Disks Because pseudoconvex patches extend to fullerenes, a patch that extends to a pseudoconvex patch also extends to a fullerene. One type of patch to explore is a fullerene disk. We will show that all disks with three or fewer pentagons extend to pseudoconvex patches; however, a disk with four or more pentagons may not extend to a fullerene. Consider a disk with four pentagons having side parameters [5, 5,5,5,5, (1,1,1,1,1)] as shown in Figure 3. If this patch could be extended to a fullerene, we would need to place a face adjacent to the four shaded pentagons. Such a face would have to have at least seven edges which is not allowed in a fullerene. Thus we restrict our attention to disks with three or less pentagons. Figure 3: A disk with side parameters [5,5,5,5, 5, (1,1,1,1,1)]. This patch cannot be extended to a fullerene. Disks are a nice family of patches to study because all disks can be constructed by repeatedly adding layers of faces to a smaller disk. A layer is a collection of faces placed on the boundary of a disk of a radius r so that each new face is distance r + 1 from the 214 Ars Math. Contemp. 9 (2015) 165-186 ' —i-1...........................i-i— ' (3.1.1) a2 (3.1.3) (3.1.4) Figure 4: Depiction of Lemma 3.1 and how adding hexagons changes side parameters. central face and and no faces from the original disk are on the new boundary. The word layer can be slightly misleading, though, because there can be faces added which are not on the boundary of the new patch. Figures 5, 6, and 7 show partial patches with one layer added. Because many of the remaining arguments involve adding layers of hexagons to existing patches, it is convenient to discuss how such an action affects the side parameters. Adding a row of hexagons to a side of a patch means that each edge of the original boundary is incident with a newly added hexagon. Figure 4 and Lemma 3.1 demonstrate this action. Lemma 3.1. 3.1.1. Adding a row of hexagons to the boundary of a straight side increases its length by 1. 3.1.2. Adding a partial layer of hexagons to a bent side with middle parameters larger than 1 keeps the outer parameters the same and decreases the middle parameters by 1. 3.1.3. Adding a row of hexagons to a straight segment a2 of the bent side (ai, a2) with ai > 1, not including the break edge, decreases ai by 1, keeps a2 the same, and increases the side following a2 by 1. 3.1.4. Adding a row of hexagons to the straight segment a2 of a bent side (ai, a2, a3) with ai,a3 > 1, decreases ai and a3 by 1 and increases a2 by 1. (3.1.2) C. Graves et al.: Extending patches to fullerenes 215 The lemma tells us how the side parameters of a patch change when we add a layer of hexagons for almost all situations. We will consider special cases for adding a layer of hexagons for patches having a bent side containing a middle parameter equal to one in later proofs. The next three lemmas give the side parameters for all disks with three or fewer pentagons. Lemma 3.2. A disk with at most one pentagon has side parameters satisfying one of the following: A1. [¿1,¿2,4,4,4,4] B1. [¿1,4,4,4,4] B2. [¿1 ,¿2, ¿3, ¿4, ¿5, (01,02)] Proof. A disk consisting only of hexagons has the form [r, r, r, r, r, r]. For a disk containing one pentagon on the boundary, there are two cases. Either the disk consists of only one face, a pentagon, and has side parameters [0,0,0,0,0], or the disk can be constructed by adding faces to a disk containing no pentagons. Starting with a disk satisfying condition A1, adding a layer of faces with a pentagon on a break edge and hexagons everywhere else yields a B1 patch, and adding a layer with a pentagon on a straight side yields a B2 patch. If a disk with one pentagon does not have its pentagon on the boundary, then the patch can be viewed as a disk containing one pentagon on the boundary with layers of hexagons added to it. Using Lemma 3.1, adding layers of hexagons to a B1 or B2 patch yields a B1 or B2 patch respectively. □ Lemma 3.3. A disk with two pentagons has side parameters satisfying one of the following: C1. [¿1, ¿2, ¿3, ¿4] C2. [¿1, ¿2, ¿3, ¿4, (01,02)] C3. [¿1, ¿2, ¿3, ¿4, (01,02), (61,62)] C4. [¿1, ¿2, ¿3, (01,02), ¿4, (61,62)] C5. [¿1, ¿2, (01, 02), ¿3, ¿4, (61,62)] C6. [¿1, ¿2, ¿3, ¿4, ¿5, (01,02,03)] Proof. We start by considering disks containing two pentagons with different distances from the central face, and the pentagon farthest from the central face on the boundary. Starting with a disk containing one pentagon satisfying condition B1, adding a layer of faces with a pentagon on a break edge yields a C1 patch, and adding a layer with a pentagon on a straight side would yield a C2 patch. Starting with a disk containing one pentagon satisfying condition B2, adding a layer of faces with a pentagon on a break edge results in a C2 patch, adding a layer with a pentagon on a straight side yields a C3, C4, or C5 patch, and adding a layer with a pentagon on a straight segment of the bent side would yield a C6 patch. 216 Ars Math. Contemp. 9 (2015) 165-186 / T A > j Figure 5: Adding a pentagon to a bend edge. The red edges are bend edges in the new patch. When adding a layer of faces with a pentagon on the bend edge of a B2 patch, there are three cases to consider. If a1 = a2 = 1, the resulting patch is a C1 patch. If 1 = a1 < a2, the new patch is a C2 patch. Lastly, if a1, a2 > 1, the resulting patch is a C6 patch, with the middle component of the bent edge having length 1 (see Figure 5). Now consider disks where both pentagons are the same distance from the central face and are both on the boundary. There are no disks of radius 0 containing two pentagons, so we can construct these patches by starting with a disk containing no pentagons and adding the pentagons to the same layer. Starting with a patch with no pentagons satisfying condition A1, adding a layer with two pentagons on two different break edges yields a C1 patch, adding a layer with one pentagon on a break edge and one on a straight side would result in a C2 patch, adding a layer with two pentagons on two different straight sides would yield a C3, C4, or C5 patch, and adding a layer with two pentagons on the same straight side would result in a C6 patch. Notice every disk we have constructed has a pentagon on the boundary. To construct disks with two pentagons neither of which is on the boundary, we simply construct a disk with two pentagons at least one of which is on the boundary, and add layers of hexagons. By Lemma 3.1, adding layers of hexagons to a Ci patch yields a Ci patch for 1 < i < 5. When considering a C6 patch, we assume without loss of generality that ai < a3. Adding less than a2 + a1 - 1 layers of hexagons to a C6 patch results in a C6 patch, and adding at least a2 + a1 - 1 layers of hexagons to a C6 patch would yield a C1 or C2 patch. The C1 patch results if a1 = a3 and the C2 patch results otherwise. □ Lemma 3.4. A disk with three pentagons has side parameters satisfying one ofthefollow- D1. [¿^,¿3] D2. [¿^,¿3, (a1,a2)] D3. [¿1, ¿2, ¿3, (a1,a2), (61,62)] D4. [¿1, ¿2, (a1, a2), ¿3, (61,62)] D5. [¿1, ¿2, ¿3, (a1,a2), (61,62), (01,05)] D6. [¿1, ¿2, (a1, a2), ¿3, (61,62), (01,02)] D7. [¿1, (a1, a2), ¿2, (61, 62), ¿3, (01,02)] C. Graves et al.: Extending patches to fullerenes 217 D8. [4,4,4,4, (ai, a2, a3)j D9. [4,4,4,4, (ai,a2,a3), (bi, ■ b2)] D10. [4, 4, 4, (ai, a2, a3), 4, (&i: ,b2)] D11. [4,4, (ai,a2,a3),4,4, (bi, ,b2)] D12. [4, 4, 4, (ai, a2, a3, a.4)] Proof. We begin by showing that that all disks with three pentagons having at least one pentagon on the boundary satisfy the criteria given. To show that all three-pentagon disks have the listed side parameters, we add layers of hexagons to three-pentagon disks with a pentagon on the boundary. First, consider a three-pentagon disk with exactly one pentagon on the boundary. Such disks are created by starting with a two-pentagon disk and adding a layer of faces containing exactly one pentagon. Starting with a C1 patch, adding a layer of faces with a pentagon on a break edge yields a D1 patch, and adding a layer with a pentagon on a straight side yields a D2 patch. Starting with a C2 patch, adding a layer of faces with a pentagon on a break edge yields a D2 patch, and adding a layer of faces with a pentagon on a straight side yields a D3 or D4 patch. If a layer of faces is added to a C2 patch with a pentagon on a bend edge, then (following the proof of Lemma 3.3) a D1, D2, or D8 patch is obtained. If a layer is added with a pentagon on a straight straight segment of a bent side of a C2 patch, the resulting disk is a D8 patch. Starting with a C3 - C5 patch, adding a layer of faces with a pentagon on a straight side yields a D5 - D7 patch, and adding a layer with a pentagon on a straight segment of a bent side yields a D9, D10, or D11 patch. Adding a layer of faces with a pentagon on a break edge of a C3 patch yields a D3, D4, or D8 patch, with a D8 patch occurring if the break edge is between the two bent sides. Adding a layer with a pentagon on a break edge of a C4 or C5 patch yields a D3 or D4 patch. Finally, adding a layer of faces with a pentagon on a bend edge on a C3 - C5 patch yields a D2, D3, D4, D9, D10, or D11 patch. The last case involves adding a layer of faces with exactly one pentagon to a C6 patch. Adding a layer of faces with a pentagon on a break edge results in a D8 patch, adding a layer with a pentagon on a straight side yields a D8 - D11 patch, and adding a layer with a pentagon on a straight segment of a bent side results in a D12 patch. When adding a layer of faces with a pentagon on a bend edge of a C6 patch there are a few cases to consider. Without loss of generality, assume that the pentagon is added to the bend edge between the straight segment of length ai and the straight segment of length a2. If ai > 1 and a2 > 2 the resulting patch is a D12 patch with the new bent side having lengths (a1 - 1,1, a2 - 2, a3) (see Figure 6). In the cases were either a1 = 1 or a2 € {1,2}, some care needs to be taken. In these cases, the length of a3 can affect the type of new patch; however, in every case, the resulting patch is a D2 or D8 patch. Figure 7 shows these cases in full detail. Now consider the three-pentagon disks with exactly two pentagons on the boundary. To create such disks, we start with either a B1 or B2 patch. Adding a layer of faces with two pentagons to a B1 patch is very similar to adding two pentagons to an A1 patch, which was explored in the proof of Lemma 3.3. Thus adding a layer with two pentagons on a B1 patch results in a D1 - D4 or D8 patch. Using similar arguments as before, adding a layer 218 Ars Math. Contemp. 9 (2015) 165-186 Figure 6: Adding a pentagon to a bend edge in a C6 patch. The red edges are bend edges in the new patch. Figure 7: Adding a pentagon to a bend edge in a C6 patch. The red edges are bend edges in the new patch. C. Graves et al.: Extending patches to fullerenes 219 with two pentagons to a B2 patch results in a D2 — D12 patch if neither pentagon is on a bend edge. Adding a layer with one of the pentagons on a bend edge requires the cases seen in Figure 5. Adding a layer with one pentagon on the bend edge and one pentagon on a break edge yields a D1, D2, or D8 patch. Adding a layer with one pentagon on the bend edge and one pentagon on a straight side results in a D2 — D4 or D9 — D11 patch. Finally, adding a layer with one pentagon on the bend edge and one pentagon on a straight segment of the bent side (which can only be done if the straight segment is greater than 1) results in a D8 patch. Three-pentagon disks with all three pentagons on the boundary are formed by adding a layer to a disk of hexagons. Starting with an A1 patch, adding a layer with three pentagons results in a D1 — D11 patch using similar arguments to those above. Notice every patch we have constructed has a pentagon on the boundary. For those that do not, we simply construct a previous patch and add layers of hexagons. By Lemma 3.1, adding layer of hexagons to a Di patch yields a Di patch for 1 < i < 7. For disks that have a bent side with at least three straight segments, the resulting patch's side parameters differ based on the number of layers added. For instance, adding one layer of hexagons to a patch with the side parameters [4,4,4,4, (a1, a2, a3)] and a2 > 1 results in a patch with side parameters [4 + 1,4 + 1,4 + 1,4 + 1, (a1, a2 — 1, a3)]. Furthermore, adding a layer of hexagons to a patch with side parameters [£ 1,¿2,¿3,4, (a 1, 1, a3)] yields a patch with side parameters [4 + 1,4 + 1,4 + 1, 4 + 1, (a1 — 1,1, a3 — 1)]. Thus, adding less than a2 + min{a1, a3} — 1 rings to a Dj patch will yield a Dj patch for 8 < j < 11. Adding at least a2 + min{a1, a3} — 1 rings to a D8 patch yields a D1 patch if a1 = a3 or D2 patch otherwise. Adding at least a2 + min{a1, a3} — 1 rings to a D9 patch yields a D2 patch if a1 = a3, a D3 patch if a1 < a3, or a D8 patch if a1 > a3. Adding at least a2 + min{a1, a3} — 1 rings to a D10 or D11 patch yields a D2 patch if a1 = a3 or D4 patch otherwise. Now let us consider adding rings of hexagons to a D12 patch; without loss of generality assume a2 < a3. Adding less than a2 + min{a1 — 1, |_a32a2 J} rings yields another D12 patch. Adding exactly a2 + min{a1 — 1, |_a3-a2 J} rings yields a D1, D2, or D8 patch. From arguments above, adding further rings of hexagons gives a D1, D2, or D8 patch. □ Now that we have shown the side parameters of disks with three or fewer pentagons fall into different classes, we show that any patch with these side parameters can be extended to a pseudoconvex patch. Lemma 3.5. Any patch with one of the following descriptions of its side parameters can be extended to a pseudoconvex patch: 1. [¿1 ¿2,.. .,4] 2. [¿1 ¿2,.. f (a1, a2)] 3. [¿1 ¿2,.. f . , f s , (a1, a2),(&1, 62)] 4. [¿1 ¿2,.. f . ¿S (a1,a2),4+1 ,...,4, (61, 62)] 5. [¿1 ¿2,.. f (a1,a2), (61,62), (01,02)] 6. [¿1 ¿2,.. f (a1,a2), (61, 62), 4+1,. . ,4, (01,02)] 7. [¿1 ¿2,.. f (a1,a2),4+1 ,...,4, (61, 62), 4+1,.. u 220 Ars Math. Contemp. 9 (2015) 165-186 Figure 8: Filling in the bent side (ai, a2) and partially filling in the bent side (ai, a2, a3). 8. [¿i, ¿2,.. ., ¿s, (ai,a2,a3)j 9. [¿1,^2,..., 4, (ai,a2), (61,62,63)] 10. [4, ¿2,.. ., 4, (ai, a2), ¿s+i,. .., 4, (6i, 62, 63)] 11. [¿i, ¿2,.. ., ¿s, (ai, a2, a3, a4)]. Proof. Let n be a patch with one of the following descriptions above. If n = [¿i, ¿2,..., ¿s], then it has no bend edges and is pseudoconvex. If n = [¿i, ¿2,..., ¿s, (ai, a2)], then adding ai rows of a2 hexagons to the straight segment a2, not including the break edge, yields the pseudoconvex patch [¿i + ai, ¿2,..., ¿s-i, ¿s + a2] by Lemma 3.1 (see Figure 8). If the side parameters of n are of the form [¿^¿2, ..^¿s, (ai,a2), (6i,62)] or [¿i, ¿2,..., ¿s, (ai, a2), ¿s+i,..., ¿t, (6i, 62)], then adding ai rows of a2 hexagons to the straight segment a2, not including the break edge, yields either [¿i, ¿2, ..., ¿s + a2, (6i + ai, 62)] or [¿i, ¿2, .. ., ¿s + a2, ¿s+i + ai,. .., ¿t, (6i, 62)] which are both extendable by a previous case. If n has one of the forms [¿i, ¿2, .. ., ¿s, (ai,a2), (6i, 62), (ci,c2)], [¿i, ¿2,.. ., ¿s, (ai, a2), (6i, 62), ¿s+i,. .., ¿t, (ci, C2)], or [¿i, ¿2,. .., ¿s, (ai, a2), ¿s+i,. .., ¿t, (6i, 62), ¿t+i, .. ., ¿«, (ci,C2)], then adding ai rows of a2 hexagons to the straight segment a2, not including the break edge, yields a patch with one of the descriptions [¿i, ¿2, .. ., ¿s + a2, (6i + ai, 62), (ci, c2)], [¿i, ¿2, .. ., ¿s + a2, (6i + ai, 62), ¿s+i,. .., ¿t, (ci, c2)], or [¿i, ¿2, .. ., ¿s + a2, ¿s+i + ai,. .. ,¿t, (6i, 62), ¿t+i, .. ., ¿„, (ci, c^)] C. Graves et al.: Extending patches to fullerenes 221 which are all extendable by previous cases. Suppose n = [4, 4,..., 4, (ai, a2, a3)]. Without loss of generality, assume ai < a3. Adding a1 — 1 rows of hexagons to the a2 straight segment results in a patch with parameters [¿i, ¿2,. .. ,4, (1, ai + a2 — 1, a3 — ai + 1)] by Lemma 3.1. Adding one more row yields a patch whose parameters are [4, ¿2,. .. ,4-i, (4 + ai + a2, a3 — ai)] if ai < a3 or [is + ai + a2 + 4,4, 4, .. ., 4—i] if ai = a3. Either of these is extendable by a previous case. If n has the form [4, 4,..., 4, (ai,a2), (bi, 62,63)] or [4, 4,..., 4, (ai, a2), 4+i, .. ., ¿t, (6i, 62, 63)], then adding ai rows of a2 hexagons to the straight segment a2, not including the break edge, yields a patch satisfying the form [4, 4,..., 4 + a2, (6i + ai, 62, 63)] or [4, ¿2,. .., 4 + a2, 4+i + ai, ..., 4, (6i, 62, 63)] which are both extendable by previous cases. Suppose n = [4,4,..., 4, (ai, a2, a3, a4)]. Without loss of generality, we may assume that ai < a4. Note that ai < a3 + a4. We have the following four cases to consider: (i) 0 < ai < a3, (ii) ai = a3, (iii) a3 < ai < a3 + a4, and (iv) ai = a3 + a4. In each of the four cases we will add ai rows of hexagons to the straight segment a2 in order to create a patch which is extendable by a previous case. For (i) and (ii), we begin by adding ai — 1 rows of hexagons to create a patch with parameters [4,4,..., 4, (1, ai + a2 — 1, a3 — ai + 1, a4)] by Lemma 3.1. Adding one more row will yield [4, ¿2, .. . ,4-i, (4 + ai + a2, a3 — ai, a4)] in case (i) and [4,4, .. .,4-i, (4 + ai + a2 — 1,1,a4 — 1)] in case (ii). For (iii) and (iv), we begin by adding a3 — 1 rows of hexagons to straight side a2 to yield [4, 4,..., 4, (ai — a3 + 1, a2 + a3 — 1,1, a4)] by Lemma 3.1. Adding another row yields a [4,4,..., 4, (ai — a3, a2 + a3 — 1,1, a4 — 1)] patch. For (iii), adding ai — a3 — 1 rows gives [4, ¿2, .. ., 4, (1, a2 + a3 — 1,1, a4 + a3 — ai)] and finally adding one more row gives a [4, ¿2,. .. ,4-i, (4 + a2 + a3 — 1,1, a4 + a3 — ai — 1)] 222 Ars Math. Contemp. 9 (2015) 165-186 Figure 9: Partially filling in the bent side (ai, a2, a3, a4). patch (see Figure 9). For (iv), adding a1 - a3 - 2 rows of hexagons gives [4, ¿2,..., 4, (2, a2 + a3 - 1,1,1)], an additional row yields [¿2, 4,..., 4, (1,a2 + a3,4)], and finally adding another row gives [4,4,..., ¿s-1, (4 + a2 + a3, 4)]. □ Theorem 3.6. All disks containing at most three pentagons extend to afullerene. Proof. All disks containing at most three pentagons will have side parameters satisfying the conditions of Lemma 3.2, Lemma 3.3, or Lemma 3.4. By Lemma 3.5, these disks can be extended to pseudoconvex patches. By Theorem 2.3, those pseudoconvex patches can be extended to fullerenes. □ References [1] P. Bonsma and F. Breuer, Finding fullerene patches in polynomial time. In ISAAC 2009, volume 5878 of LNCS (2009), 750-759. [2] J. Bornhoft, G. Brinkmann and J. Greinus, Pentagon-hexagon-patches with short boundaries, European Journal of Combinatorics 24 (2003), 517-529. [3] G. Brinkmann and A. W. M. Dress, PentHex puzzles: A reliable and efficient top-down approach to fullerene-structure enumeration, Advance in Applied Math 21 (1998), 473-480. [4] G. Brinkmann, U.V. Nathusius and A.H.R. Palser, A constructive enumeration of nanotube caps, Discrete Applied Mathematcis 116 (2002), 55-71. [5] G. Brinkmann and N. Van Cleemput, Classification and Generation of Nanocones, Discrete Applied Mathematics 159 (2011), 1528-1539. [6] M. Deza, P. W. Fowler, and V. Grishukhin. Allowed boundary sequences for fused polycyclic patches and related algorithmic problems. J. Chem. Inf. Comput. Sci. 41 (2001), 300-308. [7] J.E. Graver and C. Graves, Fullerene Patches I, Ars Mathematica Contemporanea 3 (2010), 104-120. [8] C. Graves and J. McLoud-Mann, Side lengths of pseudoconvex fullerene patches, Ars Mathematica Contemporanea 5 (2012), 291-302.