arXiv++ Combinatorics

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.

The Erdős--Gallai Theorem states that for $k \geq 3$, any $n$-vertex graph with no cycle of length at least $k$ has at most $\frac{1}{2}(k-1)(n-1)$ edges. A stronger version of the Erdős--Gallai Theorem was given by Kopylov: If $G$ is a 2-connected $n$-vertex graph with no cycle of length at least $k$, then $e(G) \leq \max\{h(n,k,2),h(n,k,\lfloor \frac{k-1}{2}\rfloor)\}$, where $h(n,k,a) := {k - a \choose 2} + a(n - k + a)$. Furthermore, Kopylov presented the two possible extremal graphs, one with $h(n,k,2)$ edges and one with $h(n,k,\lfloor \frac{k-1}{2}\rfloor)$ edges. In this paper, we complete a stability theorem which strengthens Kopylov's result. In particular, we show that for $k \geq 3$ odd and all $n \geq k$, every $n$-vertex $2$-connected graph $G$ with no cycle of length at least $k$ is a subgraph of one of the two extremal graphs or $e(G) \leq \max\{h(n,k,3),h(n,k,\frac{k-3}{2})\}$. The upper bound for $e(G)$ here is tight.

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 $T$ be a tree with $t$ edges. We show that the number of isomorphic (labeled) copies of $T$ in a graph $G = (V,E)$ of minimum degree at least $t$ is at least \[2|E| \prod_{v \in V} (d(v) - t + 1)^{\frac{(t-1)d(v)}{2|E|}}.\] Consequently, any $n$-vertex graph of average degree $d$ and minimum degree at least $t$ contains at least $$nd(d-t+1)^{t-1}$$ isomorphic (labeled) copies of $T$. This answers a question of Dellamonica et. al. (where the above statement was proved when $T$ is the path with three edges) while extending an old result of Erd\H os and Simonovits.

The Erdős-Gallai Theorem states that for $k \geq 2$, every graph of average degree more than $k - 2$ contains a $k$-vertex path. This result is a consequence of a stronger result of Kopylov: if $k$ is odd, $k=2t+1\geq 5$, $n \geq (5t-3)/2$, and $G$ is an $n$-vertex $2$-connected graph with at least $h(n,k,t) := {k-t \choose 2} + t(n -k+ t)$ edges, then $G$ contains a cycle of length at least $k$ unless $G = H_{n,k,t} := K_n - E(K_{n - t})$. In this paper we prove a stability version of the Erdős-Gallai Theorem: we show that for all $n \geq 3t > 3$, and $k \in \{2t+1,2t + 2\}$, every $n$-vertex 2-connected graph $G$ with $e(G) > h(n,k,t-1)$ either contains a cycle of length at least $k$ or contains a set of $t$ vertices whose removal gives a star forest. In particular, if $k = 2t + 1 \neq 7$, we show $G \subseteq H_{n,k,t}$. The lower bound $e(G) > h(n,k,t-1)$ in these results is tight and is smaller than Kopylov's bound $h(n,k,t)$ by a term of $n-t-O(1)$.

The $r$-expansion $G^+$ of a graph $G$ is the $r$-uniform hypergraph obtained from $G$ by enlarging each edge of $G$ with a vertex subset of size $r-2$ disjoint from $V(G)$ such that distinct edges are enlarged by disjoint subsets. Let $ex_r(n,F)$ denote the maximum number of edges in an $r$-uniform hypergraph with $n$ vertices not containing any copy of the $r$-uniform hypergraph $F$. Many problems in extremal set theory ask for the determination of $ex_r(n,G^+)$ for various graphs $G$. We survey these Turán-type problems, focusing on recent developments.

Let $G=(V,E)$ be a graph of density $p$ on $n$ vertices. Following Erdős, Łuczak and Spencer, an $m$-vertex subgraph $H$ of $G$ is called {\em full} if $H$ has minimum degree at least $p(m - 1)$. Let $f(G)$ denote the order of a largest full subgraph of $G$. If $p\binom{n}{2}$ is a non-negative integer, define \[ f(n,p) = \min\{f(G) : \vert V(G)\vert = n, \ \vert E(G)\vert = p\binom{n}{2} \}.\] Erdős, Łuczak and Spencer proved that for $n \geq 2$, \[ (2n)^{\frac{1}{2}} - 2 \leq f(n, {\frac{1}{2}}) \leq 4n^{\frac{2}{3}}(\log n)^{\frac{1}{3}}.\] In this paper, we prove the following lower bound: for $n^{-\frac{2}{3}} <p_n <1-n^{-\frac{1}{7}}$, \[ f(n,p) \geq \frac{1}{4}(1-p)^{\frac{2}{3}}n^{\frac{2}{3}} -1.\] Furthermore we show that this is tight up to a multiplicative constant factor for infinitely many $p$ near the elements of $\{\frac{1}{2},\frac{2}{3},\frac{3}{4},\dots\}$. In contrast, we show that for any $n$-vertex graph $G$, either $G$ or $G^c$ contains a full subgraph on $Ω(\frac{n}{\log n})$ vertices. Finally, we discuss full subgraphs of random and pseudo-random graphs, and several open problems.

