arXiv++ Combinatorics

Balogh, Clemen, and Lidický proved that the $\ell_{2}$-norm Turán problem for $K_{5}^{3}$ is asymptotically solved by the balanced bipartite construction, and they further conjectured that this construction is uniquely extremal for all sufficiently large $n$. We confirm this conjecture. We also determine exactly the maximum number of cliques in an $n$-vertex $K_{5}^{3}$-free $3$-uniform hypergraph for all sufficiently large $n$, thereby verifying the corresponding case of a conjecture of Frankl, Gryaznov, and Talebanfard. The main ingredients are Turán-type theorems for vertex-colored graphs forbidding balanced cliques, including an edge bound, an $\ell_{2}$-norm bound, and a sharp crossing-triangle theorem in the two-colored balanced $K_{4}$-free case. We also use a local modification procedure within the stability method. This reduces the exact hypergraph problems to proving that the relevant objective function increases under suitable local changes near the bipartite construction.

A classical object in hypergraph Turán theory is the Fano plane $\mathbb{F}$, the unique linear $3$-graph on seven vertices with seven edges. The Turán density and exact Turán number of $\mathbb{F}$, first proposed as a problem by Sós~\cite{Sos76} in the 1970s, were determined through a sequence of works by De Caen--Füredi~\cite{DCF00}, Füredi--Simonovits~\cite{FS05}, Keevash--Sudakov~\cite{KS05}, and Bellmann--Reiher~\cite{BR19}. Confirming a conjecture of Balogh--Clemen--Lidický~{\cite[Conjecture~3.1]{BCL22a}} in a stronger form, we establish an Andrásfai--Erdős--Sós--type stability theorem for $\mathbb{F}$ in the $\ell_2$-norm: there exists a positive constant $\varepsilon$ such that for large $n$, every $\mathbb{F}$-free $3$-graph on $n$ vertices with minimum $\ell_2$-norm degree at least $(5/4 - \varepsilon)n^3$ must be bipartite. As a consequence, for large $n$, the balanced complete bipartite $3$-graph is the unique extremal construction for the $\ell_{2}$-norm Turán problem of $\mathbb{F}$. Our proof includes a refinement of a classical result by Ahlswede--Katona~\cite{AK78} on counting stars, and the establishment of an Andrásfai--Erdős--Sós--type theorem for a multigraph Turán problem studied by Bellmann--Reiher~\cite{BR19}, both of which are of independent interest.

A family $\mathcal F$ of finite subsets of $\mathbb Z$ is packed into $[N]$ if suitable integer translates of its members are pairwise disjoint subsets of $[N]$. We study two prescribed-difference packing problems of Alon, Dębski, Grytczuk and Przybyło for the arithmetic progressions $A_d=\{d,2d,\ldots,\lfloor n/d\rfloor d\}$ and $B_d=\{d,2d,\ldots,nd\}$. Let $m(n)$ and $M(n)$ denote the corresponding minimum packing lengths, with subscripts indicating restrictions on the admissible differences, and let $\mathcal P(x)$ denote the set of primes at most $x$. The key ingredient is a residue-class selection scheme that encodes pairwise intersection constraints by cyclic intervals. A lattice-covering argument yields a simultaneous admissible choice, permitting substantial overlap of the containing intervals and providing the sharp upper bounds needed for the bounded-diameter family and the prime-difference equal-cardinality family. For the bounded-diameter family, we prove $m(n)\sim m_{\mathcal P(\sqrt n)}(n)\sim 4n^{3/2}/(3\log n)$. For the equal-cardinality family with prime differences, we prove $M_{\mathcal P(n)}(n)\sim n^3/(6\log n)$. For the full equal-cardinality family, we show $M(n)\ge \left(\frac{19}{108}-o(1)\right)n^3/\log n$. Together with corresponding estimates for restricted ranges of differences, these results prove several conjectures of Alon--Dębski--Grytczuk--Przybyło and disprove others.

For $k\geq2$, let $α_k$ be the supremum of the exponents $a$ for which almost every integer $n$ has $k$ distinct divisors in a multiplicative interval of relative length $(\log n)^{-a}$. Select each positive integer $i$ independently with probability $1/i$, forming a random set $\mathbf A$, and let $β_k$ be the supremum of the $c<1$ for which, with probability tending to one as $D\to\infty$, the set $\mathbf A\cap[D^c,D]$ has $k$ distinct subsets with the same sum. We prove that $α_k=β_k/(1-β_k)$, resolving a conjecture of Ford, Green and Koukoulopoulos [Invent. Math. 232 (2023), 1027--1160]. We also prove that their weak and strict entropy thresholds coincide. The proof combines flag refinement and entropy concavity with an upper bound for approximate subset sums that is uniform in arbitrary translations. A model with independent geometric prime exponents then transfers this bound to divisors.

