Inverse problems of the Erdős-Ko-Rado type theorems for families of vector spaces and permutations
Xiangliang Kong,Yuanxiao Xi,Bingchen Qian,Gennian Ge
DOI: https://doi.org/10.1007/s11425-020-1829-6
2021-07-12
Science China Mathematics
Abstract:<p class="a-plus-plus">Ever since the famous Erdős-Ko-Rado theorem initiated the study of intersecting families of subsets, extremal problems regarding intersecting properties of families of various combinatorial objects have been extensively investigated. Among them, studies about families of subsets, vector spaces and permutations are of particular concerns. Recently, we proposed a new quantitative intersection problem for families of subsets: For <span class="a-plus-plus inline-equation id-i-eq1"><span class="a-plus-plus equation-source format-t-e-x">\({\cal F} \subseteq \left({\matrix{{[n]} \cr k \cr}} \right)\)</span></span>, define its <em class="a-plus-plus">total intersection number</em> as <span class="a-plus-plus inline-equation id-i-eq2"><span class="a-plus-plus equation-source format-t-e-x">\({\cal I}({\cal F}) = \sum\nolimits_{{F_1},{F_2} \in {\cal F}} {\left| {{F_1} \cap {F_2}} \right|} \)</span></span>. Then, what is the structure of <span class="a-plus-plus inline-equation id-i-eq3"><span class="a-plus-plus equation-source format-t-e-x">\({\cal F}\)</span></span> when it has the maximal total intersection number among all the families in <span class="a-plus-plus inline-equation id-i-eq4"><span class="a-plus-plus equation-source format-t-e-x">\(\left({\matrix{{[n]} \cr k \cr}} \right)\)</span></span> with the same family size? In a recent paper, Kong and Ge (2020) studied this problem and characterized extremal structures of families maximizing the total intersection number of given sizes. In this paper, we consider the analogues of this problem for families of vector spaces and permutations. For certain ranges of family size, we provide structural characterizations for both families of subspaces and families of permutations having maximal total intersection numbers. To some extent, these results determine the unique structure of the optimal family for some certain values of <span class="a-plus-plus inline-equation id-i-eq5"><span class="a-plus-plus equation-source format-t-e-x">\(\left| {\cal F} \right|\)</span></span> and characterize the relationship between having maximal total intersection number and being intersecting. Besides, we also show several upper bounds on the total intersection numbers for both families of subspaces and families of permutations of given sizes.</p>
mathematics, applied