The expansion $G^+$ of a graph $G$ is the $3$-uniform hypergraph obtained from $G$ by enlarging each edge of $G$ with a new vertex disjoint from $V(G)$ such that distinct edges are enlarged by distinct vertices. Let $ex_3(n,F)$ denote the maximum number of edges in a $3$-uniform hypergraph with $n$ vertices not containing any copy of a $3$-uniform hypergraph $F$. The study of $ex_3(n,G^+)$ includes some well-researched problems, including the case that $F$ consists of $k$ disjoint edges, $G$ is a triangle, $G$ is a path or cycle, and $G$ is a tree. In this paper we initiate a broader study of the behavior of $ex_3(n,G^+)$. Specifically, we show \[ ex_3(n,K_{s,t}^+) = Θ(n^{3 - 3/s})\] whenever $t > (s - 1)!$ and $s \geq 3$. One of the main open problems is to determine for which graphs $G$ the quantity $ex_3(n,G^+)$ is quadratic in $n$. We show that this occurs when $G$ is any bipartite graph with Turán number $o(n^{\varphi})$ where $\varphi = \frac{1 + \sqrt{5}}{2}$, and in particular, this shows $ex_3(n,Q^+) = Θ(n^2)$ where $Q$ is the three-dimensional cube graph.

A {\em product-injective labeling} of a graph $G$ is an injection $χ: V(G) \to \mathbb{Z}$ such that $χ(u)χ(v) \not= χ(x)χ(y)$ for any distinct edges $uv, xy\in E(G)$. Let $P(G)$ be the smallest $N \geq 1$ such that there exists a product-injective labeling $χ: V(G) \rightarrow [N]$. Let $P(n,d)$ be the maximum possible value of $P(G)$ over $n$-vertex graphs $G$ of maximum degree at most $d$. In this paper, we determine the asymptotic value of $P(n,d)$ for all but a small range of values of $d$ relative to $n$. Specifically, we show that there exist constants $a,b > 0$ such that $P(n,d) \sim n$ if $d \leq \sqrt{n}(\log n)^{-a}$ and $P(n,d) \sim n\log n$ if $d \geq \sqrt{n}(\log n)^{b}$.

Let $G$ be a graph with no isolated vertices. A {\em $k$-coupon coloring} of $G$ is an assignment of colors from $[k] := \{1,2,\dots,k\}$ to the vertices of $G$ such that the neighborhood of every vertex of $G$ contains vertices of all colors from $[k]$. The maximum $k$ for which a $k$-coupon coloring exists is called the {\em coupon coloring number} of $G$, and is denoted $χ_{c}(G)$. In this paper, we prove that every $d$-regular graph $G$ has $χ_{c}(G) \geq (1 - o(1))d/\log d$ as $d \rightarrow \infty$, and the proportion of $d$-regular graphs $G$ for which $χ_c(G) \leq (1 + o(1))d/\log d$ tends to $1$ as $|V(G)| \rightarrow \infty$.

More than twenty years ago Erdős conjectured~\cite{E1} that a triangle-free graph $G$ of chromatic number $k \geq k_0(\varepsilon)$ contains cycles of at least $k^{2 - \varepsilon}$ different lengths as $k \rightarrow \infty$. In this paper, we prove the stronger fact that every triangle-free graph $G$ of chromatic number $k \geq k_0(\varepsilon)$ contains cycles of $(\frac{1}{64} - \varepsilon)k^2 \log k$ consecutive lengths, and a cycle of length at least $(\tfrac{1}{4} - \varepsilon)k^2 \log k$. As there exist triangle-free graphs of chromatic number $k$ with at most roughly $4k^2 \log k$ vertices for large $k$, theses results are tight up to a constant factor. We also give new lower bounds on the circumference and the number of different cycle lengths for $k$-chromatic graphs in other monotone classes, in particular, for $K_r$-free graphs and graphs without odd cycles $C_{2s+1}$.

