arXiv++ Combinatorics

For a graph $G$, the tree graph ${\cal T}_{G,t}$ has all tree subgraphs of $G$ with $t$ vertices as vertex set and two tree subgraphs are neighbors if they are edge-disjoint. Also, the $r^{th}$ cut number of $G$ is the minimum number of edges between parts of a partition of vertex set of $G$ into two parts such that each part has size at least $r$. We show that if $t=(1-o(1))n$ and $n$ is large enough, then for any dense graph $G$ with $n$ vertices, the chromatic number of the tree graph ${\cal T}_{G,t}$ is equal to the $(n-t+1)^{th}$ cut number of $G$. In particular, as a consequence, we prove that if $n$ is large enough and $G$ is a dense graph, then the chromatic number of the spanning tree graph ${\cal T}_{G,n}$ is equal to the size of the minimum cut of $G$. The proof method is based on alternating Turán number inspired by Tucker's lemma, an equivalent combinatorial version of the Borsuk-Ulam theorem.

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 graph $G = (V,E)$ is said to be saturated with respect to a monotone increasing graph property ${\mathcal P}$, if $G \notin {\mathcal P}$ but $G \cup \{e\} \in {\mathcal P}$ for every $e \in \binom{V}{2} \setminus E$. The saturation game $(n, {\mathcal P})$ is played as follows. Two players, called Mini and Max, progressively build a graph $G \subseteq K_n$, which does not satisfy ${\mathcal P}$. Starting with the empty graph on $n$ vertices, the two players take turns adding edges $e \in \binom{V(K_n)}{2} \setminus E(G)$, for which $G \cup \{e\} \notin {\mathcal P}$, until no such edge exists (i.e. until $G$ becomes ${\mathcal P}$-saturated), at which point the game is over. Max's goal is to maximize the length of the game, whereas Mini aims to minimize it. The score of the game, denoted by $s(n, {\mathcal P})$, is the number of edges in $G$ at the end of the game, assuming both players follow their optimal strategies. We prove lower and upper bounds on the score of games in which the property the players need to avoid is being $k$-connected, having chromatic number at least $k$, and admitting a matching of a given size. In doing so we demonstrate that the score of certain games can be as large as the Turán number or as low as the saturation number of the respective graph property. We also demonstrate that the score might strongly depend on the identity of the first player to move.

We shall study degree-monotone paths in graphs, a problem inspired by the celebrated theorem of Erd{ő}s-Szekeres concerning the longest monotone subsequence of a given sequence of numbers. A path P in a graph G is said to be a degree monotone path if the sequence of degrees of the vertices in P in the order they appear in P is monotonic. In this paper we shall consider these three problem related to this parameter: 1. Find bounds on $mp(G)$ in terms of other parameters of $G$. 2. Study $f(n,k)$ defined to be the maximum number of edges in a graph on $n$ vertices with $mp(G) < k$. 3. Estimate the minimum and the maximum over all graph $G$ on $n$ vertices of $mp(G)+mp(\overline{G})$. For the first problem our main tool will be the Gallai-Roy Theorem on directed paths and chromatic number. We shall also consider in some detail maximal planar and maximal outerplanar graphs in order to investigate the sharpness of the bounds obtained. For the second problem we establish a close link between $f(n,k)$ and the classical Turan numbers. For the third problem we establish some Nordhaus-Gaddum type of inequalities. We conclude by indicating some open problems which our results point to.

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

For a graph $H$, the {\em extremal number} $ex(n,H)$ is the maximum number of edges in a graph of order $n$ not containing a subgraph isomorphic to $H$. Let $δ(H)>0$ and $Δ(H)$ denote the minimum degree and maximum degree of $H$, respectively. We prove that for all $n$ sufficiently large, if $H$ is any graph of order $n$ with $Δ(H) \le \sqrt{n}/200$, then $ex(n,H)={{n-1} \choose 2}+δ(H)-1$. The condition on the maximum degree is tight up to a constant factor. This generalizes a classical result of Ore for the case $H=C_n$, and resolves, in a strong form, a conjecture of Glebov, Person, and Weps for the case of graphs. A counter-example to their more general conjecture concerning the extremal number of bounded degree spanning hypergraphs is also given.

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.

A Kneser representation KG(H) for a graph G is a bijective assignment of hyperedges of a hypergraph H to the vertices of G such that two vertices of G are adjacent if and only if the corresponding hyperedges are disjoint. In this paper, we introduce a colored version of the Turan number and use that to determine the chromatic number of some families of graphs in terms of the generalized Turan number of graphs. In particular, we determine the chromatic number of every Kneser multigraph KG(H), where the vertex set of H is the edge set of a multigraph G such that the multiplicity of each edge is greater than 1 and a hyperedge in H corresponds to a subgraph of G isomorphic to some graph in a fixed prescribed family of simple graphs.

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.

