arXiv++ Combinatorics

We suggest a new method on coloring generalized Kneser graphs based on hypergraphs with high discrepancy and small number of edges. The main result is providing a proper coloring of K(n, n/2-t, s) in (4 + o(1))(s + t)^2 colors, which is produced by Hadamard matrices. Also, we show that for colorings by independent set of a natural type, this result is the best possible up to a multiplicative constant. Our method extends to Kneser hypergraphs as well.

In this short note, the purpose is to provide an upper bound for the b-chromatic number of Kneser graphs. Our bound improves the upper bound that was presented by Balakrishnan and Kavaskar in [b-coloring of Kneser graphs, Discrete Appl. Math. 160 (2012), 9-14].

The vertex set of the Kneser graph $K(n,k)$ is $V = \binom{[n]}{k}$ and two vertices are adjacent if the corresponding sets are disjoint. For any graph $F$, the largest size of a vertex set $U \subseteq V$ such that $K(n,k)[U]$ is $F$-free, was recently determined by Alishahi and Taherkhani, whenever $n$ is large enough compared to $k$ and $F$. In this paper, we determine the second largest size of a vertex set $W \subseteq V$ such that $K(n,k)[W]$ is $F$-free, in the case when $F$ is an even cycle or a complete multi-partite graph. In the latter case, we actually give a more general theorem depending on the chromatic number of $F$. These results generalize the celebrated Erd\H os-Ko-Rado theorem and Hilton-Milner theorem.

Let FI denote the category whose objects are the sets $[n] = \{1,\ldots, n\}$, and whose morphisms are injections. We study functors from the category FI into the category of sets. We write $\mathfrak{S}_n$ for the symmetric group on $[n]$. Our first main result is that, if the functor $[n] \mapsto X_n$ is "finitely generated" there there is a finite sequence of integers $m_i$ and a finite sequence of subgroups $H_i$ of $\mathfrak{S}_{m_i}$ such that, for $n$ sufficiently large, $X_n \cong \bigsqcup_i \mathfrak{S}_n/(H_i \times \mathfrak{S}_{n-m_i})$ as a set with $\mathfrak{S}_n$ action. Our second main result is that, if $[n] \mapsto X_n$ and $[n] \mapsto Y_n$ are two such finitely generated functors and $R_n \subset X_n \times Y_n$ is an FI-invariant family of relations, then the $(0,1)$ matrices encoding the relation $R_n$, when written in an appropriate basis, vary polynomially with $n$. In particular, if $R_n$ is an FI-invariant family of relations from $X_n$ to itself, then the eigenvalues of this matrix are algebraic functions of $n$. As an application of this theorem we provide a proof of a result about eigenvalues of adjacency matrices claimed by the first and last author. This result recovers, for instance, that the adjacency matrices of the Kneser graphs have eigenvalues which are algebraic functions of $n$, while also expanding this result to a larger family of graphs.

Let $n,k,r$ be positive integers with $n \geq rk$ and $r \geq 2$. Consider a circle $C$ with~$n$ points~$1,\ldots,n$ in clockwise order. The $r$-stable \emph{interlacing graph} $\text{IG}_{n,k}^{(r)}$ is the graph with vertices corresponding to $k$-subsets $S$ of $\{1,...,n\}$ such that any two distinct points in~$S$ have distance at least~$r$ around the circle, and edges between~$k$-subsets $P$ and $Q$ if they \emph{interlace}: after removing the points in~$P$ from $C$, the points in~$Q$ are in different connected components. In this paper we prove that the circular chromatic number of $\text{IG}_{n,k}^{(r)}$ is equal to $ n/k $ (hence the chromatic number is $\lceil n/k \rceil$) and that its circular clique number is also $ n/k $. Furthermore, we show that its independence number is $\binom{n-(r-1)k-1}{k-1}$, thereby strengthening a result by Talbot.

In chomp on graphs, two players alternatingly pick an edge or a vertex from a graph. The player that cannot move any more loses. The questions one wants to answer for a given graph are: Which player has a winning strategy? Can a explicit strategy be devised? We answer these questions (and determine the Nim-value) for the class of generalized Kneser graphs and for several families of Johnson graphs. We also generalize some of these results to the clique complexes of these graphs. Furthermore, we determine which player has a winning strategy for some classes of threshold graphs.

