Complements of non-separating planar graphs

Andrei Pavelescu and Elena Pavelescu

Abstract. We prove that the complement of a non-separating planar graph of order at least nine is intrinsically linked. We also prove that the complement of a non-separating planar graph of order at least 10 is intrinsically knotted. We show these lower bounds on the orders are the best possible. We show that for a maximal non-separating planar graph with n ≥ 7 vertices, its complement cG is (n − 7)−apex. We conclude that the Colin de Verdi`ere invariant for such graphs satisfies µ(cG) ≤ n − 4. We use maximal non-separating planar graphs to build examples of maximal linklessly embeddable graphs, and examples of maximal knotlessly embeddable graphs.

1. Introduction All graphs in this paper are finite and simple. A graph is intrinsically linked (IL) if every embedding of it in R3 (or S3) contains a nontrivial 2-component link. A graph is linklessly embeddable if it is not intrinsically linked (nIL). A graph is intrinsically knotted (IK) if every embedding of it in R3 (or S3) contains a nontrivial knot. The combined work of Conway and Gordon [CG83], Sachs [S84], and Robertson, Seymour and Thomas [RST93] fully characterize IL graphs: a graph is IL if and only if it contains a graph in the Petersen family as a minor. The Petersen family consists of seven graphs obtained from K6 by ∇Y −moves and Y ∇−moves, as described in Figure 1. For the purpose of this article, of special interest are the graphs K6, G7 and K3,3,1 in the Petersen family. The graph G7 is obtained by a single ∇Y −move from K6. The ∇Y −move and the arXiv:2101.05740v2 [math.CO] 16 Jul 2021 Y ∇−move preserve the IL property. While K7 and K3,3,1,1 together with many other minor minimal IK graphs have been found [GMN14], [CG83], [F02], a characterization of IK graphs is not fully known. While the ∇Y −move preserves the IK property [MRS88], the Y ∇−move doesn’t preserve it [FN08]. A graph is said to be k−apex if it can be made planar by removing k vertices. If G and H denote two simple graphs with vertex sets V (G) and V (H), respectively, and edge sets E(G) and E(H), respectively, then G + H denotes the simple graph with vertex set V (G) t V (H) and edge set E(G) t E(H) t L, where L denotes the set of edges with one endpoint in V (G) and the other in V (H).

Date: July 20, 2021.

1 2 ANDREI PAVELESCU AND ELENA PAVELESCU

Figure 1. ∇Y − and Y ∇−moves

A planar graph G is said to be non-separating if there exists an embedding of G in R2 such that for any cycle C ⊂ G, all vertices of G \C are within the same connected component of R2 \C. In this article we study complements of non- separating planar graphs with nine and ten vertices. For G a graph with vertex set V (G) = {v1, v2, . . . , vn} and edge set E(G), the complement of G, denoted by cG, is a graph with the same set of vertices as G and edge set E(cG) = {vivj|vivj ∈/ E(G)}. By the recent work of Dehkordi and Farr [DF], a non-separating planar graph is one of three types: (1) an outerplanar graph, (2) a subgraph of a wheel, (3) a subgraph of an elongated triangular prism. We prove the following two theorems. Theorem 1. If G is a non-separating planar graph on 9 vertices, then cG is intrinsically linked. Theorem 2. If G is a non-separating planar graph on 10 vertices, then cG is intrinsically knotted. Since the complement of a non-separating planar graph contains the comple- ment of a maximal non-separating planar graph of the same order, it suffices to prove Theorems 1 and 2 for maximal non-separating planar graphs: (1) maximal outerplanar graphs, (2) the wheel, (3) elongated triangular prisms. We prove these theorems through a sequence of lemmas within the next two sections.

A similar approach to those presented in Sections 2 and 3 works to prove that if G is a non-separating planar graph on 7 vertices, then cG is not outerplanar, while if G is a non-separating planar graph on 8 vertices, then cG is non-planar. For outerplanar graphs with at most 9 vertices, these results can also be obtained using a known graph invariant. In 1990, Colin de Verdi´ere[dV90] introduced the graph invariant µ, based on spectral properties of matrices associated with the graph G. He showed that µ is monotone under taking minors and that planarity is characterized by the inequality µ ≤ 3. Lov´aszand Schrijver showed that linkless embeddability is characterized by the inequality µ ≤ 4 [LS98]. By reformulating the definition of the µ in terms of vector labelings, Kotlov, Lov´asz, and Vempala [KLV97] related the topological properties of a graph to the µ invariant of its complement: for G a simple graph on n vertices (a) if G is planar, then µ(cG) ≥ n − 5; (b) if G is outerplanar, then µ(cG) ≥ n − 4. COMPLEMENTS OF NON-SEPARATING PLANAR GRAPHS 3

In Section 4, we use maximal non-separating planar graphs as building blocks for maximal linklessly embedable graphs and maximal knotlessly embeddable graphs. A simple graph G is called maximal linklessly embeddable (maxnIL) if it is not a proper subgraph of a nIL graph of the same order. A simple graph G is called maximal knotlessly embeddable (maxnIK) if it is not a proper subgraph of a nIK graph of the same order. In Section 5, we see that the µ invariant of the complement of a maximal non- separating planar graph with n vertices is at most n − 4. Combined with known results for µ this gives that for G a maximal outerplanar graph with n vertices or the wheel with n vertices µ(cG) = n − 4.

2. Graphs of order nine Lemma 3. If G is a maximal outerplanar graph with nine vertices then cG is IL.

Proof. We label the vertices of G by v1, v2, . . . , v9 in clockwise order around the cycle C bordering the outer face of a planar embedding. See Figure 2. For a chord vivj of this cycle, its length is the minimal length of a path in C between vi and vj. We organize the proof according to the longest chord of C. We remark that within any triangulation of the disk bounded by C, out of a total of six chords, at most four have length 2. Thus there exists chords of length 3 or 4.

v1 v1 v1 v2 v v9 v2 9 v2

v8 v3

v8 v3 v8 v3 v9

v v4 v v 7 v7 4 v7 4

v v v6 v5 v6 v5 6 5 (a) (b) (c)

Figure 2. (a),(b) outerplanar graphs with 9 vertices (c) wheel with nine vertices. The dashed edges are edges of the complement graph.

Case (a) If the cycle C has a chord of length 4, we may assume without loss of generality that v1v5 ∈ E(G). If v1v6 ∈ E(G), then the complement cG contains − a K4,4 subgraph given by the partition {v2, v3, v4, v5},{v6, v7, v8, v9} with missing edge v5v6. If v1v6 ∈/ E(G) (and by symmetry v5v9 ∈/ E(G)), then without loss of generality v1v7, v5v7 ∈ E(G). See Figure 2(a). Contracting the edge v5v8 to t gives a G7 minor of cG obtained from a K6 with vertex set {v2, v3, v4, t, v6, v9} by 4 ANDREI PAVELESCU AND ELENA PAVELESCU a ∇Y −move with new vertex v7 over the triangle v2v3v4. Case (b) If the cycle C has a chord of length 3, say v1v4, but has no chord of length 4, then v1v7, v4v7 ∈ E(G). See Figure 2(b). Contracting edges v1v5, v4v8, v7v2 creates a K6 minor in cG.  Remark 4. The conclusion of Lemma 3 can be derived using the µ invariant. If a graph G of order n if outerplanar, the µ-invariant of its complement is at least n − 4, by [HLS96]. For n = 9, this implies µ(cG) ≥ 5, thus cG is IL. Lemma 5. If G is a wheel with nine vertices then cG is IL.

Proof. Within cG, contract the edge v1v5 to one vertex t to obtain a K3,3,1 minor of cG given by the partition {v2, v3, v4}, {v6, v7, v8}, {t}. See Figure 2(c).

 Lemma 6. If G is an elongated triangular prism with nine vertices then cG is IL. Proof. An elongated prism with nine vertices is obtained by subdividing the three non-triangular edges of the prism with three vertices. These three vertices can be added in three different ways: (a) on three different edges; (b) two on the same edge and one on a different edge; (c) all three on the same edge. See Figure 3. In each case, we show that cG contains a K3,3,1 minor and thus it is intrinsically linked.

a v v a b a b c v1 2 1 v2 v1 v2 b c v3 v4 v v 3 v4 3 v4 c v v v 5 v6 5 v6 v5 6 (a) (b) (c)

Figure 3. Elongated prisms with nine vertices. Dashed edges are edges of the complement graph.

Case (a) The three vertices are added on three different edges of the elongated prism, as in Figure 3(a). Within cG, contract the triangle abc to one vertex t to obtain a K3,3,1 minor of cG given by the partition {v1, v3, v5}, {v2, v4, v6}, {t}. Case (b) Two vertices are added to the same edge and one vertex is added on a different edge, as in Figure 3(b). Within cG, contract edge ac to vertex t and contract edge bv5 to vertex t5 to obtain a K3,3,1 minor of cG given by the partition {v1, v3, t5}, {v2, v4, v6}, {t}. Case (c) The three vertices are added on the same edge of the elongated prism, as in Figure 3(c). Within cG, contract edge av3 to vertex t3 and contract COMPLEMENTS OF NON-SEPARATING PLANAR GRAPHS 5

edge cv5 to vertex t5 to obtain a K3,3,1 minor of cG given by the partition {v1, t3, t5}, {v2, v4, v6}, {b}.  Lemmas 3, 5 and 6 together give the following:

Theorem 1. If G is a non-separating planar graph on 9 vertices, then cG is intrinsically linked. Corollary 7. For n ≥ 9, the complement of a non-separating planar graph on n vertices is IL. Proof. Let G be a non-separating planar graph of order n ≥ 9. Deleting any n−9 of its vertices, we obtain a non-separating planar subgraph G0 of order nine. By Theorem 1, cG0 is IL. Since cG0 is a subgraph of cG, it follows that cG is also IL.  Remark 8. The bound n ≥ 9 in Corollary 7 is the best possible. If G is the 8-wheel, then cG =(K7 \ C7) ∪ {v}. Here v is the isolated point within the complement of the wheel. All excluded minors for linkless embedability have 15 edges. Since cG has 14 edges, it is linklessly embeddable.

3. Graphs of order ten Lemma 9. If G is a maximal outerplanar graph with ten vertices then cG is IK.

Proof. We label the vertices of G by v1, v2, . . . , v9, v10 in clockwise order around the cycle C bordering the outer face of a planar embedding. See Figure 4. We organize the proof according to the longest chord of C. In each case we show the complement cG contains an intrinsically knotted graph as a minor. We remark that within any triangulation of the disk bounded by C, out of a total of seven chords, at most six have length 2 or 3. Thus there exists chords of length 4 or 5.

v v v v v 1 2 1 2 v1 2 v1 v2 v v v v v 10 3 10 3 10 v3 v10 v3

v v v v9 4 9 4 v9 v4 v9 v4

v8 v v v v v 5 8 5 8 5 v8 v5 v v v v 7 6 7 6 v7 v6 v7 v6 (a) (b) (c) (d)

Figure 4. Outerplanar graphs with 10 vertices. 6 ANDREI PAVELESCU AND ELENA PAVELESCU

Case (a) If the cycle C has a chord of length 5, we may assume without loss of generality that v1v6 ∈ E(G). We look at other edges incident to v1. (a1) Assume there exists a 4-chord incident to v1, say v1v5 ∈ E(G).

(i) If v1v7 ∈ E(G) (see Figure 4(a)), then the complement cG contains the graph obtained through two ∇Y -moves from K7 with vertex set {v2, v3, v4, v8, v9, v10, v6}: one ∇Y -move over the triangle v2v3v4 with new vertex v7 and one ∇Y -move over the triangle v8v9v10 with new vertex v5. Since the ∇Y -move preserves the IK property, cG is intrinsically knotted. (ii) If v1v7 ∈/ E(G), and v1v8 ∈ E(G) (see Figure 4(b)), then in cG delete any edges incident to v5 except v5v8, v5v9 and v5v10, then perform a Y ∇- move at v5 to create a graph containing the triangle v8v9v10. This graph contains a K3,3,1,1 minor with partition {v2, v3, v4}, {v6, v7, v8}, {v9}, {v10}. (iii) If v1v7, v1v8 ∈/ E(G) and v1v9 ∈ E(G), then v6v9 ∈ E(G) (see Figure 4(c)). In cG delete any edges incident to v6 except v6v2, v6v3 and v6v4, then perform a Y ∇-move at v6 to create a graph containing the triangle v2v3v4. Within this new graph contract the edge v5v9 to a vertex t, and contract the edge v1v7 to a vertex t7 to obtain a K7 minor with vertices {v2, v3, v4, t7, v8, v10, t}. (iv) If v6v10 ∈ E(G) (see Figure 4(d)), then in cG delete any edges incident to v1 except v1v7, v1v8 and v1v9, then perform a Y ∇-move at v1 to cre- ate a graph containing the triangle v7v8v9. Further, delete any edges incident to v6 except v2v6, v3v6 and v4v6, then perform a Y ∇-move at v6 to create a graph containing the triangle v2v3v4. Within this new graph, contract v5v10 to a new vertex t to obtain a K7 minor with vertices {v2, v3, v4, v7, v8, v9, t}.

v v v v v 1 2 1 2 v1 2 v1 v2 v v v v v 10 3 10 3 10 v3 v10 v3

v v v v9 4 9 4 v9 v4 v9 v4

v v v v 8 5 8 5 v8 v5 v8 v5 v v v v 7 6 7 6 v7 v6 v7 v6 (a) (b) (c) (d)

Figure 5. Outerplanar graphs with 10 vertices.

(a2) If there is no 4-chord incident to v1 and there is a 3-chord incident to v1, say v1v4 ∈ E(G). Then v4v6 ∈ E(G) and v1v7 ∈/ E(G).

(i) If v1v8 ∈ E(G), then v6v8 ∈ E(G) (see Figure 5(a)). For any choice of edges which triangulate the quadrilaterals v1v2v3v4 and v8v9v10v1, the complement cG contains the graph Cousin 12 of K3,3,1,1 described in COMPLEMENTS OF NON-SEPARATING PLANAR GRAPHS 7

[GMN14] as a subgraph. This is a minor minimal IK graph with 9 vertices obtained from K3,3,1,1 by two ∇Y -moves followed by a Y ∇-move. (ii) If v1v8 ∈/ E(G) and v1v9 ∈ E(G), then v6v9 ∈ E(G) (see Figure 5(b)). Obtain a K7 minor of cG by contracting the edges v1v8, v2v6 and v4v9. (iii) If v1v8, v1v9 ∈/ E(G), then v6v10 ∈ E(G) (see Figure 5(c)). This is case (a1)(iii).

(a3) If there are no 4- or 3-chords incident to v1 and there is a 2-chord incident to v1, say v1v3, then v3v6 ∈ E(G) (see Figure 5(c)). Since there is a 5-chord and a 3-chord incident to vertex v6, by symmetry, we recover case (a2)(i) or case (a1)(ii). (a4) If there is no other chord incident to v1, by symmetry we get case (a1)(i).

Case (b) If the cycle C has no chord of length 5, but has chords of length 4. We assume v1v7 ∈ E(G) and we look at other edges incident to v1. (b1) If v1v5 ∈ E(G), then v5v7 ∈ E(G). See Figure 6(a). The complement cG contains the graph obtained through two ∇Y -moves from K7 with vertex set {v2, v3, v4, v6, v8, v9, v10}: one ∇Y -move over the triangle v2v3v4 with new vertex v7 and one ∇Y -move over the triangle v8v9v10 with new vertex v5. Thus cG is intrinsically knotted. v v v1 2 v1 2 v1 v2

v v v 10 v3 10 v3 10 v3

v9 v4 v9 v4 v9 v4

v 8 v5 v8 v5 v8 v5

v7 v6 v7 v6 v7 v6 (a) (b) (c)

Figure 6. Outerplanar graphs with 10 vertices.

(b2) If v1v5 ∈/ E(G) and v1v4 ∈ E(G) (see Figure 6(b)), then in cG delete any edge incident to v4 except v4v8, v4v9 and v4v10, then perform a Y ∇-move at v4 to create a graph containing the triangle v8v9v10. Within this graph contract edges v1v5 to t5 and v2v7 to t2 obtain a K7 with vertex set {t2, v3, t5, v6, v8, v9, v10}. (b3) If v1v5, v1v4 ∈/ E(G) and v1v3 ∈ E(G), then we recover case (b1). See Figures 6(a) and (c). (b4) If v1vj ∈/ E(G) for j ∈ {3, 4, 5, 6}, then v2v7 ∈ E(G) and we recover case (a1).  8 ANDREI PAVELESCU AND ELENA PAVELESCU

Remark 10. Unlike the n = 9 case, the known properties of µ cannot be employed to provide an alternate proof for Lemma 9. If G is outerplanar on n = 10 vertices, µ(cG) ≥ n − 4 = 6, but this is not enough to guarantee intrinsic knottedness. The graph found by Flapan and Naimi [FN08] has µ = 6 but is not IK. Lemma 11. If G is a wheel with ten vertices then cG is IK.

Proof. The graph E9 + e is a minor minimal intrinsically knotted graph with 9 vertices described in [GMN14]. The complement of E9 + e in K10 contains the 10-wheel as a subgraph. See Figure 7. Thus, the complement cG contains E9 + e as a subgraph and therefore it is intrinsically knotted.

v1 v1

v9 v2 v9 v2

v8 v10 v3 v8 v3

v10

v v v7 4 v7 4

v6 v5 v6 v5 (a) (b)

Figure 7. (a) wheel with ten vertices, (b) complement of E9 + e in K10.

 Lemma 12. If G is an elongated triangular prism with ten vertices then cG is IK. Proof. An elongated prism with ten vertices is obtained by subdividing the three non-triangular edges of the prism with four vertices. These four vertices can be added in four different ways: (a) on three different edges; (b) on two edges with a 2-2 partition; (c) on two edges with a 3-1 partition; (d) all on one edge. See Figure 8. In each case, we show that cG contains a K3,3,1,1 minor and thus it is intrinsically knotted. Case (a) The four vertices are added on three different edges of the elongated prism, as in Figure 8(a). Within cG, contract edge ac to vertex t and con- tract edge bd to vertex u to obtain a K3,3,1,1 minor of cG given by the partition {v1, v3, v5}, {v2, v4, v6}, {t}, {u}. Case (b) The four vertices are added to two edges of the elongated prims with a 2-2 partition, as in Figure 8(b). Within cG, contract edge dv5 to vertex t5 and contract edge av6 to vertex t6 to obtain a K3,3,1,1 minor of cG given by the partition {v1, v3, c}, {v2, v4, b}, {t5}, {t6}. COMPLEMENTS OF NON-SEPARATING PLANAR GRAPHS 9

a b a b v v v1 2 1 v2 c c d v v v 3 4 3 v4 d v v 5 v6 5 v6 (a) (b)

a b c a b c d v v 1 2 v1 v2 d v v v 3 4 3 v4

v v v 5 6 5 v6 (c) (d)

Figure 8. Elongated prisms with ten vertices. Dashed edges are edges of the complement graph.

Case (c) The four vertices are added to two edges of the elongated prims with a 3-1 partition, as in Figure 8(c). Within cG, contract edge av5 to vertex t5 and contract edge cd to vertex t to obtain a K3,3,1,1 minor of cG given by the partition {v1, v3, t5}, {v2, v4, v6}, {b}, {t}. Case (d) The four vertices are added all one one edge of the elongated prism, as in Figure 8(d). Within cG, contract the edge bv5 to vertex t5 and the edge cv4 to ver- tex t4 to obtain a K3,3,1,1 minor of cG given by the partition {v1, v3, a}, {v2, v6, d}, {t4}, {t5}.



Lemmas 9, 11 and 12 together give the following:

Theorem 2. If G is a non-separating planar graph on 10 vertices, then cG is intrinsically knotted.

Corollary 13. For n ≥ 10, the complement of a non-separating planar graph on n vertices is IK.

Remark 14. The bound n ≥ 10 in Corollary 13 is the best possible. If G is the 9-wheel, then cG\v =K8 \C8. Here v is the isolated point within the complement of the wheel. Since it has 20 edges, K8 \C8 is 2-apex and it is therefore knotlessly embeddable [M11]. 10 ANDREI PAVELESCU AND ELENA PAVELESCU 4. MaxnIL and maxnIK graphs Jørgensen [J89], and Dekhordi and Farr [DF] considered the class of graphs of the type H + E2 where E2 denotes the graph with two vertices and no edges, and H is an elongated prism. Jørgensen proved that these graphs are maximal with no K6 minors. Dekhordi and Farr proved that this graphs are maxnIL. Furthermore, they cited maxnIL graphs as the chief motivation in considering non-separating planar graphs in the first place. They also joined the ongoing conversation about the possible bounds on the size of a given maxnIL graph of order n, by showing the maxnIL graphs they considered had order n and size 3n − 3. By a theorem of Mader [Ma68], any maxnIL graph of order n has at most 4n − 10 edges. In [A21], Aires proved that the lower bound for the size of a maxnIL graph of order n is 2n. Aires also provided an example of an infinite family of maxnIL graphs with asymptotic size to order ratio of 12/5. Building on the work of Jørgensen [J89], the authors of this article and Ramin Naimi produced another example of a infinite family of maxnIL graphs of order n and size 3n − 5, for all n ≥ 10 [NPP21]. Using as a starting point the example Q13,3 analyzed by Maharry in [Mah98], Naimi, Pavelescu, and Pavelescu built an infinite family of maxniIL graphs with asymptotic size to order ratio of 25/12. Similar questions on the bounds of maxnIK graphs were approached by Eakins, Fleming, and Mattman in [EFM21]. While Mader’s Theorem establishes the upper bound for the size of a maxnIK graph of order n at 5n − 15, Eakins, Fleming, and Mattman proved that such a graph would have at least 7n/4 edges. In this section, we use maximal non-separating planar graphs to build examples of maxnIL and maxnIK graphs. Let v be a vertex of a graph H, incident to all other vertices of H. We call v a cone. We also say that v cones over the subgraph induces by all the vertices of H minus v. Let Wn denote the wheel graph of order n ≥ 4. Let {v1, v2, ...., vn} denote its vertices, and assume that vn is adjacent to vi, for 1 ≤ i ≤ n − 1.

Theorem 15. Let G ' Wn + E2, for n ≥ 4. Then G is a maxnIL graph.

Proof. Removing the vertex vn yields a subgraph which admits a planar embed- ding (see Figure 9), thus G is an apex graph. By [S84], G is nIL.. Maximality follows by Mader’s Theorem [Ma68], since G has 2(|V (G)| − 3) + 2(|V (G)| − 2) = 4|V (G)| − 10 edges. 

If H is a maximal outerplanar graph, H + E2 is apex and therefore nIL, by [S84]. However, it is not maxnIL, since one can add the edge connecting u and v, and still have an apex graph H0. Since H0 has size 4|V (H0)| − 10, it must be maxnIL. Thus H + K2 is a maxnIL graph. COMPLEMENTS OF NON-SEPARATING PLANAR GRAPHS 11

u

v5 v4 v2 v v1 vn-1 3

v

Figure 9. Maximal planar graph.

Let P2 be the graph with vertex set V (P2) = {u, v, w}, and edge set E(P2) = {{u, w}, {v, w}}. Let K3 denote the complete graph on vertices {u, v, w}.

Theorem 16. Let G ' Wn + P2, for n ≥ 4. Then G is a maxnIK graph.

Proof. By removing the vertices vn and w, one obtains the planar graph of Figure 9, thus G is a 2-apex graph, hence nIK by [S84]. Maximality follows by Mader’s Theorem [Ma68], since G has 2(|V (G)| − 4) + 3(|V (G)| − 3) + 2 = 5|V (G)| − 15 edges.  For the elongated prism case, we distinguish two cases. Theorem 17. Let H denote an elongated prism of order n ≥ 8 obtained by repeated subdivisions of at most two of the non-triangular edges of the prism graph. Then G ' H + P2 is a maxnIK graph. Proof. Assume that H is isomorphic to the graph depicted in Figure 10, such that the edge {v3, v4} is not subdivided. Perform a ∇Y −move on the triangle induced by the vertices {v3, v4, u}, by deleting the edges {v3, v4}, {v3, u}, and {v4, u}, and adding a new vertex t incident to all of {v3, v4, u}, to obtain a new graph G0. This graph is 2-apex, since deleting the vertices t and w produces the planar graph of Figure 11. Thus, G0 is nIK, and so must be G, as the ∇Y − move preserves the IK property. To show that G is maximal nIK, one only needs to notice that G is isomorphic to a cone w over H + E2. Since H + E2 is maxnIL by [DF], adding any edge to G produces a structure of a cone over an IL graph. This structure will contain a minor isomorphic to a graph in either the K7-family or the K3,3,1,1-family, and will therefore be IK.  12 ANDREI PAVELESCU AND ELENA PAVELESCU

t1 t2 tk v1 v2 v 3 v4

s1 s2 sl v5 v6

Figure 10. Elongated prism with only the edges {v1, v2} and {v5, v6} subdivided.

t2 tk v1 v2 t1 v v 3 v4

v5 s v6 1 s2 sl

w

Figure 11. Planar graph obtained by deleting the vertices t and w.

Theorem 18. Let H denote an elongated prism of order n ≥ 9 obtained by repeated subdivisions of all three non-triangular edges of the prism graph. Then G ' H + P2 is IK. Proof. By repeated edge contractions applied to G, one obtains the minor S ' 0 0 P + P2, where P is the graph depicted in Figure 12. In [F02], Foisy proved that if a graph contains a doubly linked D4-minor in every embedding, the graph must be IK. The graph D4 is depicted in Figure 13. An embedding of the graph D4 is doubly linked if the linking numbers lk(C1,C3) and lk(C2,C4) are both nonzero. We used a Mathematica program written by Naimi [Na20] to show that S has a doubly linked D4-minor in every embedding.  Theorem 19. Let H denote a maximal outerplanar graph of order n ≥ 4. Then G ' H + K3 is a maxnIK graph. Proof. The graph G is 2-apex, and it is therefore nIK, by [S84]. As any maximal outerplanar graph of order n has exactly 2n−3 edges, the graph G has 2(|V (G)|− COMPLEMENTS OF NON-SEPARATING PLANAR GRAPHS 13 a v1 v2 b v 3 v4 c v5 v6

Figure 12. The graph P 0 obtained by subdividing once each non- triangular edge of the prism graph.

C2

C1 C3

C4

Figure 13. The graph D4.

3) − 3 + 3(|V (G)| − 3) + 3 = 5|V (G)| − 15 edges. By Mader’s Theorem [Ma68], it follows that G is maxnIK.  5. Lower bounds for the µ invariant Prompted by conversations with Dehkordi, Farr, and Naimi, we explore the possible values of the µ invariant for maximal complements of maximal non- separating planar graphs. Theorem 20. If G is a maximal non-separating planar graph with n ≥ 7 vertices, then cG is (n − 7)−apex. Proof. Outerplanar case.Any maximal outerplanar graph H of order n ≥ 3 has a 2-chord, an edge which separates exactly one vertex v of H. The complement of 14 ANDREI PAVELESCU AND ELENA PAVELESCU the unique maximal outerplanar graph with 5 vertices is P3, the path with three edges. It follows that the complement of any maximal outerplanar graph with 7 vertices is planar, since the deletion of two vertices produces a path. Starting with a maximal outerplanar graph with n ≥ 7 vertices, one can recursively delete n − 7 vertices thus isolated and obtain a maximal outerplanar graph of order 7. The same sequence of n − 7 vertex deletions gives a planar subgraph of cG. Wheel case. Let G be the wheel on n vertices. Then cG ' (Kn−1 \ Cn−1) ∪ K1. Let {v1, v2, . . . , vn−1} be the vertices of Cn−1 in consecutive order. Then cG \{v7, v8, . . . , vn−1} is a planar graph (the triangular prism added one edge, together with an isolated vertex) and thus cG is (n − 7)−apex. See Figure 14.

v1 vn-1 v2 v 1 v4

v8 vn v3

v3 v6 v v v v7 4 5 2

vn v6 v5 (a) (b)

Figure 14. (a) wheel with n vertices (b) cG \{v7, v8, . . . , vn−1}

Elongated prism case. Let G be an elongated prism with n ≥ 7 vertices. Without loss of generality let v1v3v5 be one of two induced triangles of G. Let a, b and c denote their respective neighbors in V (G) \{v1, v3, v5} as in Figure 15(a). Deleting all vertices but {v1, v3, v5, a, b, c} in cG gives a subgraph of the outerplanr graph with six vertices in Figure 15(b). Thus deleting any n − 7 vertices of cG none of which is in the set {v1, v3, v5, a, b, c} yields a planar graph.  Corollary 21. For G a maximal non-separating planar graph with n ≥ 7 vertices, µ(cG) ≤ n − 4. Proof. By Theorem 20, cG is (n − 7)-apex. Let H be the planar subgraph of cG obtained by deleting n − 7 vertices. Then µ(H) ≤ 3 and µ(cG) ≤ 3 + (n − 7) = n − 4, since adding one vertex to a graph increases the value of µ by at most one (see Theorem 2.7 in [HLS96]).  Remark 22. Corollary 21 establishes an upper bound of n − 4 for the values of µ of complements of maximal non-separating planar graphs. In most cases, n − 4 is the actual value of µ. In [KLV97], it is shown that if G is outerplanar, then µ(cG) ≥ n − 4. In [HLS96], the authors introduce the ν invariant of a graph with COMPLEMENTS OF NON-SEPARATING PLANAR GRAPHS 15

v1 c c v1 b b v3 v3 a v5 v5 a (a) (b)

Figure 15. (a) elongated prism (b) subgraph induced by {v1, v3, v5, a, b, c} in cG n vertices as ν(G) = n − µ(cG) − 1. By Theorem 5.5 in [HLS96] it follows that ν(Cn−1) ≤ 2. We then have for G the wheel graph on n vertices

µ(cG) = µ(cCn−1) = n − 1 − ν(Cn−1) − 1 ≥ n − 4.

Open problem. For P an elongated triangular prism with n vertices, is it true that µ(cP ) = n − 4?

In [KLV97], Kotlov, Lov`asz,and Vempala conjectured that, for a simple graph G, the following inequality takes place: µ(G) + µ(cG) ≥ n − 2 We note that a negative answer to the open problem above would provide the means to build a counterexample to the conjecture. Indeed, if H denotes an elongated prism of order n ≥ 6 such that µ(cH) = n−5, then let G = H + E2. The graph G is nIL by [DF], and thus µ(G) ≤ 4. The complement of G is the disjoint union on K2 and cH. By Theorem 2.5 of [HLS96], µ(cG) = max{µ(cH), µ(K2)} = max{n − 5, 1} = n − 5, hence µ(G) + µ(cG) ≤ 4 + n − 5 = n − 1 < (n + 2) − 2.

