arXiv++ Combinatorics

We show that almost every graph admits a partition of its vertex set into three parts such that no two adjacent vertices have the same number of neighbors in each of the three parts. Equivalently, for $G\sim G(n,1/2)$, $χ_m(G)\le3$ with high probability, improving the previously known bound of five. Here $χ_m(G)$ denotes the multiset chromatic number of $G$, the minimum number of parts in a vertex partition whose neighbor-count vectors distinguish every pair of adjacent vertices. In fact, the three-part bound holds for every fixed $0.185<p<0.509$. More generally, for every fixed $p\in(0,1)$, $G\sim G(n,p)$ satisfies $χ_m(G)\le4$ with high probability. These results are obtained by converting the unresolved edges of a carefully chosen initial partition into hyperplanes of a Boolean cube and applying the Linial--Radhakrishnan theory of essential covers. We also determine how $χ_m(G)$ grows when the graph is polynomially close to complete. For every fixed $β\in(0,1)$ and $G\sim G\!\left(n,1-n^{-(1-β)}\right)$, with high probability $\frac{2}β\le χ_m(G)\le \left\lfloor\frac{2}β\right\rfloor+5$. Thus $χ_m(G)=2/β+O(1)$. The lower bound is spectral, while the upper bound follows from multinomial anti-concentration and the Lov'asz Local Lemma.

We study a vertex-labeling analogue of the $1$-$2$-$3$ problem and its list version. For a labeling $\ell:V(G)\to\mathbb N$, let $S_\ell(v)=\sum_{w\in N(v)}\ell(w)$. The additive number $η(G)$ is the least $k$ for which there exists $\ell:V(G)\to[k]$ such that $S_\ell(u)\ne S_\ell(v)$ for every $uv\in E(G)$, while the list additive number $η_\ell(G)$ is the least $k$ such that the same condition can be satisfied from every assignment of $k$-element lists $L(v)\subset\mathbb N$ with $\ell(v)\in L(v)$. We show that for every $k\ge2$, there is a graph $G$ with $η(G)=1$ and $η_\ell(G)\ge k$. The separation persists at the minimum possible ordinary value for positive-degree regular graphs: there is a regular graph $H$ with $η(H)=2$ and $η_\ell(H)\ge k$. We also determine a sharp lower bound for $η(G)$ in terms of the order and minimum degree of $G$, and show that the unbounded list gap persists at asymptotically extremal density. Finally, for every fixed $k\ge2$, it is NP-hard to distinguish $η(G)=2$ from $η(G)>k$, even on asymptotically extremal dense graphs. Consequently, $η(G)$ admits no polynomial-time constant-factor approximation unless $\mathrm P=\mathrm{NP}$. Together, these results reveal a robust gap phenomenon: the separation between ordinary and list additive labeling persists at the smallest possible ordinary values and even under asymptotically extremal density, while the ordinary parameter itself remains hard to approximate.

Let $Γ$ be a function that maps two arbitrary graphs $G$ and $H$ to a non-negative real number such that $$α(G^{\boxtimes n})\leq α(H^{\boxtimes n})Γ(G,H)^n$$ where $n$ is any natural number and $G^{\boxtimes n}$ is the strong product of $G$ with itself $n$ times. We establish the equivalence of two different approaches for finding such a function $Γ$. The common solution obtained through either approach is termed ``the relative fractional independence number of a graph $G$ with respect to another graph $H$". We show this function by $α^*(G|H)$ and discuss some of its properties. In particular, we show that $α^*(G|H)\geq \frac{X(G)}{X(H)} \geq \frac{1}{α^*(H|G)},$ where $X(G)$ can be the independence number, the Shannon capacity, the fractional independence number, the Lovász number, or the Schrijver's or Szegedy's variants of the Lovász number of a graph $G$. This inequality is the first explicit non-trivial upper bound on the ratio of the invariants of two arbitrary graphs, as mentioned earlier, which can also be used to obtain upper or lower bounds for these invariants. As explicit applications, we present new upper bounds for the ratio of the Shannon capacity of two Cayley graphs and compute new lower bounds on the Shannon capacity of certain Johnson graphs (yielding the exact value of their Haemers number). Moreover, we show that $α^*(G|H)$ can be used to present a stronger version of the well-known No-Homomorphism Lemma.

Let $G$ be a connected graph of order $n$ with vertex set $V(G)$. A subset $S\subseteq V(G)$ is an $(a,b)$-dominating set if every vertex $v\in S$ is adjacent to at least $a$ vertices in $S$ and every $v\in V\setminus S$ is adjacent to at least $b$ vertices in $S$. The minimum cardinality of an $(a,b)$-dominating set of $G$ is the $(a,b)$-domination number of $G$, denoted by $γ_{a,b}(G)$. There are various results about upper bounds for $γ_{a,b}(G)$ when $G$ is regular or $a$ and $b$ are small numbers. In the first part of this paper, for a given graph $G$ with the minimum degree of $\max\{a,b\}$, we define a new graph $G'$ associated to $G$ and show that the independence number of this graph is related to $γ_{a,b}(G)$. In the next part, using Lovász local lemma, we give a randomized approach to improve previous results in some special cases.

Let $G$ be a connected graph of order $n$, whose minimum vertex degree is at least $k$. A subset $S$ of vertices in $G$ is a $k$-tuple total dominating set if every vertex of $G$ is adjacent to at least $k$ vertices in $S$. The minimum cardinality of a $k$-tuple total dominating set of $G$ is the $k$-tuple total domination number of $G$, denoted by $γ_{\times k,t}(G)$. Henning and Yeo in \cite{hen} proved that if $G$ is a cubic graph different from the Heawood graph, $γ_{\times 2, t}(G) \leq \frac{5}{6}n$, and this bound is sharp. Similarly, a $k$-tuple dominating set is a subset $S$ of vertices of $G$, $V (G)$ such that $|N[v] \cap S| \geq k$ for every vertex $v$, where $N[v] = \{v\}\cup \{u \in V(G) : uv \in E(G)\}$. The $k$-tuple domination number of $G$, denoted by $γ_{\times k}(G)$, is the minimum cardinality of a $k$-tuple dominating set of $G$. In this paper, we give a simple approach to compute an upper bound for $(r-1)$-tuple total domination number of $r$-regular graphs. Also, we give an upper bound for the $r$-tuple dominating number of $r$-regular graphs. In addition, our method gives algorithms to compute dominating sets with the given bounds, while the previous methods are existential.