2024/07/16 by Sumin Huang, Huang, Sumin, Gyula O. H. Katona +3
Computer Science · Mathematics · #Combinatorics (math.CO) #Computational Geometry and Mesh Generation #Digital Image Processing Techniques #FOS: Mathematics #Limits and Structures in Graph Theory
paper · pdf · doi:10.48550/arxiv.2407.12171
openalex publication_date 2024/07/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
For a family of sets F, let ω(F):=∑_\A,B\⊂ F|A∩ B|. In this paper, we prove that provided n is sufficiently large, for any F⊂ \binom[n]k with |F|=m, ω(F) is maximized by the family consisting of the first m sets in the lexicographical ordering on \binom[n]k. Compared to the maximum number of adjacent pairs in families, determined by Das, Gan and Sudakov in 2016, ω(F) distinguishes the contributions of intersections of different sizes. Then our results is an extension of Ahlswede and Katona's results in 1978, which determine the maximum number of adjacent edges in graphs. Besides, since ω(F)=(1)/(2)(∑x∈ [n]|\F∈ F:x∈ F\|2-km) for k-uniform family with size m, our results also give a sharp upper bound of the sum of squares of degrees in a hypergraph.