Related papers: Erd\H{o}s-Ko-Rado Theorems for Paths in Graphs

We say that a family of $k$-subsets of an $n$-element set is intersecting, if any two of its sets intersect. In this paper we study different extremal properties of intersecting families, as well as the structure of large intersecting…

The classical Erd\H{o}s-Ko-Rado theorem on the size of an intersecting family of $k$-subsets of the set $[n] = \{1, 2, \dots, n\}$ is one of the fundamental intersection theorems for set systems. After the establishment of the EKR theorem,…

For natural numbers $n,r \in \mathbb{N}$ with $n\ge r$, the Kneser graph $K(n,r)$ is the graph on the family of $r$-element subsets of $\{1,\dots,n\}$ in which two sets are adjacent if and only if they are disjoint. Delete the edges of…

A family $\mathcal{F}$ is $t$-$\it{intersecting}$ if any two members have at least $t$ common elements. Erd\H os, Ko, and Rado proved that the maximum size of a $t$-intersecting family of subsets of size $k$ is equal to $ {{n-t} \choose…

We consider families, $\mathcal{F}$ of $k$-subsets of an $n$-set. For integers $r\geq 2$, $t\geq 1$, $\mathcal{F}$ is called $r$-wise $t$-intersecting if any $r$ of its members have at least $t$ elements in common. The most natural…

We prove a conjecture due to Holroyd and Johnson that an analogue of the Erdos-Ko-Rado theorem holds for k-separated sets. In particular this determines the independence number of the vertex-critical subgraph of the Kneser graph identified…

Let S(n) be the symmetric group on n points. A subset S of S(n) is intersecting if for any pair of permutations \pi, \sigma in S there is a point i in {1,...,n} such that \pi(i)=\sigma(i). Deza and Frankl \cite{MR0439648} proved that if S a…

For a graph G and integer r\geq 1 we denote the collection of independent r-sets of G by I^{(r)}(G). If v\in V(G) then I_v^{(r)}(G) is the collection of all independent r-sets containing v. A graph G, is said to be r-EKR, for r\geq 1, iff…

The Kneser graph ${\rm KG}_{n,k}$ is a graph whose vertex set is the family of all $k$-subsets of $[n]$ and two vertices are adjacent if their corresponding subsets are disjoint. The classical Erd\H{o}s-Ko-Rado theorem determines the…

The celebrated Erd\H{o}s-Ko-Rado theorem determines the maximum size of a $k$-uniform intersecting family. The Hilton-Milner theorem determines the maximum size of a $k$-uniform intersecting family that is not a subfamily of the so-called…

A family $\mathcal F\subset {[n]\choose k}$ is $U(s,q)$ of for any $F_1,\ldots, F_s\in \mathcal F$ we have $|F_1\cup\ldots\cup F_s|\le q$. This notion generalizes the property of a family to be $t$-intersecting and to have matching number…

A family of subsets $\mathcal{F}$ is intersecting if $A \cap B \neq \emptyset$ for any $A, B \in \mathcal{F}$. In this paper, we show that for given integers $k > d \ge 2$ and $n \ge 2k+2d-3$, and any intersecting family $\mathcal{F}$ of…

A subset in a group $G \leq Sym(n)$ is intersecting if for any pair of permutations $\pi,\sigma$ in the subset there is an $i \in \{1,2,\dots,n\}$ such that $\pi(i) = \sigma(i)$. If the stabilizer of a point is the largest intersecting set…

Celebrated results often unfold like episodes in a long-running series. In the field of extremal set thoery, Erd\H{o}s, Ko, and Rado in 1961 established that any $k$-uniform intersecting family on $[n]$ has a maximum size of…

A family of subsets of $[n]$ is intersecting if every pair of its sets intersects. Determining the structure of large intersecting families is a central problem in extremal combinatorics. Frankl-Kupavskii and Balogh-Das-Liu-Sharifzadeh-Tran…

A family F is intersecting if any two members have a nonempty intersection. Erdos, Ko, and Rado showed that |F|\leq {n-1\choose k-1} holds for an intersecting family of k-subsets of [n]:={1,2,3,...,n}, n\geq 2k. For n> 2k the only extremal…

A $k$-partition of an $n$-set $X$ is a collection of $k$ pairwise disjoint non-empty subsets whose union is $X$. A family of $k$-partitions of $X$ is called $t$-intersecting if any two of its members share at least $t$ blocks. A…

A family $\mathcal{F}$ of spanning trees of the complete graph on $n$ vertices $K_n$ is \emph{$t$-intersecting} if any two members have a forest on $t$ edges in common. We prove an Erd\H{o}s--Ko--Rado result for $t$-intersecting families of…

A set $A$ $t$-intersects a set $B$ if $A$ and $B$ have at least $t$ common elements. A set of sets is called a family. Two families $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting if each set in $\mathcal{A}$ $t$-intersects each…

Consider a graph $G$ and a $k$-uniform hypergraph $\mathcal{H}$ on common vertex set $[n]$. We say that $\mathcal{H}$ is $G$-intersecting if for every pair of edges in $X,Y \in \mathcal{H}$ there are vertices $x \in X$ and $y \in Y$ such…