Phase transition of degenerate Turán problems in $p$-norms
Jun Gao,Xizhi Liu,Jie Ma,Oleg Pikhurko
2024-11-23
Abstract:For a positive real number $p$, the $p$-norm $\left\lVert G \right\rVert_p$ of a graph $G$ is the sum of the $p$-th powers of all vertex degrees. We study the maximum $p$-norm $\mathrm{ex}_{p}(n,F)$ of $F$-free graphs on $n$ vertices, focusing on the case where $F$ is a bipartite graph. The case $p = 1$ corresponds to the classical degenerate Turán problem, which has yielded numerous results indicating that extremal constructions tend to exhibit certain pseudorandom properties. In contrast, results such as those by Caro--Yuster, Nikiforov, and Gerbner suggest that for large $p$, extremal constructions often display a star-like structure.
It is natural to conjecture that for every bipartite graph $F$, there exists a threshold $p_F$ such that for $p< p_{F}$, the order of $\mathrm{ex}_{p}(n,F)$ is governed by pseudorandom constructions, while for $p > p_{F}$, it is governed by star-like constructions. We confirm this conjecture by determining the exact value of $p_{F}$, under a mild assumption on the growth rate of $\mathrm{ex}(n,F)$. Our results extend to $r$-uniform hypergraphs as well.
We also prove a general upper bound that is tight up to a $\log n$ factor for $\mathrm{ex}_{p}(n,F)$ when $p = p_{F}$. We conjecture that this $\log n$ factor is unnecessary and prove this conjecture for several classes of well-studied bipartite graphs, including one-side degree-bounded graphs and families of short even cycles.
Our proofs involve $p$-norm adaptions of fundamental tools from degenerate Turán problems, including the Erdős--Simonovits Regularization Theorem and the Dependent Random Choice.
Combinatorics