---
title: Weak Saturation Number in Graph and Hypergraph Theory
url: https://www.emergentmind.com/topics/weak-saturation-number
type: topic
---

# Weak Saturation Number in Graph and Hypergraph Theory

Searching arXiv for recent and foundational papers on weak saturation number and related variants.
I checked the recent arXiv corpus for “weak saturation” and related phrases; the core sources relevant here include hypergraph asymptotics [2504.03816], rational weak-saturation limits [2501.15686], computational complexity [2501.12096], limits of linear-algebraic lower bounds [2405.17857], random-host stability [2306.10375, 2107.11138, 2006.06855], tree-specific behavior [2502.15626], hypercube and grid formulas [1408.5488], multipartite and tensor-product hypergraphs [2109.03703, 2604.07109], and asymptotically optimal hypergraph lower bounds [2604.07104].
The weak saturation number is an extremal parameter that measures how sparsely one can begin and still force a host graph or hypergraph to grow to completion by repeatedly adding edges that each create a new copy of a fixed pattern. In the classical complete-host setting, for an \(r\)-uniform hypergraph \(H\), \(\mathrm{wsat}(n,H)\) is the minimum number of edges in an \(r\)-uniform hypergraph on \(n\) vertices from which the complete \(r\)-graph can be obtained by adding the missing edges one at a time, each addition creating a new copy of \(H\); in a general host \(G\), one similarly studies \(\mathrm{wsat}(G,H)\) for spanning subgraphs of \(G\) [2504.03816, 2107.11138]. Originating in work of Bollobás and closely connected to bootstrap percolation, the notion now spans exact formulas, asymptotic limit laws, random-host stability, algebraic and polymatroidal lower bounds, hypergraph extensions, and colored variants [1408.5488, 2405.17857].

## 1. Definition and formal framework

For graphs \(F\) and \(G\), a spanning subgraph \(H\subseteq G\) is weakly \(F\)-saturated in \(G\) if the missing edges of \(H\) in \(G\) can be added one by one in some order so that every added edge creates a new copy of \(F\) that contains that edge [1510.09187, 2501.12096]. The corresponding minimum edge count is
\[
\mathrm{wsat}(G,F)=\min\{|E(H)|:H\subseteq G \text{ is weakly }F\text{-saturated in }G\}.
\]
In the complete-host case one writes \(\mathrm{wsat}(n,F)=\mathrm{wsat}(K_n,F)\), and for \(r\)-uniform hypergraphs the analogous definition uses \(K_n^{(r)}\) and \(r\)-edges throughout [2504.03816].

The process formulation is central. In the hypergraph setting, if \(F\) is an \(r\)-uniform hypergraph on \([n]\) and
\[
\binom{[n]}{r}\setminus E(F)=\{e_1,\dots,e_k\},
\]
then weak \(H\)-saturation means that there is a chain
\[
F=F_0\subset F_1\subset\cdots\subset F_k=K_n^{(r)}
\]
with \(E(F_i)\setminus E(F_{i-1})=\{e_i\}\) such that each \(e_i\) lies in a new copy of \(H\) in \(F_i\) [2504.03816]. This distinguishes weak saturation from classical saturation, where every missing edge must create a copy immediately, rather than only after a suitable growth process [1510.09187].

The general-host formulation and the complete-host formulation are complementary. The former emphasizes spanning subgraphs of an ambient graph or hypergraph \(G\), while the latter emphasizes the asymptotics of \(\mathrm{wsat}(n,H)\) for fixed \(H\). The literature also treats directed multipartite hosts, random hosts, grids, hypercubes, and colored hosts, but the same bootstrap principle remains the common core [2109.03703, 1408.5488].

## 2. Asymptotic theory in complete hosts

For graphs, Alon showed that for every fixed graph \(F\) there exists a constant \(w_F\) such that
\[
\mathrm{wsat}(n,F)=w_F n+o(n),
\]
so the normalized quantity \(\mathrm{wsat}(n,F)/n\) always has a limit [2501.15686]. Recent work goes further and characterizes all possible rational values of \(w_F\): they are exactly
\[
\{0\}\cup \bigl\{1-\tfrac1k:k\ge3\bigr\}\cup\{1\}\cup\bigl\{\tfrac32-\tfrac1k:k\ge4\text{ even}\bigr\}\cup(\mathbb{Q}\cap[\tfrac32,\infty)),
\]
which in particular implies that \(w_F\) can equal any rational number at least \(\tfrac32\) [2501.15686].

