Alon–Drewnowski–Łuczak conjecture for stable Kneser hypergraphs
For positive integers n,k,rn,k,rn,k,r with k≥2k\geq 2k≥2, r≥2r\geq 2r≥2, and n≥rkn\geq rkn≥rk, let KGr(n,k)r-stabKG^{r}(n,k)_{r\text{-}stab}KGr(n,k)r-stab be the rrr-stable rrr-uniform Kneser hypergraph, and let KGr(n,k)KG^{r}(n,k)KGr(n,k) be…