arXiv++ Combinatorics

Let $x_1, \ldots, x_n \in \mathbb{R}^d$ be unit vectors such that among any three there is an orthogonal pair. How large can $n$ be as a function of $d$, and how large can the length of $x_1 + \ldots + x_n$ be? The answers to these two celebrated questions, asked by Erdős and Lovász, are closely related to orthonormal representations of triangle-free graphs, in particular to their Lovász $\vartheta$-function and minimum semidefinite rank. In this paper, we study these parameters for general $H$-free graphs. In particular, we show that for certain bipartite graphs $H$, there is a connection between the Turán number of $H$ and the maximum of $\vartheta \left( \overline{G} \right)$ over all $H$-free graphs $G$.

A conjecture of Erdős from 1967 asserts that any graph on $n$ vertices which does not contain a fixed $r$-degenerate bipartite graph $F$ has at most $Cn^{2-1/r}$ edges, where $C$ is a constant depending only on $F$. We show that this bound holds for a large family of $r$-degenerate bipartite graphs, including all $r$-degenerate blow-ups of trees. Our results generalise many previously proven cases of the Erdős conjecture, including the related results of Füredi and Alon, Krivelevich and Sudakov. Our proof uses supersaturation and a random walk on an auxiliary graph.

A classical conjecture of Erdős and Sós asks to determine the Turán number of a tree. We consider variants of this problem in the settings of hypergraphs and multi-hypergraphs. In particular, for all $k$ and $r$, with $r \ge k (k-2)$, we show that any $r$-uniform hypergraph $\mathcal{H}$ with more than $\frac{n(k-1)}{r+1}$ hyperedges contains a Berge copy of any tree with $k$ edges different from the $k$-edge star. This bound is sharp when $r+1$ divides $n$ and for such values of $n$ we determine the extremal hypergraphs.

For a fixed set of positive integers $R$, we say $\mathcal{H}$ is an $R$-uniform hypergraph, or $R$-graph, if the cardinality of each edge belongs to $R$. For a graph $G=(V,E)$, a hypergraph $\mathcal{H}$ is called a Berge-$G$, denoted by $BG$, if there exists a bijection $f: E(G) \to E(\mathcal{H})$ such that for every $e \in E(G)$, $e \subseteq f(e)$. In this paper, we define a variant of Turán number in hypergraphs, namely the cover Turán number, denoted as $\hat{ex}_R(n, G)$, as the maximum number of edges in the shadow graph of a Berge-$G$ free $R$-graph on $n$ vertices. We show a general upper bound on the cover Turán number of graphs and determine the cover Turán density of all graphs when the uniformity of the host hypergraph equals to $3$.

For graphs $H$ and $F$, let $\text{ex}(n,H,F)$ be the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices. The study of this function, which generalizes the well-known Turán number of graphs, was systematically studied by Alon and Shikhelman recently. In this paper, we show that for any $m$ and $t\ge 2m-3\ge3$, \[\text{ex}(n,K_{m},K_{2,t})=Θ(n^{\frac{3}{2}}).\] This result improves some results of Alon and Shikhelman (J. Combin. Theory Ser. B, 121:146-172, 2016). We also study the $k$-partite $K_{s,t}$-free graph, we show that for any $k\ge3$ and $t\ge(k-1)(s-1)!+1$, \[\text{ex}_{χ\le k}(n,K_{s,t})\ge\frac{k-1}{2k}n^{2-1/s}+o(n^{2-1/s}).\] Moreover, we give a new construction of $3$-partite $K_{2,2t+1}$-free graphs with many edges.

In this note we obtain upper bounds on the number of hyperedges in 3-uniform hypergraphs not containing a Berge cycle of given odd length. We improve the bound given by Füredi and Özkahya in 2017. The result follows from a more general theorem. We also obtain some new results for Berge cliques.

