arXiv++ Combinatorics

Given an $r$-uniform hypergraph $H$ and a positive integer $n$, the weak saturation number $\mathrm{wsat}(n,H)$ is the minimum number of edges in an $r$-uniform hypergraph $F$ on $n$ vertices such that the missing edges in $F$ can be added, one at a time, so that each added edge creates a copy of $H$. For the case of graphs ($r = 2$), asymptotically optimal general lower bounds for these numbers in terms of the minimum vertex degree of $H$ are known. In this work, we generalize these bounds to the case of hypergraphs and establish their asymptotic optimality. To prove this, we introduce a lower bound method based on polymatroids. This method generalizes a linear algebraic method but, unlike the original version, makes it possible to derive lower bounds with non-integer asymptotic coefficients.

Given two hypergraphs $G$ and $H$, the weak saturation number $\operatorname{\mathrm{wsat}}(G,H)$ is the minimum number of edges in a spanning subhypergraph $F$ of $G$ such that the missing edges of $F$ can be added one at a time so that each added edge creates a copy of $H$. In this work, we determine weak saturation numbers for the case when $G$ and $H$ are tensor product of cliques, generalizing a result of Moshkovitz and Shapira (Journal of Combinatorial Theory, Series B, 2015), who found the exact values of $\operatorname{\mathrm{wsat}}(K^d_{n_1,\ldots,n_d},\ K^d_{r_1,\ldots,r_d})$. The proof also yields results for colored weak saturation numbers $\operatorname{\mathrm{c-wsat}}(G,H)$ of colored hypergraphs $G$ and $H$, where the colorings of the copies of $H$ must be compatible with the coloring of $G$. We determine these numbers when $G$ and $H$ are unions of tensor product of cliques, generalizing a result of Bulavka, Tancer, and Tyomkyn (Combinatorica, 2023), who determined $\operatorname{\mathrm{c-wsat}}(K^q_{n_1,\ldots,n_d}, K^q_{r_1,\ldots,r_d})$. Moreover, our proof allows us to generalize a result of Balogh, Bollobás, Morris, and Riordan (Journal of Combinatorial Theory, Series A, 2012) by determining colored weak saturation numbers $\operatorname{\mathrm{c-wsat}}(K^d_{n_1,\ldots,n_d},\{K^d_{r_1,\ldots,r_d}\}_{\mathbf{r}\in \mathcal{R}})$ for an arbitrary family $\mathcal{R}$. The quantity $\operatorname{\mathrm{c-wsat}}(G,\mathcal{H})$ extends colored weak saturation by allowing, at each step, the creation of a colored copy of any hypergraph in the fixed family of hypergraphs $\mathcal{H}$.

In this paper, we study the famous Erdős--Sós forbidden intersection problem for words over an alphabet of size $m$: what is the maximal size of a subfamily $\mathcal{F}$ of $[m]^n$ that does not contain two vectors $x, y$ coinciding on exactly $t - 1$ coordinates? We answer this question provided $m \ge \operatorname{poly}(t)$ and $n \ge \operatorname{poly}(t)$ for some polynomial function $\operatorname{poly}(\cdot)$ of $t$, greatly extending the recent result of Keevash, Lifshitz, Long and Minzer. Our proof combines some of the recently developed methods in extremal combinatorics, including the spread approximation technique of Kupavskii and Zakharov and the hypercontractivity approach developed in a series of works by Keevash, Keller, Lifshitz, Long, Marcus and Minzer.

Given an $r$-uniform hypergraph $H$ and a positive integer $n$, the weak saturation number $\mathrm{wsat}(n,H)$ is the minimum number of edges in an $r$-uniform hypergraph $F$ on $n$ vertices such that the missing edges in $F$ can be added, one at a time, so that each added edge creates a copy of $H$. Shapira and Tyomkyn (Proceedings of the American Mathematical Society, 2023) proved Tuza's conjecture on asymptotic behaviour of $\mathrm{wsat}(n, H)$. In this paper we provide a significantly shorter proof of the conjecture.

Given a graph $F$ and a positive integer $n$, the weak $F$-saturation number $\mathrm{wsat}(K_n,F)$ is the minimum number of edges in a graph $H$ on $n$ vertices such that the edges missing in $H$ can be added, one at a time, so that every edge creates a copy of $F$. Kalai in 1985 introduced a linear algebraic approach that became one of the most efficient tools to prove lower bounds on weak saturation numbers. If $W$ is a vector space spanned by vectors $w(e)$ assigned to edges $e$ of $K_n$ in such a way that, for every copy $F'\subset K_n$ of $F$, there exist non-zero $λ_e$, $e\in E(F')$, satisfying $\sum_{e\in E(F')}λ_e w(e)=0$, then $\mathrm{dim}W\leq \mathrm{wsat}(K_n,F)$. In this paper, we prove limitations of this approach: we show infinitely many $F$ such that, for every vector space $W$ as above, $\mathrm{dim}W<\mathrm{wsat}(K_n,F)$. We also suggest a modification of this approach that allows to get tight lower bounds even when the original linear algebraic approach is not sufficient. Finally, we generalise our results to random graphs, complete multipartite graphs, and hypergraphs.

The weak saturation number $\mathrm{wsat}(n,F)$ is the minimum number of edges in a graph on $n$ vertices such that all the missing edges can be activated sequentially so that each new edge creates a copy of $F$. A usual approach to prove a lower bound for the weak saturation number is algebraic: if it is possible to embed edges of $K_n$ in a vector space in a certain way (depending on $F$), then the dimension of the subspace spanned by the images of the edges of $K_n$ is a lower bound for the weak saturation number. In this paper, we present a new combinatorial approach to prove lower bounds for weak saturation numbers that allows to establish worst-case tight (up to constant additive terms) general lower bounds as well as to get exact values of the weak saturation numbers for certain graph families. It is known (Alon, 1985) that, for every $F$, there exists $c_F$ such that $\mathrm{wsat}(n,F)=c_Fn(1+o(1))$. Our lower bounds imply that all values in the interval $\left[\fracδ{2}-\frac{1}{δ+1},δ-1\right]$ with step size $\frac{1}{δ+1}$ are achievable by $c_F$ (while any value outside this interval is not achievable).