arXiv++ Combinatorics

For a graph $F$, a hypergraph $\mathcal{H}$ is a Berge copy of $F$ (or a Berge-$F$ in short), if there is a bijection $f : E(F) \rightarrow E(\mathcal{H})$ such that for each $e \in E(F)$ we have $e \subset f(e)$. A hypergraph is Berge-$F$-free if it does not contain a Berge copy of $F$. We denote the maximum number of hyperedges in an $n$-vertex $r$-uniform Berge-$F$-free hypergraph by $\mathrm{ex}_r(n,\textrm{Berge-}F).$ In this paper we prove two general lemmas concerning the maximum size of a Berge-$F$-free hypergraph and use them to establish new results and improve several old results. In particular, we give bounds on $\mathrm{ex}_r(n,\textrm{Berge-}F)$ when $F$ is a path (reproving a result of Győri, Katona and Lemons), a cycle (extending a result of Füredi and Özkahya), a theta graph (improving a result of He and Tait), or a $K_{2,t}$ (extending a result of Gerbner, Methuku and Vizer). We also establish new bounds when $F$ is a clique (which implies extensions of results by Maherani and Shahsiah and by Gyárfás) and when $F$ is a general tree.

For a graph $G$, a hypergraph $\mathcal{H}$ is a Berge copy of $G$ (or a Berge-$G$ in short), if there is a bijection $f : E(G) \rightarrow E(\mathcal{H})$ such that for each $e \in E(G)$ we have $e \subseteq f(e)$. We denote the family of $r$-uniform hypergraphs that are Berge copies of $G$ by $B^rG$. For families of $r$-uniform hypergraphs $\mathbf{H}$ and $\mathbf{H}'$, we denote by $R(\mathbf{H},\mathbf{H}')$ the smallest number $n$ such that in any blue-red coloring of $\mathcal{K}_n^r$ (the complete $r$-uniform hypergraph on $n$ vertices) there is a monochromatic blue copy of a hypergraph in $\mathbf{H}$ or a monochromatic red copy of a hypergraph in $\mathbf{H}'$. $R^c(\mathbf{H})$ denotes the smallest number $n$ such that in any coloring of the hyperedges of $\mathcal{K}_n^r$ with $c$ colors, there is a monochromatic copy of a hypergraph in $\mathbf{H}$. In this paper we initiate the general study of the Ramsey problem for Berge hypergraphs, and show that if $r> 2c$, then $R^c(B^rK_n)=n$. In the case $r = 2c$, we show that $R^c(B^rK_n)=n+1$, and if $G$ is a non-complete graph on $n$ vertices, then $R^c(B^rG)=n$, assuming $n$ is large enough. In the case $r < 2c$ we also obtain bounds on $R^c(B^rK_n)$. Moreover, we also determine the exact value of $R(B^3T_1,B^3T_2)$ for every pair of trees $T_1$ and $T_2$.

The maximum size of an $r$-uniform hypergraph without a Berge cycle of length at least $k$ has been determined for all $k \ge r+3$ by Füredi, Kostochka and Luo and for $k<r$ (and $k=r$, asymptotically) by Kostochka and Luo. In this paper, we settle the remaining cases: $k=r+1$ and $k=r+2$, proving a conjecture of Füredi, Kostochka and Luo.

In this short note we consider the oriented vertex Turán problem in the hypercube: for a fixed oriented graph $\overrightarrow{F}$, determine the maximum size $ex_v(\overrightarrow{F}, \overrightarrow{Q_n})$ of a subset $U$ of the vertices of the oriented hypercube $\overrightarrow{Q_n}$ such that the induced subgraph $\overrightarrow{Q_n}[U]$ does not contain any copy of $\overrightarrow{F}$. We obtain the exact value of $ex_v(\overrightarrow{P_k}, \overrightarrow{Q_n})$ for the directed path $\overrightarrow{P_k}$, the exact value of $ex_v(\overrightarrow{V_2}, \overrightarrow{Q_n})$ for the directed cherry $\overrightarrow{V_2}$ and the asymptotic value of $ex_v(\overrightarrow{T}, \overrightarrow{Q_n})$ for any directed tree $\overrightarrow{T}$.

