Strong Edge Coloring of Cayley Graphs and Some Product Graphs

A strong edge coloring of a graph G is a proper edge coloring of G such that every color class is an induced matching. The minimum number of colors required is termed the strong chromatic index. In this paper we determine the exact value of the strong chromatic index of all unitary Cayley graphs. Our investigations reveal an underlying product structure from which the unitary Cayley graphs emerge. We then go on to give tight bounds for the strong chromatic index of the Cartesian product of two trees, including an exact formula for the product in the case of stars. Further, we give bounds for the strong chromatic index of the product of a tree with a cycle. For any tree, those bounds may differ from the actual value only by not more than a small additive constant (at most 2 for even cycles and at most 4 for odd cycles), moreover they yield the exact value when the length of the cycle is divisible by 4.


Introduction
Throughout the paper, an edge joining vertices u and v is denoted by (u, v). Let G be a simple, finite, undirected graph. A proper edge coloring is a map c from the edge set of G to a set of distinct colors such that for any two edges (u, v) and (v, w), cððu; vÞÞ 6 ¼ cððv; wÞÞ. In addition, if cððu; vÞÞ 6 ¼ cððw; xÞÞ whenever (v, w) is an edge, then c is called a strong edge coloring. That is, a strong edge coloring is a proper edge coloring in which the vertex set of every color class induces a matching. The strong chromatic index of G, denoted by v 0 s ðGÞ, is the minimum number of colors needed for any strong edge coloring of G.
There are several ways to look at this type of coloring. Namely, the following conditions are equivalent: (a) each color class is an induced matching, (b) each P 4 & G is 3-edge-colored, (c) the square ðLðGÞÞ 2 of the line graph of G is properly vertex-colored, (d) the coloring is 1-intersection edge coloring 1 of G. The notion was introduced by Fouquet and Jolivet [18] with the intention to represent conflictfree 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šetřil's conjecture, which states that the strong chromatic index of any graph G is at most ð5D 2 À 2D þ 1Þ=4 if D is odd, and at most 5D 2 =4 if D is even. Here D ¼ Dð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 5D 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 D=2 into its vertices if D is even (inserting a complete bipartite graph between any two consecutive sets along the cycle), or two consecutive sets of size ðD þ 1Þ=2 and three others of size ðD À 1Þ=2 if D 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 D 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 D, Andersen [3] and Horák et al. [20] showed that every cubic graph G satisfies v 0 s ðGÞ 10. (The case of non-regular sub-cubic graphs is easy, as noted in [17]). The case of D ¼ 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 v 0 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ák [19], to 22 by Cranston [13], and finally to 21 by Huang et al. [22].
Bruhn and Joos [9] proved that v 0 s ðGÞ 1:93D 2 ðGÞ, for graphs of sufficiently large maximum degree. This improves an old bound of v 0 s ðGÞ 1:998D 2 ðGÞ proved by Molloy and Reed [32]. This bound is further improved for graphs with sufficiently large maximum degree. Hurley, de Joannis de Verclos and Kang [25] showed that the strong chromatic index is at most 1:772D 2 ðGÞ, for any graph G with sufficiently large maximum degree DðGÞ.
In 1989, Faudree et al. [16] conjectured that every bipartite graph G satisfies v 0 s ðGÞ ðDðGÞÞ 2 . Brualdi and Quinn Massey strengthened this conjecture to state that if G is a bipartite graph with bipartition (A, B) and DðAÞ and DðBÞ are the maximum degrees of the vertices in A and B respectively, then v 0 s ðGÞ DðAÞDðBÞ holds [8]. Later, Nakprasit [34] proved that this conjecture is valid when DðAÞ ¼ 2. That is, for a ð2; DÞ-bipartite graph there is a strong edge coloring that uses at most 2D colors. In 2017, Huang et al. [23] showed that if G is a ð3; DÞ-bipartite graph, then v 0 s ðGÞ 3D. 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 least g, for any natural number g.
It is known that every planar graph admits a 4D þ 4 strong edge coloring [17]. Moreover, 3D þ 5 colors are sufficient if the planar graph has girth 6, and if it has girth at least 7 then even 3D colors are sufficient [24]. Furthermore for outerplanar graphs an exact formula can be given, as shown in the following theorem.
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 v 0 s ðGÞ v 0 s ðTÞ þ 3, provided G is different from some special graphs. Also it is known that every Halin graph G with DðGÞ ! 4 satisfies v 0 s ðGÞ 2DðGÞ þ 1 [21]. Moreover, apart from two exceptions, cubic Halin graphs have v 0 s ðGÞ 7 [29]. We first discuss the strong edge coloring of the class of graphs called unitary Cayley graph. Let U n be the set of all units of Z n , that is U n ¼ fm 2 Z n j gcdðm; nÞ ¼ 1g. For any natural number the Cayley graph CayðZ n ; U n Þ is called a unitary Cayley graph and is denoted by X n . Now for any m 2 Z n , gcdðm; nÞ ¼ 1 if and only if gcdðÀm; nÞ ¼ 1, and every element of U n generates Z n . Hence, X n 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, X n 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 X n is /ðnÞ þ 1 if n is odd, and it is /ðnÞ otherwise.
Here we determine exactly the strong chromatic index of Cayley graphs X n , for all n. Namely, we prove that if a given natural number n has k distinct prime factors in its prime factor decomposition, then v 0 s ðX n Þ ¼ jEj=2 kÀ1 . 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 v 0 s ðQ n Þ ¼ 2n for all n ! 2. The systematic study of v 0 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.

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 0 ðu; vÞ of (u, v) to be the number of edges incident either to u or to v. That is, d 0 ðu; vÞ ¼ dðuÞ þ dðvÞ À 1. The maximum edge degree of a graph, denoted by D 0 ðGÞ, is the maximum of all the edge degrees.
Recall that the Cartesian product of any two graphs G and H, denoted by GhH, is the graph with vertex set fa : u j a 2 VðGÞ and u 2 VðHÞg, 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 Â fhg to be the graph with vertex set fa : h j a 2 VðGÞg and edge set fða : h; b : hÞ j ða; bÞ 2 EðGÞg. Similarly define Hfibers. Note that we can write GhH 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 fa : u j a 2 VðGÞ and u 2 VðHÞg, 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 K 2 hK 2 ffi C 4 and K 2 Â K 2 ffi 2K 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 X n is a /ðnÞ-regular graph of order n. Therefore, the size (number of edges) of X n is n /ðnÞ 2 . Note that if n has prime divisors p 1 ; . . .; p k then /ðnÞ ¼ n Q k i¼1 1 À 1 p i . It will also be convenient to introduce the notation n 0 ¼ n Q k i¼1 p i , and to write n 00 ¼ Q k i¼1 p i . Our main result is the following formula.
Theorem 2 Let n be a natural number with the prime factorization p r 1 1 p r 2 2 . . .p r k k .
Proof We prove that jEj 2 kÀ1 is both an upper bound and a lower bound on v 0 s ðX n Þ. First let us make some observations on the structure of X n . Each v 2 Z n can be classified according to its residues modulo the prime factors, assigning with v the k-tuple This assignment partitions the vertex set into n 00 ¼ p 1 p 2 . . .p k classes, each class having cardinality n 0 ¼ p r 1 À1 1 p r 2 À1 2 . . .p r k À1 k . 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 p i . In this way we can represent X n with a k-dimensional box, first taking the categorical product graph K Ã :¼ K p 1 Â K p 2 Â Á Á Á Â K p k , and then substituting independent sets of size n 0 (sets of false twins) into the product graph; that is, each edge of K Ã is enlarged to an induced copy of the complete bipartite graph K n 0 ;n 0 . (This graph only rarely happens to be a product graph after substitution.) Let us note further that if n ¼ p r , i.e. in case n has just one prime divisor, X n is the complete p-partite graph in which each vertex class has p rÀ1 vertices. Then no two edges of X n can form an induced matching, and the unique strong edge coloring assigns a distinct color to each edge. For this reason, 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 X n can be partitioned into induced matchings of size 2 kÀ1 . This clearly implies the inequality v 0 s jEj 2 kÀ1 . To this end, we construct an edge partition for K Ã , where the graph K Ã is actually just X n 00 . Consider any edge ðu; vÞ 2 K p 1 Â Á Á Á Â K p k . Let us write hui and hvi in the form hui ¼ ða 1 ; . . .; a k Þ and hvi ¼ ðb 1 ; . . .; b k Þ. Since (u, v) is an edge, we have a i 6 ¼ b i for all 1 i k. Hence, the Cartesian product fa 1 ; b 1 g Â Á Á Á Â fa k ; b k g specifies a set, say S, of exactly 2 k vertices in K Ã . We claim that the subgraph induced by S is a matching of size 2 kÀ1 . Indeed, two vertices ða 0 1 ; . . .; a 0 k Þ; ðb 0 1 ; . . .; b 0 k Þ 2 S are adjacent if and only if fa 0 i ; b 0 i g ¼ fa i ; b i g holds for all i, as otherwise the corresponding two numbers would share a prime divisor. Hence every v 2 S has one and only one neighbor in S; that is, S induces a matching, which then necessarily has jSj=2 ¼ 2 kÀ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 0 into the vertices of K Ã , each edge gets replaced by a subgraph isomorphic to K n 0 ;n 0 . One such example is shown in Fig. 1. Therefore each induced matching of size 2 kÀ1 from K Ã becomes an induced subgraph isomorphic to 2 kÀ1 K n 0 ;n 0 in X n . Since the induced matchings defined in K Ã are mutually edge-disjoint, these copies of 2 kÀ1 K n 0 ;n 0 are edge-disjoint. Obviously each of these subgraphs can be decomposed into ðn 0 Þ 2 edge-disjoint induced matchings of size 2 kÀ1 . Consequently we obtain a required edge partition of X n , and the upper bound v 0 s jEj 2 kÀ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.
. . .; s k and t 1 ; . . .; t k be positive integers. Assume that ðA 1 ; B 1 Þ; . . .; ðA m ; B m Þ are pairs of sets with the following properties: Note that in case of Proof of the lower bound: We prove that the largest induced matchings in X n have no more than 2 kÀ1 edges. This clearly imply the lower bound v 0 s ! jEj 2 kÀ1 . Assume that the edges ðu 1 ; v 1 Þ; . . .; ðu h ; v h Þ form an induced matching. We further define 2h pairs of sets . . .; y ' p ' À1 g; 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 2 X n as follows: . . .; y k v mod p k g : Now, for every 1 i h we set Then the sets of the same index are disjoint, due to the adjacency of u i and v i . On the other hand, since u i is not adjacent to u j if j 6 ¼ i, the difference u i À u j is divisible by some p ' , which implies that A 2iÀ1 -as well as B 2i -meets both B 2jÀ1 and A 2j inside Y ' . Analogous consequences can be derived from the nonadjacencies u i 6 $ v j , v i 6 $ u j , and v i 6 $ v j . It follows that the pairs ðA 1 ; B 1 Þ; . . .; ðA 2h ; B 2h Þ satisfy the conditions of Lemma 1, with s ' ¼ t ' ¼ 1 for all 1 ' k. Consequently 2h 2 k holds, so that every induced matching has at most 2 kÀ1 edges, as claimed. This completes the proof of the theorem. h

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 Brualdi and Quinn Massey's conjecture [8] for bipartite graphs, namely that the strong chromatic index of an (A, B)-partite graph is at most DðAÞDðBÞ. Note that the product of two trees is a bipartite graph. So our result implies that the product of two trees satisfies the conjectured bound given by Brualdi and Quinn Massey.
Theorem 3 Let T 1 and T 2 be two trees. Then v 0 s ðT 1 hT 2 Þ 2DðT 1 hT 2 Þ. Proof Let x and y be leaves of T 1 and T 2 respectively. We consider T 1 and T 2 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 T 1 and c be that of y in T 2 .
The idea is to construct a tower of induced subgraphs G 1 ¼ S 1 hS 2 G 2 G 3 . . . G n ¼ T 1 hT 2 of T 1 hT 2 and in each step we extend the coloring of G iÀ1 to a strong edge coloring of G i , so that the coloring satisfies the following conditions: (i) All the edges of T 1 Â VðT 2 Þ (recall it is collection of all the edges of the T 1fibers) use colors from f1; 2; 3; . . .; 2D 1 g. 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 T 1 and T 2 separately. This approach can be formalised in a precise way as described below. We define G 2 to be the subgraph induced by fu : v j d T 1 ðx; uÞ 2; d T 2 ðy; vÞ 2g of T 1 hT 2 . Now jfða : y; a 0 : yÞ; ða : c; a 0 : cÞ j a 0 is adjacent to a and a 0 6 ¼ xgj 2D 1 À 2. So we can assign colors 1; 2; . . .; 2D 1 À 2 to these edges such that no two edges get the same color. Similarly we can distribute the colors 2D 1 þ 1; 2D 1 þ 2; . . .; 2D 1 þ 2D 2 À 2 to fðx : c; x : c 0 Þ; ða : c; a : c 0 Þ j c 0 is adjacent to c and c 0 6 ¼ yg, so that no two edges get the same color.  Since T 1 is a tree, if a 0 and a 00 are adjacent to a, then they are not adjacent to each other, therefore fða 0 : y; a 0 : cÞ j a 0 $ ag forms an induced matching; and so does fða 0 : c; a 0 : c 0 Þ j a 0 $ ag for any fixed neighbor c 0 of c in T 2 . Hence we can assign the color of (x : y, x : c) to fða 0 : y; a 0 : cÞ j a 0 6 ¼ x; a 0 $ ag and the color of ðx : c; x : c 0 Þ to fða 0 : c; a 0 : c 0 Þ j a 0 6 ¼ x; a 0 $ ag. Similarly, for every fixed a 0 $ a, we can give the color of ða 0 : y; a : yÞ to fða : c 0 ; a 0 : c 0 Þ j c 0 6 ¼ y; c 0 $ cg. Clearly this coloring satisfies (i), (ii), (iii), (iv). Now for every ', define G ' to be the subgraph induced by fu : v j d T 1 ðx; uÞ '; d T 2 ðy; vÞ 'g (note that if m ¼ maxfdiamðT 1 Þ; diamðT 2 Þg, then G m ¼ T 1 hT 2 ). Suppose we have a coloring of G 'À1 that satisfies (i), (ii), (iii), (iv). Now we give coloring to the rest of the edges of G ' . First we assign the colors to fðu : v; u 0 : vÞ j ðu; u 0 Þ 2 EðT 1 Þ; v 2 VðT 2 Þg.
Let u be a vertex of T 1 of distance ' À 1 from x and s be its parent. The colored edges of distance two from fðu : y; u 0 : yÞ j u 0 6 ¼ s; u 0 $ ug are the edges incident to s : y or u : c. Since G 'À1 satisfies (i) and (ii) , so (s : c, u : c) is the only edge adjacent to u : c that uses a color among 1; 2; 3; . . .; 2D 1 . Again, coloring of G iÀ1 satisfies (iii), there are at least D 1 À 1 colors among f1; 2; 3; . . .; 2D 1 g, not being used by any of the edges incident to s : y or by the edge (s : c, u : c). We can assign those colors to fðu : y; u 0 : yÞ j u 0 6 ¼ s; u 0 $ ug, so that no two edges get the same color. Then for any fixed u 0 6 ¼ s where u 0 $ u, the only colored edges of distance two from ðu : c; u 0 : cÞ are the edges incident to s : c or incident to one of the vertices of the set fu : c 0 j c 0 $ cg. Now for any c 0 6 ¼ y adjacent to c, ðs : c 0 ; u : c 0 Þ is the only edge incident to u : c 0 that uses colors among 1; 2; 3; . . .; 2D 1 (by (i), (ii)). Again (iii) says that the color of ðs : c 0 ; u : c 0 Þ is the color of (s : y, u : y). Therefore, there are D 1 À 1 suitable colors among 1; 2; 3; . . .; 2D 1 for fðu : c; u 0 : cÞ j u 0 6 ¼ s; u 0 $ ug.
Distribute those colors to fðu : c; u 0 : cÞ j u 0 6 ¼ s; u 0 $ ug. Now we claim the following for a fixed u 0 6 ¼ s, where u 0 is adjacent to u. Claim We can assign the color of ðu : v; u 0 : vÞ to fðu : t; u 0 : tÞ j d T 2 ðv; tÞ ¼ 2g.
Proof of the Claim We apply induction on distance from u. If ðu : t; u 0 : tÞ is already colored, then the induction hypothesis assures the claim. Now we may assume that ðu : t; u 0 : tÞ did not get a color till now and v 0 is adjacent to both v and t. The only colored edges of distance two from ðu : t; u 0 : tÞ are fðs : t 0 ; u : t 0 Þ j t 0 is a child of tg and the edges incident to u : v 0 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 0 or s : t.
Since v 0 is adjacent to t, the color of ðu : v; u 0 : vÞ is not used by any of the edges incident to u : v 0 . Also (iii) ensures that it is not used by the edges incident to s : t. Again fðu : t; u 0 : tÞ j d T 2 ðv; tÞ ¼ 2g is an induced matching. Hence we can assign the color of ðu : v; u 0 : vÞ to fðu : t; u 0 : tÞ j d T 2 ðv; tÞ ¼ 2g. The claim is proved. By coloring accordingly we get a partial strong edge coloring that satisfies (i) and (iii). h By symmetry we can color VðT 1 Þ Â T 2 by using the colors 2D 1 þ 1; 2D 1 þ 2; . . .; 2D 1 þ 2D 2 such that it satisfies (ii) and (iv) . That says the strong chromatic index of G n ¼ T 1 hT 2 is at most 2D 1 þ 2D 2 ¼ 2DðT 1 hT 2 Þ. h 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 T 1 and T 2 such that v 0 s ðT 1 hT 2 Þ ¼ 2DðT 1 hT 2 Þ. Before showing that, we find a lower bound for the same, in the next theorem.
h Let T 1 and T 2 be two trees and suppose that one of them has two maximumdegree vertices adjacent to each other. Then the upper and lower bound of v 0 s ðT 1 hT 2 Þ are the same. So the following corollary is immediate. Corollary 1 Let T be a tree. Then v 0 s ðThP n Þ ¼ 2ðDðTÞ þ DðP n ÞÞ ¼ 2DðThP n Þ 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 5
The strong chromatic index of K 1;n hK 1;m is 2n þ m þ 2, where n ! m.
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 K 1;n -fibers, namely one color for each induced matching of type fðx : y j ; x i : y j Þ j 1 j mg, in the range m þ 1 i n. m colors on induced matchings which take one edge from each of n À 1 K 1;mfibers and one from each of m À 1 K 1;n -fibers, defined as A i :¼ fðx : y i ; x j : y i Þ j 1 j n; j 6 ¼ ig [ fðx i : y; x i : y j Þ j 1 j m; j 6 ¼ ig Hence the vertices of type x i : y j in A i are located in the union of two fibers, namely in ðfx i g Â K 1;m Þ [ ðK 1;n Â fy i gÞ, omitting their intersection vertex x i : y i . -2 colors for the edges ending in the diagonal vertices x i : y i , namely one color for fðx i : y; x i : y i Þ j 1 i mg and one for fðx : y i ; x i : y i Þ j 1 i mg.
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 K 1;m -fiber centered at an x i : y, neither on any K 1;n -fiber centered at an x : y i , only the following three types of color classes can occur: (i) Precisely m edges ðx : y i ; x j i : y i Þ for i ¼ 1; 2; . . .; m, where j i is arbitrary (1 j i n); let the number of such color classes be denoted by a. (ii) At most m À 1 edges incident with vertices of type x : y i , and at most n À 1 edges incident with some of the x i : y ; let the number of such color classes be denoted by b. (iii) Precisely n edges ðx i : y; x i : y j i Þ for i ¼ 1; 2; . . .; n, where j i is arbitrary (1 j i 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.) The n copies of K 1;m , as well as the m copies of K 1;n , contain precisely mn edges. Therefore the following inequalities must hold: Rearrangement yields Thus, This inequality implies the required lower bound a þ b þ c [ n þ 1, unless In this case, however, we have from which, using (3), we obtain a þ b ! n þ b=m [ n þ 1: Therefore we need at least 2n þ m þ 2 colors. Hence v 0 s ðK 1;n hK 1;m Þ ¼ 2n þ m þ 2. h

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 D stands for its maximum degree, as a shorthand for DðTÞ.
Lemma 2 Let C be any cycle of length at least 4. Then v 0 s ðThCÞ ! 2D þ 4. Proof Corollary 1 says that the strong chromatic index of the Cartesian product of T and a path longer than two is 2D þ 4. Now C contains a path with 4 vertices. Therefore v 0 s ðThCÞ ! 2D þ 4. h This inequality holds with equality if the length of the cycle is divisible by 4. We prove this in the next theorem.
Proof The above lemma says that v 0 s ðThC 4' Þ ! 2D þ 4. Now we show that there is a strong edge coloring on ThC 4' that uses 2D þ 4 colors.
We can extend this coloring to ThC 4' by defining 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 0 adjacent to it. 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 9 we find a better bound for the remaining even cycles.

Theorem 8
The strong chromatic index of ThC 6 is at most 2DðTÞ þ 6.
Proof Let a be a vertex in T, and set C 6 ¼ t 1 t 2 t 3 t 4 t 5 t 6 t 1 . Consider the strong edge coloring c on ThðC 6 n fðt 6 ; t 1 ÞgÞ as described in Theorem 6. It follows that the coloring c satisfies the following properties: (i) All the the edges of T Â VðC 6 Þ use colors from f1; 2; 3; . . .; 2Dg. (ii) cððu : t i ; u 0 : t i ÞÞ ¼ cððu : t j ; u 0 : t j ÞÞ, whenever 2jði À jÞ.
We now extend the coloring to obtain the color function c 0 on the edges of ThC 6 as follows. Let c 0 ððu : t i ; v : t i ÞÞ ¼ cððu : t i ; v : t i ÞÞ, for all i and ðu; vÞ 2 EðTÞ. For every vertex u in T, define c 0 ððu : t i ; u : t iþ1 ÞÞ to be 2D þ 1 þ ði mod 3Þ if d T ðu; aÞ is even, else let 2D þ 4 þ ði mod 3Þ.
Thus for any two adjacent vertices u and v in T, we see c 0 ððu : t i ; u : t iþ1 ÞÞ 6 2 fc 0 ððv : t i ; v : t iþ1 ÞÞ; c 0 ððu : t iþ1 ; u : t iþ2 ÞÞ; c 0 ððv : t iþ1 ; v : t iþ2 ÞÞ; c 0 ððu : t iþ2 ; u : t iþ3 ÞÞg. Again c is a strong edge coloring and it satisfies (ii). So c 0 ððu : t i ; v : t i ÞÞ 6 ¼ c 0 ððu : t j ; v : t j ÞÞ, for all t i adjacent to t j . Hence c 0 is a strong edge coloring. h This bound is tight. The strong chromatic bound of C 6 hP 2 is 8. On the other hand there are also graphs whose product does not attend this bound. The strong chromatic index of C 6 hP 3 is 9.
Define the color function c 0 on ThVðC 2' Þ as that of c. Now (iii) says that c 0 ððu : t 1 ; u 0 : t 1 ÞÞ ¼ c 0 ððu : t 2'À1 ; u 0 : t 2'À1 ÞÞ. Hence c 0 ððu : t 1 ; u 0 : t 1 ÞÞ 6 ¼ c 0 ððu : t 2' ; v : t 2' ÞÞ and c 0 ððu : t 2' ; v : t 2' ÞÞ 6 ¼ c 0 ððu : t 2'À1 ; v : t 2'À1 ÞÞ, for any vertex v adjacent to u (including u 0 ). Therefore c 0 is a partial coloring on ThC 2' that uses 2D 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 ½2' define the sets A i :¼ fðu : t i ; u : t iþ1 Þ j d T ðu; aÞ is eveng and B i :¼ fðu : t i ; u : t iþ1 Þ j d T ðu; aÞ is oddg. Clearly every uncolored edge appears exactly in one of the A i or B i . Let ðu : t i ; u : t iþ1 Þ and ðv : t i ; v : t iþ1 Þ be two edges of A i . By the definition of the Cartesian product, u : t i is not adjacent to v : t iþ1 and u : t iþ1 is not adjacent to v : t i . Again both d T ðu; aÞ and d T ðv; aÞ are even. So u : t i (respectively u : t iþ1 ) is not adjacent to v : t i (respectively v : t iþ1 ). Therefore A i is an induced matching, for every i. Similarly we can show that for every i, B i is an induced matching. Moreover it satisfies the following properties. 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: h This bound is also tight. The strong chromatic index of C 10 hP 2 is 7. The above theorem and Theorem 2 say that the strong chromatic index of the Cartesian product of a tree T and an even cycle C 2' of length more than 6 is either 2DðTÞ þ 4 or 2Dð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.
Proof Let a be a vertex of maximum degree in T, and set C 2'þ1 ¼ t 1 t 2 . . .t 2'þ1 t 1 . We view a as the root of T. Let D 1 ; D 2 ; . . .; D v 0 s ðTÞ be a partition (some of the D i may be empty) of the edges of T into induced matchings. We are going to define a strong edge coloring c on ThC 2'þ1 . First we give colors to the edges of all the T-fibers.
For each 1 i bD=2c, define the following two D-tuples: . . .; DÞ and c 2i :¼ ð1; 2; . . .; ði À 1Þd D ' e; D þ ði À 1Þd D ' e þ 1; . . .; 2DÞ. That is the j th term of c 2iþ1 , and the j th term of c 2i , Note that ðc iþ1 Þ j 0 6 ¼ ðc i Þ j and ðc i Þ j 6 ¼ ðc i Þ j 0 , for all i; j; j 0 . Now for any vertex u 0 and its parent u in T, define uÞ is even and ðu; u 0 Þ 2 D j ðc iþ1 Þ j ; if d T ða; uÞ is odd and ðu; u 0 Þ 2 D j ( We claim that each color class is an induced matching in ThC 2'þ1 . Let ðu : t i ; u 0 : t i Þ and ðu : t i ; u 00 : t i Þ be two adjacent edges. Then, since every D i is an induced matching, both ðu; u 0 Þ and ðu; u 00 Þ cannot be in the same D i . Hence cððu : t i ; u 0 : t i ÞÞ 6 ¼ cððu : t i ; u 00 : t i ÞÞ. Now let v : t k be adjacent to u : t i . The definition of the Cartesian product says that either i ¼ k or u ¼ v. If i ¼ k, then cððu : t i ; u 0 : t i ÞÞ 6 ¼ cððv : t i ; v 0 : t i ÞÞ, for any v 0 (using the properties of the sets c j , and that the D i are induced matchings). If i 6 ¼ k, then u ¼ v and t i is adjacent to t j . Without loss of generality, let k ¼ i þ 1 mod ð2' þ 1Þ. We know that ðc i Þ j 6 ¼ ðc iþ1 Þ j 0 , for all i; j; j 0 . So cððu : t i ; u 0 : t i ÞÞ 6 ¼ cððv : t i ; v 0 : t i ÞÞ. 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 A i :¼ fðu : t i ; u : t iþ1 Þ j d T ðu; aÞ is eveng and B i :¼ fðu : t i ; u : t iþ1 Þ j d T ðu; aÞ is oddg, i 2 ½2' þ 1. It is easy to see that the following properties hold.
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 partition VðTÞ Â C 2'þ1 into induced matchings. Otherwise 2' þ 1 3 mod 4, and then the sets form a required partition.
Therefore the strong chromatic index of ThC 2'þ1 is at most 2D þ d D ' e þ 5, for ' [ 3. h 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.
Proof Let a be an arbitrary vertex of T. We can assign the colors 1; 2; 3; . . .; 2D þ d D ' e to the edges of T Â VðC 2'þ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Þ Â C 2'þ1 .
Define A i and B i as in the preceding proof, for i 2' þ 1. We have already shown above that the sets A i and B i are induced matchings. Hence v 0 s ðThC 3 Þ 3D þ 6. Now further properties of these A i and B i (as mentioned above) ensure that the following properties are true.
If 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 C k by adding p v new pendant vertices adjacent to v, for each vertex v in C k . Then H is called a C k -jellyfish. On such graphs, Chang et al. [11] proved a general lower bound (their Theorem 13), which implies the following formula.
Theorem 12 [11] If G is a C k -jellyfish of m edges, such that k is odd and all vertices of C k have the same degree in G, then v 0 s ðGÞ ! d m bk=2c e.
By using this theorem, we can derive an improved lower bound for the strong chromatic index of the product of a tree with an odd cycle.
Corollary 2 If T is a tree, then v 0 s ðThC 2'þ1 Þ ! d ð2'þ1ÞðDðTÞþ1Þ ' e ¼ 2D þ d DðTÞþ1 ' e þ 2. Proof Let u be a vertex of maximum degree in T, and set C 2'þ1 ¼ t 1 t 2 . . .t 2'þ1 t 1 . Now ThC 2'þ1 contains G½NðuÞ [ fughC 2'þ1 , which contains a ðD þ 2Þ-regular C 2'þ1 -jellyfish. Therefore v 0 s ðThC 2'þ1 Þ ! d ð2'þ1ÞðDþ1Þ ' e. h Remark 1 Note that the difference of the lower and the upper bound for the strong chromatic 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. Table 2 summarizes the results which involve cycles. Theorem 11 and Corollary 2 give upper and lower bounds for the strong chromatic index of product of any tree with odd cycles. In particular for C 3 the strong chromatic index of both K 2 hC 3 and P 3 hC 3 is 9, showing that the upper bound 2D þ d D ' e þ 6 and also the lower bound 2D þ d Dþ1 ' e þ 2 is tight in case of ' ¼ 1 for at least one graph (with D ¼ 1 and D ¼ 2, respectively). Therefore the bounds for the strong chromatic index of product of a tree with C 3 cannot be 2' þ 1 ! 9 2D þ d D ' e þ 5 10 improved in general. For other odd cycles these bounds might be improved. The tightness of bounds for the strong chromatic index of product of trees with even cycles was discussed in the previous section.

Conclusion
Note Added in Proof. Recently the authors proved the generalization of Theorem 3 for the Cartesian product of any number of trees.
Funding Open access funding provided by ELKH Alfréd Rényi Institute of Mathematics. The fourth author thanks for the support given in part by the Széchenyi 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.
Availability of data and material Not applicable.
Code availability Not applicable.

Declarations
Conflict of interest The authors declare that they have no conflict of interest.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http:// creativecommons.org/licenses/by/4.0/.