arXiv++ Combinatorics

Given two $k$-graphs ($k$-uniform hypergraphs) $F$ and $H$, a perfect $F$-tiling (or an $F$-factor) in $H$ is a set of vertex disjoint copies of $F$ that together cover the vertex set of $H$. For all complete $k$-partite $k$-graphs $K$, Mycroft proved a minimum codegree condition that guarantees a $K$-factor in an $n$-vertex $k$-graph, which is tight up to an error term $o(n)$. In this paper we improve the error term in Mycroft's result to a sub-linear term that relates to the Turán number of $K$ when the differences of the sizes of the vertex classes of $K$ are co-prime. Furthermore, we find a construction which shows that our improved codegree condition is asymptotically tight in infinitely many cases thus disproving a conjecture of Mycroft. At last, we determine exact minimum codegree conditions for tiling $K^{(k)}(1, \dots, 1, 2)$ and tiling loose cycles thus generalizing results of Czygrinow, DeBiasio, and Nagle, and of Czygrinow, respectively.

The Turán number of a graph $H$, $ex(n,H)$, is the maximum number of edges in any graph of order $n$ which does not contain $H$ as a subgraph. Lidický, Liu and Palmer determined $ex(n, F_m)$ for $n$ sufficiently large and proved that the extremal graph is unique, where $F_m$ is disjoint paths of $P_{k_1}, \ldots, P_{k_m}$ [Lidický,B., Liu,H. and Palmer,C. (2013). On the Turán number of forests. Electron. J. Combin. 20(2) Paper 62, 13 pp]. In this paper, by mean of a different approach, we determine $ex(n, F_m)$ for all integers $n$ with minor conditions, which extends their partial results. Furthermore, we partly confirm the conjecture proposed by Bushaw and Kettle for $ex(n, k\cdot P_l)$ [Bushaw,N. and Kttle,N. (2011) Turán numbers of multiple paths and equibipartite forests. Combin. Probab. Comput. 20 837-853]. Moreover, we show that there exist two family graphs $F_m$ and $F_m^{\prime}$ such that $ex(n, F_m)=ex(n, F_m^{\prime})$ for all integers $n$, which is related to an old problem of Erdős and Simonovits.

The classical Kővári-Sós-Turán theorem states that if $G$ is an $n$-vertex graph with no copy of $K_{s,t}$ as a subgraph, then the number of edges in $G$ is at most $O(n^{2-1/s})$. We prove that if one forbids $K_{s,t}$ as an induced/ subgraph, and also forbids any/ fixed graph $H$ as a (not necessarily induced) subgraph, the same asymptotic upper bound still holds, with different constant factors. This introduces a nontrivial angle from which to generalize Turán theory to induced forbidden subgraphs, which this paper explores. Along the way, we derive a nontrivial upper bound on the number of cliques of fixed order in a $K_r$-free graph with no induced copy of $K_{s,t}$. This result is an induced analog of a recent theorem of Alon and Shikhelman and is of independent interest.

An extremal graph for a given graph $H$ is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $s,t$ be integers and let $H_{s,t}$ be a graph consisting of $s$ triangles and $t$ cycles of odd lengths at least 5 which intersect in exactly one common vertex. Erdős et al. (1995) determined the extremal graphs for $H_{s,0}$. Recently, Hou et al. (2016) determined the extremal graphs for $H_{0,t}$, where the $t$ cycles have the same odd length $q$ with $q\ge 5$. In this paper, we further determine the extremal graphs for $H_{s,t}$ with $s\ge 0$ and $t\ge 1$. Let $φ(n,H)$ be the largest integer such that, for all graphs $G$ on $n$ vertices, the edge set $E(G)$ can be partitioned into at most $φ(n, H)$ parts, of which every part either is a single edge or forms a graph isomorphic to $H$. Pikhurko and Sousa conjectured that $φ(n,H)=\ex(n,H)$ for $χ(H)\geqs3$ and all sufficiently large $n$. Liu and Sousa (2015) verified the conjecture for $H_{s,0}$. In this paper, we further verify Pikhurko and Sousa's conjecture for $H_{s,t}$ with $s\ge 0$ and $t\ge 1$.

For two graphs $G$ and $H$, the Turán number $ex(G,H)$ is the maximum number of edges in a subgraph of $G$ that contains no copy of $H$. Chen, Li, and Tu determined the Turán numbers $ex(K_{m,n},kK_2)$ for all $k\geq 1$ [7]. In this paper we will determine the Turán numbers $ex(K_{a_1,\ldots,a_r},kK_r)$ for all $r\geq 3$ and $k\geq 1$.

