2024/10/09 by Ting-Wei Chao, Chao, Ting-Wei, Hung-Hsun Hans Yu +1
Computer Science · #05C35 #05D05 #05D40 #26D15 #52C35 #Advanced Graph Theory Research #Classical Analysis and ODEs (math.CA) #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #FOS: Mathematics #Topological and Geometric Data Analysis
paper · pdf · doi:10.48550/arxiv.2410.06498
openalex publication_date 2024/10/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The Kruskal--Katona theorem determines the maximum number of d-cliques in an n-edge (d-1)-uniform hypergraph. A generalization of the theorem was proposed by Bollobás and Eccles, called the partial shadow problem. The problem asks to determine the maximum number of r-sets of vertices that contain at least d edges in an n-edge (d-1)-uniform hypergraph. In our previous work, we obtained an asymptotically tight upper bound via its connection to the joints problem, a problem in incidence geometry. In a different direction, Friedgut and Kahn generalized the Kruskal--Katona theorem by determining the maximum number of copies of any fixed hypergraph in an n-edge hypergraph, up to a multiplicative factor. In this paper, using the connection to the joints problem again, we generalize our previous work to show an analogous partial shadow phenomenon for any hypergraph, generalizing Friedgut and Kahn's result. The key idea is to encode the graph-theoretic problem with new kinds of joints that we call hypergraph joints. Our main theorem is a generalization of the joints theorem that upper bounds the number of hypergraph joints, which the partial shadow phenomenon immediately follows from. In addition, with an appropriate notion of multiplicities, our theorem also generalizes a generalization of Hölder's inequality considered by Finner.