For a graph $F$, we say a hypergraph $H$ is Berge-$F$ if it can be obtained from $F$ be replacing each edge of $F$ with a hyperedge containing it. We say a hypergraph is Berge-$F$-saturated if it does not contain a Berge-$F$, but adding any hyperedge creates a copy of Berge-$F$. The $k$-uniform saturation number of Berge-$F$, $\mathrm{sat}_k(n,\text{Berge-}F)$ is the fewest number of edges in a Berge-$F$-saturated $k$-uniform hypergraph on $n$ vertices. We show that $\mathrm{sat}_k(n,\text{Berge-}F) = O(n)$ for all graphs $F$ and uniformities $3\leq k\leq 5$, partially answering a conjecture of English, Gordon, Graber, Methuku, and Sullivan. We also extend this conjecture to Berge copies of hypergraphs.

Let $F$ be a fixed graph. The rainbow Turán number of $F$ is defined as the maximum number of edges in a graph on $n$ vertices that has a proper edge-coloring with no rainbow copy of $F$ (where a rainbow copy of $F$ means a copy of $F$ all of whose edges have different colours). The systematic study of such problems was initiated by Keevash, Mubayi, Sudakov and Verstraëte. In this paper, we show that the rainbow Turán number of a path with $k+1$ edges is less than $\left(\frac{9k}{7}+2\right) n$, improving an earlier estimate of Johnston, Palmer and Sarkar.

The vertex set of the Kneser graph $K(n,k)$ is $V = \binom{[n]}{k}$ and two vertices are adjacent if the corresponding sets are disjoint. For any graph $F$, the largest size of a vertex set $U \subseteq V$ such that $K(n,k)[U]$ is $F$-free, was recently determined by Alishahi and Taherkhani, whenever $n$ is large enough compared to $k$ and $F$. In this paper, we determine the second largest size of a vertex set $W \subseteq V$ such that $K(n,k)[W]$ is $F$-free, in the case when $F$ is an even cycle or a complete multi-partite graph. In the latter case, we actually give a more general theorem depending on the chromatic number of $F$. These results generalize the celebrated Erd\H os-Ko-Rado theorem and Hilton-Milner theorem.

A subfamily $\{F_1,F_2,\dots,F_{|P|}\}\subseteq \mathcal F$ is a copy of the poset $P$ if there exists a bijection $i:P\rightarrow \{F_1,F_2,\dots,F_{|P|}\}$ such that $p\le_P q$ implies $i(p)\subseteq i(q)$. A family $\mathcal F$ is $P$-free, if it does not contain a copy of $P$. In this paper we establish basic results on the maximum possible number of $k$-chains in a $P$-free family $\mathcal F\subseteq 2^{[n]}$. We prove that if the height of $P$, $h(P) > k$, then this number is of the order $Θ(\prod_{i=1}^{k+1}\binom{l_{i-1}}{l_i})$, where $l_0=n$ and $l_1\ge l_2\ge \dots \ge l_{k+1}$ are such that $n-l_1,l_1-l_2,\dots, l_k-l_{k+1},l_{k+1}$ differ by at most one. On the other hand if $h(P)\le k$, then we show that this number is of smaller order of magnitude. Let $\vee_r$ denote the poset on $r+1$ elements $a, b_1, b_2, \ldots, b_r$, where $a < b_i$ for all $1 \le i \le r$ and let $\wedge_r$ denote its dual. For any values of $k$ and $l$, we construct a $\{\wedge_k,\vee_l\}$-free family and we conjecture that it contains asymptotically the maximum number of pairs in containment. We prove that this conjecture holds under the additional assumption that a chain of length 4 is forbidden. Moreover, we prove the conjecture for some small values of $k$ and $l$. We also derive the asymptotics of the maximum number of copies of certain tree posets $T$ of height 2 in $\{\wedge_k,\vee_l\}$-free families $\mathcal F \subseteq 2^{[n]}$.

