The odd coloring of some Cartesian product graphs

An odd $ c $-coloring of a graph is a proper $ c $-coloring such that each non-isolated vertex has at least one color appearing an odd number of times in its neighborhood. The minimum number of colors in any odd coloring of $ G $, denoted $ \chi_o(G) $, is called the odd chromatic number. This concept was introduced by Petruševski and Škrekovski, who conjectured that every planar graph $ G $ is odd 5-colorable and observed that $ \chi_o(G \square H) \leq \chi_o(G) \cdot \chi_o(H) $ for connected nontrivial graphs $ G $ and $ H $. In this paper, for specific Cartesian product graphs $ G \square H $, such as $ P_m \square P_n $, $ C_m \square P_n $, and $ C_m \square C_n $, we determine the exact value of $ \chi_o(G \square H) $, which establishes tighter upper bounds than the multiplicative bound $ \chi_o(G) \cdot \chi_o(H) $. We show that $ \chi_o(P_m \square P_n) \leq 4 $ with a complete characterization of all cases; $ \chi_o(C_m \square P_n) \leq 5 $ with a full classification for even and odd $ m $; and $ \chi_o(C_m \square C_n) \leq 5 $ with necessary and sufficient conditions for 3-, 4-, and 5-colorability under parity and divisibility constraints. These results significantly improve upon the multiplicative upper bound and provide new constructive methods and theoretical insights for studying odd colorings in Cartesian product graphs. Additionally, we determine that $ \chi_o(K_m\square P_n) = \chi_o(K_m \square C_n) = m $ for $ m = 3 $ and $ C_n $ is an even cycle or $ m \geq 4 $.