For \(r\)-uniform hypergraphs, the asymptotic scale is governed by the sparseness parameter
\[
s(H):=\min\Bigl\{|S|:S\subseteq V(H),\ \big|\{U\in E(H):S\subseteq U\}\big|=1\Bigr\},
\]
the minimum size of a vertex set contained in exactly one edge of \(H\) [2504.03816]. Tuza proved the general upper bound
\[
\mathrm{wsat}(n,H)=O\bigl(n^{\,s(H)-1}\bigr),
\]
and conjectured that this exponent is always exact. That conjecture is now proved: for every \(r\)-uniform hypergraph \(H\) with at least two edges, there exists \(C_H>0\) such that
\[
\mathrm{wsat}(n,H)=C_H\,n^{s(H)-1}(1+o(1))
\]
[2504.03816].

A different asymptotic viewpoint uses minimum positive codegree. For an \(r\)-uniform hypergraph \(H\), the parameter
\[
\delta^*(H)=\min\{|L_H(U)|:U\in\tbinom{V(H)}{r-1},\ |L_H(U)|\neq0\}
\]
generalizes minimum degree. If \(\delta^*(H)=\delta\ge1\), then
\[
\mathrm{wsat}(n,H)\ge \Biggl(\frac{\delta}{r}-\frac{1}{\binom{r+\delta-1}{r-1}}\Biggr)\binom{n}{r-1},
\]
and this lower bound is asymptotically sharp in general [2604.07104]. In the graph case \(r=2\), this recovers the lower bound
\[
\mathrm{wsat}(n,H)\ge \Bigl(\frac{\delta(H)}{2}-\frac{1}{\delta(H)+1}\Bigr)n
\]
[2604.07104].

## 3. Exact formulas and representative families

Several natural host-pattern pairs admit exact weak saturation numbers.

| Family | Host and pattern | Result |
|---|---|---|
| Cliques | \(K_n\) vs. \(K_s\) | \(\mathrm{wsat}(K_n,K_s)=(s-2)n-\binom{s-1}{2}\) [1510.09187] |
| Hypercubes | \(Q_d\) vs. \(Q_m\) | \(\mathrm{wsat}(Q_d,Q_m)=(m-1)2^d-\sum_{j=0}^{m-2}(m-1-j)\binom{d}{j}\) [1408.5488] |
| Grid cycles | \(P_k^d\) vs. \(C_{2\ell}\) | \(\mathrm{wsat}(P_k^d,C_{2\ell})=k^d-1\) for \(d\ge \ell\ge2\) [1408.5488] |
| Balanced multipartite \(q\)-graphs | \(K^q_{n_1,\dots,n_d}\) vs. \(K^q(r;d)\) | exact multipartite formula [2109.03703] |

For cliques in complete hosts, weak and strong saturation coincide:
\[
\mathrm{wsat}(K_n,K_s)=\operatorname{sat}(K_n,K_s)=(s-2)n-\binom{s-1}{2},
\]
a phenomenon that is highly specific to this setting [1510.09187]. For hypercubes, the exact formula for \(\mathrm{wsat}(Q_d,Q_m)\) answers a question of Johnson and Pinto and shows that, for fixed \(m\), the weak saturation number is \((m-1)2^d-O(d^{m-2})\) [1408.5488].

Complete multipartite hypergraphs admit an exact directed formula. If \(\mathbf{n}=(n_1,\dots,n_d)\), \(\mathbf{r}=(r_1,\dots,r_d)\), and \(K^q_{\mathbf{n}}\) is the complete \(d\)-partite \(q\)-graph, then the directed weak saturation number is
\[
\mwsat\big(K^q_{\mathbf{n}},K^q_{\mathbf{r}}\big)
=
\sum_{I\in \binom{[d]}{q}}\prod_{i\in I}n_i
-
\sum_{I\in \binom{[d]}{\le q}}\prod_{i\in I}(n_i-r_i),
\]
which generalizes Alon’s \(d=q\) theorem; in the balanced case \(r_1=\cdots=r_d=r\), this is also the undirected weak saturation number [2109.03703]. The same paper proves that for fixed \(1\le r_1\le\cdots\le r_d\),
\[
\mathrm{wsat}\bigl(n,K^d_{r_1,\dots,r_d}\bigr)=\frac{r_1-1}{(d-1)!}n^{d-1}+O(n^{d-2}),
\]
so the leading term in the clique host depends only on the smallest part size [2109.03703].

Trees exhibit a different behavior because the host size \(n\) eventually ceases to matter. If \(T\) is a tree, then \(\mathrm{w\mbox{-}sat}(n,T)\) is non-increasing in \(n\) and stabilizes for large \(n\), yielding a limiting weak saturation number \(\mathrm{w\mbox{-}sat}(T)\) [2502.15626]. For nondegenerate caterpillars \(C_{a_1,\dots,a_\ell}\) on \(k+1\) vertices, with \(a=\min a_t\), one has
\[
\mathrm{w\mbox{-}sat}(T)=k-1 \quad\text{iff}\quad a\le2,
\]
and otherwise
\[
\mathrm{w\mbox{-}sat}(T)=k-1+\binom{a-1}{2};
\]
moreover, for every \(\alpha\in[1,2]\) there are caterpillars on \(k\) vertices whose weak saturation numbers are \(\Theta(k^\alpha)\) [2502.15626].

