arXiv++ Combinatorics

Motivated by a Gan-Loh-Sudakov-type problem, we introduce the regular Turán numbers, a natural variation on the classical Turán numbers for which the host graph is required to be regular. Among other results, we prove a striking supersaturation version of Mantel's theorem in the case of a regular host graph of odd order. We also characterise the graphs for which the regular Turán numbers behave classically or otherwise.

We study the Turán number of long cycles in random graphs and in pseudo-random graphs. Denote by $ex(G(n,p),H)$ the random variable counting the number of edges in a largest subgraph of $G(n,p)$ without a copy of $H$. We determine the asymptotic value of $ex(G(n,p), C_t)$ where $C_t$ is a cycle of length $t$, for $p\geq \frac Cn$ and $A \log n \leq t \leq (1 - \varepsilon)n$. The typical behavior of $ex(G(n,p), C_t)$ depends substantially on the parity of $t$. In particular, our results match the classical result of Woodall on the Turán number of long cycles, and can be seen as its random version, showing that the transference principle holds here as well. In fact, our techniques apply in a more general sparse pseudo-random setting. We also prove a robustness-type result, showing the likely existence of cycles of prescribed lengths in a random subgraph of a graph with a nearly optimal density.

A fundamental barrier in extremal hypergraph theory is the presence of many near-extremal constructions with very different structures. Indeed, the classical constructions due to Kostochka imply that the notorious extremal problem for the tetrahedron exhibits this phenomenon assuming Turán's conjecture. Our main result is to construct a finite family of triple systems $\mathcal{M}$, determine its Turán number, and prove that there are two near-extremal $\mathcal{M}$-free constructions that are far from each other in edit-distance. This is the first extremal result for a hypergraph family that fails to have a corresponding stability theorem.

Alon and Shikhelman initiated the systematic study of the following generalized Turán problem: for fixed graphs $H$ and $F$ and an integer $n$, what is the maximum number of copies of $H$ in an $n$-vertex $F$-free graph? An edge-colored graph is called rainbow if all its edges have different colors. The rainbow Turán number of $F$ is defined as the maximum number of edges in a properly edge-colored graph on $n$ vertices with no rainbow copy of $F$. The study of rainbow Turán problems was initiated by Keevash, Mubayi, Sudakov and Verstraëte. Motivated by the above problems, we study the following problem: What is the maximum number of copies of $F$ in a properly edge-colored graph on $n$ vertices without a rainbow copy of $F$? We establish several results, including when $F$ is a path, cycle or tree.

The regular Turán number of a graph $F$, denoted by rex$(n,F)$, is the largest number of edges in a regular graph $G$ of order $n$ such that $G$ does not contain subgraphs isomorphic to $F$. Giving a partial answer to a recent problem raised by Gerbner et al. [arXiv:1909.04980] we prove that rex$(n,F)$ asymptotically equals the (classical) Turán number whenever the chromatic number of $F$ is at least four; but it is substantially different for some 3-chromatic graphs $F$ if $n$ is odd.

The extremal number of a graph $H$, denoted by $\mbox{ex}(n,H)$, is the maximum number of edges in a graph on $n$ vertices that does not contain $H$. The celebrated Kővári-Sós-Turán theorem says that for a complete bipartite graph with parts of size $t\leq s$ the extremal number is $\mbox{ex}(K_{s,t})=O(n^{2-1/t})$. It is also known that this bound is sharp if $s>(t-1)!$. In this paper, we prove that if $H$ is a bipartite graph such that all vertices in one of its parts have degree at most $t$, but $H$ contains no copy of $K_{t,t}$, then $\mbox{ex}(n,H)=o(n^{2-1/t})$. This verifies a conjecture of Conlon, Janzer and Lee.

A subgraph $H$ of $G$ is \textit{singular} if the vertices of $H$ either have the same degree in $G$ or have pairwise distinct degrees in $G$. The largest number of edges of a graph on $n$ vertices that does not contain a singular copy of $H$ is denoted by $T_S(n,H)$. Caro and Tuza [Theory and Applications of Graphs, 6 (2019), 1--32] obtained the asymptotics of $T_S(n,H)$ for every graph $H$, but determined the exact value of this function only in the case $H=K_3$ and $n\equiv 2$ (mod 4). We determine $T_S(n,K_3)$ for all $n\equiv 0$ (mod 4) and $n\equiv 1$ (mod 4), and also $T_S(n,K_{r+1})$ for large enough $n$ that is divisible by $r$. We also explore the connection to the so-called $H$-WORM colorings (colorings without rainbow or monochromatic copies of $H$) and obtain new results regarding the largest number of edges that a graph with an $H$-WORM coloring can have.

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}$.

