Domination and Upper Domination of Direct Product Graphs

Abstract

The unitary Cayley graph of $\mathbb{Z}/n\mathbb{Z}$, denoted $X_{\mathbb{Z}/n\mathbb{Z}}$, has vertices $0,1,\dots ,n-1$ with $x$ adjacent to $y$ if $x-y$ is relatively prime to $n$. We present results on the tightness of the known inequality ${\hat{I}}^3(X_{\mathbb{Z}/n\mathbb{Z}})\le {\hat{I}}_t^3(X_{\mathbb{Z}/n\mathbb{Z}})\le g(n)$, where ${\hat{I}}^3$ and ${\hat{I}}_t^3$ denote the domination number and total domination number, respectively, and $g$ is the arithmetic function known as Jacobsthal's function. In particular, we construct integers $n$ with arbitrarily many distinct prime factors such that ${\hat{I}}^3(X_{\mathbb{Z}/n\mathbb{Z}})\le {\hat{I}}_t^3(X_{\mathbb{Z}/n\mathbb{Z}})\le g(n)-1$. Extending work of Mekiš, we give lower bounds for the domination numbers of direct products of complete graphs. We also present a simple conjecture for the exact values of the upper domination numbers of direct products of balanced, complete multipartite graphs and prove the conjecture in certain cases. We end with some open problems.

16 pages, 1 figure