Bipartite peak-pit domains

Alexander Karpov,Klas Markström,Søren Riis,Bei Zhou

2024-01-26

Abstract:In this paper, we introduce the class of bipartite peak-pit domains. This is a class of Condorcet domains which include both the classical single-peaked and single-dipped domains. Our class of domains can be used to model situations where some alternatives are ranked based on a most preferred location on a societal axis, and some are ranked based on a least preferred location. This makes it possible to model situations where agents have different rationales for their ranking depending on which of two subclasses of the alternatives one is considering belong to. The class of bipartite peak-pit domains includes most peak-pit domains for $n\leq 7$ alternatives, and the largest Condorcet domains for each $n\leq 8$. In order to study the maximum possible size of a bipartite peak-pit domain we introduce set-alternating schemes. This is a method for constructing well-structured peak-pit domains which are copious and connected. We show that domains based on these schemes always have size at least $2^{n-1}$ and some of them have sizes larger than the domains of Fishburn's alternating scheme. We show that the maximum domain size for sufficiently high $n$ exceeds $2.1973^n$. This improves the previous lower bound for peak-pit domains $2.1890^n$ from \cite{karpov2023constructing}, which was also the highest asymptotic lower bound for the size of the largest Condorcet domains.

Discrete Mathematics,Theoretical Economics

What problem does this paper attempt to address?

This paper attempts to address the problem of finding larger, well-structured Condorcet domains in social choice theory. Specifically, the authors introduce a new class of domains—bipartite peak-pit domains—which combine single-peaked and single-dipped preference structures, and investigate their maximum possible size. Additionally, by introducing set-alternating schemes, the authors construct a series of well-structured and larger bipartite peak-pit domains, demonstrating that the size of these domains is at least \(2^{n-1}\), with some even exceeding the size of domains obtained by Fishburn's alternating scheme. For sufficiently large \(n\), the size of these domains exceeds \(2.1973^n\), thereby improving the previous lower bound on the size of peak-pit domains. The paper also proposes several conjectures, such as the maximum size of midpoint bipartite peak-pit domains being at least \(2^{n-1}\), and supports these conjectures with experimental data. Overall, the goal of the paper is to explore larger and well-structured social choice domains to better model real-world voting and preference situations.