Let $F_{\mathrm{bip}}(n)$ denote the maximum, over all $n$-vertex bipartite graphs without isolated vertices, of the ratio of the minimum local average degree to the global average degree. We prove that $F_{\mathrm{bip}}(n)=\frac14\sqrt n+\frac38+o(1)$. This answers a problem posed by Tuza. The lower bound is obtained from a new family of bipartite constructions, while the upper bound is proved by a new algebraic approach, different from the combinatorial methods used previously. The key ingredient is a spectral argument based on a normalized biadjacency matrix.

We prove the Erdős Matching Conjecture for $4$-uniform hypergraphs for every matching number $s\ge6004$. Specifically, for integers $s\ge 6004$ and $n\ge 4s+4$, if a $n$-vertex 4-uniform hypergraph $\mathcal F$ does not contain a matching of size $s+1$, then \[ |\mathcal F|\le \max\left\{\binom{4s+3}{4},\binom n4-\binom{n-s}{4}\right\}. \] Our proof introduces a finite-board reduction for general uniformity. It reduces the global conjecture to a lower-uniformity bound and a fixed finite optimization at the two adjacent vertex numbers where the candidate constructions exchange dominance. In the $4$-uniform case the board has $19$ vertices, and its weighted inequality splits into $19$-, $15$-, and $11$-vertex layers. The hardest layer is resolved by exact rational dual certificates and deterministic integer searches. All computer-assisted steps are checked in exact arithmetic by verifiers that reconstruct the finite systems directly from their mathematical definitions.

Let \(β(G)\) denote the minimum size of a feedback edge set of a digraph \(G\), and let \(γ(G)\) denote the number of unordered pairs of nonadjacent vertices. Motivated by the Chudnovsky--Seymour--Sullivan conjecture for \(3\)-free digraphs, we study the corresponding feedback-edge problem for bipartite digraphs. In the bipartite setting, \(γ(G)\) is taken to count only nonadjacent pairs with ends in distinct partite sets. We prove that every \(4\)-free bipartite digraph \(G\) satisfies \(β(G)\le γ(G)/2\). We also determine the exact Turán number of \(2k\)-free strong bipartite digraphs with partite sets \(X\) and \(Y\): if \(|X|,|Y|\ge k+1\), then the maximum number of edges is $$(|X|-(k-1))(|Y|-(k-1))+2k-2.$$ Finally, for the extremal case \(k=2\), we analyze the structure of \(4\)-free strong bipartite Turán digraphs and prove the sharper bound \(β(G)\le γ(G)/3\) for all such digraphs. This constant is attained by a natural balanced three-block construction.

For fixed graphs $H$ and $F$, let $\ex(n,H,F)$ denote the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. In this note, we prove the generalized rational exponents conjecture, posed by Gerbner and Palmer, showing that for every rational number $α\ge1$, there exist fixed graphs $H_α$ and $F_α$ such that \[ \ex(n,H_α,F_α)=Θ(n^α). \] Furthermore, the counting graph $H_α$ can always be chosen connected with diameter at most $3$. Our argument hinges on a localization--compression--shift framework, which transforms the Bukh--Conlon finite family construction for edges into a generalized Turán problem setting with a single forbidden graph.

For an $n$-vertex graph $G$ and a permutation $π$ of its vertex set, let $I_G(π)=|E(G)\cap E(πG)|$, and let $μ(G)=\min_π I_G(π)$. Let $f(n,k)$ be the minimum number of edges in an $n$-vertex graph $G$ satisfying $μ(G)\ge k$. Erdős recorded a construction of Mullin showing $f(n,5)\le 2n-2$ and asked whether equality holds for sufficiently large $n$. We prove that it does: $f(n,5)=2n-2$ for all sufficiently large $n$. Equivalently, every sufficiently large $n$-vertex graph with at most $2n-3$ edges admits a relabelling with at most four common edges. The proof combines a quantitative exclusion of almost-universal vertices, a finite high-degree core with low-degree buffer vertices, list packing, and a sparse permutation version of the Lovász local lemma.

