The Dehn-Sommerville Relations and the Catalan Matroid
The -vector of a -dimensional polytope stores the number of faces of each dimension. When is simplicial the Dehn--Sommerville relations condense the -vector into the -vector, which has length . Thus, to determine the -vector of , we only need to know approximately half of its entries. This raises the question: Which -subsets of the -vector of a general simplicial polytope are sufficient to determine the whole -vector? We prove that the answer is given by the bases of the Catalan matroid.