Given a positive integer $n$ and an $r$-uniform hypergraph (or $r$-graph for short) $F$, the Turan number $ex(n,F)$ of $F$ is the maximum number of edges in an $r$-graph on $n$ vertices that does not contain $F$ as a subgraph. The extension $H^F $ of $F$ is obtained as follows: For each pair of vertices $v_i,v_j$ in $F$ not contained in an edge of $F$, we add a set $B_{ij}$ of $r-2$ new vertices and the edge $\{v_i,v_j\} \cup B_{ij}$, where the $B_{ij}$ 's are pairwise disjoint over all such pairs $\{i,j\}$. Let $K^r_p$ denote the complete $r$-graph on $p$ vertices. For all sufficiently large $n$, we determine the Turan numbers of the extensions of a $3$-uniform $t$-matching, a $3$-uniform linear star of size $t$, and a $4$-uniform linear star of size $t$, respectively. We also show that the unique extremal hypergraphs are balanced blowups of $K^3_{3t-1}, K^3_{2t}$, and $K^4_{3t}$, respectively. Our results generalize the recent result of Hefetz and Keevash [7].

In this paper, we develop a method for studying cycle lengths in hypergraphs. Our method is built on earlier ones used in [21,22,18]. However, instead of utilizing the well-known lemma of Bondy and Simonovits [4] that most existing methods do, we develop a new and very simple lemma in its place. One useful feature of the new lemma is its adaptiveness for the hypergraph setting. Using this new method, we prove a conjecture of Verstraëte [37] that for $r\ge 3$, every $r$-uniform hypergraph with average degree $Ω(k^{r-1})$ contains Berge cycles of $k$ consecutive lengths. This is sharp up to the constant factor. As a key step and a result of independent interest, we prove that every $r$-uniform linear hypergraph with average degree at least $7r(k+1)$ contains Berge cycles of $k$ consecutive lengths. In both of these results, we have additional control on the lengths of the cycles, which therefore also gives us bounds on the Turán numbers of Berge cycles (for even and odd cycles simultaneously). In relation to our main results, we obtain further improvements on the Turán numbers of Berge cycles and the Zarankiewicz numbers of even cycles. We will also discuss some potential further applications of our method.

For a fixed graph $F$, we would like to determine the maximum number of edges in a properly edge-colored graph on $n$ vertices which does not contain a {\emph rainbow copy} of $F$, that is, a copy of $F$ all of whose edges receive a different color. This maximum, denoted by $ex^*(n,F)$, is the {\emph rainbow Turán number} of $F$, and its systematic study was initiated by Keevash, Mubayi, Sudakov and Verstraëte in 2007. We determine $ex^*(n,F)$ exactly when $F$ is a forest of stars, and give bounds on $ex^*(n,F)$ when $F$ is a path with $k$ edges, disproving a conjecture in Keevash et al.

We reach beyond the celebrated theorems of Erdős-Ko-Rado and Hilton-Milner, and, a recent theorem of Han-Kohayakawa, and determine all maximal intersecting triples systems. It turns out that for each $n\ge7$ there are exactly 15 pairwise non-isomorphic such systems (and 13 for $n=6$). We present our result in terms of a hierarchy of Turán numbers $\ex^{(s)}(n, M_2^{3})$, $s\ge1$, where $M_2^{3}$ is a pair of disjoint triples. Moreover, owing to our unified approach, we provide short proofs of the above mentioned results (for triple systems only). The triangle $C_3$ is defined as $C_3=\{\{x_1,y_3,x_2\},\{x_1,y_2,x_3\}, \{x_2,y_1,x_3\}\}$. Along the way we show that the largest intersecting triple system $H$ on $n\ge6$ vertices, which is not a star and is triangle-free, consists of $\max\{10,n\}$ triples. This facilitates our main proof's philosophy which is to assume that $H$ contains a copy of the triangle and analyze how the remaining edges of $H$ intersect that copy.

