arXiv++ Combinatorics

A Theorem of Hou, Leung and Xiang generalised Kneser's addition Theorem to field extensions. This theorem was known to be valid only in separable extensions, and it was a conjecture of Hou that it should be valid for all extensions. We give an alternative proof of the theorem that also holds in the non-separable case, thus solving Hou's conjecture. This result is a consequence of a strengthening of Hou et al.'s theorem that is a transposition to extension fields of an addition theorem of Balandraud.

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ő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 other. Quite surprisingly, the independence number of such random subgraph $K_p(n,r)$ of the graph $ K(n,r) $ is, with high probability, the same as the independence number of the initial graph. This phenomenon is called the stability of the independence number. This paper concerns the independence number of random subgraphs of the graph $G(n,r,1)$, which vertices are the same as in the Kneser graph and there is an edge between two vertices if they intersect in exactly one element. We prove the stability result for constant $r$ and $p=\frac{1}{2}$. To do that, we show that any sufficiently large independent set in $G(n,r,1)$ has some predefined structure, and this is a result of independent interest.

For $k,s\geq2$, the $s$-stable Kneser graphs are the graphs with vertex set the $k$-subsets $S$ of $\{1,\ldots,n\}$ such that the circular distance between any two elements in $S$ is at least $s$ and two vertices are adjacent if and only if the corresponding $k$-subset are disjoint. Braun showed that for $n\geq 2k+1$ the automorphism group of the $2$-stable Kneser graphs (Schrijver graphs) is isomorphic to the dihedral group of order $2n$. In this paper we generalize this result by proving that for $s\geq 2$ and $n\geq sk+1$ the automorphism group of the $s$-stable Kneser graphs also is isomorphic to the dihedral group of order $2n$.

In an earlier paper, the present authors (2013) introduced the altermatic number of graphs and used Tucker's Lemma, an equivalent combinatorial version of the Borsuk-Ulam Theorem, to show that the altermatic number is a lower bound for the chromatic number. A matching graph has the set of all matchings of a specified size of a graph as vertex set and two vertices are adjacent if the corresponding matchings are edge-disjoint. It is known that the Kneser graphs, the Schrijver graphs, and the permutation graphs can be represented by matching graphs. In this paper, as a generalization of the well-known result of Schrijver about the chromatic number of Schrijver graphs, we determine the chromatic number of a large family of matching graphs by specifying their altermatic number. In particular, we determine the chromatic number of these matching graphs in terms of the generalized Turan number of matchings.

We introduce the notion of combinatorial positivity of translation-invariant valuations on convex polytopes that extends the nonnegativity of Ehrhart h*-vectors. We give a surprisingly simple characterization of combinatorially positive valuations that implies Stanley's nonnegativity and monotonicity of h*-vectors and generalizes work of Beck et al. (2010) from solid-angle polynomials to all translation-invariant simple valuations. For general polytopes, this yields a new characterization of the volume as the unique combinatorially positive valuation up to scaling. For lattice polytopes our results extend work of Betke--Kneser (1985) and give a discrete Hadwiger theorem: There is essentially a unique combinatorially-positive basis for the space of lattice-invariant valuations. As byproducts of our investigations, we prove a multivariate Ehrhart-Macdonald reciprocity and we show universality of weight valuations studied in Beck et al. (2010).

For integers $k\geq 1$ and $n\geq 2k+1$ the Kneser graph $K(n,k)$ has as vertices all $k$-element subsets of $[n]:=\{1,2,\ldots,n\}$ and an edge between any two vertices (=sets) that are disjoint. The bipartite Kneser graph $H(n,k)$ has as vertices all $k$-element and $(n-k)$-element subsets of $[n]$ and an edge between any two vertices where one is a subset of the other. It has long been conjectured that all Kneser graphs and bipartite Kneser graphs except the Petersen graph $K(5,2)$ have a Hamilton cycle. The main contribution of this paper is proving this conjecture for bipartite Kneser graphs $H(n,k)$. We also establish the existence of cycles that visit almost all vertices in Kneser graphs $K(n,k)$ when $n=2k+o(k)$, generalizing and improving upon previous results on this problem.

Hadwiger's conjecture asserts that every graph with chromatic number $t$ contains a complete minor of order $t$. Given integers $n \ge 2k+1 \ge 5$, the Kneser graph $K(n, k)$ is the graph with vertices the $k$-subsets of an $n$-set such that two vertices are adjacent if and only if the corresponding $k$-subsets are disjoint. We prove that Hadwiger's conjecture is true for the complements of Kneser graphs.