Aknowledgments. The authors would like to thank Hooman Dehkordi, Graham Farr, and Ramin Naimi for the helpful conversations.

References [A21] Aires, Max. ”On the number of edges in maximally linkless graphs.” Journal of Graph Theory (2021). [CG83] Conway, J.; Gordon, C. Knots and links in spatial graphs. J. Graph Theory 7 (1983) 445–453 16 ANDREI PAVELESCU AND ELENA PAVELESCU

[DF] Dehkordi, H.R.; Farr, G. Dehkordi, H.R. and Farr, G., 2021. Non-Separating Planar Graphs. The Electronic Journal of Combinatorics, pp.P1-11. [dV90] de Verdiere,` Y.C. Sur un nouvel invariant des graphes et un crit`erede planarit`e. Journal of Combinatorial Theory, Series B 50 (1) (1990) 11–21 [EFM21] Eakins, Lindsay, Thomas Fleming, and Thomas W. Mattman. ”Maximal knotless graphs.” arXiv preprint arXiv:2101.05241 (2021). [FN08] Flapan, E.; Naimi, R. The Y-triangle move does not preserve intrinsic knottedness. Osaka Journal of Mathematics 45(1) (2008) 107–111 [F02] Foisy, Joel. ”Intrinsically knotted graphs.” Journal of Graph Theory 39, no. 3 (2002): 178-187. [F02] Foisy, Joel. ”Intrinsically knotted graphs.” Journal of Graph Theory 39, no. 3 (2002): 178-187. [GMN14] Goldberg, N.; Mattman, T.; Naimi, R. Many, many more intrinsically knotted graphs. Algebr. Geom. Topol. 14, Number 3 (2014) 1801–1823 [HLS96] van der Holst, H.; Lovasz,´ L.; Schrijver, A. The Colin de Verdi`eregraph parameter. Graph Theory and Combinatorial Biology. Bolyai Soc. Math. Stud. 7, Bu- dapest: J´anosBolyai Math. Soc. (1996) 29–85. [J89] Jørgensen, Leif K. ”Some Maximal Graphs that are not Contractible to K6.” (1989). [KLV97] Kotlov, A.; Lovasz,´ L.; Vempala, S. The Colin de Verdi`erenumber and sphere representations of a graph. COMBINATORICA 17 (4) (1997) 483–521 [LS98] Lovasz,´ L.; Schrijver, A. A Borsuk theorem for antipodal links and a spectral characterization of linklessly embeddable graphs. Proc. Amer. Math. Soc. 126, Number 2 (1998) 1275–1285 [Ma68] W. Mader, Homomorphies¨atzef¨urGraphen, Mathematische Annalen, Vol. 178, Iss. 2, (1968), 154–168 [Mah98] Maharry, John. ”A splitter for graphs with no Petersen family minor.” Journal of Combinatorial Theory, Series B 72, no. 1 (1998): 136-139. [M11] Mattman, T. Graphs of 20 edges are 2-apex, hence unknotted. Algebr. Geom. Topol. 11 (2011) 691–718 [MRS88] Motwani, Rajeev, Arvind Raghunathan, and Huzur Saran. ”Constructive results from graph minors: Linkless embeddings.” In [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, pp. 398-409. IEEE Computer Society, 1988. [Na20] Naimi, Ramin. FindD4LessEmbedding-2020.nb, Mathematica program, https://drive.google.com/drive/folders/0B28ywX-VEy-LeWx4b1RGT3JSMXc?resourcekey=0- CTISgkZ2ia6lXvM0vVA6ug [NPP21] Naimi, Ramin, Andrei Pavelescu, and Elena Pavelescu. ”New bounds on maximal linkless graphs.” arXiv preprint arXiv:2007.10522 (2020). [RST93] Robertson, N.; Seymour, P.; Thomas, R. Linkless embeddings of graphs in 3-space. Bulletin of the Amer. Math. Soc. 28 No. 1 (1993) 84–89 [S84] Sachs, H. On spatial representations of finite graphs. A. Hajnal, L. Lovasz, V.T. S´os(Eds.), Colloq. Math. Soc. J´anosBolyai 37, North-Holland, Amsterdam (1984) 649–662 COMPLEMENTS OF NON-SEPARATING PLANAR GRAPHS 17

Department of Mathematics and Statistics, University of South Alabama, Mo- bile, AL 36688 [email protected]

Department of Mathematics and Statistics, University of South Alabama, Mo- bile, AL 36688 [email protected]