For a fixed positive integer $n$ and an $r$-uniform hypergraph $H$, the Turán number $ex(n,H)$ is the maximum number of edges in an $H$-free $r$-uniform hypergraph on $n$ vertices, and the Lagrangian density of $H$ is defined as $π_λ(H)=\sup \{r! λ(G) : G \;\text{is an}\; H\text{-free} \;r\text{-uniform hypergraph}\}$, where $λ(G)$ is the Lagrangian of $G$. For an $r$-uniform hypergraph $H$ on $t$ vertices, it is clear that $π_λ(H)\ge r!λ{(K_{t-1}^r)}$. We say that an $r$-uniform hypergraph $H$ on $t$ vertices is perfect if $π_λ(H)= r!λ{(K_{t-1}^r)}$. Let $P_t=\{e_1, e_2, \dots, e_t\}$ be the linear $3$-uniform path of length $t$, that is, $|e_i|=3$, $|e_i \cap e_{i+1}|=1$ and $e_i \cap e_j=\emptyset$ if $|i-j|\ge 2$. We show that $P_3$ and $P_4$ are perfect, this supports a conjecture in \cite{yanpeng} proposing that all $3$-uniform linear hypergraphs are perfect. Applying the results on Lagrangian densities, we determine the Turán numbers of their extensions.

In many proofs concerning extremal parameters of Berge hypergraphs one starts with analyzing that part of that shadow graph which is contained in many hyperedges. Capturing this phenomenon we introduce two new types of hypergraphs. A hypergraph $\mathcal{H}$ is a $t$-heavy copy of a graph $F$ if there is a copy of $F$ on its vertex set such that each edge of $F$ is contained in at least $t$ hyperedges of $\mathcal{H}$. $\mathcal{H}$ is a $t$-wise Berge copy of $F$ if additionally for distinct edges of $F$ those $t$ hyperedges are distinct. We extend known upper bounds on the Turán number of Berge hypergraphs to the $t$-wise Berge hypergraphs case. We asymptotically determine the Turán number of $t$-heavy and $t$-wise Berge copies of long paths and cycles and exactly determine the Turán number of $t$-heavy and $t$-wise Berge copies of cliques. In the case of 3-uniform hypergraphs, we consider the problem in more details and obtain additional results.

We say that a subgraph $F$ of a graph $G$ is singular if the degrees $d_G(v)$ are all equal or all distinct for the vertices $v\in V(F)$. The singular Ramsey number Rs$(F)$ is the smallest positive integer $n$ such that, for every $m\geq n$, in every edge 2-coloring of $K_m$, at least one of the color classes contains $F$ as a singular subgraph. In a similar flavor, the singular Turán number Ts$(n,F)$ is defined as the maximum number of edges in a graph of order $n$, which does not contain $F$ as a singular subgraph. In this paper we initiate the study of these extremal problems. We develop methods to estimate Rs$(F)$ and Ts$(n,F)$, present tight asymptotic bounds and exact results.

Let the bipartite Turán number $ex(m,n,H)$ of a graph $H$ be the maximum number of edges in an $H$-free bipartite graph with two parts of sizes $m$ and $n$, respectively. In this paper, we prove that $ex(m,n,C_{2t})=(t-1)n+m-t+1$ for any positive integers $m,n,t$ with $n\geq m\geq t\geq \frac{m}{2}+1$. This confirms the rest of a conjecture of Györi \cite{G97} (in a stronger form), and improves the upper bound of $ex(m,n,C_{2t})$ obtained by Jiang and Ma \cite{JM18} for this range. We also prove a tight edge condition for consecutive even cycles in bipartite graphs, which settles a conjecture in \cite{A09}. As a main tool, for a longest cycle $C$ in a bipartite graph, we obtain an estimate on the upper bound of the number of edges which are incident to at most one vertex in $C$. Our two results generalize or sharpen a classical theorem due to Jackson \cite{J85} in different ways.

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 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 rainbow Turán number of $F$. We show that $ex^*(n,P_k)\geq \frac{k}{2}n + O(1)$ where $P_k$ is a path on $k\geq 3$ edges, generalizing a result by Maamoun and Meyniel and by Johnston, Palmer and Sarkar. We show similar bounds for brooms on $2^s-1$ edges and diameter $\leq 10$ and a few other caterpillars of small diameter.

