arXiv:2107.00718v2 [math.CO] 9 Jul 2021 hogotteppr neg onn vertices joining edge an paper, the Throughout Introduction 1 decoloring edge ipe nt,udrce rp.A graph. undirected finite, simple, e feeyclrcasidcsamthn.The matching. a induces class color every of set -declrd c h qae( square the (c) 3-edge-colored, iin r qiaet a ahclrcasi nidcdmthn,(b matching, induced an is class color each (a) equivalent: are ditions χ oasto itntclr uhta o n w de ( edges two any for that such colors distinct of set a to nadto,if addition, In 3 uehDara Suresh eateto ahmtc,Ida nttt fTechnology of Institute Indian Mathematics, of Department s ′ ( 3 G hr r eea ast oka hstp fclrn.Nml,the Namely, coloring. of type this at look to ways several are There lre ´niIsiueo ahmtc,Bdps Univer & Budapest Mathematics, Alfr´ed of R´enyi Institute 1 ,i h iiu ubro oosnee o n togeg colorin edge strong any for needed colors of number minimum the is ), togeg ooigo alygah n some and graphs Cayley of coloring edge Strong o d yls,mroe hyyedteeatvlewe the cyc when even value for exact 2 4. the actu most by yield the divisible they (at from moreover constant differ cycles), additive may the odd small bounds for of a those index than tree, chromatic more any not For strong index the cycle. chromatic a for prod with strong the bounds for the give formula for we exact an Further, bounds including tight trees, two give of to product Cayl on unitary Our the go which graphs. then from Cayley structure unitary product all determ underlying we of an paper index this chromatic In number strong minimum index. the The chromatic strong matching. the induced termed an is is class color every eateto ahmtc,Sho fAvne cecs VI Sciences, Advanced of School Mathematics, of Department dacdCmuigadMcolcrnc nt ninSta Indian Unit, Microelectronics and Computing Advanced 2 togeg ooigo graph a of coloring edge strong A hti,asrn declrn sapoe declrn nwihtev the which in coloring edge proper a is coloring edge strong a is, That . c (( 1 uhsiaMishra Suchismita , ,v u, )) 6= c (( ohiKln eoe461,India Sehore-466114, Kalan, Kothri ,x w, L rdc graphs product ( )weee ( whenever )) G okt-018 India Kolkata-700108, rpreg coloring edge proper )) 2 fteln rp of graph line the of Abstract Hungary. 2 G aaaa Narayanan Narayanan , 1 sapoe declrn of coloring edge proper a is ,w v, u togcrmtcindex chromatic strong and sa de then edge, an is ) ,v u, v n ( and ) samap a is sdntdb ( by denoted is ars hna-006 India. Chennai-600036, Madras, iyo anna Veszpr´em, Pannonia, of sity G c ntecs fstars. of case the in uct ,w v, spoel vertex-colored, properly is ygah mre We emerge. graphs ey n h xc au of value exact the ine egho h yl is cycle the of length netgtosreveal investigations hplUniversity, Bhopal T c itclInstitute, tistical ), e n tms 5 most at and les rmteeg e of set edge the from rdc fatree a of product fclr required colors of fteCartesian the of lvleol by only value al c (( c 3 ,v u, each ) G scle a called is ,v u, of sl Tuza Zsolt , uhthat such G olwn con- following )) .Let ). of g eoe by denoted , 6= P c 4 (( G ⊂ G ,w v, . strong ertex ea be G )). 4 G is (d) the coloring is 1-intersection edge coloring1 of G. The notion was introduced by Fou- quet and Jolivet [18] with the intention to represent conflict-free channel assignment in some radio networks. There are many interesting conjectures on this problem. Among them the most famous one is Erd˝os and Neˇsetˇril’s conjecture, which states that the strong chromatic index of any graph G is at most (5∆2 − 2∆+1)/4 if ∆ is odd, and at most 5∆2/4 if ∆ is even. Here ∆ = ∆(G) denotes the maximum degree of the graph G. As mentioned in [16], the conjecture was raised at the end of 1985; the first publication proposing the bound 5∆2/4 seems to be [15]. If the bounds are valid, then they are tight, as shown by the graph obtained from the 5-cycle by substituting independent sets of size ∆/2 into its vertices if ∆ is even (inserting a complete bipartite graph between any two consecutive sets along the cycle), or two consecutive sets of size (∆ + 1)/2 and three others of size (∆ − 1)/2 if ∆ is odd. Since there are well over a hundred papers dealing with the strong chromatic index, here we necessarily are limited to a partial survey only. The conjecture is proved by Chung et al. [12] for all ∆ for the restricted class of graphs in which any two disjoint edges are joined by an edge (this particular case was conjectured already in 1983 by Bermond et al. [5], also raised independently in [15]). For small ∆, Andersen [3] and Hor´ak et al. [20] showed that every cubic graph G ′ satisfies χs(G) ≤ 10. (The case of non-regular sub-cubic graphs is easy, as noted in [17]). The case of ∆ = 4 is already complicated, the upper bound of 20 (respectively 19, 18, 17, 16) is known to be valid only under the further assumption that the maximum average degree is at most 51/13 (respectively 15/4, 18/5, 7/2, 61/18) [30]. These are improvements of the estimates in [4], where e.g. the sufficiency of maximum average degree at most 19/5 for 20-colorability was proved. The currently best result without ′ average-degree restrictions states χs(G) ≤ 21, achieved only recently by Huang et al. [22]. Since each edge is strongly independent from all but at most 24 other edges, the upper bound 25 is very easy. Improving this bound to 24, follows in one step from a general theorem of [12] quoted above, applying Brooks’s theorem. This was further improved to 23 by Hor´ak [19], to 22 by Cranston [13], and finally to 21 by Huang et al. [22]. ′ 2 Bruhn and Joos [9] proved that χs(G) ≤ 1.93∆ (G), for graphs of sufficiently large ′ 2 maximum degree. This improves an old bound of χs(G) ≤ 1.998∆ (G) proved by Molloy and Reed [32]. This bound is further improved for graphs with sufficiently large maximum degree. Hurley, Verclos and Kang showed that the strong chromatic index is atmost 1.772∆2(G), for any graph G with sufficiently large maximum degree ∆(G) [25]. ′ In 1989, Faudree et al. [16] conjectured that every bipartite graph G satisfies χs(G) ≤ (∆(G))2. Brualdi and Quinn Massey strengthened this conjecture to state that if G is a bipartite graph with bipartition (A, B) and ∆(A) and ∆(B) are the maximum degrees of ′ the vertices in A and B respectively, then χs(G) ≤ ∆(A)∆(B) holds [8]. Later, Nakprasit [34] proved that this conjecture is valid when ∆(A) = 2. That is, for a (2, ∆)-bipartite graph there is a strong edge coloring that uses at most 2∆ colors. In 2017, Huang et al. ′ [23] showed that if G is a (3, ∆)-bipartite graph, then χs(G) ≤ 3∆. Bipartite graphs are complex also in the algorithmic sense: Mahdian [31] showed that determining the exact value of the strong chromatic index is NP-hard even for bipartite graphs with girth at

1A k-intersection edge coloring, introduced in [33], is a proper edge coloring such that, for any two adjacent vertices, at most k colors are incident with both.

2 least g, for any natural number g. It is known that every planar graph admits a 4∆ + 4 strong edge coloring [17]. More- over, 3∆ + 5 colors are sufficient if the planar graph has girth 6, and if it has girth at least 7 then even 3∆ colors are sufficient [24]. Furthermore for outerplanar graphs an exact formula can be given, as shown in the following theorem.

