On the stability of graph independence number
Let be a graph on vertices of independence number such that every induced subgraph of on vertices has an independent set of size at least . What is the largest possible in terms of for fixed and ? We show that , which is sharp for . We also use this result to determine new values of the Erdős--Rogers function.