The 6-girth-thickness of the

Hector´ Castaneda-L˜ opez´ † Pablo C. Palomino ‡ Andrea B. Ramos-Tort ‡ Christian Rubio-Montiel § Claudia Silva-Ruiz ‡

May 20, 2019

Abstract

The g-girth-thickness θ(g, G) of a graph G is the minimum number of planar sub- graphs of girth at least g whose union is G. In this paper, we determine the 6-girth- thickness θ(6,Kn) of the complete graph Kn in almost all cases. And also, we calculate by computer the missing value of θ(4,Kn).

Keywords: Thickness, planar decomposition, complete graph, girth.

2010 Mathematics Subject Classification: 05C10. arXiv:1709.07466v4 [math.CO] 17 May 2019 1 Introduction

In this paper, all graphs are finite and simple. A graph in which any two vertices are adjacent is called a complete graph and it is denoted by Kn if it has n vertices. If a graph can be drawn

†Facultad de Ciencias, Universidad Aut´onoma del Estado de M´exico, 50000, Toluca, Mexico, [email protected]. ‡Facultad de Ciencias, Universidad Nacional Aut´onoma de M´exico, 04510, Mexico City, Mexico, [pablop96|ramos tort|callame]@ciencias.unam.mx. §Divisi´onde Matem´aticase Ingenier´ıa,FES Acatl´an,Universidad Nacional Aut´onomade M´exico,53150, Naucalpan, Mexico, [email protected].

1 in the Euclidean plane such that no inner point of its edges is a vertex or lies on another edge, then the graph G is called planar. The girth of a graph is the size of its shortest cycle or if it is acyclic. It is known that an acyclic graph of order n has size at most n 1 and a planar∞ graph of order n and finite girth g has size at most g (n 2), see [8]. − g−2 − The thickness θ(G) of a graph G is the minimum number of planar subgraphs whose union is G. Equivalently, it is the minimum number of colors used in any edge coloring of G such that each set of edges in the same chromatic class induces a planar subgraph.

The concept of the thickness was introduced by Tutte [19]. The problem to determine the thickness of a graph G is NP-hard [15], and only a few of exact results are known, for instance, when G is a complete graph [2, 5, 6], a complete multipartite graph [7, 11, 18, 21, 22] or a hypercube [14].

Generalizations of the thickness for the complete graphs also have been studied such that the outerthickness θo, defined similarly but with outerplanar instead of planar [12], and the S- thickness θS, considering the thickness on a surface S instead of the plane [4]. The thickness has many applications, for example, in the design of circuits [1], in the Ringel’s earth-moon problem [13], or to bound the achromatic numbers of planar graphs [3]. See also [16].

In [17], the g-girth-thickness θ(g, G) of a graph G was defined as the minimum number of planar subgraphs of girth at least g whose union is G. Indeed, the g-girth thickness generalizes the thickness when g = 3 and the number when g = . ∞

This paper is organized as follows. In Section 2, we obtain the 6-girth-thickness θ(6,Kn)  n+2  of the complete graph Kn getting that θ(6,Kn) equals , except for n = 3t + 1, t 4 3 ≥ and n = 2, for which θ(6,K2) = 1. In Section 3, we show that there exists a set of 3 6 planar triangle-free subgraphs of K10 whose union is K10. The decomposition was found by computer and, as a consequence, we disproved the conjecture that appears in [17] about the missing case of the 4-girth-thickness of the complete graph.

2 Determining θ(6,Kn)

A of n vertices with girth at least 6 has size at most 3(n 2)/2 for n 6 and − ≥ size at most n 1 for 1 n 5, therefore, the 6-girth-thickness θ(6,Kn) of the complete − ≤ ≤ graph Kn is at least n(n 1) n + 1 2  n + 2 − = + = 3(n 2) 3 3n 6 3 − − for n 6, as well as,  n+2  for n 1, 3, 4, 5 . We have the following theorem. ≥ 3 ∈ { }  n+2  Theorem 2.1. The 6-girth-thickness θ(6,Kn) of Kn is equal to 3 except possibly when n = 3t + 1, for t 4, and n = 2 for which θ(6,K2) = 1. ≥ 6 2 Proof. To begin with, Figure 1 displays equality for n = 2, 4, 7, 10 with θ(6,Kn) = 1, 2, 3, 4, respectively. The rest of the cases for 1 n 10 are obtained by the hereditary property of ≤ ≤ the induced subgraphs. We remark that the decomposition of K10 was found by computer using the database of the connected planar graphs of order 10 that appears in [9].