′ Theorem 1.1 [7] Let G be an outerplanar graph. Then χs(G) = max{max d(u)+d(v)− uv∈E ′ 1, max χs(H)}, where P is the set of all puffer subgraphs of G. Moreover, if G is bipartite, H∈P ′ then χs(G) is either maxuv∈E d(u)+ d(v) − 1 or maxuv∈E d(u)+ d(v).

The exact values for the puffer graphs are obtained in [11]. A Halin graph is a plane graph constructed from a tree T without vertices of degree two by connecting all leaves through a cycle C. Let G = T ∪ C be a Halin graph. Lai et ′ ′ al. [28] proved that χs(G) ≤ χs(T ) + 3, provided G is different from some special graphs. ′ Also it is known that every Halin graph G with ∆(G) ≥ 4 satisfies χs(G) ≤ 2∆(G)+1 ′ [21]. Moreover, apart from two exceptions, cubic Halin graphs have χs(G) ≤ 7 [29]. We first discuss the strong edge coloring of the class of graphs called unitary Cayley graph. Let Un be the set of all units of Zn, that is Un = {m ∈ Zn | gcd(m, n)=1}. For any natural number the Cayley graph Cay(Zn, Un) is called a unitary Cayley graph and is denoted by Xn. Now for any m ∈ Zn, gcd(m, n) = 1 if and only if gcd(−m, n) = 1, and every element of Un generates Zn. Hence, Xn is an undirected connected (and also Hamiltonian) graph. The structure and various properties of unitary Cayley graphs have been studied in the literature (see [6], [27]). For a natural number n, Xn is a φ(n)-regular graph, where φ is Euler’s phi function. It is known that a unitary Cayley graph is bipartite if and only if n is even [14]. Akhtar et al. [1] showed that the chromatic index of Xn is φ(n) + 1 if n is odd, and it is φ(n) otherwise. Here we determine exactly the strong chromatic index of Cayley graphs Xn, for all n. Namely, we prove that if a given natural number n has k distinct prime factors in its ′ k−1 prime factor decomposition, then χs(Xn)= |E|/2 . Besides the unitary Cayley graphs we also discuss about the Cartesian product of graphs. Cartesian product of graphs is an important notion in the theory of graph products, where the structure of the factors (graphs) appears as an induced subgraph. For several important results and properties of the Cartesian product see the book [26]. Here we concentrate on the Cartesian product of certain classes of graphs. The first result in the literature concerning strong chromatic index under the product operation was given in [17] where the exact value for the n-dimensional hypercube was proven to ′ ′ be χs(Qn)=2n for all n ≥ 2. The systematic study of χs on various types of graph products was initiated by Togni in [35]; in particular, he determined formulas for the Cartesian products of paths and cycles. Complexity issues and general inequalities for some product types have also been presented by Chalermsook et al. in [10]. Here we give both upper and lower bounds for the strong chromatic index of the Cartesian product of any two trees, and for the product of any tree with any cycle. If the length of a cycle C is a multiple of 4 then our results give the exact value of the strong chromatic index of the product of C with an arbitrary tree.

3 Definitions and notation

Following the standard notation, Cℓ denotes the cycle graph of length ℓ. We write u ∼ v to say u is adjacent to v. For any edge (u, v) in a graph G, define the edge degree d′(u, v) of (u, v) to be the number of edges incident either to u or to v. That is, d′(u, v) = d(u)+ d(v) − 1. The maximum edge degree of a graph, denoted by ∆′(G), is the maximum of all the edge degrees. Recall that the Cartesian product of any two graphs G and H, denoted by GH, is the graph with vertex set {a : u | a ∈ V (G) and u ∈ V (H)}, where two vertices a : u and b : v are adjacent if either a = b and u is adjacent to v in H, or u = v and a is adjacent to b in G. For any vertex h of H define a G-fiber G × {h} to be the graph with vertex set {a : h | a ∈ V (G)} and edge set {(a : h, b : h) | (a, b) ∈ E(G)}. Similarly define H-fibers. Note that we can write GH as (G × V (H)) ∪ (V (G) × H). Another type of graph product is the categorical product or direct product of G and H, denoted by G × H. It also has the vertex set {a : u | a ∈ V (G) and u ∈ V (H)}, but in this product vertices a : u and b : v are adjacent if a ∼ b in G and u ∼ v in H. Notation is ∼ ∼ expressive for both kinds of products, indicating that K2K2 = C4 and K2 × K2 = 2K2.

2 Strong edge coloring of unitary Cayley graphs

In this section we determine the strong chromatic index of all unitary Cayley graphs. From its definition, it follows that the Cayley graph Xn is a φ(n)-regular graph of φ(n) order n. Therefore, the size (number of edges) of Xn is n 2 . Note that if n has prime k 1 divisors p1,...,pk then φ(n) = n i=1 1 − pi . It will also be convenient to introduce ′ n ′′ k the notation n = k , and to write n = i=1 pi. Qi=1 pi Q Our main result is the following formula. Q

r1 r2 rk Theorem 2.1 Let n be a natural number with the prime factorization p1 p2 ...pk . Then ′ |E| φ(n) χs(Xn)= 2k−1 = n 2k .

|E| ′ Proof We prove that 2k−1 is both an upper bound and a lower bound on χs(Xn). First let us make some observations on the structure of Xn. Each v ∈ Zn can be classified according to its residues modulo the prime factors, assigning with v the k-tuple

hvi := ( v mod p1 , v mod p2 ,...,v mod pk ).

′′ This assignment partitions the vertex set into n = p1p2...pk classes, each class having ′ r1−1 r2−1 rk−1 cardinality n = p1 p2 ...pk . These are precisely the classes of false twins: if hui = hvi, then u and v are not adjacent but they have exactly the same neighborhood. As it can be seen directly from the definition, non-adjacency means that the two numbers in question are incongruent modulo each pi. In this way we can represent Xn ∗ with a k-dimensional box, first taking the categorical product graph K := Kp1 × Kp2 × ′ ···× Kpk , and then substituting independent sets of size n (sets of false twins) into the

4 product graph; that is, each edge of K∗ is enlarged to an induced copy of the complete bipartite graph Kn′,n′ . (This graph only rarely happens to be a product graph after substitution.) r Let us note further that if n = p , i.e. in case n has just one prime divisor, Xn is the complete p-partite graph in which each vertex class has pr−1 vertices. Then no two edges of Xn can form an induced matching, and the unique strong edge coloring assigns a distinct color to each edge. For this reason,

2r−1 ′ p (p − 1) χ (X r )= |E(X r )| = s p p 2 clearly holds, and we only have to consider k ≥ 2. We first prove the upper bound given in the theorem. Proof of the upper bound: We show that the edge set of Xn can be partitioned into induced matchings of size k−1 ′ |E| 2 . This clearly implies the inequality χs ≤ 2k−1 . To this end, we construct an edge partition for K∗, where the graph K∗ is actually ′′ just Xn . Consider any edge (u, v) ∈ Kp1 ×···× Kpk . Let us write hui and hvi in the form hui =(a1,...,ak) and hvi =(b1,...,bk). Since (u, v) is an edge, we have ai =6 bi for all 1 ≤ i ≤ k. Hence, the Cartesian product {a1, b1}×···×{ak, bk} specifies a set, say S, of exactly 2k vertices in K∗. We claim that the subgraph induced by S is a matching k−1 ′ ′ ′ ′ of size 2 . Indeed, two vertices (a1,...,ak), (b1,...,bk) ∈ S are adjacent if and only ′ ′ if {ai, bi} = {ai, bi} holds for all i, as otherwise the corresponding two numbers would share a prime divisor. Hence every v ∈ S has one and only one neighbor in S; that is, S induces a matching, which then necessarily has |S|/2=2k−1 edges. Note further that every edge induced by S determines exactly the same set S, and so each edge of K∗ belongs to precisely one induced matching defined in this way. Substituting independent sets of size n′ into the vertices of K∗, each edge gets replaced by a subgraph isomorphic to Kn′,n′ . One such example is shown in Figure 1. Therefore each induced matching of size 2k−1 from K∗ becomes an induced subgraph isomorphic to k−1 ∗ 2 Kn′,n′ in Xn. Since the induced matchings defined in K are mutually edge-disjoint, k−1 these copies of 2 Kn′,n′ are edge-disjoint. Obviously each of these subgraphs can be decomposed into (n′)2 edge-disjoint induced matchings of size 2k−1. Consequently we ′ |E| obtain a required edge partition of Xn, and the upper bound χs ≤ 2k−1 follows. In the proof of the lower bound we shall apply a particular case of the following theorem due to Alon [2]. Originally the result was stated for pairs of k-tuples of sets, we rewrite it with a somewhat simpler formalism dealing with pairs of sets.

