arXiv:2102.07706v1 [math.CO] 2 Feb 2021 hta4cnetdgahis graph 4-connected a that h e fgah bandb eetdytkn h pca 3 special the taking repeatedly by obtained graphs of set the bandfrom obtained Introduction 1 eeigo otatn de from edges contracting or deleting H -pitn etcs eas hwta lnrgahis graph planar a that show also We vertices. 4-splitting h caernb -pitn etxrsetvl.For respectively. vertex a 3-splitting by Octahedron the yrpael aig0,1,2sm trigfrom starting 2-sums 1-, 0-, taking repeatedly by rp is graph ∗ etographs. two be Let Octahedron; ; Split ; minor Graph Keywords: Abstract: orsodn uhr -al w2213cm yangweihua@tyu [email protected], E-mail: author. Corresponding oeon note A eynJia Wenyan 2 Oct eateto ahmtc,GagiTahr dcto Uni Education Teachers Guangxi Mathematics, of Department Oct eoeteOthdo.W nycnie ipegah nthi in graphs simple consider only We Octahedron. the denote 1 + fe fadol fi is it if only and if -free C 1 Let eateto ahmtc,TiunUiest fTechnolo of University Taiyuan Mathematics, of Department 5 2 yrpael -pitn vertices. 4-splitting repeatedly by H Oct 1 Oct scle io of minor a called is ha Kou Shuai , 1 + and Oct 1 + Oct 2 + fe rpsand graphs -free aya hni002,China Shanxi-030024, Taiyuan fe fadol fi splanar, is it if only and if -free 2 + G If . etepaa n o-lnrgah htotie from obtained that graphs non-planar and planar the be C 6 2 , G C 1 hnf Qin Chengfu , 2 a omnrioopi to isomorphic minor no has 2 k G +1 eoe by denoted 1 ( k ≥ { K )o ti bandfrom obtained is it or 2) 1 K , Oct 2 K , H Oct 1 + fe fadol fi sconstructed is it if only and if -free Oct sm of -sums 3 ≤ ∪ } 1 + 2 m epoeta 4-connected a that prove we , C ehaYang Weihua , t.edu.cn 2 2 K G k 2 + +1 fi a egnrtdby generated be can it if { ∪ fe graphs -free K H ( est,Nanning versity, k 4 , c,L Oct, For . ≥ G ril.Let article. s 2), is gy, C H 5 5 Oct 2 L } fe.Assume -free. yrepeatedly by where , ( K 2 + 3 eprove we , , 3 ri is it or ) 1 ∗ G K and is v is a vertex of a 3-connected graph G such that d(v) ≥ 4. Given two sets A, B ⊆ NG(v), where

NG(v) is the set of vertices adjacent to v in G and A ∩ B = ∅, min{|A|, |B|} ≥ 2. We mean a 3-split of v is the operation of first deleting v from G and adding two new adjacent vertices v′, v′′, then joining v′ to vertices in A and v′′ to vertices in B. It is clearly that a graph obtained by 3-splitting a vertex of a 3-connected graph will also be 3-connected.

For a given graph H, characterizing H-free graphs is a difficult topic in graph theory. We focus on 3-connected graph H in this paper. Tutte’s Wheel Theorem states that every 3- connected graph can be obtained from a wheel by repeatedly adding edges and 3-splitting vertices [12]. By this theorem, we can generate all 3-connected graphs.

Let G1, G2 be two disjoint graphs with more than k vertices. The 0-sum of G1 and G2 is the disjoint union of G1, G2. The 1-sum of G1, G2 is obtained by identifying one vertex of G1 with one vertex of G2. The 2-sum of G1, G2 is obtained by identifying one edge of G1 with one edge of G2, and the common edge could be deleted after identification. The 3-sum of G1,

G2 is obtained by identifying one triangle of G1 with one triangle of G2, and some of the three common edges could be deleted after identification.

Next, we introduce some known results for H-free graphs where H is 3-connected and we order the results according to the number of edges of H.

