Metric distortion Under Probabilistic Voting

TL;DR

This paper extends metric distortion analysis in social choice to probabilistic voting models, showing that popular voting rules behave differently under these models and better match real-world voting intuitions.

Contribution

It introduces a probabilistic voting framework, including the Plackett-Luce model, and analyzes how common voting rules perform in terms of distortion within this new setting.

Findings

Copeland's distortion is at most 2 under the PL model.

Random Dictator's distortion can grow as (\u221a m) in large elections.

Borda's distortion varies with (m^{1-2/ heta}) depending on the parameter ( heta).

Abstract

Metric distortion in social choice is a framework for evaluating how well voting rules minimize social cost when both voters and candidates exist in a shared metric space, with a voter's cost defined by their distance to a candidate. Voters submit rankings, and the rule aggregates these rankings to determine a winner. We extend this framework to incorporate probabilistic voting, recognizing that real-world voters exhibit randomness in how they vote. Our extension includes various probability functions, notably the widely studied Plackett-Luce (PL) model. We show that the distortion results under probabilistic voting better correspond with conventional intuitions regarding popular voting rules such as \textsc{Plurality}, \textsc{Copeland}, \textsc{Random Dictator} and \textsc{Borda} than those under deterministic voting. For example, in the PL model with candidate strength inversely proportional to the square of their metric distance from a voter, we show that \textsc{Copeland}'s distortion is at most 2, whereas that of \textsc{RandomDictator} is $\Omega(\sqrt{m})$ in large elections (i.e., number of voters $n \rightarrow \infty$), where $m$ is the number of candidates. This contrasts sharply with the classical model, where \textsc{RandomDictator} beats \textsc{Copeland} with a distortion of 3 versus 5. In the PL model where the candidate strength is inversely proportional to the distance raised to power $\theta$, the distortion under \textsc{Borda} is $\Theta(m^{1-2/\theta})$ when $\theta>2$ and $\Theta(1)$ otherwise. This generalizes the classical deterministic voting model where the distortion of \textsc{Borda} is $2m-1$. The proof uses a novel variant of asymptotic duality where we choose the Lagrange multiplier via asymptotically maximizing the derivative of the objective function. Overall, our work opens a new frontier for analyzing voting rules.