Convex polytopes and quantum states

A convex polytope is defined as the convex hull of a finite non-empty set of vectors. We present a theorem of Rado (1952) which characterizes the convex hull of the collection of all permutations of a given real d-tuple in terms of the Hardy-Littlewood-Polya spectral order relation prec. We give a necessary and sufficient condition to construct a d-dimensional convex polytope which utilizes Rado's original (d-1)-dimensional characterization, and we describe how the resulting polytope may be placed in a quantum mechanical framework.