On exponential domination of the consecutive circulant graph

TL;DR

This paper determines the minimum size of exponential dominating sets in consecutive circulant graphs, showing they are equal for porous and non-porous cases and providing an exact formula.

Contribution

It introduces and analyzes exponential domination in consecutive circulant graphs, establishing a precise formula for the minimum dominating set size.

Findings

Porous and non-porous exponential domination numbers are equal.

Exact formula for the minimum exponential dominating set size: ceiling of n divided by (3l+1).

Results apply to a class of circulant graphs with specific adjacency.

Abstract

For a graph $G,$ we consider $D \subset V(G)$ to be a porous exponential dominating set if $1\le \sum_{d \in D}$ $\left( \frac{1}{2} \right)^{\text{dist}(d,v) -1}$ for every $v \in V(G),$ where dist$(d,v)$ denotes the length of the smallest $dv$ path. Similarly, $D \subset V(G)$ is a non-porous exponential dominating set is $1\le \sum_{d \in D} \left( \frac{1}{2} \right)^{\overline{\text{dist}}(d,v) -1}$ for every $v \in V(G),$ where $\overline{\text{dist}}(d,v)$ represents the length of the shortest $dv$ path with no internal vertices in $D.$ The porous and non-porous exponential dominating number of $G,$ denoted $\gamma_e^*(G)$ and $\gamma_e(G),$ are the minimum cardinality of a porous and non-porous exponential dominating set, respectively. The consecutive circulant graph, $C_{n, [\ell]},$ is the set of $n$ vertices such that vertex $v$ is adjacent to $v \pm i \mod n$ for each $i \in [\ell].$ In this paper we show $\gamma_e(C_{n, [\ell]}) = \gamma_e^*(C_{n, [\ell]}) = \left\lceil \tfrac{n}{3\ell +1} \right\rceil.$