Burr and Erdős conjectured that for each $k,\ell \in \mathbb Z^+$ such that $k \mathbb Z + \ell$ contains even integers, there exists $c_k(\ell)$ such that any graph of average degree at least $c_k(\ell)$ contains a cycle of length $\ell$ mod $k$. This conjecture was proved by Bollobás, and many successive improvements of upper bounds on $c_k(\ell)$ appear in the literature. In this short note, for $1 \leq \ell \leq k$, we show that $c_k(\ell)$ is proportional to the largest average degree of a $C_{\ell}$-free graph on $k$ vertices, which determines $c_k(\ell)$ up to an absolute constant. In particular, using known results on Turán numbers for even cycles, we obtain $c_k(\ell) = O(\ell k^{2/\ell})$ for all even $\ell$, which is tight for $\ell \in \{4,6,10\}$. Since the complete bipartite graph $K_{\ell - 1,n - \ell + 1}$ has no cycle of length $2\ell$ mod $k$, it also shows $c_k(\ell) = Θ(\ell)$ for $\ell = Ω(\log k)$.

Let $H$ be a fixed graph. Denote $f(n,H)$ to be the maximum number of edges not contained in any monochromatic copy of $H$ in a 2-edge-coloring of the complete graph $K_n$, and $ex(n,H)$ to be the {\it Turán number} of $H$. An easy lower bound shows $f(n,H)\ge ex(n,H)$ for any $H$ and $n$. In \cite{KS2}, Keevash and Sudakov proved that if $H$ is an edge-color-critical graph or $C_4$, then $f(n,H)= ex(n,H)$ holds for large $n$, and they asked if this equality holds for any graph $H$ when $n$ is sufficiently large. In this paper, we provide an affirmative answer to this problem for an abundant infinite family of bipartite graphs $H$, including all even cycles and complete bipartite graphs $K_{s,t}$ for $t>s^2-3s+3$ or $(s,t)\in\{(3,3),(4,7)\}$. In addition, our proof shows that for all such $H$, the 2-edge-coloring $c$ of $K_n$ achieves the maximum number $f(n,H)$ if and only if one of the color classes in $c$ induces an extremal graph for $ex(n,H)$. We also obtain a multi-coloring generalization for bipartite graphs. Some related problems are discussed in the final section.

Let $P$ denote a 3-uniform hypergraph consisting of 7 vertices $a,b,c,d,e,f,g$ and 3 edges $\{a,b,c\}, \{c,d,e\},$ and $\{e,f,g\}$. It is known that the $r$-color Ramsey number for $P$ is $R(P;r)=r+6$ for $r\le 9$. The proof of this result relies on a careful analysis of the Turán numbers for $P$. In this paper, we refine this analysis further and compute the fifth order Turán number for $P$, for all $n$. Using this number for $n=16$, we confirm the formula $R(P;10)=16$.

The Turán number of a graph $H$, $ex(n,H)$, is the maximum number of edges in a simple graph of order $n$ which does not contain $H$ as a subgraph. Let $k\cdot P_3$ denote $k$ disjoint copies of a path on $3$ vertices. In this paper, we determine the value $ex(n, k\cdot P_3)$ and characterize all extremal graphs. This extends a result of Bushaw and Kettle [N. Bushaw and N. Kettle, Turán Numbers of multiple and equibipartite forests, Combin. Probab. Comput., 20(2011) 837-853.], which solved the conjecture proposed by Gorgol in [I. Gorgol. Turán numbers for disjoint copies of graphs. {\it Graphs Combin.}, 27 (2011) 661-667.].

Let $P$ denote a 3-uniform hypergraph consisting of 7 vertices $a,b,c,d,e,f,g$ and 3 edges $\{a,b,c\}, \{c,d,e\},$ and $\{e,f,g\}$. It is known that the $r$-color Ramsey number for $P$ is $R(P;r)=r+6$ for $r\le 7$. The proof of this result relies on a careful analysis of the Turán numbers for $P$. In this paper, we refine this analysis further and compute, for all $n$, the third and fourth order Turán numbers for $P$. With the help of the former, we confirm the formula $R(P;r)=r+6$ for $r\in\{8,9\}$.

The extension of an $r$-uniform hypergraph $G$ is obtained from it by adding for every pair of vertices of $G$, which is not covered by an edge in $G$, an extra edge containing this pair and $r-2$ new vertices. Keevash and Sidorenko~ have previously determined Turán densities of two families of hypergraph extensions. We determine the Turán numbers for these families, using classical stability techniques and new tools introduced in our earlier paper.

