The cardinality of the separated vertex set of a multidimensional cube

An n-dimensional cube and the sphere inscribed into it are considered. The conjecture of A. Ben-Tal, A. Nemirovski, and C. Roos states that each tangent hyperplane to the sphere strictly separates not more than 2 ⁿ⁻² cube vertices. In this paper this conjecture is proved for n ≤ 6. New examples of hyperplanes separating exactly 2 ⁿ⁻² cube vertices are constructed for any n. It is proved that hyperplanes orthogonal to radius vectors of cube vertices separate less than 2 ⁿ⁻² cube vertices for n ≥ 3.