English

Maximal fractional cross-intersecting families

Combinatorics 2022-01-20 v1

Abstract

Given an irreducible fraction cd[0,1]\frac{c}{d} \in [0,1], a pair (A,B)(\mathcal{A},\mathcal{B}) is called a cd\frac{c}{d}-cross-intersecting pair of 2[n]2^{[n]} if A,B\mathcal{A}, \mathcal{B} are two families of subsets of [n][n] such that for every pair AAA \in\mathcal{A} and BBB\in\mathcal{B}, AB=cdB|A \cap B|= \frac{c}{d}|B|. Mathew, Ray, and Srivastava [{\it\small Fractional cross intersecting families, Graphs and Comb., 2019}] proved that AB2n|\mathcal{A}||\mathcal{B}|\le 2^n if (A,B)(\mathcal{A}, \mathcal{B}) is a cd\frac{c}{d}-cross-intersecting pair of 2[n]2^{[n]} and characterized all the pairs (A,B)(\mathcal{A},\mathcal{B}) with AB=2n|\mathcal{A}||\mathcal{B}|=2^n, such a pair also is called a maximal cd\frac cd-cross-intersecting pair of 2[n]2^{[n]}, when cd{0,12,1}\frac cd\in\{0,\frac12, 1\}. In this note, we characterize all the maximal cd\frac cd-cross-intersecting pairs (A,B)(\mathcal{A},\mathcal{B}) when 0<cd<10<\frac{c}{d}<1 and cd12\frac cd\not=\frac 12, this result answers a question proposed by Mathew, Ray, and Srivastava (2019).

Keywords

Cite

@article{arxiv.2201.07510,
  title  = {Maximal fractional cross-intersecting families},
  author = {Hongkui Wang and Xinmin Hou},
  journal= {arXiv preprint arXiv:2201.07510},
  year   = {2022}
}

Comments

7 pages

R2 v1 2026-06-24T08:54:59.580Z