Abstract
A d-simplex is defined to be a collection A1,..., Ad+1 of subsets of size k of [n] such that the intersection of all of them is empty, but the intersection of any d of them is non-empty. Furthemore, a d-cluster is a collection of d+1 such sets with empty intersection and union of size ≤ 2k, and a d-simplex-cluster is such a collection that is both a d-simplex and a d-cluster. The Erdös-Chvátal d-simplex Conjecture from 1974 states that any family of k-subsets of [n] containing no d-simplex must be of size no greater than (n-1/n-1). In 2011, Keevash and Mubayi extended this conjecture by hypothesizing that the same bound would hold for families containing no d-simplex-cluster. In this paper, we resolve Keevash and Mubayi’s conjecture for all 4 ≤ d + 1 ≤ k and n ≥ 2k - d + 2, which in turn resolves all remaining cases of the Erdös-Chvatal Conjecture except when n is very small (i.e. n < 2k-d + 2).
Similar content being viewed by others
References
R. Ahlswede and L. Khachatrian: The complete intersection theorem for systems of finite sets, European J. Combin. 18 (1997), 125–136.
V. Chvátal: An extremal set-intersection theorem, J. London Math. Soc. 9 (1974), 355–359.
G. Currier: On the d-cluster generalization of Erdős-Ko-Rado, arXiv:1812.11153 (2018).
P. Erdős, H. Ko and R. Rado: Intersection theorems for systems of finite sets, Quart. J. Math Oxford Ser. 12 (1961), 313–320.
P. Frankl: On Sperner families satisfying an additional condition, J. Combin. Theory Ser. A. 20 (1976), 1–11.
P. Frankl: On a problem of Chvátal and Erdős on hypergraphs containing no generalized simplex, J. Combin. Theory Ser. A. 30 (1981), 169–182.
P. Frankl and Z. Füredi: A new generalization of the Erdős-Ko-Rado theorem, Combinatorica 3 (1983), 341–349.
P. Frankl and Z. Füredi: Exact solution of some Turán-type problems, J. Combin. Theory Ser. A. 45 (1987), 226–262.
P. Frankl and N. Tokushige: Invitation to intersection problems for finite sets, J. Combin. Theory Ser. A. 144 (2016), 157–211.
G. Katona: A simple proof of the Erdős-Chao Ko-Rado theorem, J. Combin. Theory Ser. A. 13 (1972), 183–184.
P. Keevash and D. Mubayi: Set systems without a simplex or cluster, Combinatorica 30 (2010), 175–200.
N. Keller and N. {Sclifshitz:} The junta method for hypergraphs and the Erdős-Chvátal simplex conjecture, ARXIV 1707.02643 (2017).
N. Lifshitz: On set systems without a simplex-cluster and the junta method, J. Combin. Theory Ser. A. 170 (2020).
D. Mubayi: Erdős-Ko-Rado for three sets, J. Gombin. Theory Ser. A. 113 (2006), 547–550.
D. Mubayi: An intersection theorem for four sets, Adv. in Mathematics 215 (2007), 601–615.
D. Mubayi and R. Ramadurai: Set systems with union and intersection constraints, J. Gombin. Theory Ser. B. 99 (2009), 639–642.
D. Mubayi and J. Verstraëte: Proof of a conjecture of Erdős on triangles in set systems, Combinatorial 25 (2005), 599–614.
Acknowledgements
I would like to thank the Pomona College research circle for introducing me to problems on clusters, and in particular to Shahriar Shahriari and Archer Wheeler for working with me in the early stages. I would also like to thank my advisors József Solymosi and Richard Anstee for their support, and in particular to Richard Anstee for many hours spent helping me edit. Finally, I would like to thank Péter Frankl for helpful comments and for pointing out additional references, and to the referees for a careful reading and helpful comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Currier, G. New Results on Simplex-Clusters in Set Systems. Combinatorica 41, 495–506 (2021). https://doi.org/10.1007/s00493-020-4441-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00493-020-4441-1