Let $F = (U,E)$ be a graph and $\mathcal{H} = (V,\mathcal{E})$ be a hypergraph. We say that $\mathcal{H}$ contains a Berge-$F$ if there exist injections $ψ:U\to V$ and $\varphi:E\to \mathcal{E}$ such that for every $e=\{u,v\}\in E$, $\{ψ(u),ψ(v)\}\subset\varphi(e)$. Let $ex_r(n,F)$ denote the maximum number of hyperedges in an $r$-uniform hypergraph on $n$ vertices which does not contain a Berge-$F$. For small enough $r$ and non-bipartite $F$, $ex_r(n,F)=Ω(n^2)$; we show that for sufficiently large $r$, $ex_r(n,F)=o(n^2)$. Let $thres(F) = \min\{r_0 :ex_r(n,F) = o(n^2) \text{ for all } r \ge r_0 \}$. We show lower and upper bounds for $thres(F)$, the uniformity threshold of $F$. In particular, we obtain that $thres(\triangle) = 5$, improving a result of Győri. We also study the analogous problem for linear hypergraphs. Let $ex^L_r(n,F)$ denote the maximum number of hyperedges in an $r$-uniform linear hypergraph on $n$ vertices which does not contain a Berge-$F$, and let the linear unformity threshold $thres^L(F) = \min\{r_0 :ex^L_r(n,F) = o(n^2) \text{ for all } r \ge r_0 \}$. We show that $thres^L(F)$ is equal to the chromatic number of $F$.

Given two graphs $H$ and $F$, the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices is denoted by $ex(n,H,F)$. We investigate the function $ex(n,H,kF)$, where $kF$ denotes $k$ vertex disjoint copies of a fixed graph $F$. Our results include cases when $F$ is a complete graph, cycle or a complete bipartite graph.

Given a graph $H$ and a set of graphs $\mathcal F$, let $ex(n,H,\mathcal F)$ denote the maximum possible number of copies of $H$ in an $\mathcal F$-free graph on $n$ vertices. We investigate the function $ex(n,H,\mathcal F)$, when $H$ and members of $\mathcal F$ are cycles. Let $C_k$ denote the cycle of length $k$ and let $\mathscr C_k=\{C_3,C_4,\ldots,C_k\}$. Some of our main results are the following. (i) We show that $ex(n, C_{2l}, C_{2k}) = Θ(n^l)$ for any $l, k \ge 2$. Moreover, we determine it asymptotically in the following cases: We show that $ex(n,C_4,C_{2k}) = (1+o(1)) \frac{(k-1)(k-2)}{4} n^2$ and that the maximum possible number of $C_6$'s in a $C_8$-free bipartite graph is $n^3 + O(n^{5/2})$. (ii) Solymosi and Wong proved that if Erdős's Girth Conjecture holds, then for any $l \ge 3$ we have $ex(n,C_{2l},\mathscr C_{2l-1})=Θ(n^{2l/(l-1)})$. We prove that forbidding any other even cycle decreases the number of $C_{2l}$'s significantly: For any $k > l$, we have $ex(n,C_{2l},\mathscr C_{2l-1} \cup \{C_{2k}\})=Θ(n^2).$ More generally, we show that for any $k > l$ and $m \ge 2$ such that $2k \neq ml$, we have $ex(n,C_{ml},\mathscr C_{2l-1} \cup \{C_{2k}\})=Θ(n^m).$ (iii) We prove $ex(n,C_{2l+1},\mathscr C_{2l})=Θ(n^{2+1/l}),$ provided a strong version of Erdős's Girth Conjecture holds (which is known to be true when $l = 2, 3, 5$). Moreover, forbidding one more cycle decreases the number of $C_{2l+1}$'s significantly: More precisely, we have $ex(n, C_{2l+1}, \mathscr C_{2l} \cup \{C_{2k}\}) = O(n^{2-\frac{1}{l+1}}),$ and $ex(n, C_{2l+1}, \mathscr C_{2l} \cup \{C_{2k+1}\}) = O(n^2)$ for $l > k \ge 2$. (iv) We also study the maximum number of paths of given length in a $C_k$-free graph, and prove asymptotically sharp bounds in some cases.