## 4. Methods of proof and structural principles

A large part of the theory is driven by algebraic lower bounds. Kalai’s linear-algebraic method assigns vectors to edges of the host so that every copy of the pattern gives a linear dependence; if every copy of \(F\) yields such a dependence, then the dimension of the span is a lower bound on \(\mathrm{wsat}(G,F)\) [2405.17857]. This viewpoint is formalized via the weak saturation rank \(\mathrm{rk\text{-}sat}(G,F)\), the maximum rank of a matroid on \(E(G)\) in which every copy of \(F\) is a circuit [2405.17857].

That method is powerful but not universal. For every graph \(F\), \(\mathrm{rk\text{-}sat}(K_n,F)\) is eventually of the form \(a_F n+C_F\) with integer slope \(a_F\), and there are infinitely many graphs \(F\) for which this cannot match \(\mathrm{wsat}(K_n,F)\) asymptotically because the weak saturation limit is non-integer [2405.17857]. The same paper proposes a multigraph modification of Kalai’s method that restores tight lower bounds for some such patterns, including dumbbell graphs [2405.17857].

For hypergraphs, polymatroids extend the algebraic method beyond integer coefficients. A 1-polymatroid is a real-valued monotone submodular rank function bounded by set size, and a weakly \(H\)-saturated 1-polymatroid gives the same kind of lower bound as a matroid. The paper "Asymptotically optimal lower bounds on weak saturation numbers for hypergraphs" introduces a polymatroid lower-bound method based on count polymatroids and shows that, unlike the original linear-algebraic method, it can yield non-integer asymptotic coefficients [2604.07104].

The short proof of Tuza’s conjecture for hypergraphs shows a different proof paradigm. There the key structural lemma states that if an \(r\)-uniform hypergraph \(F\) has vertex partition \(V(F)=Z\cup X\), \(|Z|>|V(H)|\), and contains all edges \(e\) with
\[
|e\cap X|\le s(H)-1,
\]
then \(F\) is weakly \(H\)-saturated [2504.03816]. Combined with Rödl’s covering theorem, this gives a compact transfer argument from small asymptotically optimal weakly saturated hypergraphs to large ones, avoiding the more elaborate template machinery used in the earlier proof by Shapira and Tyomkyn [2504.03816].

## 5. Random hosts and stability phenomena

A major theme is whether weak saturation numbers are stable under random thinning of the complete host. For every fixed graph \(F\) and every constant \(p\in(0,1)\),
\[
\mathrm{wsat}(G(n,p),F)=\mathrm{wsat}(K_n,F)(1+o(1))
\quad\text{with high probability},
\]
so dense Erdős–Rényi hosts are asymptotically indistinguishable from complete hosts for weak saturation [2306.10375]. For cliques this is sharper: if \(s\ge3\) and \(0<p<1\) is constant, then
\[
w\text{-}\operatorname{sat}(G(n,p),K_s)=(s-2)n-\binom{s-1}{2}
\quad\text{with high probability},
\]
exactly the same value as in \(K_n\) [1510.09187].

The random-host theory also reveals a sharp contrast with strong saturation. In \(G(n,p)\) with constant \(p\), strong clique saturation is of order \(n\log n\), whereas weak clique saturation remains linear and equal to the complete-host value [1510.09187]. This suggests that weak saturation is much more robust under host sparsification than classical saturation.

The mechanisms behind stability are structural. One approach uses \((t,\gamma)\)-good graphs, where many small sets admit many clique extensions and large sets interact through forced cliques; random graphs \(G(n,p)\) are \((t,\gamma)\)-good with high probability for fixed \(t\) and constant \(p\), which yields exact weak clique saturation formulas [1510.09187]. A more general transference result shows that if a minimal weakly \((K_n,H)\)-saturated graph has a bounded “local percolating core” \(S_0\) such that every other vertex has at least \(\delta(H)-1\) neighbors in \(S_0\), then
\[
\operatorname{wsat}(G(n,p),H)=\operatorname{wsat}(K_n,H)
\]
with high probability for constant \(p\); this applies, for example, to cliques and complete bipartite graphs [2107.11138].

