arXiv++ Combinatorics

Let \(H\) be a finite hypergraph with rank $r$ and minimum degree \(d\). In the Maker--Breaker degree game, Maker and Breaker alternately claim previously unclaimed hyperedges of \(H\), with Maker moving first, and Breaker seeks to maximize the minimum degree $δ(H_{\mathrm B})$ of his spanning subhypergraph $H_{\mathrm B}$. We prove that, for every fixed \(r\ge2\) and all sufficiently large \(d\), Breaker has a deterministic strategy satisfying \[ δ(H_{\mathrm B})\ge \frac{d}{r+1}-\sqrt{d\log d}. \] For graphs, this improves the classical universal lower bound \(d/4\) to \(d/3-\sqrt{d\log d}\). The proof introduces a virtual balancing process, encodes local imbalance by a multiplicative risk, and keeps the resulting risk vector in the Shearer region throughout the game.

For integers $1\le \ell<k$, let $Π^k_\ell$ denote the single-forbidden $\ell$-degree Turán spectrum of $k$-uniform hypergraphs. We introduce transfer functions for this spectrum: explicit functions $f$ such that, for every $F$, there is another single $k$-graph $F^*$ with $π_\ell(F^*)=f(π_\ell(F))$. This gives a mechanism for producing new single-forbidden densities while retaining full control of the resulting value. Our transfer functions are realized by a new family of suspension-type operations, called tree suspensions. From these operations we obtain three explicit maps: one acting on $Π^k_\ell$ for every $1\le\ell<k$, a second acting when $\ell\ge k/2$, and a third acting in the ordinary Turán case $\ell=1$. The common feature is a robust tree structure which gives the lower bound by a two-part construction and, in the regimes above, admits a matching embedding or Lagrangian upper bound. As a first application, the universal transfer function propagates accumulation points. Using the recent zero-accumulation results for $\ell\ge2$ together with the ordinary Turán accumulation result of Conlon and Schülke, we prove that $Π^k_\ell$ has infinitely many accumulation points for every $k\ge3$ and every $1\le\ell<k$. This recovers, in particular, the known infinitude of accumulation points in the ordinary and codegree spectra. As a second application, combining two independent transfer functions forces algebraic degrees to grow. For every $k\ge3$ and every $\ell\in\{1,\lceil k/2\rceil,\ldots,k-2\}$, the spectrum $Π^k_\ell$ contains algebraic numbers of arbitrarily large degree over $\mathbb Q$. Thus the arithmetic complexity previously known for finite forbidden families already occurs in the single-forbidden spectrum, both for ordinary Turán density and for a broad range of degree Turán densities.

For integers $1\le \ell<k$, the $\ell$-degree Turán density $π_\ell(F)$ measures the minimum $\ell$-degree threshold that forces a copy of a fixed $k$-uniform hypergraph $F$, generalizing both the classical Turán density $π_1$ and the codegree Turán density $π_{k-1}$. Motivated by Erdős' characterization of $k$-graphs with zero Turán density, we study the structural implications of vanishing $\ell$-degree Turán density. We prove for every uniformity $k\ge 3$ that if $π_2(F)=0$, then $F$ admits a $2$-vanishing order-a global vertex ordering under which all edges align canonically. This provides a higher-degree analogue of the classical fact that $π_1(F)=0$ forces $k$-partiteness, and identifies a structural obstruction to vanishing $2$-degree Turán density. As an application, we show that, unlike $π_1$, $π_2$ accumulates at $0$. For $3\le \ell\le k-1$, we also obtain weaker necessary conditions for $π_\ell(F)=0$. The proof combines random geometric building blocks, a design-theoretic gluing scheme, and random sparsification to reconcile positive $2$-degree with local vanishing structure.

