A Generalization of Arrow's Impossibility Theorem Through Combinatorial Topology

Isaac Lara, Sergio Rajsbaum and Armajac Ravent\'os-Pujol
Additional contact information
Isaac Lara: Centro de Estudios Econ\'omicos, El Colegio de M\'exico
Sergio Rajsbaum: Instituto de Matem\'aticas, Universidad Nacional Aut\'onoma de M\'exico
Armajac Ravent\'os-Pujol: Departamento de Econom\'ia, Universidad Carlos III de Madrid

Papers from arXiv.org

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\'os-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\'os-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.

Date: 2024-02, Revised 2024-07
New Economics Papers: this item is included in nep-mic
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://arxiv.org/pdf/2402.06024 Latest version (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:arx:papers:2402.06024

Access Statistics for this paper

More papers in Papers from arXiv.org
Bibliographic data for series maintained by arXiv administrators (help@arxiv.org).