Choose points of such that every of their position vectors are linearly independent. Any equatorial hyperplane then contains at most points. If , at least one of each opposite pair of open hemispheres contains points. Such configurations exist: take distinct real parameters and normalize ; the Vandermonde determinant proves the required independence. This weaker one-of-two guarantee already suffices for the topological lower bound in Lovász theorem on Kneser graphs.
Articles by others on the same topic
There are currently no matching articles.