arXiv++ Combinatorics

The book with $t$ pages is the graph on $t+2$ vertices consisting of $t$ triangles which intersect at exactly one common edge. For a given graph $F$, the $r$-expansion $F^r$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by adding $r-2$ distinct new vertices to each edge of $F$. We determine the Turán number of the 3-expansion of the book graph for sufficiently large $n$.

Let $\mathcal{F}_5$ denote the $3$-uniform hypergraph on the vertex set $\{f_1,f_2,\dots,f_5\}$ with hyperedges $\{f_1f_2f_3,f_1f_2f_4,f_3f_4f_5\}$. Recently, Balogh, Clemen and Luo determined the Turán number of a one-vertex blow-up of $\mathcal{F}_5$, more specifically, they blow up the vertex $f_5$ to $t$ vertices, the resulting hypergraph is denoted by $\mathcal{F}_5(f_5;t)$. They show that for infinitely many $t$, $\mathcal{F}_5(f_5;t)$ has exponentially many extremal constructions and positive Turán density. In this paper, we determine the exact Turán number of the hypergraph obtained by blowing up $f_3$ of $\mathcal{F}_5$ to $t$ vertices and show that it also has exponentially many extremal constructions. We also give a general upper bound and lower bound of the Turán number of every blow-up of $\mathcal{F}_5$. For some special blow-ups of $\mathcal{F}_5$, for example, $t$-disjoint copies of $\mathcal{F}_5$, we determine the exact Turán number. We construct a hypergraph $\mathcal{F}_{sim}(t)$ which is a subgraph of a blow-up of $\mathcal{F}_5$, and is contained in the hypergraph obtained by adding any new hyperedge to the Turán hypergraph (the balanced complete $3$-partite hypergraph), but its extremal construction is not the Turán hypergraph. We also determine the exact Turán number of $\mathcal{F}_{sim}(t)$.

Let $\mathcal{H}$ be a hypergraph and $F$ be a graph. If there exists a bijection between the hyperedges of $\mathcal{H}$ and the edges of $F$ such that each hyperedge contains its image, then we say that $\mathcal{H}$ is a \textit{Berge copy} of $F$, and the collection of Berge copies of $F$ is denoted by Berge-$F$. Given $r$-graphs $\mathcal{F}$ and $\mathcal{H}$, the generalized hyper-Turán number $\text{ex}_r(n, \mathcal{H}, \mathcal{F})$ is the maximum number of copies of $\mathcal{H}$ in $n$-vertex $\mathcal{F}$-free $r$-graphs. We study $\text{ex}_r(n, \mathcal{H}, \text{Berge-}F)$. For general $\mathcal{H}$, we connect this problem to counting copies of the shadow graph of $\mathcal{H}$ in $F$-free graphs and obtain several exact results. In particular, we show that for any hypergraph $\mathcal{H}$, if $k$ is sufficiently large, then $\text{ex}_r(n, \mathcal{H}, \text{Berge-}K_k)$ is achieved by the balanced complete $(k-1)$-partite $r$-graph, generalizing a result of Morrison, Nir, Norin, Rza{ż}ewski and Wesolek [\textit{Journal of Combinatorial Theory, Series B}, 162 (2023) 231--243] to the case of hypergraphs. We show that $\text{ex}_r(n,K_s^r,\text{Berge-}F)\le \text{ex}_s(n,\text{Berge-}F)$ and present sufficient conditions for equality. We also consider the connected generalized Turán number for Berge paths.

Let $C_k$ denote the cycle of length $k$, $S_t$ be a star with $t$ edges. And let $B_t$ be the graph consisting of $t$ copies of $C_4$ sharing one fixed edge. Equivalently, $B_t=K_2 \mathbin{\square} S_t$, which is the Cartesian product of a star with $t$ edges and an edge. Recently, Gao, Janzer, Liu and Xu [\textit{Israel J. Math. 269(2025)}] proved that the Turán number of $K_2\mathbin{\square} C_{2l}$ is $Θ(n^{\frac{3}{2}})$ for every $l\ge 4$. In this paper, we obtain upper and lower estimates for the Turán number of $B_t$ in both the general and bipartite settings for every $t\geq 2$. For the lower bound, we use random construction based on the extremal structure of $C_4$. These results imply that $\frac{1}{2\sqrt{2}}\leq \lim_{t\to \infty} \frac{\mathrm{ex}(n,B_t)}{\sqrt{t}}\leq \frac{1}{2}$, and $\frac{1}{4}\leq \lim_{t\to \infty} \frac{\mathrm{ex}_{bip}(n,B_t)}{\sqrt{t}}\leq \frac{1}{2\sqrt{2}}.$ In the case of $B_2$, we obtain sharper estimates. We show that the Turán number of $B_2$ is approximately between $(0.518+o(1))n^{\frac{3}{2}}$ and $(0.603+o(1))n^{\frac{3}{2}}$. And in the bipartite setting, it is approximately between $(0.385+o(1))n^{\frac{3}{2}}$ and $(0.468+o(1))n^{\frac{3}{2}}$. Moreover, in the bipartite setting, we give a more general result, which shows that for every tree $T$ with $t$ edges, the bipartite Turán number of $K_2\mathbin{\square}T$ is at most $\frac{\sqrt{t}}{2\sqrt{2}}(1+o(1))n^{\frac{3}{2}}$.