We demonstrate a close connection between the classic planar Singer difference sets and certain norm equation systems arising from projective norm graphs. This, on the one hand leads to a novel description of planar Singer difference sets as a subset $\mathcal{H}$ of $\mathcal{N}$, the group of elements of norm 1 in the field extension $\mathbb{F}_{q^3}/\mathbb{F}_q$. $\mathcal{H}$ is given as the solution set of a simple polynomial equation, and we obtain an explicit formula expressing each non-identity element of $\mathcal{N}$ as a product $B\cdot C^{-1}$ with $B, C\in \mathcal{H}$. The description and the definitions naturally carry over to the nonplanar and the infinite setting. On the other hand, relying heavily on the difference set properties, we also complete the proof that the projective norm graph $\text{NG}(q,4)$ does contain the complete bipartite graph $K_{4,6}$ for every prime power $q \geq 5$. This complements the property, known for more than two decades, that projective norm graphs do not contain $K_{4,7}$ (and hence provide tight lower bounds for the Turán number $ex(n,K_{4,7})$).

The projective norm graphs $\text{NG}(q,t)$ provide tight constructions for the Turán number of complete bipartite graphs $K_{t,s}$ with $s>(t-1)!$. In this paper we determine their automorphism group and explore their small subgraphs. To this end we give quite precise estimates on the number of solutions of certain equation systems involving norms over finite fields. The determination of the largest integer $s_t$, such that the projective norm graph $\text{NG}(q,t)$ contains $K_{t,s_t}$ for all large enough prime powers $q$ is an important open question with far-reaching general consequences. The best known bounds, $t-1\leq s_t \leq (t-1)!$, are far apart for $t\geq 4$. Here we prove that $\text{NG}(q,4)$ does contain (many) $K_{4,6}$ for any prime power $q$ not divisble by $2$ or $3$. This greatly extends recent work of Grosu, using a completely different approach. Along the way we also count the copies of any fixed $3$-degenerate subgraph, and find that projective norm graphs are quasirandom with respect to this parameter. Some of these results also extend the work of Alon and Shikhelman on generalized Turán numbers. Finally we also give a new, more elementary proof for the $K_{4,7}$-freeness of $\text{NG}(q,4)$.

A zero-one matrix $M$ contains a zero-one matrix $A$ if one can delete some rows and columns of $M$, and turn some 1-entries into 0-entries such that the resulting matrix is $A$. The extremal number of $A$, denoted by $ex(n,A)$, is the maximum number of $1$-entries in an $n\times n$ sized matrix $M$ that does not contain $A$. A matrix $A$ is column-$t$-partite (or row-$t$-partite), if it can be cut along the columns (or rows) into $t$ submatrices such that every row (or column) of these submatrices contains at most one $1$-entry. We prove that if $A$ is column-$t$-partite, then $ex(n,A)<n^{2-\frac{1}{t}+\frac{1}{2t^{2}}+o(1)}$, and if $A$ is both column- and row-$t$-partite, then $ex(n,A)<n^{2-\frac{1}{t}+o(1)}$. Our proof combines a novel density-increment-type argument with the celebrated dependent random choice method. Results about the extremal numbers of zero-one matrices translate into results about the Turán numbers of bipartite ordered graphs. In particular, a zero-one matrix with at most $t$ 1-entries in each row corresponds to a bipartite ordered graph with maximum degree $t$ in one of its vertex classes. Our results are partially motivated by a well known result of Füredi (1991) and Alon, Krivelevich, Sudakov (2003) stating that if $H$ is a bipartite graph with maximum degree $t$ in one of the vertex classes, then $ex(n,H)=O(n^{2-\frac{1}{t}})$. The aim of the present paper is to establish similar general results about the extremal numbers of ordered graphs.

Given a graph $H$ and an integer $p$, the {\it edge blow-up} of $H$, denoted as $H^{p+1}$, is the graph obtained from replacing each edge in $H$ by a clique of size $p+1$ where the new vertices of the cliques are all different. The Turán numbers for edge blow-up of matchings were first studied by Erdős and Moon. In this paper, we determine the Turán numbers for edge blow-up of general graphs.

