Weak rainbow saturation numbers of graphs

Abstract

For a fixed graph $H$, we say that an edge-colored graph $G$ is weakly $H$-rainbow saturated if there exists an ordering $e_{1},e_{2},\ldots,e_{m}$ of $E\left(\overline{G}\right)$ such that, for any list $c_{1},c_{2},\ldots,c_{m}$ of pairwise distinct colors from $\mathbb{N}$, the non-edges $e_{i}$ in color $c_{i}$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. The weak rainbow saturation number of $H$, denoted by ${\rm rwsat}(n,H)$, is the minimum number of edges in a weakly $H$-rainbow saturated graph on $n$ vertices. In this paper, we show that for any non-empty graph $H$, the limit $\lim_{n\to\infty}\frac{{\rm rwsat}(n,H)}{n}$ exists. This answers a question of Behague, Johnston, Letzter, Morrison and Ogden [SIAM J. Discrete Math. (2023)]. We also provide lower and upper bounds on this limit, and in particular, we show that this limit is nonzero if and only if $H$ contains no pendant edges. AMS Subject Classification (2020):  05C15, 05C35

1 Introduction

Typical extremal graph theory problems ask for the maximum or minimum value of parameters of graphs with certain properties. A classical example falling within this framework is the Turán problem which asks, for a fixed graph $H$, what is the maximum number of edges in an $H$-free graph on $n$ vertices. Another classical problem is the saturation problem which was initiated by Zykov [30] in the 1940s and first studied by Erdős, Hajnal and Moon [11] in the 1960s. For a fixed graph $H$, a graph $G$ is called $H$-saturated if $G$ is $H$-free but adding any non-edge to $G$ creates a copy of $H$. The saturation number ${\rm sat}(n,H)$ is the smallest number of edges in an $H$-saturated graph on $n$ vertices. Erdős, Hajnal and Moon [11] proved that ${\rm sat}(n,K_{t})={n\choose 2}-{n-t+2\choose 2}$, and this was generalized to the hypergraph setting by Bollobás [5] using the well-known set-pairs inequality. A graph $G$ is called weakly $H$-saturated if there exists an ordering $e_{1},e_{2},\ldots,e_{m}$ of the non-edges of $G$ such that for each $i\in[m]$, the graph $G_{i}\colonequals G+\{e_{1},\ldots,e_{i}\}$ contains a copy of $H$ containing $e_{i}$ as an edge. The weak saturation number ${\rm wsat}(n,H)$ is the smallest number of edges in a weakly $H$-saturated graph on $n$ vertices. In [6], Bollobás conjectured that ${\rm wsat}(n,K_{t})={\rm sat}(n,K_{t})$. This conjecture was confirmed by Kalai [19] using exterior algebra, and reproved by Alon [2] using the skewed version of the Bollobás set-pairs inequality. Moreover, Alon [2] proved that the limit $\lim_{n\to\infty}\frac{{\rm wsat}(n,H)}{n}$ exists for every non-empty graph $H$. The hypergraph version of Alon’s result was conjectured by Tuza [29] in 1992 and proved by Shapira and Tyomkyn [25] very recently. In 1986, Tuza [27, 28] conjectured that the limit $\lim_{n\to\infty}\frac{{\rm sat}(n,H)}{n}$ exists for every graph $H$, and this conjecture still remains open; see [10, Section 14] for more information.

The edge-coloring version of the saturation problem was raised by Hanson and Toft [17] in 1987. For a graph $G$, we refer to a map** $c:E(G)\to\mathbb{N}$ as an edge-coloring of $G$. A graph with an edge-coloring is called monochromatic if all edges are colored the same. Hanson and Toft [17] focused on the saturation problem of monochromatic cliques. A graph with an edge-coloring is called rainbow if all edges are colored differently. The study of rainbow colored graphs can be traced back to the Latin square decomposition problem initiated by Euler in the 1780s. In combinatorics, many classical problems can be transferred to the problem of finding certain rainbow substructures in edge-colored graphs, such as Ringel’s conjecture [23], the Ryser-Brualdi-Stein conjecture [24] and the Caccetta-Häggkvist conjecture [1]. In the last two decades, rainbow generalizations of Turán-type problems [18, 20] and Ramsey-type problems [14, 22, 26] became an active research area. The rainbow generalization of saturation problems was first studied by Barrus, Ferrara, Vandenbussche and Wenger [3] in 2017. They considered saturation problems of rainbow subgraphs in an edge-colored host graph with a bounded number of colors.

For a fixed graph $H$, we say that an edge-colored graph $G$ is $H$-rainbow saturated if $G$ does not contain a rainbow copy of $H$, but the addition of any non-edge in any color from $\mathbb{N}$ creates a rainbow copy of $H$. Girão, Lewis and Popielarz [16] defined the rainbow saturation number of $H$, denoted by ${\rm rsat}(n,H)$, to be the minimum number of edges in an $H$-rainbow saturated graph on $n$ vertices. Girão, Lewis and Popielarz [16] conjectured that the rainbow saturation number of any non-empty graph is at most linear in $n$. Recently, Behague, Johnston, Letzter, Morrison and Ogden [4] confirmed this conjecture. For more related works, we refer the interested reader to [7, 8, 9, 21]. For a fixed graph $H$, we say that an edge-colored graph $G$ is weakly $H$-rainbow saturated if there exists an ordering $e_{1},e_{2},\ldots,e_{m}$ of $E\left(\overline{G}\right)$ such that, for any list $c_{1},c_{2},\ldots,c_{m}$ of pairwise distinct colors from $\mathbb{N}$, the non-edges $e_{i}$ in color $c_{i}$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. Behague et al. [4] defined the weak rainbow saturation number of $H$, denoted by ${\rm rwsat}(n,H)$, to be the minimum number of edges in a weakly $H$-rainbow saturated graph on $n$ vertices.

As pointed out in [4, Section 6], in the definition of the weak rainbow saturation number, we require the collection of added edges to receive pairwise distinct colors, so in particular, we exclude the possibility that all added edges have the same color, in which case the previously added edges do not contribute to making new rainbow copies and the problem reduces to the standard rainbow saturation number. Moreover, note that $c_{1},c_{2},\ldots,c_{m}$ are colors from $\mathbb{N}$, so some of them might be used within the original edges of $G$. Furthermore, for a weakly $H$-rainbow saturated graph $G$, we do not require $G$ itself to be rainbow $H$-free.

By the definitions, we have ${\rm wsat}(n,H)\leq{\rm rwsat}(n,H)\leq{\rm rsat}(n,H)$. Hence, the above mentioned result of Behague et al. [4] on ${\rm rsat}(n,H)$ implies that ${\rm rwsat}(n,H)=O(n)$ for any non-empty graph $H$. Extending the result of Alon [2], Behague et al. posed the following question.

Question 1.1 ([4]).

For any non-empty graph $H$, does the limit $\lim_{n\to\infty}\frac{{\rm rwsat}(n,H)}{n}$ exist?

In this paper, we fully resolve this question by proving the following theorem.

Theorem 1.2.

For any non-empty graph $H$, the limit $\lim_{n\to\infty}\frac{{\rm rwsat}(n,H)}{n}$ exists.

In the special case that $H$ is a complete graph, Behague et al. [4] proved that ${\rm rwsat}(n,K_{t})\leq(t+2\sqrt{2t})n+c_{t}$ for $t\geq 3$, where $c_{t}$ is a constant depending only on $t$. They asked whether ${\rm rwsat}(n,K_{t})\leq tn+O(1)$ holds for every integer $t\geq 3$ and sufficiently large $n$. This question was solved by Chakraborti, Hendrey, Lund and Tompkins [9] recently by showing that ${\rm rwsat}(n,K_{t})\leq(t-1)n+O(1)$ holds for every integer $t\geq 3$. Our second result extends this result form complete graphs to general graphs. In particular, our result implies that the limit $\lim_{n\to\infty}\frac{{\rm rwsat}(n,H)}{n}$ is nonzero if and only if $H$ contains no pendant edges. An edge is pendant if one of its endpoints has degree 1. For any graph $H$ and vertex $v\in V(H)$, let $N_{H}(v)$ be the neighborhood of $v$ in $H$, and let $d_{H}(v)\colonequals|N_{H}(v)|$ be the degree of $v$. Let $\delta(H)$ be the minimum degree of $H$ and let $\delta^{\prime}(H)\colonequals\min\{d_{H}(v)\colon\,v\in V(H),d_{H}(v)\neq 0\}$.

