Improving Randomized Metric Distortion to 2.1441
Organizations: University of Toronto
Abstract
In metric social choice, voters rank candidates by their distances in an unknown metric space. A voting rule uses these rankings to select a candidate or a lottery over candidates, aiming to minimize the average distance to voters. Distortion measures the worst-case approximation ratio. While the best distortion of deterministic rules is , prior work pins down the best distortion of randomized rules to . We improve the upper bound to , closing over of this gap. The proof introduces random-size stable lotteries, proves their existence, and derives the new bound through a potential argument. All the proofs were obtained using GPT-5.6-Sol with significant guidance from the author, who verified them and simplified the exposition.
Figures & tables
| Upper bounds | ||
| optimal deterministic rule | [ 17 ] | |
| a mixture of maximal lottery and RaDiUS | [ 9 ] | |
| the equal mixture of maximal lottery and Integrated Veto | [ 15 , 34 ] | |
| a random-size stable lottery rule | this paper | |
| Lower bounds | ||
| an example with | [ 32 ] | |
Appendix figures & tables1 asset
Supplementary material from the paper’s appendix.
Appendix
| Check in the proof | Checker routine | Polynomial in the checker |
|---|---|---|
| The probabilities are positive and sum to one, and the distortion bound is | exact_parameter_checks | probability_mass_identity and its reverse, probability_0_positive through probability_3_positive , and distortion_identity and its reverse |
| and | threshold_checks | activation_below_mean and threshold_derivative |
| Equation 5.2 on | boundary_inequality | boundary_polynomial |
| Monotonicity of the second branch of on | potential_monotonicity | potential_derivative , a direct polynomial check of the conclusion also obtained from convexity in Verification 3 |
| internal_cell_001 | cell_001 | |
| internal_cell_011 | cell_011 |
Social Choice Theory
Social choice theory studies how individual preferences can be combined into collective decisions, fair allocations, and representative outcomes.
See all 52 papers