Stability of the independence number of $G(n, r, 1)$ graphs
M. Koshelev
TL;DR
The paper contributes a rigorous stability theorem for the independence number of Johnson graphs in the case $s=1$ by providing the correct proof of a key lemma that was previously flawed. It analyzes the random subgraph $G_{p}(n,r,1)$ with a focus on the case $p=1/2$ and establishes that, w.h.p., any large independent set must resemble a star, leading to $\,\alpha(G_{1/2}(n,r,1))=\binom{n-2}{r-2}$ for $r\ge4$. The approach combines a careful combinatorial decomposition relative to a maximal star, auxiliary quantities like $X(A)$ and $I(X)$, and probabilistic tools including Chernoff bounds and edge-count estimates to rule out troublesome configurations. By correcting the previous arguments, the work solidifies the understanding of stability for independence numbers in Johnson graphs with $s>0$ and strengthens the probabilistic method in extremal combinatorics.
Abstract
In this paper we obtain the stability theorem for the independence number of $G(n, r, 1)$ graphs. This result was previously stated in the paper of M. Pyaderkin but the proof there was incorrect. We introduce the correct proof of the key lemma and thus finally complete the proof of this theorem.
