Kneser’s 1955 conjecture – proven by Lov'asz in 1978 – asserts that in any partition of the -subsets of into parts, one part contains two disjoint sets. Schrijver showed that one can restrict to significantly fewer -sets and still observe the same intersection pattern. Alon, Frankl, and Lov'asz proved a different generalization of Kneser’s conjecture for pairwise disjoint sets. Dolnikov generalized Lov'asz’ result to arbitrary set systems, while K\v{r}'{i}\v{z} did the same for the -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.

生成讲解博客的中文版本

生成AI智能校验的中文版本