Theorem 1.3.

Let $H$ be a non-empty graph. Then the following statements hold.

• If $H$ contains a pendant edge, then $\lim_{n\to\infty}\frac{{\rm rwsat}(n,H)}{n}=0$.

• If $H$ contains no pendant edge, then $\frac{1}{2}\delta^{\prime}(H)\leq\lim_{n\to\infty}\frac{{\rm rwsat}(n,H)}{n}\leq\delta^{\prime}(H)$.

The remainder of this paper is organized as follows. In the next section, we introduce some additional terminology and notation, and prove some lemmas that will be used in our proofs of the main results. In Section 3, we will complete our proof of Theorem 1.2, and establish Theorem 1.3 in a more precise form. Finally, we conclude the paper with some remarks and open problems in Section 4.

2 Preliminaries

We begin with some additional terminology and notation. Given an edge-colored graph $G$ and an edge $e\in E(G)$, we use $c_{G}(e)$ to denote the color assigned on $e$. Given two disjoint vertex subsets $U,V\subseteq V(G)$, let $E_{G}(U,V)\colonequals\{uv\in E(G)\colon\,u\in U,v\in V\}$. If $U$ consists of a single vertex $u$, we simply write $E_{G}(\{u\},V)$ as $E_{G}(u,V)$. The subscript $G$ in $c_{G}(e)$, $E_{G}(U,V)$, $N_{G}(v)$ and $d_{G}(v)$ will be omitted if $G$ is clear from the context. For a vertex subset $U\subseteq V(G)$, we use $G[U]$ to denote the edge-colored induced subgraph of $G$, that is, $V(G[U])=U$, $E(G[U])=\{e\in E(G)\colon\,e\subseteq U\}$, and each edge in $G[U]$ receives the same color as it receives in $G$. For a vertex subset $V\subseteq V(G)$, let $G-V\colonequals G[V(G)\setminus V]$. Given a set $E$ of non-edges (resp., edges) of $G$, let $G+E$ (resp., $G-E$) be the graph obtained form $G$ by adding (resp., deleting) all the edges in $E$. If $E$ consists of a single edge $e$, we simply write $G+\{e\}$ and $G-\{e\}$ as $G+e$ and $G-e$, respectively. Given two vertex-disjoint graphs $G$ and $H$, we use $G\cup H$ to denote the disjoint union of $G$ and $H$, that is, the graph with vertex set $V(G\cup H)=V(G)\cup V(H)$ and edge set $E(G\cup H)=E(G)\cup E(H)$. We use $nG$ to denote the disjoint union of $n$ copies of $G$.

Next, we state and prove several lemmas.

Lemma 2.1.

Let $n\geq m\geq 2$ be two positive integers. Then the following statements hold.

• For any constant $c$ with $0\leq c\leq\frac{n-3}{6}$, every $n$-vertex graph with at most $cn$ edges contains an independent set of size $\lceil\frac{n}{2c+1}\rceil$.

• Every subgraph of $K_{m,n}$ with at least $m(n-1)$ edges contains $K_{\lfloor\frac{m}{2}\rfloor,\lfloor\frac{n}{2}\rfloor}$ as a subgraph.

Proof.

(i) Let $G$ be an $n$-vertex graph with $|E(G)|\leq cn$. Then the number of edges in the complement $\overline{G}$ of $G$ satisfies

$$\left|E\left(\overline{G}\right)\right|\geq{n\choose 2}-cn=\frac{n-2c-1}{n}\cdot\frac{n^{2}}{2}=\left(1-\frac{1}{n/(2c+1)}\right)\frac{n^{2}}{2}>\left(1-\frac{1}{\lceil n/(2c+1)\rceil-1}\right)\frac{n^{2}}{2}.$$

By Turán’s Theorem, $\overline{G}$ contains a complete subgraph of order $\lceil\frac{n}{2c+1}\rceil$, and thus $G$ contains an independent set of size $\lceil\frac{n}{2c+1}\rceil$.

(ii) Let $G$ be a subgraph of $K_{m,n}$ with bipartition $(A,B)$ such that $|A|=m$, $|B|=n$ and $|E(G)|\geq m(n-1)$. Let $A^{\prime}\colonequals\{v\in A\colon\,d(v)\leq n-2\}$ and $A^{\prime\prime}=A\setminus A^{\prime}$. Then $|A^{\prime}|\leq\frac{1}{2}(mn-m(n-1))=\frac{m}{2}$ and $|A^{\prime\prime}|\geq m-|A^{\prime}|\geq\frac{m}{2}$. Take an arbitrary subset $A^{\ast}\subset A^{\prime\prime}$ with $|A^{\ast}|=\lfloor\frac{m}{2}\rfloor$. Note that every vertex $v\in A^{\ast}$ has at least $n-1$ neighbors in $B$. Hence, there exists a subset $B^{\ast}\subseteq B$ with $|B^{\ast}|\geq n-|A^{\ast}|\geq n-\frac{m}{2}\geq n-\frac{n}{2}=\frac{n}{2}$ such that $A^{\ast}\cup B^{\ast}$ induces a complete bipartite subgraph of $G$. The result follows. ∎

Given a family $\mathscr{F}$ of graphs, let ${\rm ex}(n,\mathscr{F})$ be the Turán number of $\mathscr{F}$, that is, the maximum number of edges in an $n$-vertex graph that contains no members of $\mathscr{F}$. For any graph $H$, let $f(H)$ be the smallest integer $n$ such that for each $N\in\{n-1,n\}$ we have ${\rm ex}(N,\mathscr{H})\leq{N\choose 2}-2N-2$, where $\mathscr{H}\colonequals\{H-\{u,v\}\colon\,uv\in E(H)\}$. Note that $|V(H)|-1\leq f(H)\leq 5|V(H)|$ (for the upper bound, see the proof of Corollary 2.3 below).

Lemma 2.2.

Let $H$ be a graph with $E(H)\neq\emptyset$, $F$ be a complete graph of order $f(H)+2$, and $u,v$ be two distinct vertices of $F$. We color the edges of $F$ such that $F-\{u,v\}$ is rainbow, and all the edges between $\{u,v\}$ and $V(F)\setminus\{u,v\}$ form a rainbow copy of $K_{2,n-2}$. Then no matter what color is assigned on $uv$, there is a rainbow copy of $H$ containing the edge $uv$.

Proof.

The result holds trivially if $|V(H)|\leq 2$, so we may assume that $|V(H)|\geq 3$ in the following argument. Since $E(\{u,v\},V(F)\setminus\{u,v\})$ forms a rainbow subgraph, we can remove at most one vertex from $V(F)\setminus\{u,v\}$ to get a subset $V\subseteq V(F)\setminus\{u,v\}$ such that $f(H)-1\leq|V|\leq f(H)$ and $E(\{u,v\},V)$ contains no edges of the color $c(uv)$. Let $F^{\prime}$ be the subgraph of $F[V]$ consisting of all its edges using colors from $\mathbb{N}\setminus(\{c(e)\colon\,e\in E(\{u,v\},V)\}\cup\{c(uv)\})$. Since $F-\{u,v\}$ is rainbow and $f(H)-1\leq|V|\leq f(H)$, we have $|E(F^{\prime})|\geq{|V|\choose 2}-2|V|-1>{\rm ex}(|V|,\mathscr{H})$. This implies that $F^{\prime}$ contains a copy $H^{\ast}$ of $H-\{x,y\}$ for some edge $xy\in E(H)$. Note that $H^{\ast}$ is rainbow and contains no edges using colors from $\{c(e)\colon\,e\in E(\{u,v\},V)\}\cup\{c(uv)\}$. This implies that $F[V(H^{\ast})\cup\{u,v\}]$ contains a rainbow copy of $H$ containing the edge $uv$. The result follows. ∎