Denote by $K_p(n,k)$ the random subgraph of the usual Kneser graph $K(n,k)$ in which edges appear independently, each with probability $p$. Answering a question of Bollobás, Narayanan, and Raigorodskii,we show that there is a fixed $p<1$ such that a.s. (i.e., with probability tending to 1 as $k \to \infty$) the maximum independent sets of $K_p(2k+1, k)$ are precisely the sets $\{A\in V(K(2k+1,k)): x\in A\}$ ($x\in [2k+1]$). We also complete the determination of the order of magnitude of the "threshold" for the above property for general $k$ and $n\geq 2k+2$. This is new for $k\sim n/2$, while for smaller $k $ it is a recent result of Das and Tran.

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ász 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 including each edge of $KG_{n,k}$ with probability $p$. For a wide range of parameters $k = k(n), p = p(n)$ we show that $χ(KG_{n,k}(p))$ is very close to $χ(KG_{n,k}),$ a.a.s. differing by at most 4 in many cases. Moreover, we obtain the same bounds on the chromatic numbers for the so-called Schrijver graphs, which are known to be vertex-critical induced subgraphs of Kneser graphs.

A $k$-uniform family of subsets of $[n]$ is intersecting if it does not contain a disjoint pair of sets. The study of intersecting families is central to extremal set theory, dating back to the seminal Erdős-Ko-Rado theorem of 1961 that bounds the size of the largest such families. A recent trend has been to investigate the structure of set families with few disjoint pairs. Friedgut and Regev proved a general removal lemma, showing that when $γn \le k \le (\tfrac12 - γ)n$, a set family with few disjoint pairs can be made intersecting by removing few sets. We provide a simple proof of a removal lemma for large families, showing that families of size close to $\ell \binom{n-1}{k-1}$ with relatively few disjoint pairs must be close to a union of $\ell$ stars. Our lemma holds for a wide range of uniformities; in particular, when $\ell = 1$, the result holds for all $2 \le k < \frac{n}{2}$ and provides sharp quantitative estimates. We use this removal lemma to settle a question of Bollobás, Narayanan and Raigorodskii regarding the independence number of random subgraphs of the Kneser graph $K(n,k)$. The Erdős-Ko-Rado theorem shows $α(K(n,k)) = \binom{n-1}{k-1}$. For some constant $c > 0$ and $k \le cn$, we determine the sharp threshold for when this equality holds for random subgraphs of $K(n,k)$, and provide strong bounds on the critical probability for $k \le \tfrac12 (n-3)$.