Ding [3] characterized all H-free graphs for 3-connected H with at most 11 edges, including △ Oct\e. Let ℵ denote the set of graphs obtained by 3-summing wheels and Prisms, and let K5 denote the graph obtained by 3-summing Prism and K5.

Theorem 1.1 ([3]). Oct\e-free graphs consists of graphs in ℵ and 3-connected minors of V8, △ Cube, and K5 .

For 3-connected graphs with 12 edges, V8-free graphs, Cube-free graphs and Oct-free graphs are characterized in [2, 6, 7].

Theorem 1.2 ([2]). A graph is Oct-free if and only if it is constructed by 0-, 1-, 2- and 3-sums 2 ′ ′ ′′ starting from graphs in {K1, K2, K3, K4} ∪ {C2n−1 : n ≥ 3} ∪ {L4,L5,L5,L5 , P10} (see Figure 1).

There are 51 3-connected graphs with 13 edges, but only two related results. One is for

2 ′ ′ ′′ Figure 1: L4 , L5 , L5 , L5 , P10

4-connected Oct+-free graphs, where Oct+ denote the graph Oct + e [5]. It can be seen that + Oct is isomorphic to K6 with two parallel edges removed.

Theorem 1.3 ([5]). Every 4-connected graph that does not contain a minor isomorphic to Oct+ is either planar or the square of an odd cycle.

In this paper, we consider the two graphs that obtained by 3-splitting a vertex of the Oc- + + tahedron. We denote the planar one by Oct1 and the non-planar one by Oct2 (as shown in + + Figure 2). It can be seen that Oct1 and Oct2 are 3-connected and they both have 13 edges. + + Our purpose is to characterize 4-connected Oct1 -free graphs and 4-connected Oct2 -free graphs. + + For Oct1 , we also characterize all planar Oct1 -free graphs by characterizing 3-connected planar + Oct1 -free graphs.

+ + Figure 2: Oct1 , Oct2

Let v be a vertex of a 4-connected graph G. A 4-split of v produces a new graph G′ as follows. Given two sets A, B ⊆ NG(v), where NG(v) is the set of vertices adjacent to v in G and min{|A|, |B|} ≥ 3. Remove v from G and add two new adjacent vertices v′, v′′ such that ′ ′′ ′′ ′ ′ NG′ (v )= A ∪ {v }, NG′ (v )= B ∪ {v }. Clearly, G is also 4-connected.

The following are the main results of this paper.

Theorem 1.4. + 2 2 A 4-connected graph is Oct1 -free if and only if it is C6 , C2k+1 (k ≥ 2) or it

3 2 2 is obtained from C5 by repeatedly 4-splitting vertices. And C6 is the only 4-connected planar + Oct1 -free graph.

+ Theorem 1.5. A planar graph is Oct1 -free if and only if it is constructed by repeatedly taking

0-, 1-, 2-sums starting from {K1, K2, K3}∪K ∪{Oct,L5}, where K is the set of graphs obtained by repeatedly taking the special 3-sums of K4 .

Figure 3: The special 3-sums of six K4

Theorem 1.6. + 2 A 4-connected graph is Oct2 -free if and only if it is planar, C2k+1 (k ≥ 2), 2 L(K3,3) or it is obtained from C5 by repeatedly 4-splitting vertices.

2 Preliminaries

In this section, we introduce some definitions and known results we will use in section 3.

A separation of G is an ordered pair of subgraphs (H, K) such that E(H) ∩ E(K) = ∅, H ∪ K = G, and |E(H)| ≥ |V (H) ∩ V (K)| ≤ |E(K)|. A separation (H, K) is called a k- separation if |V (H) ∩ V (K)| = k. A cyclic separation is a separation (H, K) in which both H and K contain circuits. Suppose k is an integer greater than two. A graph G is cyclically k-connected if it is 2-connected, |E(G)| − |V (G)| + 1 ≥ k and there does not exist a cyclic k′-separation of G for k′ ≤ k.