Corollary 2.3.

Let $H$ be a graph with $E(H)\neq\emptyset$, $F$ be a copy of $K_{n}$ with $n\geq 5|V(H)|$, and $u,v$ be two distinct vertices of $F$. We color the edges of $F$ such that $F-\{u,v\}$ is rainbow, and all the edges between $\{u,v\}$ and $V(F)\setminus\{u,v\}$ form a rainbow copy of $K_{2,n-2}$. Then no matter what color is assigned on $uv$, there is a rainbow copy of $H$ containing the edge $uv$.

Proof.

We first show that $f(H)\leq 5|V(H)|$. To this end, let $G$ be a graph on $N\geq 5|V(H)|-1$ vertices with $|E(G)|={N\choose 2}-2N-2$. Then $|E\left(\overline{G}\right)|=2N+2$. Applying Lemma 2.1 (i) with $c=\frac{2N+2}{N}$ to $\overline{G}$, we can find an independent set $U$ of $\overline{G}$ with $|U|\geq\frac{N}{2c+1}\geq|V(H)|-2$. This implies that $G[U]$ is a complete subgraph on at least $|V(H)|-2$ vertices, so $G$ contains some graph $H^{\ast}\in\mathscr{H}$. This implies that $f(H)\leq 5|V(H)|$. Let $V\subseteq V(F)\setminus\{u,v\}$ with $|V|=f(H)$. The result follows by applying Lemma 2.2 to $F[V\cup\{u,v\}]$. ∎

Recall that for a weakly $H$-rainbow saturated graph $G$, we do not require $G$ itself to be rainbow $H$-free. We have the following result on weakly rainbow saturated graphs.

Lemma 2.4.

For any graph $H$, integer $n$, and weakly $H$-rainbow saturated graph $G$ on $n$ vertices, we can recolor the edges of $G$ such that the resulting edge-colored graph $G^{\prime}$ is rainbow and $G^{\prime}$ is still weakly $H$-rainbow saturated.

Proof.

Since $G$ is a weakly $H$-rainbow saturated graph, there exists an ordering $e_{1},e_{2},\ldots,e_{m}$ of $E\left(\overline{G}\right)$ such that, for any list $c_{1},c_{2},\ldots,c_{m}$ of pairwise distinct colors from $\mathbb{N}$, the non-edges $e_{i}$ in color $c_{i}$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. Now we consider the rainbow graph $G^{\prime}$. For an arbitrarily fixed list $c^{\prime}_{1},c^{\prime}_{2},\ldots,c^{\prime}_{m}$ of pairwise distinct colors from $\mathbb{N}$, we wish to show that the non-edges $e_{i}$ in color $c^{\prime}_{i}$ can be added to $G^{\prime}$, one at a time, so that every added edge creates a new rainbow copy of $H$.

Let $G^{\prime}_{0}\colonequals G^{\prime}$, and for each $i\in[m]$ let $G^{\prime}_{i}\colonequals G^{\prime}+\{e_{1},\ldots,e_{i}\}$ with $c(e_{k})=c^{\prime}_{k}$ for every $k\in[i]$. Suppose for some $j\in[m]$, the non-edges $e_{i}$ (for each $i<j$) in color $c^{\prime}_{i}$ can be added to $G^{\prime}_{i-1}$ so that every added edge creates a new rainbow copy of $H$, but adding $e_{j}$ in color $c^{\prime}_{j}$ to $G^{\prime}_{j-1}$ does not create any new rainbow copy of $H$. Since $G$ is weakly $H$-rainbow saturated, the addition of $e_{j}$ creates at least one copy of $H$. Let $\mathcal{A}$ be the set of all underlying copies of $H$ in $G+\{e_{1},\ldots,e_{j}\}$ containing $e_{j}$. Then for any $A\in\mathcal{A}$, $A$ is a copy of $H$ but $A$ is not a rainbow subgraph of $G^{\prime}_{j}$. Since $G^{\prime}$ is rainbow and $c^{\prime}_{1},\ldots,c^{\prime}_{j}$ are pairwise distinct, there exists at most one edge $e^{\prime}_{i}$ in $G^{\prime}$ with $c_{G^{\prime}}(e^{\prime}_{i})=c^{\prime}_{i}$ for each $i\in[j]$. For each $i\in[j]$, let $\mathcal{A}_{i}\colonequals\{A\in\mathcal{A}\colon\,\mbox{$G^{\prime}$ contains a unique edge $e^{\prime}_{i}$ with $c_{G^{\prime}}(e^{\prime}_{i})=c^{\prime}_{i}$ and $e_{i},e^{\prime}_{i}\in E(A)$}\}$. Let $i_{1},\ldots,i_{t}$ be all the indices such that $\mathcal{A}_{i_{\ell}}\neq\emptyset$ for each $\ell\in[t]$. Note that $\mathcal{A}_{i_{1}},\ldots,\mathcal{A}_{i_{t}}$ form a partition of $\mathcal{A}$. Then for any list $c_{1},c_{2},\ldots,c_{m}$ of pairwise distinct colors from $\mathbb{N}$ with $c_{i_{\ell}}=c_{G}(e^{\prime}_{i_{\ell}})$ for each $\ell\in[t]$, we cannot add the non-edges $e_{i}$ in color $c_{i}$ to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. This contradiction completes the proof of Lemma 2.4. ∎

We shall also use the following version of Fekete’s Subadditive Lemma.

Lemma 2.5 ([15]).

Let $c$ and $t$ be two positive constants. For any sequence $\left\{a_{n}\right\}_{n\in\mathbb{N}}$ with $a_{m+n}\leq a_{m}+a_{n}+c$ for every $m,n\geq t$, the limit $\lim_{n\to\infty}\frac{a_{n}}{n}$ exists.

3 Proofs of Theorems 1.2 and 1.3

We first present our proof of Theorem 1.2. Our proof is inspired by the work of Alon in [2].

Proof of Theorem 1.2  Let $t=\max\{\lceil c(H)\rceil,|V(H)|,3\}$, where $c(H)$ is a constant such that ${\rm rsat}(n,H)\leq c(H)n$ (guaranteed by the result of [4]). Then ${\rm rwsat}(n,H)\leq{\rm rsat}(n,H)\leq tn$. We shall show that for every $m_{1},m_{2}\geq t^{10}$,

$${\rm rwsat}(m_{1}+m_{2},H)\leq{\rm rwsat}(m_{1},H)+{\rm rwsat}(m_{2},H)+t^{14}.$$ (1)

For each $i\in[2]$, let $G_{i}$ be a weakly $H$-rainbow saturated graph on $m_{i}\geq t^{12}$ vertices with $|E(G_{i})|={\rm rwsat}(m_{i},H)$. By Lemma 2.4, we may further assume that $G_{1}$ and $G_{2}$ are two disjoint rainbow graphs and they have no common colors, i.e., $G_{1}\cup G_{2}$ is rainbow. For each $i\in[2]$, let $X_{i}\colonequals\{v\in V(G_{i})\colon\,d_{G_{i}}(v)\geq\frac{m_{i}}{4}\}$. Note that $|X_{i}|\leq\frac{2|E(G_{i})|}{m_{i}/4}\leq\frac{2tm_{i}}{m_{i}/4}=8t$ for each $i\in[2]$. By Lemma 2.1 (i), for each $i\in[2]$, $G_{i}$ contains an independent set of size at least $\frac{m_{i}}{2t+1}>t^{6}+8t$, so we may assume that $A_{i}\subseteq V(G_{i})\setminus X_{i}$ is an independent set of $G_{i}$ with $|A_{i}|=t^{6}$. Let $G$ be the $(m_{1}+m_{2})$-vertex graph obtained from $G_{1}\cup G_{2}$ by adding all edges between $X_{1}\cup A_{1}$ and $X_{2}\cup A_{2}$, and we color the new edges such that $G$ is rainbow. Note that $|E(G)|=|E(G_{1})|+|E(G_{2})|+|X_{1}\cup A_{1}||X_{2}\cup A_{2}|\leq{\rm rwsat}(m_{1},H)+{\rm rwsat}(m_{2},H)+t^{14}.$ In order to prove Inequality (1), it suffices to show that $G$ is weakly $H$-rainbow saturated.

