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 rY −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 rY −move from K6. The rY −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 rY −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. rY − 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 n C are within the same connected component of R2 n 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) = fv1; v2; : : : ; vng 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) = fvivjjvivj 2= E(G)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 2 E(G). If v1v6 2 E(G), then the complement cG contains − a K4;4 subgraph given by the partition fv2; v3; v4; v5g,fv6; v7; v8; v9g with missing edge v5v6. If v1v6 2= E(G) (and by symmetry v5v9 2= E(G)), then without loss of generality v1v7; v5v7 2 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 fv2; v3; v4; t; v6; v9g by 4 ANDREI PAVELESCU AND ELENA PAVELESCU a rY −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 2 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 fv2; v3; v4g; fv6; v7; v8g; ftg. 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).