Chudnovsky–Nevo conjecture on independent sets in flag spheres

Let $\alpha(n,d)$ denote the minimum size of the largest independent set among all flag triangulations of $d$-spheres on $n$ vertices.

Chudnovsky–Nevo conjecture.

$$\alpha(n,d)=\left\lceil\frac{n+d-2}{2d}\right\rceil.$$

This conjecture gives a sharp linear lower bound for independent sets in flag triangulations of spheres, motivated by the study of their $f$-vectors. Its resolution status is not specified in the supplied source.