The expansion $G^+$ of a graph $G$ is the 3-uniform hypergraph obtained from $G$ by enlarging each edge of $G$ with a vertex disjoint from $V(G)$ such that distinct edges are enlarged by distinct vertices. Let ex$_r(n,F)$ denote the maximum number of edges in an $r$-uniform hypergraph with $n$ vertices not containing any copy of $F$. The authors \cite{KMV} recently determined ex$_3(n,G^+)$ more generally, namely when $G$ is a path or cycle, thus settling conjectures of Füredi-Jiang \cite{FJ} (for cycles) and Füredi-Jiang-Seiver \cite{FJS} (for paths). Here we continue this project by determining the asymptotics for ex$_3(n,G^+)$ when $G$ is any fixed forest. This settles a conjecture of Füredi \cite{Furedi}. Using our methods, we also show that for any graph $G$, either ex$_3(n,G^{+}) \leq \left(\frac{1}{2} + o(1)\right)n^2$ or ex$_3(n,G^{+}) \geq (1 + o(1))n^2,$ thereby exhibiting a jump for the Turán number of expansions.

The Turán number of a graph $H$, denoted $\mbox{ex}(n,H)$, is the maximum number of edges in an $n$-vertex graph with no subgraph isomorphic to $H$. Solymosi conjectured that if $H$ is any graph and $\mbox{ex}(n,H) = O(n^α)$ where $α> 1$, then any $n$-vertex graph with the property that each edge lies in exactly one copy of $H$ has $o(n^α)$ edges. This can be viewed as conjecturing a possible extension of the removal lemma to sparse graphs, and is well-known to be true when $H$ is a non-bipartite graph, in particular when $H$ is a triangle, due to Ruzsa and Szemerédi. Using Sidon sets we exhibit infinitely many bipartite graphs $H$ for which the conjecture is false.

Given positive integers $n$ and $d$, let $M(n,d)$ denote the maximum size of a permutation code of length $n$ and minimum Hamming distance $d$. The Gilbert-Varshamov bound asserts that $M(n,d) \geq n!/V(n,d-1)$ where $V(n,d)$ is the volume of a Hamming sphere of radius $d$ in $§_n$. Recently, Gao, Yang, and Ge showed that this bound can be improved by a factor $Ω(\log n)$, when $d$ is fixed and $n \to \infty$. Herein, we consider the situation where the ratio $d/n$ is fixed and improve the Gilbert-Varshamov bound by a factor that is \emph{linear in $n$}. That is, we show that if $d/n < 0.5$, then $$ M(n,d)\geq cn\,\frac{n!}{V(n,d-1)} $$ where $c$ is a positive constant that depends only on $d/n$. To establish this result, we follow the method of Jiang and Vardy. Namely, we recast the problem of bounding $M(n,d)$ into a graph-theoretic framework and prove that the resulting graph is locally sparse.

A $k$-path is a hypergraph P_k = e_1,e_2,...,e_k such that |e_i \cap e_j| = 1 if |j - i| = 1 and e_i \cap e_j is empty otherwise. A k-cycle is a hypergraph C_k = e_1,e_2,.. ,e_k obtained from a (k-1)-path e_1,e_2,...,e_{k-1} by adding an edge e_k that shares one vertex with e_1, another vertex with e_{k-1} and is disjoint from the other edges. Let ex_r(n,G) be the maximum number of edges in an r-graph with n vertices not containing a given r-graph G. We determine ex_r(n, P_k) and ex_r(n, C_k) exactly for all k \ge 4 and r \ge 3 and $n$ sufficiently large and also characterize the extremal examples. The case k = 3 was settled by Frankl and Füredi. This work is the next step in a long line of research beginning with conjectures of Erd\H os and Sós from the early 1970's. In particular, we extend the work (and settle a recent conjecture) of Füredi, Jiang and Seiver who solved this problem for P_k when r \ge 4 and of Füredi and Jiang who solved it for C_k when r \ge 5. They used the delta system method, while we use a novel approach which involves random sampling from the shadow of an r-graph.

