A Note on Total and Paired Domination of Cartesian Product Graphs

A dominating set $D$ for a graph $G$ is a subset of $V(G)$ such that any vertex not in $D$ has at least one neighbor in $D$. The domination number $\gamma(G)$ is the size of a minimum dominating set in $G$. Vizing's conjecture from 1968 states that for the Cartesian product of graphs $G$ and $H$, $\gamma(G) \gamma(H) \leq \gamma(G \Box H)$, and Clark and Suen (2000) proved that $\gamma(G) \gamma(H) \leq 2\gamma(G \Box H)$. In this paper, we modify the approach of Clark and Suen to prove a variety of similar bounds related to total and paired domination, and also extend these bounds to the $n$-Cartesian product of graphs $A^1$ through $A^n$

A Note on Integer Domination of Cartesian Product Graphs

Given a graph $G$, a dominating set $D$ is a set of vertices such that any vertex in $G$ has at least one neighbor (or possibly itself) in $D$. A ${k}$-dominating multiset $D_k$ is a multiset of vertices such that any vertex in $G$ has at least $k$ vertices from its closed neighborhood in $D_k$ when counted with multiplicity. In this paper, we utilize the approach developed by Clark and Suen (2000) and properties of binary matrices to prove a "Vizing-like" inequality on minimum ${k}$-dominating multisets of graphs $G,H$ and the Cartesian product graph $G \Box H$. Specifically, denoting the size of a minimum ${k}$-dominating multiset as $\gamma_{k}(G)$, we demonstrate that $\gamma_{k}(G) \gamma_{k}(H) \leq 2k \gamma_{k}(G \Box H)$

(Total) Domination in Prisms

With the aid of hypergraph transversals it is proved that $\gamma_t(Q_{n+1}) = 2\gamma(Q_n)$, where $\gamma_t(G)$ and $\gamma(G)$ denote the total domination number and the domination number of $G$, respectively, and $Q_n$ is the $n$-dimensional hypercube. More generally, it is shown that if $G$ is a bipartite graph, then $\gamma_t(G \square K_2) = 2\gamma(G)$. Further, we show that the bipartite condition is essential by constructing, for any $k \ge 1$, a (non-bipartite) graph $G$ such that $\gamma_t (G \square K_2 ) = 2\gamma(G) - k$. Along the way several domination-type identities for hypercubes are also obtained

Upper k-tuple total domination in graphs

Let $G=(V,E)$ be a simple graph. For any integer $k\geq 1$, a subset of $V$ is called a $k$-tuple total dominating set of $G$ if every vertex in $V$ has at least $k$ neighbors in the set. The minimum cardinality of a minimal $k$-tuple total dominating set of $G$ is called the $k$-tuple total domination number of $G$. In this paper, we introduce the concept of upper $k$-tuple total domination number of $G$ as the maximum cardinality of a minimal $k$-tuple total dominating set of $G$, and study the problem of finding a minimal $k$-tuple total dominating set of maximum cardinality on several classes of graphs, as well as finding general bounds and characterizations. Also, we find some results on the upper $k$-tuple total domination number of the Cartesian and cross product graphs

Cartesian product graphs and kk-tuple total domination

A $k$-tuple total dominating set ($k$TDS) of a graph $G$ is a set $S$ of vertices in which every vertex in $G$ is adjacent to at least $k$ vertices in $S$; the minimum size of a $k$TDS is denoted $\gamma_{\times k,t}(G)$. We give a Vizing-like inequality for Cartesian product graphs, namely $\gamma_{\times k,t}(G) \gamma_{\times k,t}(H) \leq 2k \gamma_{\times k,t}(G \Box H)$ provided $\gamma_{\times k,t}(G) \leq 2k\rho(G)$, where $\rho$ is the packing number. We also give bounds on $\gamma_{\times k,t}(G \Box H)$ in terms of (open) packing numbers, and consider the extremal case of $\gamma_{\times k,t}(K_n \Box K_m)$, i.e., the rook's graph, giving a constructive proof of a general formula for $\gamma_{\times 2, t}(K_n \Box K_m)$.Comment: 18 page

33-tuple total domination number of rook's graphs

A $k$-tuple total dominating set ($k$TDS) of a graph $G$ is a set $S$ of vertices in which every vertex in $G$ is adjacent to at least $k$ vertices in $S$. The minimum size of a $k$TDS is called the $k$-tuple total dominating number and it is denoted by $\gamma_{\times k,t}(G)$. We give a constructive proof of a general formula for $\gamma_{\times 3, t}(K_n \Box K_m)$