arXiv++ Combinatorics

For $s<r$, let $B_{r,s}$ be the graph consisting of two copies of $K_r$, which share exactly $s$ vertices. Denote by $ex(n, K_r, B_{r,s})$ the maximum number of copies of $K_r$ in a $B_{r,s}$-free graph on $n$ vertices. In 1976, Erdős and Sós determined $ex(n,K_3,B_{3,1})$. Recently, Gowers and Janzer showed that $ex(n,K_r,B_{r,r-1})=n^{r-1-o(1)}$. It is a natural question to ask for $ex(n,K_r,B_{r,s})$ for general $r$ and $s$. In this paper, we mainly consider the problem for $s=1$. Utilizing the Zykov's symmetrization, we show that $ex(n,K_4, B_{4,1})=\lfloor (n-2)^2/4\rfloor$ for $n\geq 45$. For $r\geq 5$ and $n$ sufficiently large, by the Füredi's structure theorem we show that $ex(n,K_r,B_{r,1}) =\mathcal{N}(K_{r-2},T_{r-2}(n-2))$, where $\mathcal{N}(K_{r-2},T_{r-2}(n-2))$ represents the number of copies of $K_{r-2}$ in the $(r-2)$-partite Turán graph on $n-2$ vertices.

For a $k$-graph $\mathcal{F}\subset \binom{[n]}{k}$, the clique number of $\mathcal{F}$ is defined to be the maximum size of a subset $Q$ of $[n]$ with $\binom{Q}{k}\subset \mathcal{F}$. In the present paper, we determine the maximum number of edges in a $k$-graph on $[n]$ with matching number at most $s$ and clique number at least $q$ for $n\geq 8k^2s$ and for $q \geq (s+1)k-l$, $n\leq (s+1)k+s/(3k)-l$. Two special cases that $q=(s+1)k-2$ and $k=2$ are solved completely.

Let $[n]$ denote the set $\{1, 2, \ldots, n\}$ and $\mathcal{F}^{(r)}_{n,k,a}$ be an $r$-uniform hypergraph on the vertex set $[n]$ with edge set consisting of all the $r$-element subsets of $[n]$ that contains at least $a$ vertices in $[ak+a-1]$. For $n\geq 2rk$, Frankl proved that $\mathcal{F}^{(r)}_{n,k,1}$ maximizes the number of edges in $r$-uniform hypergraphs on $n$ vertices with the matching number at most $k$. Huang, Loh and Sudakov considered a multicolored version of the Erdős matching conjecture, and provided a sufficient condition on the number of edges for a multicolored hypergraph to contain a rainbow matching of size $k$. In this paper, we show that $\mathcal{F}^{(r)}_{n,k,a}$ maximizes the number of $s$-cliques in $r$-uniform hypergraphs on $n$ vertices with the matching number at most $k$ for sufficiently large $n$, where $a=\lfloor \frac{s-r}{k} \rfloor+1$. We also obtain a condition on the number of $s$-clques for a multicolored $r$-uniform hypergraph to contain a rainbow matching of size $k$, which reduces to the condition of Huang, Loh and Sudakov when $s=r$.

For two $s$-uniform hypergraphs $H$ and $F$, the Turán number $ex_s(H,F)$ is the maximum number of edges in an $F$-free subgraph of $H$. Let $s, r, k, n_1, \ldots, n_r$ be integers satisfying $2\leq s\leq r$ and $n_1\leq n_2\leq \cdots\leq n_r$. De Silva, Heysse and Young determined $ex_2(K_{n_1, \ldots, n_r}, kK_2)$ and De Silva, Heysse, Kapilow, Schenfisch and Young determined $ex_2(K_{n_1, \ldots, n_r},kK_r)$. In this paper, as a generalization of these results, we consider three Turán-type problems for $k$ disjoint cliques in $r$-partite $s$-uniform hypergraphs. First, we consider a multi-partite version of the Erdős matching conjecture and determine $ex_s(K_{n_1, \ldots, n_r}^{(s)},kK_s^{(s)})$ for $n_1\geq s^3k^2+sr$. Then, using a probabilistic argument, we determine $ex_s(K_{n_1, \ldots, n_r}^{(s)},kK_r^{(s)})$ for all $n_1\geq k$. Recently, Alon and Shikhelman determined asymptotically, for all $F$, the generalized Turán number $ex_2(K_n,K_s,F)$, which is the maximum number of copies of $K_s$ in an $F$-free graph on $n$ vertices. Here we determine $ex_2(K_{n_1, \ldots, n_r}, K_s, kK_r)$ with $n_1\geq k$ and $n_3=\cdots=n_r$. Utilizing a result on rainbow matchings due to Glebov, Sudakov and Szabó, we determine $ex_2(K_{n_1, \ldots, n_r}, K_s, kK_r)$ for all $n_1, \ldots, n_r$ with $n_4\geq r^r(k-1)k^{2r-2}$.