Let $a$, $b$ and $s$ be the number of non-edges of $G_{1}$, $G_{2}$ and $G$, respectively. Then $s=a+b+m_{1}m_{2}-|X_{1}\cup A_{1}||X_{2}\cup A_{2}|$. We shall show that there exists an ordering $e_{1},e_{2},\ldots,e_{s}$ of non-edges of $G$ such that, for any list $c_{1},c_{2},\ldots,c_{s}$ of pairwise distinct colors from $\mathbb{N}$, the non-edges $e_{i}$ in color $c_{i}$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. Since $G_{1}$ and $G_{2}$ are weakly $H$-rainbow saturated, there exists an ordering $e_{1},e_{2},\ldots,e_{a}$ of non-edges of $G_{1}$ and an ordering $e_{a+1},e_{a+2},\ldots,e_{a+b}$ of non-edges of $G_{2}$ such that, the non-edges $e_{i}$ in color $c_{i}$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{(1)}=G+\{e_{1},e_{2},\ldots,e_{a+b}\}$ with $c(e_{i})=c_{i}$ for each $i\in[a+b]$.

We next consider the non-edges between $V(G_{1})$ and $V(G_{2})$. For each $i\in[2]$, let $B_{i}\colonequals\{v\in V(G_{i})\setminus(X_{i}\cup A_{i})\colon\,|N_{G_{i}}(v)\cap A_{i}|\geq t^{5}\}$ and $C_{i}\colonequals V(G_{i})\setminus(X_{i}\cup A_{i}\cup B_{i})$. Note that for each $i\in[2]$, we have $|B_{i}|\leq\frac{|E(G_{i})|}{t^{5}}\leq\frac{tm_{i}}{t^{5}}=\frac{m_{i}}{t^{4}}$ and $|C_{i}|\geq m_{i}-|X_{i}|-|A_{i}|-|B_{i}|\geq\frac{2m_{i}}{3}$. Roughly speaking, we will consider the remaining non-edges in the following ordering: $E_{\overline{G}}(C_{1}\cup A_{1},C_{2}\cup A_{2})$, $E_{\overline{G}}(B_{1},X_{2}\cup A_{2}\cup C_{2})\cup E_{\overline{G}}(B_{2},X_{1}\cup A_{1}\cup C_{1})$, $E_{\overline{G}}(B_{1},B_{2})$, $E_{\overline{G}}(C_{1},X_{2})\cup E_{\overline{G}}(C_{2},X_{1})$; see Figure 1. For convenience, we introduce one more notion. Assume that $G^{\ast}$ is the edge-colored graph obtained from $G$ by adding certain non-edges $e_{1},e_{2},\ldots,e_{\ell}$ with $c(e_{i})=c_{i}$ for each $i\in[\ell]$. For a subset $E^{\ast}$ of non-edges of $G^{\ast}$, we say that $E^{\ast}$ is nice to $G^{\ast}$ if there exists an ordering $e_{\ell+1},e_{\ell+2},\ldots,e_{\ell+|E^{\ast}|}$ of the non-edges in $E^{\ast}$ such that, the non-edges $e_{\ell+i}$ in color $c_{\ell+i}$ can be added to $G^{\ast}$, one at a time, so that every added edge creates a new rainbow copy of $H$.

Itemization	Sets of non-edges	Claims
Step 1	$E_{\overline{G}}(C_{1},A_{2})$	Claim 3.1
	$E_{\overline{G}}(C_{2},A_{1})$
Step 2	$E_{\overline{G}}(C_{1},C_{2})$
Step 3	$E_{\overline{G}}(B_{1},X_{2}\cup A_{2})$	Claim 3.2
	$E_{\overline{G}}(B_{2},X_{1}\cup A_{1})$
Step 4	$E_{\overline{G}}(B_{1},C_{2})$
	$E_{\overline{G}}(B_{2},C_{1})$
Step 5	$E_{\overline{G}}(B_{1},B_{2})$	Claim 3.3
Step 6	$E_{\overline{G}}(C_{1},X_{2})$	Claim 3.4
	$E_{\overline{G}}(C_{2},X_{1})$

Figure 1: An illustration of the non-edges (represented by dashed lines) of $G^{(1)}$, and the rough ordering of the remaining non-edges that we wish to add to $G^{(1)}$.

Claim 3.1.

$E_{\overline{G}}(C_{1}\cup A_{1},C_{2}\cup A_{2})$ is nice to $G^{(1)}$.

Proof.

For an arbitrarily fixed vertex $u\in C_{1}$, there exists a set $S\subseteq A_{1}$ with $|S|\geq|A_{1}|-t^{5}\geq t^{5}$ such that $G_{1}$ contains no edges between $u$ and $S$. Note that in $G^{(1)}$, the subset $S\cup\{u\}$ induces a rainbow complete subgraph with colors from $\{c_{1},c_{2},\ldots,c_{a}\}$, and the edges between $S$ and $A_{2}$ forms a rainbow complete bipartite subgraph. Let $G^{\prime}$ be the bipartite subgraph of $G$ with bipartition $(S,A_{2})$ and $E(G^{\prime})=\{v_{1}v_{2}\colon\,v_{1}\in S,v_{2}\in A_{2},\mbox{$c(v_{1}v_{2})$ is not a color on edges between $u$ and $S$}\}$. Since $G$ is rainbow, we have $|E(G^{\prime})|\geq|S||A_{2}|-|S|$. By Lemma 2.1 (ii), there exist subsets $S^{\prime}\subseteq S$ and $A^{\prime}\subseteq A_{2}$ with $|S^{\prime}|=t^{4}$ and $|A^{\prime}|=t^{5}$ such that $G^{\prime}[S^{\prime}\cup A^{\prime}]$ is a complete bipartite subgraph. This implies that the edges between $S^{\prime}$ and $A^{\prime}\cup\{u\}$ form a rainbow complete bipartite subgraph. For any vertex $x\in A^{\prime}$, by Corollary 2.3 (with $F=G^{(1)}[S^{\prime}\cup\{u,x\}]+ux$), the addition of the non-edge $ux$ in any color to $G^{(1)}$ creates a new rainbow copy of $H$. By symmetry, for any ordering $e_{a+b+1},\ldots,e_{a+b+t^{5}}$ of the non-edges between $u$ and $A^{\prime}$, the non-edges $e_{a+b+i}$ in color $c_{a+b+i}$ can be added to $G^{(1)}$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{(2,1)}=G^{(1)}+\{e_{a+b+1},\ldots,e_{a+b+t^{5}}\}$ with $c(e_{a+b+i})=c_{a+b+i}$ for each $i\in\left[t^{5}\right]$.

For any vertex $y\in A_{2}\setminus A^{\prime}$, note that $G^{(2,1)}[A^{\prime}\cup\{u,y\}]$ is a rainbow subgraph with colors from $\{c_{1},c_{2},\ldots,c_{a+b+t^{5}}\}$. Thus adding the non-edge $uy$ in any color to $G^{(2,1)}$ creates a new rainbow copy of $H$. By symmetry, this in fact shows that there exists an ordering $e_{a+b+1},\ldots,e_{a+b+t^{6}|C_{1}\cup C_{2}|}$ of the non-edges in $E_{\overline{G}}(C_{1},A_{2})\cup E_{\overline{G}}(C_{2},A_{1})$ such that, the non-edges $e_{a+b+i}$ in color $c_{a+b+i}$ can be added to $G^{(1)}$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{(2,2)}=G^{(1)}+\{e_{a+b+1},\ldots,e_{a+b+t^{6}|C_{1}\cup C_{2}|}\}$ with $c(e_{a+b+i})=c_{a+b+i}$ for each $i\in\left[t^{6}|C_{1}\cup C_{2}|\right]$.