Below constant density, thresholds appear. For weak \(K_s\)-saturation stability, the property
\[
\mathcal A_s:\quad \mathrm{wsat}(G(n,p),K_s)=\mathrm{wsat}(K_n,K_s)
\]
has a threshold function \(r_s(n)\), with lower bound of order
\[
n^{-2/(s+1)}(\ln n)^{(s-2)/(s+1)}(\ln\ln n)^{1/(s+1)}
\]
and upper bound of order
\[
n^{-1/(2s-3)}(\ln n)^\gamma,
\]
where \(\gamma=3\) for \(s=3\) and \(\gamma=(s-2)/(2s-3)\) for \(s\ge4\) [2006.06855]. For stars \(K_{1,t}\), stability occurs at a different scale:
\[
p(n,t)=n^{-1/(t-1)}(\ln n)^{2/(t-1)},
\]
which is the threshold up to constants for
\[
\operatorname{wsat}(G(n,p),K_{1,t})=\binom{t}{2}
\]
when \(t>3\) [2107.11138].

## 6. Variants: colored, rainbow, and tensor-product settings

Several related parameters modify the weak saturation condition by incorporating colors or families of target hypergraphs. In the rainbow setting, a graph is weakly \(H\)-rainbow saturated if its non-edges can be ordered so that, for any list of pairwise distinct colors, the edges can be added one by one and each added edge creates a new rainbow copy of \(H\) [2401.11525]. The corresponding weak rainbow saturation number \(rwsat(n,H)\) satisfies
\[
\lim_{n\to\infty}\frac{rwsat(n,H)}{n}
\]
for every non-empty graph \(H\), and this limit is zero if and only if \(H\) contains a pendant edge [2401.11525].

Rainbow and weak rainbow saturation diverge markedly from the uncolored theory. For complete graphs, the uncolored parameters satisfy
\[
\sat(n,K_r)=\ssat(n,K_r)=\wsat(n,K_r),
\]
but the rainbow theory separates: for \(r\ge5\), rainbow saturation and weak rainbow saturation are not asymptotically equal, and in fact the rainbow saturation number exceeds rainbow semisaturation, hence weak rainbow saturation, by a linear term [2212.04640].

Colored hypergraph weak saturation also admits exact formulas in highly structured hosts. The paper "Weak saturation of tensor product of cliques" determines weak saturation numbers when both host and pattern are tensor products of cliques, generalizing the Moshkovitz–Shapira result for \(K^d_{n_1,\dots,n_d}\) versus \(K^d_{r_1,\dots,r_d}\). It also determines colored weak saturation numbers \(\mathrm{c\text{-}wsat}(G,H)\) for unions of tensor products of cliques and for arbitrary families of such target hypergraphs [2604.07109].

These variants indicate that the bootstrap-percolation principle extends well beyond the basic uncolored complete-host setting. A plausible implication is that weak saturation is best viewed as a family of related closure parameters rather than a single isolated invariant, with the uncolored \(\mathrm{wsat}(n,H)\) as the foundational case.

## 7. Complexity, limitations, and open directions

For arbitrary hosts, exact computation is difficult. Determining whether an \(n\)-vertex graph \(F\) satisfies
\[
\wsat(F,K_3)=n-1
\]
is NP-hard [2501.12096]. The proof builds a polynomial-time reduction from \(3\)-SAT through shellability and collapsibility of pure \(2\)-dimensional simplicial complexes, showing that even the extremal question of whether there is a weakly triangle-saturated spanning tree is algorithmically intractable [2501.12096].

Several structural questions remain open. In the hypergraph asymptotic theorem
\[
\mathrm{wsat}(n,H)=C_H n^{s(H)-1}(1+o(1)),
\]
the constant \(C_H\) is not determined in general, and exact values or finer error terms remain open even for specific families [2504.03816]. Random-host stability is also incomplete: the exact threshold for
\[
\mathrm{wsat}(G(n,p),K_s)=\mathrm{wsat}(K_n,K_s)
\]
is unknown, and a general conjecture asserts that for every fixed graph \(H\) and constant \(p\in(0,1)\),
\[
\operatorname{wsat}(G(n,p),H)=\operatorname{wsat}(K_n,H)
\quad\text{with high probability}
\]
[2006.06855, 2107.11138].

On the asymptotic side, the spectrum of weak saturation limits is only partially understood beyond the rational classification. One conjecture states that for every graph \(F\), the weak saturation limit \(w_F\) is rational [2501.15686]. On the lower-bound side, the polymatroid framework raises the question whether the best polymatroid bound \(\rho(n,H)\) always matches \(\mathrm{wsat}(n,H)\) asymptotically, or even exactly [2604.07104].

Taken together, these directions show that the weak saturation number sits at the intersection of extremal graph theory, hypergraph asymptotics, probabilistic combinatorics, algebraic methods, and computational complexity. The existing results establish a substantial general theory, but they also indicate that exact structure, exact constants, and exact thresholds remain challenging across several of the most natural regimes.

Source: https://www.emergentmind.com/topics/weak-saturation-number