Given a family of $r$-uniform hypergraphs ${\cal F}$ (or $r$-graphs for brevity), the Turán number $ex(n,{\cal F})$ of ${\cal F}$ is the maximum number of edges in an $r$-graph on $n$ vertices that does not contain any member of ${\cal F}$. A pair $\{u,v\}$ is covered in a hypergraph $G$ if some edge of $G$ contains $\{u,v\}$. Given an $r$-graph $F$ and a positive integer $p\geq n(F)$, let $H^F_p$ denote the $r$-graph obtained as follows. Label the vertices of $F$ as $v_1,\ldots, v_{n(F)}$. Add new vertices $v_{n(F)+1},\ldots, v_p$. For each pair of vertices $v_i,v_j$ not covered in $F$, add a set $B_{i,j}$ of $r-2$ new vertices and the edge $\{v_i,v_j\}\cup B_{i,j}$, where the $B_{i,j}$'s are pairwise disjoint over all such pairs $\{i,j\}$. We call $H^F_p$ the expanded $p$-clique with an embedded $F$. For a relatively large family of $F$, we show that for all sufficiently large $n$, $ex(n,H^F_p)=|T_r(n,p-1)|$, where $T_r(n,p-1)$ is the balanced complete $(p-1)$-partite $r$-graph on $n$ vertices. We also establish structural stability of near extremal graphs. Our results generalize or strengthen several earlier results and provide a class of hypergraphs for which the Turán number is exactly determined (for large $n$).

In an earlier paper, the present authors (2013) introduced the altermatic number of graphs and used Tucker's Lemma, an equivalent combinatorial version of the Borsuk-Ulam Theorem, to show that the altermatic number is a lower bound for the chromatic number. A matching graph has the set of all matchings of a specified size of a graph as vertex set and two vertices are adjacent if the corresponding matchings are edge-disjoint. It is known that the Kneser graphs, the Schrijver graphs, and the permutation graphs can be represented by matching graphs. In this paper, as a generalization of the well-known result of Schrijver about the chromatic number of Schrijver graphs, we determine the chromatic number of a large family of matching graphs by specifying their altermatic number. In particular, we determine the chromatic number of these matching graphs in terms of the generalized Turan number of matchings.

Let $P$ denote a 3-uniform hypergraph consisting of 7 vertices $a,b,c,d,e,f,g$ and 3 edges $\{a,b,c\}, \{c,d,e\},$ and $\{e,f,g\}$. It is known that the $r$-colored Ramsey number for $P$ is $R(P;r)=r+6$ for $r=2,3$, and that $R(P;r)\le 3r$ for all $r\ge3$. The latter result follows by a standard application of the Turán number $ex_3(n;P)$, which was determined to be $\binom{n-1}2$ in our previous work. We have also shown that the full star is the only extremal 3-graph for $P$. In this paper, we perform a subtle analysis of the Turán numbers for $P$ under some additional restrictions. Most importantly, we determine the largest number of edges in an $n$-vertex $P$-free 3-graph which is not a star. These Turán type results, in turn, allow us to confirm the formula $R(P;r)=r+6$ for $r\in\{4,5,6,7\}$.

In this paper we confirm a conjecture of Füredi, Jiang, and Seiver, and determine an exact formula for the Turán number $ex_3(n; P_3^3)$ of the 3-uniform linear path $P^3_3$ of length 3, valid for all $n$. It coincides with the analogous formula for the 3-uniform triangle $C^3_3$, obtained earlier by Frankl and Füredi for $n\ge 75$ and Csákány and Kahn for all $n$. In view of this coincidence, we also determine a `conditional' Turán number, defined as the maximum number of edges in a $P^3_3$-free 3-uniform hypergraph on $n$ vertices which is \emph{not} $C^3_3$-free.

An $r$-graph is an $r$-uniform hypergraph tree (or $r$-tree) if its edges can be ordered as $E_1,\ldots, E_m$ such that $\forall i>1 \, \exists α(i)<i$ such that $E_i\cap (\bigcup_{j=1}^{i-1} E_j)\subseteq E_{α(i)}$. The Turán number $ex(n,{\cal H})$ of an $r$-graph ${\cal H}$ is the largest size of an $n$-vertex $r$-graph that does not contain ${\cal H}$. A cross-cut of ${\cal H}$ is a set of vertices in ${\cal H}$ that contains exactly one vertex of each edge of ${\cal H}$. The cross-cut number $σ({\cal H})$ of ${\cal H}$ is the minimum size of a cross-cut of ${\cal H}$. We show that for a large family of $r$-graphs (largest within a certain scope) that are embeddable in $r$-trees, $ex(n,{\cal H})=(σ-1)\binom{n}{r-1}+o(n^{r-1})$ holds, and we establish structural stability of near extremal graphs. From stability, we establish exact results for some subfamilies.