Let $v_{1}v_{2}$ be an arbitrarily fixed non-edge with $v_{1}\in C_{1}$ and $v_{2}\in C_{2}$. Note that there exists a set $S^{\prime\prime}\subseteq A_{1}$ with $|S^{\prime\prime}|\geq|A_{1}|-t^{5}\geq t^{5}$ such that $G_{1}$ contains no edges between $v_{1}$ and $S^{\prime\prime}$. Then $G^{(2,2)}[S^{\prime\prime}\cup\{v_{1},v_{2}\}]$ is a rainbow subgraph with colors from $\{c_{1},c_{2},\ldots,c_{s}\}$. Thus adding the non-edge $v_{1}v_{2}$ in any color to $G^{(2,2)}$ creates a new rainbow copy of $H$. Since $v_{1}v_{2}$ is chosen arbitrarily, we know that there exists an ordering $e_{a+b+t^{6}|C_{1}\cup C_{2}|+1},\ldots,e_{a+b+t^{6}|C_{1}\cup C_{2}|+|C_{1}||C_{2}|}$ of the non-edges in $E_{\overline{G}}(C_{1},C_{2})$ such that, the non-edges $e_{a+b+t^{6}|C_{1}\cup C_{2}|+i}$ in color $c_{a+b+t^{6}|C_{1}\cup C_{2}|+i}$ can be added to $G^{(2,2)}$, one at a time, so that every added edge creates a new rainbow copy of $H$. This completes the proof of Claim 3.1. ∎

Let $q_{1}=|E_{\overline{G}}(C_{1}\cup A_{1},C_{2}\cup A_{2})|=t^{6}|C_{1}\cup C_{2}|+|C_{1}||C_{2}|$. By Claim 3.1, there exists an ordering $e_{a+b+1},\ldots,e_{a+b+q_{1}}$ of the non-edges in $E_{\overline{G}}(C_{1}\cup A_{1},C_{2}\cup A_{2})$ such that, the non-edges $e_{a+b+i}$ in color $c_{a+b+i}$ can be added to $G^{(1)}$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{(2)}=G^{(1)}+\{e_{a+b+1},\ldots,e_{a+b+q_{1}}\}$ with $c(e_{a+b+i})=c_{a+b+i}$ for each $i\in[q_{1}]$.

Claim 3.2.

$E_{\overline{G}}(B_{1},X_{2}\cup A_{2}\cup C_{2})\cup E_{\overline{G}}(B_{2},X_{1}\cup A_{1}\cup C_{1})$ is nice to $G^{(2)}$.

Proof.

Let $(v,z)$ be an arbitrarily fixed pair of vertices with $v\in B_{1}$ and $z\in X_{2}\cup A_{2}$. Let $T\subseteq N_{G_{1}}(v)\cap A_{1}$ with $|T|=t^{5}$. Note that in $G^{(2)}+vz$, the vertex set $T\cup\{v,z\}$ induces a complete subgraph. Moreover, the edges between $T$ and $\{v,z\}$ forms a rainbow $K_{2,t^{5}}$, and $T$ induces a rainbow complete subgraph with colors from $\{c_{1},c_{2},\ldots,c_{a}\}$. By Corollary 2.3 (with $F=G^{(2)}[T\cup\{v,z\}]+vz$), after adding $vz$ in any color, there is a new rainbow copy of $H$. By symmetry, the same statement holds for every pair of vertices $(v,z)$ with $(v,z)\in B_{1}\times(X_{2}\cup A_{2})$ or $(v,z)\in B_{2}\times(X_{1}\cup A_{1})$. Let $q=|E_{\overline{G}}(B_{1},X_{2}\cup A_{2})\cup E_{\overline{G}}(B_{2},X_{1}\cup A_{1})|=|B_{1}||X_{2}\cup A_{2}|+|B_{2}||X_{1}\cup A_{1}|$. Then there exists an ordering $e_{a+b+q_{1}+1},\ldots,$ $e_{a+b+q_{1}+q}$ of the non-edges in $E_{\overline{G}}(B_{1},X_{2}\cup A_{2})\cup E_{\overline{G}}(B_{2},X_{1}\cup A_{1})$ such that, the non-edges $e_{a+b+q_{1}+i}$ in color $c_{a+b+q_{1}+i}$ can be added to $G^{(2)}$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{(3,1)}=G^{(2)}+\{e_{a+b+q_{1}+1},\ldots,e_{a+b+q_{1}+q}\}$ with $c(e_{a+b+q_{1}+i})=c_{a+b+q_{1}+i}$ for each $i\in[q]$.

Let $(u,x)$ be an arbitrarily fixed pair of vertices with $u\in C_{1}$ and $x\in B_{2}$. Note that there exists a set $S\subseteq A_{1}$ with $|S|\geq|A_{1}|-t^{5}\geq t^{5}$ such that $G_{1}$ contains no edges between $u$ and $S$. Then $G^{(3,1)}[S\cup\{u,x\}]$ is a rainbow subgraph with colors from $\{c_{1},c_{2},\ldots,c_{a+b+q_{1}+q}\}$. Thus adding the non-edge $ux$ in any color to $G^{(3,1)}$ creates a new rainbow copy of $H$. By symmetry, the same statement holds for every pair of vertices $(u,x)$ with $(u,x)\in C_{1}\times B_{2}$ or $(u,x)\in C_{2}\times B_{1}$. This completes the proof of Claim 3.2. ∎

Let $q_{2}=|E_{\overline{G}}(B_{1},X_{2}\cup A_{2}\cup C_{2})\cup E_{\overline{G}}(B_{2},X_{1}\cup A_{1}\cup C_{1})|$. By Claim 3.2, there exists an ordering $e_{a+b+q_{1}+1},\ldots,$ $e_{a+b+q_{1}+q_{2}}$ of the non-edges in $E_{\overline{G}}(B_{1},X_{2}\cup A_{2}\cup C_{2})\cup E_{\overline{G}}(B_{2},X_{1}\cup A_{1}\cup C_{1})$ such that, the non-edges $e_{a+b+q_{1}+i}$ in color $c_{a+b+q_{1}+i}$ can be added to $G^{(2)}$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{(3)}=G^{(2)}+\{e_{a+b+q_{1}+1},\ldots,e_{a+b+q_{1}+q_{2}}\}$ with $c(e_{a+b+q_{1}+i})=c_{a+b+q_{1}+i}$ for each $i\in[q_{2}]$.

Claim 3.3.

$E_{\overline{G}}(B_{1},B_{2})$ is nice to $G^{(3)}$.

Proof.

Let $w$ be an arbitrarily fixed vertex of $B_{1}$. Since $w\notin X_{1}$, there exists a subset $C^{\prime}\subseteq C_{1}$ such that $G$ contains no edges between $w$ and $C^{\prime}$ and $|C^{\prime}|\geq|C_{1}|-\frac{m_{1}}{4}\geq\frac{2m_{1}}{3}-\frac{m_{1}}{4}>\frac{m_{1}}{3}$. Note that $|E(G_{1}[C^{\prime}])|\leq|E(G_{1})|\leq tm_{1}\leq 3t|C^{\prime}|$. Applying Lemma 2.1 (i) (with $c=3t$) to $G_{1}[C^{\prime}]$, we have that $G_{1}$ contains an independent set $C^{\prime\prime}\subseteq C^{\prime}$ of size at least $\frac{|C^{\prime}|}{6t+1}\geq t^{4}$. Note that for any vertex $w^{\prime}\in B_{2}$, the subset $C^{\prime\prime}\cup\{w,w^{\prime}\}$ induces a rainbow subgraph of $G^{(4)}$. Thus after adding $ww^{\prime}$ in any color, there is a new rainbow copy of $H$. Since $w$ and $w^{\prime}$ are chosen arbitrarily, the result follows. ∎

