# Domination in direct products of complete graphs

## TL;DR

This paper investigates domination numbers in direct products of complete graphs and unitary Cayley graphs, providing new bounds, constructions, and classifications related to these parameters.

## Contribution

It introduces a novel interpretation of the problem enabling the use of recent Jacobsthal function results and classifies graphs with specific domination number properties.

## Key findings

- Constructed n with many prime factors satisfying b3_t(X_n) a0 g(n)-16
- Established new lower bounds on domination numbers of direct product graphs
- Classified graphs with domination number exactly t+2

## Abstract

Let $X_{n}$ denote the unitary Cayley graph of $\mathbb{Z}/n\mathbb{Z}$. We continue the study of cases in which the inequality $\gamma_t(X_n) \le g(n)$ is strict, where $\gamma_t$ denotes the total domination number, and $g$ is the arithmetic function known as Jacobsthal's function. The best that is currently known in this direction is a construction of Burcroff which gives a family of $n$ with arbitrarily many prime factors that satisfy $\gamma_t(X_n) \le g(n)-2$. We present a new interpretation of the problem which allows us to use recent results on the computation of Jacobsthal's function to construct $n$ with arbitrarily many prime factors that satisfy $\gamma_t(X_n) \le g(n)-16$. We also present new lower bounds on the domination numbers of direct products of complete graphs, which in turn allow us to derive new asymptotic lower bounds on $\gamma(X_n)$, where $\gamma$ denotes the domination number. Finally, resolving a question of Defant and Iyer, we completely classify all graphs $G = \prod_{i=1}^t K_{n_i}$ satisfying $\gamma(G) = t+2$.