Metric Distortion Bounds for Randomized Social Choice

TL;DR

This paper investigates the limits of randomized social choice mechanisms in metric spaces, disproving a previous conjecture and establishing new lower bounds on distortion for selecting optimal candidates based on ordinal voter preferences.

Contribution

The paper disproves the conjecture that randomized mechanisms can achieve a distortion of 2, establishing higher lower bounds for multiple candidates and providing bounds for a specific class of metrics.

Findings

Randomized mechanisms cannot guarantee distortion better than approximately 2.1126 as the number of candidates grows.

A class of simple metrics captures the hardness of the problem, leading to new lower bounds.

The paper provides a nearly matching upper bound for this class of metrics and proves the case for three candidates.

Abstract

Consider the following social choice problem. Suppose we have a set of $n$ voters and $m$ candidates that lie in a metric space. The goal is to design a mechanism to choose a candidate whose average distance to the voters is as small as possible. However, the mechanism does not get direct access to the metric space. Instead, it gets each voter's ordinal ranking of the candidates by distance. Given only this partial information, what is the smallest worst-case approximation ratio (known as the distortion) that a mechanism can guarantee? A simple example shows that no deterministic mechanism can guarantee distortion better than $3$, and no randomized mechanism can guarantee distortion better than $2$. It has been conjectured that both of these lower bounds are optimal, and recently, Gkatzelis, Halpern, and Shah proved this conjecture for deterministic mechanisms. We disprove the conjecture for randomized mechanisms for $m \geq 3$ by constructing elections for which no randomized mechanism can guarantee distortion better than $2.0261$ for $m = 3$, $2.0496$ for $m = 4$, up to $2.1126$ as $m \to \infty$. We obtain our lower bounds by identifying a class of simple metrics that appear to capture much of the hardness of the problem, and we show that any randomized mechanism must have high distortion on one of these metrics. We provide a nearly matching upper bound for this restricted class of metrics as well. Finally, we conjecture that these bounds give the optimal distortion for every $m$, and provide a proof for $m = 3$, thereby resolving that case.