Abstract
For graphs H, F and integer n, the generalized Turán number ex(n, H, F) denotes the maximum number of copies of H that an Ffree nvertex graph can have. We study this parameter when both H and F are complete bipartite graphs.
1 Introduction
The most basic question in extremal graph theory is the following: given a forbidden graph F, how many edges can an nvertex graph have, if it does not contain F as a subgraph? A natural generalization is if instead of the number of edges, we are interested in the number of copies of another graph H. After several sporadic results (see e.g. [18, 30]), the systematic study of this variant (usually referred to as the generalized Turán problem) was initiated by Alon and Shikhelman [1]. Since then, it has attracted the attention of several researchers, see e.g. [3, 9, 11, 14, 23].
We denote by \(\mathrm {ex}(n,F)\) the largest number of edges that an nvertex Ffree graph can have, the ordinary Turán number. For two graphs H and G, let \({{\mathcal {N}}}(H,G)\) denote the number of (not necessarily induced) subgraphs of G that are isomorphic to H, in other words the number of (unlabeled) copies of H in G. Let \(\mathrm {ex}(n,H,F):=\max \{{{\mathcal {N}}}(H,G):\) G is an nvertex F\(\text {free graph}\}\), i.e. \(\mathrm {ex}(n,H,F)\) is the largest number of copies of H that an nvertex Ffree graph can have.
In this paper we study the generalized Turán problem when both graphs F and H are complete bipartite. A number of papers have already studied \(\mathrm {ex}(n,K_{a,b},K_{s,t})\) for different values of the parameters. Let us start with recalling what is known about the ordinary Turán number \(\mathrm {ex}(n,K_{s,t})=\mathrm {ex}(n,K_{1,1},K_{s,t})\). We will assume without loss of generality that \(s\le t\).
In the case \(s=1\), the problem is trivial. Let us say that a graph G on n vertices is almost dregular, if either every vertex has degree d, or \(n1\) vertices have degree d and one vertex has degree \(d1\). It is easy to see that \(\mathrm {ex}(n,K_{1,t})=\lfloor (t1)n/2\rfloor\), with equality for any almost \((t1)\)regular graph.
In the case \(s=2\), the problem is much more complicated, and exact results are known only for some values of n in the case \(t=2\). However, the asymptotics are known: \(\mathrm {ex}(n,K_{2,t})=\frac{1}{2}\sqrt{t1}n^{3/2}+O(n^{4/3})\). The upper bound comes from the general upper bound by Kővári et al. [20], that we will discuss shortly. The lower bound is by a construction of Füredi [6]. It is an algebraic construction that we will not describe in detail, but we will use it later. We will only use one of its wellknown properties (besides it being \(K_{2,t}\)free): all but \(o(n^2)\) pairs of vertices have exactly \(t1\) common neighbors.
Brown [4] constructed a \(K_{3,3}\)free graph with \((1/2+o(1))n^{5/3}\) edges. Füredi [7] showed that this is the correct asymptotics.
Kővári et al. [20] showed that \(\mathrm {ex}(n,K_{s,t})=O(n^{21/s})\). It is generally conjectured to be the correct order of magnitude. Besides the above mentioned cases, it is only known if \(t\ge (s1)!+1\). This was shown in [2, 19], using the socalled projective norm graphs. Another construction in the case t is even larger compared to s, is due to Bukh [5], using random polynomials.
The order of magnitude of \(\mathrm {ex}(n,K_{a,b},K_{s,t})\) was studied by Alon and Shikhelman [1] in the case \(a\le s\le t\) and \(a\le b<t\). Their results were extended by Ma et al. [23] in the case \(a<s\), \(b\le s\) and t is large enough and by Bayer et al. [3] in the case \(a\le 3\), \(s\ge 4\), \(a\le b<t\) and t is large enough. Gerbner et al. [12] studied the case \(a,s\le b\le t\). Gerbner [9] determined \(\mathrm {ex}(n,K_{1,b},K_{2,2})\) exactly.
We state a simple upper bound from [12] that we use later multiple times.
Proposition 1.1
(Gerbner et al. [12]) If \(s\le a\le b\le t\), then \(\mathrm {ex}(n,K_{a,b},K_{s,t})=O(n^s)\).
For sake of completeness, we sketch the proof. First, we can pick s vertices in \(\left( {\begin{array}{c}n\\ s\end{array}}\right)\) ways. Those have at most \(t1\) common neighbors, we pick a of them in at most \(\left( {\begin{array}{c}t1\\ a\end{array}}\right)\) ways. Those a vertices have at most \(t1\) common neighbors, we have already picked s of them, now we pick \(bs\) more in at most \(\left( {\begin{array}{c}t1s\\ bs\end{array}}\right)\) ways. We counted every copy of \(K_{a,b}\) exactly \(\left( {\begin{array}{c}b\\ s\end{array}}\right)\) ways.
The authors of [23] actually proved a very general result (in fact they proved a hypergraph version of this).
Theorem 1.2
(Ma et al. [23]) For any graph H, if t is large enough compared to s and H, then \(\mathrm {ex}(n,H,K_{s,t})=\Omega (n^{V(H)\frac{E(H)}{s}})\).
Let us mention one more general lower bound obtained via a random construction that we will refer to several times in the paper.
Theorem 1.3
(Gerbner and Palmer [11]) If for two graphs F and H the inequality \(E(F)>E(H)\) holds, then we have \(\mathrm {ex}(n,H,F)=\Omega (n^{V(H)\frac{E(H)(V(F)2)}{E(F)E(H)}})\).
We will also use a result of Zhang and Ge [29].
Theorem 1.4
(Zhang and Ge [29]) For any \(t\ge 2m3\ge 3\), we have \(\mathrm {ex}(n,K_m,K_{2,t})=\Theta (n^{3/2})\).
The above theorem does not fit into our setting, since cliques are counted rather than complete bipartite graphs. However, it clearly implies the same lower bound if we count any \(K_{a,b}\) with \(a+b\le m\). In fact, in some cases this gives the best known lower bound even if the forbidden graph is \(K_{s,t}\) with \(2\le s\le t\).
We now define some notation that we use throughout the paper. Let \(G+H\) denote the vertex disjoint union of G and H, and kG denote the vertex disjoint union of k copies of G. We say that a graph G is an extremal graph for \(\mathrm {ex}(n,H,F)\) if G has n vertices, is Ffree and contains \(\mathrm {ex}(n,H,F)\) copies of H. If n, H and F are clear from the context, we just say that G is extremal. Let \({\overline{K}}_{a,b}\) denote the graph we obtain from \(K_{a,b}\) by adding all the edges in the partite set of size a. Equivalently, it has a vertices connected to every other vertex, and b vertices with no further edges.
Our paper contains several new results and surveys many old ones. We present all results according to the relationship of the four parameters, a, b, s, t. We always assume without loss of generality that \(a\le b\) and \(s\le t\). The case \(a<s\) is considered in Sect. 2 and is divided into several subsections, depending on the relationship of b, s, and t. We summarize our findings in the following theorem. The proofs will appear in different subsections.
Let us elaborate on the conditions of the seven statements of the following theorem. Part (i) contains the weakest assumption for which we can determine the order of magnitude of \(\mathrm {ex}(n,K_{a,b},K_{s,t})\). The somewhat stronger condition of part (ii) enables to determine the asymptotics of \(\mathrm {ex}(n,K_{a,b},K_{s,t})\). Part (iii) is again a little less general than part (ii), but of its condition holds, then we can establish a stability result on \(\mathrm {ex}(n,K_{a,b},K_{s,t})\). Part (iv) keeps the condition of part (iii) on the relationship of a, b, s, t apart from requiring \(a\ge 2\), but focuses on the special case \(s=a+1\) and characterizes the cases when \(K_{a,na}\) is the extremal graph and gives the order of magnitude of the ’extra copies of \(K_{a,b}\)’ in the other cases. Part (v) then gives a stronger stability in the complementing \(s>a+1\) cases with the condition of part (iii). Part (vi), similarly to part (iv), characterizes the relationship of a, b, s, t under the assumptions of part (v) that ensures \({\overline{K}}_{s1,ns+1}\) to be extremal. Finally, part (vii) addresses the case \(a=1\).
Theorem 1.5

(i)
If \(a<s\), \(s\le b\), then we have \(\mathrm {ex}(n,K_{a,b},K_{s,t})=\Theta (n^b)\).

(ii)
If \(a<s< b\) or if \(a<s=b=t\), then we have \(\mathrm {ex}(n,K_{a,b},K_{s,t})=(1+o(1))\left( {\begin{array}{c}s1\\ a\end{array}}\right) \left( {\begin{array}{c}n\\ b\end{array}}\right)\).

(iii)
If \(a<s\le t< b\), then there exists \(n_0=n_0(a,b,s,t)\) such that if \(n\ge n_0\), then every extremal \(K_{s,t}\)free nvertex graph, i.e. a graph with the most copies of \(K_{a,b}\), contains \(K_{s1,ns+1}\). Moreover, if an nvertex \(K_{s,t}\)free graph does not contain \(K_{s1,ns+1}\), then it has at most \(ex(n,K_{a,b},K_{s,t})\Omega (n^{b1})\) copies of \(K_{a,b}\).

