There can be equitable social welfare orders but no fair voting system
Abstract
In the context of intergenerational equity it is natural to ask that social welfare orders have th properties of finite anonymity and strong Pareto efficiency. Such social welfare orders can be constructed from nonprincipal ultrafilters over the set of natural numbers, and the existence of ultrafilters of this kind is known to be equivalent to the existence of a fair voting system for a countably infinite population in the sense of Arrow's theorem. Unfortunately, the existence of this variety of social welfare order, which we call anonymous Pareto, implies the existence of nonmeasurable sets of real numbers. For some, such as Litak, this entails that such social welfare orders are inadmissible for use in theoretical economics because they are non-constructive in nature. The authors seek to give nuance to this view, proving that anonymous Pareto and other social welfare orders can exist in the absence of nonprincipal ultrafilters over the set of natural numbers.
Related
- Nash Social Welfare for Multi Armed Bandits: Trajectory-wise Expected and High Probability Regret
- Anchor-proofness in Voting with Ranked Ballots
- When Can Voting Help, Hurt, or Change Course? Exact Structure of Binary Test-Time Aggregation
- Large player classes and approximately weighted voting
- When Metropolis and Hastings Meet Bradley and Terry: Exact MCMC From Preference Voting
BibTeX
@misc{fatalini2026there,
title = {{There can be equitable social welfare orders but no fair voting system}},
author = {Azul Fatalini and Luke Serafin},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.28269},
eprint = {2610.28269},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.28269},
}
RIS
TY - UNPB
TI - There can be equitable social welfare orders but no fair voting system
AU - Azul Fatalini
AU - Luke Serafin
PY - 2026
DA - 2026/10/20
PB - arXiv
DO - 10.48550/arxiv.2610.28269
UR - https://arxiv.org/abs/2610.28269
AB - In the context of intergenerational equity it is natural to ask that social welfare orders have th properties of finite anonymity and strong Pareto efficiency. Such social welfare orders can be constructed from nonprincipal ultrafilters over the set of natural numbers, and the existence of ultrafilters of this kind is known to be equivalent to the existence of a fair voting system for a countably infinite population in the sense of Arrow's theorem. Unfortunately, the existence of this variety of social welfare order, which we call anonymous Pareto, implies the existence of nonmeasurable sets of real numbers. For some, such as Litak, this entails that such social welfare orders are inadmissible for use in theoretical economics because they are non-constructive in nature. The authors seek to give nuance to this view, proving that anonymous Pareto and other social welfare orders can exist in the absence of nonprincipal ultrafilters over the set of natural numbers.
ER -