Rainbow Connection for Complete Multipartite Graphs

Let A and B be the partite sets of K_{a,b} with |A|=a and |B|=b. Let A_1\cup A_2=A and B_1\cup B_2=B be partitions of A and B such that |A_1|,|A_2|,|B_1|,|B_2|\geq k. Let \{a_{i,1},a_{i,2},\dots,a_{i,k}\}\subseteq A_i and \{b_{i,1},b_{i,2},\dots,b_{i,k}\}\subseteq B_i be collections of k distinct vertices for each i\in [2].

Let c:E(K_{a, b}) \to [4] be defined as

See Figure ?, ? for a diagram of the coloring.

We will now show that the pair (K_{a, b}, c) is rainbow k-connected. Consider two arbitrary vertices, u, v \in V(K_{a,b}). Without loss of generality, assume that u \in A_1.

Case 1: v\in A_1. Then the collection \{(u,b_{1,j},a_{2,j},b_{2,j},v)\mid j\in [k]\} is a collection of k pairwise internally disjoint rainbow paths from u to v.

Case 2: v\in A_2. Then the collection \{(u,b_{1,j},v)\mid j\in [k]\} gives us a collection of k pairwise internally disjoint rainbow paths from u to v.

Case 3: v\in B. We will assume without loss of generality that v\in B_1. Then \{(u,b_{2,j},a_{2,j},v)\mid j\in [k]\} is a collection of k pairwise internally disjoint rainbow paths from u to v.

Thus, (K_{a,b},c) is rainbow k-connected.

Let s:=\left\lceil\frac{2k}{t-1}\right\rceil and let K:=K_{a_1,a_2,\dots,a_t}. Label the partite sets of K and color the edges of K according to c:=c_{t,K}, described in Construction ?, ?. For each 1\leq i\leq \frac{t-1}{2}, let \{a_{i,1},a_{i,2},\dots,a_{i,s}\}\subseteq A_i and \{b_{i,1},b_{i,2},\dots,b_{i,s}\}\subseteq B_i be collections of s vertices. Similarly, let \{x_1,x_2,\dots,x_s\}\subseteq X be a collection of s vertices.

We now show that (K,c) is rainbow k-connected. Consider a pair, u,v\in V(K).

Case 1: At least one of u or v is in A\cup B. Assume without loss of generality that u\in A_1.

Case 1.1: v\in A_1. Then

forms a collection of \frac{t-1}{2}s\geq k pairwise internally disjoint rainbow paths from u to v.

Case 1.2: v\in A\setminus A_1, assume without loss of generality that v\in A_2. Then

give us \frac{t-1}{2}s\geq k pairwise internally disjoint rainbow u,v-paths.

Case 1.3: v\in B. Then

contains \frac{t-1}{2}s\geq k pairwise internally disjoint rainbow u,v-paths.

Case 1.4: v\in X. Then

forms a collection of \frac{t-1}{2}s\geq k pairwise internally disjoint rainbow u,v-paths.

Case 2: Both u,v\in X. Then

give us a collection of \frac{t-1}{2}s\geq k rainbow u,v-paths that are pairwise internally disjoint.

In all cases, we find at least k pairwise internally disjoint paths between any two vertices, so \mathrm{rc}_k(K)\leq 3.

Let s:=\left\lceil\frac{2k}{t-1}\right\rceil and let K:=K_{a_1,a_2,\dots,a_t}. Label the partite sets of K and color the edges of K according to c:=c_{t,K}, described in Construction ?, ?. For each 1\leq i\leq \frac{t-1}{2}, let \{a_{i,1},a_{i,2},\dots,a_{i,s}\}\subseteq A_i and \{b_{i,1},b_{i,2},\dots,b_{i,s}\}\subseteq B_i be collections of s vertices. Let s_1:=\left\lceil \frac{s}2\right\rceil and s_2:=\left\lfloor \frac{s}2\right\rfloor, and note that s_1+s_2=s.

We want to show that there exist at least k pairwise internally disjoint rainbow paths between any two vertices in K, Let u,v\in V(K), and assume without loss of generality that u\in A_1.

Case 1: v\in A_1. Then

give us a collection of pairwise internally disjoint rainbow paths from u to v, all of which only use vertices in A_2\cup B_1\cup B_2\cup \{u,v\}, see Figure ? for an example of such paths when s=2 and t=4. We also will add the paths in

We claim that the total number of paths counted above is at least k. Indeed, if s is even (so s_1=s/2), then the collection of paths contains every vertex in

as an internal vertex, and if s is odd, then the collection of paths contains every vertex in (?) except b_{1,s_1}, so in all cases we have at least (t-1)s-1 vertices internal to the paths, and each path is of length 3, so it contains exactly two internal vertices, so the number of paths is at least

Now, since the number of paths and k are both integers, the above inequality implies that there are at least k paths.

Case 2: v\in A\setminus A_1, assume without loss of generality that v\in A_2. Then