The Kneser hypergraph ${\rm KG}^r_{n,k}$ is an $r$-uniform hypergraph with vertex set consisting of all $k$-subsets of $\{1,\ldots,n\}$ and any collection of $r$ vertices forms an edge if their corresponding $k$-sets are pairwise disjoint. The random Kneser hypergraph ${\rm KG}^r_{n,k}(p)$ is a spanning subhypergraph of ${\rm KG}^r_{n,k}$ in which each edge of ${\rm KG}^r_{n,k}$ is retained independently of each other with probability $p$. The independence number of random subgraphs of ${\rm KG}^2_{n,k}$ was recently addressed in a series of works by Bollob{á}s, Narayanan, and Raigorodskii (2016), Balogh, Bollob{á}s, and Narayanan (2015), Das and Tran (2016), and Devlin and Kahn (2016). It was proved that the random counterpart of the Erdős-Ko-Rado theorem continues to be valid even for very small values of $p$. In this paper, generalizing this result, we will investigate the independence number of random Kneser hypergraphs ${\rm KG}^r_{n,k}(p)$. Broadly speaking, when $k$ is much smaller that $n$, we will prove that the random analogue of the Erdős matching conjecture is true even for extremely small values of $p$.

Schrijver identified a family of vertex critical subgraphs of the Kneser graphs called the stable Kneser graphs $SG_{n,k}$. Björner and de Longueville proved that the neighborhood complex of the stable Kneser graph $SG_{n,k}$ is homotopy equivalent to a $k-$sphere. In this article, we prove that the homotopy type of the neighborhood complex of the Kneser graph $KG_{2,k}$ is a wedge of $(k+4)(k+1)+1$ spheres of dimension $k$. We construct a maximal subgraph $S_{2,k}$ of $KG_{2,k}$, whose neighborhood complex is homotopy equivalent to the neighborhood complex of $SG_{2,k}$. Further, we prove that the neighborhood complex of $S_{2,k}$ deformation retracts onto the neighborhood complex of $SG_{2,k}$.

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ő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ős-Ko-Rado theorem, Erdős proposed a conjecture about the maximum order of an induced $K_{s+1}$-free subgraph of ${\rm KG}_{n,k}$. As the best known result concerning this conjecture, Frankl [Journal of Combinatorial Theory, Series A, 2013], when $n\geq(2s+1)k-s$, gave an affirmative answer to this conjecture and also determined the structure of such a subgraph. In this paper, generalizing the Erdős-Ko-Rado theorem and the Erd{\H o}s matching conjecture, we consider the problem of determining the structure of a maximum family $\mathcal{A}$ for which ${\rm KG}_{n,k}[\mathcal{A}]$ has no subgraph isomorphic to a given graph $G$. In this regard, we determine the size and the structure of such a family provided that $n$ is sufficiently large with respect to $G$ and $k$. Furthermore, for the case $G=K_{1,t}$, we present a Hilton-Milner type theorem regarding above-mentioned problem, which specializes to an improvement of a result by Gerbner et al. [SIAM Journal on Discrete Mathematics, 2012].

Alon, Frankl, and Lovász proved a conjecture of Erdős that one needs at least $\lceil \frac{n-r(k-1)}{r-1} \rceil$ colors to color the $k$-subsets of $\{1, \dots, n\}$ such that any $r$ of the $k$-subsets that have the same color are not pairwise disjoint. A generalization of this problem where one requires $s$-wise instead of pairwise intersections was considered by Sarkaria. He claimed a proof of a generalized Erdős--Kneser conjecture establishing a lower bound for the number of colors that reduces to Erdős' original conjecture for ${s = 2}$. Lange and Ziegler pointed out that his proof fails whenever $r$ is not a prime. Here we establish this generalized Erdős--Kneser conjecture for every $r$, as long as $s$ is not too close to $r$. Our result encompasses earlier results but is significantly more general. We discuss relations of our results to conjectures of Ziegler and of Abyazi Sani and Alishahi, and prove the latter in several cases.

For fixed positive integers $n$ and $k$, the Kneser graph $KG_{n,k}$ has vertices labeled by $k$-element subsets of $\{1,2,\dots,n\}$ and edges between disjoint sets. Keeping $k$ fixed and allowing $n$ to grow, one obtains a family of nested graphs, each of which is acted on by a symmetric group in a way which is compatible with all of the other actions. In this paper, we provide a framework for studying families of this kind using the FI-module theory of Church, Ellenberg, and Farb, and show that this theory has a variety of asymptotic consequences for such families of graphs. These consequences span a range of topics including enumeration, concerning counting occurrences of subgraphs, topology, concerning Hom-complexes and configuration spaces of the graphs, and algebra, concerning the changing behaviors in the graph spectra.

