Balanced supersaturation for some degenerate hypergraphs

A classical theorem of Simonovits from the 1980s asserts that every graph $G$ satisfying ${e(G) \gg v(G)^{1+1/k}}$ must contain $\gtrsim \left(\frac{e(G)}{v(G)}\right)^{2k}$ copies of $C_{2k}$. Recently, Morris and Saxton established a balanced version of Simonovits' theorem, showing that such $G$ has $\gtrsim \left(\frac{e(G)}{v(G)}\right)^{2k}$ copies of $C_{2k}$, which are `uniformly distributed' over the edges of $G$. Moreover, they used this result to obtain a sharp bound on the number of $C_{2k}$-free graphs via the container method. In this paper, we generalise Morris-Saxton's results for even cycles to $\Theta$-graphs. We also prove analogous results for complete $r$-partite $r$-graphs.Comment: Changed title, abstract and introduction were rewritte

Covering and tiling hypergraphs with tight cycles

Given $3 \leq k \leq s$, we say that a $k$-uniform hypergraph $C^k_s$ is a tight cycle on $s$ vertices if there is a cyclic ordering of the vertices of $C^k_s$ such that every $k$ consecutive vertices under this ordering form an edge. We prove that if $k \ge 3$ and $s \ge 2k^2$, then every $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $(1/2 + o(1))n$ has the property that every vertex is covered by a copy of $C^k_s$. Our result is asymptotically best possible for infinitely many pairs of $s$ and $k$, e.g. when $s$ and $k$ are coprime. A perfect $C^k_s$-tiling is a spanning collection of vertex-disjoint copies of $C^k_s$. When $s$ is divisible by $k$, the problem of determining the minimum codegree that guarantees a perfect $C^k_s$-tiling was solved by a result of Mycroft. We prove that if $k \ge 3$ and $s \ge 5k^2$ is not divisible by $k$ and $s$ divides $n$, then every $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $(1/2 + 1/(2s) + o(1))n$ has a perfect $C^k_s$-tiling. Again our result is asymptotically best possible for infinitely many pairs of $s$ and $k$, e.g. when $s$ and $k$ are coprime with $k$ even.Comment: Revised version, accepted for publication in Combin. Probab. Compu

The codegree threshold of K4−K_4^-

The codegree threshold $\mathrm{ex}_2(n, F)$ of a $3$-graph $F$ is the minimum $d=d(n)$ such that every $3$-graph on $n$ vertices in which every pair of vertices is contained in at least $d+1$ edges contains a copy of $F$ as a subgraph. We study $\mathrm{ex}_2(n, F)$ when $F=K_4^-$, the $3$-graph on $4$ vertices with $3$ edges. Using flag algebra techniques, we prove that if $n$ is sufficiently large then $\mathrm{ex}_2(n, K_4^-)\leq (n+1)/4$. This settles in the affirmative a conjecture of Nagle from 1999. In addition, we obtain a stability result: for every near-extremal configuration $G$, there is a quasirandom tournament $T$ on the same vertex set such that $G$ is close in the edit distance to the $3$-graph $C(T)$ whose edges are the cyclically oriented triangles from $T$. For infinitely many values of $n$, we are further able to determine $\mathrm{ex}_2(n, K_4^-)$ exactly and to show that tournament-based constructions $C(T)$ are extremal for those values of $n$.Comment: 31 pages, 7 figures. Ancillary files to the submission contain the information needed to verify the flag algebra computation in Lemma 2.8. Expands on the 2017 conference paper of the same name by the same authors (Electronic Notes in Discrete Mathematics, Volume 61, pages 407-413