Lemma 2.2 [2] Let Y1,...,Yk be mutually disjoint sets, Y = Y1 ∪···∪ Yk. Moreover let s1,...,sk and t1,...,tk be positive integers. Assume that (A1, B1),..., (Am, Bm) are pairs of sets with the following properties:

• Ai ∪ Bi ⊆ Y and Ai ∩ Bi = ∅ for all 1 ≤ i ≤ m;

• Ai ∩ Bj =6 ∅ for all 1 ≤ i < j ≤ m;

• |Ai ∩ Yℓ| ≤ sℓ and |Bi ∩ Yℓ| ≤ tℓ for all 1 ≤ i ≤ m and all 1 ≤ ℓ ≤ k.

5 6

0

2 1 0 8 2 1 7

10 4 5 11 4 5

3 3

9

Figure 1: Substitution of an edge of X6 in X12

k sℓ+tℓ Then m ≤ ℓ=1 sℓ . Q
Note that in case of s1 = ... = sk = t1 = ... = tk = 1 the upper bound simply means m ≤ 2k.

Proof of the lower bound: k−1 We prove that the largest induced matchings in Xn have no more than 2 edges. ′ |E| This clearly imply the lower bound χs ≥ 2k−1 . Assume that the edges (u1, v1),..., (uh, vh) form an induced matching. We further define 2h pairs of sets (Ai, Bi) over an underlying set Y = Y1 ∪···∪ Yk; two pairs of sets ℓ ℓ ℓ are to be defined for each edge. For every 1 ≤ ℓ ≤ k we write Yℓ = {y0,y1,...,ypℓ−1}; those vertices represent the residue classes modulo pℓ. The ordered k-tuple hvi of integers allows us to associate a k-element subset H(v) ⊂ Y with each vertex v ∈ Xn as follows:

1 2 k H(v)= {yv mod p1 ,yv mod p2 ,...,yv mod pk } .

Now, for every 1 ≤ i ≤ h we set

A2i−1 = H(ui), B2i−1 = H(vi), A2i = H(vi), B2i = H(ui) .

Then the sets of the same index are disjoint, due to the adjacency of ui and vi. On the other hand, since ui is not adjacent to uj if j =6 i, the difference ui − uj is divisible by some pℓ, which implies that A2i−1 — as well as B2i — meets both B2j−1 and A2j inside Yℓ. Analogous consequences can be derived from the nonadjacencies ui 6∼ vj, vi 6∼ uj, and vi 6∼ vj. It follows that the pairs (A1, B1),..., (A2h, B2h) satisfy the conditions of k Lemma 2.2, with sℓ = tℓ = 1 for all 1 ≤ ℓ ≤ k. Consequently 2h ≤ 2 holds, so that every induced matching has at most 2k−1 edges, as claimed. This completes the proof of the theorem. 

6 3 Cartesian product of two trees

In this section, we give both a lower and an upper bound for the strong chromatic index of the Cartesian product of two trees. First we prove that twice the maximum degree is an upper bound for the strong chromatic index of the product of two trees. Recall the Brualdi and Quinn Massey’s conjecture bound for the strong chromatic index of the bipartite graphs (the strong chromatic index of a (A, B)-partite graph is at most ∆(A)∆(B)) [8]. Note that the product of two trees is a bipartite graph. So our result implies the product of two trees satisfies the conjectured bound given by Brualdi and Quinn Massey.

′   Theorem 3.1 Let T1 and T2 be two trees. Then χs(T1 T2) ≤ 2∆(T1 T2).

Proof Let x and y be leaves of T1 and T2 respectively. We consider T1 and T2 as rooted trees with roots x and y respectively. Each of x and y has unique neighbors in their respective trees. Let a be the only neighbor of x in T1 and c be that of y in T2. We know that 2∆(T1T2) = 2∆(T1)+2∆(T2). Now onwards we write ∆1 for ∆(T1) and ∆2 for ∆(T2). We give a coloring to the edges of T1T2. The Cartesian product of the subgraph S1, induced by {x, a} in T1 and the subgraph S2, induced by {y,c} in T2 is just a 4-cycle. Now give colors 2∆1 − 1, 2∆1, 2∆1 + 2∆2 − 1, 2∆1 + 2∆2 to (x : y, a : y), (a : c, x : c), (x : c, x : y), (a : y, a : c) respectively. The idea is to construct a tower of induced subgraphs G1 = S1S2 ⊆ G2 ⊆ G3 ⊆ ... ⊆ Gn = T1T2 of T1T2 and in each step we extend the coloring of Gi−1 to a strong edge coloring of Gi, so that the coloring satisfies the following conditions:

(i) All the edges of T1 × V (T2) (recall it is collection of all the edges of the T1-fibers) use colors from {1, 2, 3, ..., 2∆1}.

(ii) All the edges of V (T1) × T2 use colors from {2∆1 +1, 2∆1 +2, ..., 2∆1 + 2∆2}.

′ ′ (iii) The distance from v to v is even in T2 if and only if for every (u,u ) ∈ E(T1), the color of the edge (u : v,u′ : v) is same as the color of (u : v′,u′ : v′).

′ ′ (iv) The distance from u to u is even in T1 if and only if for every (v, v ) ∈ E(T2), the color of the edge (u : v,u : v′) is same as the color of (u′ : v,u′ : v′). Loosely speaking this will be carried out by visiting carefully selected representative vertices in a sequence where the incident uncolored edges are in an interaction with relatively few previously colored edges; and then copy the colors to further subsets of edges in the current subgraph. The procedure will be performed on T1 and T2 separately. This approach can be formalised in a precise way as described below.

We define G2 to be the subgraph induced by {u : v | dT1 (x, u) ≤ 2, dT2 (y, v) ≤ 2} of ′ ′ ′ ′ T1T2. Now |{(a : y, a : y), (a : c, a : c) | a is adjacent to a and a =6 x}| ≤ 2∆1 − 2. So we can assign colors 1, 2, ..., 2∆1 − 2 to these edges such that no two edges get the same color. Similarly we can distribute the colors 2∆1 +1, 2∆1 +2, ..., 2∆1 + 2∆2 − 2 to {(x : c, x : c′), (a : c, a : c′) | c′ is adjacent to c and c′ =6 y}, so that no two edges get the same color. ′ ′′ Since T1 is a tree, if a and a are adjacent to a, then they are not adjacent to each other, therefore {(a′ : y, a′ : c) | a′ ∼ a} forms an induced matching; and so does

