Related papers: On Cross-intersecting Sperner Families

The well-known Erd\H{o}s--Ko--Rado theorem states that for $n> 2k$, every intersecting family of $k$-sets of $[n]:=\{1,\ldots ,n\}$ has at most $ {n-1 \choose k-1}$ sets, and the extremal family consists of all $k$-sets containing a fixed…

A family of sets is said to be symmetric if its automorphism group is transitive, and $3$-wise intersecting if any three sets in the family have nonempty intersection. Frankl conjectured in 1981 that if $\mathcal{A}$ is a symmetric $3$-wise…

A central result in extremal set theory is the celebrated theorem of Sperner from 1928, which gives the size of the largest family of subsets of [n] not containing a 2-chain. Erdos extended this theorem to determine the largest family…

For two families $\mathcal{A}, \mathcal{B} \subseteq \mathcal{P}([k])$, we write $\mathcal{A}\vdash\mathcal{B}$ if $A\not\supseteq B$ for each two sets $A \in \mathcal{A}$ and $B \in \mathcal{B}$. $\mathcal{A}$ and $\mathcal{B}$ are called…

A family $\mathcal{F}$ of $k$-subsets of an $n$-set is called $s$-almost $t$-intersecting if each member is $t$-disjoint with at most $s$ members. In this paper, we prove that, if $\left|\mathcal{F}\right|$ is maximum, then $\mathcal{F}$…

Let $\mathcal A=\{A_1,\ldots,A_n\}$ be a family of sets in the plane. For $0 \leq i < n$, denote by $f_i$ the number of subsets $\sigma$ of $\{1,\ldots,n\}$ of cardinality $i+1$ that satisfy $\bigcap_{i \in \sigma} A_i \neq \emptyset$. Let…

Let $k$, $t$ and $m$ be positive integers. A $k$-multiset of $[m]$ is a collection of $k$ elements of $[m]$ with repetition and without ordering. We use $\left(\binom {[m]}{k}\right)$ to denote all the $k$-multisets of $[m]$. Two multiset…

Given a set of points in the plane, a \emph{crossing family} is a collection of segments, each joining two of the points, such that every two segments intersect internally. Aronov et al. [Combinatorica,~14(2):127-134,~1994] proved that any…

A family $\mathcal{F} \subset \mathcal{P}(n)$ is $r$-wise $k$-intersecting if $|A_1 \cap \dots \cap A_r| \geq k$ for any $A_1, \dots, A_r \in \mathcal{F}$. It is easily seen that if $\mathcal{F}$ is $r$-wise $k$-intersecting for $r \geq 2$,…

For integers $r$ and $n$, where $n$ is sufficiently large, and for every set $X \subseteq [n]$ we determine the maximal left-compressed intersecting families $\mathcal{A}\subseteq \binom{[n]}{r}$ which achieve maximum hitting with $X$ (i.e.…

We provide a necessary and sufficient condition for stars to be the largest cross intersecting families.

Let $\mathcal F\subset 2^{[n]}$ be a family in which any three sets have non-empty intersection and any two sets have at least $38$ elements in common. The nearly best possible bound $|\mathcal F|\le 2^{n-2}$ is proved. We believe that $38$…

This paper resolves two open problems in extremal set theory. For a family $\mathcal{F} \subseteq 2^{[n]}$ and $i, j\in [n]$, we denote $\mathcal{F} (i,\bar{j})=\{F\backslash\{i\}: F\in \mathcal{F}, F\cap\{i,j\}=\{i\}\}$. The sturdiness…

Let $\{(A_i,B_i)\}_{i=1}^m$ be a set pair system. F\"{u}redi, Gy\'{a}rf\'{a}s and Kir\'{a}ly called it {\em $1$-cross intersecting} if $|A_i\cap B_j|$ is $1$ when $i\neq j$ and $0$ if $i=j$. They studied such systems and their…

A family $F$ of sets is said to be $t$-intersecting if $|A \cap B| \geq t$ for any $A,B \in F$. The seminal Complete Intersection Theorem of Ahlswede and Khachatrian (1997) gives the maximal size $f(n,k,t)$ of a $t$-intersecting family of…

In this paper, we derive a tight upper bound for the size of an intersecting $k$-Sperner family of subspaces of the $n$-dimensional vector space $\mathbb{F}_{q}^{n}$ over finite field $\mathbb{F}_{q}$ which gives a $q$-analogue of the…

Mubayi's Conjecture states that if $\mathcal{F}$ is a family of $k$-sized subsets of $[n] = \{1,\ldots,n\}$ which, for $k \geq d \geq 2$, satisfies $A_1 \cap\cdots\cap A_d \neq \emptyset$ whenever $|A_1 \cup\cdots\cup A_d| \leq 2k$ for all…

For a graph property $\mathcal{P}$ and a common vertex set $V = \{1, 2, \ldots, n\}$, a family of graphs on $V$ is \emph{$\mathcal{P}$-intersecting} iff $G \cap H$ satisfies $\mathcal{P}$ for all $G,H$ in the family. Addressing a question…

A set family ${\cal F}$ is $uncrossable$ if $A \cap B,A \cup B \in {\cal F}$ or $A \setminus B,B \setminus A \in {\cal F}$ for any $A,B \in {\cal F}$. A classic result of Williamson, Goemans, Mihail, and Vazirani [STOC 1993:708-717] states…

The intersection graph of a family of sets $\{S_{1},S_{2},\ldots,S_{n}\}$ is a graph whose vertex set is $\{S_{1},S_{2},\ldots,S_{n}\}$ and two distinct vertices are adjacent if the intersection of the corresponding sets is non-empty.…