cs.GTAug 22, 2026

Metric Distortion of Social Welfare Functions

Authors: Fatih Erdem Kizilkaya, Aaryaman Aggarwal, Evi Micha

Organizations: University of Southern California · Indian Institute of Technology Kanpur

Abstract

Metric distortion has primarily been studied for social choice functions, which select a single winner from ordinal preferences. We extend this framework to social welfare functions, which output a ranking of mm candidates. We associate each voter vv with a monotone weight vector wv=(wv1,…,wvm)\mathbf{w}_v = (w_{v1},\ldots,w_{vm}), specifying the importance of the ii-th position for voter vv, and define the cost of a ranking as the position-weighted sum of their distances to the ranked candidates. This model generalizes both single-winner voting and committee selection. We consider three information regimes. First, we study the setting where the positional weight vectors are known. A natural approach recursively applies a single-winner rule with distortion ββ to construct the ranking one position at a time. We show that this yields distortion at most 3β3β in general. This gap is not merely an artifact of the analysis: we show that no analysis based solely on per-round guarantees can certify a bound better than 2β2β. By exploiting structural properties specific to Fractional Veto of Kizilkaya and Kempe, we show that its recursive extension achieves the optimal distortion of 3. Second, when all voters share the same unknown weight vector, recursively applying any social choice function with distortion ββ achieves distortion at most 1+(β−1)range(w)1+(β-1)\text{range}(\mathbf{w}), where range(w)=(w1−wm)/w1\text{range}(\mathbf{w})=(w_1-w_m)/w_1 denotes the normalized range of the common weight vector w\mathbf{w}. Finally, we study unknown heterogeneous weights. Without further assumptions, every rule has unbounded distortion. We therefore consider two natural normalizations: unit-sum, where each voter distributes one unit of value across the ranking, and unit-top, where every voter assigns unit value to the first position. Under both models, we show that the optimal distortion is Θ(m)Θ(m).

Figures & tables

Explore similar work

Aug 29, 2026

Improving Randomized Metric Distortion to 2.1441

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 33, prior work pins down the best distortion of randomized rules to [2.1126,2.5][2.1126,2.5]. We improve the upper bound to 2.14412.1441, closing over 90%90\% 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.
Oct 17, 2026

Tree Plurality Veto: Voting in Few Rounds with Efficient Communication and Low Metric Distortion

We consider the metric distortion framework for voting, where nn voters and mm candidates are embedded in an unknown metric space. A voting rule selects a candidate using only voters' ordinal preferences, and its distortion is the worst-case ratio between the social cost of the selected candidate and the minimum social cost. We study how round complexity trades off against total communication in deterministic voting protocols with low distortion. Deterministic rules can achieve the optimal distortion of 33 in one round by eliciting complete rankings using Θ(nmlog⁡m)Θ(nm\log m) bits, while a direct sequential implementation of PluralityVeto achieves the same distortion using only O(nlog⁡m)O(n\log m) bits but requires Θ(n)Θ(n) rounds. Our main result is TreePluralityVeto, a deterministic voting protocol that, for every r≥2r\ge 2, achieves distortion at most 2r−12r-1 using at most rr rounds and O(nlog⁡m+ns1/(r−1)log⁡s)O(n\log m+n s^{1/(r-1)}\log s) bits of total communication, where s=min⁡{n,m}s = \min\{n, m\}. The protocol runs PluralityVeto on a hierarchical partition of the voters, collecting restricted rankings in parallel at each level. The branching factor controls the tradeoff between rounds and communication, and a matching-based analysis shows that each level increases the distortion bound by at most 22.
Mar 19, 2026

Linear Social Choice with Few Queries: A Moment-Based Approach

Most social choice rules assume access to full rankings, while current alignment practice -- despite aiming for diversity -- typically treats voters as anonymous and comparisons as independent, effectively extracting only about one bit per voter. Motivated by this gap, we study social choice under an extreme communication budget in the linear social choice model, where each voter's utility is the inner product between a latent voter type and the embedding of the context and candidate. The candidate and voter spaces may be very large or even infinite. Our core idea is to model the electorate as an unknown distribution over voter types and to recover its moments as informative summary statistics for candidate selection. We show that one pairwise comparison per voter already suffices to select a candidate that maximizes social welfare, but this elicitation cannot identify the second moment and therefore cannot support objectives that account for inequality. We prove that two pairwise comparisons per voter, or alternatively a single graded comparison, identify the second moment; moreover, these richer queries suffice to identify all moments, and hence the entire voter-type distribution. These results enable principled solutions to a range of social choice objectives including inequality-aware welfare criteria such as taking into account the spread of voter utilities and choosing a representative subset.