Improved lower bounds for the maximum size of Condorcet domains
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911368990425088 |
|---|---|
| author | Karpov, Alexander Markstrom, Klas Riis, Soren Zhou, Bei |
| author_facet | Karpov, Alexander Markstrom, Klas Riis, Soren Zhou, Bei |
| contents | Condorcet domains are sets of linear orders with the property that, whenever voters' preferences are restricted to the domain, the pairwise majority relation (for an odd number of voters) is transitive and hence a linear order. Determining the maximum size of a Condorcet domain, sometimes under additional constraints, has been a longstanding problem in the mathematical theory of majority voting. The exact maximum is only known for $n\leq 8$ alternatives.
In this paper we use a structural analysis of the largest domains for small $n$ to design a new inductive search method. Using an implementation of this method on a supercomputer, together with existing algorithms, we improve the size of the largest known domains for all $9 \leq n \leq 20$. These domains are then used in a separate construction to obtain the currently largest known domains for $21 \leq n \leq 25$, and to improve the best asymptotic lower bound for the maximum size of a Condorcet domain to $Ω(2.198139^n)$. Finally, we discuss properties of the domains found and state several open problems and conjectures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_07336 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Improved lower bounds for the maximum size of Condorcet domains Karpov, Alexander Markstrom, Klas Riis, Soren Zhou, Bei Discrete Mathematics Computer Science and Game Theory Condorcet domains are sets of linear orders with the property that, whenever voters' preferences are restricted to the domain, the pairwise majority relation (for an odd number of voters) is transitive and hence a linear order. Determining the maximum size of a Condorcet domain, sometimes under additional constraints, has been a longstanding problem in the mathematical theory of majority voting. The exact maximum is only known for $n\leq 8$ alternatives. In this paper we use a structural analysis of the largest domains for small $n$ to design a new inductive search method. Using an implementation of this method on a supercomputer, together with existing algorithms, we improve the size of the largest known domains for all $9 \leq n \leq 20$. These domains are then used in a separate construction to obtain the currently largest known domains for $21 \leq n \leq 25$, and to improve the best asymptotic lower bound for the maximum size of a Condorcet domain to $Ω(2.198139^n)$. Finally, we discuss properties of the domains found and state several open problems and conjectures. |
| title | Improved lower bounds for the maximum size of Condorcet domains |
| topic | Discrete Mathematics Computer Science and Game Theory |
| url | https://arxiv.org/abs/2601.07336 |