arXiv++ Combinatorics

Given a graph $G$ a set $S\subset V(G)$ is called monophonic if every vertex in $G$ lies on some induced path between two vertices in $S$. The monophonic number, $m(G)$, of $G$, which is the smallest cardinality of a monophonic set in $G$, has been studied from various perspectives. In this paper, we establish $m(K(n,r))$ for all Kneser graphs $K(n,r)$, where $n\ge 2r$. In addition, when $r\ge 3$, we prove an even stronger property, notably that every pair of non-adjacent vertices in $K(n,r)$ forms a monophonic set. We call the graphs satisfying this property strongly $2$-monophonic graphs. We present several (sufficient and necessary) conditions for a graph to be strongly $2$-monophonic, and prove that the Cartesian product of any two strongly $2$-monophonic graphs is also such. Besides non-complete Hamming graphs, we also prove that every Johnson graph is strongly $2$-monophonic, whereas chordal graphs, with the exception of the graphs $K_n-e$, do not enjoy this property.

In this follow-up to [M.G.~Cornet, P.~Torres, arXiv:2308.15603], where the $k$-tuple domination number and the 2-packing number in Kneser graphs $K(n,r)$ were studied, we are concerned with two variations, the $k$-domination number, ${γ_{k}}(K(n,r))$, and the $k$-tuple total domination number, ${γ_{t\times k}}(K(n,r))$, of $K(n,r)$. For both invariants we prove monotonicity results by showing that ${γ_{k}}(K(n,r))\ge {γ_{k}}(K(n+1,r))$ holds for any $n\ge 2(k+r)$, and ${γ_{t\times k}}(K(n,r))\ge {γ_{t\times k}}(K(n+1,r))$ holds for any $n\ge 2r+1$. We prove that ${γ_{k}}(K(n,r))={γ_{t\times k}}(K(n,r))=k+r$ when $n\geq r(k+r)$, and that in this case every ${γ_{k}}$-set and ${γ_{t\times k}}$-set is a clique, while ${γ_{k}}(r(k+r)-1,r)={γ_{t\times k}}(r(k+r)-1,r)=k+r+1$, for any $k\ge 2$. Concerning the 2-packing number, $ρ_2(K(n,r))$, of $K(n,r)$, we prove the exact values of $ρ_2(K(3r-3,r))$ when $r\ge 10$, and give sufficient conditions for $ρ_2(K(n,r))$ to be equal to some small values by imposing bounds on $r$ with respect to $n$. We also prove a version of monotonicity for the $2$-packing number of Kneser graphs.

While a number of bounds are known on the zero forcing number $Z(G)$ of a graph $G$ expressed in terms of the order of a graph and maximum or minimum degree, we present two bounds that are related to the (upper) total domination number $γ_t(G)$ (resp. $Γ_t(G)$) of $G$. We prove that $Z(G)+γ_t(G)\le n(G)$ and $Z(G)+\frac{Γ_t(G)}{2}\le n(G)$ holds for any graph $G$ with no isolated vertices of order $n(G)$. Both bounds are sharp as demonstrated by several infinite families of graphs. In particular, we show that every graph $H$ is an induced subgraph of a graph $G$ with $Z(G)+\frac{Γ_t(G)}{2}=n(G)$. Furthermore, we prove a characterization of graphs with power domination equal to $1$, from which we derive a characterization of the extremal graphs attaining the trivial lower bound $Z(G)\ge δ(G)$. The class of graphs that appears in the corresponding characterizations is obtained by extending an idea from [D.D.~Row, A technique for computing the zero forcing number of a graph with a cut-vertex, Linear Alg.\ Appl.\ 436 (2012) 4423--4432], where the graphs with zero forcing number equal to $2$ were characterized.

This paper considers multiple domination on Kneser graphs. We focus on $k$-tuple dominating sets, $2$-packings and the associated graph parameters $k$-tuple domination number and $2$-packing number. In particular, we compute the $2$-packing number of Kneser graphs $K(3r-2,r)$ and in odd graphs we obtain minimum $k$-tuple dominating sets of $K(7,3)$ and $K(11,5)$ for every $k$. Besides, we determine the Kneser graphs $K(n,r)$ with $k$-tuple domination number exactly $k+r$ and find all the minimum $k$-tuple dominating sets for these graphs, which generalize results for domination on Kneser graphs. Finally, we give a characterization of the $k$-tuple dominating sets of $K(n,2)$ in terms of the occurrences of the elements in $[n]$, which allows us to obtain minimum sized $k$-tuple dominating sets of $K(n,2)$ for $n\geq Ω(\sqrt{k})$. Keywords: Kneser graphs, multiple domination, $k$-tuple domination, $2$-packings.