English

Hypergraph Tur\'an Problems in $\ell_2$-Norm

Combinatorics 2025-01-20 v3

Abstract

There are various different notions measuring extremality of hypergraphs. In this survey we compare the recently introduced notion of the codegree squared extremal function with the Tur\'an function, the minimum codegree threshold and the uniform Tur\'an density. The codegree squared sum co2(G)\textrm{co}_2(G) of a 33-uniform hypergraph GG is defined to be the sum of codegrees squared d(x,y)2d(x,y)^2 over all pairs of vertices x,yx,y. In other words, this is the square of the 2\ell_2-norm of the codegree vector. We are interested in how large co2(G)\textrm{co}_2(G) can be if we require GG to be HH-free for some 33-uniform hypergraph HH. This maximum value of co2(G)\textrm{co}_2(G) over all HH-free nn-vertex 33-uniform hypergraphs GG is called the codegree squared extremal function, which we denote by exco2(n,H)\textrm{exco}_2(n,H). We systemically study the extremal codegree squared sum of various 33-uniform hypergraphs using various proof techniques. Some of our proofs rely on the flag algebra method while others use more classical tools such as the stability method. In particular, we (asymptotically) determine the codegree squared extremal numbers of matchings, stars, paths, cycles, and F5F_5, the 55-vertex hypergraph with edge set {123,124,345}\{123,124,345\}. Additionally, our paper has a survey format, as we state several conjectures and give an overview of Tur\'an densities, minimum codegree thresholds and codegree squared extremal numbers of popular hypergraphs. We intend to update the arXiv version of this paper regularly.

Keywords

Cite

@article{arxiv.2108.10406,
  title  = {Hypergraph Tur\'an Problems in $\ell_2$-Norm},
  author = {József Balogh and Felix Christian Clemen and Bernard Lidický},
  journal= {arXiv preprint arXiv:2108.10406},
  year   = {2025}
}

Comments

comments are welcome

R2 v1 2026-06-24T05:21:42.064Z