arXiv++ Combinatorics

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 $γ_{k}(G)$, we demonstrate that $γ_{k}(G) γ_{k}(H) \leq 2k γ_{k}(G \Box H)$.

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 $γ(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$, $γ(G) γ(H) \leq γ(G \Box H)$, and Clark and Suen (2000) proved that $γ(G) γ(H) \leq 2γ(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$.