Let $q_{3}=|B_{1}||B_{2}|$. By Claim 3.3, there exists an ordering $e_{a+b+q_{1}+q_{2}+1},\ldots,e_{a+b+q_{1}+q_{2}+q_{3}}$ of the non-edges between $B_{1}$ and $B_{2}$ such that, the non-edges $e_{a+b+q_{1}+q_{2}+i}$ in color $c_{a+b+q_{1}+q_{2}+i}$ can be added to $G^{(3)}$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{(4)}=G^{(3)}+\{e_{a+b+q_{1}+q_{2}+1},\ldots,e_{a+b+q_{1}+q_{2}+q_{3}}\}$ with $c(e_{a+b+q_{1}+q_{2}+i})=c_{a+b+q_{1}+q_{2}+i}$ for each $i\in[q_{3}]$.

Claim 3.4.

$E_{\overline{G}}(C_{1},X_{2})\cup E_{\overline{G}}(C_{2},X_{1})$ is nice to $G^{(4)}$.

Proof.

Let $C^{\prime}\subseteq C_{1}$ be the set of vertices $v$ such that there exists a vertex $x\in A_{1}$ with $vx\notin E(G)$ and $c_{G^{(4)}}(vx)\in\{c(e)\colon\,e\in E_{G}(A_{1},X_{2})\}$. Let $C^{\prime\prime}=C_{1}\setminus C^{\prime}$. Since $c_{1},c_{2},\ldots,c_{s}$ are pairwise distinct colors, we have $|C^{\prime}|\leq|A_{1}||X_{2}|\leq 8t^{7}$ and $|C^{\prime\prime}|=|C_{1}|-|C^{\prime}|\geq\frac{2m_{1}}{3}-8t^{7}\geq\frac{m_{1}}{3}$.

Let $uy$ be an arbitrarily fixed non-edges with $u\in C^{\prime\prime}$ and $y\in X_{2}$. Note that there exists a set $S\subseteq A_{1}$ with $|S|\geq|A_{1}|-t^{5}\geq t^{5}$ such that $G_{1}$ contains no edges between $u$ and $S$. Note that in $G^{(4)}+uy$, the vertex set $S\cup\{u,y\}$ induces a complete subgraph. Moreover, the edges between $S$ and $\{u,y\}$ forms a rainbow $K_{2,t^{5}}$, and $S$ induces a rainbow complete subgraph with colors from $\{c_{1},c_{2},\ldots,c_{a}\}$. By Corollary 2.3 (with $F=G^{(4)}[S\cup\{u,y\}]+uy$), after adding $uy$ in any color, there is a new rainbow copy of $H$. Since $uy$ is chosen arbitrarily, we know that there exists an ordering $e_{a+b+q_{1}+q_{2}+q_{3}+1},\ldots,e_{a+b+q_{1}+q_{2}+q_{3}+|C^{\prime\prime}||X_{2}|}$ of the non-edges in $E_{\overline{G}}(C^{\prime\prime},X_{2})$ such that, the non-edges $e_{a+b+q_{1}+q_{2}+q_{3}+i}$ in color $c_{a+b+q_{1}+q_{2}+q_{3}+i}$ can be added to $G^{(4)}$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{(5,1)}=G^{(4)}+\{e_{a+b+q_{1}+q_{2}+q_{3}+1},\ldots,e_{a+b+q_{1}+q_{2}+q_{3}+|C^{\prime\prime}||X_{2}|}\}$ with $c(e_{a+b+q_{1}+q_{2}+q_{3}+i})=c_{a+b+q_{1}+q_{2}+q_{3}+i}$ for each $i\in\left[|C^{\prime\prime}||X_{2}|\right]$.

Let $w$ be an arbitrarily fixed vertex of $C^{\prime}$. Since $w\notin X_{1}$, there exists a subset $C^{\prime\prime\prime}\subseteq C^{\prime\prime}$ such that $G$ contains no edges between $w$ and $C^{\prime\prime\prime}$ and $|C^{\prime\prime\prime}|\geq|C^{\prime\prime}|-\frac{m_{1}}{4}\geq\frac{m_{1}}{3}-\frac{m_{1}}{4}\geq\frac{m_{1}}{12}$. Note that $|E(G_{1}[C^{\prime\prime\prime}])|\leq|E(G_{1})|\leq tm_{1}\leq 12t|C^{\prime\prime\prime}|$. Applying Lemma 2.1 (i) (with $c=12t$) to $G_{1}[C^{\prime\prime\prime}]$, we have that $G_{1}$ contains an independent set $C^{\ast}\subseteq C^{\prime\prime\prime}$ of size at least $\frac{|C^{\prime\prime\prime}|}{24t+1}\geq t^{3}$. Note that for any vertex $w^{\prime}\in X_{2}$, the subset $C^{\ast}\cup\{w,w^{\prime}\}$ induces a rainbow subgraph of $G^{(4)}$. Thus after adding $ww^{\prime}$ in any color, there is a new rainbow copy of $H$. Since $w$ and $w^{\prime}$ are chosen arbitrarily, this holds for every non-edge between $C^{\prime}$ and $X_{2}$. By symmetry, this in fact implies that there exists an ordering $e_{a+b+q_{1}+q_{2}+q_{3}+1},\ldots,e_{s}$ of the non-edges in $E_{\overline{G}}(C_{1},X_{2})\cup E_{\overline{G}}(C_{2},X_{1})$ such that, the non-edges $e_{a+b+q_{1}+q_{2}+q_{3}+i}$ in color $c_{a+b+q_{1}+q_{2}+q_{3}+i}$ can be added to $G^{(4)}$, one at a time, so that every added edge creates a new rainbow copy of $H$. The proof of Claim 3.4 is complete. ∎

By Claim 3.4, $G$ is weakly $H$-rainbow saturated, and thus Inequality (1) holds. By Lemma 2.5, the limit $\lim_{n\to\infty}\frac{{\rm rwsat}(n,H)}{n}$ exists. This completes the proof of Theorem 1.2. $\square$

We next present our proof of Theorem 1.3 in the following more precise form, which generalizes a result of Faudree, Gould and Jacobson [12] on weak saturation numbers, and a result of Chakraborti, Hendrey, Lund and Tompkins [9] on weak rainbow saturation numbers of complete graphs. Recall that for any graph $H$, $f(H)$ is the smallest integer $n$ such that for each $N\in\{n-1,n\}$ we have ${\rm ex}(N,\mathscr{H})\leq{N\choose 2}-2N-2$, where $\mathscr{H}\colonequals\{H-\{u,v\}\colon\,uv\in E(H)\}$.

Theorem 3.1.

Let $H$ be a non-empty graph. Then the following statements hold.

• If $H$ contains a pendant edge and $n>f(H)+1$, then ${\rm rwsat}(n,H)\leq{f(H)+1\choose 2}$.

• If $H$ contains no pendant edges and $n>f(H)+\delta^{\prime}(H)$, then

  $$\frac{1}{2}\delta^{\prime}(H)n\leq{\rm rwsat}(n,H)\leq\delta^{\prime}(H)(n-f(H)-\delta^{\prime}(H))+{f(H)+\delta^{\prime}(H)\choose 2}.$$

Proof.

(i) We shall show that if $H$ contains a pendant edge and $n>f(H)+1\geq|V(H)|$, then ${\rm rwsat}(n,H)\leq{f(H)+1\choose 2}$. Let $G$ be an $n$-vertex graph consisting of a rainbow clique of order $f(H)+1$ and $n-f(H)-1$ isolated vertices. It suffices to show that $G$ is weakly $H$-rainbow saturated. Let $c_{1},c_{2},\ldots,c_{m}$ be an arbitrarily fixed list of pairwise distinct colors from $\mathbb{N}$, where $m={n\choose 2}-{f(H)+1\choose 2}$. Let $U\subset V(G)$ be the set of $n-f(H)-1$ isolated vertices, $V=V(G)\setminus U$, and $s=|U||V|=(n-f(H)-1)(f(H)+1)$.

