arXiv++ Combinatorics

We investigate the problem of approximating an incomplete preference relation $\succsim$ on a finite set by a complete preference relation. We aim to obtain this approximation in such a way that the choices on the basis of two preferences, one incomplete, the other complete, have the smallest possible discrepancy in the aggregate. To this end, we use the top-difference metric on preferences, and define a best complete approximation of $\succsim$ as a complete preference relation nearest to $\succsim$ relative to this metric. We prove that such an approximation must be a maximal completion of $\succsim$, and that it is, in fact, any one completion of $\succsim$ with the largest index. Finally, we use these results to provide a sufficient condition for the best complete approximation of a preference to be its canonical completion. This leads to closed-form solutions to the best approximation problem in the case of several incomplete preference relations of interest.

We propose a class of semimetrics for preference relations any one of which is an alternative to the classical Kemeny-Snell-Bogart metric. (We take a fairly general viewpoint about what constitutes a preference relation, allowing for any acyclic order to act as one.) These semimetrics are based solely on the implications of preferences for choice behavior, and thus appear more suitable in economic contexts and choice experiments. In our main result, we obtain a fairly simple axiomatic characterization for the class we propose. The apparently most important member of this class (at least in the case of finite alternative spaces), which we dub the top-difference semimetric, is characterized separately. We also obtain alternative formulae for it, and relative to this metric, compute the diameter of the space of complete preferences, as well as the best transitive extension of a given acyclic preference relation. Finally, we prove that our preference metric spaces cannot be isometically embedded in a Euclidean space.