a) 1 b) 1 2 2 3

2 4 3 1 4

c) 2 3 3 4 1 2 7 7 7

1 2 6 4 5 3

6 5 1 6 5 4 d) 5 5 1 6 1 4 7 3 6 4 1 8 4 8 9 9 8 3 5 1 10 10 7 5 10 2 2 9 9 2 2 6 4 3 7 3 6 7 10 8

Figure 1: A decomposition of Kn into θ(6,Kn) planar subgraphs of girth at least 6: a) for n = 2, b) for n = 4, c) for n = 7 and d) for n = 10.

Now, we need to distinguish two main cases, namely, when t is even or t is odd for n = 3t, that is, when n = 6k and n = 6k + 3 for k 2. The cases n = 6k 1 and n = 6k + 2, i.e., for n = 3t + 1, are obtained by the hereditary≥ property of the induced− subgraphs, that is, since K6k−1 K6k and K6k+2 K6k+3, we have ⊂ ⊂

2k + 1 θ(6,K6k−1) θ(6,K6k) and ≤ ≤

2k + 2 θ(6,K6k+2) θ(6,K6k+3), respectively. ≤ ≤ Therefore, the case of n = 6k shows a decomposition of K6k into 2k + 1 planar subgraphs of girth at least 6, while the case of n = 6k+3 shows a decomposition of K6k+3 into 2k+2 planar subgraphs of girth at least 6. Both constructions are based on the planar decomposition of K6k of Beineke and Harary [5] (see also [2, 6, 20]) but we use the combinatorial approach

3 given in [3]. Then, for the sake of completeness, we give a decomposition of K6k in order to obtain its usual thickness. In the remainder of this proof, all sums are taken modulo 2k.

We recall that complete graphs of even order 2k are decomposable into a cyclic factorization of Hamiltonian paths, see [10]. Let Gx be a complete graph of order 2k, label its vertex set x x V (G ) as x1, x2, . . . , x2k and let be the Hamiltonian path with edges { } Fi

xixi+1, xi+1xi−1, xi−1xi+2, xi+2xi−2, . . . , xi+k+1xi+k,

x x x for all i 1, 2, . . . , k . The partition E( 1 ),E( 2 ),...,E( k ) is such factorization of x ∈ { } x { F Fx F } G . We remark that the center of i has the edge ei = xi+ k xi+ 3k , see Figure 2. F d 2 e d 2 e a) b)

xi+1 xi+1 xi xi xi 1 xi 1 − − xi+ k 1 d 2 e− x k x k i+ 2 1 i+ d e− d 2 e

x k i+ 2 x 3k x 3k i+ d e i+ 2 +1 d 2 e d e

x 3k x 3k i+ 2 1 i+ d e− d 2 e xi+k 1 xi+k 1 − − x i+k xi+k xi+k+1 xi+k+1

x x Figure 2: The Hamiltonian path i : Left a) The edge ei in bold for k odd. Right b) The x F edge ei in bold for k even.

u v w Let G , G and G be the complete subgraphs of K6k having 2k vertices each of them and w u v u v w such that G is K6k (V (G ) V (G )). The vertices of V (G ), V (G ) and V (G ) are labeled \ ∪ as u1, u2, . . . , u2k , v1, v2, . . . , v2k and w1, w2, . . . , w2k , respectively. { } { } { } x x x Let x be an element of u, v, w . Take the cyclic factorization E( 1 ),E( 2 ),...,E( k ) x { } { F F x F } of G into Hamiltonian paths and denote as Px and Px the subpaths of containing k i i+k Fi vertices and the leaves xi and xi+k, respectively. We define the other leaves of Pxi and Pxi+k as f(xi) and f(xi+k), respectively and according to the parity of k, that is (see Figure 2),

  x 3k if k is odd, x k if k is odd, i+ 2 i+ 2 f(xi) = d e and f(xi+k) = d e xi+ k if k is even. xi+ 3k if k is even. d 2 e d 2 e

