Abstract: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.

Generalizations of Joints Problem

Joints of varieties

Tight Bound and Structural Theorem for Joints

Generalized Ejiri’s Rigidity Theorem for Submanifolds in Pinched Manifolds

On Lines, Joints, and Incidences in Three Dimensions

A Common Generalization to Theorems on Set Systems with L-intersections

When Joints Meet Extremal Graph Theory: Hypergraph Joints

New bounds on curve tangencies and orthogonalities

Geometric aspects of the Jacobian of a hyperplane arrangement

On joint realization of (0, 1) matrices

Intersections of complex structures

Variety of general position problems in graphs

The Sharp Bound for the Number of Real Solutions to Polynomial Equation Systems

On a generalization of the seating couples problem

Bisecting masses with families of parallel hyperplanes

Enumeration of points, lines, planes, etc

Generalization of hinging hyperplanes

Many partitions of mass assignments

Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

Bounds for the number of moves between pants decompositions, and between triangulations

Generalized polynomials and hyperplane functions in $(\mathbb{Z}/p^k\mathbb{Z})^n$