Hilton-Milner Theorem for Bounded Multisets
Abstract.
Let and . A -multiset in is a -set whose elements are integers from , and each element is allowed to have at most repetitions. A family of -multisets in is said to be intersecting if every pair of -multisets from the family have non-empty intersection. In this paper, we give the size and structure of the largest non-trivial intersecting family of -multisets in .
Key words and phrases:
Hilton-Milner theorem; multiset2010 Mathematics Subject Classification:
05D05, 05C35, 05A15.1. Introduction
This paper is devoted to the study of non-trivial intersecting families in bounded multisets. After some preliminaries we pass to the proof of our main result. We begin by discussing some elementary concepts which are basic to the theory developed below.
1.1. Notation
We shall use the following notation. Let be the set of natural numbers. Let , , and
In particular, when , is said to be bounded. The cardinality of
is denoted by and defined by . If
then the intersection of and is denoted by and defined by
The family of -uniform subsets of is denoted by and defined by Note that for any , we have . For , the total intersection of is denoted by and defined by . We make the convention that .
Definition 1.1.
Let .
-
(1)
is intersecting if for any , we have .
-
(2)
is maximal intersecting with respect to if is not only intersecting, but also for any , there exists , such that .
-
(3)
is trivial intersecting if , and is non-trivial intersecting if .
-
(4)
A permutation of is a bijective map from to itself. If
then
is again a subset of with the same cardinality as .
-
(5)
Let . is isomorphic to if there exists a permutation of , such that . This relation is denoted by .
Let . The discrete interval from to is denoted by and defined by . Throughout this paper we fix () and . Note that possesses this property that , and . The following two families are the most familiar structures in the field of we are studying.
-
(1)
The EKR-family , which is the candidate for the maximum intersecting family.
-
(2)
The HM-family , which is the candidate for the non-trivial maximum intersecting family.
1.2. Background
The ErdΕs-Ko-Rado theorem is the fundamental result in extremal set theory that gives the size and structure of the largest intersecting family in .
Theorem 1.2 ([MR0140419]).
Let and . If is intersecting, then . Moreover, if , then if and only if .
Since then, a lot of related works were motivated by the ErdΕs-Ko-Rado theorem, many variants of Theorem 1.2 were shown up, see [MR3534067, MR3497070] for more details. In [MR0140419], ErdΕs, Ko and Rado also showed that any maximum -intersecting family is isomorphic to for . It is known that the threshold is . This was proved by Frankl [MR0519277] for and later determined by Wilson [MR0771733] for all . In [MR0519277], Frankl conjectured on the maximum size of -intersecting family for all triple of positive integers . This conjecture was partially solved by Frankl and FΓΌredi in [MR1092847] and completely settled by Ahlswede and Khachatrian in [MR1429238].
Ascertaining the size and structure of non-trivial maximum intersecting family in was an open problem for a long time. The first result was the following, for .
Theorem 1.3 ([MR0219428]).
Let and . If is non-trivial intersecting, then . Moreover, if , then if and only if .
In [MR0480051, MR0585195], Frankl dealt with the case for . In [MR0826944], Frankl and FΓΌredi used the shifting technique to give an elegant proof of Theorem 1.3. Again, Ahlswede and Khachatrian completely solved this problem in [MR1405994]. Recently, other non-trivial maximal -intersecting families with large size had been studied, see [MR4275621, MR3565361, MR3626491].
In this paper, we generalize Theorem 1.3 to bounded multisets. Meagher and Purdy were the first to study intersecting families of . They obtained the ErdΕs-Ko-Rado theorem for in [MR2861399]. In [MR4717700], the ErdΕs-Ko-Rado theorem for was obtained. Later, FΓΌredi, Gerbner and Vizer obtained the -intersecting version of the ErdΕs-Ko-Rado theorem for in [MR3339026]. Shortly after that, Meagher and Purdy obtained the -intersecting version of the Hilton-Milner theorem, but we only state the case here.
Theorem 1.4 ([MR3425970]).
Let and . If is non-trivial intersecting, then . Moreover, if , then if and only if .
We describe their method briefly. A Kneser graph is a graph with vertex set , and two vertices are adjacent if and only if the corresponding -sets are disjoint. Thus an independent set of is equivalent to an intersecting family of . Meagher and Purdy defined the graph with vertex set , and two vertices are adjacent if and only if the corresponding -multisets are disjoint. They constructed a bijective homomorphism , which induces the following inequality
Such a homomorphism exists, due to the fact that is also a binomial coefficient. Unfortunately, is not a binomial coefficient in general. But the principle is the same, that is, reduce to the case .
1.3. Main result
In [MR4717700], we proved the ErdΕs-Ko-Rado theorem for . In this paper, we concern the Hilton-Milner theorem for .
Theorem 1.5.
Let , , and . If is non-trivial intersecting, then . Moreover, if one of the following two conditions hold
-
(A)
,
-
(B)
and ,
then if and only if .
Our result unites the statements of Theorem 1.3 and 1.4, but our proof is based on Theorem 1.3, so it is not a new proof of Theorem 1.3, but it is a new proof of Theorem 1.4.
The family of non-empty proper subsets of is denoted by and defined by .
2. Intersecting families in
In this section, we give some more notation and lemmas which will be used in our proof of the main result.
Notation 2.1.
Let , and .
-
(1)
For , the complement of is denoted by and defined by .
-
(2)
The dual of is denoted by and defined by .
-
(3)
The -uniform part of is denoted by and defined by .
-
(4)
The valuable part of is denoted by and defined by .
-
(5)
The family corresponding to is denoted by and defined by .
-
(6)
The removed part of is denoted by and defined by . Note that .
-
(7)
The family corresponding to is denoted by and defined by . Note that .
The first step is to evaluate the size of the -uniform part of .
Lemma 2.2.
Let , and . If , then . Moreover, if , then .
Proof.
Recall the definition of , which is , where . Note that
We discuss in two cases.
-
Case A:
.
In this case, we have and so . Consider the non-zero interval of and respectively.
-
(a)
.
-
(b)
, i.e., .
Then
(2.1) Hence when .
-
(a)
-
Case B:
.
In this case, we have and so . Consider the non-zero interval of and respectively.
-
(a)
.
-
(b)
, i.e., .
Then
(2.2) Hence when .
Moreover, assume , we need to show that . Otherwise, suppose . Since , the only possibility for is . Thus
Since , we have and then , contradict to . β
-
(a)
From now on, we study the intersecting families in . The following definitions are analogs of Definition 1.1.
Definition 2.3.
Let .
-
(1)
is intersecting if for any , we have .
-
(2)
is maximal intersecting with respect to if is not only intersecting, but also for any , there exists , such that .
-
(3)
Let . is isomorphic to if there exists a permutation of , such that . This relation is denoted by .
The following Lemma tells us that any maximal intersecting family in has cardinality .
Lemma 2.4 ([MR4717700], Lemma 3.1 and Corollary 3.2).
Let and is maximal intersecting with respect to . Then
-
(i)
for any , we have .
-
(ii)
is a -up-set (i.e., if and , then ).
The following two Lemmas is used in the proof of Lemma 2.7.
Lemma 2.5.
Let and is maximal intersecting with respect to . Let . Then the following two statements are equivalent:
-
(i)
is maximal intersecting with respect to .
-
(ii)
-
(a)
is a -down-set (i.e., if and , then ).
-
(b)
If , then .
-
(a)
Proof.
We prove the necessity and sufficiency respectively.
-
(ii)(i):
Since , we only need to show that is intersecting. Note that , hence is already intersecting. We discuss in two cases:
-
Case A:
and .
In this case, . By (ii)(a) and , we have (otherwise ), so .
-
Case B:
.
In this case, . By (ii)(b), we have .
-
Case A:
-
(i)(ii):
We prove (a) and (b) respectively.
-
(a)
Let and . Then . Since is intersecting, we have . By Lemma 2.4(i), we have , so .
-
(b)
Let . Then . Since is intersecting, we have is also intersecting, thus , i.e., .β
-
(a)
Lemma 2.6.
Let , and . If and is maximal intersecting with respect to with , then .
Proof.
Set . Suppose . By Lemma 2.5, we have is a -down-set, thus . So
Since , we have . Then , contradict to . β
The following Lemma characterizes the layers of .
Lemma 2.7.
Let , and . Let and is maximal intersecting with respect to with . If , then .
Proof.
Suppose there exists , such that . By Lemma 2.2, we have . By Theorem 1.3, we have . Without loss of generality, we may assume , i.e., . Set . Because , we have
By , we have . By Lemma 2.6, we have , thus . Without loss of generality, we may assume . By Lemma 2.5, we have is a -down-set, hence . Then
contradict to . β
The following Lemma characterizes the layers of a step further.
Lemma 2.8.
Let , and . If and is maximal intersecting with respect to with , then only if .
Proof.
Recall that . Set and . By Lemma 2.2 and , we have
By Theorem 1.3, we have . Without loss of generality, we may assume . By Lemma 2.6, we have , and note that , we have
Wituout loss of generality, we may assume . Because is maximal intersecting with respect to , we have
Hence .
Let . We need to show that . We discuss in two cases:
3. Proof of the main theorem
Notation 3.1.
Fix . The coefficient of in the polynomial is denoted by .
Recall that .
Lemma 3.2 ([MR4717700], Lemma 2.1 and Corollary 2.8).
satisfy the following four properties.
-
(i)
if and only if .
-
(ii)
if and only if .
-
(iii)
.
-
(iv)
If and , then .
Notation 3.3.
Let , and .
-
(1)
The support of is denoted by and defined by . Note that is a map from to .
-
(2)
The preimage of is denoted by and defined by .
-
(3)
The preimage of is denoted by and defined by .
Lemma 3.4.
Let , and . Then is maximal intersecting with respect to .
Proof.
Recall that . Note that , thus we may assume . It suffices to show that for any , there exists , such that . Since and , we may assume that and . Set
Note that . We discuss in three cases:
-
Case A:
. Now .
-
Case B:
and . Now .
-
Case C:
and . Now , hence .
Since , we have , thus there exists , such that . Set . Then .β
The following two Lemmas relate the intersecting families in and the intersecting families in .
Lemma 3.5 ([MR4717700], Lemma 3.3 and Lemma 3.4).
Let and is maximal intersecting with respect to . Let and is maximal intersecting with respect to . If , then .
Lemma 3.6.
Let with are maximal intersecting with respect to . Let with are maximal intersecting with respect to . If and , then
where .
Proof of Theorem1.5.
Acknowledgement. M. Cao is supported by the National Natural Science Foundation of China (Grant 12301431), M. Lu is supported by the National Natural Science Foundation of China (Grant 12171272 & 12161141003).