Journal of Combinatorial Theory Series A ( IF 1.1 ) Pub Date : 2020-11-26 , DOI: 10.1016/j.jcta.2020.105369 Jason O'Neill , Jacques Verstraëte
For an integer , a family of sets is d-wise intersecting if for any distinct sets , , and non-trivial if . Hilton and Milner conjectured that for and large enough n, the extremal (i.e. largest) non-trivial d-wise intersecting family of k-element subsets of is, up to isomorphism, one of the following two families: The celebrated Hilton-Milner Theorem states that is the unique, up to isomorphism, extremal non-trivial intersecting family for . We prove the conjecture and prove a stability theorem, stating that any large enough non-trivial d-wise intersecting family of k-element subsets of is a subfamily of or .
中文翻译:
非平凡的d交集家庭
对于整数 , 一个家庭 如果有任何不同的集合,则集合的d方向相交, ,并且如果不重要。希尔顿和米尔纳猜想是并且足够大的n,是的k个元素子集的极(即最大)非平凡d方向相交族 直到同构,是以下两个家族之一: 著名的希尔顿-米尔纳定理指出: 是唯一的,直至同构的极端非平凡相交家族 。我们证明了这个猜想,并证明了一个稳定性定理,指出任何足够大的非平凡d-相交族的k-子集 是的一个亚科 要么 。