One of the most famous conjecture in graph theory is Hedetniemi's conjecture stating that the chromatic number of the categorical product of graphs is the minimum of their chromatic numbers. Using a suitable extension of the definition of the categorical product, Zhu proposed in 1992 a similar conjecture for hypergraphs. We prove that Zhu's conjecture is true for the usual Kneser hypergraphs of same rank. It provides to the best of our knowledge the first non-trivial and explicit family of hypergraphs with rank larger than two satisfying this conjecture (the rank two case being Hedetniemi's conjecture). We actually prove a more general result providing a lower bound on the chromatic number of the categorical product of any Kneser hypergraphs as soon as they all have same rank. We derive from it new families of graphs satisfying Hedetniemi's conjecture. The proof of the lower bound relies on the $Z_p$-Tucker lemma.

Let $Γ$ be a distance-regular graph with diameter $d$ and Kneser graph $K=Γ_d$, the distance-$d$ graph of $Γ$. We say that $Γ$ is partially antipodal when $K$ has fewer distinct eigenvalues than $Γ$. In particular, this is the case of antipodal distance-regular graphs ($K$ with only two distinct eigenvalues), and the so-called half-antipodal distance-regular graphs ($K$ with only one negative eigenvalue). We provide a characterization of partially antipodal distance-regular graphs (among regular graphs with $d$ distinct eigenvalues) in terms of the spectrum and the mean number of vertices at maximal distance $d$ from every vertex. This can be seen as a general version of the so-called spectral excess theorem, which allows us to characterize those distance-regular graphs which are half-antipodal, antipodal, bipartite, or with Kneser graph being strongly regular.

Let the Kneser graph $K$ of a distance-regular graph $Γ$ be the graph on the same vertex set as $Γ$, where two vertices are adjacent when they have maximal distance in $Γ$. We study the situation where the Bose-Mesner algebra of $Γ$ is not generated by the adjacency matrix of $K$. In particular, we obtain strong results in the so-called `half antipodal' case.

The problem of computing the chromatic number of Kneser hypergraphs has been extensively studied over the last 40 years and the fractional version of the chromatic number of Kneser hypergraphs is only solved for particular cases. The \emph{$(p,q)$-extremal problem} consists in finding the maximum number of edges on a $k$-uniform hypergraph $\mathcal{H}$ with $n$ vertices such that among any $p$ edges some $q$ of them have no empty intersection. In this paper we have found a link between the fractional chromatic number of Kneser hypergraphs and the $(p,q)$-extremal problem and also solve the $(p,q)$-extremal problem for graphs if $n$ is sufficiently large and $p \geq q \geq 3$ by proposing it as a problem of extremal graph theory. With the aid of this result we calculate the fractional chromatic number of Kneser hypergraphs when they are composed with sets of cardinality 2.

Delete the edges of a Kneser graph independently of each other with some probability: for what probabilities is the independence number of this random graph equal to the independence number of the Kneser graph itself? We prove a sharp threshold result for this question in certain regimes. Since an independent set in the Kneser graph is the same as a uniform intersecting family, this gives us a random analogue of the Erdős-Ko-Rado theorem.

We present an orthogonal basis for functions over a slice of the Boolean hypercube. Our basis is also an orthogonal basis of eigenvectors for the Johnson and Kneser graphs. As an application of our basis, we streamline Wimmer's proof of Friedgut's theorem for slices of the Boolean hypercube.

The cutoff phenomenon for an ergodic Markov chain describes a sharp transition in the convergence to its stationary distribution, over a negligible period of time, known as cutoff window. We study the cutoff phenomenon for simple random walks on Kneser graphs, which is a family of ergodic Markov chains. Given two integers $n$ and $k$, the Kneser graph $K(2n+k,n)$ is defined as the graph with vertex set being all subsets of $\{1,\ldots,2n+k\}$ of size $n$ and two vertices $A$ and $B$ being connected by an edge if $A\cap B =\emptyset$. We show that for any $k=O(n)$, the random walk on $K(2n+k,n)$ exhibits a cutoff at $\frac{1}{2}\log_{1+k/n}{(2n+k)}$ with a window of size $O(\frac{n}{k})$.

The Kneser graph $K(n,k)$ is the graph whose vertices are the $k$-element subsets of an $n$ elements set, with two vertices adjacent if they are disjoint. The square $G^2$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^2$ if the distance between $u$ and $v$ in $G$ is at most 2. Determining the chromatic number of the square of the Kneser graph $K(n, k)$ is an interesting graph coloring problem, and is also related with intersecting family problem. The square of $K(2k, k)$ is a perfect matching and the square of $K(n, k)$ is the complete graph when $n \geq 3k-1$. Hence coloring of the square of $K(2k +1, k)$ has been studied as the first nontrivial case. In this paper, we focus on the question of determining $χ(K^2(2k+r,k))$ for $r \geq 2$. Recently, Kim and Park \cite{KP2014} showed that $χ(K^2(2k+1,k)) \leq 2k+2$ if $ 2k +1 = 2^t -1$ for some positive integer $t$. In this paper, we generalize the result by showing that for any integer $r$ with $1 \leq r \leq k -2$, (a) $χ(K^2 (2k+r, k)) \leq (2k+r)^r$, if $2k + r = 2^t$ for some integer $t$, and (b) $χ(K^2 (2k+r, k)) \leq (2k+r+1)^r$, if $2k + r = 2^t-1$ for some integer $t$. On the other hand, it was showed in \cite{KP2014} that $χ(K^2 (2k+r, k)) \leq (r+2)(3k + \frac{3r+3}{2})^r$ for $2 \leq r \leq k-2$. We improve these bounds by showing that for any integer $r$ with $2 \leq r \leq k -2$, we have $χ(K^2 (2k+r, k)) \leq2 \left(\frac{9}{4}k + \frac{9(r+3)}{8} \right)^r$. Our approach is also related with injective coloring and coloring of Johnson graph.

The neighborhood complex $N(G)$ is a simplicial complex assigned to a graph $G$ whose connectivity gives a lower bound for the chromatic number of $G$. We show that if the Kronecker double coverings of graphs are isomorphic, then their neighborhood complexes are isomorphic. As an application, for integers $m$ and $n$ greater than 2, we construct connected graphs $G$ and $H$ such that $N(G) \cong N(H)$ but $χ(G) = m$ and $χ(H) = n$. We also construct a graph $KG_{n,k}'$ such that $KG_{n,k}'$ and the Kneser graph $KG_{n,k}$ are not isomorphic but their Kronecker double coverings are isomorphic.

A Kneser representation KG(H) for a graph G is a bijective assignment of hyperedges of a hypergraph H to the vertices of G such that two vertices of G are adjacent if and only if the corresponding hyperedges are disjoint. In this paper, we introduce a colored version of the Turan number and use that to determine the chromatic number of some families of graphs in terms of the generalized Turan number of graphs. In particular, we determine the chromatic number of every Kneser multigraph KG(H), where the vertex set of H is the edge set of a multigraph G such that the multiplicity of each edge is greater than 1 and a hyperedge in H corresponds to a subgraph of G isomorphic to some graph in a fixed prescribed family of simple graphs.