Sharp threshold for the Erd\H{o}s-Ko-Rado theorem

Treewidth is an important and well-known graph parameter that measures the complexity of a graph. The Kneser graph Kneser(n,k) is the graph with vertex set $\binom{[n]}{k}$, such that two vertices are adjacent if they are disjoint. We determine, for large values of n with respect to k, the exact treewidth of the Kneser graph. In the process of doing so, we also prove a strengthening of the Erd\H{o}s-Ko-Rado Theorem (for large n with respect to k) when a number of disjoint pai...

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 by Schrijver, the collection of separated sets.

A Kneser graph $KG_{n,k}$ is a graph whose vertices are in one-to-one correspondence with $k$-element subsets of $[n],$ with two vertices connected if and only if the corresponding sets do not intersect. A famous result due to Lov\'asz states that the chromatic number of a Kneser graph $KG_{n,k}$ is equal to $n-2k+2$. In this paper we study the chromatic number of a random subgraph of a Kneser graph $KG_{n,k}$ as $n$ grows. A random subgraph $KG_{n,k}(p)$ is obtained by inclu...

Given positive integers $n\ge 2k$, the {\it Kneser graph} $KG_{n,k}$ is a graph whose vertex set is the collection of all $k$-element subsets of the set $\{1,\ldots, n\}$, with edges connecting pairs of disjoint sets. One of the classical results in combinatorics, conjectured by Kneser and proved by Lov\'asz, states that the chromatic number of $KG_{n,k}$ is equal to $n-2k+2$. In this paper, we study the chromatic number of the {\it random Kneser graph} $KG_{n,k}(p)$, that is...

The celebrated Erd\H{o}s-Ko-Rado theorem shows that for $n \ge 2k$ the largest intersecting $k$-uniform set family on $[n]$ has size $\binom{n-1}{k-1}$. It is natural to ask how far from intersecting larger set families must be. Katona, Katona and Katona introduced the notion of most probably intersecting families, which maximise the probability of random subfamilies being intersecting. We study the most probably intersecting problem for $k$-uniform set families. We provide...

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 {k-t}}$ if $n\geq n_0(k,t)$. Alon, Aydinian, and Huang considered families generalizing intersecting families, and proved the same bound. In this paper, we give a strengthening of their result by considering families generalizing $t$-intersect...

The Erd\H{o}s--Ko--Rado (EKR) theorem and its generalizations can be viewed as classifications of maximum independent sets in appropriately defined families of graphs, such as the Kneser graph $K(n,k)$. In this paper, we investigate the independence number of random spanning subraphs of two other families of graphs whose maximum independent sets satisfy an EKR-type characterization: the derangement graph on the set of permutations in $\mathrm{Sym}(n)$ and the derangement grap...

For an $r$-uniform hypergraph $H$, let $f(H)$ be the minimum number of complete $r$-partite $r$-uniform subhypergraphs of $H$ whose edge sets partition the edge set of $H$. For a graph $G$, $f(G)$ is the bipartition number of $G$ which was introduced by Graham and Pollak in 1971. In 1988, Erd\H{o}s conjectured that if $G \in G(n,1/2)$, then with high probability $f(G)=n-\alpha(G)$, where $\alpha(G)$ is the independence number of $G$. This conjecture and related problems have ...

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 cardinality and structure of a maximum induced $K_2$-free subgraph in ${\rm KG}_{n,k}$. As a generalization of the Erd\H{o}s-Ko-Rado theorem, Erd\H{o}s proposed a conjecture about the maximum order of an induced $K_{s+1}$-free subgraph of ${\rm K...

For integers $n \geq k \geq 1$, the {\em Kneser graph} $K(n, k)$ is the graph with vertex-set consisting of all the $k$-element subsets of $\{1,2,\ldots,n\}$, where two $k$-element sets are adjacent in $K(n,k)$ if they are disjoint. We show that if $(n,k,s) \in \mathbb{N}^3$ with $n > 10000 k s^5$ and $\mathcal{F}$ is set of vertices of $K(n,k)$ of size larger than $\{A \subset \{1,2,\ldots,n\}:\ |A|=k,\ A \cap \{1,2,\ldots,s\} \neq \varnothing\}$, then the subgraph of $K(n,k...