Let $F(N)$ denote the largest cardinality of a Sidon subset of $\{0, 1, \dots, N - 1\}$. We prove \[ F(N) \le N^{1/2} + 0.94601 N^{1/4} + O(1). \] This improves the recently announced coefficient $0.97633$ obtained by Carter, Georgiev, Gómez-Serrano, Hunter, O'Bryant, Tao and Wagner. It is also very close to, and numerically below, the tentatively reported value of approximately $0.947$. The argument is based on a vector-valued convolution inequality: several smoothing kernels share the task of producing a boundary majorant, while their $L^2$ energies are averaged. The analytic reduction is elementary. The final constant is supplied by a finite rational certificate, verified by a short program using exact arithmetic only.

For every integer $k \ge 1$ and sufficiently large $n$, we show that the extremal construction for the Turán number of the $4$-uniform tight cycle of length $4k+2$ minus one edge is a complete odd-bipartite $4$-graph. In particular, since $C_{6}^{4-}$ contains the $4$-uniform expanded triangle as a subgraph, our result extends that of Frankl and Keevash--Sudakov on the Turán density and the Turán number of the $4$-uniform expanded triangle. We also show that the Turán density of $C_{4k+2}^{4}$ is $1/2$ for all integers $k \ge 2$, and establish the corresponding stability result. This strengthens the result of Sankar on the Turán density of $C_{4k+2}^{4}$ which holds only for all sufficiently large $k$.

We study the fixed-density semi-inducibility profiles of the red-blue star $S_{2,1}$, which has one distinguished center, two red edges and one blue edge. For an $n$-vertex graph $G$, let $N(S_{2,1},G)$ be the number of injective labeled copies in which the two red edges of $S_{2,1}$ are mapped to edges of $G$ and its blue edge is mapped to a non-edge of $G$, that is, \begin{align*} N(S_{2,1},G)= \sum_{v\in V(G)} d(v)(d(v)-1)(n-1-d(v)). \end{align*} For every fixed red edge density $β\in[0,1]$, we determine both extremal $S_{2,1}$-densities. On the upper side, we prove the missing low-density range and, together with the theorem of Balogh, Lidický, Mubayi, Pfender and Volec for $β\ge 1/4$, obtain the full four-branch profile predicted in their work. On the lower side, we show that the natural endpoint profile coming from the quasi-star and quasi-clique constructions is not universal; the correct minimum is given by a one-parameter three-class complement-split family. The proofs use a transfer argument with degree-square tie-breaking, reducing the extremal analysis to almost-regular, threshold and finite-staircase optimizations.

For graphs $F$ and $H$, let $\ex(n,F,H)$ denote the maximum number of copies of $F$ in an $n$-vertex $H$-free graph. Janzer, Longbrake and Yepremyan recently proved that, for fixed $3<a\le b$ and sufficiently large $t$, \[ \ex(n,K_{a,b},K_{3,t})=Θ(n^3). \] We make their threshold explicit, showing that this conclusion holds for all $t\ge τ(b):=2\max\{3,\lceil b/2\rceil\}+1.$ In particular, for every even $b\ge 6$, this matches the necessary threshold $t=b+1$. The main new ingredient is an explicit finite-field point set whose plane sections are controlled directly, rather than through a general bounded-complexity algebraic lemma. This direct line-and-conic section analysis gives the required \(K_{3,t}\)-freeness while preserving many coplanar \(b\)-element subsets.