7 rb h de( edge the by or ∆ ssaclraog1 among color a uses oters fteegsof edges the of rest the to ota otoegsgttesm oo.Te o n fixed any for Then color. same the get edges two no that so E ii,(iv). (iii), hr r ∆ are there ups ehv ooigof coloring a have we Suppose ,d ℓ, fdsac w from two distance of ( of u nyclrdegso itnetofo ( from two distance of edges colored only { { oo f( of color i).Aan(i)sy htteclro ( of color the that says (iii) Again (ii)). niett n ftevrie fteset the of vertices the of one to incident ( s ( ( ( 1 : a a : x T − c ′ ′ o o every for Now Let a c 1 : Since . T : : ′ ′ c ) oosamong colors 1 2 u , 2 v , ,a c, : ( ,a c, ,v y, ,a y, u x

: 2 ∈ : ′ x eavre of vertex a be ′ c x c

: − )

′ 2∆1 1 : V steol deicdn to incident edge only the is ) : : : 1 G c x y c ,x y, ≤ ′ ( y − : ) ′ ℓ

T

) to ) − c 1 1 | 2 utbeclr mn 1 among colors suitable 1 1 s | ℓ ) a } } : aifis()ad(i,s ( so (ii), and (i) satisfies a : ′ . c ′ { ,u c, 6=

nt htif that (note 2∆ to ) ℓ ( ∼ 2∆ define , , a

{ 1 ,a x, 2 { 1 + 2∆ 1 : a : ,

( + 2∆ , T u 3 } c { c 2 2 ′ 1 .W a sintoeclr to colors those assign can We ). ..., , ( , a , − a ′ : o n xdneighbor fixed any for 2 a 3 fdistance of 1 ∼ : ′ ,u y, ..., , ′ G c : 2 : 2∆ G ℓ a ,a y, c G is easg h oosto colors the assign we First . a } ′ ℓ ′

2∆ ∆ ) 1 iial,freeyfixed every for Similarly, . :

ℓ 1 : + 2 − gi,clrn of coloring Again, . ob h ugahidcdby induced subgraph the be to c m ′ | y 1

1 : 2∆

c 1 ) a ∆ a

}

′

htstse i,(i,(i) i) o egv coloring give we Now (iv). (iii), (ii), (i), satisfies that c 1

: max = 1 + : o en sdb n fteegsicdn to incident edges the of any by used being not , | ) 6= c y ℓ 1 u | s − u ′ ,c y, { a : s 6= u , ′ from 1 : 2 c u : 6= c : ′ , ,u s, ′ u , ′ 8 ,u c, { c 3 : htue oosaog1 among colors uses that ∼ ′ ,a x, diam( ..., , ,u c,

| : 2∆ c

c

′ : c 1

}

x ′ ′ ∆ + ∼ c ′ c 2∆ steclro ( of color the is ) ′ lal hsclrn aifis() (ii), (i), satisfies coloring this Clearly . ∼

steol deajcn to adjacent edge only the is )

′ and

: 2∆ ∼ T 2

u of 2 + 1 2∆ c c 1 1

G } 2 + a r h de nietto incident edges the are ) } ) a

1 1

for 2∆ , o o any for Now . c } i s

+∆ + r h de nietto incident edges the are diam( : −

1 c in eisprn.Teclrdedges colored The parent. its be n h oo f( of color the and 1 2 11 + { { aifis(i) hr r tleast at are there (iii), satisfies (

2 ( T u a u 1 + 2 ′ T : ec ecnasg the assign can we Hence . : ∼ a 2 ,u y, { u ,u c, 1 ) ( a ′ } : a u 1 y then , 6= ecngv h color the give can we , s ′ ′ : { a : c : : : 1 u s y c ,u v, c , ,u y, : ′ ) 2 ) c where : 1 6= , | | 3 ′ v u u G ..., , : y : ′ ′ x y m | 6= daetto adjacent 6= v .Therefore, ). a : ) d u 2 2∆ a ,u s, = ,u s, ,x c, T 2 : ′ | a 1 c u : 2 ∼ 2 ( ( 1 y T ,u x, ,u u, : s s : b (i), (by ′ ′ : c 1 u c  ∼ ∼ : : a c the , 2 ′ s that y ) ′ c T to ) ) : u u : 2 c or or ≤ } } 1 c ∈ ). y , . , Distribute those colors to {(u : c,u′ : c) | u′ =6 s, u′ ∼ u}. Now we claim the following for a fixed u′ =6 s, where u′ is adjacent to u. ′ ′ Claim: We can assign the color of (u : v,u : v) to {(u : t, u : t) | dT2 (v, t)=2}. Proof of the Claim: We apply induction on distance from u. If(u : t, u′ : t) is already colored, then the induction hypothesis assures the claim. Now we may assume that (u : t, u′ : t) did not get a color till now and v′ is adjacent to both v and t. The only colored edges of distance two from (u : t, u′ : t) are {(s : t′,u : t′) | t′ is a child of t} ′ and the edges incident to u : v or s : t. Since the coloring of Gℓ−1 satisfies (iii), the only colors which may create problems are the colors of the edges incident to u : v′ or s : t. Since v′ is adjacent to t, the color of (u : v,u′ : v) is not used by any of the edges incident to u : v′. Also (iii) ensures that it is not used by the edges incident to s : t. ′ Again {(u : t, u : t) | dT2 (v, t)=2} is an induced matching. Hence we can assign the ′ ′ color of (u : v,u : v) to {(u : t, u : t) | dT2 (v, t)=2}. The claim is proved. By coloring accordingly we get a partial strong edge coloring that satisfies (i) and (iii).

By symmetry we can color V (T1)×T2 by using the colors 2∆1+1, 2∆1+2, ..., 2∆1+2∆2 such that it satisfies (ii) and (iv). That says the strong chromatic index of Gn = T1T2 is at most 2∆1 + 2∆2 = 2∆(T1T2). 

In the above theorem we observed an upper bound for the Cartesian product of two ′  trees. This bound is tight. That is there exist trees T1 and T2 such that χs(T1 T2) = 2∆(T1T2). Before showing that, we find a lower bound for the same, in the next theorem.

Theorem 3.2 Let T1 and T2 be two trees. Then

′  ′ ′ ′  χs(T1 T2) ≥ max{2∆(T1) + ∆ (T2), 2∆(T2) + ∆ (T1)} +1=∆ (T1 T2)+1.

Proof Let (a, b) be an edge with maximum edge degree in T1. Also let c be a vertex of maximum degree in T2 and d be a neighbor of it. Now the edge (a : d, b : d) and ′  all the edges incident to a : c or b : c should get different colors. So χs(T1 T2) ≥ ′ ′  ′ ′  ∆ (T1)+2∆(T2)+1. Similarly, χs(T1 T2) ≥ ∆ (T2)+2∆(T1)+1. Therefore, χs(T1 T2) ≥ ′ ′ ′ max{∆ (T1)+2∆(T2), ∆ (T2)+2∆(T1)} +1=∆ (T1T2) + 1. 

Let T1 and T2 be two trees and suppose that one of them has two maximum-degree ′  vertices adjacent to each other. Then the upper and lower bound of χs(T1 T2) are the same. So the following corollary is immediate.

′   Corollary 3.3 Let T be a tree. Then χs(T Pn) = 2(∆(T )+∆(Pn)) = 2∆(T Pn) for every n> 3, or n =2.

In general the upper bound does not hold with equality. An example is the Cartesian product of two stars. Its strong chromatic index is determined in the following theorem.

Theorem 3.4 The strong chromatic index of K1,nK1,m is 2n + m +2, where n ≥ m.

Proof Let ({x}, {x1, x2, ..., xn}) and ({y}, {y1, ..., ym}) be the bipartition of K1,n and K1,m respectively. We first give a strong edge coloring on K1,nK1,m with 2n + m +2 colors as follows.

9 • n + m colors on the edges incident with the vertex x : y, one dedicated color for each edge.

