October 19, 2019
A family of sets is intersecting if any two sets in the family intersect. Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, the family of independent sets of size $r$ that contain $v$ is called an $r$-star. Then $G$ is said to be $r$-EKR if no intersecting subfamily of $ \mathcal{I}^{(r)}(G)$ is bigger than the largest $r$-star. Let $n$ be a positive integer, and let $G$ consist of the disjoint union of $n$ paths each of length 2. We prove that if $1 \leq r \leq n/2$, then $G$ is $r$-EKR. This affirms a longstanding conjecture of Holroyd and Talbot for this class of graphs and can be seen as an analogue of a well-known theorem on signed sets, proved using different methods, by Deza and Frankl and by Bollob\'as and Leader. Our main approach is a novel probabilistic extension of Katona's elegant cycle method, which might be of independent interest.
Similar papers 1
November 12, 2018
A family of sets is intersecting if any two sets in the family intersect. Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, let $\mathcal{I}^{(r)}_v(G)$ denote the family of independent sets of size $r$ that contain $v$. This family is called an $r$-star. Then $G$ is said to be $r$-EKR if no intersecting subfamily of $ \mathcal{I}^{(r)}(G)$ is bigger than the largest $r$-st...
July 4, 2003
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 no intersecting family A\subseteq I^{(r)}(G) is larger than max_{v\in V(G)}|I^{(r)}_v(G)|. There are various graphs which are known to have this property: the empty graph of order n\geq 2r (this is the celebrated Erdos-Ko-Rado theorem), any ...
June 25, 2015
Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, let $\mathcal{I}^{(r)}_v(G)$ denote the family of independent sets of size $r$ that contain~$v$. This family is called an $r$-star and $v$ is the centre of the star. Then $G$ is said to be $r$-EKR if no pairwise intersecting subfamily of $\mathcal{I}^{(r)}(G)$ is bigger than the largest $r$-star, and if every maximum size pa...
July 17, 2024
The seminal Erd\H{o}s--Ko--Rado (EKR) theorem states that if $\mathcal{F}$ is a family of $k$-subsets of an $n$-element set $X$ for $k\leq n/2$ such that every pair of subsets in $\mathcal{F}$ has a nonempty intersection, then $\mathcal{F}$ can be no bigger than the trivially intersecting family obtained by including all $k$-subsets of $X$ that contain a fixed element $x\in X$. This family is called the star centered at $x$. In this paper, we formulate and prove an EKR theore...
June 16, 2021
A family of independent $r$-sets of a graph $G$ is an $r$-star if every set in the family contains some fixed vertex $v$. A graph is $r$-EKR if the maximum size of an intersecting family of independent $r$-sets is the size of an $r$-star. Holroyd and Talbot conjecture that a graph is $r$-EKR as long as $1\leq r\leq\frac{\mu(G)}{2}$, where $\mu(G)$ is the minimum size of a maximal independent set. It is suspected that the smallest counterexample to this conjecture is a well-co...
March 17, 2013
We consider the following higher-order analog of the Erd\H{o}s--Ko--Rado theorem. For positive integers r and n with r<= n, let M^r_n be the family of all matchings of size r in the complete graph K_{2n}. For any edge e in E(K_{2n}), the family M^r_n(e), which consists of all sets in M^r_n containing e, is called the star centered at e. We prove that if r<n and A is an intersecting family of matchings in M^r_n, then |A|<=|M^r_n(e)|$, where e is an edge in E(K_{2n}). We also p...
September 5, 2016
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 $K(n,r)$ with some probability, independently of each other: is the independence number of this random graph equal to the independence number of the Kneser graph itself? We answer this question affirmatively as long as $r/n$ is bounded away fro...
September 30, 2015
Consider classical Kneser's graph $K(n,r)$: for two natural numbers $ r, n $ such that $r \le n / 2$, its vertices are all the subsets of $[n]=\{1,2,\ldots,n\}$ of size $r$, and two such vertices are adjacent if the corresponding subsets are disjoint. The Erd\H{o}s--Ko--Rado theorem states that the size of the largest independent set in this graph is $\binom{n-1}{r-1}$. Now let us delete each edge of the graph $K(n,r)$ with some fixed probability $p$ independently of each oth...
July 4, 2003
For a graph G and integer r \geq 1 we denote the family of independent r-sets of V(G) by I^{(r)}(G). A graph G is said to be r-EKR if no intersecting subfamily of I^{(r)}(G) is larger than the largest such family all of whose members contain some fixed v \in V(G). If this inequality is always strict, then G is said to be strictly r-EKR. We show that if a graph G is r-EKR then its lexicographic product with any complete graph is r-EKR. For any graph G, we define \mu(G) to be...
March 24, 2009
One of the more recent generalizations of the Erd\"os-Ko-Rado theorem, formulated by Holroyd, Spencer and Talbot, defines the Erd\"os-Ko-Rado property for graphs in the following manner: for a graph G and a positive integer r, G is said to be r-EKR if no intersecting subfamily of the family of all independent vertex sets of size r is larger than the largest star, where a star centered at a vertex v is the family of all independent sets of size $r$ containing v. In this paper,...