A {\em maximal partial ovoid} of a generalized quadrangle is a maximal set of points no two of which are collinear. The problem of determining the smallest size of a maximal partial ovoid in quadrangles has been extensively studied in the literature. In general, theoretical lower bounds on the size of a maximal partial ovoid in a quadrangle of order $(s,t)$ are linear in $s$. In this paper, in a wide class of quadrangles of order $(s,t)$ we give a construction of a maximal partial ovoid of size at most $s \cdot \mbox{polylog}(s)$, which is within a polylogarithmic factor of theoretical lower bounds. The construction substantially improves previous quadratic upper bounds in quadrangles of order $(s,s^2)$, in particular in the well-studied case of the elliptic quadrics $Q^-(5,s)$.

For an odd integer $k$, let $\mathcal{C}_k = \{C_3,C_5,...,C_k\}$ denote the family of all odd cycles of length at most $k$ and let $\mathcal{C}$ denote the family of all odd cycles. Erdős and Simonovits \cite{ESi1} conjectured that for every family $\mathcal{F}$ of bipartite graphs, there exists $k$ such that $\ex{n}{\mathcal{F} \cup \mathcal{C}_k} \sim \ex{n}{\mathcal{F} \cup \mathcal{C}}$ as $n \rightarrow \infty$. This conjecture was proved by Erdős and Simonovits when $\mathcal{F} = \{C_4\}$, and for certain families of even cycles in \cite{KSV}. In this paper, we give a general approach to the conjecture using Scott's sparse regularity lemma. Our approach proves the conjecture for complete bipartite graphs $K_{2,t}$ and $K_{3,3}$: we obtain more strongly that for any odd $k \geq 5$, \[ \ex{n}{\mathcal{F} \cup \{C_k\}} \sim \ex{n}{\mathcal{F} \cup \mathcal{C}}\] and we show further that the extremal graphs can be made bipartite by deleting very few edges. In contrast, this formula does not extend to triangles -- the case $k = 3$ -- and we give an algebraic construction for odd $t \geq 3$ of $K_{2,t}$-free $C_3$-free graphs with substantially more edges than an extremal $K_{2,t}$-free bipartite graph on $n$ vertices. Our general approach to the Erdős-Simonovits conjecture is effective based on some reasonable assumptions on the maximum number of edges in an $m$ by $n$ bipartite $\mathcal{F}$-free graph.

Let $\mc{F}$ be a family of graphs. A graph is {\em $\mc{F}$-free} if it contains no copy of a graph in $\mc{F}$ as a subgraph. A cornerstone of extremal graph theory is the study of the {\em Turán number} $ex(n,\mc{F})$, the maximum number of edges in an $\mc{F}$-free graph on $n$ vertices. Define the {\em Zarankiewicz number} $z(n,\mc{F})$ to be the maximum number of edges in an $\mc{F}$-free {\em bipartite} graph on $n$ vertices. Let $C_k$ denote a cycle of length $k$, and let $\mc{C}_k$ denote the set of cycles $C_{\ell}$, where $3 \le \ell \leq k$ and $\ell$ and $k$ have the same parity. Erdős and Simonovits conjectured that for any family $\mc{F}$ consisting of bipartite graphs there exists an odd integer $k$ such that $ex(n,\mc{F} \cup \mc{C}_k) \sim z(n,\mc{F})$. They proved this when $\mc{F}={C_4}$ by showing that $ex(n,\{C_4,C_5\}) \sim z(n,C_4)$. In this paper, we extend this result by showing that if $\ell \in \{2,3,5\}$ and $k > 2\ell$ is odd, then ${ex(n,\mc{C}_{2\ell} \cup {C_k}) \sim z(n,\mc{C}_{2\ell})$. Furthermore, if $k > 2\ell + 2$ is odd, then for infinitely many $n$ we show that the extremal $\mc{C}_{2\ell} \cup \{C_k\}$-free graphs are bipartite incidence graphs of generalized polygons. We observe that this exact result does not hold for any odd $k < 2\ell$, and furthermore the asymptotic result does not hold when $(\ell,k)$ is $(3,3)$, $(5,3)$ or $(5,5)$. Our proofs make use of pseudorandomness properties of nearly extremal graphs that are of independent interest.

The {\em independence ratio} of a graph $G$ is defined by \[ ι(G) := \sup_{X \subset V(G)} \frac{|X|}{α(X)},\] where $α(X)$ is the independence number of the subgraph of $G$ induced by $X$. The independence ratio is a relaxation of the chromatic number $χ(G)$ in the sense that $χ(G) \geq ι(G)$ for every graph $G$, while for many natural classes of graphs these quantities are almost equal. In this paper, we address two old conjectures of Erdős on cycles in graphs with large chromatic number and a conjecture of Erdős and Hajnal on graphs with infinite chromatic number.