Given two graphs $T$ and $F$, the maximum number of copies of $T$ in an $F$-free graph on $n$ vertices is called the generalized Turán number, denoted by $ex(n,T,F)$. When $T=K_2$, it reduces to the classical Turán number $ex(n,F)$. Let $M_{k}$ be a matching with $k$ edges and $K^{*}_{s,t}$ a graph obtained from $K_{s,t}$ by replacing the part of size $s$ by a clique of the same size. In this paper, we show that for any $s\geq 2$ and $n\geq 2k+1$, \[ ex(n,K_s,M_{k+1})=\max\left\{\binom{2k+1}{s}, \binom{k}{s}+(n-k)\binom{k}{s-1}\right\}. \] For any $s\geq 1$, $t\geq 2$ and $n\geq 2k+1$, \[ ex(n,K_{s,t}^*,M_{k+1})=\max\left\{\binom{2k+1}{s+t}\binom{s+t}{t}, \binom{k}{s}\binom{n-s}{t}+(n-k)\binom{k}{s+t-1}\binom{s+t-1}{t}\right\}. \] Moreover, we also study the bipartite case of the problem. Let $ex_{bip}(n,T,F)$ be the maximum possible number of copies of $T$ in an $F$-free bipartite graph with each part of size $n$. We prove that for any $s,t\geq 1$ and $n\geq k$, \[ ex_{bip}(n,K_{s,t},M_{k+1})=\left\{ \begin{aligned} &\binom{k}{s}\binom{n}{t}+\binom{k}{t}\binom{n}{s}, & \quad s\neq t, &\binom{k}{s}\binom{n}{s},&\quad s=t. \end{aligned} \right. \] Our proof is mainly based on the shifting method.

Let $\mathcal{F}$ be a family of $r$-graphs. The Turán number $ex_r(n;\mathcal{F})$ is defined to be the maximum number of edges in an $r$-graph of order $n$ that is $\mathcal{F}$-free. The famous Erdős Matching Conjecture shows that \[ ex_r(n,M_{k+1}^{(r)})= \max\left\{\binom{rk+r-1}{r},\binom{n}{r}-\binom{n-k}{r}\right\}, \] where $M_{k+1}^{(r)}$ represents the $r$-graph consisting of $k+1$ disjoint edges. Motivated by this conjecture, we consider the Turán problem for tight linear forests. A tight linear forest is an $r$-graph whose connected components are all tight paths or isolated vertices. Let $\mathcal{L}_{n,k}^{(r)}$ be the family of all tight linear forests of order $n$ with $k$ edges in $r$-graphs. In this paper, we prove that for sufficiently large $n$, \[ ex_r(n;\mathcal{L}_{n,k}^{(r)})=\max\left\{\binom{k}{r}, \binom{n}{r}-\binom{n-\left\lfloor (k-1)/r\right \rfloor}{r}\right\}+d, \] where $d=o(n^r)$ and if $r=3$ and $k=cn$ with $0<c<1$, if $r\geq 4$ and $k=cn$ with $0<c<1/2$. The proof is based on the weak regularity lemma for hypergraphs. We also conjecture that for arbitrary $k$ satisfying $k \equiv 1\ (mod\ r)$, the error term $d$ in the above result equals 0. We prove that the proposed conjecture implies the Erdős Matching Conjecture directly.

Let $\mathcal{F}$ be a family of graphs. The Turán number $ex(n;\mathcal{F})$ is defined to be the maximum number of edges in a graph of order $n$ that is $\mathcal{F}$-free. In 1959, Erdős and Gallai determined the Turán number of $M_{k+1}$ (a matching of size $k+1$) as follows: \[ ex(n;M_{k+1})= \max\left\{\binom{2k+1}{2},\binom{n}{2}-\binom{n-k}{2}\right\}. \] Since then, there has been a lot of research on Turán number of linear forests. A linear forest is a graph whose connected components are all paths or isolated vertices. Let $\mathcal{L}_{n,k}$ be the family of all linear forests of order $n$ with $k$ edges. In this paper, we prove that \[ ex(n;\mathcal{L}_{n,k})= \max \left\{\binom{k}{2},\binom{n}{2}-\binom{n-\left\lfloor \frac{k-1}{2}\right \rfloor}{2}+ c \right\}, \] where $c=0$ if $k$ is odd and $c=1$ otherwise. This determines the maximum number of edges in a non-Hamiltonian graph with given Hamiltonian completion number and also solves two open problems in \cite{WY} as special cases. Moreover, we show that our main theorem implies Erdős-Gallai Theorem and also gives a short new proof for it by the closure and counting techniques. Finally, we generalize our theorem to a conjecture which implies the famous Erdős Matching Conjecture.

For graphs $H$ and $F$, let $\operatorname{ex}(n, H, F)$ be the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices. The study of this function, which generalises the well-studied Turán numbers of graphs, was initiated recently by Alon and Shikhelman. We show that if $F$ is a tree then $\operatorname{ex}(n, H, F) = Θ(n^r)$ for some integer $r = r(H, F)$, thus answering one of their questions.

We consider unavoidable chromatic patterns in $2$-colorings of the edges of the complete graph. Several such problems are explored being a junction point between Ramsey theory, extremal graph theory (Turán type problems), zero-sum Ramsey theory, and interpolation theorems in graph theory. A role-model of these problems is the following: Let $G$ be a graph with $e(G)$ edges. We say that $G$ is omnitonal if there exists a function ${\rm ot}(n,G)$ such that the following holds true for $n$ sufficiently large: For any $2$-coloring $f: E(K_n) \to \{red, blue \}$ such that there are more than ${\rm ot}(n,G)$ edges from each color, and for any pair of non-negative integers $r$ and $b$ with $r+b = e(G)$, there is a copy of $G$ in $K_n$ with exactly $r$ red edges and $b$ blue edges. We give a structural characterization of omnitonal graphs from which we deduce that omnitonal graphs are, in particular, bipartite graphs, and prove further that, for an omnitonal graph $G$, ${\rm ot}(n,G) = \mathcal{O}(n^{2 - \frac{1}{m}})$, where $m = m(G)$ depends only on $G$. We also present a class of graphs for which ${\rm ot}(n,G) = ex(n,G)$, the celebrated Turán numbers. Many more results and problems of similar flavor are presented.

The problem of determining the Turán number of $C_4$ is a well studied problem that dates back to a paper of Erdös from 1938. It is known that Sidon sets can be used to construct $C_4$-free graphs. If $\A$ is a Sidon set in the abelian group $X$, the sum graph $G_{X, \A}$ with vertex set $X$ and edges set $E=\{\{x, y\}:x\neq y, x+y\in \A\}$ is $C_4$-free. Using the sum graph of a Sidon set of type Singer we verify a conjecture of Erdös and Simonovits concerning the number of copies of $C_4$ in a graph with $ex(q^2+q+1, C_4)+1$ edges. Further, we give a sufficient condition for the sum graph of a Sidon set to be $C_4$-saturated and describe new $C_4$-saturated graphs.

A Berge-$K_4$ in a triple system is a configuration with four vertices $v_1,v_2,v_3,v_4$ and six distinct triples $\{e_{ij}: 1\le i< j \le 4\}$ such that $\{v_i,v_j\}\subset e_{ij}$ for every $1\le i<j\le 4$. We denote by $\cal{B}$ the set of Berge-$K_4$ configurations. A triple system is $\cal{B}$-free if it does not contain any member of $\cal{B}$. We prove that the maximum number of triples in a $\cal{B}$-free triple system on $n\ge 6$ points is obtained by the balanced complete $3$-partite triple system: all triples $\{abc: a\in A, b\in B, c\in C\}$ where $A,B,C$ is a partition of $n$ points with $$\left\lfloor{n\over 3}\right\rfloor=|A|\le |B|\le |C|=\left\lceil{n\over 3}\right\rceil.$$

For a set of graphs $\mathcal{F}$, the extremal number $ex(n;\mathcal{F})$ is the maximum number of edges in a graph of order $n$ not containing any subgraph isomorphic to some graph in $\mathcal{F}$. If $\mathcal{F}$ contains a graph on $n$ vertices, then we often call the problem a spanning Turán problem. A linear forest is a graph whose connected components are all paths and isolated vertices. In this paper, we let $\mathcal{L}_n^k$ be the set of all linear forests of order $n$ with at least $n-k+1$ edges. We prove that when $n\geq 3k$ and $k\geq 2$, \[ ex(n;\mathcal{L}_n^k)=\binom{n-k+1}{2}+ O(k^2). \] Clearly, the result is interesting when $k=o(n)$.

We prove that for each odd integer $k \geq 7$, every graph on $n$ vertices without odd cycles of length less than $k$ contains at most $(n/k)^k$ cycles of length $k$. This generalizes the previous results on the maximum number of pentagons in triangle-free graphs, conjectured by Erdős in 1984, and asymptotically determines the generalized Turán number $\mathrm{ex}(n,C_k,C_{k-2})$ for odd $k$. In contrary to the previous results on the pentagon case, our proof is not computer-assisted.