Every simplicial polytope with at most \(d+4\) vertices is a quotient of a neighborly polytope (Q1380809)

A conjecture of Perles and Sturmfels claims that every simplicial polytope is a quotient of an even-dimensional neighbourly polytope and that similarly, every matroid polytope is a quotient of a neighborly matroid polytope of odd rank. Using the technique of affine Gale diagrams, the author proves the conjecture for simplicial polytopes as well as matroid polytopes with a bound on the number of vertices. More precisely, he proves the following theorem: Every simplicial \(d\)-polytope with at most \(d+4\) vertices is a quotient of a neighbourly polytope of dimension at most \(2d+4\) with at most \(2d+8\) vertices; every matroid polytope of rank \(d+1\) with at most \(d+4\) vertices is a quotient of a neighbourly matroid polytope of rank at most \(2d+5\) with at most \(2d+8\) vertices.