(iv)
Let \(2\le a<t<b\) and n large enough. We have \(ex(n,K_{a,b},K_{a+1,t})={{\mathcal {N}}}(K_{a,b},K_{a,na})+\Theta (n)\) if \(b<a+t\) and at least one of the following assumptions hold.

\(b\le 2a\)

\(2a<t\)

\(a+b<2t1\).
Otherwise \(ex(n,K_{a,b},K_{a+1,t})={{\mathcal {N}}}(K_{a,b},K_{a,na})\) holds.


(v)
If \(a+1<s\le t< b\) and n is large enough, then every extremal nvertex \(K_{s,t}\)free graph contains \({\overline{K}}_{s1,ns+1}\). Moreover, if an nvertex \(K_{s,t}\)free graph does not contain \({\overline{K}}_{s1,ns+1}\), then it has at most \(ex(n,K_{a,b},K_{s,t})\Omega (n^{b1})\) copies of \(K_{a,b}\).

(vi)
Let \(a+1<s\le t< b\) and n is large enough. If \(a+b\ge s+t\), then \(\mathrm {ex}(n,K_{a,b},K_{s,t})={{\mathcal {N}}}(K_{a,b},{\overline{K}}_{s1,ns+1})\). If \(a+b<s+t\), then \(\mathrm {ex}(n,K_{a,b},K_{s,t})={{\mathcal {N}}}(K_{a,b},{\overline{K}}_{s1,ns+1})+\Theta (n)\).

(vii)
Let \(G_1\) be a graph obtained from \({\overline{K}}_{s1,ns+1}\) by adding an \((t1)\)regular graph of girth at least 5 to the \(ns+1\) vertices forming an independent set. Then if \(s\le t< b\) and n is large enough, then \(\mathrm {ex}(n,K_{1,b},K_{s,t})={{\mathcal {N}}}(K_{1,b},G_1)\).
In Sect. 3, we briefly consider the case \(a=s\). In Sect. 4, we study the case \(a>s\), prove some upper bounds and obtain lower bounds by constructions derived from known constructions for Turán problems for Berge hypergraphs (the definitions will be introduced in Sect. 4). The following theorem contains our results.
Theorem 1.6

(i)
For any \(a< b< t\) and n we have \(ex(n,K_{a,b},K_{1,t})\le \frac{n}{a+b}(\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t1\\ b1\end{array}}\right) +\left( {\begin{array}{c}t1\\ b\end{array}}\right) \left( {\begin{array}{c}t1\\ a1\end{array}}\right) )\), while for any \(a<t\) and n we have \(ex(n,K_{a,a},K_{1,t})\le \frac{n}{2a}\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t1\\ a1\end{array}}\right)\). In particular, if \(2t2\) divides n, we have \(\mathrm {ex}(n,K_{a,b},K_{1,t})={{\mathcal {N}}}(K_{a,b},\frac{n}{2t2}K_{t1,t1})\).

(ii)
If \(a<t\le \frac{8a}{7}+1\), then \(\mathrm {ex}(n,K_{a,a},K_{1,t})={{\mathcal {N}}}(K_{a,a},\lfloor \frac{n}{2t2}\rfloor K_{t1,t1}+K_{\lfloor \frac{p}{2}\rfloor ,\lceil \frac{p}{2}\rceil })\), where \(p=n(2t2)\lfloor \frac{n}{2t2}\rfloor\).