We remark that the set of edges xixi+k : 1 i k is the same set of edges that { ≤ ≤ } f(xi)f(xi+k): 1 i k . { ≤ ≤ }

4 Now, we construct the maximal planar subgraphs G1, G2,...,Gk and a matching Gk+1 with 6k vertices each in the following way. Let Gk+1 be the perfect matching with the edges ujuj+k, vjvj+k and wjwj+k for j 1, 2, . . . , k . ∈ { }

For each i 1, 2, . . . , k , let Gi be the spanning planar graph of K6k whose adjacencies are ∈ { } given as follows: we take the 6 paths, Pui ,Pui+k ,Pvi ,Pvi+k ,Pwi and Pwi+k and insert them in the octahedron with the vertices ui, ui+k, vi, vi+k, wi and wi+k as is shown in Figure 2 (Left).

The vertex xj of each path Pxj is identified with the vertex xj in the corresponding triangle face and join all the other vertices of the path with both of the other vertices of the triangle face, see Figure 3 (Right).

ui+k ui+k

Gi Gi

Pui+k

Pwi Pvi wi vi wi vi

ui ui Pv i+k Pwi+k v w vi+k Pui wi+k i+k i+k

Figure 3: (Left) The octahedron subgraph of the graph Gi. (Right) The graph Gi.

k+1 S By construction of Gi, K6k = Gi, see [2, 5] to check a full proof. In consequence, the k +1 i=1 planar subgraphs Gi show that θ(3,K6k) k + 1 and then, θ(3,K6k) = k + 1 owing to the  6k  ≤ ( 2 ) fact that θ(3,K6k) = k + 1. ≥ 3(6k−2)

Now, we proceed to prove that θ(6,K6k) 2k + 1 in Case 1 and θ(6,K6k+3) 2k + 2 in ≤ ≤ Case 2. The main idea of both cases is divide each Gi into two subgraphs of girth 6 for any i 1, . . . , k . ∈ { }

1. Case n = 6k.

Consider the set of planar subgraphs G1,G2,...,Gk+1 of K6k which is described above. { }

Step 1. For each i 1, . . . , k , remove the six edges of the triangles uiviwi and ∈ { } ui+kvi+kwi+k. 1 Step 2. For each i 1, . . . , k , divide the obtained subgraph into two subgraphs Hi 2 ∈ { } and Hi as follows: The maximum matching of Pxi incident to the vertex f(xi) belongs 1 to Hi (see dotted subgraph in Figure 4) while the maximum matching of Pxi+k incident 2 to the vertex f(xi+k) belongs to Hi .

5 Next, the rest of the edges joined to the vertices of the paths Pxi and Pxi+k , in an alter- native way from the exterior region to the region with the vertices ui, vi, wi , belong 1 2 { } to Hi and Hi respectively, such that the edges f(wi)ui+k, f(vi)wi+k and f(ui)vi+k be- 1 2 long to Hi and the edges f(wi)vi+k, f(vi)ui+k and f(ui)wi+k belong to Hi , see Figure 4.

ui+k

f(ui+k) f(wi) f(vi)

wi vi

f(vi+k) ui f(wi+k)

vi+k wi+k f(ui)

Figure 4: Partial modification of the subgraph Gi.

Step 3. Consider the removed edges in Step 1, add the edges f(vi+k)f(ui+k) and 1 2 f(ui+k)f(wi+k) to Hi and the edges f(wi)f(vi) and f(vi)f(ui) to Hi , see Figure 5. The rest of the edges removed in Step 1 are added to Gk+1 getting the subgraph Hk+1 which is the union of the paths f(vi), f(vi+k), f(wi+k), f(wi), f(ui), f(ui+k) . { } ui+k 1 2 ui+k Hi Hi

