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.

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 Impossibility Theorem: Computability in Social Choice Theory

Arrow's theorem, ultrafilters, and reverse mathematics

Resolving Bertrand's Probability Paradox

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

Escaping Arrow's Theorem: The Advantage-Standard Model

Arrow's Theorem by Arrow Theory

A Computer-Aided Proof to Gibbard-Satterthwaite Theorem

Condorcet Consistency And Pairwise Justifiability Under Variable Agendas

The Common Structure of Paradoxes in Aggregation Theory

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

A topological proof of Terao's generalized Arrow's Impossibility Theorem

Two statements of the Duggan-Schwartz theorem

Connecting Arrow's Theorem, voting theory, and the traveling salesperson problem

Avoiding Contradictions in the Paradoxes, the Halting Problem, and Diagonalization

Semi-Random Impossibilities of Condorcet Criterion

An impossibility theorem concerning positive involvement in voting

Condorcet-Consistent Choice Among Three Candidates

Sometime a Paradox, Now Proof: Non-First-Order-izability of Yablo's Paradox

Quantum voting and its physical interpretation