Write $K^{(k)}_{n}$ for the complete $k$-graph on $n$ vertices. For $2 \leq k \leq g < r$ integers, let $π\left(n, K^{(k)}_{g}, K^{(k)}_r\right)$ be the maximum density of $K^{(k)}_{g}$ in $n$ vertex $K^{(k)}_{r}$-free $k$-graphs. The main contribution of this paper is the upper bound: $π\left(n, K^{(k)}_{g}, K^{(k)}_r\right) \leq \left(1 + O\left(n^{-1}\right) \right)\prod_{m=k}^{g} \left(1 - \frac{\binom{m-1}{k-1}}{\binom{r-1}{k-1}} \right).$ The graph case ($k=2$) is the first known generalized Turán question, investigated by Erdős. The $k=g$ case is the hypergraph Turán problem where the best known general upper bound is by de Caen. The result proved here matches both bounds asymptotically, while any triple $k, g, r$ with $2 < k < g < r$ provides a new upper bound. The proof uses techniques from the theory of flag algebras to derive linear relations between different densities. These relations can be combined with linear algebraic methods. Additionally a simple flag algebraic certificate will be given for $\lim_{n \rightarrow \infty} π\left(n, K^{(3)}_4, K^{(3)}_5 \right) = 3/8$.
Reiher, Rödl and Schacht [J. London Math. Soc. 97 (2018), 77--97] showed that the uniform Turán density of every $3$-uniform hypergraph is either $0$ or at least $1/27$, and asked whether there exist $3$-uniform hypergraphs with uniform Turán density equal or arbitrarily close to $1/27$. We construct $3$-uniform hypergraphs with uniform Turán density equal to $1/27$.
Given a family of $k$-hypergraphs $\mathcal{F}$, $ex(n,\mathcal{F})$ is the maximum number of edges a $k$-hypergraph can have, knowing that said hypergraph has $n$ vertices but contains no copy of any hypergraph from $\mathcal{F}$ as a subgraph. We prove that for every rational $r$ between $0$ and $k-1$, there exists some finite family $\mathcal{F}$ of $k$-hypergraphs for which $ex(n,\mathcal{F})=Θ(n^{k-r})$.
In this paper, we consider the Turán problems on $\{1,3\}$-hypergraphs. We prove that a $\{1, 3\}$-hypergraph is degenerate if and only if it's $H^{\{1, 3\}}_5$-colorable, where $H^{\{1, 3\}}_5$ is a hypergraph with vertex set $V=[5]$ and edge set $E=\{\{2\}, \{3\}, \{1, 2, 4\}, \{1, 3, 5\}, \{1, 4, 5\}\}.$ Using this result, we further prove that for any finite set $R$ of distinct positive integers, except the case $R=\{1, 2\}$, there always exist non-trivial degenerate $R$-graphs. We also compute the Turán densities of some small $\{1,3\}$-hypergraphs.
P. Erdős [On extremal problems of graphs and generalized graphs, Israel Journal of Mathematics 2 (1964), 183-190] characterised those hypergraphs $F$ that have to appear in any sufficiently large hypergraph $H$ of positive density. We study related questions for $3$-uniform hypergraphs with the additional assumption that $H$ has to be uniformly dense with respect to vertex sets. In particular, we characterise those hypergraphs $F$ that are guaranteed to appear in large uniformly dense hypergraphs $H$ of positive density. We also review the case when the density of the induced subhypergraphs of…
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…
A non-uniform hypergraph $H=(V,E)$ consists of a vertex set $V$ and an edge set $E\subseteq 2^V$; the edges in $E$ are not required to all have the same cardinality. The set of all cardinalities of edges in $H$ is denoted by $R(H)$, the set of edge types. For a fixed hypergraph $H$, the Turán density $π(H)$ is defined to be $\lim_{n\to\infty}\max_{G_n}h_n(G_n)$, where the maximum is taken over all $H$-free hypergraphs $G_n$ on $n$ vertices satisfying $R(G_n)\subseteq R(H)$, and $h_n(G_n)$, the so called Lubell function, is the expected number of edges in $G_n$ hit by a random full chain. This …
A fundamental barrier in extremal hypergraph theory is the presence of many near-extremal constructions with very different structures. Indeed, the classical constructions due to Kostochka imply that the notorious extremal problem for the tetrahedron exhibits this phenomenon assuming Turán's conjecture. Our main result is to construct a finite family of triple systems $\mathcal{M}$, determine its Turán number, and prove that there are two near-extremal $\mathcal{M}$-free constructions that are far from each other in edit-distance. This is the first extremal result for a hypergraph family that …
Completely positive graphs have been employed to associate with completely positive matrices for characterizing the intrinsic zero patterns. As tensors have been widely recognized as a higher-order extension of matrices, the multi-hypergraph, regarded as a generalization of graphs, is then introduced to associate with tensors for the study of complete positivity. To describe the dependence of the corresponding zero pattern for a special type of completely positive tensors--the $\{0,1\}$ completely positive tensors, the completely positive multi-hypergraph is defined. By characterizing properti…
Let $G$ be a cancellative $3$-uniform hypergraph in which the symmetric difference of any two edges is not contained in a third one. Equivalently, a $3$-uniform hypergraph $G$ is cancellative if and only if $G$ is $\{F_4, F_5\}$-free, where $F_4 = \{abc, abd, bcd\}$ and $F_5 = \{abc, abd, cde\}$. A classical result in extremal combinatorics stated that the maximum size of a cancellative hypergraph is achieved by the balanced complete tripartite $3$-uniform hypergraph, which was firstly proved by Bollobás and later by Keevash and Mubayi. In this paper, we consider spectral extremal problems for…
We prove a generalized Ramsey-type result on large 2-coloured matchings in a 3-coloured complete 3-uniform hypergraph, supporting a conjecture by A. Gyárfás.
Recently, several hypergraph Turán problems were solved by the powerful random algebraic method. However, the random algebraic method usually requires some parameters to be very large, hence we are concerned about how these Turán numbers depend on such large parameters of the forbidden hypergraphs. In this paper, we determine the dependence on such specified large constant for several hypergraph Turán problems. More specifically, for complete $r$-partite $r$-uniform hypergraphs, we show that if $s_{r}$ is sufficiently larger than $s_{1},s_{2},\ldots,s_{r-1},$ then $$\textup{ex}_{r}(n,K_{s_{1},…
In 1965, Motzkin and Straus established a remarkable connection between the order of a maximum clique and the Lagrangian of a graph and provided a new proof of Turán's theorem using the connection. The connection of Lagrangians and Turán densities can be also used to prove the fundamental theorem of Erdös-Stone-Simonovits on Turán densities of graphs. Very recently, the study of Turán densities of non-uniform hypergraphs have been motivated by extremal poset problems. In this paper, we attempt to explore the applications of Lagrangian method in determining Turán densities of non-uniform hyperg…
For an $r$-uniform hypergraph $H$ and a family of $r$-uniform hypergraphs $\mathcal{F}$, the relative Turán number $\mathrm{ex}(H,\mathcal{F})$ is the maximum number of edges in an $\mathcal{F}$-free subgraph of $H$. In this paper we give lower bounds on $\mathrm{ex}(H,\mathcal{F})$ for certain families of hypergraph cycles $\mathcal{F}$ such as Berge cycles and loose cycles. In particular, if $\mathcal{C}_\ell^3$ denotes the set of all $3$-uniform Berge $\ell$-cycles and $H$ is a 3-uniform hypergraph with maximum degree $Δ$, we prove \[\mathrm{ex}(H,\mathcal{C}_4^{3})\ge Δ^{-3/4-o(1)}e(H),\] …
Let l>k>2. Let the k-graph H^k_l be obtained from the complete 2-graph K_l^2 by enlarging each edge with a new set of k-2 vertices. Mubayi ["A hypergraph extension of Turan's theorem", to appear in J. Combin. Th. (B)] computed asymptotically the Turan function ex(n,H_l^k). Here we determine the exact value of ex(n,H_l^k) for all sufficiently large n, settling a conjecture of Mubayi.
Given a family $\mathcal{F}$ of $r$-graphs, the Turán number of $\mathcal{F}$ for a given positive integer $N$, denoted by $ex(N,\mathcal{F})$, is the maximum number of edges of an $r$-graph on $N$ vertices that does not contain any member of $\mathcal{F}$ as a subgraph. For given $r\geq 3$, a complete $r$-uniform Berge-hypergraph, denoted by { ${K}_n^{(r)}$}, is an $r$-uniform hypergraph of order $n$ with the core sequence $v_{1}, v_{2}, \ldots ,v_{n}$ as the vertices and distinct edges $e_{ij},$ $1\leq i<j\leq n,$ where every $e_{ij}$ contains both $v_{i}$ and $v_{j}$. Let $\mathcal{F}^{(r)}…
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 result…
Let $F$ be a graph. We say that a hypergraph $H$ contains an induced Berge $F$ if the vertices of $F$ can be embedded to $H$ (e.g., $V(F)\subseteq V(H)$) and there exists an injective mapping $f$ from the edges of $F$ to the hyperedges of $H$ such that $f(xy) \cap V(F) = \{x,y\}$ holds for each edge $xy$ of $F$. In other words, $H$ contains $F$ as a trace. Let $ex_{r}(n,B_{ind} F)$ denote the maximum number of edges in an $r$-uniform hypergraph with no induced Berge $F$. Let $ex(n,K_r, F)$ denote the maximum number of $K_r$'s in an $F$-free graph on $n$ vertices. We show that these two Turán t…
Grosu [On the algebraic and topological structure of the set of Turán densities. \emph{J. Combin. Theory Ser. B} \textbf{118} (2016) 137--185] asked if there exist an integer $r\ge 3$ and a finite family of $r$-graphs whose Turán density, as a real number, has (algebraic) degree greater than~$r-1$. In this note we show that, for all integers $r\ge 3$ and $d$, there exists a finite family of $r$-graphs whose Turán density has degree at least~$d$, thus answering Grosu's question in a strong form.
Given $r$-uniform hypergraphs $G$ and $H$ the Turán number $\rm ex(G, H)$ is the maximum number of edges in an $H$-free subgraph of $G$. We study the typical value of $\rm ex(G, H)$ when $G=G_{n,p}^{(r)}$, the Erdős-Rényi random $r$-uniform hypergraph, and $H=C_{2\ell}^{(r)}$, the $r$-uniform linear cycle of length $2\ell$. The case of graphs ($r=2$) is a longstanding open problem that has been investigated by many researchers. We determine $\rm ex(G_{n,p}^{(r)}, C_{2\ell}^{(r)})$ up to polylogarithmic factors for all but a small interval of values of $p=p(n)$ whose length decreases as $\ell$ …
We study sufficient conditions for Hamiltonian cycles in hypergraphs, and obtain both Turán- and Dirac-type results. While the Turán-type result gives an exact threshold for the appearance of a Hamiltonian cycle in a hypergraph depending only on the extremal number of a certain path, the Dirac-type result yields a sufficient condition relying solely on the minimum vertex degree.
We give a Cayley type formula to count the number of spanning trees in the complete r-uniform hypergraph for all r >= 3. Similar to the bijection between spanning trees in complete graphs and Parking functions, we derive a bijection from spanning trees of the complete (r+1)-uniform hypergraph which arise from a fixed r-perfect matching and r-Parking functions. We observe a simple consequence of this bijection in terms of the number of regions of the extended Shi arrangement.
Hypergraphs with uniform Turán density equal to 8/27
Institute of Computer Science, Czech Academy of Sciences（捷克科学院计算机研究所）；Universität Heidelberg（海德堡大学）；Faculty of Informatics, Masaryk University（马萨里克大学信息学院）；Leipzig University（莱比锡大学）；University of Warwick（华威大学）；Max Planck Institute for Mathematics in the Sciences（马克斯·普朗克科学促进会数学研究所）；Extremal Combinatorics and Probability Group (ECOPRO), Institute for Basic Science (IBS)（基础科学研究院极值组合与概率组）
In this paper, we consider a generalized version of the rectilinear crossing number problem of drawing complete graphs on a plane. The minimum number of crossing pairs of hyperedges in the $d$-dimensional rectilinear drawing of a $d$-uniform hypergraph is known as the $d$-dimensional rectilinear crossing number of the hypergraph. The currently best-known lower bound on the $d$-dimensional rectilinear crossing number of a complete $d$-uniform hypergraph with $n$ vertices in general position in $\mathbb{R}^d$ is $Ω(\frac{2^d}{\sqrt{d}} \log d) {n \choose 2d}$. In this paper, we improve this lowe…
Fix a graph $F$. We say that a graph is {\it $F$-free} if it does not contain $F$ as a subgraph. The {\it Turán number} of $F$, denoted $\mathrm{ex}(n,F)$, is the maximum number of edges possible in an $n$-vertex $F$-free graph. The study of Turán numbers is a central problem in graph theory. The goal of this paper is to generalize a theorem of Lidický, Liu and Palmer [{\it Electron.\ J.\ of Combin.}\ {\bf 20} (2016)] that determines $\mathrm{ex}(n,F)$ for $F$ a forest of stars. In particular, we consider generalizations of the problem to three different well-studied hypergraph settings and in…
A remarkable connection between the order of a maximum clique and the Lagrangian of a graph was established by Motzkin and Straus in 1965. This connection and its extensions were applied in Turán problems of graphs and uniform hypergraphs. Very recently, the study of Turán densities of non-uniform hypergraphs has been motivated by extremal poset problems. In this paper, we give some Motzkin-Straus type results for non-uniform hypergraphs.
We show that for every η > 0 there exists an integer n_0 such that every 2-colouring of the 3-uniform complete hypergraph on n \geq n_0 vertices contains two disjoint monochromatic tight cycles of distinct colours that together cover all but at most ηn vertices. The same result holds if we replace tight cycles with loose cycles.
For a hypergraph G and a positive integer s, let χ_{\ell} (G,s) be the minimum value of l such that G is L-colorable from every list L with |L(v)|=l for each v\in V(G) and |L(u)\cap L(v)|\leq s for all u, v\in e\in E(G). This parameter was studied by Kratochvíl, Tuza and Voigt for various kinds of graphs. Using randomized constructions we find the asymptotics of χ_{\ell} (G,s) for balanced complete multipartite graphs and for complete k-partite k-uniform hypergraphs.
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 d…
Let $\mathcal{F}$ be a family of $3$-uniform linear hypergraphs. The linear Turán number of $\mathcal F$ is the maximum possible number of edges in a $3$-uniform linear hypergraph on $n$ vertices which contains no member of $\mathcal{F}$ as a subhypergraph. In this paper we show that the linear Turán number of the five cycle $C_5$ (in the Berge sense) is $\frac{1}{3 \sqrt3}n^{3/2}$ asymptotically. We also show that the linear Turán number of the four cycle $C_4$ and $\{C_3, C_4\}$ are equal asmptotically, which is a strengthening of a theorem of Lazebnik and Verstraëte. We establish a connecti…
In this paper, we study the homology of the cyclic coloring complex of three different types of $k$-uniform hypergraphs. For the case of a complete $k$-uniform hypergraph, we show that the dimension of the $(n-k-1)^{st}$ homology group is given by a binomial coefficient. Further, we discuss a complex whose $r$-faces consist of all ordered set partitions $[B_1, ..., B_{r+2}]$ where none of the $B_i$ contain a hyperedge of the complete $k$-uniform hypergraph $H$ and where $1 \in B_1$. It is shown that the dimensions of the homology groups of this complex are given by binomial coefficients. As a …
In 1967 Harary, Hedetniemi, and Prins showed that every graph $G$ admits a complete $t$-coloring for every $t$ with $χ(G) \le t \le ψ(G)$, where $χ(G)$ denotes the chromatic number of $G$ and $ψ(G)$ denotes the achromatic number of $G$ which is the maximum number $r$ for which $G$ admits a complete $r$-coloring. Recently, Edwards and Rz\c ażewski (2020) showed that this result fails for hypergraphs by proving that for every integer $k$ with $k\ge 9$, there exists a $k$-uniform hypergraph $H$ with a complete $χ(H)$-coloring and a complete $ψ(H)$-coloring, but no complete $t$-coloring for some $…
Let $\mathcal{H}$ be an $r$-uniform hypergraph and $F$ be a graph. We say $\mathcal{H}$ contains $F$ as a trace if there exists some set $S\subseteq V(\mathcal{H})$ such that $\mathcal{H}|_{S}:=\{E\cap S: E\in E(\mathcal{H})\}$ contains a subgraph isomorphic to $F.$ Let $ex_r(n,Tr(F))$ denote the maximum number of edges of an $n$-vertex $r$-uniform hypergraph $\mathcal{H}$ which does not contain $F$ as a trace. In this paper, we improve the lower bounds of $ex_r(n,Tr(F))$ when $F$ is a star, and give some optimal cases. We also improve the upper bound for the case when $\mathcal{H}$ is $3$-uni…
For integers $q\ge p\ge r\ge2$, we say that an $r$-uniform hypergraph $H$ has property $(q,p)$, if for any $q$-vertex subset $Q$ of $V(H)$, there exists a $p$-vertex subset $P$ of $Q$ spanning a clique in $H$. Let $T_{r}(n,q,p)=\min\{ e(H): H\subset \binom{[n]}{r}, H \text{~has property~} (q,p)\}$. The local Turán density about property $(q,p)$ in $r$-uniform hypergraphs is defined as $t_{r}(q,p)=\lim_{n\to \infty}T_{r}(n,q,p)/\binom{n}{r}$. Frankl, Huang and Rödl [J. Comb. Theory, Ser. A, 177 (2021)] showed that $\lim_{p\to\infty}t_{r}(ap+1,p+1)=\frac{1}{a^{r-1}}$ for positive integer $a$ and…
We consider the Turán problems of $2$-edge-colored graphs. A $2$-edge-colored graph $H=(V, E_r, E_b)$ is a triple consisting of the vertex set $V$, the set of red edges $E_r$ and the set of blue edges $E_b$ with $E_r$ and $E_b$ do not have to be disjoint. The Turán density $π(H)$ of $H$ is defined to be $\lim_{n\to\infty} \max_{G_n}h_n(G_n)$, where $G_n$ is chosen among all possible $2$-edge-colored graphs on $n$ vertices containing no $H$ as a sub-graph and $h_n(G_n)=(|E_r(G)|+|E_b(G)|)/{n\choose 2}$ is the formula to measure the edge density of $G_n$. We will determine the Turán densities of…
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.
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 Be…
On Mubayi's Polynomial-Ideal Conjecture and a Hypergraph Turán Theorem
School of Mathematics, Shandong University（山东大学数学学院）；Extremal Combinatorics and Probability Group, Institute for Basic Science（基础科学研究院极值组合与概率组）；School of Mathematical Sciences, University of Science and Technology of China（中国科学技术大学数学科学学院）
A well-known special case of a conjecture attributed to Ryser states that k-partite intersecting hypergraphs have transversals of at most k-1 vertices. An equivalent form was formulated by Gyárfás: if the edges of a complete graph K are colored with k colors then the vertex set of K can be covered by at most k-1 sets, each connected in some color. It turned out that the analogue of the conjecture for hypergraphs can be answered: Z. Király proved that in every k-coloring of the edges of the r-uniform complete hypergraph K^r (r >= 3), the vertex set of K^r can be covered by at most $\lceil k/r \…
In the early 1980s, Erdős and Sós initiated the study of the classical Turán problem with a uniformity condition: the uniform Turán density of a hypergraph $H$ is the infimum over all $d$ for which any sufficiently large hypergraph with the property that all its linear-size subhyperghraphs have density at least $d$ contains $H$. In particular, they raise the questions of determining the uniform Turán densities of $K_4^{(3)-}$ and $K_4^{(3)}$. The former question was solved only recently in [Israel J. Math. 211 (2016), 349-366] and [J. Eur. Math. Soc. 20 (2018), 1139-1159], while the latter sti…
We show that for all $\ell, k, n$ with $\ell \leq k/2$ and $(k-\ell)$ dividing $n$ the following hypergraph-variant of Lehel's conjecture is true. Every $2$-edge-colouring of the $k$-uniform complete hypergraph $\mathcal{K}_n^{(k)}$ on $n$ vertices has at most two disjoint monochromatic $\ell$-cycles in different colours that together cover all but at most $4(k-\ell)$ vertices. If $\ell \leq k/3$, then at most two $\ell$-cycles cover all but at most $2(k-\ell)$ vertices. Furthermore, we can cover all vertices with at most $4$ ($3$ if $\ell\leq k/3$) disjoint monochromatic $\ell$-cycles.
We extend results of Gyárfás and Füredi on the largest monochromatic component in $r$-colored complete $k$-uniform hypergraphs to the setting of random hypergraphs. We also study long monochromatic loose cycles in $r$-colored random hypergraphs. In particular, we obtain a random analog of a result of Gyárfás, Sárközy, and Szemerédi on the longest monochromatic loose cycle in $2$-colored complete $k$-uniform hypergraphs.
This paper is motivated by the question of how global and dense restriction sets in results from extremal combinatorics can be replaced by less global and sparser ones. The result we consider here as an example is Turan's theorem, which deals with graphs G=([n],E) such that no member of the restriction set consisting of all r-tuples on [n] induces a copy of K_r. Firstly, we examine what happens when this restriction set is replaced just by all r-tuples touching a given m-element set. That is, we determine the maximal number of edges in an n-vertex such that no K_r hits a given vertex set. Seco…