• n−m colors on the ‘long’ edges of the K1,n-fibers, namely one color for each induced matching of type {(x : yj, xi : yj) | 1 ≤ j ≤ m}, in the range m +1 ≤ i ≤ n.

• m colors on induced matchings which take one edge from each of n − 1 K1,m-fibers and one from each of m − 1 K1,n-fibers, defined as

Ai := {(x : yi, xj : yi) | 1 ≤ j ≤ n, j =6 i}∪{(xi : y, xi : yj) | 1 ≤ j ≤ m, j =6 i}

Hence the vertices of type xi : yj in Ai are located in the union of two fibers, namely in ({xi} × K1,m) ∪ (K1,n ×{yi}), omitting their intersection vertex xi : yi.

• 2 colors for the edges ending in the diagonal vertices xi : yi, namely one color for {(xi : y, xi : yi) | 1 ≤ i ≤ m} and one for {(x : yi, xi : yi) | 1 ≤ i ≤ m}.

It is easily checked that each color class is an induced matching, and their union covers the entire edge set. Next we show that fewer than 2n+m+2 colors are not enough. Note that each of the n + m edges incident with the vertex x : y is adjacent to every other edge. This requires n + m private colors for these edges. Hence it is sufficient to prove that the edges not incident with x : y require more than n + 1 further colors. Since no color can occur more than once on the edges of any K1,m-fiber centered at an xi : y, neither on any K1,n-fiber centered at an x : yi, only the following three types of color classes can occur:

(i) Precisely m edges (x : yi, xji : yi) for i =1, 2,...,m, where ji is arbitrary (1 ≤ ji ≤ n); let the number of such color classes be denoted by a.

(ii) At most m − 1 edges incident with vertices of type x : yi, and at most n − 1 edges incident with some of the xi : y ; let the number of such color classes be denoted by b.

(iii) Precisely n edges (xi : y, xi : yji ) for i =1, 2,...,n, where ji is arbitrary (1 ≤ ji ≤ m); let the number of such color classes be denoted by c.

Hence the number of edges involved in such a color partition is distributed as shown in Table 1. (The row correspondng to b gives an upper bound, the other lines are exact.)

# of classes K1,m-edges K1,n-edges a m 0 b m − 1 n − 1 c 0 n

Table 1: Number of classes, and largest possible number of edges per class.

10 The n copies of K1,m, as well as the m copies of K1,n, contain precisely mn edges. Therefore the following inequalities must hold:

am + b(m − 1) ≥ mn (1) b(n − 1)+ cn ≥ mn (2)

Rearrangement yields

a + b ≥ n + b/m and c ≥ m − b + b/n (3)

Thus, a + b + c ≥ n + m − b(1 − 1/m − 1/n). This inequality implies the required lower bound a + b + c > n + 1, unless

1 1 b 1 − − ≥ m − 1. m n   In this case, however, we have m − 1 m − 1 b ≥ 1 1 > 1 = m, 1 − m − n 1 − m from which, using (3), we obtain

a + b ≥ n + b/m > n +1.

′   Therefore we need at least 2n + m + 2 colors. Hence χs(K1,n K1,m)=2n + m + 2.

4 Cartesian product of a tree and a cycle

In this section we give lower and upper bounds for the strong chromatic index of the Cartesian product of a tree and a cycle. Also we determine the exact value of that, if the length of the cycle is 4ℓ for some ℓ ≥ 1. Throughout this section T means any tree, and ∆ stands for its maximum degree, as a shorthand for ∆(T ).

′  Lemma 4.1 Let C be any cycle of length at least 4. Then χs(T C) ≥ 2∆+4.

Proof Corollary 3.3 says that the strong chromatic index of the Cartesian product of T and a path longer than one is 2∆+4. Now C contains a path with 3 vertices. Therefore ′   χs(T C) ≥ 2∆ + 4.

This inequality holds with equality if the length of the cycle is divisible by 4. We prove this in the next theorem.

Theorem 4.2 The strong chromatic index of T C4ℓ is 2∆+4.

11 ′  Proof The above lemma says that χs(T C4ℓ) ≥ 2∆ + 4. Now we show that there is a strong edge coloring on T C4ℓ that uses 2∆ + 4 colors. Let a be a vertex in T and set C4ℓ = t1t2...t4ℓt1. The proof of Theorem 3.1 says that there is a strong edge coloring c on T (C4ℓ \{(t4ℓ, t1)}) with colors 1, 2, 3, ..., 2∆ + 4 such that c satisfies the following properties:

(i) All the edges of T × V (C4ℓ) use color from {1, 2, 3, ..., 2∆}.

(ii) All the edges of V (T ) × C4ℓ use color from {2∆+1, 2∆+2, 2∆+3, 2∆+4}.

′ ′ (iii) For every (u,u ) ∈ E(T ), i, j ∈ [4ℓ − 2], if 2|(i − j), then c((u : ti,u : ti)) = c((u : ′ tj,u : tj)), .

′ ′ ′ (iv) If the distance from u to u is even in T , then c((u : ti,u : ti+1)) = c((u : ti,u : ti+1)), for every i ∈ [4ℓ − 1].

Let b be a vertex adjacent to a in T . The definition of strong edge coloring ensures that the colors of the edges (a : t1, a : t2), (a : t2, a : t3), (b : t1, b : t2) and (b : t2, b : t3) are distinct. Again according to (ii) they are 2∆ + 1, 2∆+2, 2∆+3, 2∆ + 4. Without loss of generality we can assume that c((a : t1, a : t2)) = 2∆+1,c((a : t2, a : t3)) =2∆+2,c((b : t1, b : t2))=2∆+3 and c((b : t2, b : t3)) = 2∆ + 4. Now the color of (a : t3, a : t4) cannot be that of (a : t1, a : t2), (a : t2, a : t3) and (b : t2, b : t3). Hence it is 2∆ + 3. Repeating this argument again and again, together with (iv) it leads to the following fact:

Fact 4.3 c((u : ti,u : ti+1))=2∆+1+(i − 1 mod 4) if dT (u, a) is even, otherwise it is 2∆+1+(i − 3 mod 4).

We can extend this coloring to T C4ℓ by defining

