Cross-intersecting subfamilies of levels of hereditary families

From MaRDI portal
(Redirected from Publication:2185903)



Abstract: A set A t-intersects a set B if A and B have at least t common elements. Families mathcalA1,mathcalA2,dots,mathcalAk of sets are cross-t-intersecting if, for every i and j in 1,2,dots,k with ieqj, each set in mathcalAi t-intersects each set in mathcalAj. An active problem in extremal set theory is to determine, for a given finite family mathcalF, the structure of k cross-t-intersecting subfamilies whose sum or product of sizes is maximum. For a family mathcalH, the r-th level mathcalH(r) of mathcalH is the family of all sets in mathcalH of size r, and, for sleqr, mathcalH(s) is called a (leqr)-level of mathcalH. We solve the problem for any union mathcalF of (leqr)-levels of any union mathcalH of power sets of sets of size at least a certain integer n0, where n0 is independent of mathcalH and k but depends on r and t (dependence on r is inevitable, but dependence on t can be avoided). Our primary result asserts that there are only two possible optimal configurations for the sum. A special case was conjectured by Kamat in 2011. We also prove generalizations, whereby mathcalA1,mathcalA2,dots,mathcalAk are not necessarily contained in the same union of levels. Various ErdH{o}s-Ko-Rado-type results follow. The sum problem for a level of a power set was solved for t=1 by Hilton in 1977, and for any t by Wang and Zhang in 2011.




Cites work









This page was built for publication: Cross-intersecting subfamilies of levels of hereditary families

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2185903)