In the paper, we focus on embedding clique immersions and subdivisions within sparse expanders, and we derive the following main results: (1) For any $0< η< 1/2$, there exists $K>0$ such that for sufficiently large $n$, every $(n,d,λ)$-graph $G$ contains a $K_{(1-5η)d}$-immersion when $d\geq Kλ$. (2) For any $\varepsilon>0$ and $0<η<1/2$, the following holds for sufficiently large $n$. Every $(n,d,λ)$-graph $G$ with $2048λ/η^2<d\leq ηn^{1/2-\varepsilon}$ contains a $K_{(1-η)d}^{(\ell)}$-subdivision, where $\ell = 2 \left\lceil \log(η^2n/4096)\right\rceil + 5$. (3) There exists $c>0$ such that the following holds for sufficiently large $d$. If $G$ is an $n$-vertex graph with average degree $d(G)\geq d$, then $G$ contains a $K_{c d}^{(\ell)}$-immersion for some $\ell\in \mathbb{N}$. In 2018, Dvo{ř}{á}k and Yepremyan asked whether every graph $G$ with $δ(G)\geq t$ contains a $K_t$-immersion. Our first result shows that it is asymptotically true for $(n,d,λ)$-graphs when $λ=o(d)$. In addition, our second result extends a result of Dragani{ć}, Krivelevich and Nenadov on balanced subdivisions. The last result generalises a result of DeVos, Dvo{ř}{á}k, Fox, McDonald, Mohar, Scheide on $1$-immersions of large cliques in dense graphs.

Determining the Turán densities of hypergraphs is a notoriously difficult problem at the core of combinatorics. Although Turán posed this problem in 1941, $π(K_{\ell}^{(k)})$ remains unknown for all $\ell>k\geq 3$. Prior to this work, it was not even known whether $π(K_{\ell}^{(k)})<π(K_{\ell+1}^{(k)})$ holds for general $\ell$ and $k$, and the best-known bounds on $π(K_{\ell}^{(k)})$ are far from implying anything close to this. We prove that $π(K_{\ell}^{(k)})<π(K_{\ell+1}^{(k)})$, for all $\ell>k\geq 3$, and provide a general criterion to distinguish the Turán densities of two hypergraphs. As a corollary, we obtain that $π(K_{k+1}^{(k)})<π(K_{k+2}^{(k)-})$, for all $k\geq 3$. For $k=3$, this was previously proved by Markström, answering a question by Erdős.

For a $k$-uniform hypergraph (or simply $k$-graph) $F$, the codegree Turán density $π_{\mathrm{co}}(F)$ is the supremum over all $α$ such that there exist arbitrarily large $n$-vertex $F$-free $k$-graphs $H$ in which every $(k-1)$-subset of $V(H)$ is contained in at least $αn$ edges. Recently, it was proved that for every $3$-graph $F$, $π_{\mathrm{co}}(F)=0$ implies $π_{\therefore}(F)=0$, where $π_{\therefore}(F)$ is the uniform Turán density of $F$ and is defined as the supremum over all $d$ such that there are infinitely many $F$-free $k$-graphs $H$ satisfying that any induced linear-size subhypergraph of $H$ has edge density at least $d$. In this paper, we introduce a layered structure for $3$-graphs which allows us to obtain the reverse implication: every layered $3$-graph $F$ with $π_{\therefore}(F)=0$ satisfies $π_{\mathrm{co}}(F)=0$. Along the way, we answer in the negative a question of Falgas-Ravry, Pikhurko, Vaughan and Volec [J. London Math. Soc., 2023] about whether $π_{\therefore}(F)\leqπ_{\mathrm{co}}(F)$ always holds. In particular, we construct counterexamples $F$ with positive but arbitrarily small $π_{\mathrm{co}}(F)$ while having $π_{\therefore}(F)\ge 4/27$.

For a $k$-uniform hypergraph (or simply $k$-graph) $F$, the codegree Turán density $π_{\mathrm{co}}(F)$ is the infimum over all $α$ such that any $n$-vertex $k$-graph $H$ with every $(k-1)$-subset of $V(H)$ contained in at least $αn$ edges has a copy of $F$. The uniform Turán density $π_{\therefore}(F)$ is the supremum over all $d$ such that there are infinitely many $F$-free $k$-graphs $H$ satisfying that any linear-size subhypergraph of $H$ has edge density at least $d$. Falgas-Ravry, Pikhurko, Vaughan and Volec [J. London Math. Soc., 2023] asked whether for every $3$-graph $F$, $π_{\therefore}(F)\leqπ_{\mathrm{co}}(F)$. We provide a positive answer to this question provided that $π_{\mathrm{co}}(F)=0$. Our proof relies on a random geometric construction and a new formulation of the characterization of $3$-graphs with vanishing uniform Turán density due to Reiher, R{ö}dl and Schacht [J. London Math. Soc., 2018]. Along the way, we answer a question of Falgas-Ravry, Pikhurko, Vaughan and Volec about subhypergraphs with linear minimum codegree in uniformly dense hypergraphs in the negative.