2∆+2, if dT (u, a) is odd c((u : t4ℓ,u : t1)) := (2∆+4, otherwise We claim that this is a strong edge coloring. Since the coloring c satisfies (i), (ii), (iii) and (iv), it is enough to show the following three properties for every vertex u of T and any two vertices v and v′ adjacent to it.

′ (a) c((u : t1, v : t1)) =6 c((u : t4ℓ, v : t4ℓ)).

(b) c((u : t1,u : t2)) 6∈ {c((u : t4ℓ,u : t1)),c((v : t4ℓ, v : t1)),c((u : t4ℓ−1,u : t4ℓ))}

(c) c((u : t4ℓ,u : t1)) 6∈ {c((u : t4ℓ−2,u : t4ℓ−1)),c((u : t2,u : t3)),c((v : t4ℓ, v : t1))}

Now (iii) says that c((u : t1, v : t1)) = c((u : t4ℓ−1, v : t4ℓ−1)). Again c is a strong edge coloring on T (C4ℓ \{(t4ℓ, t1)}. Hence (a) holds true. Moreover, Fact 4.3 says that (b) and (c) are valid, too. 

The above theorem determines the strong chromatic index of the Cartesian product of a tree and a cycle whose length is a multiple of 4. Next we find an upper bound for the Cartesian product of a tree with a cycle of any even length. We state this for the 6-cycle first, and then in Theorem 4.5 we find a better bound for the remaining even cycles.

12 Theorem 4.4 The strong chromatic index of T C6 is at most 2∆(T )+6.

Proof Let a be a vertex in T , and set C6 = t1t2t3t4t5t6t1. Consider the strong edge coloring c on T (C6 \{(t6, t1)}) as described in Theorem 4.2. It follows that the coloring c satisfies the following properties:

(i) All the the edges of T × V (C6) use colors from {1, 2, 3, ..., 2∆}.

′ ′ (ii) c((u : ti,u : ti)) = c((u : tj,u : tj)), whenever 2|(i − j).

′ We now extend the coloring to obtain the color function c on the edges of T C6 as ′ follows. Let c ((u : ti, v : ti)) = c((u : ti, v : ti)), for all i and (u, v) ∈ E(T ). For every ′ vertex u in T , define c ((u : ti,u : ti+1)) to be 2∆+1+(i mod 3) if dT (u, a) is even, else let 2∆ + 4 + (i mod 3). ′ ′ Thus for any two adjacent vertices u and v in T , we see c ((u : ti,u : ti+1)) 6∈ {c ((v : ′ ′ ′ ti, v : ti+1)),c ((u : ti+1,u : ti+2)),c ((v : ti+1, v : ti+2)),c ((u : ti+2,u : ti+3))}. Again c is a ′ ′ strong edge coloring and it satisfies (ii). So c ((u : ti, v : ti)) =6 c ((u : tj, v : tj)), for all ti ′ adjacent to tj. Hence c is a strong edge coloring. 

This bound is tight. The strong chromatic bound of C6P2 is 8. On the other hand there are also graphs whose product does not attend this bound. The strong chromatic index of C6P3 is 9.

′  Theorem 4.5 Let ℓ> 3. Then χs(T C2ℓ) ≤ 2∆(T )+5.

Proof Let a be a vertex in T , and set C2ℓ = t1t2...t2ℓt1. If ℓ is even, then Theorem 4.2 says that the stated bound is true. Now we may assume that ℓ is odd. In the proof of Theorem 3.1 we showed that there is a strong edge coloring c on T (C2ℓ \{(t2ℓ, t1)}) with colors 1, 2, 3, ..., 2∆ + 4 such that c satisfies the following properties:

(i) All the edges from every T -fiber use colors from the set {1, 2, 3, ..., 2∆}.

(ii) All the edges from every C-fiber use colors from the set {2∆+1, 2∆+2, 2∆ + 3, 2∆+4}.

′ ′ ′ (iii) c((u : ti,u : ti)) = c((u : ti+2,u : ti+2)), for every (u,u ) ∈ E(T ), i ≤ 2ℓ − 2.

′ ′ ′ (iv) If the distance from u to u is even in T , then c((u : ti,u : ti+1)) = c((u : ti,u : ti+1)), for every i ∈ [2ℓ − 1].

′ ′ Define the color function c on T V (C2ℓ) as that of c. Now (iii) says that c ((u : ′ ′ ′ ′ ′ ′ t1,u : t1)) = c ((u : t2ℓ−1,u : t2ℓ−1)). Hence c ((u : t1,u : t1)) =6 c ((u : t2ℓ, v : t2ℓ)) and ′ ′ c ((u : t2ℓ, v : t2ℓ)) =6 c ((u : t2ℓ−1, v : t2ℓ−1)), for any vertex v adjacent to u (including ′ ′ u ). Therefore c is a partial coloring on T C2ℓ that uses 2∆ colors. Now we extend this coloring by using 5 new colors. Now the only edges which remain to be colored are the edges of C-fibers. We partition them into five induced matchings. For every i ∈ [2ℓ] define the sets Ai := {(u : ti,u : ti+1) | dT (u, a) is even} and Bi := {(u : ti,u : ti+1) | dT (u, a) is odd}. Clearly every uncolored edges appears exactly in one of the Ai or Bi. Let (u : ti,u : ti+1) and (v : ti, v : ti+1)

13 be two edges of Ai. By the definition of the Cartesian product, u : ti is not adjacent to v : ti+1 and u : ti+1 is not adjacent to v : ti. Again both dT (u, a) and dT (v, a) are even. So u : ti (respectively u : ti+1) is not adjacent to v : ti (respectively v : ti+1). Therefore Ai is an induced matching, for every i. Similarly we can show that for every i, Bi is an induced matching. Moreover it satisfies the following properties.

1. For |i − j| > 2 mod (2ℓ) the sets Ai ∪ Aj and Bi ∪ Bj are induced matchings.

Proof: Let (u : ti,u : ti+1) ∈ Ai and (v : tj, v : tj+1) ∈ Aj. Since |i − j| > 2 mod (2ℓ), the definition of the strong edge coloring says that {(u : ti,u : ti+1), (v : tj, v : tj+1)} is an induced matching. Again both Ai and Aj are induced matchings. Hence so is Ai ∪ Aj. Similarly we can show that Bi ∪ Bj is an induced matching.

2. Let ti be not adjacent to tj. Then Ai ∪ Bj and Aj ∪ Bi are induced matchings. The proof is similar to that of 1.

We have assumed that i > 3 and 2ℓ ≡ 2 mod 4. Therefore the above mentioned properties say that the following five sets are induced matchings:

A2 ∪ B4, ( Ai) ∪ ( Bi), ( Ai) ∪ ( Bi), i≡1[ mod4 i≡3[ mod4 i≡3[ mod4 i≡1[ mod4

B2 ∪ ( Ai) ∪ ( Bi), ( Ai) ∪ ( Bi). i≥6 i>6 i≥4 i>4 i≡2[ mod4 i≡0[ mod4 i≡0[ mod4 i≡2[ mod4 

This bound is also tight. The strong chromatic index of C10P2 is 7. The above theorem and Theorem 4.1 say that the strong chromatic index of the Cartesian product of a tree T and an even cycle C2ℓ of length more than 6 is either 2∆(T )+4 or 2∆(T ) + 5. In the next two theorems we prove an upper bound for the strong chromatic index of any tree with cycles of odd length. First we consider cycles of length more than 8.

′  ∆(T ) Theorem 4.6 Let ℓ> 3. Then χs(T C2ℓ+1) ≤ 2∆(T )+ ⌈ ℓ ⌉ +5.

Proof Let a be a vertex of maximum degree in T , and set C2ℓ+1 = t1t2...t2ℓ+1t1. We ′ view a as the root of T . Let D1,D2, ..., Dχs(T ) be a partition (some of the Di may be empty) of the edges of T into induced matchings. We are going to define a strong edge coloring c on T C2ℓ+1. First we give colors to the edges of all the T -fibers. For each 1 ≤ i ≤ ⌊∆/2⌋, define the following two ∆-tuples: c2i+1 := (∆ + 1, ∆+ ∆ ∆ ∆ ∆ 2, ..., ∆+(i − 1)⌈ ℓ ⌉, 2∆+1, 2∆+2, ..., 2∆ + ⌈ ℓ ⌉, i⌈ ℓ ⌉ +1, i⌈ ℓ ⌉ +2, ..., ∆) and c2i := ∆ ∆ th (1, 2, ..., (i − 1)⌈ ℓ ⌉, ∆+(i − 1)⌈ ℓ ⌉ +1, ..., 2∆). That is the j term of c2i+1,

∆ ∆+ j, 1 ≤ j ≤ (i − 1)⌈ ℓ ⌉ ∆ ∆ (c2i+1)j = 2∆ + j − i +1, (i − 1)⌈ ℓ ⌉ < j ≤ i⌈ ℓ ⌉  ∆ j, i⌈ ℓ ⌉ < j ≤ ∆ 

14 th and the j term of c2i,

∆ j, 1 ≤ j ≤ (i − 1)⌈ ℓ ⌉ (c2i)j = ∆ (∆+ j, (i − 1)⌈ ℓ ⌉ < j ≤ ∆

′ Note that (ci+1)j′ =(6 ci)j and (ci)j =(6 ci)j′ , for all i, j, j . Now for any vertex u′ and its parent u in T , define

′ ′ (ci)j, if dT (a, u) is even and (u,u ) ∈ Dj c((u : ti,u : ti)) := ′ ((ci+1)j, if dT (a, u) is odd and (u,u ) ∈ Dj

We claim that each color class is an induced matching in T C2ℓ+1. ′ ′′ Let (u : ti,u : ti) and (u : ti,u : ti) be two adjacent edges. Then, since every ′ ′′ Di is an induced matching, both (u,u ) and (u,u ) cannot be in the same Di. Hence ′ ′′ c((u : ti,u : ti)) =6 c((u : ti,u : ti)). Now let v : tk be adjacent to u : ti. The definition of the Cartesian product says that either i = k or u = v. If i = k, then ′ ′ ′ c((u : ti,u : ti)) =6 c((v : ti, v : ti)), for any v (using the properties of the sets cj, and that the Di are induced matchings). If i =6 k, then u = v and ti is adjacent to tj. Without loss of generality, let k = i +1 mod(2ℓ + 1). We know that (ci)j =6 (ci+1)j′ , ′ ′ ′ for all i, j, j . So c((u : ti,u : ti)) =6 c((v : ti, v : ti)). Therefore every color class is an induced matching. The remaining (uncolored) edges are the edges of all the C-fibers. Therefore it is sufficient to partition them into five induced matchings. As in the proof of the earlier theorem, we partition them into the sets Ai := {(u : ti,u : ti+1) | dT (u, a) is even} and Bi := {(u : ti,u : ti+1) | dT (u, a) is odd}, i ∈ [2ℓ + 1]. It is easy to see that the following properties hold.

(i) For every i, Ai and Bi are induced matchings.

(ii) Let |i − j| > 2 mod (2ℓ + 1). Then Ai ∪ Aj and Bi ∪ Bj are induced matchings.

(iii) Let ti is not adjacent to j. Then Ai ∪ Bj and Aj ∪ Bi are induced matchings.

Now B1 ∪ A5 ∪ B7 is an induced matching because 2ℓ +1 ≡ 1 or 3 mod 4. Therefore it is enough to partition the rest of the edges into four induced matchings. If 2ℓ +1 ≡ 1 mod 4, then the sets

A1 ∪ B3 ∪ ( Ai) ∪ ( Bi), ( Ai) ∪ ( Bi), i>6 i≥6 i≡2 mod4 i≡0 mod4 i≡0[ mod4 i≡2[ mod 4) [ [

B2 ∪ A4 ∪ ( Ai) ∪ ( Bi), A3 ∪ B5 ∪ ( Ai) ∪ ( Bi) i≥7 i>7 i≥9 i>9 i≡3[ mod4 i≡1[ mod4 i≡1[ mod4 i≡3[ mod4 partition V (T ) × C2ℓ+1 into induced matchings. Otherwise 2ℓ +1 ≡ 3 mod 4, and then the sets

B2 ∪ A4 ∪ ( Ai) ∪ ( Bi), ( Ai) ∪ ( Bi), i>6 i≥6 i≡2 mod4 i≡0 mod4 i≡0[ mod4 i≡2[ mod 4) [ [

15 A2 ∪ B4 ∪ ( Ai) ∪ ( Bi), A3 ∪ B5 ∪ ( Ai) ∪ ( Bi) i≥7 i>7 i≥9 i>9 i≡3[ mod4 i≡1[ mod4 i≡1[ mod4 i≡3[ mod4 form a required partition.  ∆ Therefore the strong chromatic index of T C2ℓ+1 is at most 2∆+ ⌈ ℓ ⌉ +5, for ℓ> 3. 

Above we obtained bounds for the strong chromatic index of a tree with a cycle of length different from 3, 5 and 7. Now we find a slightly larger upper bound for the same when a cycle is of length 3, 5 and 7.

′  ∆(T ) Theorem 4.7 Let ℓ ≤ 3. Then χs(T C2ℓ+1) ≤ 2∆(T )+ ⌈ ℓ ⌉ +6.

∆ Proof Let a be an arbitrary vertex of T . We can assign the colors 1, 2, 3, ..., 2∆ + ⌈ ℓ ⌉ to the edges of T × V (C2ℓ+1) in the same way as in the proof of the previous theorem. The only edges which remain to be colored are the edges of V (T ) × C2ℓ+1. Define Ai and Bi as in the preceding proof, for i ≤ 2ℓ + 1. We have already shown ′  above that the sets Ai and Bi are induced matchings. Hence χs(T C3) ≤ 3∆ + 6. Now further properties of these Ai and Bi (as mentioned above) ensure that the following properties are true. If ℓ = 2, then A1 ∪ B3, B1 ∪ A3, A2 ∪ B4, B2 ∪ A4, A5, and B5 are induced matchings; and if ℓ = 3, then A1 ∪ B3 ∪ A5, B1 ∪ A3 ∪ B5, A2 ∪ B4 ∪ A6, B2 ∪ A4 ∪ B6, A7, and B7 ′  ∆  are induced matchings. Therefore χs(T C2ℓ+1) ≤ 2∆ + ⌈ ℓ ⌉ +6, for ℓ ≤ 3.

Finally, we give a better lower bound for the same when the cycle is of odd length. For that, first we define jellyfish graphs. Let H be a graph obtained from Ck by adding pv new pendant vertices adjacent to v, for each vertex v in Ck. Then H is called a Ck- jellyfish. On such graphs, Chang et al. [11] proved a general lower bound (their Theorem 13), which implies the following formula.

Theorem 4.8 [11] If G is a Ck-jellyfish of m edges, such that k is odd and all vertices ′ m of Ck have the same degree in G, then χs(G) ≥ ⌈ ⌊k/2⌋ ⌉.

By using this theorem, we can derive an improved lower bound for the strong chro- matic index of the product of a tree with an odd cycle.

′  (2ℓ+1)(∆(T )+1) Corollary 4.9 Let T be a tree. Then χs(T C2ℓ+1) ≥ ⌈ ℓ ⌉.

Proof Let u be a vertex of maximum degree in T , and set C2ℓ+1 = t1t2...t2ℓ+1t1. Now T C2ℓ+1 contains G[N(u) ∪{u}]C2ℓ+1, which contains a (∆ + 2)-regular C2ℓ+1-jellyfish. ′  (2ℓ+1)(∆+1)  Therefore χs(T C2ℓ+1) ≥ ⌈ ℓ ⌉.

Remark Note that the difference of the lower and the upper bound for the strong chro- matic index of a tree with an odd cycle is at most 4. In fact, if the odd cycle is of length at least 9, then the difference is at most 3.

16 Proof (2ℓ +1)(∆+1) χ′ (T C ) ≥ ⌈ ⌉ s 2ℓ+1 ℓ ∆(T )+1 ∆(T )+1 = ⌈2ℓ + ⌉ ℓ ℓ ∆(T ) ≥ 2∆+2+ ⌈ ⌉. ℓ 

5 Conclusion

Table 2 summarizes the results which involve cycles.

cycle length k = upper bound theorem lower bound result 4ℓ 2∆+4 4.2 2∆+4 Lemma 4.1 6 2∆+6 4.4 4ℓ +2 ≥ 10 2∆+5 4.5 ∆ ∆+1 2ℓ +1 ≤ 7 2∆ + ⌈ ℓ ⌉ +6 4.7 2∆ + ⌈ ℓ ⌉ +1 Corollary 4.9 ∆ 2ℓ +1 ≥ 9 2∆ + ⌈ ℓ ⌉ +5 4.6 ′  Table 2: Upper and lower bounds on χs(T Ck) for all trees T , where ∆ := ∆(T ).

Theorem 4.7 and Corollary 4.9 gives the upper and lower bound for the strong chro- matic index of any tree with product with C3. The strong chromatic index of K2C3 and P3C3 are 9 and 9 respectively. Therefore we can not improve the bounds for the strong chromatic index of product of a tree with C3. For other odd cycles this bounds might be improved. We have already discussed the tightness of bounds for the strong chromatic index of product of trees with even cycles. Acknowledgment The fourth author thanks for the support given in part by the Sz´echenyi 2020 programme under the project No. EFOP-3.6.1-16-2016-00015, and by the National Research, Development and Innovation Office – NKFIH under the grant SNN 129364.

References

[1] R. Akhtar, M. Boggess, T. Jackson-Henderson, R. Karpman I. Jim´enez, A. Kinzel, and D. Pritikin. On the unitary Cayley graph of a finite ring. The Electronic Journal of Combinatorics, 16, 2009.

[2] Noga Alon. An extremal problem for sets with applications to graph theory. Journal of Combinatorial Theory, Series A, 40(1):82–89, 1985.

17 [3] Lars Døvling Andersen. The strong chromatic index of a cubic graph is at most 10. Discrete Mathematics, 108(1–3):231–252, 1992.

[4] Julien Bensmail, Marthe Bonamy, and Herv´eHocquard. Strong edge coloring sparse graphs. Electronic Notes in Discrete Mathematics, 49:773–778, 2015.

[5] J. C. Bermond, J. Bond, M. Paoli, and C. Peyrat. Graphs and interconnection net- works: diameter and vulnerability. In E. K. Lloyd, editor, Surveys in Combinatorics, volume 82 of London Mathematical Society Lecture Notes, pages 1–30. Cambridge University Press, 1983.

[6] P. Berrizbeitia and R. E. Giudici. On cycles in the sequence of unitary cayley graphs. Discrete Mathematics, 282:1–3, 2004.

[7] Valentin Borozan, Leandro Montero, and Narayanan Narayanan. Further results on strong edge-colourings in outerplanar graphs. Australasian Journal of Combina- torics, 62(1):35–44, 2015.

[8] Richard A. Brualdi and Jennifer J. Quinn Massey. Incidence and strong edge color- ings of graphs. Discrete Mathematics, 122(1–3):51–58, 1993.

[9] Henning Bruhn and Felix Joos. A stronger bound for the strong chromatic index. Electronic Notes in Discrete Mathematics, 49:277–284, 2015.

[10] Parinya Chalermsook, Bundit Laekhanukit, and Danupon Nanongkai. Coloring graph powers: Graph product bounds and hardness of approximation. In Alberto Pardo and Alfredo Viola, editors, LATIN 2014: Theoretical Informatics, volume 8392 of Lecture Notes in Computer Science, pages 409–420, Berlin, Heidelberg, 2014. Springer.

[11] Gerard J. Chang, Sheng-Hua Chen, Chi-Yun Hsu, Chia-Man Hung, and Huei-Ling Lai. Strong edge-coloring for jellyfish graphs. Discrete Mathematics, 338(12):2348– 2355, 2015.

[12] F. R. K. Chung, A. Gy´arf´as, W. T. Trotter, and Zs. Tuza. The maximum number of edges in 2K2-free graphs of bounded degree. Discrete Mathematics, 81:129–135, 1990.

[13] Daniel W. Cranston. Strong edge-coloring of graphs with maximum degree 4 using 22 colors. Discrete Mathematics, 306(21):2772–2778, 2006.

[14] J. Dejter and R. E. Giudici. On unitary Cayley graphs. Journal of Combinatorial Mathematics and Combinatorial Computing, 18:121–124, 1995.

[15] Paul Erd˝os. Problems and results in combinatorial analysis and graph theory. Dis- crete Mathematics, 72:81–92, 1988.

[16] R. J. Faudree, A. Gy´arf´as, R. H. Schelp, and Zs. Tuza. Induced matchings in bipartite graphs. Discrete Mathematics, 78(1–2):83–87, 1989.

18 [17] R. J. Faudree, A. Gy´arf´as, R. H. Schelp, and Zs. Tuza. The strong chromatic index of graphs. Ars Combinatoria, 29B:205–211, 1990.

[18] J. L. Fouquet and J. L. Jolivet. Strong edge-coloring of graphs and applications to multi-k-gons. Ars Combinatoria, 16A:141–150, 1983.

[19] P. Hor´ak. The strong chromatic index of graphs with maximum degree four. In Rainer Bodendiek and Klaus Wagner, editors, Contemporary Methods in Graph The- ory, pages 399–403. BI Wissenschaftsverlag, 1990.

[20] Peter Hor´ak, He Qing, and William T. Trotter. Induced matchings in cubic graphs. Journal of Graph Theory, 17(2):151–160, 1993.

[21] Ziyu Hu, Ko-Wei Lih, and Daphne Der-Fen Liu. Upper bounds for the strong chromatic index of Halin graphs. Discussiones Mathematicae Graph Theory, 38(1):5– 26, 2018.

[22] Mingfang Huang, Michael Santana, and Gexin Yu. Strong chromatic index of graphs with maximum degree four. arXiv preprint arXiv:1806.07012, 2018.

[23] Mingfang Huang, Gexin Yu, and Xiangqian Zhou. The strong chromatic index of (3, δ)-bipartite graphs. Discrete Mathematics, 340(5):1143–1149, 2017.

[24] D´avid Hud´ak, Borut Luˇzar, Roman Sot´ak, and Riste Skrekovski.ˇ Strong edge- coloring of planar graphs. Discrete Mathematics, 324:41–49, 2014.

[25] Eoin Hurley, R´emi de Joannis de Verclos, and Ross J Kang. An improved procedure for colouring graphs of bounded local density. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 135–148. SIAM, 2021.

[26] Wilfried Imrich, Sandi Klavˇzar, and Douglas F. Rall. Topics in Graph Theory: Graphs and Their Cartesian Product. AK Peters/CRC Press, 2008.

[27] W. Klotz and T. Sander. Some properties of unitary Cayley graphs. Electronic Journal of Combinatorics, 14, 2007.

[28] Hsin-Hao Lai, Ko-Wei Lih, and Ping-Ying Tsai. The strong chromatic index of Halin graphs. Discrete Mathematics, 312(9):1536–1541, 2012.

[29] Ko-Wei Lih and Daphne Der-Fen Liu. The strong chromatic index of cubic Halin graphs. Applied Mathematics Letters, 25(5):898–901, 2012.

[30] Jian-Bo Lv, Xiangwen Li, and Gexin Yu. On strong edge-coloring of graphs with maximum degree 4. Discrete Applied Mathematics, 235:142–153, 2018.

[31] Mohammad Mahdian. On the computational complexity of strong edge coloring. Discrete Applied Mathematics, 118(3):239–248, 2002.

[32] Michael Molloy and Bruce Reed. A bound on the strong chromatic index of a graph. Journal of Combinatorial Theory, Series B, 69(2):103–109, 1997.

19 [33] Rahul Muthu, N. Narayanan, and C. R. Subramanian. On k-intersection edge colour- ings. Discussiones Mathematicae Graph Theory, 29(2):411–418, 2009.

[34] K. Nakprasit. A note on the strong chromatic index of bipartite graphs. Discrete Mathematics, 308(16):3726–3728, 2008.

[35] Olivier Togni. Strong chromatic index of products of graphs. Discrete Mathematics and Theoretical Computer Science, 9(1):47–56, 2007.

20