The maximum size, $La(n,P)$, of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a copy of $P$ as a subposet, has been intensively studied. Let $P$ be a graded poset. We say that a family $\mathcal{F}$ of subsets of $[n]=\{1,2,...,n\}$ contains a \emph{rank-preserving} copy of $P$ if it contains a copy of $P$ such that elements of $P$ having the same rank are mapped to sets of same size in $\mathcal{F}$. The largest size of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a rank-preserving copy of $P$ as a subposet is denoted by $La_{rp}(n,P)$. Clearly, $La(n,P) \le La_{rp}(n,P)$ holds. In this paper we prove asymptotically optimal upper bounds on $La_{rp}(n,P)$ for tree posets of height $2$ and monotone tree posets of height $3$, strengthening a result of Bukh in these cases. We also obtain the exact value of $La_{rp}(n,\{Y_{h,s},Y_{h,s}'\})$ and $La(n,\{Y_{h,s},Y_{h,s}'\})$, where $Y_{h,s}$ denotes the poset on $h+s$ elements $x_1,\dots,x_h,y_1,\dots,y_s$ with $x_1<\dots<x_h<y_1,\dots,y_s$ and $Y'_{h,s}$ denotes the dual poset of $Y_{h,s}$.

In this note we asymptotically determine the maximum number of hyperedges possible in an $r$-uniform, connected $n$-vertex hypergraph without a Berge path of length $k$, as $n$ and $k$ tend to infinity. We show that, unlike in the graph case, the multiplicative constant is smaller with the assumption of connectivity.

A classical result of Bondy and Simonovits in extremal graph theory states that if a graph on $n$ vertices contains no cycle of length $2k$ then it has at most $O(n^{1+1/k})$ edges. However, matching lower bounds are only known for $k=2,3,5$. In this paper we study ordered variants of this problem and prove some tight estimates for a certain class of ordered cycles that we call bordered cycles. In particular, we show that the maximum number of edges in an ordered graph avoiding bordered cycles of length at most $2k$ is $Θ(n^{1+1/k})$. Strengthening the result of Bondy and Simonovits in the case of 6-cycles, we also show that it is enough to forbid these bordered orderings of the 6-cycle to guarantee an upper bound of $O(n^{4/3})$ on the number of edges.