We say a hypergraph $\mathcal{H}$ contains a hypergraph $\mathcal{G}$ as trace if there exists a vertex subset $S \subseteq V(\mathcal{H})$ such that $|S| = |V(\mathcal{G})|$ and $\{e \cap S: e \in E(\mathcal{H})\}$ contains $\mathcal{G}$ as a sub-hypergraph. We use $\mathrm{ex}_r(n, \mathrm{Tr}_r(\mathcal{G}))$ to denote the maximum number of hyperedges in an $r$-uniform hypergraph on $n$ vertices not containing $\mathcal{G}$ as a trace. The study of Turán numbers for traces was initiated by Mubayi and Zhao who studied the case when $\mathcal{G}$ is a complete graph. Let $M_{s+1}$ denote the graph of a matching with $s+1$ edges. In this paper, we give the upper bound of $\mathrm{ex}_r(n, \mathrm{Tr}_r(M_{s+1}))$ which is sharp asymptotically. When $r=3$, we give the exact value of $\mathrm{ex}_3 (n, \mathrm{Tr}_3 (M_{s+1}))$. We also consider the generalized Turán number in the case of matching. That is, the maximum number of copies of clique $\mathcal{K}_t^r$ in hypergraphs forbidding $\mathrm{Tr}_r (M_{s+1})$ as a trace. We give an upper bound which is sharp asymptotically and when $r=3$, we give the exact value. The Turán number of forbidding a matching and the other graph is another well studied topic initiated by Alon and Frankl. We also consider an analogue problem for the trace version, i.e., forbidding trace of matching and trace of complete graph as subgraphs.

A Berge path of length $k$ in an $r$-uniform hypergraph is a collection of $k$ hyperedges $h_1,\dots,h_k$ and $k+1$ vertices $v_1,\dots,v_{k+1}$ such that $v_i, v_{i+1}\in h_i$ for each $1\le i\le k$. Győri, Katona and Lemons [\textit{European J. Combin. 58 (2016) 238--246}] generalized the Erdős-Gallai theorem to Berge paths and established bounds for the Turán number of Berge paths. However, these bounds are sharp only when some divisibility conditions hold. Gy\H ori, Lemons, Salia and Zamora [\textit{J. Combin. Theory Ser. B 148 (2021) 239--250}] determined the exact value of the Turán number of Berge paths in the case $k\le r$. In this paper, we settle the final open case $k>r$, thereby completing the determination of the Turán number of Berge paths.

We say a hypergraph $\mathcal{H}$ contains a graph $G$ as trace if there exists a vertex subset $S \subseteq V(\mathcal{H})$ such that $|S| = V(G)$ and $\{e \cap S \mid e \in E(\mathcal{H})\}$ contains $G$ as a subgraph. We use $\mathrm{ex}(n, Tr_r(G))$ to denote the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices not containing $G$ as trace. The study of Turán numbers for traces was initiated by Mubayi and Zhao~(2017) who studied $\mathrm{ex}(n, Tr_r(K_{s+1}))$ where $K_{s+1}$ is a clique on $s+1$ vertices and conjectured the exact value of $\mathrm{ex}(n, Tr_r(K_{s+1}))$. When $r \le s$, the conjecture was covered by a result of Pikhurko~(2013) who gave the exact value of Turán numbers for expanded cliques. Then Gerbner and Picollelli~(2023) gave the exact value for book graphs~($K_{1,1,t}$, the complete tripartite graph with two parts of size one and one part of size $t \ge 2$). We say $G$ is edge-critical if there exists an edge $e \in E(G)$ such that $χ(G - e) < χ(G)$ where $χ(G)$ is the chromatic number of $G$. The definition of edge-critical was given by Simonovits~(1974), who proved that for an edge-critical graph $G$ with $χ(G) = s+1 \ge 3$, the Turán graph $T(n,s)$ is the unique extremal graph for $ex(n,G)$ as $n$ is sufficiently large. In this paper, we further generalize the results of Gerbner and Picollelli~(2023) to edge-critical graphs. More precisely, we prove that for an edge-critical graph $G$ with $χ(G) = s+1$, when $s \ge r \ge 3$ and $n$ is sufficiently large, the $r$-uniform Turán graph $T_r(n,s)$ is the unique extremal hypergraph.

The $t$-fan is the graph on $2t+1$ vertices consisting of $t$ triangles which intersect at exactly one common vertex. For a given graph $F$, the $r$-expansion $F^r$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by adding $r-2$ distinct new vertices to each edge of $F$. We determine the Turán number of the 3-expansion of the $t$-fan for sufficiently large $n$.

For a given graph $F$, the $r$-uniform suspension of $F$ is the $r$-uniform hypergraph obtained from $F$ by taking $r-2$ new vertices and adding them to every edge. In this paper, we consider Turán problems on suspension hypergraphs, and we obtain several general and exact results.