Abstract:To the best of our knowledge, a complete characterization of the domains that escape the famous Arrow's impossibility theorem remains an open question. We believe that different ways of proving Arrovian theorems illuminate this problem. This paper presents a new combinatorial topology proof of Arrow's theorem. In PODC 2022, Rajsbaum and Raventós-Pujol proved this theorem using a combinatorial topology approach. This approach uses simplicial complexes to represent the sets of profiles of preferences and that of single preferences. These complexes grow in dimension with the number of alternatives. This makes it difficult to think about the geometry of Arrow's theorem when there are (any) finite number of voters and alternatives. Rajsbaum and Raventós-Pujol (2022) use their combinatorial topology approach only for the base case of two voters and three alternatives and then proceed by induction to prove the general version. The problem with this strategy is that it is unclear how to study domain restrictions in the general case by focusing on the base case and then using induction. Instead, the present article uses the two-dimensional structure of the high-dimensional simplicial complexes (formally, the $2$$\unicode{x2013}$skeleton), yielding a new combinatorial topology proof of this theorem. Moreover, we do not assume the unrestricted domain, but a domain restriction that we call the class of polarization and diversity over triples, which includes the unrestricted domain. By doing so, we obtain a new generalization of Arrow's theorem. This shows that the combinatorial topology approach can be used to study domain restrictions in high dimensions through the $2$$\unicode{x2013}$skeleton.

Arrow, Hausdorff, and Ambiguities in the Choice of Preferred States in Complex Systems

Arrow's Impossibility Theorem: Computability in Social Choice Theory

Escaping Arrow's Theorem: The Advantage-Standard Model

Arrow's Theorem by Arrow Theory

From Condorcet's paradox to Arrow: yet another simple proof of the impossibility theorem

A Generalization of Arrow's Impossibility Theorem Through Combinatorial Topology

Arrow's theorem, ultrafilters, and reverse mathematics

Set-rationalizable choice and self-stability

The Common Structure of Paradoxes in Aggregation Theory

Social Choice with Changing Preferences: Representation Theorems and Long-Run Policies

Empirical and computational approaches to collective choice: introduction to a special issue

Three Dimensions of Neo-Political Economics

Subjective Complexity Under Uncertainty

Agenda manipulation-proofness, stalemates, and redundant elicitation in preference aggregation. Exposing the bright side of Arrow's theorem

Heterogeneous Preferences, Decision-Making Capacity, And Phase Transitions In A Complex Adaptive System (Vol 106, Pg 8423, 2009)

Coalitional Structure of the Muller-Satterthwaite Theorem

DYNAMIC BITS AND PIECES

Ambiguous language and common priors

Characterizations of Smooth Ambiguity Based on Continuous and Discrete Data

Combining Savage and Laplace: a new approach to ambiguity

A Study of the Paradoxes in Decision-making Logic