contains \frac{t}2s\geq \frac{t}2\cdot \frac{2k}{t-1}>k pairwise internally disjoint rainbow u,v-paths.

Case 3: v\in B. Let i^*\in [t/2] be such that v\not\in B_{i^*}. There is such i^* since t \ge 4. Then

contains \frac{t}2s\geq k pairwise internally disjoint rainbow paths from u to v.

Thus, (K,c) is rainbow k-connected, and so \mathrm{rc}_k(K)\leq 3.

Let K:=K_{s,m} and let A and B be the partite sets of K with |A|=m. Assume to the contrary that c:E(K)\to [4] is an edge coloring such that (K,c) is rainbow k-connected. Since c only uses four colors and |A|>4^{|B|}, by the pigeonhole principle there must exist two vertices a_1,a_2\in A such that c(a_1b)=c(a_2b) for all b\in B. This, along with the fact that K is bipartite implies that every rainbow path from a_1 to a_2 must be of length 4. Each such path contains two vertices in B, but |B|<2k, so K does not contain k pairwise internally disjoint paths of length 4 from a_1 to a_2, a contradiction.

Let A,B_1,\dots,B_{t-1} be the partite sets of K with |A|=m, and |B_i|=s_i for every i \in [t-1]. Let B:=\bigcup_{i=1}^{t-1}B_i. Assume to the contrary that there exists a coloring c:E(K)\to [3] such that (K,c) is rainbow k-connected. Since c uses 3 colors and |A|>3^{|B|}, by the pigeonhole principle there are two vertices a_1,a_2\in A such that c(a_1b)=c(a_2b) for all b\in B. Thus, every rainbow path from a_1 to a_2 must be of length 3. Each path of length 3 from a_1 to a_2 must have the internal vertex of the path in B. Now, |B|=s_1+s_2+\ldots+s_{t-1}, so there are at most \frac{t-1}{2}\left(\left\lceil\frac{2k}{t-1}\right\rceil-1\right) pairwise internally disjoint paths of length 3 from a_1 to a_2 in K. However,

a contradiction.

