Ordinal Efficiency and the Polyhedral Separating Hyperplane Theorem
We study problems in which each of finitely many agents must be allocated a single object, based on the agents' rankings of pure outcomes. A random allocation is ordinally efficient if it is not ordinally dominated in the sense of there being another random assignment that gives each agent a first order stochastically dominant distribution of objects. We show that any ordinally efficient random assignment maximizes the sum of expected utilities for some vector of vNM utility functions that are consistent with the given ordinal preferences. One method of proof uses a new version of the separating hyperplane theorem for polyhedra. (C) 2002 Elsevier Science (USA).