For a clique $K_r$, a graph is $K_r$-saturated if it contains no copy of $K_r$ and the addition of any edge from its complement creates a $K_r$. A classical result of Erdős-Hajnal-Moon and Zykov shows that the number of edges of an $n$-vertex $K_r$-saturated graph is at least $(r-2)n-\binom{r-1}{2}$. In this paper, we focus on the number of edges of the $K_r$-saturated graphs with a fixed matching number. Let $G$ be an $n$-vertex $K_r$-saturated graph with matching number $ν(G) = s$. For sufficiently large $n$, we prove that the number of edges \begin{equation*} e(G)\geq \left\{\begin{array}{cl}{(r-1)n-\frac{r}{2}(r-1)-1,}&{\quad\mathrm{if}~s=r-1;}\\{(r-1)n + (s-r)^2 - \frac{1}{2}(r+2)(r-3) - 5,}&{\quad\mathrm{if}~s>r-1.}\\\end{array}\right. \end{equation*} Moreover, we completely characterize the graphs attaining the equality.

We study non-trivial intersection problems for multi-part hypergraphs, excluding the usual extremal examples determined by fixed vertices or fixed coordinates. Our first result determines the exact value of the non-trivial $t$-intersection problem in the symmetric product $[n]^r$ for $1\le t\le r-2$ and all $n\ge2$. Frankl and Nie proved a two-candidate formula for sufficiently large $n$ and conjectured it for all $n\ge 2$; our formula shows that the conjectured expression must be enlarged, in small ranges of $n$, by additional Ahlswede--Khachatrian ball-type terms. Our second result concerns intersecting families in general products $X_1\times\cdots\times X_r$, where $|X_i|=n_i$, with no common vertex. Let $m_0(1,n_1,\ldots,n_r)$ denote the largest size of such a family. We show that this number is equal to the maximum of $\sum_{X\in \mathcal{D}}\prod_{i\in X}(n_i-1)$ over all downsets $\mathcal{D}\subseteq 2^{[r]}$ such that $\bigcup_{X\in \mathcal{D}}X=[r]$ and no two members of $\mathcal{D}$ have union $[r]$. This finite reduction separates the intersection obstruction from the part sizes and yields explicit fully asymmetric formulas for $r=4,5,6$.

Let $\mathcal{H}$ be an $r$-uniform hypergraph. For $S\in \binom{V(\mathcal{H})}{j}$, let $\mathrm{deg}(S)$ be the number of edges of $\mathcal{H}$ containing $S$, and define the $(j,p)$-norm of $\mathcal{H}$ by $\|\mathcal{H}\|_{j,p}=\left(\sum_{S\in \binom{V(\mathcal{H})}{j}}\mathrm{deg}(S)^p\right)^{1/p}$. Motivated by a problem of Chao, Dong, Shen and Yang, we determine the maximum number of $t$-cliques in an $n$-vertex $r$-graph with bounded $(j,p)$-norm in the range $p>(t-j)/(r-j)$. The proof uses an entropy argument adapted to hypergraphs, together with a continuous interpolation step. The bound is sharp whenever the corresponding Steiner systems exist.

Motivated by the Erdős--Sós bipartite link conjecture, Füredi (Oberwolfach, 2004) asked for the asymptotic maximum edge density $π_{\mathrm{link}}(t)$ of $3$-graphs in which the link graph of every vertex is $t$-partite. Goldwasser's recursive blow-up construction based on projective planes gives the lower bound $π_{\mathrm{link}}(t)\ge 1-t^{-1}-(2+o_t(1))t^{-2}$ whenever $t-1$ is a prime power. In this note, we prove the upper bound $π_{\mathrm{link}}(t)\le 1-t^{-1}-t^{-2}/12$ for every $t \ge 2$. Together with Goldwasser's construction, this determines, up to a constant factor, the correct order of the gap between $π_{\mathrm{link}}(t)$ and the trivial averaging upper bound $1-t^{-1}$ for all prime-power values of $t-1$. In fact, our argument applies in the more general setting of $3$-graphs with no generalized daisies, equivalently, $3$-graphs in which the link graph of every vertex is $K_{t+1}$-free. We also establish an analogous upper bound for the positive $(r-1)$-codegree Turán density of generalized daisies.

The famous Tetrahedron Conjecture of Turán from the 1940s asserts that the number of edges in an $n$-vertex $3$-graph without the tetrahedron, the complete $3$-graph on four vertices, cannot exceed that of the balanced complete cyclic $3$-partite $3$-graph, whose edges are of types $V_1 V_2 V_3$, $V_1 V_1 V_2$, $V_2 V_2 V_3$, and $V_3 V_3 V_1$. A recent surprising result of Balogh-Clemen-Lidický [J. Lond. Math. Soc. (2) 106 (2022)] shows that this conjecture is asymptotically true in the $\ell_2$-norm, where the number of edges is replaced by the sum of squared codegrees. They further conjectured that, in this $\ell_2$-norm setting, the $3$-partite construction is uniquely extremal for large $n$. We confirm this conjecture. Two key ingredients in our proofs include establishing a Mantel theorem for vertex-colored graphs that forbid certain types of triangles, and introducing a novel procedure integrated into Simonovits' stability method, which essentially reduces the task to verifying that the $\ell_2$-norm of certain near-extremal constructions increases under suitable local modifications. The strategy in the latter may be of independent interest and potentially applicable to other extremal problems.

A classical theorem of Ahlswede and Katona determines the maximum density of the $2$-edge star in a graph with a given edge density. Motivated by its application in hypergraph Turán problems, we establish a refinement of their result under the additional assumption that the graph contains a large independent set in which every vertex has high degree.