f(ui+k)

f(ui+k) f(v ) f(wi) i f(wi) f(vi) wi vi wi vi

ui ui f(wi+k) f(v ) f(vi+k) f(wi+k) i+k

vi+k wi+k vi+k f(ui) f(u ) i wi+k

1 2 Figure 5: Subgraphs Hi and Hi for the Case 1.

2. Case n = 6k + 3.

Consider the set of planar subgraphs G1,G2,...,Gk+1 of K6k which is described above as well as Step 1 and 2 of the previous{ case. }

6 1 2 Step 3. Add three vertices u, v and w in the subgraphs Hi and Hi , for each i 1 ∈ 1, . . . , k , and the edges uwi, uf(vi+k), vui, vf(wi+k), wvi, wf(ui+k) into Hi as well { } 2 as the edges uwi+k, uf(vi), vui+k, vf(wi), wvi+k, wf(ui) into Hi , see Figure 6.

ui+k ui+k

v

f(ui+k)

f(ui+k) f(v ) f(wi) i f(vi) w f(wi) wi vi wi vi u u ui v ui f(wi+k) f(v ) f(vi+k) f(wi+k) i+k

vi+k wi+k vi+k f(u ) f(ui) i w wi+k

1 2 Figure 6: Subgraphs Hi and Hi for Case 2.

Step 4. On one hand, remains to define the adjacencies between u, v, w and all the adjacencies between u and ui, v and vi, w and wi, for each j 1, . . . , k . On the ∈ { } other hand, the edges of the graph Gk+1 together with the removed edges of the Step 1 1 2 form a set of triangle prisms which we split into two subgraphs called Hk+1 and Hk+1 in the following way: 1 2 a) The adjacency vw is in Hk+1 while the adjacencies uv and uw are in Hk+1, see Figure 7. 1 b) The set of adjacencies vvj+k, wwj, wwj+k and uuj+k are in Hk+1 while the set of 2 adjacencies vvj, and uuj are in H , for each j 1, . . . , k , see Figure 7. k+1 ∈ { } 1 c) The subgraph Hk+1 contains the adjacencies vj+kvj, vjuj, ujwj and wj+kuj+k (a 2 set of subgraphs P4 K2) and the subgraph H contains the adjacencies ujuj+k, ∪ k+1 uj+kvj+k, vj+kwj+k,wj+kwj and wjvj (a set of subgraphs P6) for all j 1, . . . , k , see Figure 7. ∈ { }

By the small cases and the two main cases, the theorem follows.

3 The 4-girth thickness of K10

 n+2  In [17], Rubio-Montiel gave a decomposition of Kn into θ(4,Kn) = 4 triangle-free planar subgraphs, except for n = 10. In that case, it was bounded by 3 θ(4,K10) 4 and conjectured that the correct value was the upper bound. Using the database≤ of the connected≤

7 uj+k uj+k H1 H2 k+1 u k+1

u w v uj uj

vj wj vj wj

vj+k wj+k vj+k wj+k v w

1 2 Figure 7: Partial subgraphs Hk+1 and Hk+1. planar graphs of order 10 that appears in [9] and the SageMath program, we found two decompositions of K10 into 3 planar subgraphs of girth at least 4 illustrated in Figure 8. In summary, the correct value of θ(4,Kn) was the lower bound and then, we have the following theorem.

 n+2  Theorem 3.1. The 4-girth-thickness θ(4,Kn) of Kn equals for n = 6 and θ(4,K6) = 3. 4 6

4 1 10

3 1 9 6 7 2 9 6 2 7 10 5 6 4 4 2 8 8 10 5 1 , 8 5 3 9 7 3

1 3 6 9 10

8 10 8 4 6 7 9 1 6 7 4 1 4 2 2 5 2 5 8 7 9 3 10 3 5

Figure 8: Two planar decompositions of K10 into three subgraphs of girth 4.

8 Acknowledgments