(iii)
Let \(2\le s<a\le b<t\). Then \(\mathrm {ex}(n,K_{a,b},K_{s,t})=\Omega (n^{\frac{3}{2}o(1)})\).
2 \(a<s\)
2.1 \(a<s\), \(s\le b\)
In this case, it is easy to determine the order of magnitude of \(ex(n,K_{a,b},K_{s,t})\).
Proof of Theorem 1.5 (i)
The lower bound is given by \(K_{s1,ns+1}\), which contains \(\Theta (n^b)\), more precisely, \(\left( {\begin{array}{c}ns+1\\ b\end{array}}\right) \left( {\begin{array}{c}s1\\ a\end{array}}\right)\) copies of \(K_{a,b}\). For the upper bound, observe that if we choose in a \(K_{s,t}\)free graph a bset, its vertices have at most \(t1\) common neighbors. Therefore, \(\mathrm {ex}(n,K_{a,b},K_{s,t})\le \left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}n\\ b\end{array}}\right)\). \(\square\)
We can extend this result to determine the asymptotics of \(ex(n,K_{a,b},K_{s,t})\) in the case \(s<b\).
Proof of Theorem 1.5 (ii)
The lower bound is again given by \(K_{s1,ns+1}\). For the upper bound, let G be a \(K_{s,t}\)free graph on n vertices, and choose a bset B of vertices in G. If \(t\le b\), then those b vertices have at most \(s1\) common neighbors, thus there are at most \(\left( {\begin{array}{c}s1\\ a\end{array}}\right)\) copies of \(K_{a,b}\) containing B as the larger partite set, finishing the proof.
If \(t>b\), then B might be the larger partite set of several copies of \(K_{a,b}\). However, G contains \(O(n^s)\) copies of \(K_{s,b}\) by Proposition 1.1. This means that \(O(n^s)\) bsets have at least s common neighbors in G, let \({{\mathcal {B}}}\) be the family of such bsets. Let \({{\mathcal {B}}}'\) denote the family of the other \((1o(1))\left( {\begin{array}{c}n\\ b\end{array}}\right)\) bsets of vertices in G. Observe that vertices in a bset in \({{\mathcal {B}}}\) have at most \(t1\) common neighbors. Therefore, we have at most \(\left( {\begin{array}{c}t1\\ b\end{array}}\right) {{\mathcal {B}}}=O(n^s)\) copies of \(K_{a,b}\) with the larger partite set in \({{\mathcal {B}}}\), and at most \((1o(1))\left( {\begin{array}{c}s1\\ a\end{array}}\right) \left( {\begin{array}{c}n\\ b\end{array}}\right)\) copies of \(K_{a,b}\) with the larger partite set in \({{\mathcal {B}}}'\), finishing the proof. \(\square\)
In the remaining case \(a<s=b<t\), the asymptotic result does not necessarily hold. If \(a=1\) and \(b=2\), \(K_{1,n1}\) contains \(\left( {\begin{array}{c}n1\\ 2\end{array}}\right)\) copies of \(K_{1,2}\). However, Gerbner and Palmer [11] showed that in this case the Füredi graph gives the asymptotics, i.e. \(\mathrm {ex}(n,K_{1,2},K_{2,t})=(1+o(1))\frac{t1}{2}n^2\).
For other values of \(b=s\) in the case \(a=1\), recall that if \(t\ge (s1)!+1\), the projective norm graphs [2, 19] are \(K_{s,t}\)free with \((1+o(1))\frac{1}{2}n^{21/s}\) edges. As projective norm graphs are close to regular, this shows that they contain \((1+o(1))n^s/s!\) copies of \(K_{1,b}\), just like \(K_{s1,ns+1}\). This suggests that the asymptotic result might hold in the case \(a=1\), \(b=s>2\).
In the case \(s\le b\), we still have two possibilities: either \(b\le t\), or \(t<b\). We will be able to improve the above proposition by partially describing the structure of the extremal graphs and obtaining exact results in the case b is large compared to t.
2.2 \(a<s\), \(t< b\)
We start by proving Theorem 1.5 (iii) which we restate for convenience.
Theorem 1.5
(iii) If \(a<s\le t< b\), then there exists \(n_0=n_0(a,b,s,t)\) such that if \(n\ge n_0\), then every extremal \(K_{s,t}\)free nvertex graph, i.e. a graph with the most copies of \(K_{a,b}\), contains \(K_{s1,ns+1}\). Moreover, if an nvertex \(K_{s,t}\)free graph does not contain \(K_{s1,ns+1}\), then it has at most \(ex(n,K_{a,b},K_{s,t})\Omega (n^{b1})\) copies of \(K_{a,b}\).
Proof
Recall that the already proven part (ii) of Theorem 1.5 shows that \(ex(n,K_{a,b},K_{s,t})=(1+o(1)){{\mathcal {N}}}(K_{a,b},K_{s1,ns+1})\). Let us also recall its proof for the present case \(t\le b\): in a \(K_{s,t}\)free graph G on n vertices, each of the \(\left( {\begin{array}{c}n\\ b\end{array}}\right)\) different bsets of vertices has at most \(s1\) common neighbors, thus it forms the larger partite set in at most \(\left( {\begin{array}{c}s1\\ a\end{array}}\right)\) copies of \(K_{a,b}\).
For a subset S of vertices, we denote by \(N_G(S)\) the set of its common neighbors in G. We say that a bset B is Ggood if \(N_G(B)=s1\) and B is Gbad if \(N_G(B)\le s2\). By the above, if the number of Gbad bsubsets is at least \(\alpha n^{b1}\) for some \(\alpha =\alpha (a,s,b)>0\), then \({{\mathcal {N}}}(K_{a,b},G)<\left( {\begin{array}{c}s1\\ a\end{array}}\right) \left( {\begin{array}{c}n\\ b\end{array}}\right) (\left( {\begin{array}{c}s1\\ a\end{array}}\right) \left( {\begin{array}{c}s2\\ a\end{array}}\right) )\alpha n^{b1}<{{\mathcal {N}}}(K_{a,b},K_{s1,ns+1})\Omega (n^{b1})\).
Let \(S_1,S_2,\dots ,S_\ell\) be the \((s1)\)subsets of vertices of G with \(N_G(S_i)\ge b\) and let us write \(N_i=N_G(S_i)\) and \(m_i=N_i\). Clearly, the number of Ggood bsets is at most \(\sum _{i=1}^{\ell }\left( {\begin{array}{c}m_i\\ b\end{array}}\right)\). The following simple claim will be crucial to the proof.
Claim 2.1
Let B be a bset of vertices such that \(t\le N_i\cap B<b\) holds for some \(i=1,2,\dots ,\ell\). Then B is Gbad. Furthermore, \(N_i\cap N_j<t\) for any \(i\ne j\) and the number of Gbad bsubsets is at least \(\frac{1}{\left( {\begin{array}{c}b\\ t\end{array}}\right) }\sum _{i=1}^\ell \left( {\begin{array}{c}m_i\\ t\end{array}}\right) \left( {\begin{array}{c}nm_i\\ bt\end{array}}\right)\).
Proof of Claim
Suppose to the contrary that B is Ggood and thus, by definition, there exists j such that \(N_G(B)=S_j\). As \(N_i\cap B<b\) implies \(B\not \subseteq N_i\), we obtain that \(i\ne j\). Then \(S_i\cup S_j\ge s\) and therefore \(t\le N_i\cap B\) implies \(G[S_i\cup S_j,N_i\cap B]\) contains a copy of \(K_{s,t}\). This contradicts the assumption that G is \(K_{s,t}\)free. This contradiction proves the first statement of the claim.
If \(N_i\cap N_j\ge t\), then any bsubset B of \(N_i\) that contains at least t elements of \(N_i \cap N_j\) and at least one element of \(N_i\setminus N_j\) contradicts the already proven part of the claim.
Finally, let us count the pairs (M, B), where \(M=N_i\) for some i, B is a bset and \(B\cap M=t\). On the one hand, the number of such pairs is exactly \(\sum _{i=1}^\ell \left( {\begin{array}{c}m_i\\ t\end{array}}\right) \left( {\begin{array}{c}nm_i\\ bt\end{array}}\right)\). On the other hand, by the already proven part of the claim, the bset B in all such pairs must be Gbad, and for every Gbad B and tsubset T of B, there can be at most one \(N_i\) with \(N_i\cap B=T\). Thus the number of pairs (M, B) is at most \(\left( {\begin{array}{c}b\\ t\end{array}}\right)\) times the number of Gbad bsets. \(\square\)
With Claim 2.1 in hand, we are ready to prove the theorem. We distinguish three cases according to \(m=\max \{m_i: i=1,2,\dots ,\ell \}\).
Case I \(m<\frac{n}{2}\).
By Claim 2.1 and the observation before the claim, we obtain that the number of Ggood bsets is at most \(\min \{\left( {\begin{array}{c}n\\ b\end{array}}\right) \frac{1}{\left( {\begin{array}{c}b\\ t\end{array}}\right) }\sum _i\left( {\begin{array}{c}m_i\\ t\end{array}}\right) \left( {\begin{array}{c}nm_i\\ bt\end{array}}\right) ;\sum _i\left( {\begin{array}{c}m_i\\ b\end{array}}\right) \}\). The assumption \(m<\frac{n}{2}\) implies that \(\frac{1}{\left( {\begin{array}{c}b\\ t\end{array}}\right) }\left( {\begin{array}{c}m_i\\ t\end{array}}\right) \left( {\begin{array}{c}nm_i\\ bt\end{array}}\right) \ge C\left( {\begin{array}{c}m_i\\ b\end{array}}\right)\) holds for all i with some \(C>0\) depending only on b and t. As a consequence, the number of Ggood bsets is at most \(\frac{1}{C+1}\left( {\begin{array}{c}n\\ b\end{array}}\right)\) and thus \({{\mathcal {N}}}(K_{a,b},G)<{{\mathcal {N}}}(K_{a,b},K_{s1,ns+1})\Omega (n^{b1})\).
Case II \(\frac{n}{2}<m< nC^*\) for a suitably chosen \(C^*\).
If \(N_i=m\), then by Claim 2.1, all bsets B not contained in \(N_i\) but meeting \(N_i\) in at least t points are Gbad. Their number is at least \(\left( {\begin{array}{c}m\\ b1\end{array}}\right) (nm)\ge \alpha n^{b1}\). This yields \({{\mathcal {N}}}(K_{a,b},G)<{{\mathcal {N}}}(K_{a,b},K_{s1,ns+1})\Omega (n^{b1})\).
Thus, in all the above cases, \({{\mathcal {N}}}(K_{a,b},G)<\mathrm {ex}(n,K_{a,b},K_{s,t})\Omega (n^{b1})\). This shows that we can find the extremal graph in the only remaining case, \(m=ns+1\), thus G contains \(K_{s1,ns+1}.\) \(\square\)
With the stability result of part (iii) of Theorem 1.5 in hand, we are ready to prove (iv) which we restate here.
Theorem 1.5
(iv) Let \(2\le a<t<b\) and n large enough. We have \(ex(n,K_{a,b},K_{a+1,t})={{\mathcal {N}}}(K_{a,b},K_{a,na})+\Theta (n)\) if \(b<a+t\) and at least one of the following assumptions hold.
(i) \(b\le 2a\)
(ii) \(2a<t\)
(iii) \(a+b<2t1\).
Otherwise \(ex(n,K_{a,b},K_{a+1,t})={{\mathcal {N}}}(K_{a,b},K_{a,na})\) holds.
Proof
Let G be a \(K_{a+1,t}\)free graph on n vertices that contains the most copies of \(K_{a,b}\). By part (iii) of Theorem 1.5, G contains \(K_{a,na}\) with partite sets A of order a and B of order \(na\). Observe that for a copy K of \(K_{a,b}\), the partite set A (and similarly the partite set B) intersects K in a set of vertices that induces either a complete bipartite graph or an independent set in K. Let us assume that K is not a subgraph of this \(K_{a,na}\), then the intersection of K and B is not an independent set. Let K[A] denote the intersection of A and K, more precisely K[A] denotes the subgraph of K induced on the vertices \(A\cap V(K)\), and we define K[B] analogously. Let \(p\le q\) denote the orders of the partite sets of K[A]. Then K[B] is either \(K_{ap,bq}\) or \(K_{aq,bp}\). Note that \(p=0\) is possible and means that K[A] is an independent set in K.
Let \(G'\) denote the subgraph of G inside B. Observe that a vertex v has degree at most \(t1\) in \(G'\) because otherwise \(A\cup \{v\}\) and neighbors of v would form a copy of \(K_{a+1,t}\). This means that \(G'\) is \(K_{1,t}\)free (and in particular both partite sets of K[B] have order less than t). K[B] is a complete bipartite graph \(K_{p',q'}\) with \(p'\le a\), \(q'\le b\), and by the above observation we have \(p',q'<t\). We also have \(p'>0\) since K[B] is not an independent set. Therefore, we can apply Proposition 1.1 to show that \(ex(B,K_{p',q'},K_{1,t})=O(n)\), thus there are O(n) copies of \(K_{p',q'}\) for every \(p'\) and \(q'\) in \(G'\). As they can be extended to copies of \(K_{a,b}\) from A in constant many ways, we are done with the proof of the upper bound \({{\mathcal {N}}}(K_{a,b},G)\le {{\mathcal {N}}}(K_{a,b},K_{a,na})+O(n)\).
Let us show the stronger upper bound \({{\mathcal {N}}}(K_{a,b},G)\le {{\mathcal {N}}}(K_{a,b},K_{a,na})\) in the case \(b\ge a+t\). Then we have \(bq\ge t\) and \(bp\ge t\), thus one partite set of K[B] has order at least t, a contradiction.
Let us assume that \(b<a+t\) and show the lower bounds first. In the case \(b\le 2a\) or \(2a<t\), we can embed \(\lfloor \frac{na}{b}\rfloor\) copies of \(K_{a,ba}\) into B vertexdisjointly without creating \(K_{a+1,t}\). Indeed, a complete bipartite graph can intersect at most one of these copies, and additionally use vertices of A. Thus K is a subgraph of either \(K_{2a,ba}\) or \(K_{a,b}\). The second graph does not contain \(K_{a+1,t}\), and the first one contains it only if either \(ba\ge t\) (which contradicts our assumption \(b<a+t\)) or \(2a\ge t\) and \(ba\ge a+1\). The assumption \(b\le 2a\) implies that \(ba\le a<a+1\).
Assume now that \(a+b<2t1\) and we will also use that \(a>\lfloor \frac{t1}{2}\rfloor\) (otherwise the previous construction gives the desired lower bound). Then we let \(r=\lfloor \frac{t1}{2}\rfloor\) and \(r'=\lceil \frac{t1}{2}\rceil\). We embed \(K_{ar,r'}\) into A and \(\lfloor \frac{na}{b}\rfloor\) vertex disjoint copies of \(K_{r,br'}\) into B. Any copy of \(K_{a+1,t}\) in the resulting graph intersects A and B both in complete bipartite graphs and in particular is a subgraph of either \(K_{a,b}\) or \(K_{r+r',a+brr'}\). Clearly \(K_{a,b}\) does not contain \(K_{a+1,t}\), and both partite sets of \(K_{r+r',a+brr'}\) have order less than t, a contradiction.
Let us show now the stronger upper bound \({{\mathcal {N}}}(K_{a,b},G)\le {{\mathcal {N}}}(K_{a,b},K_{a,na})\) in the remaining cases, i.e. \(t\le 2a<b\) and \(a+b\ge 2t1\). Consider first the case \(p=0\). Then K[B] either contains a partite set of order a or a partite set of order b, but this second possibility contradicts our earlier observation that both parts of K[B] have order less than t. Thus we can assume that K[B] contains \(K_{a,ba}\). Then a copy of \(K_{a,ba}\) in B extends to \(K_{2a,ba}\) with the vertices of A. We have \(ba>a\) and \(2a\ge t\), thus \(K_{a+1,t}\) is a subgraph of G.
Consider now the case \(p>0\) and still we have \(a+b\ge 2t1\) and \(b>2a\). If K[B] is \(K_{aq,bp}\), then we have \(K_{2aq,bp}\) in G, which contains \(K_{a+1,bp}\). We have \(3b/2>a+b\ge 2t1\) thus \(bp\ge ba/2>bb/4=3b/4\ge t1/2\), so \(K_{a+1,bp}\) and G contains \(K_{a+1,t}\). This contradiction finishes the proof in this case. In particular, if \(p=q\), then we are done, thus we can assume that \(p<q\). If K[B] is \(K_{ap,bq}\), then we have \(K_{ap+q,p+bq}\) in G. Since \(ap+q\ge a+1\), we must have \(p+bq<t\). Then \(ap+q=(a+b)(p+bq)\ge 2t1(p+bq) \ge t\). We also have \(p+bq\ge ba\ge a+1\), thus there is a \(K_{a+1,t}\) in G, a contradiction. \(\square\)
Observe that if \(s>a+1\), then \(K_{s1,ns+1}\) is not the extremal graph. Recall that \({\overline{K}}_{a,b}\) denotes the graph we obtain from \(K_{a,b}\) by adding all the edges in the partite set of size a. With a slight abuse of notation, we still use the expression “partite set” for the partite sets of the original \(K_{a,b}\). The graph \({\overline{K}}_{s1,ns+1}\) is \(K_{s,t}\)free, as it has only \(s1\) vertices of degree at least t. On the other hand, if we take a vertices from the part of size \(s1\) to form an aset, one more vertex from that part and \(b1\) vertices from the other part to form a bset, then they are the partite sets of a \(K_{a,b}\) that is not present in \(K_{s1,ns+1}\). We restate and prove Theorem 1.5 (v).
Theorem 1.5
(v) If \(a+1<s\le t< b\) and n is large enough, then every extremal nvertex \(K_{s,t}\)free graph contains \({\overline{K}}_{s1,ns+1}\). Moreover, if an nvertex \(K_{s,t}\)free graph does not contain \({\overline{K}}_{s1,ns+1}\), then it has at most \(ex(n,K_{a,b},K_{s,t})\Omega (n^{b1})\) copies of \(K_{a,b}\).
Proof
Let u and v be vertices in the smaller partite set in \({\overline{K}}_{s1,ns+1}\). We consider first the number of copies of \(K_{a,b}\) containing the edge uv. We can take \(a1\) other vertices from the smaller partite set and \(b1\) vertices from the larger partite set to form a \(K_{a,b}\) with them, thus there are \(\Omega (n^{b1})\) such copies of \(K_{a,b}\).
Let G be an extremal \(K_{s,t}\)free graph on n vertices, then by Theorem 1.5 (iii), G contains a copy of \(K_{s1,ns+1}\). Let \(G'\) be the subgraph of G on the larger partite set. The maximum degree is at most \(t1\) in \(G'\) because of the \(K_{s,t}\)free property. We consider the copies of \(K_{a,b}\) that contain an edge inside the larger partite set. The subgraph of that \(K_{a,b}\) inside the larger partite set is a complete bipartite graph \(K_{p,q}\) for some \(p,q\le t1\). By Proposition 1.1, the number of copies of \(K_{p,q}\) in \(G'\) is O(n), since \(G'\) is a \(K_{1,t}\)free graph. Each copy of \(K_{p,q}\) can be extended to a copy of \(K_{a,b}\) with vertices from the smaller partite set in constantly many ways.
Therefore, the total number of copies of \(K_{a,b}\) containing an edge from the larger partite set is \(O(n)=o(n^{b1})\). If any edge is missing in G from the smaller partite set, we lose \(\Omega (n^{b1})\) copies of \(K_{a,b}\), thus G has less copies of \(K_{a,b}\) than \({\overline{K}}_{s1,ns+1}\), a contradiction. \(\square\)
It is easy to characterize the \(K_{s,t}\)free graphs containing \({\overline{K}}_{s1,ns+1}\): they are those graphs G that have in the larger partite set a subgraph \(G'\) which does not contain any \(K_{p,q}\) with \(p+q=t+1\), \(p\le q>ts\). Indeed, such a \(K_{p,q}\) could be extended by adding \(sp\) and \(tq\) vertices from the smaller partite set of \({\overline{K}}_{s1,ns+1}\) to its partite sets, altogether \(sp+tq=s1\) vertices. If, on the other hand, G contains a \(K_{s,t}\), it intersects the larger partite set in a complete bipartite graph \(K_{p',q}\) with \(p'\le q\). Then \(p'+q\ge t+1\) and \(q\ge ts\). Let \(p=t+1q\), then deleting \(p'+qt1\) vertices from the partite set of \(K_{p',q}\) of size \(p'\) we obtain \(K_{p,q}\) with the desired properties. We are ready to restate and prove Theorem 1.5 (vi).
Theorem 1.5
(vi) Let \(a+1<s\le t< b\) and n is large enough. If \(a+b\ge s+t\), then \(\mathrm {ex}(n,K_{a,b},K_{s,t})={{\mathcal {N}}}(K_{a,b},{\overline{K}}_{s1,ns+1})\). If \(a+b<s+t\), then \(\mathrm {ex}(n,K_{a,b},K_{s,t})={{\mathcal {N}}}(K_{a,b},{\overline{K}}_{s1,ns+1})+\Theta (n)\).
Proof
Let G be an extremal \(K_{s,t}\)free graph on n vertices. By Theorem 1.5 (v), G contains \({\overline{K}}_{s1,ns+1}\) with smaller part A and larger part B. Assume G contains a copy of \(K_{a,b}\) that is not contained in \({\overline{K}}_{s1,ns+1}\). This copy intersects B in a complete bipartite graph \(K_{p,q}\) with \(p\le q\). Then we have \(p+q+s1\ge a+b\), because these \(p+q\) vertices can be extended with vertices from A to \(K_{a,b}\). Also we have \(p\le a\).
We can add \(sp\) vertices of A to the smaller partite set of \(K_{p,q}\) and the remaining \(p1\) vertices to the larger partite set to obtain a copy of \(K_{s,q+p1}\). If \(a+b\ge s+t\), then \(p+q+s1\ge a+b\ge s+t\) and so \(p+q1\ge t\) and thus \(K_{s,p+q1}\) and so G contains \(K_{s,t}\). This contradiction finishes the proof of the first part of the statement.
Assume now that \(a+b<s+t\). For the upper bound, let \(G'\) denote the subgraph of G inside the larger partite set. Observe that a vertex v has degree at most \(t1\) in \(G'\) because otherwise the smaller partite set would extend v and its neighbors to \(K_{s,t}\). This means that \(G'\) is \(K_{1,t}\)free. Every copy of \(K_{a,b}\) that is not present in \({\overline{K}}_{s1,ns+1}\) intersects \(G'\) in a complete bipartite set \(K_{p,q}\) with \(p\le a\), \(q\le b\). By Proposition 1.1, there are O(n) copies of \(K_{p,q}\) for every p and q in \(G'\). As they can be extended from A constant many ways, we are done with the upper bound.
For the lower bound, we pick \(p \le q\) arbitrarily with \(p+q=a+bs+1\). We place \(\lfloor (ns+1)/(p+q)\rfloor\) vertexdisjoint copies of \(K_{p,q}\) into the larger partite set B of a \({\overline{K}}_{s1,ns+1}\). Any copy of \(K_{s,t}\) in the resulting graph \(G'\) intersects this partite set in a complete bipartite graph on at least \(t+1>a+bs+1\) vertices, which is impossible, thus \(G'\) is \(K_{s,t}\)free. In addition to the copies of \(K_{a,b}\) in \({\overline{K}}_{s1,ns+1}\), \(G'\) contains those copies that have one of the \(\Theta (n)\) copies of \(K_{p,q}\) from B, and from the set of \(s1\) vertices of degree \(n1\), \(ap\) vertices are added to the smaller partite set and \(bq=pa+s1\) vertices to the larger partite set, to form a \(K_{a,b}\). As \(ap+bq=s1\), this is doable, finishing the proof. \(\square\)
Let \(G_0\) be an almost \((t1)\)regular graph on \(ns+1\) vertices with girth at least 5. It is wellknown that such a \(G_0\) exists if \(ns+1\) is large enough. \(G_0\) obviously avoids any \(K_{p,q}\) with \(p+q=t+1\): it avoids \(K_{1,t}\) by the degree condition, and it avoids \(K_{2,2}\) by the girth condition. Let us embed \(G_0\) to \({\overline{K}}_{s1,ns+1}\) to obtain \(G_1\). As \(G_0\) is not uniquely determined, neither is \(G_1\), but their degree sequence is, which in turn determines \({{\mathcal {N}}}(K_{1,b},G_1)\). We end this subsection by restating and proving part (vii) of Theorem 1.5.
Theorem 1.5
(vii) If \(s\le t< b\) and n is large enough, then \(\mathrm {ex}(n,K_{1,b},K_{s,t})={{\mathcal {N}}}(K_{1,b},G_1)\).
Proof
Observe \({{\mathcal {N}}}(K_{1,b},H)=\sum _{v\in V(H)}\left( {\begin{array}{c}d(v)\\ b\end{array}}\right)\) for any graph H. By Theorem 1.5 (v), the extremal graph G contains a copy of \({\overline{K}}_{s1,ns+1}\). The vertices of the larger part are connected to at most \(t1\) other vertices of the larger part, thus have degree at most \(s+t2\). Moreover, if \(ns+1\) and \(t1\) are both odd, than one of the vertices of the large part is connected to at most \(t2\) other vertices of the larger part, thus has degree at most \(s+t3\). Therefore, G contains \(s1\) vertices of degree at most \(n1\), and depending on parity, either \(ns+1\) vertices of degree at most \(s+t2\), or \(ns\) vertices of degree at most \(s+t2\) and one vertex of degree at most \(s+t3\). As \(G_1\) has the same degree sequence with equality everywhere, we are done. \(\square\)
2.3 \(a<s\), \(b<s\)
In this case Alon and Shikhelman [1] showed the upper bound \(O(n^{a+bab/s})\). They also showed a matching lower bound in the case^{Footnote 1}\(a\le b<(s+1)/2\) and \(t\ge (s1)!+1\). Ma et al. [23] extended their result with Theorem 1.2 by getting rid of the condition \(b<(s+1)/2\) at the cost of increasing t even further: if \(a<s\), \(b<s\) and t is large enough, then \(\mathrm {ex}(n,K_{a,b},K_{s,t})=\Theta (n^{a+bab/s})\).
Bayer et al. [3] also showed \(\mathrm {ex}(n,K_{a,b},K_{s,t})=\Theta (n^{a+bab/s})\) in the case \(a\le 3\), \(a\le b<s\), \(s\ge 4\) and \(t\ge (s1)!+1\). Moreover, their results also determine the order of magnitude in some other cases, even though they do not explicitly state them. In particular, if \(a=b=2\), \(s=3\), then for \(t\ge (s1)!+1=3\), they showed \(\mathrm {ex}(n,K_{2,2},K_{3,t})=\Theta (n^{8/3})\).
Observe that we are in the case containing the ordinary Turán problem for \(K_{s,t}\), and indeed the results are similar too: the simple upper bound can be matched by a lower bound in the order of magnitude in the case t is large. In other cases, the best known lower bound on \(\mathrm {ex}(n,K_{s,t})\) is \(\Omega (n^{2\frac{1}{s}\frac{1}{t}})\) by a simple random construction. Theorem 1.3 extends that construction to generalized Turán problems and gives \(\mathrm {ex}(n,K_{a,b},K_{s,t})=\Omega (n^{a+b\frac{ab(s+t2)}{stab}})\).
3 \(a=s\)
In the case \(a=s\), we can again assume that \(b<t\), as otherwise \(\mathrm {ex}(n,K_{a,b},K_{s,t})=0\). The simple upper bound \(O(n^s)\) from Proposition 1.1 also holds in this case, and it is sharp if t is large enough by Theorem 1.2.
If \(s=1\), the problem is trivial, the almost \((t1)\)regular graphs are the extremal graphs. In the case \(s=2\), it is not hard to obtain an asymptotically sharp bound. We use the wellknown Füredi graph [6] mentioned in the introduction. Recall that it is a \(K_{2,t}\)free graph that gives the asymptotic of \(\mathrm {ex}(n,K_{2,t})\), and all but \(o(n^2)\) pairs of vertices have exactly \(t1\) common neighbors. Gerbner and Palmer [11] showed that among \(K_{2,t}\)free graphs, the Füredi graph contains asymptotically the most copies of paths and cycles of any length, thus in particular the most copies of \(K_{2,2}\). We can extend this to \(K_{2,b}\).
Proposition 3.1
If \(2<b<t\), then \(\mathrm {ex}(n,K_{2,b},K_{2,t})=(1+o(1))\left( {\begin{array}{c}t1\\ b\end{array}}\right) \left( {\begin{array}{c}n\\ 2\end{array}}\right)\).
Proof
Let G be a \(K_{2,t}\)free graph on n vertices. We count the copies of \(K_{2,b}\) by picking the two vertices in the smaller part. This can be done \(\left( {\begin{array}{c}n\\ 2\end{array}}\right)\) ways, and then we pick b of their at most \(t1\) common neighbors.
For the lower bound, observe that in the Füredi graph each of the \((1o(1))\left( {\begin{array}{c}n\\ 2\end{array}}\right)\) pairs that have exactly \(t1\) common neighbors forms the smaller part of \(\left( {\begin{array}{c}t1\\ b\end{array}}\right)\) copies of \(K_{2,b}\). \(\square\)
Bayer et al. [3] showed \(\mathrm {ex}(n,K_{4,6},K_{4,7})=\Omega (n^{7/4})\). For other values of s, we again use Theorem 1.3. Here \(ab<st\) is always satisfied, and we have \(\mathrm {ex}(n,K_{a,b},K_{s,t})=\Omega (n^{a+b\frac{ab(s+t2)}{stab}}) =\Omega (n^{a+b\frac{b(a+t2)}{tb}})\). If t increases, the exponent goes to a.
4 \(a>s\)
In the case \(a>s\), we can assume that \(b<t\), as otherwise \(\mathrm {ex}(n,K_{a,b},K_{s,t})=0\). Recall the simple upper bound \(O(n^s)\) from Proposition 1.1. We first consider the case \(s=1\). We start with restating and proving Theorem 1.6 (i).
Theorem 1.6
(i) For any \(a< b< t\) and n we have \(ex(n,K_{a,b},K_{1,t})\le \frac{n}{a+b}(\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t1\\ b1\end{array}}\right) +\left( {\begin{array}{c}t1\\ b\end{array}}\right) \left( {\begin{array}{c}t1\\ a1\end{array}}\right) )\), while for any \(a<t\) and n we have \(ex(n,K_{a,a},K_{1,t})\le \frac{n}{2a}\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t1\\ a1\end{array}}\right)\). In particular, if \(2t2\) divides n, we have \(\mathrm {ex}(n,K_{a,b},K_{1,t})={{\mathcal {N}}}(K_{a,b},\frac{n}{2t2}K_{t1,t1})\).
Proof
Let G be a \(K_{1,t}\)free graph and v be a vertex of G. Let us count the number of copies of \(K_{a,b}\) containing v. We start with those copies where v is in the part of size a. We have to choose b neighbors of v, at most \(\left( {\begin{array}{c}t1\\ b\end{array}}\right)\) ways, and then \(a1\) neighbors of those vertices, at most \(\left( {\begin{array}{c}t1\\ a1\end{array}}\right)\) ways. If \(b\ne a\), we need to add \(\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t1\\ b1\end{array}}\right)\) for the copies of \(K_{a,b}\) that have v in the part of size b. In both cases, every copy of \(K_{a,b}\) is counted \(a+b\) times. Observe that in the graph \(\frac{n}{2t2}K_{t1,t1}\), every vertex is in this many copies of \(K_{a,b}\), finishing the proof. \(\square\)
Let us discuss briefly the case \(2t2\) does not divide n. Assume that in the above proof, a vertex is contained in \(\left( {\begin{array}{c}t1\\ b\end{array}}\right) \left( {\begin{array}{c}t1\\ a1\end{array}}\right) +\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t1\\ b1\end{array}}\right)\) copies of \(K_{a,b}\) if \(a\ne b\), or \(\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t1\\ a1\end{array}}\right)\) copies of \(K_{a,b}\) if \(a=b\). Then G contains a \(K_{t1,t1}\). If on the other hand every vertex is contained in less copies of \(K_{a,b}\), and n is large enough compared to a, b, t, then G contains less copies of \(K_{a,b}\) than \(\lfloor \frac{n}{2t2}\rfloor K_{t1,t1}\), thus cannot be extremal. This shows that the extremal graph consists of vertex disjoint copies of \(K_{t1,t1}\), and a subgraph of order c for some constant c that depends on a, b and t.
We show how to improve this with a more involved calculation in some cases, to obtain exact results. For simplicity, we will deal only with the case \(a=b\). In the case \(t<4\), the only meaningful case is \(t=3\), \(a=2\), which is trivial, as every copy of \(K_{2,2}\) is a connected component in a \(K_{1,3}\)free graph. We restate and prove Theorem 1.6 (ii).
Theorem 1.6
(ii) If \(a<t\le \frac{8a}{7}+1\), then \(\mathrm {ex}(n,K_{a,a},K_{1,t})={{\mathcal {N}}}(K_{a,a},\lfloor \frac{n}{2t2}\rfloor K_{t1,t1}+K_{\lfloor \frac{p}{2}\rfloor ,\lceil \frac{p}{2}\rceil })\), where \(p=n(2t2)\lfloor \frac{n}{2t2}\rfloor\).
Proof
Let us assume \(t\ge 4\). A simple calculation shows that \(\left( {\begin{array}{c}t2\\ a\end{array}}\right) \left( {\begin{array}{c}t2\\ a1\end{array}}\right) +\left( {\begin{array}{c}t2\\ a1\end{array}}\right) \left( {\begin{array}{c}t3\\ a1\end{array}}\right) <\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t2\\ a1\end{array}}\right) /2\), which we will use later.
We deal first with the case \(n< 2t2\). Consider a \(K_{1,t}\)free graph G. Let us delete the edges of G that are not contained in any copy of \(K_{a,a}\). We claim that the resulting graph is \(K_3\)free. Indeed, a triangle xyz would mean that there is a \(K_{a,a}\) with partite sets X and Y, \(x\in X\), \(y\in Y\). Then without loss of generality, z is connected to at most t/2 vertices in X. The edge xz is also in a \(K_{a,a}\), where z is in a partite set Z and x is in a partite set \(X'\). Then at least \(at/2(n2a)\) elements of \(X'\) are in Y, as they are all connected to z. This shows that x is connected to those vertices plus the vertices of Z, thus, using the assumption \(t\le \frac{8a}{7}+1\), the degree of x is at least \(a+at/2(n2a)\ge t\), a contradiction.
It was shown by Győri et al. [18] that among \(K_3\)free graphs on n vertices, a complete bipartite graph contains the most copies of \(K_{a,b}\), and in particular \(K_{\lfloor \frac{n}{2}\rfloor ,\lceil \frac{n}{2}\rceil }\) contains the most copies of \(K_{a,a}\), finishing the proof in this case.
Theorem 1.6 (i) deals with the case \(n=2t2\), thus we can assume now \(n>2t2\). Recall that in \(K_{t1,t1}\), every vertex is contained in \(\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t2\\ a1\end{array}}\right)\) copies of \(K_{a,a}\) Let G be a \(K_{1,t}\)free graph on n vertices and v be one of its vertices. If v is contained in a \(K_{t1,t1}\), then this is a connected component of G. Otherwise, there are two possibilities. One of them is that v has less than \(t1\) neighbors, in which case v is contained in at most \(\left( {\begin{array}{c}t2\\ a\end{array}}\right) \left( {\begin{array}{c}t2\\ a1\end{array}}\right) <\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t2\\ a1\end{array}}\right) /2\) copies of \(K_{a,a}\). The other possibility is that v has a set P of \(t1\) neighbors, but the vertices of P have at most \(t2\) common neighbors. To pick a \(K_{a,a}\) containing v, we need to pick a vertices from P (\(\left( {\begin{array}{c}t1\\ a\end{array}}\right)\) ways), and then a of their common neighbors (including v). If any aset has at most \(t2\) common neighbors including v, then v is in at most \(\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t3\\ a1\end{array}}\right) <\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t2\\ a1\end{array}}\right) /2\) copies of \(K_{a,a}\).
If an aset \(A\subset P\) has a set Q of \(t1\) common neighbors (including v), then any other aset \(A'\subset P\) has common neighbors only from Q, as \(A'\) intersects A in a vertex \(v'\), and \(v'\) has at most \(t1\) neighbors, i.e. only the vertices of Q. Therefore, the only way that vertices in P do not have \(t1\) common neighbors is that at least one of the vertices of P is not connected to some vertex of Q. Therefore, v is contained in at most \(\left( {\begin{array}{c}t2\\ a\end{array}}\right) \left( {\begin{array}{c}t2\\ a1\end{array}}\right) +\left( {\begin{array}{c}t2\\ a1\end{array}}\right) \left( {\begin{array}{c}t3\\ a1\end{array}}\right) <\left( {\begin{array}{c}t1\\ a\end{array}}\right) \left( {\begin{array}{c}t2\\ a1\end{array}}\right) /2\) copies of \(K_{a,a}\).
In both cases, we obtained that every vertex that is not in a \(K_{t1,t1}\) is contained in at most half as many copies of \(K_{a,a}\) as those vertices that are in a \(K_{t1,t1}\). If there are at least \(m\ge 2t2\) vertices in connected components that are different from \(K_{t1,t1}\), then we can delete them and add \(\lfloor m/(2t2)\rfloor\) copies of \(K_{t1,t1}\) to obtain more copies of \(K_{a,a}\). Therefore, we can assume that we have \(\lfloor n/(2t2)\rfloor\) copies of \(K_{t1,t1}\) in G, and the extremal graph on the remaining p vertices, finishing the proof. \(\square\)
We remark that with the same proof, one can obtain a similar bound for \(\mathrm {ex}(n,K_{a,b},K_{s,t})\) if t is not much bigger than a. However, the additional small graph on the remaining p vertices might be unbalanced.
For larger s, we are unable to improve the upper bound. We can improve the trivial linear lower bound using Theorem 1.4, which yields \(\mathrm {ex}(n,K_{a,b},K_{s,t})=\Omega (n^{3/2})\) if \(t\ge 2a+2b3\). For smaller values of t, Theorem 1.3 yields that if \(ab<st\), then \(\mathrm {ex}(n,K_{a,b},K_{s,t})=\Omega (n^{a+b\frac{ab(s+t2)}{stab}})\).
Let us show now a connection to hypergraph Turán problems. A hypergraph \({{\mathcal {G}}}\) is a Berge copy of a graph G (in brief: a BergeG) if its vertex set contains V(G), and there is a bijection between the edges of G and the hyperedges of \({{\mathcal {G}}}\) such that each edge is contained in its image. In other words, we can add additional vertices to the edges of G (arbitrarily) to obtain \({{\mathcal {G}}}\).
Berge hypergraphs were introduced by Gerbner and Palmer [10], extending the wellestablished notion of hypergraph cycles due to Berge. A hypergraph is linear if any two of its hyperedges share at most one vertex. We say that a hypergraph has girth k if it is linear and its shortest Berge cycle has length k. Note that the linearity can be thought of as forbidding Berge cycles of length 2.
Proposition 4.1
Let \(2<a\le b<t\). Let \({{\mathcal {H}}}\) be an \((a+b)\)uniform hypergraph of girth at least 5. Let G be a graph obtained by placing an arbitrary \(K_{a,b}\) into every hyperedge of \({{\mathcal {H}}}\). Then G is \(K_{2,t}\)free.
Proof
Assume indirectly that there is a copy K of \(K_{2,t}\) in G with partite sets \(\{u,u'\}\) and T. Observe that if an edge e of G is contained in a hyperedge h of \({{\mathcal {H}}}\), then no other hyperedge of \({{\mathcal {H}}}\) contains e, hence e must be in the copy of \(K_{a,b}\) embedded into h. Let \(v,v'\) be vertices of T. If the four edges \(uv,u'v,uv',u'v'\) are contained in four different hyperedges, those hyperedges form a Berge\(C_4\), a contradiction. Otherwise there is a hyperedge h containing at least three of \(u,u',v,v'\).
Assume first that h contains \(u,u',v\). If there is a vertex \(v''\in T\setminus h\), then \(uv''\) and \(u'v''\) must come from hyperedges \(h',h''\) different from each other and from h because of the linearity, and then \(h,u,h',v'',h'',u'\) form a Berge triangle, a contradiction. If h contains T, then \(u,u'\) are in the same partite set of the \(K_{a,b}\) embedded into h. Then a third vertex \(v''\in T\) is in the same partite set (as T does not fit into the other partite set), but then the edge \(uv''\) cannot be in G, a contradiction.
Assume now that h contains \(u,v,v'\), but not \(u'\). If the edges \(u'v\) and \(u'v'\) are in the same hyperedge \(h'\), that contradicts the linearity. If \(u'v\in h'\) and \(u'v'\in h''\) with \(h'\ne h''\), then \(h,v,h',u',h'',v'\) is a Berge triangle, a contradiction finishing the proof. \(\square\)
By the above proposition, in the case \(2\le s<a\le b<t\), we have that \(\mathrm {ex}(n,K_{a,b},K_{s,t})\) is at least the largest size of an \((a+b)\)uniform hypergraph \({{\mathcal {H}}}\) without Berge cycles of length at most 4. As hyperedges of \({{\mathcal {H}}}\) intersect in at most one vertex, it is easy to see that \({{\mathcal {H}}}\) has \(O(n^2)\) hyperedges, thus this lower bound is often much weaker than the previous ones. In fact, as Berge cycles of length 4 are forbidden, there are \(O(n^{3/2})\) hyperedges in \({{\mathcal {H}}}\) due to a result of Győri and Lemons [17]. Lazebnik and Verstraëte [21] studied runiform hypergraphs without Berge cycles of length at most 4, and proved the bound \(\Omega (n^{4/3})\). Timmons and Verstraëte [28] mention that this can be improved to \(n^{\frac{3}{2}o(1)}\) using a construction of Ruzsa [25], thus we have the same lower bound for \(\mathrm {ex}(n,K_{a,b},K_{s,t})\) if \(2<a\le b<t\). We obtained Theorem 1.6 (iii), which we restate as a corollary.
Corollary 4.2
Let \(2<a\le b<t\). Then \(\mathrm {ex}(n,K_{a,b},K_{s,t})=\Omega (n^{\frac{3}{2}o(1)})\).
In the rest of this section we describe further similar connections to hypergraph Turán problems. However, they do not improve the bounds we have obtained, due to the lack of results on the corresponding hypergraph Turán problems. Furthermore, we relate \(\mathrm {ex}(n,K_{a,b},K_{s,t})\) to the size of some linear hypergraphs, thus we cannot hope for a superquadratic lower bound (recall that our upper bound is \(O(n^s)\)).
Proposition 4.3
Let \(2\le s<a\le b\), \(p\ge s\) and \(t\ge (a+b2)\left( {\begin{array}{c}s\\ 2\end{array}}\right) +(a+b1)^sp\). Let \({{\mathcal {H}}}\) be an \((a+b)\)uniform linear hypergraph that does not contain a Berge\(K_{s,p}\). Let G be a graph obtained by placing an arbitrary \(K_{a,b}\) into every hyperedge of \({{\mathcal {H}}}\). Then G is \(K_{s,t}\)free.
Unfortunately, there are not many results on linear hypergraphs without Berge\(K_{s,p}\). In the case \(s=2\), Timmons [27] showed a construction with \(\Omega (n^{3/2})\) hyperedges for any uniformity (further results were obtained in [13] for uniformity 3). However, this does not improve the bounds obtained using Theorem 1.4.
Proof of Proposition 4.3
Assume there is a copy of \(K_{s,t}\) in G with smaller partite set S and larger partite set T. First we show that the number of vertices of T that are contained in a hyperedge with more than one vertex of S is at most \((a+b2)\left( {\begin{array}{c}s\\ 2\end{array}}\right)\). Indeed, every 2set in S is contained in at most one hyperedge of \({{\mathcal {H}}}\), and that hyperedge contains \(a+b2\) other vertices. Let \(T'\) be an arbitrary set of \((a+b1)^sp\) other vertices in T.
Therefore, there is a \(K_{s,(a+b1)^sp}\) with partite sets S and \(T'\), such that for every vertex of \(T'\), the edges of this \(K_{s,(a+b1)^sp}\) incident with it each come from distinct hyperedges of \({{\mathcal {H}}}\). Consider a \(u\in S\). At most \(a+b1\) vertices of \(T'\) are contained in the same hyperedge together with u. For each hyperedge, we keep only one such vertex, and delete the rest. This way we keep at least \((a+b1)^{s1}p\) vertices from \(T'\). We repeat this for every vertex of S, and at the end there are at least p vertices remaining. Therefore, we obtain a \(K_{s,p}\) where each edge comes from a hyperedge that contains only one vertex from S and only one vertex from T. Those hyperedges form a Berge\(K_{s,p}\), a contradiction. \(\square\)
We remark that the proof shows a bit more: we do not need to forbid every Berge\(K_{s,p}\), only those where in the bijection defining the Berge\(K_{s,p}\), the image of every edge uv contains only u and v from \(V(K_{s,p})\). In other words, we can add additional vertices that are not in V(G) to the edges of G to obtain \({{\mathcal {G}}}\). Equivalently, the trace of a subhypergraph of \({{\mathcal {H}}}\) is exactly a \(K_{s,p}\) on a set of \(s+p\) vertices. Extremal problems for such hypergraphs have been studied, see e.g. [8], but we are not aware of any results in the linear setting.
We can say more at the cost of increasing t (not a big cost, as we did not make any effort to optimize the threshold on t). Let us define a third type of graphbased hypergraph. The runiform expansion \(G^{+r}\) of a graph G is the Berge copy where for two edges e and \(e'\) of G, their images share only the one or zero vertex that e and \(e'\) share. In other words, we can add \(r2\) additional vertices to the edges of G to obtain \({{\mathcal {G}}}\), such that every new vertex is added only to one hyperedge.
Proposition 4.4
Let \(2\le s<a\le b<t\), \(p\ge s\) and \(t\ge (p1)s(s1)(a+b2)^2+(a+b2)\left( {\begin{array}{c}s\\ 2\end{array}}\right) +1\). Let \({{\mathcal {H}}}\) be an \((a+b)\)uniform linear hypergraph that does not contain a \(K_{s,p}^{+(a+b)}\). Let G be a graph obtained by placing an arbitrary \(K_{a,b}\) into every hyperedge of \({{\mathcal {H}}}\). Then G is \(K_{s,t}\)free.
There are several extremal results concerning expansions, see [24] for a survey. However, much less is known in the linear setting.
Proof of Proposition 4.4
Assume there is a copy of \(K_{s,t}\) in G with smaller partite set \(S=\{v_1,\dots ,v_s\}\) and larger partite set T. First we show that the number of vertices of T that are contained in a hyperedge with more than one vertex of S is at most \((a+b2)\left( {\begin{array}{c}s\\ 2\end{array}}\right)\). Indeed, every 2set in S is contained in at most one hyperedge of \({{\mathcal {H}}}\), and that hyperedge contains at most \(a+b\) vertices. Let \(T^1\) be an arbitrary set of \((p1)s(s1)(a+b2)^2+1\) other vertices in T.
Therefore, there is a \(K_{s,(p1)s(s1)(a+b2)^2+1}\) with partite sets S and \(T^1\), such that for every vertex \(u\in T^1\), the edges of this subgraph incident with u each come from distinct hyperedges of \({{\mathcal {H}}}\). Let us pick an arbitrary hyperedge h containing \(v_1\) and a vertex \(u_1\) of \(T^1\) (recall that \(v_1\in S\)). Let w be another vertex of h. By the above, \(w\not \in S\). If \(w\in T^1\), we delete it from \(T^1\). Otherwise, there are at most \(s1\) hyperedges besides h that contain a vertex from S and contain w by the linearity of \({{\mathcal {H}}}\). These \(s1\) hyperedges contain at most \((s1)(a+b2)\) vertices from \(T^1\); we delete those vertices. This way altogether we deleted at most \((s1)(a+b2)^2\) vertices. Then we choose a hyperedge containing \(v_2\) and \(u_1\), and repeat this procedure. After that we repeat it for \(v_3\) and \(u_1\), and so on.
At the end of this we have deleted at most \(s(s1)(a+b2)^2\) vertices of \(T^1\) to obtain \(T^2\). Note that by the above procedure, the s hyperedges containing \(u_1\) and \(v_i\) for \(1\le i\le s\) are such that these hyperedges do not share any vertex with any hyperedge that contains a vertex from S and a vertex from \(T^2\). We pick another hyperedge containing \(v_1\) and a vertex \(u_2\) of \(T^2\) and apply the same procedure, and so on. That is we obtain a subset \(T^3\) of \(T^2\) such that the hyperedges \(h_{i,2}\) containing \(v_i\) and \(u_2\) do not share any vertex with any hyperedge that contains a vertex from S and a vertex from \(T^3\). In general, we pick \(u_j\) and then \(T^{j+1}\subset T^j\) such that that the hyperedges \(h_{i,j}\) containing \(v_i\) and \(u_j\) do not share any vertex with any hyperedge that contains a vertex from S and a vertex from \(T^{j+1}\). As in each iteration, we delete at most \(s(s1)(a+b2)^2\) vertices, after picking \(u_1,\dots , u_{p1}\), we still have a last vertex \(u_p\) to pick.
We are left with a copy K of \(K_{s,p}\) in G, where one of the partite sets is S. Let us denote the other partite set by P. For each edge \(v_iu_j\) of K, if \(1\le j\le p1\) and \(1\le i\le s\), then we picked a hyperedge \(h_{i,j}\) containing \(u_i\) and \(v_j\). If \(i=p\), we pick the hyperedge containing \(u_p\) and \(v_i\) assured by the complete bipartite subgraph of G on S and \(T^1\). We claim that the hypergraph formed by these hyperedges is a \(K_{s,p}^{+(a+b)}\), a contradiction. Indeed, if \(i=i'\) or \(j=j'\), then, by linearity of \({{\mathcal {H}}}\), \(h_{i,j}\cap h_{i',j'}\) consists of \(u_i\) or \(v_j\). Without loss of generality, we can assume \(j<j'\). But then \(T^{j+1}\supseteq T^{j'}\) was chosen such that the hyperedge \(h_{i,j}\) do not share any vertex with any hyperedge that contains a vertex from S and a vertex from \(T^{j+1}\) such as \(h_{i',j'}\). \(\square\)
5 Concluding Remarks
In this paper we studied \(\mathrm {ex}(n,K_{a,b},K_{s,t})\) for different values of the parameters, with varying success. We left wide open the question what happens if \(1<s<a\le b<t\). None of the upper and lower bounds we obtained seems to be close to the value of \(\mathrm {ex}(n,K_{a,b},K_{s,t})\) in this case.
In Sect. 2, Theorem 1.5 (iii) and (v) are stability results for some values of a, b, s, t. Very recently, Livinsky [22] observed that the \(K_{2,t+1}\)free constructions of Füredi do not contain any \(K_{3,3}\). It is not hard to see that the construction with \(t=(1+o(1))n^{1/3}\) contains \((1/2+o(1))\left( {\begin{array}{c}n\\ 3\end{array}}\right) =(1/2+o(1))ex(n,K_{2,3},K_{3,3})\) copies of \(K_{2,3}\) and its structure is very different from that of the extremal graphs.
An obvious next step in future research is to consider complete rpartite graphs. Some of our results can be extended to this setting easily. Let us show one example, a generalization of Theorem 1.5 (i).
Proposition 5.1
Let \(a_1\le \dots \le a_r\) and \(s_1\le \dots \le s_r\). If \(a_1<s_1\) and \(s_i\le a_{i+1}\) for each \(i<r\), then we have \(\mathrm {ex}(n,K_{a_1,\dots ,a_r},K_{s_1,\dots ,s_r})=\Theta (n^{a_2+a_3+\dots +a_r})\).
Proof
The lower bound is given by any complete rpartite graph with one part of size \(s_11\) and \(r1\) parts of linear size. For the upper bound, observe that if we choose in a \(K_{s_1,\ldots ,s_r}\)free graph a copy of the complete \((r1)\)partite graph \(K_{a_2,\ldots ,a_r}\), then its vertices have at most \(s_r1\) common neighbors. Therefore, the number of copies of \(K_{a_1,\ldots ,a_r}\) is at most \(\left( {\begin{array}{c}s_r1\\ a_1\end{array}}\right)\) times the number of copies of \(K_{a_2,\ldots ,a_r}\), which is \(\Theta (n^{a_2+a_3+\cdots +a_r})\), finishing the proof. \(\square\)
However, the cases \(r\ge 3\) can be much more complicated and introduce new phenomena. In particular, let us consider the smallest such pair of graphs, \(K_{1,1,1}=K_3\) and \(K_{1,1,2}\). One would think that this would be an easy problem and difficulties arise only for larger values of the parameters. This is far from the truth. Alon and Shikhelman [1] showed that for any t, \(\mathrm {ex}(n,K_{1,1,1},K_{1,1,t})=o(n^2)\) but \(\mathrm {ex}(n,K_{1,1,1},K_{1,1,t})=n^{2o(1)}\). Moreover, this is a reformulation of the celebrated Ruzsa–Szemerédi 6–3 theorem [26]. Gowers and Janzer [16] generalized this for any r. Let K denote the complete rpartite graph on \(r+1\) vertices, i.e. \(K_{1,1,\ldots ,1,2}\). Then \(\mathrm {ex}(n,K_r,K)=o(n^{r1})\) but \(\mathrm {ex}(n,K_r,K)=n^{r1o(1)}\).
A possible weakening is to forbid a subgraph of \(K_{s,t}\). Gerbner et al. [15] showed \(\mathrm {ex}(n,K_{2,b},C_{2s})=(1+o(1))\left( {\begin{array}{c}s1\\ 2\end{array}}\right) \left( {\begin{array}{c}n\\ b\end{array}}\right) =(1+o(1)){{\mathcal {N}}}(K_{2,b},K_{s1,ns+1})\) (the case \(b=2\) was proved in [14]). This result is implied by Theorem 1.5 (ii) if \(b\ge s\), and is improved to an exact result by Theorem 1.5 (iv) if \(b>s=3\). Similarly, in the cases where the extremal construction is \(K_{s1,ns+1}\), then the bounds we obtained for \(\mathrm {ex}(n,K_{a,b},K_{s,t})\) also hold for \(\mathrm {ex}(n,K_{a,b},F)\) for each bipartite graph F with the property that in any proper twocoloring of F, both color classes have order at least s and at most t.
Availability of Data and Material
No data, no material, yet party!
Code availability
No code, yet party!
Notes
We note that the conditions are incorrectly stated in their paper [1].
References
Alon, N., Shikhelman, C.: Many $T$ copies in $H$free graphs. J. Comb. Theory Ser. B 121, 146–172 (2016)
Alon, N., Rónyai, L., Szabó, T.: Normgraphs: variations and applications. J. Comb. Theory Ser. B 76, 280–290 (1999)
Bayer, T., Mészáros, T., Rónyai, L., Szabó, T.: Exploring projective norm graphs (2019). arXiv preprint arXiv:1908.05190
Brown, W.G.: On graphs that do not contain a Thomsen graph. Can. Math. Bull. 9, 281–285 (1966)
Bukh, B.: Random algebraic construction of extremal graphs. Bull. Lond. Math. Soc. 47(6), 939–945 (2015)
Füredi, Z.: New asymptotics for bipartite Turán numbers. J. Comb. Theory Ser. A 75, 141–144 (1996)
Füredi, Z.: An upper bound on Zarankiewicz problem. Comb. Probab. Comput. 5(1), 29–33 (1996)
Füredi, Z., Luo, R.: Induced Turán problems and traces of hypergraphs (2020). arXiv preprint arXiv:2002.07350
Gerbner, D.: Generalized Turán problems for small graphs (2020). arXiv preprint arXiv:2006.16150
Gerbner, D., Palmer, C.: Extremal results for Berge hypergraphs. SIAM J. Discret. Math. 314, 2314–2327 (2017)
Gerbner, D., Palmer, C.: Counting copies of a fixed subgraph of $F$free graphs. Eur. J. Math. 82, 103001 (2019)
Gerbner, D., Methuku, A., Vizer, M.: Generalized Turán problems for disjoint copies of graphs. Discret. Math. 342(11), 3130–3141 (2019)
Gerbner, D., Methuku, A., Vizer, M.: Asymptotics for the Turán number of Berge$ K_{2, t}$. J. Comb. Theory Ser. B 137, 264–290 (2019)
Gerbner, D., Győri, E., Methuku, A., Vizer, M.: Generalized Turán numbers for even cycles. J. Comb. Theory Ser. B 145, 169–213 (2020)
Gerbner, D., Nagy, Z. L., Vizer, M.: Unified approach to the generalized Turán problem and supersaturation (2020). arXiv preprint arXiv:2008.12093
Gowers, W.T., Janzer, B.: Generalizations of the RuzsaSzemerédi and rainbow Turán problems for cliques (2020). arXiv preprint arXiv:2003.02754
Győri, E., Lemons, N.: Hypergraphs with no cycle of a given length. Comb. Probab. Comput. 21, 193–201 (2012)
Győri, E., Pach, J., Simonovits, M.: On the maximal number of certain subgraphs in $K_r$free graphs. Graphs Comb. 7(1), 31–37 (1991)
Kollár, J., Rónyai, L., Szabó, T.: Normgraphs and bipartite Turán numbers. Combinatorica 16, 399–406 (1996)
Kővári, P., Sós, V.T., Turán, P.: On a problem of Zarankiewicz. Colloq. Math. 33, 50–57 (1954)
Lazebnik, F., Verstraëte, J.: On hypergraphs of girth five. Electron. J. Combin. 10, R25 (2003)
Livinsky, I.: A construction for bipartite Turán numbers. arXiv preprint arXiv:2101.06726
Ma, J., Yuan, X., Zhang, M.: Some extremal results on complete degenerate hypergraphs. J. Comb. Theory Ser. A 154, 598–609 (2018)
Mubayi, D., Verstraëte, J.: A survey of Turán problems for expansions. In: Recent Trends in Combinatorics. Springer, Berlin, pp. 117–143 (2016)
Ruzsa, I.Z.: Solving a linear equation in a set of integers I. Acta Arith. 65, 259–282 (1993)
Ruzsa, I.Z., Szemerédi, E.: Triple systems with no six points carrying three triangles. Combinatorics (Keszthely, 1976). Coll. Math. Soc. J. Bolyai, 18, 939–945 (1978)
Timmons, C.: On $ r $Uniform Linear Hypergraphs with no Berge$ K_{2, t} $. Electron. J. Comb. 24(4), 4–34 (2017)
Timmons, C., Verstraëte, J.: A counterexample to sparse removal. Eur. J. Comb. 44, 77–86 (2015)
Zhang, T., Ge, G.: (2019). Some extremal results on $K_{s,t}$free graphs. arXiv preprint arXiv:1903.03233
Zykov, A.A.: On some properties of linear complexes. Mat. Sbornik 66(2), 163–188 (1949)
Funding
Open access funding provided by ELKH Alfréd Rényi Institute of Mathematics. Research supported by the National Research, Development and Innovation Office—NKFIH under the Grants KH 130371, SNN 129364, FK 132060, and KKP133819.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gerbner, D., Patkós, B. Generalized Turán Problems for Complete Bipartite Graphs. Graphs and Combinatorics 38, 164 (2022). https://doi.org/10.1007/s00373022025703
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00373022025703