Let K:=K_{n_1+1,n_2+1,\dots,n_t} with partite sets A_1\cup A_2\cup \dots\cup A_t=V(K), where |A_1|=n_1+1, |A_2|=n_2+1 and |A_i|=n_i for all 3\leq i\leq t. Let a_1,a_1'\in A_1 and a_2,a_2'\in A_2 be four distinct vertices, and let K':=K[V(G)\setminus\{a_1,a_2\}]. Note that K'\cong K_{n_1, n_2,\dots, n_t}, so \mathrm{rc}_k(K')=2 by assumption. Let c':E(K')\to [2] be a coloring such that (K',c') is rainbow 2-connected. Assume without loss of generality that c'(a_1'a_2')=1. Define c:E(K)\to [2] by

We claim that (K,c) is rainbow 2-connected. Indeed, first note that since (K',c') is rainbow 2-connected and the restriction of c down to K' is c', any pair u,v\in V(K') has 2 pairwise internally disjoint rainbow paths connecting u and v. Furthermore, K'':=K[V(K)\setminus \{a_1',a_2'\}]\cong K', and by the way that c is defined, if c'' is the restriction of c down to K'', then (K'',c'')\cong (K',c'), so any pair u,v\in V(K'') is rainbow 2-connected. The only pairs of vertices that remain to check are a_1a_1', a_1a_2', a_1'a_2 and a_2a_2'.

First consider a_ia_i' where i \in [2]. The paths (a_i, a_j, a_i') and (a_i, a_j', a_i') are pairwise internally disjoint rainbow paths, where j\neq i and j \in [2]. Now consider a_ia_j', where \{i,j\}=[2]. Note that K''':=K[V(K)\setminus \{a_i',a_j\}]\cong K', and if we define c''' to be the restriction of c to K''', but with the edge a_ia_j' recolored to c(a_ia_j), then (K''',c''')\cong (K',c'), and so a_i and a_j' are connected by 2 internally disjoint rainbow paths in (K''',c'''). Indeed, the only a_i,a_j'-path affected by the edge a_ia_j' is the one edge path, which is rainbow regardless of the color of a_ia_j', so the number of pairwise internally disjoint rainbow paths remains the same.

First, we provide some definitions which will be helpful for giving a coloring. Let s:=\left\lfloor \frac{n}{2}\right\rfloor. Let \mathcal{B} denote the collection of bit strings of length 2s, and let \mathbf{b}\in \mathcal{B} denote the bit string with s 1’s followed by s 0’s. Let A\subseteq \mathcal{B} be a subset of \mathcal{B} with |A|=m, and such that \mathbf{b}\in A. Let A=\{a_1,a_2,\dots,a_m\} with a_1=\mathbf{b}, and let a_{i,j} denote the jth bit of a_i.

Let B=\{b_1,b_2,\dots,b_n\} and C=\{c_1,c_2,\dots,c_n\} be sets with n distinct elements. Furthermore, for each i\in [s-1], let B_i=\{b_{2i-1},b_{2i}\} and C_i=\{c_{2i-1},c_{2i}\} be pairs of vertices, and if n is even, let B_s=\{b_{2s-1},b_{2s}\} and C_s=\{c_{2s-1},c_{2s}\}, otherwise if n is odd, let B_s=\{b_{2s-1},b_{2s},b_{2s+1}\} and C_s=\{c_{2s-1},c_{2s},c_{2s+1}\}. Now, let K be the copy of K_{m,n,n} with partite sets A, B and C. We now define a coloring c:E(K)\to \{0,1\}. Let

We claim that (K,c) is rainbow 2-connected. Indeed, consider an arbitrary pair of vertices u,v\in V(K).

Case 1: u,v\in B or u,v\in C, assume without loss of generality that u,v\in B, say u=b_i and v=b_j. Then (b_i,c_i,b_j) and (b_i,c_j,b_j) are internally disjoint rainbow paths from u to v.

Case 2: u\in B and v\in C, say u=b_i and v=c_j. Then (b_i,c_j) and (b_i,a_1,c_j) are internally disjoint rainbow paths from u to v.

Case 3: u\in A and v\in B\cup C, assume without loss of generality that v\in B, say u=a_i and v=b_j. Then (a_i,b_j) is one rainbow path. Let t be such that b_j\in B_t, and let c^*\in C_t\setminus\{c_j\}. Then either (a_i,c^*,b_j) or (a_i,c_j,b_j) is a second rainbow path, depending on if a_{i,s+t} is 0 or 1, respectively.

Case 4: u,v\in A, say u=a_i and v=a_j. Then there must be a value t\in [2s] such that a_{i,t}\neq a_{j,t}. Then if t\leq s, (a_i,b_{2t-1},a_j) and (a_i,b_{2t},a_j) form a pair of internally disjoint rainbow paths, and if t>s, then (a_i,c_{2(t-s)-1},a_j) and (a_i,c_{2(t-s)},a_j) form a pair of internally disjoint rainbow paths.

Thus, in all cases, every pair of vertices is connected by two internally disjoint rainbow paths, so (K,c) is rainbow 2-connected.

Let A=\{a_1,a_2\}, B=\{b_1,b_2,b_3,b_4\} and C=\{c_1,c_2,\dots,c_8,c_1',c_2',\dots,c_8'\} be the partite sets of K:=K_{2,4,16}. Let \mathcal{B}=\{\mathbf{b}_1,\mathbf{b}_2,\dots,\mathbf{b}_8\} denote the collection of bit strings of length 4 with an odd number of 0’s, and let b_{i,j} denote the value of the jth bit of \mathbf{b}_i. We now define a coloring c:E(K)\to \{0,1\}. Let

We claim that (K,c) is rainbow 2-connected. Indeed, consider an arbitrary pair of vertices x,y\in V(K).

Case 1: \{x,y\}=\{a_1,a_2\}. Then (x,c_1,y) and (x,c_2,y) are pairwise internally disjoint rainbow paths.

Case 2: x\in A and y\in B\cup C or x\in B\cup C and y\in A, assume without loss of generality that x\in A, say x=a_1. First assume y\in C, say y=c_i. Note that for each i\in [8], there exists a j\in [4] such that c_ib_j is color 1, so (x,y) and (x,b_j,y) are pairwise internally disjoint rainbow paths. Now, if y\in B, say y=b_i, then note that for every i\in [4] there exists a j\in [8] such that b_ic_j is color 1. Hence, (x,y) and (x,c_j,y) are pairwise internally disjoint rainbow paths.

Case 3: x\in B and y\in C or x\in C and y\in B, assume x\in B. Then (x,y) along with either (x,a_1,y) or (x,a_2,y) are pairwise internally disjoint rainbow paths.

Case 4: \{x,y\}\subseteq B. Assume by symmetry that x=b_1 and y=b_2. Let \mathbf{b}_i=0111. Then (x,c_i,y) and (x,c_i',y) are pairwise internally disjoint rainbow paths.

Case 5: x=c_i and y=c_j' or x=c_i' and y=c_j for some i,j\in[8] (possibly with i=j). Then (x,a_1,y) and (x,a_2,y) are pairwise internally disjoint rainbow paths.

Case 6: x=c_i and y=c_j or x=c_i' and y=c_j' for some i,j\in [8], assume x=c_i and y=c_j. Note that \mathbf{b}_i and \mathbf{b}_j differ in at least two bits by construction, say b_{i,s}\neq b_{j,s} and b_{i,s'}\neq b_{j,s'} for some s,s'\in [4]. Then (x,b_s,y) and (x,b_{s'},y) are pairwise internally disjoint rainbow paths.

Thus, in all cases, x and y are connected by two pairwise internally disjoint rainbow paths.