Combinatorial batch codes provide a tool for distributed data storage, with the feature of keeping privacy during information retrieval. Recently, Balachandran and Bhattacharya observed that the problem of constructing such uniform codes in an economic way can be formulated as a Turán-type question on hypergraphs. Here we establish general lower and upper bounds for this extremal problem, and also for its generalization where the forbidden family consists of those $r$-uniform hypergraphs $H$ which satisfy the condition $k\ge |E(H)|> |V(H)|+q$ (for $k>q+r$ and $q> -r$ fixed). We also prove that, in the given range of parameters, the considered Turán function is asymptotically equal to the one restricted to $|E(H)|=k$, studied by Brown, Erdős and T. Sós. Both families contain some $r$-partite members --- often called the `degenerate case', characterized by the equality $\lim_{n\to\infty} \ex(n,\cF)/n^r=0$ --- and therefore their exact order of growth is not known.

The problem of determining the maximum number of edges in an $n$-vertex graph that does not contain a 4-cycle has a rich history in extremal graph theory. Using Sidon sets constructed by Bose and Chowla, for each odd prime power $q$ we construct a graph with $q^2 - q - 2$ vertices that does not contain a 4-cycle and has at least $\frac{1}{2}q^3 - q^2 - O(q^{3/4})$ edges. This disproves a conjecture of Abreu, Balbuena, and Labbate concerning the Turán number $\mathrm{ex}(q^2 - q - 2, C_4)$.

The cube Q is the usual 8-vertex graph with 12 edges. Here we give a new proof for a theorem of Erdős and Simonovits concerning the Turán number of the cube. Namely, it is shown that e(G) < n^{8/5}+(2n)^{3/2} holds for any n-vertex cube-free graph G. Our aim is to give a self-contained exposition. We also point out the best known results and supply bipartite versions.

The Turán number of a $k$-uniform hypergraph $H$, denoted by $e{x_k}\left({n;H} \right)$, is the maximum number of edges in any $k$-uniform hypergraph $F$ on $n$ vertices which does not contain $H$ as a subgraph. Let $\mathcal{C}_{\ell}^{\left(k \right)}$ denote the family of all $k$-uniform minimal cycles of length $\ell$, $\mathcal{S}(\ell_1,\ldots,\ell_r)$ denote the family of hypergraphs consisting of unions of $r$ vertex disjoint minimal cycles of length $\ell_1,\ldots,\ell_r$, respectively, and $\mathbb{C}_{\ell}^{\left(k \right)}$ denote a $k$-uniform linear cycle of length $\ell$. We determine precisely $e{x_k}\left({n;\mathcal{S}(\ell_1,\ldots,\ell_r)} \right)$ and $e{x_k}\left({n;\mathbb{C}_{\ell_1}^{\left(k \right)}, \ldots, \mathbb{C}_{\ell_r}^{\left(k \right)}} \right)$ for sufficiently large $n$. The results extend recent results of Füredi and Jiang who determined the Turán numbers for single $k$-uniform minimal cycles and linear cycles.

Let $G$ be a graph with degree sequence $d_1,d_2,\ldots,d_n$. Given a positive integer $p$, denote by $e_p(G)=\sum_{i=1}^n d_i^p$. Caro and Yuster introduced a Turán-type problem for $e_p(G)$: given an integer $p$, how large can $e_p(G)$ be if $G$ has no subgraph of a particular type. They got some results for the subgraph of particular type to be a clique of order $r+1$ and a cycle of even length, respectively. Denote by $ex_p(n,H)$ the maximum value of $e_p(G)$ taken over all graphs with $n$ vertices that do not contain $H$ as a subgraph. Clearly, $ex_1(n,H)=2ex(n,H)$, where $ex(n,H)$ denotes the classical Turán number. In this paper, we consider $ex_p(n, C_5)$ and prove that for any positive integer $p$ and sufficiently large $n$, there exists a constant $c=c(p)$ such that the following holds: if $ex_p(n, C_5)=e_p(G)$ for some $C_5$-free graph $G$ of order $n$, then $G$ is a complete bipartite graph having one vertex class of size $cn+o(n)$ and the other $(1-c)n+o(n)$.

The Turán number of an r-uniform hypergraph H is the maximum number of edges in any r-graph on n vertices which does not contain H as a subgraph. Let P_l^(r) denote the family of r-uniform loose paths on l edges, F(k,l) denote the family of hypergraphs consisting of k disjoint paths from P_l^(r), and P'_l^(r) denote an r-uniform linear path on l edges. We determine precisely ex_r(n;F(k,l)) and ex_r(n;k*P'_l^(r)), as well as the Turán numbers for forests of paths of differing lengths (whether these paths are loose or linear) when n is appropriately large dependent on k,l,r, for r>=3. Our results build on recent results of Füredi, Jiang, and Seiver who determined the extremal numbers for individual paths, and provide more hypergraphs whose Turan numbers are exactly determined.

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 $p\geq 0$ and a graph $G$ whose degree sequence is $d_1,d_2,\ldots,d_n$, let $e_p(G)=\sum_{i=1}^n d_i^p$. Caro and Yuster introduced a Turán-type problem for $e_p(G)$: given $p\geq 0$, how large can $e_p(G)$ be if $G$ has no subgraph of a particular type. Denote by $ex_p(n,H)$ the maximum value of $e_p(G)$ taken over all graphs with $n$ vertices that do not contain $H$ as a subgraph. Clearly, $ex_1(n,H)=2ex(n,H)$, where $ex(n,H)$ denotes the classical Turán number, i.e., the maximum number of edges among all $H$-free graphs with $n$ vertices. Pikhurko and Taraz generalize this Turán-type problem: let $f$ be a non-negative increasing real function and $e_f(G)=\sum_{i=1}^n f(d_i)$, and then define $ex_f(n,H)$ as the maximum value of $e_f(G)$ taken over all graphs with $n$ vertices that do not contain $H$ as a subgraph. Observe that $ex_f(n,H)=ex(n,H)$ if $f(x)=x/2$, $ex_f(n,H)=ex_p(n,H)$ if $f(x)=x^p$. Bollobás and Nikiforov mentioned that it is important to study concrete functions. They gave an example $f(x)=φ(k)={x\choose k}$, since $\sum_{i=1}^n{d_i\choose k}$ counts the $(k+1)$-vertex subgraphs of $G$ with a dominating vertex. Denote by $T_r(n)$ the $r$-partite Turán graph of order $n$. In this paper, using the Bollobás--Nikiforov's methods, we give some results on $ex_φ(n,K_{r+1})$ $(r\geq 2)$ as follows: for $k=1,2$, $ex_φ(n,K_{r+1})=e_φ(T_r(n))$; for each $k$, there exists a constant $c=c(k)$ such that for every $r\geq c(k)$ and sufficiently large $n$, $ex_φ(n,K_{r+1})=e_φ(T_r(n))$; for a fixed $(r+1)$-chromatic graph $H$ and every $k$, when $n$ is sufficiently large, we have $ex_φ(n,H)=e_φ(n,K_{r+1})+o(n^{k+1})$.

Given positive integers k and r where 4 divides k and k/2 \leq r \leq k-1, we give a minimum r-degree condition that ensures a perfect matching in a k-uniform hypergraph. This condition is best possible and improves on work of Pikhurko who gave an asymptotically exact result. Our approach makes use of the absorbing method, as well as the hypergraph removal lemma and a structural result of Keevash and Sudakov relating to the Turan number of the expanded triangle.

Let $H_n$ be a $k$-graph on $n$ vertices. For $0 \le \ell <k$ and an $\ell$-subset $T$ of $V(H_n)$, define the degree $°(T)$ of $T$ to be the number of $(k-\ell)$-subsets~$S$ such that $S \cup T$ is an edge in~$H_n$. Let the minimum $\ell$-degree of $H_n$ be $δ_{\ell}(H_n) = \min \{ °(T) : T \subseteq V(H_n)$ and $|T|=\ell\}$. Given a family $\mathcal{F}$ of $k$-graphs, the $\ell$-degree Turán number $\text{ex}_{\ell}(n, \mathcal{F})$ is the largest $δ_{\ell}(H_n)$ over all $\mathcal{F}$-free $k$-graphs $H_n$ on $n$ vertices. Hence, $\text{ex}_0(n, \mathcal{F})$ is the Turán number. We define $\ell$-degree Turán density to be $$π^k_{\ell}(\mathcal{F}) = \limsup_{n \rightarrow \infty} \frac{\text{ex}_{\ell}(n, \mathcal{F} )}{ \binom{n- \ell}{k}}.$$ In this paper, we show that for $k> \ell >1$, the set of $π_{\ell}^k(\mathcal{F})$ is dense in the interval $[0,1)$. Hence, there is no "jump" for $\ell$-degree Turán density when $k>\ell >1$. We also give a lower bound on $π_{\ell}^k(\mathcal{F})$ in terms of an ordinary Turán density.

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.