This analysis reveals bounds on the sizes of families of k-element subsets, suggesting critical configurations in combinatorial settings.
Let k≥ 2 and n≥ 3(k-1). Let F and G be families of k-element subsets of an n-element set. Suppose that |F∩ G|≥ 2 for all F and G. We show that |F||G|≤n-2k-2², and determine the extremal configurations. This settles the last unsolved case of a recent result by Zhang and Wu (J. Combin. Theory Ser. B, 2025). We also obtain the corresponding result in the product measure setting. Our proof is done by solving semidefinite programming problems.
No takes yet. Share an insight, caveat, or question.
Tanaka et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: