Abstract
In this note, we report on a Condorcet domain of recordbreaking size for n = 8 alternatives. We show that there exists a Condorcet domain of size 224 and that this is the largest possible size for 8 alternatives. Our search also shows that this domain is unique up to isomorphism. In this note we investigate properties of the new domain and relate them to various open problems and conjectures.
Similar content being viewed by others
1 Introduction
Condorcet domains (CD), which are sets of linear orders giving rise to voting profiles with an acyclic pairwise majority relation, have been studied by mathematicians, economists, and mathematical social scientists since the 1950 s (Black 1948; Arrow 1951). Condorcet domains find use in Arrovian aggregation and social choice theory (Puppe and Slinko 2019; Lackner and Lackner 2017). In social choice theory, a Condorcet winner is a candidate who would win over every other candidate in a pairwise comparison by securing the majority of votes (Monjardet 2005). However, the existence of such a candidate is not always guaranteed, leading to the relevance of Condorcet Domains. A central question in this field has revolved around identifying large Condorcet domains, see Fishburn (1997); Galambos and Reiner (2008); Monjardet (2009); Danilov et al. (2012); Puppe and Slinko (2022); Karpov and Slinko (2022a); Karpov (2022).
A significant category of Condorcet domains is rooted in Fishburn’s alternating scheme, which alternates between two restriction rules on a subset of candidates and has been employed to construct numerous maximum size Condorcet domains. We refer to such domains based on the alternating scheme as Fishburn domains.
Fishburn introduced a function f(n) in Fishburn (1997), defined to be the maximum size of a Condorcet domain on a set of n alternatives, and posed the problem of determining the growth rate for f(n). Fishburn also proved that for \(n=16\) the Fishburn domain is not the largest CD. This was followed by further research and bounds on f(n) by Galambos and Reiner (2008); Danilov et al. (2012); Monjardet (2009). Karpov and Slinko extended and refined this work in Karpov and Slinko (2022b), as did Zhou and Riis (2023).
Although extensive research has been conducted, all known maximumsized Condorcet domains have been built using components based on either Fishburn’s alternating schemes or his replacement scheme. For instance, Karpov and Slinko (2022a) introduced a novel construction that enabled the creation of new Condorcet domains with unprecedented sizes. This allowed the authors to construct a Condorcet domain, superseding the size of Fishburn’s domain for 13 alternatives. Recently, Zhou and Riis (2023) constructed Condorcet domains on 10 and 11 alternatives, superseding the size of the corresponding Fishburn domains.
This paper shows that \(n=8\) is the smallest number of alternatives for which the Fishburn domain (size 222) is not the largest and that there is a Condorcet domain of size 224. Furthermore, relying on extensive computer calculation on the supercomputer Abisko at Umeå, we also established 224 as an upper bound and that there, up to isomorphism, is only one such Condorcet domain. The need for a supercomputer, and a carefully devised algorithm, reflects the fact that a naive search would lead to searchtree with more than \(6^{112}\) vertices. We also analyse some of the properties of this new domain (Table 1).
2 Preliminaries
There are many equivalent definitions of Condorcet domains. In this paper, we adopt the definition proposed by Ward in Ward (1965). According to this definition, a Condorcet domain of degree \(n\ge 3\) is a set of orderings of \(X_n=\{1,2,\ldots ,n\}\) that satisfies certain local conditions.
Specifically, a Condorcet domain of degree \(n=3\) is defined as a set of orderings of \(X_3\) that satisfies one of nine laws, denoted by xNi, where x is an element of \(X_3\), and i is an integer between 1 and 3. The law xNi requires that x does not come in the ith position in any order in the Condorcet domain. For example, xN1 means that x may never come first, while xN3 means that x may never come last.
A Condorcet domain of degree \(n>3\) is a set A of orderings of \(X_n\) that satisfies the following property: the restriction of A to every subset of \(X_n\) of size 3 is a Condorcet domain. In other words, for every triple a, b, c of elements of \(X_n\), one of the nine laws xNi must be satisfied, where \(x\in {a,b,c}\). For example, cN2 would mean that c may not come between a and b in any orderings in A.
A maximal Condorcet domain of degree n is a Condorcet domain of degree n that is maximal under inclusion among the set of all Condorcet domains of degree n. A Maximum Condorcet domain is a Condorcet domain of the largest possible size for a given value of n.
To avoid repetition, we will use the acronyms CD and MCD, to refer to Condorcet domain and Maximal Condorcet domain respectively.
For the case of degree 3, there are nine MCDs, each corresponding to one of the nine different laws xNi. It is easy to verify that these nine MCDs contain exactly four elements: two transpositions and two even permutations (either the identity or a 3cycle). Among the 9 MCDs of order 3, precisely six contain the identity order \(1>2>3\) since the laws 1N1, 2N2, and 3N3 each rule out one CD of degree 3.
2.1 Transformations and isomorphism of condorcet domains
First, recall that each linear order L in a CD B may also be viewed as a finite sequence of integers, obtained by ordering the elements of \(X_n\) so that they are increasing according to L, or as the permutation which permutes the identity order on \(X_n\) to this sequence. We let \(S_n\) denote the set of all permutations on \(X_n\).
Let \(g\in S_n\) and \(i\in X_n\). We define ig as g(i); and if A is a sequence of elements of \(X_n\) we define Ag to be the sequence obtained by applying g to the elements of A in turn. If B is a CD, regarded as a set of sequences, we define Bg to be the set of sequences obtained by applying g to the sequences in B, and then Bg is also a CD. Specifically, if B satisfies the law xNi on a triple (a, b, c) for some \(x\in \{a,b,c\}\), then Bg satisfies the law xgNi on the triple (ag, bg, cg). We call CDs B and Bg isomorphic. Therefore, two isomorphic CDs differ only by a relabelling of the elements of \(X_n\).
The core of a CD B is the set of permutations \(g\in B\) such that \(Bg=B\). The core of a CD which contains the identity order B is a group. We provide a more detailed discussion of the core in AkelloEgwell et al. (2023).
It can be readily shown that for any Condorcet domain, the total number of 1N3 and 2N3 rules remains invariant under isomorphism. Likewise, this holds for the total number of 2N1 and 3N1 rules and the total number of 1N2 and 3N2 rules.
3 Search methodology
We developed an algorithm to generate all MCDs of a given degree n and size at least equal to a userspecified cutoff value (e.g. size \(\ge 222\) for \(n=8\)). We implemented this algorithm in C in a serial version which is sufficient for \(n\le 6\), and a parallelized version that we used for \(n=7\) and 8. It is important to stress that this algorithm, unlike the one used by Zhou and Riis (2023), aims to construct all MCDs above some userspecified size.
Our algorithm works by starting with the unrestricted domain of all linear orders on n alternatives and then stepwise applying never laws iNp to those triples which do not already satisfy some such law. The algorithm works with unitary CDs, meaning CDs which contain the identity permutation. Since every CD is isomorphic to some unitary CD this is without loss of generality. However, by using unitary CDs we reduce the set of possible never laws from 9 to 6, thereby speeding up our search. We will next sketch some of the details required in order to see that the algorithm is complete, though at first inefficient, and then how to also make it efficient.
We define the Condorcet tree of rank n, which is a homogeneous rooted tree of valency 6 and depth \( {n\atopwithdelims ()3}\), as follows. The \({n \atopwithdelims ()3}\) triples of elements of \(X_n\) are arranged in some order, so that the vertices of the tree at a given depth t are associated with the corresponding triple \(T_t\). The six laws that a unitary CD may obey on a given triple are also ordered, and each child w of a nonleaf v of the tree is associated with one such law \(L_w\). Every vertex v is associated with a set \(c_v\) of linear orders on \(X_n\). If v is the root then \(c_v\) is the set of all orderings. If w is a child of v, where v has depth t, then \(c_w\) is obtained from \(c_v\) by removing those orderings that do not satisfy the law \(L_w\) when applied to \(T_t\).
It is possible, in theory, to process the entire tree, depth first, constructing the sets \(c_v\) for every vertex v. Then the unitary MCDs of degree n, as well as many nonmaximal CDs, are found among the sets \(c_v\) for the leaves v. In practice this is impracticable for \(n>5\) as the tree is too big.
For any leaf v the set \(c_v\) is a unitary CD, but these are not always maximal, and there will be very many duplicates. This arises from the fact that, as we move down the tree, the sets \(c_v\) will often not only obey the laws that have been explicitly applied on triples but may also obey laws on triples which are implied by the applied laws. Using this observation allows a massive reduction in the number of vertices that need to be processed, giving us a tree with 0, 1 or 6 descendants from v depending on whether \(c_v\) cannot be maximal or must be a duplicate, has an implied law, or is unrestricted by earlier laws. This is determined as follows.
When a vertex v of height t is processed the law that was enforced on each triple \(T_s\) for \(s\le t\) to define v  in other words the path from the root to v  is recorded, and \(c_v\) is constructed by taking \(c_u\), where u is the parent of v, and deleting all elements that do not satisfy the corresponding never law \(N_v\). For each \(s\le t+1\) the set \(L_s\) of laws that all the elements of \(c_v\) obey when applied to the triple \(T_s\) is determined. If, for some \(s\le t\), the set \(L_s\) contains a law that precedes the law \(N_u\), where u is the ancestor of v of depth s, then the vertex v is not processed any further, on the grounds of duplication, and its descendants are not visited. Otherwise, for each \(s\le t\), a law from \(L_s\) is selected, and the set of sequences that obey all these laws is computed. This set clearly contains \(c_v\), and if, for some such selection of laws, this set strictly contains \(c_v\) then again \(c_v\) is not processed further. In this case, any unitary CD arising from a leaf descendant of v must either fail to be maximal, or will be a duplicate of a unitary MCD constructed from a descendant of another vertex of depth t. If v passes these tests, and \(L_{t+1}\) is nonempty, the only descendant of v that will be processed is the child w defined by the least element of \(L_{t+1}\), and then \(c_w=c_v\). Otherwise all children of v are processed.
The validity of these restrictions of the full Condorcet tree follows from a recursive argument which is given in full in AkelloEgwell et al. (2023).
4 Condorcet domains on 8 alternatives with size 224
Relying on extensive computer calculation on the supercomputer Abisko at Umeå, we have established that:
Theorem 4.1
The maximum size of a CD on 8 alternatives is 224. Up to isomorphism, there is only one such CD. This CD has a core of size 4. There are no MCDs of size 223.
The largest Condorcet domain containing the identity permutation and its reverse for \(n=8\) alternatives is the Fishburn domain, which has a size of 222.
We aim to extend this with more precise counts and analysis of other large Condorcet domains on 8 alternatives in an upcoming paper.
Now let us investigate the properties of the MCD of size 224.

1.
The Fishburn domain has size 222 and hence is not the maximum CD for \(n=8\) alternatives

2.
There are 56 isomorphic Condorcet domains of size 224 which contain the identity order. Among these there is one special MCD we will refer to as D224, where each neverrule  except for the two triplets (123) and (678)  is 1N3 or 3N1. We display the rules for D224 in Table 2 and its linear orders in Table 3

3.
The domain does not have maximal width, i.e. it does not contain a pair of reversed orders.

4.
The domain is selfdual. That is, the domain is isomorphic to the domain obtained by reversing each of its linear orders.

5.
The restriction of the domain to each triple of alternatives has size 4. This means that this domain is copious in the terminology of Slinko (2019) and is equivalent to the fact that the domain satisfies exactly one neverrule on each triple.

6.
The domain is a peakpit domain in the sense of Danilov et al. (2012), i.e. every triple satisfies a condition of either the form xN1 or xN3, for some x in the triple.

7.
The authors of Karpov and Slinko (2022a) asked for examples of maximum CDs which are not peakpit domains of maximal width. Our domain is the first known such example and shows that \(n=8\) is the smallest n for which this occurs.

8.
The domain is connected (see Monjardet (2009) for the lengthy definition of this well used property.) This is in line with the conjecture from Puppe and Slinko (2022) that all maximal peakpit CDs are connected.

9.
The domain has a core of size 4, which is given in captions of Tables 2 and 3.
5 Conclusion
In conclusion, our work has demonstrated a recordbreaking maximum Condorcet domain for \(n=8\) alternatives, which is essentially unique (up to isomorphism and reversal). We have also investigated how our domain relates to various wellstudied properties of MCDs. Our findings contribute to understanding the structure of Condorcet domains and have potential applications in voting theory and social choice.
Overall, our work highlights the importance of understanding the properties and structures of CDs in order to construct larger examples and might pave the way for future research in this area.
We also observe that some recordbreaking CDs for \(n=8\) alternatives exhibit almost all rules of the form 1N3 and 3N1. These rules can be interpreted as a form of seeded voting. In such a system, for each set of three alternatives, a seeding is implemented to restrict the lowestseeded alternative from being the highestranked preference or the highestseeded alternative from being the lowestranked preference. A better understanding of the global effects of this type of local seeding could serve as a foundation for future research, potentially offering insights into algorithmic fairness and impartiality in computersupported decisionmaking.
References
AkelloEgwell D, LeedhamGreen C, Litterick A, Markström K, Riis S (2023) Condorcet domains of degree at most seven. Arxiv preprint arxiv:2306.15993
Arrow K (1951) Social choice and individual values. Wiley, New York
Black D (1948) On the rationale of group decisionmaking. J Polit Econ 56(1):23–34
Danilov V, Karzanov A, Koshevoy G (2012) Condorcet domains of tiling type. Disc Appl Math 160(7–8):933–940
Fishburn P (1997) Acyclic sets of linear orders. Soc Choice Welf:113–124
Galambos A, Reiner V (2008) Acyclic sets of linear orders via the Bruhat orders. Soc Choice Welf 30(2):245–264
Karpov A (2022) Structured preferences: a literature survey. Autom Remote Control 83(9):1329–1354
Karpov A, Slinko A (2022) Constructing large peakpit Condorcet domains. Theory Decis:1–24
Karpov A, Slinko A (2022) Symmetric maximal Condorcet domains. Order:1–21
Lackner ML, Lackner M (2017) On the likelihood of singlepeaked preferences. Soc Choice Welf 48(4):717–745
Monjardet B (2005) Social choice theory and the “centre de mathématique sociale’’: some historical notes. Soc Choice Welf 25:433–456
Monjardet B (2009) Acyclic domains of linear orders: a survey. In: The Mathematics of Preference, Choice and Order: Essays in Honor of Peter C. Fishburn, pages 139–160
Puppe C, Slinko A (2019) Condorcet domains, median graphs and the singlecrossing property. Econ Theory 67:285–318
Puppe C, Slinko A (2022) Maximal Condorcet domains. a further progress report. In: Working Paper Series in Economics 159, Karlsruhe Institute of Technology (KIT)
Slinko A (2019) Condorcet domains satisfying Arrow’s singlepeakedness. J Math Econo 84:166–175
Ward B (1965) Majority voting and alternative forms of public enterprise. In: The public economy of urban communities, pages 112–126. Routledge
Zhou B, Riis S (2023) New recordbreaking Condorcet domains on 10 and 11 alternatives. arXiv preprint arXiv:2303.06524
Acknowledgements
This research was conducted using the resources of High Performance Computing Center North (HPC2N). We would like to thank the anonymous reviewers for their constructive criticism.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest.
The authors are listed alphabetically and declare no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
LeedhamGreen, C., Markström, K. & Riis, S. The largest Condorcet domain on 8 alternatives. Soc Choice Welf 62, 109–116 (2024). https://doi.org/10.1007/s00355023014813
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00355023014813