arXiv++ Combinatorics

Given a $k$-graph $H$ a complete blow-up of $H$ is a $k$-graph $\hat{H}$ formed by replacing each $v\in V(H)$ by a non-empty vertex class $A_v$ and then inserting all edges between any $k$ vertex classes corresponding to an edge of $H$. Given a subgraph $G\subseteq \hat{H}$ and an edge $e\in E(H)$ we define the density $d_e(G)$ to be the proportion of edges present in $G$ between the classes corresponding to $e$. The density Turán problem for $H$ asks: determine the minimal value $d_{crit}(H)$ such that any subgraph $G\subseteq \hat{H}$ satisfying $d_e(G)> d_{crit}(H)$ for every $e\in E(H)$ contains a copy of $H$ as a transversal, i.e. a copy of $H$ meeting each vertex class of $\hat{H}$ exactly once. We give upper bounds for this hypergraph density Turán problem that generalise the known bounds for the case of graphs due to Csikvári and Nagy, [Combinatorics, Probability and Computing, 21(4):531-553, 2012] although our methods are different, employing an entropy compression argument.

Mantel's theorem says that among all triangle-free graphs of a given order the balanced complete bipartite graph is the unique graph of maximum size. We prove an analogue of this result for 3-graphs. Let $K_4^-=\{123,124,134\}$, $F_6=\{123,124,345,156\}$ and $\mathcal{F}=\{K_4^-,F_6\}$: for $n\neq 5$ the unique $\mathcal{F}$-free 3-graph of order $n$ and maximum size is the balanced complete tripartite 3-graph $S_3(n)$ (for $n=5$ it is $C_5^{(3)}=\{123,234,345,145,125\}$). This extends an old result of Bollobás that $S_3(n) $ is the unique 3-graph of maximum size with no copy of $K_4^-=\{123,124,134\}$ or $F_5=\{123,124,345\}$.