For any pair of vertices $(u,v)\in U\times V$ and any color $c^{\ast}\in\mathbb{N}$, there exists a subset $V^{\prime}\subseteq V$ with $v\in V^{\prime}$ and $|V^{\prime}|\geq|V|-1=f(H)\geq|V(H)|-1$ such that $G[V^{\prime}]$ is a rainbow clique and contains no edge of color $c^{\ast}$. Thus the addition of $uv$ in color $c^{\ast}$ creates a new rainbow copy of $H$ (with $uv$ being the pendant edge). By symmetry, this implies that for any ordering $e_{1},e_{2},\ldots,e_{s}$ of the non-edges between $U$ and $V$, the non-edges $e_{i}$ in color $c_{i}$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{\prime}=G+\{e_{1},e_{2},\ldots,e_{s}\}$ with $c(e_{i})=c_{i}$ for each $i\in[s]$.

For any non-edge $u_{1}u_{2}$ within $U$, we consider the subgraph $F=G^{\prime}[V^{\ast}\cup\{u_{1},u_{2}\}]+u_{1}u_{2}$, where $V^{\ast}$ is an arbitrary subset of $V$ with $|V^{\ast}|=f(H)$. Note that $F$ satisfies the hypothesis of Lemma 2.2. Thus the addition of $u_{1}u_{2}$ in any color creates a new rainbow copy of $H$. By symmetry, this implies that for any ordering $e_{s+1},e_{s+2},\ldots,e_{m}$ of the non-edges within $U$, the non-edges $e_{s+i}$ in color $c_{s+i}$ can be added to $G^{\prime}$, one at a time, so that every added edge creates a new rainbow copy of $H$. Therefore, $G$ is weakly $H$-rainbow saturated, and thus ${\rm rwsat}(n,H)\leq|E(G)|={f(H)\choose 2}$.

(ii) For the lower bound, let $G$ be a weakly $H$-rainbow saturated graph on $n$ vertices. Then there exists an ordering $e_{1},e_{2},\ldots,e_{m}$ of $E\left(\overline{G}\right)$ such that, for any list $c_{1},c_{2},\ldots,c_{m}$ of pairwise distinct colors from $\mathbb{N}$, the non-edges $e_{i}$ in color $c_{i}$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. Since $H$ contains no pendant edges and $E(H)\neq\emptyset$, we have $d_{H}(u)=0$ or $d_{H}(u)\geq 2$ for every vertex $u\in V(H)$, i.e., $\delta^{\prime}(H)\geq 2$. This implies that $G$ contains no isolated vertices.

Suppose for a contradiction that $|E(G)|<\frac{1}{2}\delta^{\prime}(H)n$. Then $G$ contains a vertex $v$ with $d\colonequals d_{G}(v)\leq\delta^{\prime}(H)-1$. Let $e_{i_{1}},\ldots,e_{i_{n-1-d}}$ be all the non-edges of $G$ containing $v$ as an end-vertex, where $i_{1}<\cdots<i_{n-1-d}$. Let $G_{i_{1}-1}=G+\{e_{1},\ldots,e_{i_{1}-1}\}$ and $G_{i_{1}}=G_{i_{1}-1}+e_{i_{1}}$. Then $d_{G_{i_{1}-1}}(v)=d_{G}(v)\leq\delta^{\prime}(H)-1$ and $d_{G_{i_{1}}}(v)=d_{G}(v)+1\leq\delta^{\prime}(H)$. If $c_{i_{1}}$ is a color from the set of colors on edges incident with $v$ in $G$, then the addition of $e_{i_{1}}$ in color $c_{i_{1}}$ to $G^{\prime}$ does not create any new rainbow copy of $H$, a contradiction. This implies that ${\rm rwsat}(n,H)\geq\frac{1}{2}\delta^{\prime}(H)n$.

For the upper bound, consider the following construction. Let $A$, $B$ and $C$ be three pairwise disjoint sets of vertices with $|A|=\delta^{\prime}(H)$, $|B|=f(H)$ and $|C|=n-f(H)-\delta^{\prime}(H)$. Let $G^{\prime}$ be a rainbow graph on vertex set $A\cup B\cup C$ whose edge set consists of all edges within $A\cup B$ and all edges between $A$ and $C$. Then $|E(G^{\prime})|=\delta^{\prime}(H)(n-f(H)-\delta^{\prime}(H))+{f(H)+\delta^{\prime}(H)\choose 2}.$ It suffices to show that $G^{\prime}$ is weakly $H$-rainbow saturated.

Let $c^{\prime}_{1},c^{\prime}_{2},\ldots,c^{\prime}_{t}$ be an arbitrarily fixed list of pairwise distinct colors from $\mathbb{N}$, where $t={n\choose 2}-|E(G^{\prime})|$. Let $xy$ be an arbitrary non-edge with $x\in B$ and $y\in C$, and let $G^{\prime\prime}$ be the edge-colored graph obtained from $G^{\prime}$ by adding $xy$ in any color. Since $G^{\prime}$ is rainbow, there exists a subset $X\subseteq A\cup B$ with $x\in X$ and $|X|\geq|A\cup B|-1\geq|V(H)|-1$ such that $G^{\prime\prime}[X\cup\{y\}]$ is rainbow, $d_{G^{\prime\prime}[X\cup\{y\}]}(y)\geq\delta^{\prime}(H)$, and $d_{G^{\prime\prime}[X\cup\{y\}]}(z)=|X|$ for every $z\in X$. This implies that adding $xy$ in any color creates a new rainbow copy of $H$. By symmetry, this implies that for any ordering $e^{\prime}_{1},e^{\prime}_{2},\ldots,e^{\prime}_{|B||C|}$ of the non-edges between $B$ and $C$, the non-edges $e^{\prime}_{i}$ in color $c^{\prime}_{i}$ can be added to $G^{\prime}$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{\prime\prime\prime}=G^{\prime}+\{e^{\prime}_{1},e^{\prime}_{2},\ldots,e^{\prime}_{|B||C|}\}$ with $c(e^{\prime}_{i})=c^{\prime}_{i}$ for each $i\in[|B||C|]$. Next, we consider the remaining non-edges, i.e., non-edges within $C$. Let $w,w^{\prime}$ be two distinct vertices of $C$, and let $F=G^{\prime\prime\prime}[B\cup\{w,w^{\prime}\}]+ww^{\prime}$. Then $F$ satisfies the hypothesis of Lemma 2.2. Thus the addition of $ww^{\prime}$ in any color creates a new rainbow copy of $H$. By symmetry, this implies that for any ordering $e^{\prime}_{|B||C|+1},e^{\prime}_{|B||C|+2},\ldots,e^{\prime}_{t}$ of the non-edges within $C$, the non-edges $e^{\prime}_{|B||C|+i}$ in color $c^{\prime}_{|B||C|+i}$ can be added to $G^{\prime\prime\prime}$, one at a time, so that every added edge creates a new rainbow copy of $H$. Therefore, $G^{\prime}$ is weakly $H$-rainbow saturated, and thus ${\rm rwsat}(n,H)\leq|E(G^{\prime})|=\delta^{\prime}(H)(n-f(H)-\delta^{\prime}(H))+{f(H)+\delta^{\prime}(H)\choose 2}$. This completes the proof. ∎

Remark 3.2.

In the case when $H$ is a complete graph $K_{r}$ $(r\geq 3)$, the upper bound given by Theorem 3.1 (ii) can be improved to ${\rm rwsat}(n,K_{r})\leq(r-1)(n-r)+{r\choose 2}$. Indeed, in this case, when we construct the graph $G^{\prime}$, we may choose $B$ to be a single vertex. Moreover, when we add the non-edge $ww^{\prime}$, we can find a rainbow copy of $H$ within $A\cup\{w,w^{\prime}\}$ $($so we can avoid the use of Lemma 2.2$)$. This upper bound on ${\rm rwsat}(n,K_{r})$ was first obtained by Chakraborti, Hendrey, Lund and Tompkins [9].

4 Concluding remarks

In this paper, we prove that the limit $\lim_{n\to\infty}\frac{{\rm rwsat}(n,H)}{n}$ exists for any non-empty graph $H$. We also show that this limit is nonzero if and only if $H$ contains no pendant edges by proving that if $H$ contains no pendant edges and $n>f(H)+\delta^{\prime}(H)$, then

$$\frac{1}{2}\delta^{\prime}(H)n\leq{\rm rwsat}(n,H)\leq\delta^{\prime}(H)(n-f(H)-\delta^{\prime}(H))+{f(H)+\delta^{\prime}(H)\choose 2},$$ (2)

