arXiv++ Combinatorics

A tight $r$-tree $T$ is an $r$-uniform hypergraph that has an edge-ordering $e_1, e_2, \dots, e_t$ such that for each $i\geq 2$, $e_i$ has a vertex $v_i$ that does not belong to any previous edge and $e_i-v_i$ is contained in $e_j$ for some $j<i$. Kalai conjectured in 1984 that every $n$-vertex $r$-uniform hypergraph with more than $\frac{t-1}{r}\binom{n}{r-1}$ edges contains every tight $r$-tree $T$ with $t$ edges. A trunk $T'$ of a tight $r$-tree $T$ is a tight subtree $T'$ of $T$ such that vertices in $V(T)\setminus V(T')$ are leaves in $T$. Kalai's Conjecture was proved in 1987 for tight $r$-trees that have a trunk of size one. In a previous paper we proved an asymptotic version of Kalai's Conjecture for all tight $r$-trees that have a trunk of bounded size. In this paper we continue that work to establish the exact form of Kalai's Conjecture for all tight $3$-trees with at least $20$ edges that have a trunk of size two.

An ordered hypergraph is a hypergraph whose vertex set is linearly ordered, and a convex geometric hypergraph is a hypergraph whose vertex set is cyclically ordered. Extremal problems for ordered and convex geometric graphs have a rich history with applications to a variety of problems in combinatorial geometry. In this paper, we consider analogous extremal problems for uniform hypergraphs, and discover a general partitioning phenomenon which allows us to determine the order of magnitude of the extremal function for various ordered and convex geometric hypergraphs. A special case is the ordered $n$-vertex $r$-graph $F$ consisting of two disjoint sets $e$ and $f$ whose vertices alternate in the ordering. We show that for all $n \geq 2r + 1$, the maximum number of edges in an ordered $n$-vertex $r$-graph not containing $F$ is exactly \[ {n \choose r} - {n - r \choose r}.\] This could be considered as an ordered version of the Erdős-Ko-Rado Theorem, and generalizes earlier results of Capoyleas and Pach and Aronov-Dujmovič-Morin-Ooms-da Silveira.

A long-standing conjecture of Erdős and Simonovits asserts that for every rational number $r\in (1,2)$ there exists a bipartite graph $H$ such that $\ex(n,H)=Θ(n^r)$. So far this conjecture is known to be true only for rationals of form $1+1/k$ and $2-1/k$, for integers $k\geq 2$. In this paper we add a new form of rationals for which the conjecture is true; $2-2/(2k+1)$, for $k\geq 2$. This in its turn also gives an affirmative answer to a question of Pinchasi and Sharir on cube-like graphs. Recently, a version of Erdős and Simonovits's conjecture where one replaces a single graph by a family, was confirmed by Bukh and Conlon. They proposed a construction of bipartite graphs which should satisfy Erdős and Simonovits's conjecture. Our result can also be viewed as a first step towards verifying Bukh and Conlon's conjecture. We also prove the an upper bound on the Turán's number of $θ$-graphs in an asymmetric setting and employ this result to obtain yet another new rational exponent for Turán exponents; $r=7/5$.

An $r$-uniform hypergraph is a tight $r$-tree if its edges can be ordered so that every edge $e$ contains a vertex $v$ that does not belong to any preceding edge and the set $e-v$ lies in some preceding edge. A conjecture of Kalai [Kalai], generalizing the Erdős-Sós Conjecture for trees, asserts that if $T$ is a tight $r$-tree with $t$ edges and $G$ is an $n$-vertex $r$-uniform hypergraph containing no copy of $T$ then $G$ has at most $\frac{t-1}{r}\binom{n}{r-1}$ edges. A trunk $T'$ of a tight $r$-tree $T$ is a tight subtree such that every edge of $T-T'$ has $r-1$ vertices in some edge of $T'$ and a vertex outside $T'$. For $r\ge 3$, the only nontrivial family of tight $r$-trees for which this conjecture has been proved is the family of $r$-trees with trunk size one in [FF] from 1987. Our main result is an asymptotic version of Kalai's conjecture for all tight trees $T$ of bounded trunk size. This follows from our upper bound on the size of a $T$-free $r$-uniform hypergraph $G$ in terms of the size of its shadow. We also give a short proof of Kalai's conjecture for tight $r$-trees with at most four edges. In particular, for $3$-uniform hypergraphs, our result on the tight path of length $4$ implies the intersection shadow theorem of Katona [Katona].

In this paper, we prove a theorem on tight paths in convex geometric hypergraphs, which is asymptotically sharp in infinitely many cases. Our geometric theorem is a common generalization of early results of Hopf and Pannwitz, Sutherland, Kupitz and Perles for convex geometric graphs, as well as the classical Erdős-Gallai Theorem for graphs. As a consequence, we obtain the first substantial improvement on the Turán problem for tight paths in uniform hypergraphs.

A classic result of Erdős and, independently, of Bondy and Simonovits says that the maximum number of edges in an $n$-vertex graph not containing $C_{2k}$, the cycle of length $2k$, is $O( n^{1+1/k})$. Simonovits established a corresponding supersaturation result for $C_{2k}$'s, showing that there exist positive constants $C,c$ depending only on $k$ such that every $n$-vertex graph $G$ with $e(G)\geq Cn^{1+1/k}$ contains at least $c\left(\frac{e(G)}{v(G)}\right)^{2k}$ many copies of $C_{2k}$, this number of copies tightly achieved by the random graph (up to a multiplicative constant). In this paper, we extend Simonovits' result to a supersaturation result of $r$-uniform linear cycles of even length in $r$-uniform linear hypergraphs. Our proof is self-contained and includes the $r=2$ case. As an auxiliary tool, we develop a reduction lemma from general host graphs to almost-regular host graphs that can be used for other supersaturation problems, and may therefore be of independent interest.

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.

Let $G = (V,E)$ be a graph on $n$ vertices and $f: V\rightarrow [1,n]$ a one to one map of $V$ onto the integers $1$ through $n$. Let $dilation(f) =$ max$\{ |f(v) - f(w)|: vw\in E \}$. Define the {\it bandwidth} $B(G)$ of $G$ to be the minimum possible value of $dilation(f)$ over all such one to one maps $f$. Next define the {\it Kneser Graph} $K(n,r)$ to be the graph with vertex set $\binom{[n]}{r}$, the collection of $r$-subsets of an $n$ element set, and edge set $E = \{ vw: v,w\in \binom{[n]}{r}, v\cap w = \emptyset \}$. For fixed $r\geq 4$ and $n\rightarrow \infty$ we show that $$B(K(n,r)) = \binom{n}{r} - \frac{1}{2}\binom{n-1}{r-1} - 2\frac{n^{r-2}}{(r-2)!} + (r + 2)\frac{n^{r-3}}{(r-3)!} + O(n^{r-4}).$$

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

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.

Given a family ${\cal F}$ of graphs, and a positive integer $n$, the Turán number $ex(n,{\cal F})$ of ${\cal F}$ is the maximum number of edges in an $n$-vertex graph that does not contain any member of ${\cal F}$ as a subgraph. The order of a graph is the number of vertices in it. In this paper, we study the Turán number of the family of graphs with bounded order and high average degree. For every real $d\geq 2$ and positive integer $m\geq 2$, let ${\cal F}_{d,m}$ denote the family of graphs on at most $m$ vertices that have average degree at least $d$. It follows from the Erdős-Rényi bound that $ex(n,{\cal F}_{d,m})=Ω(n^{2-\frac{2}{d}+\frac{c}{dm}})$, for some positive constant $c$. Verstraëte asked if it is true that for each fixed $d$ there exists a function $ε_d(m)$ that tends to $0$ as $m\to \infty$ such that $ex(n,{\cal F}_{d,m})=O(n^{2-\frac{2}{d}+ε_d(m)})$. We answer Verstraëte's question in the affirmative whenever $d$ is an integer. We also prove an extension of the cube theorem on the Turán number of the cube $Q_3$, which partially answers a question of Pinchasi and Sharir.

An $r$-uniform hypergraph is called an $r$-graph. A hypergraph is linear if every two edges intersect in at most one vertex. Given a linear $r$-graph $H$ and a positive integer $n$, the linear Turán number $ex_L(n,H)$ is the maximum number of edges in a linear $r$-graph $G$ that does not contain $H$ as a subgraph. For each $\ell\geq 3$, let $C^r_\ell$ denote the $r$-uniform linear cycle of length $\ell$, which is an $r$-graph with edges $e_1,\ldots, e_\ell$ such that $\forall i\in [\ell-1]$, $|e_i\cap e_{i+1}|=1$, $|e_\ell\cap e_1|=1$ and $e_i\cap e_j=\emptyset$ for all other pairs $\{i,j\}, i\neq j$. For all $r\geq 3$ and $\ell\geq 3$, we show that there exist positive constants $c_{m,r}$ and $c'_{m,r}$, depending only $m$ and $r$, such that $ex_L(n,C^r_{2m})\leq c_{m,r} n^{1+\frac{1}{m}}$ and $ex_L(n,C^r_{2m+1})\leq c'_{m,r} n^{1+\frac{1}{m}}$. This answers a question of Kostochka, Mubayi, and Verstraëte. For even cycles, our result extends the result of Bondy and Simonovits on the Turán numbers of even cycles to linear hypergraphs. Using our results on linear Turán numbers we also obtain bounds on the cycle-complete hypergraph Ramsey numbers. We show that there are positive constants $a_{m,r}$ and $b_{m,r}$, depending only on $m$ and $r$, such that $R(C^r_{2m}, K^r_t)\leq a_{m,r} (\frac{t}{\ln t})^\frac{m}{m-1}$ and $R(C^r_{2m+1}, K^r_t)\leq b_{m,r} t^\frac{m}{m-1}$.

A k-uniform linear cycle of length s is a cyclic list of k-sets A_1,..., A_s such that consecutive sets intersect in exactly one element and nonconsecutive sets are disjoint. For all k at least 5 and s at least 3 and sufficiently large n we determine the largest size of a k-uniform set family on [n] not containing a linear cycle of length s. For odd s=2t+1 the unique extremal family F_S consists of all k-sets in [n] intersecting a fixed t-set S in [n]. For even s=2t+2, the unique extremal family consists of F_S plus all the k-sets outside S containing some fixed two elements. For k at least 4 and large n we also establish an exact result for so-called minimal cycles. For all k at least 4 our results substantially extend Erdos' result on largest k-uniform families without t+1 pairwise disjoint members and confirm, in a stronger form, a conjecture of Mubayi and Verstraete. Our main method is the delta system method.

Given a 3-graph H, let \ex_2(n, H) denote the maximum value of the minimum codegree of a 3-graph on n vertices which does not contain a copy of H. Let F denote the Fano plane, which is the 3-graph \{axx',ayy',azz',xyz',xy'z,x'yz,x'y'z'\}. Mubayi proved that \ex_2(n,F)=(1/2+o(1))n and conjectured that \ex_2(n, F)=\floor{n/2} for sufficiently large n. Using a very sophisticated quasi-randomness argument, Keevash proved Mubayi's conjecture. Here we give a simple proof of Mubayi's conjecture by using a class of 3-graphs that we call rings. We also determine the Turán density of the family of rings.

A $k$-uniform linear path of length $\ell$, denoted by $P^{(k)}_\ell$, is a family of $k$-sets $\{F_1,..., F_\ell\}$ such that $|F_i\cap F_{i+1}|=1$ for each $i$ and $F_i\cap F_j=\emptyset$ whenever $|i-j|>1$. Given a $k$-uniform hypergraph $H$ and a positive integer $n$, the {\it $k$-uniform hypergraph Turán number} of $H$, denoted by $\ex_k(n,H)$, is the maximum number of edges in a $k$-uniform hypergraph $\cF$ on $n$ vertices that does not contain $H$ as a subhypergraph. With an intensive use of the delta-system method, we determine $\ex_k(n,P^{(k)}_\ell)$ exactly for all fixed $\ell\geq 1, k\geq 4$, and sufficiently large $n$. We show that $$\ex_k(n,P^{(k)}_{2t+1})={n-1\choose k-1}+{n-2\choose k-1}+...+{n-t\choose k-1}.$$ The only extremal family consists of all the $k$-sets in $[n]$ that meet some fixed set of $t$ vertices. We also show that $$\ex(n, P^{(k)}_{2t+2})={n-1\choose k-1}+{n-2\choose k-1}+...+{n-t\choose k-1}+{n-t-2\choose k-2},$$ and describe the unique extremal family. Stability results on these bounds and some related results are also established.

For each poset $H$ whose Hasse diagram is a tree of height $k$, we show that the largest size of a family $\cF$ of subsets of $[n]=\{1,..., n\}$ not containing $H$ as an induced subposet is asymptotic to $(k-1){n\choose \fl{n/2}}$. This extends the result of Bukh \cite{bukh}, which in turn generalizes several known results including Sperner's theorem.

Given positive integers $n$ and $d$, let $A_2(n,d)$ denote the maximum size of a binary code of length $n$ and minimum distance $d$. The well-known Gilbert-Varshamov bound asserts that $A_2(n,d) \geq 2^n/V(n,d-1)$, where $V(n,d) = \sum_{i=0}^{d} {n \choose i}$ is the volume of a Hamming sphere of radius $d$. We show that, in fact, there exists a positive constant $c$ such that $$ A_2(n,d) \geq c \frac{2^n}{V(n,d-1)} \log_2 V(n,d-1) $$ whenever $d/n \le 0.499$. The result follows by recasting the Gilbert- Varshamov bound into a graph-theoretic framework and using the fact that the corresponding graph is locally sparse. Generalizations and extensions of this result are briefly discussed.

The chromatic sum of a graph is the smallest sum of colors among all proper colorings with natural numbers. The strength is the minimum number of colors needed to achieve the chromatic sum. We construct for each positive integer k a tree with strength k that has maximum degree only 2k-2. The result is best possible.

The edge-bandwidth of a graph is the minimum, over all labelings of the edges with distinct integers, of the maximum difference between labels of two incident edges. We prove that edge-bandwidth is at least as large as bandwidth for every graph, with equality for certain caterpillars. We obtain sharp or nearly-sharp bounds on the change in edge-bandwidth under addition, subdivision, or contraction of edges. We compute edge-bandwidth for cliques, bicliques, caterpillars, and some theta graphs.