Related papers: Hypergraphs do jump

A density $\alpha\in [0, 1)$ is a jump for $r$ if there is some $c >0$ such that there does not exist a family of $r$-uniform hypergraphs $\mathcal{F}$ with Tur\'an density $\pi(\mathcal{F})$ in $(\alpha, \alpha + c)$. Erd\"os conjectured…

A real number $\alpha\in [0, 1)$ is a jump for an integer $r\ge 2$ if there exists $c>0$ such that no number in $(\alpha , \alpha + c)$ can be the Tur\'an density of a family of $r$-uniform graphs. A classical result of Erd\H os and Stone…

An $r$-uniform hypergraph, or $r$-graph, has density $|E(G)|/|V(G)^{(r)}|$. We say $\alpha$ is a jump for $r$-graphs if there is some constant $\delta=\delta(\alpha)$ such that, for each $\varepsilon>0$ and $n\geq r$, any sufficiently large…

Let $r\ge 2$ be an integer. The real number $\alpha\in [0,1]$ is a jump for $r$ if there exists a constant $c > 0$ such that for any $\epsilon >0$ and any integer $m \geq r$, there exists an integer $n_0(\epsilon, m)$ satisfying any…

Let $\ell$ and $r$ be integers. A real number $\alpha \in [0,1)$ is a jump for $r$ if for any $\varepsilon > 0$ and any integer $m,\ m \geq r$, any $r$-uniform graph with $n > n_0(\varepsilon,m)$ vertices and at least \alpha+…

For an $r$-graph $F$, define Sidorenko exponent $s(F)$ as $$s(F):= \sup \{s \geq 0: \exists \text{$r$-graph $H$ s.t. } t_F(H) = t_{K^{(r)}_r} (H)^s > 0\},$$ where $t_{H_1}(H_2)$ denotes the homomorphism density of $H_1$ in $H_2$. The…

Let $f_r(n,v,e)$ denote the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices, in which the union of any $e$ distinct edges contains at least $v+1$ vertices. The study of $f_r(n,v,e)$ was initiated by Brown, Erd{\H{o}}s…

The Erd\H{o}s--Hajnal Theorem asserts that non-universal graphs, that is, graphs that do not contain an induced copy of some fixed graph $H$, have homogeneous sets of size significantly larger than one can generally expect to find in a…

Given a family of hypergraphs $\mathcal{H}$, we say that a hypergraph $\Gamma$ is $\mathcal{H}$-universal if it contains every $H \in \mathcal{H}$ as a subgraph. For $D, r \in \mathbb{N}$, we construct an $r$-uniform hypergraph with…

An $r$-uniform hypergraph ($r$-graph for short) is called linear if every pair of vertices belong to at most one edge. A linear $r$-graph is complete if every pair of vertices are in exactly one edge. The famous Brown-Erd\H{o}s-S\'os…

The minimum positive co-degree of a nonempty $r$-graph $H$, denoted by $\delta_{r-1}^+(H)$, is the largest integer $k$ such that for every $(r-1)$-set $S \subset V(H)$, if $S$ is contained in a hyperedge of $H$, then $S$ is contained in at…

Let $C^{2k}_r$ be the $2k$-uniform hypergraph obtained by letting $P_1,...,P_r$ be pairwise disjoint sets of size $k$ and taking as edges all sets $P_i \cup P_j$ with $i \neq j$. This can be thought of as the `$k$-expansion' of the complete…

We prove that, for every integer $r\ge 3$, the set $\Pi^{(r)}_\infty$ of Tur\'an densities of (possibly infinite) families of $r$-graphs contains non-degenerate intervals, including an interval of the form $[1-\delta_r,1]$ for some…

The Erd\H{o}s-S\'os Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $\delta>0$ and $k_0\in\mathbb N$ such that the conjecture holds for every…

An $r$-graph is a triangle if there exists a positive integer $i \le \lceil r/2 \rceil$ such that it is isomorphic to the following $r$-graph with three edges: \begin{align*} \left\{\{1, \ldots, r\},~\{1, \ldots, i, r+1, \ldots,…

A well-known conjecture of Erd\H{o}s and S\'os states that every graph with average degree exceeding $m-1$ contains every tree with $m$ edges as a subgraph. We propose a variant of this conjecture, which states that every graph of maximum…

Let $H_k^r$ denote an $r$-uniform hypergraph with $k$ edges and $r+1$ vertices, where $k \leq r+1$ (it is easy to see that such a hypergraph is unique up to isomorphism). The known general bounds on its Tur\'{a}n density are $\pi(H_k^r)…

The conjecture of Brown, Erd\H{o}s and S\'os from 1973 states that, for any $k \ge 3$, if a $3$-uniform hypergraph $H$ with $n$ vertices does not contain a set of $k+3$ vertices spanning at least $k$ edges then it has $o(n^2)$ edges. The…

The \emph{minimum positive co-degree} of a non-empty $r$-graph ${H}$, denoted $\delta_{r-1}^+( {H})$, is the maximum $k$ such that if $S$ is an $(r-1)$-set contained in a hyperedge of $ {H}$, then $S$ is contained in at least $k$ distinct…

Let $\mathcal{F}$ be a collection of $r$-uniform hypergraphs, and let $0 < p < 1$. It is known that there exists $c = c(p,\mathcal{F})$ such that the probability of a random $r$-graph in $G(n,p)$ not containing an induced subgraph from…