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 combinatorial representation of Arrow's single-peaked domains

A family of condorcet domains that are single-peaked on a circle

Bipartite peak-pit domains

A Generalization of Arrow's Impossibility Theorem Through Combinatorial Topology

Arrow's single peaked domains, richness, and domains for plurality and the Borda count

A Combinatorial Characterization of Cluster Algebras: on the Number of Arrows of Cluster Quivers

An extended generalization of RSK via the combinatorics of type $A$ quiver representations

Cambrian combinatorics on quiver representations (type A)

Abstract representation theory of Dynkin quivers of type A

Arrow Relations in Lattices of Integer Partitions

Strongly peaking representations and compressions of operator systems

Representations of $\mathbb{N}^{\infty}$-type combinatorial categories

Indecomposable representations for extended Dynkin quivers

Cyclotomic blob algebra and its representation theory

Irreducible representations of the symmetric groups from slash homologies of p-complexes

Representation theory of 0-Hecke-Clifford algebras

Archimedean distinguished representations and exceptional poles

Combinatorial Representation Theory

On the complement of the dense orbit for a quiver of type $\Aa$

Cambrian acyclic domains: counting $c$-singletons

Combinatorial Bounds in Distal Structures