Table of Contents
Fetching ...

On $r$-cross $t$-intersecting families of partitions

Jie Wen, Benjian Lv

Abstract

In this paper, we address several intersection problems for $r$-cross $t$-intersecting families of partitions. A $k$-partition of an $n$-set $X$ is a set of $k$ pairwise disjoint non-empty subsets whose union is $X$. For $1\leq i\leq r$, let $\mathcal{F}_i$ be a family of $k_i$-partitions of $X$. We say that $\mathcal{F}_1,\mathcal{F}_2,\ldots,\mathcal{F}_r$ are $r$-cross $t$-intersecting if $|\cap_{i=1}^{r}F_i|\geq t$ for all $F_i\in\mathcal{F}_i$. The families are called non-trivial if $|\cap_{i=1}^r(\cap_{F\in\mathcal{F}_i}F)|<t$. Proving an Erdős-Ko-Rado type theorem, we determine the families maximizing $\prod_{i=1}^r|\mathcal{F}_i|$. We further determine non-trivial $r$-cross $t$-intersecting families with maximum product of sizes; this result also serves as a Hilton-Milner type theorem. In particular, for $r=2$ there are two potential structures for optimal families, and for $r\geq3$ exactly one remains.

On $r$-cross $t$-intersecting families of partitions

Abstract

In this paper, we address several intersection problems for -cross -intersecting families of partitions. A -partition of an -set is a set of pairwise disjoint non-empty subsets whose union is . For , let be a family of -partitions of . We say that are -cross -intersecting if for all . The families are called non-trivial if . Proving an Erdős-Ko-Rado type theorem, we determine the families maximizing . We further determine non-trivial -cross -intersecting families with maximum product of sizes; this result also serves as a Hilton-Milner type theorem. In particular, for there are two potential structures for optimal families, and for exactly one remains.
Paper Structure (5 sections, 98 equations)

This paper contains 5 sections, 98 equations.

Theorems & Definitions (24)

  • proof
  • proof
  • proof
  • proof
  • proof
  • proof
  • proof
  • proof
  • proof
  • proof
  • ...and 14 more