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.

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

A Generalization of Arrow's Impossibility Theorem Through Combinatorial Topology

A Global Torelli Theorem for Calabi-Yau Manifolds

A Decomposition Theorem for Herman Maps

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

Global Topology of Hyperbolic Components: Cantor Circle Case

On Topological Representation Theory from Quivers

Arrow's Impossibility Theorem: Computability in Social Choice Theory

A Topological Representation Theorem for Tropical Oriented Matroids: Part I

Another Topological Proof of the Infinitude of Prime Numbers

Arrow's Theorem by Arrow Theory

A Circuit-Based Proof of Toda′s Theorem

Categorically related topologies and hemimetrical analogues of the Baire and Kenderov theorems

On Kawamata's theorem

A direct proof of Tychonoff's theorem

Hindman's finite sums theorem and its application to topologizations of algebras

The Universal Exponentiable Arrow

A Topological Version of Schaefer's Dichotomy Theorem

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

The Topoligical Sphere Theorem for Complete Submanifolds

Deducing the multidimensional Szemeredi Theorem from an infinitary removal lemma