The poset $Y_{k+1, 2}$ consists of $k+2$ distinct elements $x_1$, $x_2$, \dots, $x_{k}$, $y_1$,$y_2$, such that $x_1 \le x_2 \le \dots \le x_{k} \le y_1$,~$y_2$. The poset $Y'_{k+1, 2}$ is the dual of $Y_{k+1, 2}$ Let $\rm{La}^{\sharp}(n,\{Y_{k+1, 2}, Y'_{k+1, 2}\})$ be the size of the largest family $\mathcal{F} \subset 2^{[n]}$ that contains neither $Y_{k+1,2}$ nor $Y'_{k+1,2}$ as an induced subposet. Methuku and Tompkins proved that $\rm{La}^{\sharp}(n, \{Y_{3,2}, Y'_{3,2}\}) = Σ(n,2)$ for $n \ge 3$ and they conjectured the generalization that if $k \ge 2$ is an integer and $n \ge k+1$, then $\rm{La}^{\sharp}(n, \{Y_{k+1,2}, Y'_{k+1,2}\}) = Σ(n,k)$. In this paper, we introduce a simple discharging approach and prove this conjecture.

Given a graph $F$, a hypergraph is a Berge-$F$ if it can be obtained by expanding each edge in $F$ to a hyperedge containing it. A hypergraph $H$ is Berge-$F$-saturated if $H$ does not contain a subgraph that is a Berge-$F$, but for any edge $e\in E(\overline{H})$, $H+e$ does. The $k$-uniform saturation number of Berge-$F$ is the minimum number of edges in a $k$-uniform Berge-$F$-saturated hypergraph on $n$ vertices. For $k=2$ this definition coincides with the classical definition of saturation for graphs. In this paper we study the saturation numbers for Berge triangles, paths, cycles, stars and matchings in $k$-uniform hypergraphs.

Erdős and Moser raised the question of determining the maximum number of maximal cliques or equivalently, the maximum number of maximal independent sets in a graph on $n$ vertices. Since then there has been a lot of research along these lines. A $k$-dominating independent set is an independent set $D$ such that every vertex not contained in $D$ has at least $k$ neighbours in $D$. Let $mi_k(n)$ denote the maximum number of $k$-dominating independent sets in a graph on $n$ vertices, and let $ζ_k:=\lim_{n \rightarrow \infty} \sqrt[n]{mi_k(n)}$. Nagy initiated the study of $mi_k(n)$. In this article we disprove a conjecture of Nagy and prove that for any even $k$ we have $$1.489 \approx \sqrt[9]{36} \le ζ^k_k.$$ We also prove that for any $k \ge 3$ we have $$ζ_k^{k} \le 2.053^{\frac{1}{1.053+1/k}}< 1.98,$$ improving the upper bound of Nagy.

Let $c$ denote the largest constant such that every $C_{6}$-free graph $G$ contains a bipartite and $C_4$-free subgraph having $c$ fraction of edges of $G$. Győri et al. showed that $\frac{3}{8} \le c \le \frac{2}{5}$. We prove that $c=\frac{3}{8}$. More generally, we show that for any $\varepsilon>0$, and any integer $k \ge 2$, there is a $C_{2k}$-free graph $G_1$ which does not contain a bipartite subgraph of girth greater than $2k$ with more than $\left(1-\frac{1}{2^{2k-2}}\right)\frac{2}{2k-1}(1+\varepsilon)$ fraction of the edges of $G_1$. There also exists a $C_{2k}$-free graph $G_2$ which does not contain a bipartite and $C_4$-free subgraph with more than $\left(1-\frac{1}{2^{k-1}}\right)\frac{1}{k-1}(1+\varepsilon)$ fraction of the edges of $G_2$. One of our proofs uses the following statement, which we prove using probabilistic ideas, generalizing a theorem of Erdős: For any $\varepsilon>0$, and any integers $a$, $b$, $k \ge 2$, there exists an $a$-uniform hypergraph $H$ of girth greater than $k$ which does not contain any $b$-colorable subhypergraph with more than $\left(1-\frac{1}{b^{a-1}}\right)\left(1+\varepsilon\right)$ fraction of the hyperedges of $H$. We also prove further generalizations of this theorem. In addition, we give a new and very short proof of a result of Kühn and Osthus, which states that every bipartite $C_{2k}$-free graph $G$ contains a $C_{4}$-free subgraph with at least $1/(k-1)$ fraction of the edges of $G$. We also answer a question of Kühn and Osthus about $C_{2k}$-free graphs obtained by pasting together $C_{2l}$'s (with $k>l\ge3$).

Let $k \ge 2$ be an integer. We show that if $s = 2$ and $t \ge 2$, or $s = t = 3$, then the maximum possible number of edges in a $C_{2k+1}$-free graph containing no induced copy of $K_{s,t}$ is asymptotically equal to $(t - s + 1)^{1/s}\left(\frac{n}{2}\right)^{2-1/s}$ except when $k = s = t = 2$. This strengthens a result of Allen, Keevash, Sudakov and Verstraëte and answers a question of Loh, Tait and Timmons.

We prove that the maximum number of triangles in a $C_5$-free graph on $n$ vertices is at most $\frac{1}{2 \sqrt 2} (1 + o(1)) n^{3/2}$, improving an estimate of Alon and Shikhelman.