arXiv++ Combinatorics

We prove that every $K_5$-free $n$-vertex graph with sublinear independence number can be made bipartite by removing at most $n^2(1/18+o(1))$ edges, where the constant $1/18$ is best possible. The proof method is related to extensions of Turán Theorem in edge-weighted settings, and part of the proof uses flag algebra.

Addressing questions raised in recent papers, we study the $r$-distance graph $H_r(n)$ on the Boolean cube $\{0,1\}^n$, where two vertices are adjacent if their Hamming distance is exactly $r$. For fixed integers $s \ge 2$ and even $r \ge 2$, we determine the asymptotic order of the $s$-independence number $α_s(H_r(n))$, showing that \[ α_s\left(H_r(n)\right)=Θ\left(\frac{2^n}{n^{r/2}}\right). \] The upper bound is derived via a reduction to extremal problems for sunflower-free set systems, while the lower bound is obtained using algebraic constructions based on BCH codes and constant-weight codes.

Fomin, Kratochvíl, Lokshtanov, Mancini, and Telle showed that every $C_{4}$-free graph is reconstructible from the \emph{multiset} of closed neighborhoods. We strengthen their result proving that every $C_{4}$-free graph is reconstructible from the \emph{set} of closed neighborhoods. This extends the work of Lafrance et al.\ by showing that all $C_{4}$-free graphs, and hence all graphs of girth at least five, are reconstructible from their digitally convex sets. A subset $S$ of vertices in a graph $G$ is digitally convex if, for every vertex $v \notin S$, there is a private neighbor of $v$. We establish that reconstruction from digitally convex sets is equivalent to reconstruction from the set of closed neighborhoods.

Let $B(2d-1, d)$ be the subgraph of the hypercube $\mathcal{Q}_{2d-1}$ induced by its two largest layers. Duffus, Frankl and Rödl proposed the problem of finding the asymptotics for the logarithm of the number of maximal independent sets in $B(2d-1, d)$. Ilinca and Kahn determined the logarithmic asymptotics and reiterated the question of what their order of magnitude is. We show that the number of maximal independent sets in $B(2d-1,d)$ is \[ \left(1+o(1)\right)(2d-1)\exp\left(\frac{(d-1)^2}{2^{2d-1}}\binom{2d-2}{d-1}\right)\cdot 2^{\binom{2d-2}{d-1}}, \] and describe their typical structure. The proof uses a new variation of Sapozhenko's Graph Container Lemma, a new isoperimetric lemma, a theorem of Hujter and Tuza on the number of maximal independent sets in triangle-free graphs and a stability version of their result by Kahn and Park, among other tools.

For graphs $F$ and $H$, let $f_{F,H}(n)$ be the minimum possible size of a maximum $F$-free induced subgraph in an $n$-vertex $H$-free graph. This notion generalizes the Ramsey function and the Erdős--Rogers function. Establishing a container lemma for the $F$-free subgraphs, we give a general upper bound on $f_{F,H}(n)$, assuming the existence of certain locally dense $H$-free graphs. In particular, we prove that for every graph $F$ with $\mathrm{ex}(m,F) = O(m^{1+α})$, where $α\in [0,1/2)$, we have \[ f_{F, K_3}(n) = O\left(n^{\frac{1}{2-α}}\left(\log n\right)^{\frac{3}{2- α}}\right) \quad \textrm{and} \quad f_{F, K_4}(n) = O\left(n^{\frac{1}{3-2α}}\left(\log n\right)^{\frac{6}{3-2α}}\right). \] For the cases where $F$ is a complete multipartite graph, letting $s = \sum_{i=1}^r s_i$, we prove that \[ f_{K_{s_1,\ldots,s_r}, K_{r+2}}(n) = O \left( n^{\frac{2s -3}{4s -5}} (\log n)^{3} \right). \] We also make an observation which improves the bounds of $\mathrm{ex}(G(n,p),C_4)$ by a polylogarithmic factor.

In the Constructor-Blocker game, two players, Constructor and Blocker, alternatively claim unclaimed edges of the complete graph $K_n$. For given graphs $F$ and $H$, Constructor can only claim edges that leave her graph $F$-free, while Blocker has no restrictions. Constructor's goal is to build as many copies of $H$ as she can, while Blocker attempts to stop this. The game ends once there are no more edges that Constructor can claim. The score $g(n,H,F)$ of the game is the number of copies of $H$ in Constructor's graph at the end of the game, when both players play optimally and Constructor plays first. In this paper, we extend results of Patkós, Stojaković and Vizer on $g(n, H, F)$ to many pairs of $H$ and $F$: We determine $g(n, H, F)$ when $H=K_r$ and $χ(F)>r$, also when both $H$ and $F$ are odd cycles, using Szemerédi's Regularity Lemma. We also obtain bounds of $g(n, H, F)$ when $H=K_3$ and $F=K_{2,2}$.

Given a graph $H$ and a function $f(n)$, the Ramsey-Turán number $RT(n,H,f(n))$ is the maximum number of edges in an $n$-vertex $H$-free graph with independence number at most $f(n)$. For $H$ being a small clique, many results about $RT(n,H,f(n))$ are known and we focus our attention on $H=K_s$ for $s\leq 13$. By applying Szemerédi's Regularity Lemma, the dependent random choice method and some weighted Turán-type results, we prove that these cliques have the so-called phase transitions when $f(n)$ is around the inverse function of the off-diagonal Ramsey number of $K_r$ versus a large clique $K_n$ for some $r\leq s$.

A family $\mathcal{F}$ on ground set $\{1,2,\ldots, n\}$ is maximal $k$-wise intersecting if every collection of $k$ sets in $\mathcal{F}$ has non-empty intersection, and no other set can be added to $\mathcal{F}$ while maintaining this property. Erdős and Kleitman asked for the minimum size of a maximal $k$-wise intersecting family. Complementing earlier work of Hendrey, Lund, Tompkins and Tran, who answered this question for $k=3$ and large even $n$, we answer it for $k=3$ and large odd $n$. We show that the unique minimum family is obtained by partitioning the ground set into two sets $A$ and $B$ with almost equal sizes and taking the family consisting of all the proper supersets of $A$ and of $B$. A key ingredient of our proof is the stability result by Ellis and Sudakov about the so-called $2$-generator set systems.

A family $\mathcal{F}$ on ground set $[n]:=\{1,2,\ldots, n\}$ is maximal $k$-wise intersecting if every collection of at most $k$ sets in $\mathcal{F}$ has non-empty intersection, and no other set can be added to $\mathcal{F}$ while maintaining this property. In 1974, Erdős and Kleitman asked for the minimum size of a maximal $k$-wise intersecting family. We answer their question for $k=3$ and sufficiently large $n$. We show that the unique minimum family is obtained by partitioning the ground set $[n]$ into two sets $A$ and $B$ with almost equal sizes and taking the family consisting of all the proper supersets of $A$ and of $B$.