In 2011, Meunier conjectured that for positive integers $n,k,r,s$ with $ k\geq 2$, $r\geq 2$, and $n\geq \max (\{r,s\})k$, the chromatic number of $s$ -stable $r$-uniform Kneser hypergraphs is equal to $\left\lceil \frac{n-\max (\{r,s\})(k-1)}{r-1}\right\rceil $. It is a strengthened version of the conjecture proposed by Ziegler (2002), and Alon, Drewnowski and Łuczak (2009). The problem about the chromatic number of almost $s$-stable $r$ -uniform Kneser hypergraphs has also been introduced by Meunier (2011). For the $r=2$ case of the Meunier conjecture, Jonsson (2012) provided a purely combinatorial proof to confirm the conjecture for $s\geq 4$ and $n$ sufficiently large, and by Chen (2015) for even $s$ and any $n$. The case $ s=3$ is completely open, even the chromatic number of the usual almost $s$ -stable Kneser graphs. In this paper, we obtain a topological lower bound for the chromatic number of almost $s$-stable $r$-uniform Kneser hypergraphs via a different approach. For the case $r=2$, we conclude that the chromatic number of almost $s$-stable Kneser graphs is equal to $n-s(k-1)$ for all $s\geq 2$. Set $t=n-s(k-1)$. We show that any proper coloring of an almost $s$-stable Kneser graph must contain a completely multicolored complete bipartite subgraph $K_{\left\lceil \frac{t}{2}\right\rceil \left\lfloor \frac{t}{2} \right\rfloor }$. It follows that the local chromatic number of almost $s$ -stable Kneser graphs is at least $\left\lceil \frac{t}{2}\right\rceil +1$. It is a strengthened result of Simonyi and Tardos (2007), and Meunier's (2014) lower bound for almost $s$-stable Kneser graphs.

Let $G = (G,+)$ be a compact connected abelian group, and let $μ_G$ denote its probability Haar measure. A theorem of Kneser (generalising previous results of Macbeath and Raikov) establishes the bound $$ μ_G(A + B) \geq \min( μ_G(A)+μ_G(B), 1 ) $$ whenever $A,B$ are compact subsets of $G$, and $A+B := \{ a+b: a \in A, b \in B \}$ denotes the sumset of $A$ and $B$. Clearly one has equality when $μ_G(A)+μ_G(B) \geq 1$. Another way in which equality can be obtained is when $A = φ^{-1}(I), B = φ^{-1}(J)$ for some continuous surjective homomorphism $φ: G \to {\bf R}/{\bf Z}$ and compact arcs $I,J \subset {\bf R}/{\bf Z}$. We establish an inverse theorem that asserts, roughly speaking, that when equality in the above bound is almost attained, then $A,B$ are close to one of the above examples. We also give a more "robust" form of this theorem in which the sumset $A+B$ is replaced by the partial sumset $A +_\varepsilon B :=\{ 1_A * 1_B \geq \varepsilon \}$ for some small $\varepsilon >0$. In a subsequent paper with Joni Teräväinen, we will apply this latter inverse theorem to establish that certain patterns in multiplicative functions occur with positive density.

In 1995, Erdős and Gyárfás proved that in every $2$-colouring of the edges of $K_n$, there is a vertex cover by $2\sqrt{n}$ monochromatic paths of the same colour, which is optimal up to a constant factor. The main goal of this paper is to study the natural multi-colour generalization of this problem: given two positive integers $r,s$, what is the smallest number $\text{pc}_{r,s}(K_n)$ such that in every colouring of the edges of $K_n$ with $r$ colours, there exists a vertex cover of $K_n$ by $\text{pc}_{r,s}(K_n)$ monochromatic paths using altogether at most $s$ different colours? For fixed integers $r>s$ and as $n\to\infty$, we prove that $\text{pc}_{r,s}(K_n) = Θ(n^{1/χ})$, where $χ=\max{\{1,2+2s-r\}}$ is the chromatic number of the Kneser gr aph $\text{KG}(r,r-s)$. More generally, if one replaces $K_n$ by an arbitrary $n$-vertex graph with fixed independence number $α$, then we have $\text{pc}_{r,s}(G) = O(n^{1/χ})$, where this time around $χ$ is the chromatic number of the Kneser hypergraph $\text{KG}^{(α+1)}(r,r-s)$. This result is tight in the sense that there exist graphs with independence number $α$ for which $\text{pc}_{r,s}(G) = Ω(n^{1/χ})$. This is in sharp contrast to the case $r=s$, where it follows from a result of Sárközy (2012) that $\text{pc}_{r,r}(G)$ depends only on $r$ and $α$, but not on the number of vertices. We obtain similar results for the situation where instead of using paths, one wants to cover a graph with bounded independence number by monochromatic cycles, or a complete graph by monochromatic $d$-regular graphs.

For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph whose vertices are the $k$-element subsets of $\{1,\ldots,n\}$ and whose edges connect pairs of subsets that are disjoint. The Kneser graphs of the form $K(2k+1,k)$ are also known as the odd graphs. We settle an old problem due to Meredith, Lloyd, and Biggs from the 1970s, proving that for every $k\geq 3$, the odd graph $K(2k+1,k)$ has a Hamilton cycle. This and a known conditional result due to Johnson imply that all Kneser graphs of the form $K(2k+2^a,k)$ with $k\geq 3$ and $a\geq 0$ have a Hamilton cycle. We also prove that $K(2k+1,k)$ has at least $2^{2^{k-6}}$ distinct Hamilton cycles for $k\geq 6$. Our proofs are based on a reduction of the Hamiltonicity problem in the odd graph to the problem of finding a spanning tree in a suitably defined hypergraph on Dyck words.