Part of the work was done during the IV Taller de Matem´aticasDiscretas, held at Campus- Juriquilla, Universidad Nacional Aut´onomade M´exico,Quer´etaroCity, Mexico on June 11–16, 2017. We thank Miguel Raggi and Jessica S´anchez for their useful discussions and help with the SageMath program.

C. Rubio-Montiel was partially supported by PAIDI grant 007/19 and PAPIIT grant IN107218.

References

[1] A. Aggarwal, M. Klawe and P. Shor, Multilayer grid embeddings for VLSI, Algorithmica 6 (1991), no. 1, 129–151.

[2] V. B. Alekseev and V. S. Gonˇcakov, The thickness of an arbitrary complete graph, Mat. Sb. (N.S.) 101(143) (1976), no. 2, 212–230.

[3] G. Araujo-Pardo, F. E. Contreras-Mendoza, S. J. Murillo-Garc´ıa, A. B. Ramos-Tort and C. Rubio-Montiel, Complete colorings of planar graphs, Discrete Appl. Math. 255 (2019), 86–97.

[4] L. W. Beineke, Minimal decompositions of complete graphs into subgraphs with embed- dability properties, Canad. J. Math. 21 (1969), 992–1000.

[5] L. W. Beineke and F. Harary, On the thickness of the complete graph, Bull. Amer. Math. Soc. 70 (1964), 618–620.

[6] L. W. Beineke and F. Harary, The thickness of the complete graph, Canad. J. Math. 17 (1965), 850–859.

[7] L. W. Beineke, F. Harary and J. W. Moon, On the thickness of the , Proc. Cambridge Philos. Soc. 60 (1964), 1–5.

[8] J.A. Bondy and U.S.R. Murty, , Graduate Texts in Mathematics, vol. 244, Springer, New York, 2008.

[9] G. Brinkmann, K. Coolsaet, J. Goedgebeur and H. M´elot, House of Graphs: a database of interesting graphs, Discrete Appl. Math. 161 (2013), no. 1-2, 311–314, Available at http://hog.grinvin.org. Accessed: 2018-07-18.

[10] G. Chartrand and P. Zhang, Chromatic graph theory, Discrete Mathematics and its Applications, CRC Press, 2009.

[11] Y. Chen and Y. Yang, The thickness of the complete multipartite graphs and the join of graphs, J. Comb. Optim. 34 (2017), no. 1, 194–202.

9 [12] R. K. Guy and R. J. Nowakowski, The outerthickness & outercoarseness of graphs. I. The complete graph & the n-cube, Topics in combinatorics and graph theory (Oberwolfach, 1990), Physica, Heidelberg, 1990, 297–310.

[13] B. Jackson and G. Ringel, Variations on Ringel’s earth-moon problem, Discrete Math. 211 (2000), no. 1-3, 233–242.

[14] M. Kleinert, Die Dicke des n-dimensionalen W¨urfel-Graphen, J. Combin. Theory 3 (1967), 10–15.

[15] A. Mansfield, Determining the thickness of graphs is NP-hard, Math. Proc. Cambridge Philos. Soc. 93 (1983), no. 1, 9–23.

[16] P. Mutzel, Odenthal T. and M. Scharbrodt, The thickness of graphs: a survey, Graphs Combin. 14 (1998), no. 1, 59–73.

[17] C. Rubio-Montiel, The 4-girth-thickness of the complete graph, Ars Math. Contemp. 14 (2018), no. 2, 319–327.

[18] C. Rubio-Montiel, The 4-girth-thickness of the multipartite complete graph, Electron. J. Graph Theory Appl. 7 (2019), no. 1, 83–188.

[19] W. T. Tutte, The thickness of a graph, Indag. Math. 25 (1963), 567–577.

[20] J. M. Vasak, The thickness of the complete graphs, ProQuest LLC, Ann Arbor, MI, 1976, Thesis (Ph.D.)–University of Illinois at Urbana-Champaign.

[21] Y. Yang, A note on the thickness of Kl,m,n, Ars Combin. 117 (2014), 349–351.

[22] Y. Yang, Remarks on the thickness of Kn,n,n, Ars Math. Contemp. 12 (2017), no. 1, 135–144.

10