where $\delta^{\prime}(H)\colonequals\min\{d_{H}(v)\colon\,v\in V(H),d_{H}(v)\neq 0\}$.

For sufficiently large $n$, the lower bound in Inequality (2) cannot be improved to $cn$ for any $c>\frac{1}{2}(\delta^{\prime}(H)+1)$. To see this, let $H$ be the graph obtained from $2K_{t}$ ($t\geq 3$) by adding a single edge between the two copies of $K_{t}$. Note that $\delta^{\prime}(H)=t-1$. For sufficiently large $n$, we write $n=\lfloor\frac{n}{t+1}\rfloor(t+1)+r$, where $0\leq r\leq t$. Let $G$ be a rainbow copy of $(rK_{t+2})\cup((\lfloor\frac{n}{t+1}\rfloor-r)K_{t+1})$. It is easy to check that $G$ is weakly $H$-rainbow saturated. Thus ${\rm rwsat}(n,H)\leq|E(G)|=\frac{t}{2}n+\Theta(1)=\frac{1}{2}(\delta^{\prime}(H)+1)n+\Theta(1)$. For sufficiently large $n$, the upper bound in Inequality (2) cannot be improved to $c^{\prime}n$ for any $c^{\prime}<\delta^{\prime}(H)-1$. For example, when $H=K_{t}$ ($t\geq 3$), we have ${\rm rwsat}(n,H)\geq{\rm wsat}(n,H)={n\choose 2}-{n-t+2\choose 2}=(t-2)n-\Theta(1)=(\delta^{\prime}(H)-1)n-\Theta(1)$ (see [2, 19]). Given this, we pose the following two questions.

Question 4.1.

Let $H$ be a non-empty graph containing no pendant edges. Is it true that ${\rm rwsat}(n,H)\geq\left(\frac{\delta^{\prime}(H)+1}{2}-o(1)\right)n$?

Question 4.2.

For any integer $t\geq 3$, does there exist a constant $c_{t}$ such that ${\rm rwsat}(n,K_{t})=(t-1)n+c_{t}$?

It is also natural to ask for what graphs $H$, it holds ${\rm rwsat}(n,H)\leq cn$ for some $c<\delta^{\prime}(H)$ and sufficiently large integers $n$. Our Theorem 3.1 (i) implies that this is the case when $\delta^{\prime}(H)=1$. We can also show that this holds for a large family of graphs $H$ with $\delta^{\prime}(H)=2$ (including all cycles of length at least 5). Let $\mathscr{F}$ be the family of graphs $H$ containing an edge $uv$ with $d_{H}(u)=d_{H}(v)=2$ such that $uv$ is the middle edge of an induced subgraph $P_{4}$ in $H$. Note that for any $H\in\mathscr{F}$, we have $\delta^{\prime}(H)\in\{1,2\}$.

Proposition 4.3.

For any graph $H\in\mathscr{F}$ with $\delta^{\prime}(H)=2$, there exists a constant $c_{H}$ such that ${\rm rwsat}(n,H)\leq\frac{3}{2}n+c_{H}$.

Proof.

Let $h=|V(H)|$ and let $P$ be the induced $P_{4}$ of $H$ as described in the definition of $\mathscr{F}$. We may assume that $n\geq h+3$ since we can choose $c_{H}$ to be a constant greater than ${h+2\choose 2}$. Let $k=\lfloor\frac{n-h-1}{2}\rfloor$ and $t=n-2k$, so $h+1\leq t\leq h+2$. Let $G$ be a rainbow graph on $n$ vertices with $V(G)=\{v_{1},\ldots,v_{t},x_{1},\ldots,x_{k},y_{1},\ldots,y_{k}\}$ and $|E(H)|=\{v_{i}v_{j}\colon\,1\leq i<j\leq t\}\cup\{v_{1}x_{i},v_{1}y_{i},x_{i}y_{i}\colon\,i\in[k]\}$. Note that $|E(G)|={t\choose 2}+3k=\frac{3}{2}n+c_{H}$ for some constant $c_{H}$. It suffices to show that $G$ is weakly $H$-rainbow saturated.

Let $c_{1},c_{2},\ldots,c_{m}$ be an arbitrarily fixed list of pairwise distinct colors from $\mathbb{N}$ , where $m={n\choose 2}-|E(G)|$. Let $V=\{v_{1},\ldots,v_{t}\}$ and $U=\{x_{1},\ldots,x_{k},y_{1},\ldots,y_{k}\}$. We first consider the non-edges between $V$ and $U$. By symmetry, we only consider the addition of $v_{2}x_{1}$ in some color $c^{\ast}\in\{c_{1},c_{2},\ldots,c_{m}\}$. Since $G$ is rainbow, we can find a subset $V^{\prime}\subseteq V\setminus\{v_{1},v_{2}\}$ with $|V^{\prime}|\geq|V|-3\geq h-2$ such that $G[V^{\prime}\cup\{v_{1},v_{2}\}]-v_{1}v_{2}$ contains no edges of color $c^{\ast}$. If $c_{G}(x_{1}v_{1})\neq c^{\ast}$, then the addition of $v_{2}x_{1}$ in color $c^{\ast}$ creates a rainbow copy of $H$ in which $v_{2}x_{1}v_{1}v_{i}$ plays the role of the path $P$, where $v_{i}$ is a vertex of $V^{\prime}$. If $c_{G}(x_{1}v_{1})=c^{\ast}$, then the addition of $v_{2}x_{1}$ in color $c^{\ast}$ creates a rainbow copy of $H$ in which $v_{2}x_{1}y_{1}v_{1}$ plays the role of the path $P$. Therefore, for any ordering $e_{1},\ldots,e_{2k(t-1)}$ of the non-edges between $V$ and $U$, the non-edges $e_{i}$ in color $c_{i}$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. Let $G^{\prime}=G+\{e_{1},e_{2},\ldots,e_{2k(t-1)}\}$ with $c(e_{i})=c_{i}$ for each $i\in[2k(t-1)]$. We next consider the non-edges within $U$. By symmetry, we only consider the addition of $x_{1}x_{2}$ in some color $c^{\ast\ast}\in\{c_{2k(t-1)+1},\ldots,c_{m}\}$. Since $G$ is rainbow and $c_{1},c_{2},\ldots,c_{m}$ are pairwise distinct, we can find a subset $V^{\prime\prime}\subseteq V\setminus\{v_{2},v_{3}\}$ with $|V^{\prime\prime}|\geq|V|-5\geq h-4$ such that $G^{\prime}[V^{\prime\prime}\cup\{v_{2},v_{3}\}]-v_{2}v_{3}$ contains no edges of colors from $\{c^{\ast\ast},c_{G^{\prime}}(v_{2}x_{1}),c_{G^{\prime}}(v_{3}x_{2})\}$. Then the addition of $x_{1}x_{2}$ in color $c^{\ast\ast}$ creates a rainbow copy of $H$ in which $v_{2}x_{1}x_{2}v_{3}$ plays the role of the path $P$. Therefore, for any ordering $e_{2k(t-1)+1},\ldots,e_{m}$ of the non-edges within $U$, the non-edges $e_{2k(t-1)+i}$ in color $c_{2k(t-1)+i}$ can be added to $G^{\prime}$, one at a time, so that every added edge creates a new rainbow copy of $H$. This completes the proof. ∎

Note that Proposition 4.3 also implies that for all cycles $C_{\ell}$ with $\ell\geq 5$, we have ${\rm rwsat}(n,C_{\ell})\leq\frac{3}{2}n+c_{\ell}$, where $c_{\ell}$ is a constant only depending on $\ell$. This statement also holds for $C_{4}$. In light of this, we propose the following question.

Question 4.4.

For any integer $\ell\geq 4$, there is a constant $c_{\ell}$ such that ${\rm rwsat}(n,C_{\ell})=\frac{3}{2}n+c_{\ell}$.

E-mail address: [email protected]

E-mail address: [email protected]

E-mail address: [email protected]