For any graph $X$ with the adjacency matrix $A$, the transition matrix of the continuous-time quantum walk at time $t$ is given by the matrix-valued function $\mathcal{H}_X(t)=\mathrm{e}^{itA}$. We say that there is perfect state transfer in $X$ from the vertex $u$ to the vertex $v$ at time $τ$ if $|\mathcal{H}_X(τ)_{u,v}| = 1$. It is an important problem to determine whether perfect state transfers can happen on a given family of graphs. In this paper we characterize all the graphs in the Johnson scheme which have this property. Indeed, we show that the Kneser graph $K(2k,k)$ is the only class in the scheme which admits perfect state transfers. We also show that, under some conditions, some of the unions of the graphs in the Johnson scheme admit perfect state transfer.

Kneser's 1955 conjecture -- proven by Lovász in 1978 -- asserts that in any partition of the $k$-subsets of $\{1, 2, \dots, n\}$ into $n-2k-3$ parts, one part contains two disjoint sets. Schrijver showed that one can restrict to significantly fewer $k$-sets and still observe the same intersection pattern. Alon, Frankl, and Lovász proved a different generalization of Kneser's conjecture for $r$ pairwise disjoint sets. Dolnikov generalized Lovász' result to arbitrary set systems, while Kříž did the same for the $r$-fold extension of Kneser's conjecture. Here we prove a common generalization of all of these results. Moreover, we prove additional strengthenings by determining the chromatic number of certain sparse stable Kneser hypergraphs, and further develop a general approach to establishing lower bounds for chromatic numbers of hypergraphs using a combination of methods from equivariant topology and intersection results for convex hulls of points in Euclidean space.

In the way of proving Kneser's conjecture, László Lovász settled out a new lower bound for the chromatic number. He showed that if neighborhood complex $\mathcal{N}(G)$ of a graph $G$ is topologically $k$-connected, then its chromatic number is at least $k+3$. Then he completed his proof by showing that this bound is tight for the Kneser graph. However, there are some graphs where this bound is not useful at all, even comparing by the obvious bound; the clique number. For instance, if a graph contains no complete bipartite graph $\mathcal{K}_{l, m}$, then its Lovász's bound is at most $l+m-1$. But, it can have an arbitrarily large chromatic number. In this note, we present new graphs showing that the gaps between the chromatic number, the clique number, and the Lovász bound can be arbitrarily large. More precisely, for given positive integers $l, m$ and $2\leq p\leq q$, we construct a connected graph which contains a copy of $\mathcal{K}_{l,m}$, and its chromatic number, clique number, and Lovász's bound are $q$, $p$, and $3$, respectively.

In the way of proving Kneser's conjecture, László Lovász settled out a new lower bound for the chromatic number of graphs. He showed that if the hom complex $||Hom(\mathcal{K}_2, H)||$ of a graph $H$ is topologically $k$-connected, then its chromatic number, $χ(H)$, is at least $k+3$. After that, he made the following conjecture, to provide a better lower bound on the chromatic number of graphs. If $||Hom(C_{2r+1}, H)||$ is $k$-connected, then $χ(H)\geq k+4$, where $C_{2r+1}$ is an odd cycle of length $2r+1$. Finally, Björner and Lovász proposed a generalization of the Lovász conjecture as follows. If $||Hom(T, H)||$ is $k$-connected, then $χ(H)\geq k+χ(T) +1$. The first conjecture was originally confirmed by Babson and Kozlov, by complicated computations with spectral sequences. But the second one was disproved by Hoory and Linial. So, after that, a graph $T$ is called a test graph if for every graph $H$, the $k$-connectedness of $||Hom(T, H)||$ implies $χ(H)\geq k + 1 + χ(H)$. In this paper, we prove that if a graph $F$ possess an involutive automorphism that flips some edge; then it is a test graph. As a corollary, we give a purely combinatorial proof of the Lovász conjecture; odd cycles are test graphs. Indeed, although the Björner and Lovász conjecture is not true in general, we show that a slight modification of the conjecture is always true. More precisely, we show that for any graph $T$, there is a supergraph $T\subseteq\hat{T}$ with $χ(\hat{T})\leqχ(T)+1$, such that $\hat{T}$ is a test graph.

In this paper we compute the critical group of the Kneser graph $KG(n,2)$. This is equivalent to computing the Smith normal form of a Laplacian matrix of this graph.