Given a graph $H$ and a positive integer $n$, the {\it Turán number} $\ex(n,H)$ is the maximum number of edges in an $n$-vertex graph that does not contain $H$ as a subgraph. A real number $r\in(1,2)$ is called a {\it Turán exponent} if there exists a bipartite graph $H$ such that $\ex(n,H)=Θ(n^r)$. A long-standing conjecture of Erdős and Simonovits states that $1+\frac{p}{q}$ is a Turán exponent for all positive integers $p$ and $q$ with $q> p$. In this paper, we build on recent developments on the conjecture to establish a large family of new Turán exponents. In particular, it follows from our main result that $1+\frac{p}{q}$ is a Turán exponent for all positive integers $p$ and $q$ with $q> p^2$.

Recently, Berge theta hypergraphs have received special attention due to the similarity with Berge even cycles. Let $r$-uniform Berge theta hypergraph $Θ_{\ell,t}^{B}$ be the $r$-uniform hypergraph consisting of $t$ internally disjoint Berge paths of length $\ell$ with the same pair of endpoints. In this work, we determine the Turán number of $3$-uniform Berge theta hypergraph when $\ell=3$ and $t$ is relatively small. More precisely, we provide an explicit construction giving \begin{align*} \textup{ex}_{3}(n,Θ_{3,217}^{B})=Ω(n^{\frac{4}{3}}). \end{align*} This matches an earlier upper bound by He and Tait up to an absolute constant factor. The construction is algebraic, which is based on some equations over finite fields, and the parameter $t$ in our construction is much smaller than that in random algebraic construction. Our main technique is using the resultant of polynomials, which appears to be a powerful technique to eliminate variables.

Recently, several hypergraph Turán problems were solved by the powerful random algebraic method. However, the random algebraic method usually requires some parameters to be very large, hence we are concerned about how these Turán numbers depend on such large parameters of the forbidden hypergraphs. In this paper, we determine the dependence on such specified large constant for several hypergraph Turán problems. More specifically, for complete $r$-partite $r$-uniform hypergraphs, we show that if $s_{r}$ is sufficiently larger than $s_{1},s_{2},\ldots,s_{r-1},$ then $$\textup{ex}_{r}(n,K_{s_{1},s_{2},\ldots,s_{r}}^{(r)})=Θ(s_{r}^{\frac{1}{s_{1}s_{2}\cdots s_{r-1}}}n^{r-\frac{1}{s_{1}s_{2}\cdots s_{r-1}}}).$$ For complete bipartite $r$-uniform hypergraphs, we prove that if $s$ is sufficiently larger than $t,$ we have $$\textup{ex}_{r}(n,K_{s,t}^{(r)})=Θ(s^{\frac{1}{t}}n^{r-\frac{1}{t}}).$$ In particular, our results imply that the famous Kővári--Sós--Turán's upper bound $\textup{ex}(n,K_{s,t})=O(t^{\frac{1}{s}}n^{2-\frac{1}{s}})$ has the correct dependence on large $t$. The main approach is to construct random multi-hypergraph via a variant of random algebraic method.

The generalized Turán number ${\rm ex}(G,H)$ is the maximum number of edges in an $H$-free subgraph of a graph $G.$ It is an important extension of the classical Turán number ${\rm ex}(n,H)$, which is the maximum number of edges in a graph with $n$ vertices that does not contain $H$ as a subgraph. In this paper, we consider the maximum number of edges in an even-cycle-free subgraph of the doubled Johnson graphs $J(n;k,k+1)$, which are bipartite subgraphs of hypercube graphs. We give an upper bound for ${\rm ex}(J(n;k,k+1),C_{2r})$ with any fixed $k\in\mathbb{Z}^+$ and any $n\in\mathbb{Z}^+$ with $n\geq 2k+1.$ We also give an upper bound for ${\rm ex}(J(2k+1;k,k+1),C_{2r})$ with any $k\in\mathbb{Z}^+,$ where $J(2k+1;k,k+1)$ is known as doubled Odd graph $\widetilde{O}_{k+1}.$ This bound induces that the number of edges in any $C_{2r}$-free subgraph of $\widetilde{O}_{k+1}$ is $o(e(\widetilde{O}_{k+1}))$ for $r\geq 6,$ which also implies a Ramsey-type result.

