arXiv++ Combinatorics

Let $k_r(G)$ denote the number of $r$-cliques in a graph $G$ and let $F_r(\cdot)$ be the Lovász--Simonovits $r$-clique density function. For any integers $2\le s<t$, we determine the asymptotically sharp lower bound on $k_t(G)$ in an $n$-vertex graph $G$ with a prescribed number $k_s(G)$, by showing that \[ \frac{k_t(G)}{n^t}\ge F_t\!\left(F_s^{-1}\!\left(\frac{k_s(G)}{n^s}\right)\right), \] where $F_s^{-1}$ denotes the generalized inverse. This strengthens Bollobás's piecewise-linear interpolation bound and, in the case $s=2$, recovers Reiher's clique density theorem via a new inductive proof.

Let $S$ and $T$ be disjoint sets with $|S|=i$ and $|T|=r-1$ for $2\le i\le r-1$, and let $B_i^{(r)}$ be the $r$-graph on $S\cup T$ whose edges are the $r$-subsets containing $S$ or $T$. We study the deficit $q_{r,i}:=1-π(B_i^{(r)})$ in its Turán density. Balogh, Bohman, Bollobás, and Zhao previously obtained bounds for these deficits with logarithmic gaps near both ends of the sequence $B_i^{(r)}$, namely, when $i=O(1)$ or $i=r-O(1)$. We close these gaps by showing that, as $r\to\infty$, for every fixed integer $a\ge1$, $q_{r,a+1}=Θ_a(r^{-a})$, and for every fixed integer $b\ge2$, $q_{r,r-b}=Θ_b(r^{-b}\log r)$.

The book number $b(G)$ of a graph $G$ is the maximum number of triangles sharing a common edge. A strengthening of Mantel's theorem due to Rademacher states that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor$ edges contains at least $\lfloor n/2\rfloor$ triangles. Another strengthening, initiated by Erdős, asserts that every such graph $G$ satisfies $b(G)\ge n/6$. Motivated by these results, Mubayi studied the tradeoff between the total number of triangles and the book number in such graphs, and asymptotically resolved the problem when $n/4\le b(G)\le n/2$. Conlon, Fox, and Sudakov conjectured that, for $n/6\le b< n/4$, every $n$-vertex graph with at least $\lfloor n^2/4\rfloor$ edges and book number at most $b$, other than the balanced complete bipartite graph, has at least $b^2(n-4b)$ triangles, with equality only for the blow-up $S_{b,n}$ of the $3$-prism. They proved the conjecture when $b$ lies in an interval with endpoint $n/4$, and also at the endpoint $b=n/6$, where they asked whether it remains valid in an interval containing this endpoint. In this paper, we answer this question affirmatively. We show that there exists a constant $\varepsilon>0$ such that the conjecture holds for all $n/6\le b\le (1/6+\varepsilon)n$. Our proof first establishes a stability theorem showing that every extremal graph is close to a blow-up of the $3$-prism, and then uses a detailed parameter analysis to force the exact six-partite structure.

An $r$-uniform hypergraph is uniquely $k$-colorable if there exists exactly one partition of its vertex set into $k$ parts such that every edge contains at most one vertex from each part. For integers $k \ge r \ge 2$, let $Φ_{k,r}$ denote the minimum real number such that every $n$-vertex $k$-partite $r$-uniform hypergraph with positive codegree greater than $Φ_{k,r} \cdot n$ and no isolated vertices is uniquely $k$-colorable. A classic result by of Bollobás\cite{Bol78} established that $Φ_{k,2} = \frac{3k-5}{3k-2}$ for every $k \ge 2$. We consider the uniquely colorable problem for hypergraphs. Our main result determines the precise value of $Φ_{k,r}$ for all $k \ge r \ge 3$. In particular, we show that $Φ_{k,r}$ exhibits a phase transition at approximately $k = \frac{4r-2}{3}$, a phenomenon not seen in the graph case. As an application of the main result, combined with a classic theorem by Frankl--Füredi--Kalai, we derive general bounds for the analogous problem on minimum positive $i$-degrees for all $1\leq i<r$, which are tight for infinitely many cases.