Abstract:The modular product $G\diamond H$ of graphs $G$ and $H$ is a graph on vertex set $V(G)\times V(H)$. Two vertices $(g,h)$ and $(g^{\prime},h^{\prime})$ of $G\diamond H$ are adjacent if $g=g^{\prime}$ and $hh^{\prime}\in E(H)$, or $gg^{\prime}\in E(G)$ and $h=h^{\prime}$, or $gg^{\prime}\in E(G)$ and $hh^{\prime}\in E(H)$, or (for $g\neq g^{\prime}$ and $h\neq h^{\prime}$) $gg^{\prime}\notin E(G)$ and $hh^{\prime}\notin E(H)$. A set $D\subseteq V(G)$ is a dominating set of $G$ if every vertex outside of $D$ contains a neighbor in $D$. A set $D\subseteq V(G)$ is a total dominating set of $G$ if every vertex of $G$ contains a neighbor in $D$. The domination number $\gamma(G)$ (resp. total domination number $\gamma_{t}(G)$) of $G$ is the minimum cardinality of a dominating set (resp. total dominating set) of $G$. In this work we give several upper and lower bounds for $\gamma(G\diamond H)$ in terms of $\gamma(G),$ $\gamma(H)$, $\gamma_{t}(\overline{G})$ and $\gamma _{t}(\overline{H})$, where $\overline{G}$ is the complement graph of $G$. Further, we fully describe graphs where $\gamma(G\diamond H)=k$ for $k\in\{1,2,3\}$. Several conditions on $G$ and $H$ under which $\gamma (G\diamond H)$ is at most $4$ and $5$ are also given. A new type of simultaneous domination $\bar{\gamma}(G)$, defined as the smallest number of vertices that dominates $G$ and totally dominates the complement of $G,$ emerged as useful and we believe it could be of independent interest. We conclude the paper by proposing few directions for possible further research.

Closed formulas for 2-domination and 2-outer-independent domination numbers of rooted product graphs

Roman domination in direct product graphs and rooted product graphs

Domination number of modular product graphs

Dominating the Direct Product of Two Graphs through Total Roman Strategies

Fundamental Dominations in Graphs

The 2-domination number of cylindrical graphs

Note: On the {k}-domination number of Cartesian products of graphs

On the {k}-domination number of Cartesian products of graphs

Domination related parameters in the generalized lexicographic product of graphs

Nordhaus-Gaddum bounds for upper total domination

Super domination: Graph classes, products and enumeration

On the total signed domination number of the Cartesian product of paths.

Total Domination of Cartesian Products of Graphs.

On Dominating Sets of Maximal Outerplanar and Planar Graphs

The Domination Complexity and Related Extremal Values of Large 3D Torus

Total Domination In The Cartesian Product Of A Graph And K-2 Or C-N

Double domination in maximal outerplanar graphs

Total outer-connected domination number of middle graphs

On the domination number of the cartesian product of the path graph and any pair of graphs

On Proper 2-Dominating Sets in Graphs

Algorithmic Complexity and Bounds for Domination Subdivision Numbers of Graphs