1 Introduction

Throughout the paper, an edge joining vertices u and v is denoted by (uv). 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 (uv) and (vw), \(c((u,v)) \ne c((v,w))\). In addition, if \(c((u,v)) \ne c((w,x))\) whenever (vw) 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 \({\chi _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\subset 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 coloringFootnote 1 of G. The notion was introduced by Fouquet 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ős and Nešetřil’s conjecture, which states that the strong chromatic index of any graph G is at most \((5\varDelta ^2 -2\varDelta +1)/4\) if \(\varDelta\) is odd, and at most \(5\varDelta ^2/4\) if \(\varDelta\) is even. Here \(\varDelta =\varDelta (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\varDelta ^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 \(\varDelta /2\) into its vertices if \(\varDelta\) is even (inserting a complete bipartite graph between any two consecutive sets along the cycle), or two consecutive sets of size \((\varDelta +1)/2\) and three others of size \((\varDelta -1)/2\) if \(\varDelta\) 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 \(\varDelta\) 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 \(\varDelta\), Andersen [3] and Horák et al. [20] showed that every cubic graph G satisfies \({\chi _s'}(G) \le 10\). (The case of non-regular sub-cubic graphs is easy, as noted in [17]). The case of \(\varDelta =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 \({\chi _s'}(G)\le 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 \({\chi _s'}(G) \le 1.93 \varDelta ^2(G)\), for graphs of sufficiently large maximum degree. This improves an old bound of \({\chi _s'}(G) \le 1.998 \varDelta ^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.772\varDelta ^2(G)\), for any graph G with sufficiently large maximum degree \(\varDelta (G)\).

In 1989, Faudree et al. [16] conjectured that every bipartite graph G satisfies \({\chi _s'}(G) \le (\varDelta (G))^2\). Brualdi and Quinn Massey strengthened this conjecture to state that if G is a bipartite graph with bipartition (AB) and \(\varDelta (A)\) and \(\varDelta (B)\) are the maximum degrees of the vertices in A and B respectively, then \({\chi _s'}(G) \le \varDelta (A)\varDelta (B)\) holds [8]. Later, Nakprasit [34] proved that this conjecture is valid when \(\varDelta (A)=2\). That is, for a \((2,\varDelta )\)-bipartite graph there is a strong edge coloring that uses at most \(2\varDelta\) colors. In 2017, Huang et al. [23] showed that if G is a \((3,\varDelta )\)-bipartite graph, then \({\chi _s'}(G)\le 3\varDelta\). 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 \(4\varDelta +4\) strong edge coloring [17]. Moreover, \(3\varDelta +5\) colors are sufficient if the planar graph has girth 6, and if it has girth at least 7 then even \(3\varDelta\) colors are sufficient [24]. Furthermore for outerplanar graphs an exact formula can be given, as shown in the following theorem.

Theorem 1

[7] Let G be an outerplanar graph. Then \({\chi _s'}(G)= \max \{\max \limits _{uv \in E}\) \(d(u)+d(v)-1, \max \limits _{H \in {\mathcal {P}}} {\chi _s'}(H)\}\), where \({\mathcal {P}}\) is the set of all puffer subgraphs of G. Moreover, if G is bipartite, then \({\chi _s'}(G)\) is either \(\max _{uv \in E} d(u)+d(v)-1\) or \(\max _{uv \in 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 \cup C\) be a Halin graph. Lai et al. [28] proved that \({\chi _s'}(G) \le {\chi _s'}(T)+3\), provided G is different from some special graphs. Also it is known that every Halin graph G with \(\varDelta (G) \ge 4\) satisfies \({\chi _s'}(G) \le 2\varDelta (G)+1\) [21]. Moreover, apart from two exceptions, cubic Halin graphs have \(\chi '_s(G) \le 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 \({\mathbb {Z}}_n\), that is \(U_n = \{ m\in {\mathbb {Z}}_n\mid \gcd (m,n)=1\}\). For any natural number the Cayley graph \(\mathrm{Cay}({\mathbb {Z}}_n,U_n)\) is called a unitary Cayley graph and is denoted by \(X_n\). Now for any \(m \in {\mathbb {Z}}_n\), \(\gcd (m,n) = 1\) if and only if \(\gcd (-m,n)=1\), and every element of \(U_n\) generates \({\mathbb {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 \(\phi (n)\)-regular graph, where \(\phi\) 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 \(\phi (n)+1\) if n is odd, and it is \(\phi (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 \({\chi _s'}(X_n) = |E|/{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 \({\chi _s'}(Q_n)=2n\) for all \(n\ge 2\). The systematic study of \({\chi _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.

2 Definitions and Notation

Following the standard notation, \(C_{\ell }\) denotes the cycle graph of length \(\ell\). We write \(u \sim v\) to say u is adjacent to v.

For any edge (uv) in a graph G, define the edge degree \(d'(u,v)\) of (uv) 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 \(\varDelta '(G)\), is the maximum of all the edge degrees.

Recall that the Cartesian product of any two graphs G and H, denoted by \(G \Box H\), is the graph with vertex set \(\{ a:u\mid a \in V(G)\) and \(u \in 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 \times \{h\}\) to be the graph with vertex set \(\{a:h\mid a \in V(G)\}\) and edge set \(\{(a:h,b:h)\mid (a,b) \in E(G)\}\). Similarly define H-fibers. Note that we can write \(G \Box H\) as \((G \times V(H)) \cup (V(G) \times H)\).

Another type of graph product is the categorical product or direct product of G and H, denoted by \(G\times H\). It also has the vertex set \(\{ a:u\mid a \in V(G)\) and \(u \in V(H)\}\), but in this product vertices a : u and b : v are adjacent if \(a \sim b\) in G and \(u \sim v\) in H. Notation is expressive for both kinds of products, indicating that \(K_2\Box K_2\cong C_4\) and \(K_2\times K_2\cong 2K_2\).

3 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 \(\phi (n)\)-regular graph of order n. Therefore, the size (number of edges) of \(X_n\) is \(n\frac{\phi (n)}{2}\). Note that if n has prime divisors \(p_1,\dots ,p_k\) then \(\phi (n)=n\prod _{i=1}^k \left( 1 - \frac{1}{p_i}\right)\). It will also be convenient to introduce the notation \(n'=\frac{n}{\prod _{i=1}^k p_i}\), and to write \(n''=\prod _{i=1}^k p_i\).

Our main result is the following formula.

Theorem 2

Let n be a natural number with the prime factorization \(p_1^{r_1}p_2^{r_2}\dots p_k^{r_k}\). Then \({\chi _s'}(X_n) = \frac{ \vert E\vert }{2^{k-1}} = n\frac{\phi (n)}{2^{k}}\).

Proof

We prove that \(\frac{ \vert E\vert }{2^{k-1}}\) is both an upper bound and a lower bound on \({\chi _s'}(X_n)\). First let us make some observations on the structure of \(X_n\). Each \(v\in {\mathbb {Z}}_n\) can be classified according to its residues modulo the prime factors, assigning with v the k-tuple

$$\begin{aligned} \langle v \rangle := (v\,\mod p_1, v\,\mod p_2, \, \dots \, , v\,\mod p_k). \end{aligned}$$

This assignment partitions the vertex set into \(n''= p_1p_2\dots p_k\) classes, each class having cardinality \(n' = p_1^{r_1-1}p_2^{r_2-1}\dots p_k^{r_k-1}\). These are precisely the classes of false twins: if \(\langle u \rangle = \langle v \rangle\), 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} \times K_{p_2} \times \cdots \times K_{p_k}\), and then substituting independent sets of size \(n'\) (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',n'}\). (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,

$$\begin{aligned} {\chi _s'}(X_{p^r}) = \vert E(X_{p^r}) \vert = \frac{p^{2r-1}(p-1)}{2} \end{aligned}$$

clearly holds, and we only have to consider \(k\ge 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 \({\chi _s'}\le \frac{ \vert E\vert }{2^{k-1}}\).

To this end, we construct an edge partition for \(K^*\), where the graph \(K^*\) is actually just \(X_{n''}\). Consider any edge \((u,v)\in K_{p_1} \times \cdots \times K_{p_k}\). Let us write \(\langle u \rangle\) and \(\langle v \rangle\) in the form \(\langle u \rangle = (a_1,\dots ,a_k)\) and \(\langle v \rangle = (b_1,\dots ,b_k)\). Since (uv) is an edge, we have \(a_i\ne b_i\) for all \(1\le i\le k\). Hence, the Cartesian product \(\{a_1,b_1\} \times \cdots \times \{a_k,b_k\}\) 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'_1,\dots ,a'_k),(b'_1,\dots ,b'_k)\in S\) are adjacent if and only if \(\{a'_i,b'_i\}=\{a_i,b_i\}\) holds for all i, as otherwise the corresponding two numbers would share a prime divisor. Hence every \(v\in S\) has one and only one neighbor in S; that is, S induces a matching, which then necessarily has \(|S|/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'\) into the vertices of \(K^*\), each edge gets replaced by a subgraph isomorphic to \(K_{n',n'}\). 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',n'}\) in \(X_n\). Since the induced matchings defined in \(K^*\) are mutually edge-disjoint, these copies of \(2^{k-1} K_{n',n'}\) are edge-disjoint. Obviously each of these subgraphs can be decomposed into \((n')^2\) edge-disjoint induced matchings of size \(2^{k-1}\). Consequently we obtain a required edge partition of \(X_n\), and the upper bound \({\chi _s'}\le \frac{ \vert E\vert }{2^{k-1}}\) follows.

Fig. 1
figure 1

Substitution of an edge of \(X_6\) in \(X_{12}\)

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 1

[2] Let \(Y_1,\dots ,Y_k\) be mutually disjoint sets, \(Y=Y_1\cup \cdots \cup Y_k\). Moreover let \(s_1,\dots , s_k\) and \(t_1,\dots ,t_k\) be positive integers. Assume that \((A_1,B_1),\dots , (A_m,B_m)\) are pairs of sets with the following properties:

  • \(A_i\cup B_i\subseteq Y\) and \(A_i\cap B_i = \emptyset\) for all \(1\le i\le m\);

  • \(A_i\cap B_j \ne \emptyset\) for all \(1\le i<j\le m\);

  • \(|A_i\cap Y_\ell | \le s_\ell\) and \(|B_i\cap Y_\ell | \le t_\ell\) for all \(1\le i\le m\) and all \(1\le \ell \le k\).

Then \(m\le \prod _{\ell =1}^k {s_\ell +t_\ell \atopwithdelims ()s_\ell }\).


Note that in case of \(s_1=\ldots =s_k=t_1=\ldots =t_k=1\) the upper bound simply means \(m\le 2^k\).


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 \({\chi _s'}\ge \frac{ \vert E\vert }{2^{k-1}}\).

Assume that the edges \((u_1,v_1),\dots ,(u_h,v_h)\) form an induced matching. We further define 2h pairs of sets \((A_i,B_i)\) over an underlying set \(Y=Y_1\cup \cdots \cup Y_k\); two pairs of sets are to be defined for each edge. For every \(1\le \ell \le k\) we write \(Y_\ell = \{y^\ell _0,y^\ell _1,\dots ,y^\ell _{p_\ell -1}\}\); those vertices represent the residue classes modulo \(p_\ell\).

The ordered k-tuple \(\langle v \rangle\) of integers allows us to associate a k-element subset \(H(v)\subset Y\) with each vertex \(v\in X_n\) as follows:

$$\begin{aligned} H(v) = \{ y^1_{v\!\!\!\!\mod p_1} , y^2_{v\!\!\!\!\mod p_2} , \dots , y^k_{v\!\!\!\!\mod p_k} \} \ . \end{aligned}$$

Now, for every \(1\le i\le h\) we set

$$\begin{aligned} A_{2i-1} = H(u_i) , \quad B_{2i-1} = H(v_i) , \quad A_{2i} = H(v_i) , \quad B_{2i} = H(u_i) \ . \end{aligned}$$

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\ne i\), the difference \(u_i-u_j\) is divisible by some \(p_\ell\), which implies that \(A_{2i-1}\) — as well as \(B_{2i}\) — meets both \(B_{2j-1}\) and \(A_{2j}\) inside \(Y_\ell\). Analogous consequences can be derived from the nonadjacencies \(u_i\not \sim v_j\), \(v_i\not \sim u_j\), and \(v_i\not \sim v_j\). It follows that the pairs \((A_1,B_1),\dots ,(A_{2h},B_{2h})\) satisfy the conditions of Lemma 1, with \(s_\ell =t_\ell =1\) for all \(1\le \ell \le k\). Consequently \(2h\le 2^k\) holds, so that every induced matching has at most \(2^{k-1}\) edges, as claimed. This completes the proof of the theorem. \(\square\)

4 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 (AB)-partite graph is at most \(\varDelta (A)\varDelta (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 \({\chi _s'}(T_1 \Box T_2) \le 2\varDelta (T_1 \Box T_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\).

We know that \(2\varDelta (T_1 \Box T_2) = 2\varDelta (T_1) + 2\varDelta (T_2)\). Now onwards we write \(\varDelta _1\) for \(\varDelta (T_1)\) and \(\varDelta _2\) for \(\varDelta (T_2)\). We give a coloring to the edges of \(T_1 \Box T_2\). The Cartesian product of the subgraph \(S_1\), induced by \(\{x,a\}\) in \(T_1\) and the subgraph \(S_2\), induced by \(\{y,c\}\) in \(T_2\) is just a 4-cycle. Now give colors \(2\varDelta _1-1, 2\varDelta _1, 2\varDelta _1+2\varDelta _2-1, 2\varDelta _1+2\varDelta _2\) to (x : ya : y), (a : cx : c), (x : cx : y), (a : ya : c) respectively.

The idea is to construct a tower of induced subgraphs \(G_1= S_1 \Box S_2 \subseteq G_2 \subseteq G_3 \subseteq \dots \subseteq G_n = T_1 \Box T_2\) of \(T_1 \Box T_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:

  1. (i)

    All the edges of \(T_1 \times V(T_2)\) (recall it is collection of all the edges of the \(T_1\)-fibers) use colors from \(\{1,2,3,\dots ,2\varDelta _1\}\).

  2. (ii)

    All the edges of \(V(T_1) \times T_2\) use colors from \(\{2\varDelta _1+1,2\varDelta _1+2,\dots ,2\varDelta _1+ 2\varDelta _2\}\).

  3. (iii)

    The distance from v to \(v'\) is even in \(T_2\) if and only if for every \((u,u')\in E(T_1)\), the color of the edge \((u:v,u':v)\) is same as the color of \((u:v',u':v')\).

  4. (iv)

    The distance from u to \(u'\) is even in \(T_1\) if and only if for every \((v,v') \in E(T_2)\), 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 \(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 \(\{u:v\mid d_{T_1}(x,u) \le 2, \ d_{T_2}(y,v) \le 2\}\) of \(T_1 \Box T_2\). Now \(|\{(a:y,a':y),(a:c,a':c) \mid a'\) is adjacent to a and \(a' \ne x\}| \le 2\varDelta _1-2\). So we can assign colors \(1,2,\dots ,2\varDelta _1-2\) to these edges such that no two edges get the same color. Similarly we can distribute the colors \(2\varDelta _1+1, 2\varDelta _1+2,\dots ,2\varDelta _1+2\varDelta _2-2\) to \(\{(x:c,x:c'),(a:c,a:c')\mid c'\) is adjacent to c and \(c' \ne y\}\), so that no two edges get the same color.

figure a

Since \(T_1\) is a tree, if \(a'\) and \(a''\) are adjacent to a, then they are not adjacent to each other, therefore \(\{ (a':y,a':c)\mid a' \sim a\}\) forms an induced matching; and so does \(\{ (a':c,a':c')\mid a' \sim a\}\) for any fixed neighbor \(c'\) of c in \(T_2\). Hence we can assign the color of (x : yx : c) to \(\{ (a':y,a':c)\mid a'\ne x, \ a' \sim a\}\) and the color of \((x:c,x:c')\) to \(\{ (a':c,a':c')\mid a' \ne x, \ a' \sim a\}\). Similarly, for every fixed \(a' \sim a\), we can give the color of \((a':y,a:y)\) to \(\{ (a:c',a':c')\mid c'\ne y, \ c' \sim c\}\). Clearly this coloring satisfies (i), (ii), (iii), (iv).

Now for every \(\ell\), define \(G_{\ell }\) to be the subgraph induced by \(\{u:v\mid d_{T_1}(x,u) \le \ell , \ d_{T_2}(y,v) \le \ell \}\) (note that if \(m = \max \{ \mathrm {diam}(T_1), \mathrm {diam}(T_2)\}\), then \(G_m = T_1 \Box T_2\)). Suppose we have a coloring of \(G_{\ell -1}\) that satisfies (i), (ii), (iii), (iv). Now we give coloring to the rest of the edges of \(G_{\ell }\). First we assign the colors to \(\{ (u:v,u':v)\mid (u,u') \in E(T_1),v \in V(T_2)\}\).

Let u be a vertex of \(T_1\) of distance \(\ell -1\) from x and s be its parent. The colored edges of distance two from \(\{ (u:y,u':y)\mid u'\ne s, \ u' \sim u\}\) are the edges incident to s : y or u : c. Since \(G_{\ell -1}\) satisfies (i) and (ii) , so (s : cu : c) is the only edge adjacent to u : c that uses a color among \(1,2,3,\dots ,2\varDelta _1\). Again, coloring of \(G_{i-1}\) satisfies (iii), there are at least \(\varDelta _1-1\) colors among \(\{1,2,3,\dots ,2\varDelta _1\}\), not being used by any of the edges incident to s : y or by the edge (s : cu : c). We can assign those colors to \(\{ (u:y,u':y)\mid u' \ne s, \ u' \sim u\}\), so that no two edges get the same color. Then for any fixed \(u'\ne s\) where \(u' \sim u\), the only colored edges of distance two from \((u:c,u':c)\) are the edges incident to s : c or incident to one of the vertices of the set \(\{u:c'\mid c' \sim c\}\). Now for any \(c'\ne y\) adjacent to c, \((s:c',u:c')\) is the only edge incident to \(u:c'\) that uses colors among \(1,2,3,\dots ,2\varDelta _1\) (by (i), (ii)). Again (iii) says that the color of \((s:c',u:c')\) is the color of (s : yu : y). Therefore, there are \(\varDelta _1-1\) suitable colors among \(1,2,3,\dots ,2\varDelta _1\) for \(\{ (u:c,u':c)\mid u'\ne s, \ u' \sim u\}\). Distribute those colors to \(\{ (u:c,u':c)\mid u'\ne s, \ u' \sim u\}\).

Now we claim the following for a fixed \(u' \ne s\), where \(u'\) is adjacent to u.

Claim

We can assign the color of \((u:v,u':v)\) to \(\{ (u:t,u':t)\mid d_{T_2}(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')\mid t'\) is a child of \(t\}\) and the edges incident to \(u:v'\) or s : t. Since the coloring of \(G_{\ell -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)\mid d_{T_2}(v,t) = 2\}\) is an induced matching. Hence we can assign the color of \((u:v,u':v)\) to \(\{ (u:t,u':t)\mid d_{T_2}(v,t) = 2\}\). The claim is proved. By coloring accordingly we get a partial strong edge coloring that satisfies (i) and (iii). \(\square\)

By symmetry we can color \(V(T_1) \times T_2\) by using the colors \(2\varDelta _1+1, 2\varDelta _1+2,\dots ,2\varDelta _1+2\varDelta _2\) such that it satisfies (ii) and (iv) . That says the strong chromatic index of \(G_n = T_1 \Box T_2\) is at most \(2\varDelta _1 + 2\varDelta _2 = 2\varDelta (T_1 \Box T_2)\). \(\square\)

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 \({\chi _s'}(T_1 \Box T_2) = 2\varDelta (T_1 \Box T_2)\). Before showing that, we find a lower bound for the same, in the next theorem.

Theorem 4

Let \(T_1\) and \(T_2\) be two trees. Then

$$\begin{aligned} {\chi _s'}(T_1 \Box T_2) \ge \max \{2\varDelta (T_1)+\varDelta '(T_2), 2\varDelta (T_2)+\varDelta '(T_1)\}+1 = \varDelta '(T_1 \Box T_2)+1 . \end{aligned}$$

Proof

Let (ab) be an edge with maximum edge degree in \(T_1\). Also let c be a vertex of maximum degree in \(T_2\) and d be a neighbor of it. Now the edge (a : db : d) and all the edges incident to a : c or b : c should get different colors. So \({\chi _s'}(T_1 \Box T_2) \ge \varDelta '(T_1) + 2\varDelta (T_2)+1\). Similarly, \({\chi _s'}(T_1 \Box T_2) \ge \varDelta '(T_2) + 2\varDelta (T_1)+1\). Therefore, \({\chi _s'}(T_1 \Box T_2) \ge \max \{ \varDelta '(T_1) + 2\varDelta (T_2), \varDelta '(T_2) + 2\varDelta (T_1)\}+1 = \varDelta '(T_1 \Box T_2) +1\). \(\square\)

Let \(T_1\) and \(T_2\) 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 \({\chi _s'}(T_1 \Box T_2)\) are the same. So the following corollary is immediate.

Corollary 1

Let T be a tree. Then \(\chi _s'(T \Box P_n) = 2(\varDelta (T)+\varDelta (P_n)) = 2\varDelta (T \Box P_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} \Box K_{1,m}\) is \(2n+m+2\), where \(n\ge m\).

Proof

Let \((\{x\},\{x_1,x_2,\dots ,x_n\})\) and \((\{y\},\{y_1,\dots ,y_m\})\) be the bipartition of \(K_{1,n}\) and \(K_{1,m}\) respectively. We first give a strong edge coloring on \(K_{1,n} \Box K_{1,m}\) with \(2n+m+2\) colors as follows.

  • \(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 \(\{(x:y_j,x_i:y_j)\mid 1\le j\le m\}\), in the range \(m+1\le i\le n\).

  • m colors on induced matchings which take one edge from each of \(n-1\) \(K_{1,m}\)-fibers and one from each of \(m-1\) \(K_{1,n}\)-fibers, defined as

    $$\begin{aligned} A_i := \{ (x:y_i, x_j:y_i) \mid 1\le j\le n, \ j\ne i \} \cup \{ (x_i:y, x_i:y_j) \mid 1\le j\le m, \ j \ne i \} \end{aligned}$$

    Hence the vertices of type \(x_i:y_j\) in \(A_i\) are located in the union of two fibers, namely in \((\{x_i\}\times K_{1,m})\cup (K_{1,n}\times \{y_i\})\), 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 \(\{ (x_i:y,x_i:y_i) \mid 1\le i\le m \}\) and one for \(\{ (x:y_i,x_i:y_i) \mid 1\le i\le 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 \(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:

  1. (i)

    Precisely m edges \((x:y_i,x_{j_i}:y_i)\) for \(i=1,2,\dots ,m\), where \(j_i\) is arbitrary (\(1\le j_i\le n\)); let the number of such color classes be denoted by a.

  2. (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.

  3. (iii)

    Precisely n edges \((x_i:y,x_i:y_{j_i})\) for \(i=1,2,\dots ,n\), where \(j_i\) is arbitrary (\(1\le j_i\le 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.)

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

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:

$$\begin{aligned} am + b(m-1)\ge & {} mn \end{aligned}$$
(1)
$$\begin{aligned} b(n-1) + cn\ge & {} mn \end{aligned}$$
(2)

Rearrangement yields

$$\begin{aligned} a+b \ge n + b/m \qquad \text{ and } \qquad c \ge m - b + b/n \end{aligned}$$
(3)

Thus,

$$\begin{aligned} a+b+c \ge n + m - b (1 - 1/m - 1/n). \end{aligned}$$

This inequality implies the required lower bound \(a+b+c>n+1\), unless

$$\begin{aligned} b \left( 1 - \frac{1}{m} - \frac{1}{n} \right) \ge m-1. \end{aligned}$$

In this case, however, we have

$$\begin{aligned} b \ge \frac{m-1}{1-\frac{1}{m}-\frac{1}{n}} > \frac{m-1}{1-\frac{1}{m}} = m, \end{aligned}$$

from which, using (3), we obtain

$$\begin{aligned} a + b \ge n + b/m > n + 1. \end{aligned}$$

Therefore we need at least \(2n+m+2\) colors. Hence \({\chi _s'}(K_{1,n} \Box K_{1,m}) = 2n+m+2\). \(\square\)

5 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\ell\) for some \(\ell \ge 1\).

Throughout this section T means any tree, and \(\varDelta\) stands for its maximum degree, as a shorthand for \(\varDelta (T)\).

Lemma 2

Let C be any cycle of length at least 4. Then \({\chi _s'}(T \Box C) \ge 2\varDelta +4\).

Proof

Corollary 1 says that the strong chromatic index of the Cartesian product of T and a path longer than two is \(2\varDelta +4\). Now C contains a path with 4 vertices. Therefore \({\chi _s'}(T \Box C) \ge 2\varDelta +4\). \(\square\)

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

Theorem 6

The strong chromatic index of \(T \Box C_{4\ell }\) is \(2\varDelta +4\).

Proof

The above lemma says that \({\chi _s'}(T \Box C_{4\ell }) \ge 2\varDelta +4\). Now we show that there is a strong edge coloring on \(T \Box C_{4\ell }\) that uses \(2\varDelta +4\) colors.

Let a be a vertex in T and set \(C_{4\ell } = t_1t_2\dots t_{4\ell }t_1\). The proof of Theorem 3 says that there is a strong edge coloring c on \(T \Box (C_{4\ell } \setminus \{(t_{4\ell },t_1)\})\) with colors \(1,2,3,\dots ,2\varDelta +4\) such that c satisfies the following properties:

  1. (i)

    All the edges of \(T \times V(C_{4\ell })\) use color from \(\{1,2,3,\dots ,2\varDelta \}\).

  2. (ii)

    All the edges of \(V(T) \times C_{4\ell }\) use color from \(\{2\varDelta +1, 2\varDelta +2, 2\varDelta +3, 2\varDelta +4\}\).

  3. (iii)

    For every \((u,u')\in E(T), i,j \in [4\ell -2]\), if \(2|(i-j)\), then \(c((u:t_i,u':t_i)) = c((u:t_j,u':t_j))\).

  4. (iv)

    If the distance from u to \(u'\) is even in T, then \(c((u:t_i,u:t_{i+1})) = c((u':t_i,u':t_{i+1}))\), for every \(i \in [4\ell -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:t_1,a:t_2),(a:t_2,a:t_3),(b:t_1,b:t_2)\) and \((b:t_2,b:t_3)\) are distinct. Again according to (ii) they are \(2\varDelta +1, 2\varDelta +2, 2\varDelta +3, 2\varDelta +4\). Without loss of generality we can assume that \(c((a:t_1,a:t_2)) = 2\varDelta +1, c((a:t_2,a:t_3)) = 2\varDelta +2, c((b:t_1,b:t_2)) = 2\varDelta +3\) and \(c((b:t_2,b:t_3)) = 2\varDelta +4\).

Now the color of \((a:t_3,a:t_4)\) cannot be that of \((a:t_1,a:t_2),(a:t_2,a:t_3)\) and \((b:t_2,b:t_3)\). Hence it is \(2\varDelta +3\). Repeating this argument again and again, together with (iv) it leads to the following fact:

Fact 7

\(c((u:t_i,u:t_{i+1})) = 2\varDelta +1+( i-1 \bmod 4)\) if \(d_{T}(u,a)\) is even, otherwise it is \(2\varDelta +1+( i-3 \bmod 4)\).

We can extend this coloring to \(T \Box C_{4\ell }\) by defining

$$\begin{aligned} c((u:t_{4\ell },u:t_1)) := {\left\{ \begin{array}{ll} 2\varDelta +2, \,\text { if } d_T (u,a) \text { is odd }\\ 2\varDelta +4, \,\text { otherwise }\\ \end{array}\right. } \end{aligned}$$

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.

  1. (a)

    \(c((u:t_1,v:t_1)) \ne c((u:t_{4\ell },v':t_{4\ell }))\).

  2. (b)

    \(c((u:t_1,u:t_2)) \not \in \{ c((u:t_{4\ell },u:t_1)),c((v:t_{4\ell },v:t_1)), c((u:t_{4\ell -1},u:t_{4\ell }))\}\)

  3. (c)

    \(c((u:t_{4\ell },u:t_1)) \not \in \{ c((u:t_{4\ell -2},u:t_{4\ell -1})), c((u:t_2,u:t_3)), c((v:t_{4\ell },v:t_1))\}\)

Now (iii) says that \(c((u:t_1,v:t_1)) = c((u:t_{4\ell -1},v:t_{4\ell -1}))\). Again c is a strong edge coloring on \(T \Box (C_{4\ell } \setminus \{(t_{4\ell },t_1)\}\). Hence (a) holds true. Moreover, Fact 7 says that (b) and (c) are valid, too. \(\square\)

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 \(T \Box C_6\) is at most \(2\varDelta (T)+6\).

Proof

Let a be a vertex in T, and set \(C_6 = t_1t_2t_3t_4t_5t_6t_1\). Consider the strong edge coloring c on \(T \Box (C_6 \setminus \{(t_6,t_1)\})\) as described in Theorem 6. It follows that the coloring c satisfies the following properties:

  1. (i)

    All the the edges of \(T \times V(C_6)\) use colors from \(\{1,2,3,\dots ,2\varDelta \}\).

  2. (ii)

    \(c((u:t_i,u':t_i)) = c((u:t_j,u':t_j))\), whenever \(2|(i-j)\).

We now extend the coloring to obtain the color function \(c'\) on the edges of \(T\Box C_6\) as follows. Let \(c'((u:t_i,v:t_i))=c((u:t_i,v:t_i))\), for all i and \((u,v) \in E(T)\). For every vertex u in T, define \(c'((u:t_i,u:t_{i+1}))\) to be \(2\varDelta +1+(i \mod 3)\) if \(d_T(u,a)\) is even, else let \(2\varDelta +4+(i \mod 3)\).

Thus for any two adjacent vertices u and v in T, we see \(c'((u:t_i,u:t_{i+1})) \not \in \{c'((v:t_i,v:t_{i+1})), c'((u:t_{i+1},u:t_{i+2})),c'((v:t_{i+1},v:t_{i+2})), c'((u:t_{i+2},u:t_{i+3}))\}\). Again c is a strong edge coloring and it satisfies (ii). So \(c'((u:t_i,v:t_i)) \ne c'((u:t_j,v:t_j))\), for all \(t_i\) adjacent to \(t_j\). Hence \(c'\) is a strong edge coloring. \(\square\)

This bound is tight. The strong chromatic bound of \(C_6 \Box P_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 \Box P_3\) is 9.

Theorem 9

Let \(\ell >3\). Then \({\chi _s'}(T \Box C_{2\ell }) \le 2\varDelta (T)+5\).

Proof

Let a be a vertex in T, and set \(C_{2\ell } = t_1t_2\dots t_{2\ell }t_1\). If \(\ell\) is even, then Theorem 6 says that the stated bound is true. Now we may assume that \(\ell\) is odd. In the proof of Theorem 3 we showed that there is a strong edge coloring c on \(T \Box (C_{2\ell } \setminus \{(t_{2\ell },t_1)\})\) with colors \(1,2,3,\dots ,2\varDelta +4\) such that c satisfies the following properties:

  1. (i)

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

  2. (ii)

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

  3. (iii)

    \(c((u:t_i,u':t_i)) = c((u:t_{i+2},u':t_{i+2}))\), for every \((u,u')\in E(T), i \le 2\ell -2\).

  4. (iv)

    If the distance from u to \(u'\) is even in T, then \(c((u:t_i,u:t_{i+1})) = c((u':t_i,u':t_{i+1}))\), for every \(i \in [2\ell -1]\).

Define the color function \(c'\) on \(T \Box V(C_{2\ell })\) as that of c. Now (iii) says that \(c'((u:t_1,u':t_1)) = c'((u:t_{2\ell -1},u':t_{2\ell -1}))\). Hence \(c'((u:t_1,u':t_1)) \ne c'((u:t_{2\ell },v:t_{2\ell }))\) and \(c'((u:t_{2\ell },v:t_{2\ell })) \ne c'((u:t_{2\ell -1},v:t_{2\ell -1}))\), for any vertex v adjacent to u (including \(u'\)). Therefore \(c'\) is a partial coloring on \(T \Box C_{2\ell }\) that uses \(2\varDelta\) 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\in [2\ell ]\) define the sets \(A_i := \{ (u:t_i,u:t_{i+1})\mid d_T(u,a)\) is even\(\}\) and \(B_i := \{ (u:t_i,u:t_{i+1})\mid d_T(u,a)\) is odd\(\}\). 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.

  1. 1.

    For \(|i-j|>2 \mod (2\ell )\) the sets \(A_i \cup A_j\) and \(B_i \cup B_j\) are induced matchings.

    Proof: Let \((u:t_i,u:t_{i+1}) \in A_i\) and \((v:t_j,v:t_{j+1}) \in A_j\). Since \(|i-j|>2 \mod (2\ell )\), the definition of the strong edge coloring says that \(\{ (u:t_i,u:t_{i+1}),(v:t_j,v:t_{j+1})\}\) is an induced matching. Again both \(A_i\) and \(A_j\) are induced matchings. Hence so is \(A_i \cup A_j\). Similarly we can show that \(B_i \cup B_j\) is an induced matching.

  2. 2.

    Let \(t_i\) be not adjacent to \(t_j\). Then \(A_i \cup B_j\) and \(A_j \cup B_i\) are induced matchings.

    The proof is similar to that of 1.

We have assumed that \(i>3\) and \(2\ell \equiv 2 \mod 4\). Therefore the above mentioned properties say that the following five sets are induced matchings:

$$A_2 \cup B_4, \qquad \left(\bigcup _{i \equiv 1 \mod 4} A_i\right) \cup \left(\bigcup _{i \equiv 3 \mod 4} B_i\right), \qquad \left(\bigcup _{i \equiv 3 \mod 4} A_i\right) \cup \left(\bigcup _{i \equiv 1 \mod 4} B_i\right),\qquad B_2 \cup \left(\bigcup _{\begin{subarray}{c} i \ge 6 \\ i \equiv 2 \mod 4 \end{subarray}} A_i\right) \cup \left(\bigcup _{\begin{subarray}{c} i> 6 \\ i \equiv 0 \mod 4 \end{subarray}} B_i\right), \qquad \left(\bigcup _{\begin{subarray}{c} i \ge 4 \\ i \equiv 0 \mod 4 \end{subarray}} A_i\right) \cup \left(\bigcup _{\begin{subarray}{c} i > 4 \\ i \equiv 2 \mod 4 \end{subarray}} B_i\right).$$

\(\square\)

This bound is also tight. The strong chromatic index of \(C_{10} \Box P_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\ell }\) of length more than 6 is either \(2\varDelta (T)+4\) or \(2\varDelta (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.

Theorem 10

Let \(\ell >3\). Then \({\chi _s'}(T \Box C_{2\ell +1}) \le 2\varDelta (T)+\lceil \frac{\varDelta (T)}{\ell } \rceil +5\).

Proof

Let a be a vertex of maximum degree in T, and set \(C_{2\ell +1} = t_1t_2\dots t_{2\ell +1}t_1\). We view a as the root of T. Let \(D_1,D_2,\dots ,D_{{\chi _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 \(T \Box C_{2\ell +1}\). First we give colors to the edges of all the T-fibers.

For each \(1 \le i \le \lfloor \varDelta /2 \rfloor\), define the following two \(\varDelta\)-tuples: \(c_{2i+1} := (\varDelta +1,\varDelta +2,\dots ,\varDelta +(i-1)\lceil \frac{\varDelta }{\ell } \rceil , 2\varDelta +1,2\varDelta +2,\dots ,2\varDelta +\lceil \frac{\varDelta }{\ell } \rceil , i\lceil \frac{\varDelta }{\ell } \rceil +1,i\lceil \frac{\varDelta }{\ell } \rceil +2,\dots ,\varDelta )\) and \(c_{2i} := (1,2,\dots ,(i-1)\lceil \frac{\varDelta }{\ell } \rceil , \varDelta +(i-1)\lceil \frac{\varDelta }{\ell } \rceil +1,\dots ,2\varDelta )\). That is the \(j^{th}\) term of \(c_{2i+1}\),

$$\begin{aligned} (c_{2i+1})_j = {\left\{ \begin{array}{ll} \varDelta +j, \qquad \qquad \ \ 1 \le j \le (i-1)\lceil \frac{\varDelta }{\ell } \rceil \\ 2\varDelta +j-i+1, \ \ (i-1)\lceil \frac{\varDelta }{\ell } \rceil< j \le i \lceil \frac{\varDelta }{\ell } \rceil \\ j, \qquad \qquad \qquad \ \ i\lceil \frac{\varDelta }{\ell } \rceil < j \le \varDelta \\ \end{array}\right. } \end{aligned}$$

and the \(j^{th}\) term of \(c_{2i}\),

$$\begin{aligned} (c_{2i})_j = {\left\{ \begin{array}{ll} j, \qquad \ \ 1 \le j \le (i-1)\lceil \frac{\varDelta }{\ell } \rceil \\ \varDelta +j, \ \ (i-1)\lceil \frac{\varDelta }{\ell } \rceil < j \le \varDelta \\ \end{array}\right. } \end{aligned}$$

Note that \((c_{i+1})_{j'} \ne (c_i)_j\) and \((c_i)_j \ne (c_i)_{j'}\), for all \(i,j,j'\).

Now for any vertex \(u'\) and its parent u in T, define

$$\begin{aligned} c((u:t_i,u':t_i)) := {\left\{ \begin{array}{ll} (c_i)_j, \ \ \ \,\text { if } d_T(a,u) \text { is even and } (u,u') \in D_j\\ (c_{i+1})_j, \ \text { if } d_T(a,u) \text { is odd and } (u,u') \in D_j\\ \end{array}\right. } \end{aligned}$$

We claim that each color class is an induced matching in \(T \Box C_{2\ell +1}\).

Let \((u:t_i,u':t_i)\) and \((u:t_i,u'':t_i)\) be two adjacent edges. Then, since every \(D_i\) is an induced matching, both \((u,u')\) and \((u,u'')\) cannot be in the same \(D_i\). Hence \(c((u:t_i,u':t_i)) \ne c((u:t_i,u'':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':t_i)) \ne c((v:t_i,v':t_i))\), for any \(v'\) (using the properties of the sets \(c_j\), and that the \(D_i\) are induced matchings). If \(i\ne k\), then \(u=v\) and \(t_i\) is adjacent to \(t_j\). Without loss of generality, let \(k = i+1 \mod (2\ell +1)\). We know that \((c_i)_j \ne (c_{i+1})_{j'}\), for all \(i,j,j'\). So \(c((u:t_i,u':t_i)) \ne c((v:t_i,v':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 := \{ (u:t_i,u:t_{i+1})\mid d_T(u,a)\) is even\(\}\) and \(B_i := \{ (u:t_i,u:t_{i+1})\mid d_T(u,a)\) is odd\(\}\), \(i\in [2\ell +1]\). It is easy to see that the following properties hold.

  1. (i)

    For every i, \(A_i\) and \(B_i\) are induced matchings.

  2. (ii)

    Let \(|i-j|>2 \mod (2\ell +1)\). Then \(A_i \cup A_j\) and \(B_i \cup B_j\) are induced matchings.

  3. (iii)

    Let \(t_i\) is not adjacent to j. Then \(A_i \cup B_j\) and \(A_j \cup B_i\) are induced matchings.

Now \(B_1 \cup A_5 \cup B_7\) is an induced matching because \(2\ell +1 \equiv 1\) or \(3\mod 4\). Therefore it is enough to partition the rest of the edges into four induced matchings. If \(2\ell +1 \equiv 1 \mod 4\), then the sets

$$A_1 \cup B_3 \cup \left(\bigcup \limits _{\begin{subarray}{c} i> 6 \\ i\equiv 0 \mod 4 \end{subarray}} A_i\right) \cup \left(\bigcup \limits _{\begin{subarray}{c} i \ge 6 \\ i\equiv 2 \mod 4) \end{subarray}} B_i\right), \qquad \left(\bigcup \limits _{i\equiv 2 \mod 4} A_i\right) \cup \left(\bigcup \limits _{i\equiv 0 \mod 4} B_i\right), \qquad B_2 \cup A_4 \cup \left(\bigcup \limits _{\begin{subarray}{c} i \ge 7 \\ i\equiv 3 \mod 4 \end{subarray}} A_i\right)\,\cup \left(\bigcup \limits _{\begin{subarray}{c} i> 7 \\ i\equiv 1 \mod 4 \end{subarray}} B_i\right), \qquad A_3 \cup B_5 \cup \left(\bigcup \limits _{\begin{subarray}{c} i \ge 9 \\ i\equiv 1 \mod 4 \end{subarray}} A_i\right) \cup \left(\bigcup \limits _{\begin{subarray}{c} i > 9 \\ i\equiv 3 \mod 4 \end{subarray}} B_i\right)$$

partition \(V(T) \times C_{2\ell +1}\) into induced matchings. Otherwise \(2\ell +1 \equiv 3 \mod 4\), and then the sets

$$B_2 \cup A_4 \cup \left(\bigcup \limits _{\begin{subarray}{c} i> 6 \\ i\equiv 0 \mod 4 \end{subarray}} A_i\right) \cup \left(\bigcup \limits _{\begin{subarray}{c} i \ge 6 \\ i\equiv 2 \mod 4) \end{subarray}} B_i\right), \qquad \left( \bigcup \limits _{i\equiv 2 \mod 4} A_i\right) \cup \left(\bigcup \limits _{i\equiv 0 \mod 4} B_i\right),\qquad A_2 \cup B_4 \cup \left(\bigcup \limits _{\begin{subarray}{c} i \ge 7 \\ i\equiv 3 \mod 4 \end{subarray}} A_i\right) \cup \left(\bigcup \limits _{\begin{subarray}{c} i> 7 \\ i\equiv 1 \mod 4 \end{subarray}} B_i\right), \qquad A_3 \cup B_5 \cup \left(\bigcup \limits _{\begin{subarray}{c} i \ge 9 \\ i\equiv 1 \mod 4 \end{subarray}} A_i\right) \cup \left(\bigcup \limits _{\begin{subarray}{c} i > 9 \\ i\equiv 3 \mod 4 \end{subarray}} B_i\right),$$

form a required partition.

Therefore the strong chromatic index of \(T \Box C_{2\ell +1}\) is at most \(2\varDelta +\lceil \frac{\varDelta }{\ell } \rceil +5\), for \(\ell >3\). \(\square\)

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.

Theorem 11

Let \(\ell \le 3\). Then \({\chi _s'}(T \Box C_{2\ell +1}) \le 2\varDelta (T)+\lceil \frac{\varDelta (T)}{\ell } \rceil +6\).

Proof

Let a be an arbitrary vertex of T. We can assign the colors \(1,2,3,\dots ,\) \(2\varDelta +\lceil \frac{\varDelta }{\ell } \rceil\) to the edges of \(T \times V(C_{2\ell +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) \times C_{2\ell +1}\).

Define \(A_i\) and \(B_i\) as in the preceding proof, for \(i \le 2\ell +1\). We have already shown above that the sets \(A_i\) and \(B_i\) are induced matchings. Hence \({\chi _s'}(T \Box C_3) \le 3\varDelta +6\). Now further properties of these \(A_i\) and \(B_i\) (as mentioned above) ensure that the following properties are true.

If \(\ell =2\), then \(A_1 \cup B_3\), \(B_1 \cup A_3\), \(A_2 \cup B_4\), \(B_2 \cup A_4\), \(A_5\), and \(B_5\) are induced matchings; and if \(\ell =3\), then \(A_1 \cup B_3 \cup A_5\), \(B_1 \cup A_3 \cup B_5\), \(A_2 \cup B_4 \cup A_6\), \(B_2 \cup A_4 \cup B_6\), \(A_7\), and \(B_7\) are induced matchings. Therefore \({\chi _s'}(T \Box C_{2\ell +1}) \le 2\varDelta +\lceil \frac{\varDelta }{\ell } \rceil +6\), for \(\ell \le 3\). \(\square\)

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 \({\chi _s'}(G) \ge \lceil \frac{m}{\lfloor k/2 \rfloor }\rceil\).

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 \({\chi _s'}(T \Box C_{2\ell +1}) \ge \lceil \frac{(2\ell +1)(\varDelta (T)+1)}{\ell }\rceil = 2\varDelta +\lceil \frac{\varDelta (T)+1}{\ell } \rceil +2\).

Proof

Let u be a vertex of maximum degree in T, and set \(C_{2\ell +1} = t_1t_2\dots t_{2\ell +1}t_1\). Now \(T \Box C_{2\ell +1}\) contains \(G[N(u) \cup \{u\}] \Box C_{2\ell +1}\), which contains a \((\varDelta +2)\)-regular \(C_{2\ell +1}\)-jellyfish. Therefore \({\chi _s'}(T \Box C_{2\ell +1}) \ge \lceil \frac{(2\ell +1)(\varDelta +1)}{\ell }\rceil\). \(\square\)

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.

6 Conclusion

Table 2 summarizes the results which involve cycles.

Table 2 Upper and lower bounds on \({\chi _s'}(T \Box C_{k})\) for all trees T, where \(\varDelta :=\varDelta (T)\)

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 \square C_3\) and \(P_3 \square C_3\) is 9, showing that the upper bound \(2\varDelta +\lceil \frac{\varDelta }{\ell } \rceil +6\) and also the lower bound \(2\varDelta +\lceil \frac{\varDelta +1}{\ell } \rceil +2\) is tight in case of \(\ell =1\) for at least one graph (with \(\varDelta =1\) and \(\varDelta =2\), respectively). Therefore the bounds for the strong chromatic index of product of a tree with \(C_3\) cannot be 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.