We prove Turán-type theorems for two related Ramsey problems raised by Bollobás and by Fox and Sudakov. First, for $t \ge 3$, we show that any two-colouring of the complete graph on $n$ vertices that is $δ$-far from being monochromatic contains an \emph{unavoidable $t$-colouring} when $δ\gg n^{-1/t}$, where an unavoidable $t$-colouring is any two-colouring of a clique of order $2t$ in which one colour forms either a clique of order $t$ or two disjoint cliques of order $t$. Next, for $ t\ge 3$, we show that any tournament on $n$ vertices that is $δ$-far from being transitive contains an \emph{unavoidable $t$-tournament} when $δ\gg n^{-1/\lceil t/2 \rceil}$, where an unavoidable $t$-tournament is the blow-up of a cyclic triangle obtained by replacing each vertex of the triangle by a transitive tournament of order $t$. Conditional on a well-known conjecture about bipartite Turán numbers, both results are sharp up to implied constants and hence determine the order of magnitude of the corresponding off-diagonal Ramsey numbers.

Let $k\ge 2$ and $n_1\ge n_2\ge n_3\ge n_4$ be integers such that $n_4$ is sufficiently larger than $k$. We determine the maximum number of edges of a 4-partite graph with parts of sizes $n_1,\dots, n_4$ that does not contain $k$ vertex-disjoint triangles. For any $r> t\ge 3$, we give a conjecture on the maximum number of edges of an $r$-partite graph that does not contain $k$ vertex-disjoint cliques $K_t$.

Given a graph $H$, the Turán number $ex(n,H)$ is the largest number of edges in an $H$-free graph on $n$ vertices. We make progress on a recent conjecture of Conlon, Janzer, and Lee on the Turán numbers of bipartite graphs, which in turn yields further progress on a conjecture of Erdős and Simonovits. Let $s,t,k\geq 2$ be integers. Let $K_{s,t}^k$ denote the graph obtained from the complete bipartite graph $K_{s,t}$ by replacing each edge $uv$ in it with a path of length $k$ between $u$ and $v$ such that the $st$ replacing paths are internally disjoint. It follows from a general theorem of Bukh and Conlon that $ex(n,K_{s,t}^k)=Ω(n^{1+\frac{1}{k}-\frac{1}{sk}})$. Conlon, Janzer, and Lee recently conjectured that for any integers $s,t,k\geq 2$, $ex(n,K_{s,t}^k)=O(n^{1+\frac{1}{k}-\frac{1}{sk}})$. Among many other things, they settled the $k=2$ case of their conjecture. As the main result of this paper, we prove their conjecture for $k=3,4$. Our main results also yield infinitely many new so-called Turán exponents: rationals $r\in (1,2)$ for which there exists a bipartite graph $H$ with $ex(n, H)=Θ(n^r)$, adding to the lists recently obtained by Jiang, Ma, Yepremyan, by Kang, Kim, Liu, and by Conlon, Janzer, Lee. Our method builds on an extension of the Conlon-Janzer-Lee method. We also note that the extended method also gives a weaker version of the Conlon-Janzer-Lee conjecture for all $k\geq 2$.

For two $r$-graphs $\mathcal{T}$ and $\mathcal{H}$, let $\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$ be the maximum number of copies of $\mathcal{T}$ in an $n$-vertex $\mathcal{H}$-free $r$-graph. The determination of Turán number $\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$ has become the fundamental core problem in extremal graph theory ever since the pioneering work Turán's Theorem was published in $1941$. Although we have some rich results for the simple graph case, only sporadic results have been known for the hypergraph Turán problems. In this paper, we mainly focus on the function $\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$ when $\mathcal{H}$ is one of two different hypergraph extensions of the complete bipartite graph $K_{s,t}$. The first extension is the complete bipartite $r$-graph $K_{s,t}^{(r)}$, which was introduced by Mubayi and Verstraëte~[J. Combin. Theory Ser. A, 106: 237--253, 2004]. Using the powerful random algebraic method, we show that if $s$ is sufficiently larger than $t$, then \[\text{ex}_{r}(n,\mathcal{T},K_{s,t}^{(r)})=Ω(n^{v-\frac{e}{t}}),\] where $\mathcal{T}$ is an $r$-graph with $v$ vertices and $e$ edges. In particular, when $\mathcal{T}$ is an edge or some specified complete bipartite $r$-graph, we can determine their asymptotics. The second important extension is the complete $r$-partite $r$-graph $K_{s_{1},s_{2},\ldots,s_{r}}^{(r)}$, which has been widely studied. When $r=3$, we provide an explicit construction giving \[\text{ex}_{3}(n,K_{2,2,7}^{(3)})\geqslant\frac{1}{27}n^{\frac{19}{7}}+o(n^{\frac{19}{7}}).\] Our construction is based on the Norm graph, and improves the lower bound $Ω(n^{\frac{73}{27}})$ obtained by probabilistic method.