A graph is cubic if it is 3-regular. The graph L(H) is called the line graph of G if V (L(G)) = E(G), and for any two vertices e, f in V (L(G)), e and f are adjacent vertices if and only if 2 they are adjacent edges in G. Let C = {Cn : n ≥ 5} and L = {L(H): H be the cubic cyclically

4-connected graph}. A (G0, Gn)-chain is a sequence of 4-connected graphs G0, G1, ..., Gn and each Gi (i

4 There is a classical result of Martinov for 4-connected graphs, which is known as chain theorem.

Theorem 2.1 ([10]). For every 4-connected graph G, there exists a sequence of 4-connected graphs G0, G1, ..., Gn such that G0 = G, Gn ∈C∪L, and every Gi (i

This result has been strengthened by Qin and Ding as follows.

Theorem 2.2 ([1]). Let G be a 4-connected graph not in C∪L. If G is planar, then there exists 2 a (G, C6 )-chain; if G is non-planar, then there exists a (G, K5)-chain.

Thus, any 4-connected graph that not in C∪L can be generated by repeatedly 4-splitting 2 2 vertices from C6 or C5 .

There are some good properties for cubic cyclically 4-connected graphs and the line graphs.

Adding a handle to G means the operation that first subdivide two nonadjacent edges e1 and e2 of G, then add a new edge connecting two new internal vertices. And a graph H is topologically contained in a graph G, if there exists a subgraph of G that is isomorphic to a subdivision of H.

Lemma 2.3 ([9]). The class of all cubic cyclically 4-connected graphs can be generated by repeatedly adding handles starting from K3,3 or the Cube.

Lemma 2.4 ([4]). If G is a cyclically 4-connected non-planar cubic graph, then either G = K3,3 or G contains a subdivision of V8.

Lemma 2.5 ([8]). If H is topologically contained in G, then L(H) ≤m L(G).

The following are some results for 3-connected graphs.

Lemma 2.6 ([3]). Let H be a 3-connected graph. Then a graph is H-free if and only if it is constructed by repeatedly taking 0-, 1-, and 2-sums, starting from {K1, K2, K3} ∪ {3-connected H-free graphs}.

Lemma 2.7 ([11]). Suppose a 3-connected graph H 6= W3 is a proper minor of a 3-connected graph G 6= Wn. Then G has a minor J, which is obtained from H by either adding an edge or 3-splitting a vertex.

5 3 Proof of main results

Oct+ 3.1 4-connected 1 -free graphs

+ In this section, we characterize 4-connected Oct1 -free graphs and prove Theorem 1.4.

Lemma 3.1. + 2 2 If a 4-connected graph G ∈C∪L and G is Oct1 -free, then G is C6 or C2k+1 (k ≥ 2).

Proof. Suppose G = L(H), where H is a cubic cyclically 4-connected graph. By Lemma 2.3, H can be generated by repeatedly adding handles starting from K3,3 or the Cube. Thus, L(H) ≥m + L(K3,3) or L(H) ≥m L(Cube) by lemma 2.5. Since L(K3,3) and L(Cube) both contain Oct1 as + a minor (as shown in Figure 4 and Figure 5), G contains Oct1 -minor too.

v2 v3 v2 6 v1 v1 v3v contact 5 6 4 v v 5 v v3 v6 v4 v

v7 v8 v9 v7 v8 v9

+ Figure 4: L(K3,3) and its Oct1 -minor

contract the heavy edges

+ Figure 5: L(Cube) and its Oct1 -minor

2 + 2 Thus we assume that G ∈C. Suppose G = C2k+1 (k ≥ 2), then G is Oct1 -free since C2k+1 2 2 2 2 + (k ≥ 2) is Oct-free. For C2k (k ≥ 3), C2k+2 contains C2k as a minor. Clearly, C6 is Oct1 -free 2 + 2 since it only has six vertices. And it is easy to verify that C8 contains Oct1 -minor, thus all C2k + contains Oct1 -minor for k ≥ 4.

6 + 2 Theorem 3.2. A 4-connected planar graph is Oct1 -free if and only if it is C6 .

Proof. The sufficiency clearly holds. To prove the necessity, assume that G is a 4-connected + 2 planar Oct1 -free graph. If G ∈ C∪L, by Lemma 3.1 G = C6 . If G is not in C∪L, by 2 Theorem 2.2 there exists a (G, C6 )-chain.

2 Let {v1, v2, ..., v6} be vertices of C6 (shown in Figure 6). By symmetry, we 4-split v1 and first consider the minimal case |A| = |B| = 3, where A, B belongs to N(v1), A∪B = N(v1). Suppose ′ ′′ ′ ′′ ′′ ′ v1, v1 are two new vertices obtained by 4-splitting v1, and N(v1)= A ∪ {v1 }, N(v1 )= B ∪ {v1}. 2 Since the four neighbors of v1 in C6 construct a 4-cycle, three vertices in A are pairwise adjacent. ′′ By symmetry, we assume that A = {v2, v5, v6}, then v3 must be adjacent to v1 . Therefore, B must be one of the following sets: {v3, v5, v6}, {v2, v3, v5}, {v2, v3, v6}. In all cases, the new ′ 2 + graph G generated by 4-splitting v1 from C6 with |A| = |B| = 3 contains Oct1 . Clearly, all 2 ′ + 2 other 4-splits of C6 contain G as a minor, thus contain Oct1 . Hence, G is C6 .

1 v v1’ v”1 v1’ v”1 v1’ v”1

2 v6 v6 v6 v v2 v2 v6 v2

3 3 v5 v3 v5 v v5 v v5 v3

v4 v4 v4 v4

2 Figure 6: C6 and three graphs obtained by minimal 4-splitting v1

Proof of Theorem 1.4

The result follows from Theorem 2.2, Lemma 3.1 and Theorem 3.2.

Oct+ 3.2 Planar 1 -free graphs

+ In this section, we characterize all planar Oct1 -free graphs and prove Theorem 1.5. We first establish some lemmas.

Lemma 3.3. If G1, G2 are k-connected for k = 0, 1, 2, 3 and at least one of them is non-planar, then the k-sum of G1 and G2 is non-planar.

7 Proof. It clearly holds for k = 0, 1. Without loss of generality, we suppose G1 is non-planar, G2 is planar. Then G1 contains a subdivision of K3,3 or K5, we denote it by Γ. When k = 2, let

G be the 2-sum of G1 and G2, let e = uv be the common edge. Suppose G is planar, then e is contained in the subdivision Γ and e is deleted after identification. Since G2 is 2-connected, there exists an (u,v)-path P different from e. Then G1 ∪ P contains a subdivision of K3,3 or K5, a contradiction.

When k = 3, let G be the graph obtained by 3-summing G1 and G2 over a common triangle v1v2v3v1. Suppose G is planar and v1v2, v2v3, v1v3 are all deleted after identification. Since

G1 is non-planar, some edges in {v1v2, v2v3, v1v3} are contained in the subdivision Γ. If Γ is a subdivision of K3,3, since there is no triangle in Γ, at most two edges of Γ are contained in {v1v2, v2v3, v1v3}, say v1v2, v2v3. Since G2 is 3-connected, there exists a vertex v different from v1, v2, v3 and three internally-disjoint (v, v1)-path, (v, v2)-path, (v, v3)-path in G2. By contracting (v, v2)-path to v2, we can obtain a (v1, v2)-path P1 and a (v2, v3)-path P2. Then

Γ \ v1v2 \ v2v3 ∪ P1 ∪ P2 forms a subdivision of K3,3 again. This contradicts to the planarity of ′ G. Thus we assume that Γ is a subdivision of K5. As shown in Figure 7, the 3-sum G of K5 and K4 is non-planar. Since every 3-connected graph contains W3 = K4 as a minor, G must contain G′ as a minor. A contradiction.

v1

v2

v3

Figure 7: The 3-sum of K5 and K4

It is sufficient to consider the k-sums (k = 0, 1, 2, 3) of planar graphs to characterize all + planar Oct1 -free graphs.

Lemma 3.4. If G1, G2 are both planar, then the k-sum G (k = 0, 1, 2) of G1 and G2 is planar.

Proof. It clearly holds for k = 0, 1. When k = 2, let e be the common edge. Since Gi (i = 1, 2)

8 e is planar, there exists a planar embedding Hi of Gi such that the outer face fi of Hi is incident e with e. Thus a planar embedding of G can be obtained by embedding H2 in f1 of H1.

Recall that the 3-sum of G1, G2 is obtained by identifying one triangle of G1 with one triangle of G2, and some of the three common edges could be deleted after identification. Next, we define the special 3-sum of two graphs. A triangle abca of G is called a separating triangle if the graph obtained from G by deleting vertices a, b, c is disconnected. Otherwise, we call the triangle abca non-separating triangle. The special 3-sum of G1 and G2 is obtained by taking

3-sum of them over a non-separating triangle of both G1 and G2.

Lemma 3.5. Let G1, G2 be two 3-connected planar graphs with triangles and let G be a 3-sum of them. If G is obtained by taking special 3-sum of them, then G is planar. Otherwise, G is non-planar.

Proof. Suppose G is obtained by 3-summing G1, G2 over an non-separating triangle C1 of both

G1 and G2. Let f be the face of G1 that bounded by C1. Then there exists a planar embedding

H of G1 such that the outer face f˜ of H has the same boundary as f. Thus a planar embedding of G can be obtained by embedding G2 in f˜.

Next, we suppose that G is obtained by 3-summing G1 and G2 over a separating triangle

C2 = abca of G1 or G2, say G1. Since G1 is planar, there exist two vertices u1, u2 such that u1 is in intC2 and u2 is in extC2. Let u3 be a vertex of G2 that different from {a, b, c}. Since both

G1 and G2 are 3-connected, there exists a {ui, a}-path Pi1, a {ui, b}-path Pi2 and a {ui, c}-path

Pi3 in G such that Pi1, Pi2 and Pi3 are internally-disjoint (Shown in Figure 8). It can be seen that P11 ∪ P12 ∪ P13 ∪ P21 ∪ P22 ∪ P23 ∪ P31 ∪ P32 ∪ P33 forms a subdivision of K3,3. Thus, G is non-planar.

u3 b

u1 u2 a c

Figure 8: A subdivision of K3,3

9 We next prove Theorem 1.5.

Proof of Theorem 1.5

+ We first characterize all 3-connected planar Oct1 -free graphs. Suppose a graph G is 3- + connected planar Oct1 -free graph. Two cases now arise, depending on whether G has an Oct- minor.

Case 1. G contains an Oct-minor.

+ It is clearly that G = Oct is 3-connected planar Oct1 -free graph. Thus we assume that G 6= Oct. By Lemma 2.7, G has a minor J, which is obtained from Oct by either adding an edge or 3-splitting a vertex. Adding any edge to Oct results in a non-planar graph. And there are + two graphs obtained by 3-splitting a vertex of Oct, one is Oct1 , another is non-planar. Hence, + in this case, Oct is the only 3-connected planar Oct1 -free graph.

Case 2. G is Oct-free.

Since G is 3-connected, G is constructed by taking 3-sums starting from graphs in {K4}∪ 2 ′ ′ ′′ {C2n−1 : n ≥ 3} ∪ {L4,L5,L5,L5 , P10} by Theorem 1.2. By Lemma 3.3, Lemma 3.5 and the planarity of G, G is L5 or G is the special 3-sums of K4. Thus G belongs to {L5}∪ K in this case.

It follows from Case 1 and Case 2 that G belongs to {Oct,L5}∪ K . Then Theorem 1.5 follows from Lemma 2.6, Lemma 3.3 and Lemma 3.4.

Oct+ 3.3 4-connected 2 -free graphs

+ In this section, we characterize 4-connected Oct2 -free graphs and prove Theorem 1.6.

+ Lemma 3.6. Graphs in C are all 4-connected Oct2 -free graphs.

2 2 Proof. It clearly holds since C2k (k ≥ 3) is planar and C2k+1 (k ≥ 2) is Oct-free.

+ Lemma 3.7. If a 4-connected graph G ∈L and G is Oct2 -free, then G is planar or G = L(K3,3).

Proof. Suppose G = L(H), where H is a cubic cyclically 4-connected graph. If G is planar, + + then G is Oct2 -free since Oct2 is non-planar. When G is non-planar, H is non-planar too. By

10 Lemma 2.4, H = K3,3 or H contains a subdivision of V8.

Case 1. H = K3,3.

+ As shown in Figure 9, G = L(K3,3) has 9 vertices {v1, v2, ..., v9} and 18 edges. If Oct2 is a minor of G, the minor can be obtained from G by contracting two edges and then deleting some edges. Without loss of generality, we first contract v4v5 to v5 and denote the resulting graph by G816, means it has 8 vertices and 16 edges. By symmetry, we next contract one of the edges in {v1v5, v2v5, v3v6, v1v2, v2v3, v5v6, v1v3, v1v7, v3v9, v2v8}. We verify every case in order and up a a b b to isomorphism there are six resulting graphs, we denote them by G713, G714, G713, G714, G715, c + + G714 respectively. Since they are all Oct2 -free graphs, G = L(K3,3) is Oct2 -free too.

2 3 2 3 v1 v v v1 v v

v5 v5 v6 v4 v6

v7 v7v 8v 9 v8 v9

a a b b c Figure 9: L(K3,3), G816, G713, G714, G713, G714, G715, G714

contract the delete the heavy edges dashed edges

+ Figure 10: L(V8) and its Oct2 -minor

Case 2. H contains a subdivision of V8.

+ By Lemma 2.5, G contains L(V8) as a minor. Since L(V8) contains a Oct2 -minor as shown + in Figure 10, G contains Oct2 as a minor.

11 Proof of Theorem 1.6

+ Suppose G is a 4-connected graph that is not in C∪L. If G is planar, then G is Oct2 -free clearly. If G is non-planar, by Theorem 2.2, there is a (G, K5)-chain. That is G can be generated 2 by repeatedly splitting vertices of C5 .

Then Theorem 1.6 follows from Lemma 3.6 and Lemma 3.7.

References

[1] C. Qin, and G. Ding, A chain theorem for 4-connected graphs, Journal of Combinatorial Theory Series B. 134 (2019) 341–349.

[2] G. Ding, A characterization of graphs with no octahedron minor, Journal of Graph Theory 74(2) (2013) 143–162.

[3] G. Ding, and C. Liu, Excluding a small minor, Discrete Applied Mathematics 161(3) (2013) 355–368.

[4] G. Ding, C. Lewchalermvongs, and J. Maharry, Graphs with no P¯7-minor, The Electronic Journal of Combinatorics 23(2) (2016) P2.12.

[5] J. Maharry, An excluded minor theorem for the octhedron plus an edge, Journal of Graph Theory 57(2) (2008) 124–130.

[6] J. Maharry, and N. Robertson, The structure of graphs not topologically containing the Wagner graph, Journal of Combinatorial Theory Series B. 121 (2016) 398–420

[7] J. Maharry, A characterization of graphs with no cube minor, Journal of Combinatorial Theory Series B. 80 (2008) 179–201

[8] J. Maharry, An excluded minor theorem for the octahedron, Journal of Graph Theory 31(2) (1999) 95–100.

[9] N.C. Wormald, Classifying k-connected cubic graphs, Lect Note Math. 748 (1979) 199–206.

12 [10] N. Martinov, Uncontractible 4-connected graphs, Journal of Graph Theory 6 (1982) 343– 344.

[11] P. Seymour, Decomposition of regular matroids, Journal of Combinatorial Theory Series B. 28 (1980) 305–359.

[12] W.T. Tutte, A theory of 3-connected graphs, Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen Series A. 64 (1961) 441–455.

13