1 Introduction

Single-peaked domains, or single-peaked preferences, were introduced by Black (1948) (single peaked curves) as a sufficient condition to overcome Condorcet paradox (Black 1948, 1958), i.e., having a cyclic majority preferences. Given a single-peaked domain, a winner can be determined by a simple majority voting rule. Since then, single-peaked domains and related topics have been extensively researched, see the review paper (Monjardet 2009) and also a recently published paper by Puppe (2018).

As wrote in Fishburn (1997), and mentioned in Danilov et al. (2012): “...it is far from obvious how the restrictions should be selected jointly to produce a large acyclic sets”. Our contribution is a neatly simple procedure of constructing complete single-peaked domains of tiling type explicitly for any finite alternative sets. The underlying basic structure and properties of single-peaked domains provided here also give some insights and make further developments on single-peakedness more easy.

Our motivations for this research began with the random assignment problem (Fujishige et al. 2018). Single-peakedness is important to keep required properties for further generalization (Achuthankutty and Roy 2018; Bade 2019; Moulin 1980, 2017; Savaglio and Vannucci 2019). Having a better understanding of the structure of single-peaked domains leads to the simple recursive construction provided in the following. Single-peakedness is also connected to various topics. We give these related discussions in Concluding remarks.

The paper consists of two main sections. Section 2 is divided into two subsections. Section 2.1 gives some basic definitions and recent published results, Sect. 2.2 treats rhombus tilings. Section 3 consists of three subsections, observations, procedure and theorems respectively. They provide (together with validation) the recursive construction of complete single-peaked domains of tiling type. The final section gives concluding remarks.

2 Definitions and preliminaries

2.1 Single-peaked and Condorcet domains

Consider a finite set of alternatives X with a fixed linear order > on it. Let \(\mathcal {L}(X)\) denote the set of all preferencesFootnote 1\(\prec \) on X. A domain \(\mathcal {D} \subset \mathcal {L}(X)\) is single-peaked with respect to the linear order > on X if, for all (strict) preferences \(\prec \in \mathcal {D}\) and all \(x \in X\), the upper contour sets \( U_{\prec }(x) :=\{y \in X \mid x \prec y \} \cup \{x\} \) are connected (‘convex’) viewing from the order >. In other words, suppose that \({\bar{x}} \in X\) is the peak/top of the preference, we have (i) \( x' > x \ge {\bar{x}} \Rightarrow x' \prec x\), or (ii) \( {\bar{x}} \ge x > x' \Rightarrow x' \prec x\).

In the following, we denote alternative set as \(N=\{1,2,\ldots ,n\}\) with the nature order. For \(i, j \in N\), we write \( i \succ j\) as ij if without confusion.Footnote 2 From now on, order refers to preference order if without special explanation.

It is known that the single-peaked domain in \(\mathcal {L}(N)\) contains at most \(2^{n-1}\) elements, or orderings (Black 1958; Abello and Johnson 1984).

Example 1

For \(n=4\), the single-peaked domain is the set \(\{1234, 2134, 2314, 2341, 3214, 3241, 3421, 4321 \}\). Note that 2431 is not the element of single-peaked domain. Since \(U_{\prec }(4) =\{2,4\}\) is not connected, it excludes the middle \(\{3\}\). Or, the relation with peak \(\{2\}\), \(4>3>2\), but \(3 \prec 4\), violates the definition (i) above.

A profile\(\pi _m=(\prec _1,\ldots ,\prec _m)\) on domain \(\mathcal{D}\) is an element of the Cartesian product \(\mathcal{D}^m\) for some number \(m \in \mathbb {N}\) of ‘voters’, where \(\prec _\ell \) means the preference of \(\ell \)th voter on alternative set N. For simplicity, suppose m being an odd number.

The (simple) majority relation associated with a profile \(\pi _m\) is defined by \(i \prec ^{maj}_{\pi _m} j \) if (and only if) more voters (\(>m/2\)) prefer j than i. Here is an example of three voter’s profile \(\pi _3=(123,231,312)\) on alternatives {1, 2, 3}. It is easy to check

$$\begin{aligned} 1 \prec ^{maj}_{\pi _3} 3 \prec ^{maj}_{\pi _3} 2 \prec ^{maj}_{\pi _3} 1 , \end{aligned}$$

i.e., a majority cycle, \(i \prec ^{maj}_{\pi _m} ,\ldots , \prec ^{maj}_{\pi _m} i\) for some \(i \in N\), occurring.

A domain \(\mathcal {D} \subset \mathcal {L}(N)\) without two sub-domains \( \{ijk,jki,kij \}\) and \(\{kji\), \(jik, ikj \} \) when restricted on any three alternatives ijk in N is a Condorcet domain (abbreviated as CD).Footnote 3 Majority circle does not occur in Condorcet domains (Monjardet 2009). A single-peaked domain is the subset of a Condorcet domain.

Condorcet domains are characterized by the never conditions defined as follows. For h in \(\{i,j,k\}\) and r in \(\{1,2,3\}\), the never conditionsFootnote 4\(h N_{i,j,k} r\) means that h never has rank r. The single-peaked domain corresponds to, ‘the middle never ranking the last’. Here ‘the middle never ranking the best‘ is called pit domain. These two domains, will be discussed further in the following (sub)sections. For more details about CDs, please see the review paper (Monjardet 2009).

Let \(\varOmega = \{(i,j) \mid i,j \in N, i <j \}\). For a linear order \(\sigma \), a pair \((i,j) \in \varOmega \) is called an inversion (w.r.t. \(\sigma \)) if \( j \prec _{\sigma } i\) and \(i<j\). The set of inversions for \(\sigma \) is denoted by Inv\((\sigma )\). For linear orders \(\sigma , \tau \in \mathcal {L}(N)\), we write \(\sigma \ll \tau \) if \(\mathrm{Inv}(\sigma ) \subseteq \mathrm{Inv} (\tau )\). (\(\mathcal {L}(N), \ll \)) is called the Bruhat poset. The Bruhat digraph is formed by drawing an arc from \(\sigma \) to \(\tau \) if and only if \(\tau \) covers \(\sigma \).Footnote 5

Figure 1 gives a digraph of Bruhat poset for \(n=3\). The four orders \(\{123,213,231,321\}\) on the left path form a single-peaked domain, the four orders \(\{123,132,321,321\}\) on the right path from a pit domain.

Fig. 1
figure 1

The digraph of Bruhat poset for \(n=3\)

Now we introduce a theorem related to single-peaked domains in paper (Puppe 2018) published recently. It is one of two main results which our recursive procedure is based on.

A domain \(\mathcal {D} \subset \mathcal {L}(N)\) is called minimally rich if for every \(i \in N\), there exists an order \(\sigma \in \mathcal {D}\) such that \(\sigma \) has i as the top preference. Note that a maximal width of the digraph of Bruhat poset means that associated domain \(\mathcal {D}\) contains at least one pair of completely reversed orders. For example, \(\alpha =12\ldots (n-1)n\) and \(\omega = n(n-1)\ldots 21\), with Inv\((\alpha )=\emptyset \) and Inv\((\omega )=\varOmega \).

Furthermore, the domain of all orders that are single-peakedness is denoted by \(\mathcal {SP}(N)\). A domain \(\mathcal {D}\) is semi-connected if it contains two completely reversed orders, and a directed path connecting them in the associated digraph of the Bruhat poset \((\mathcal {D},\ll )\). The connectedness of the Bruhat digraph is defined in the natural way. Now we are ready to present:

Theorem 1

(Theorem 1, Puppe 2018) The domain \(\mathcal {SP}(N)\) of all single-peaked orders is a connected and minimally rich Condocet domain with maximal width. (In particular, \(\mathcal {SP}(N)\) is semi-connected.)

Conversely, if \(\mathcal {D} \subset \mathcal {L}(N) \) is a semi-connected and minimally rich Condocet domain, then \(\mathcal {D}\) is single-peaked.

2.2 Representing CDs by rhombus tiling

The characterizations of Condorcet domains by the rhombus tiling given by Danilov et al. in paper (2012) and related papers (Danilov et al. 2007, 2010) develop and unify several related properties known earlier. The representation by the rhombus tiling also admits a simple and good visualization. The notations and contents of this subsection are mainly adopted from the paper (Danilov et al. 2012).

By the parallel property of arcs of rhombus tiles, tilings can be represented via a vector summation. Precisely, let \(\xi _i \in \mathbb {R} \times \mathbb {R}_{>0}\) (\(i \in N\)) be vectors in the upper half-plane. The sum of segments \([0,\xi _i]\) of (\(\xi _1,\xi _2,\ldots ,\xi _n\)) forms a zonogon, denoted by \(Z=Z_n\). This is the symmetric 2n-gon formed by the points \(\sum _{i-1}^n a_i \xi _i\) over all \(0 \le a_i \le 1\) (\(1\le i \le n\)), with the source vertex (point (0, 0)) at the bottom, and the sink vertex (point \(\xi _1+\xi _2+ \cdots +\xi _n\)) at the top. A rhombus congruent to the sum of two segments \([0,\xi _i]\) and \([0,\xi _j]\) is called an ij-tile, or simply a tile, where \(1\le i < j \le n\).

A rhombus tiling (or simply a tiling), denoted by T, is a subdivision of a zonogon into a set of rhombus tiles satisfying the following condition: if two tiles intersect, then their intersection consists of a single vertex or a single edge. Figure 2 shows two examples of rhombus tilings. We label the arcs of tilings with corresponding alternative \(i \in N\) (same labels of parallel arcs are omitted if they are obvious to readers).

Fig. 2
figure 2

Two tilings of the zonogon of size 3

Using the language of graph in the following, we associate to a tiling T with the planar directed graph \(G_T=(V_T,A_T) \) whose vertices and edges are those occurring in the tile T. Note that graph \(G_T\), or tiling T is an acyclic graph since all arcs are oriented upward. Figure 2, as well as Figs. 4 and 5 in Sect. 3, all are examples of graphic tilings.

An maximal directed path is a path going from the source to the sink by the acyclicity of \(G_T\). We call such path a snake of T. The labels on the directed path of each snake form a linear order, or a permutation of alternatives of N (Elnitsky 1997; Danilov et al. 2012). The zonogon, or the summation of upward vector segments in a plane, is bounded by two special snakes, the left boundary lbd(Z) and right boundary rbd(Z) of Z, the former gives a liner order \(\alpha \), and the latter gives \(\omega \).

For a directed path of \(G_T\), or a linear order, if instead of two arcs of a tile on the path, by adding the other two arcs of the tile, we get a new path that differs one inversion in the linear order. Hence we can view a tile as a permutation of two adjacent, or consecutive alternatives. Moreover, right snakes have more inversion pairs than left ones, and the set of snakes is a Bruhat poset. And all snakes of a tiling also form a lattice. See more details in papers (Elnitsky 1997; Danilov et al. 2012).

Let us denote the set of linear orders associated with the snakes in tiling T by \(\varSigma (T)\). In our examples shown above, \(\varSigma (T)\) of tiling T in Fig. 2 associates with the set of four orders on the left path of Fig. 1; and \(\varSigma (T')\), the four orders on the right path of Fig. 1.

The preference domain represented by a tiling is majority acyclic, i.e., a Condorcet domain. Since restricting every three alternatives leads to two tiles show in Fig. 2, they are peak-pit domains. Formally, a set \(\mathcal {D} \subset \mathcal {L}(N)\) is called peak-pit domain if for each triple \(i<j<k\) in N satisfies never conditions: j never ranking the last, best, or both (Danilov et al. 2012).

We say that domain \(\mathcal {D}\) is complete if it is inclusion-wise maximal, i.e., adding to \(\mathcal {D}\) any new linear order violates the majority acyclicity.

Theorem 2

(Theorem 1, Danilov et al. 2012) The set \( \varSigma (T)\) of tiling T is a peak-pit Condorcet domain and also complete.

Proof of the converse of Theorem 2 is less trivial. The never conditions of Condorcet domain defined in Section 2.1 relate to the separation theorems in algebra, via the reduced words of permutations, or the transpositions of symmetric groups, and Plücker functions (Leclerc and Zelevinsky 1998), also see papers (Danilov et al. 2007, 2010). The following result also has been shown in the paper (Danilov et al. 2012).

Theorem 3

(Theorem 2, Danilov et al. 2012) Each peak-pit domain is a domain of tiling type.

3 A recursive construction of complete single-peaked domains by tiling

In this section, we provide our main result, an explicit construction of complete single-peaked domains of tiling type of any cardinality size, based on the results introduced in last section and some observations shown in the following.

3.1 Some observations of known results and examples

We first define an associated tiling for a preference domain. For a (complete peak-pit) domain \(\mathcal {D} \subset \mathcal {L}(N)\), let us denote the associated tiling T such that \(\varSigma (T)= \mathcal {D}\) by \(T_{\mathcal {D}}\).

Observation 1

Suppose that a domain \(\mathcal {D}\) is single-peaked and \(T_{\mathcal {D}}\) is its associated tiling. Then, for alternative set \(N=\{1,\ldots , n\}\), the minimally rich condition given in Theorem 1 means that there should be n arcs connected to the source of \(T_{\mathcal {D}}\). On the other hand, by the never condition of single-peaked domains, ‘middle can not be the least preference’, only the first and the last, \(\{1,n\}\), of alternative set N can be the last element of any sink-peaked liner order. Hence, the arcs connected to the sink of \(T_{\mathcal {D}}\) are two alternatives only, \(\{n\}\) and \(\{1\}\). We summarize and illustrate these facts in Fig. 3.

Fig. 3
figure 3

Tilings for single-peaked domains from previous results

The above conclusions, i.e., the results have been known and obtained, do not define what are the exact tilings for single-peaked domains, and how to build these tilings. We will approach the problem with tilings of lower cardinality size of single-peaked domains.

We have seen an associated tiling \(T_{\mathcal {D}}\) for single-peaked domain \(\mathcal {D}\) with \(n=3\), i.e., T in Fig. 2. The tiling for Example 1 given in Sect. 2.1 is drawn in Fig. 4. We also add two trivial cases, \(n=1\) and \(n=2\) for the completeness of the discussions in the following.

Fig. 4
figure 4

Three tilings of single-peaked domains for \(n=1\), \(n =2\) and \(n=4\)

For the single-peaked domain of size 5, it is the tilingFootnote 6 introduced by Elnitsky (1997) (Fig. 8 of the paper) as a tiling example, we redraw it in Fig. here for comparing and better understanding.Footnote 7

Fig. 5
figure 5

The tiling of single-peaked domain for \(n=5\)

3.2 Recursive procedure

Our construction needs notations specifically indexed by recursive procedure steps \(n\ge 1\).

Denote a single-peaked domain (of all orders) of tiling type with respect to alternative set\(N=\{1,\ldots ,n\}\) by \(\mathcal {SP}_n \subset \mathcal {L}(N)\). Note that we have \(\varSigma (T_{\mathcal {SP}_n})=\mathcal {SP}_n\). We use \(T_{RP_{n}}\) (\(n\ge 1\)) for the tilings obtained from Recursive Procedure and in the proof of Theorem 4.

figure a
Fig. 6
figure 6

Step 1 of the recursive procedure

Fig. 7
figure 7

Step \(n-1\) of recursive procedure

In the above Step \(n-1\), note that we can also change the rbd(\(T_{{RP}_{n-1}}\)) to lbd(\(T_{{RP}_{n-1}}\)), the left boundary of \(T_{{RP}_{n-1}}\), and add lbd(\(T_{{RP}_{n-1}}\)) to the left side of \(T_{{RP}_{n-1}}\). \(T_{{RP}_{n}}\) (\(n>1\)) are symmetric, rbd(\(T_{{RP}_{n}}\)), or lbd(\(T_{\mathcal {SP}_{n}}\)), is not crucial here.

3.3 Validation and properties of Recursive Procedure

In this subsection, we show that for any given alternative set \(N=\{1,\ldots ,n\}\), \( T_{{RP}_n}\) obtained from Recursive Procedure satisfies

$$\begin{aligned} \varSigma (T_{{RP}_n})=\mathcal{SP}(N) \quad (n \ge 1). \end{aligned}$$

The claim is shown by two theorems, we also discuss some properties.

Theorem 4

For any alternative sets \(N=\{1,2,\ldots ,n\},\)Footnote 8 the tiling \(T_{\mathcal {SP}_n}\) of single-peaked domains \(\mathcal {SP}_n \subset \mathcal {L}(N)\) can be explicitly constructed for every integer \(n \ge 1\) in a recursive process.

Proof

A construction procedure has been provided in Sect. 3.2. We will show that \(T_{{RP}_n}\) obtained from Recursive Procedure being single-peaked domains, i.e., \(\varSigma (T_{{RP}_n})= \varSigma (T_{\mathcal {SP}_n}) \) for any integers \(n \ge 1\).

Since our Recursive Procedure is the CD domains of tiling type, by Theorem 2 we have \(\varSigma (T_{{RP}_n})\) for \(n\ge 1\) are peak-pit domains,

We now prove that the tilings \(T_{{RP}_n}\) being semi-connected. It is clear that each \(T_{{RP}_n}\) contains two boundaries, lbd(\(T_{{RP}_n}\)) and rbd(\(T_{{RP}_n}\)), which are completely reversed. The connection paths between lbd(\(T_{{RP}_n}\)) and rbd(\(T_{{RP}_n}\)) in the digraph induced by Bruhat poset can be obtained according to a similar discussion given in Elnitsky (1997). If a snake, or a preference order, say A, is not rbd(\(T_{{RP}_n}\)), there exists at least one tile in the right of snake A, having two arcs of \({T_{{RP}_n}}\), say i and j (\(i <j\)), common with the snake A. Replacing two arcs of ij tile in snake A with two other arcs of the tile, we obtain a new snake, say B, with \(\mathrm{Inv}(B)= \mathrm{Inv}(A) \cup (i,j)\). Hence the order induced by B covers the order by A, and there is an arc from A to B in the Bruhat digraph. Beginning with lbd(\(T_{{RP}_n}\)), continuing the above process until we reach rbd(\(T_{{RP}_n}\)). Therefore, tiling \(T_{{RP}_n}\) is semi-connected.

It is easy to see that each step of Recursive Procedure increases one arc adjacent to the source. Beginning from Step 1, there are n arcs adjacent to the source of \(T_{{RP}_n}\) (\(n \ge 1)\). Recall Observation 1, we know that the domain \( \varSigma (T_{{RP}_n})\) satisfying minimally rich condition.Footnote 9

Now all the conditions for single-peakedness needed by Theorem 1 have been satisfied.

By definition, the single-peaked domain \( \varSigma (T_{\mathcal {SP}_n})\) is a peak-pit domain. It can be contained in a domain of tiling type as indicated in Theorem 3, which is exactly the tiling \(T_{{RP}_n}\) obtained from our Recursive Procedure for any integers, i.e., \(T_{{RP}_n}\) coinciding with \( T_{\mathcal {SP}_n}\) for \(n \ge 1\). \(\square \)

Remark 1

The directed graph \(G_{T_{{RP}_n}}\), or \(G_{T_{\mathcal {SP}_n}}\) obtained from Recursive Procedure is consist of \(1+n+(n-1) +\cdots +1 =1 + \frac{n(n+1)}{2}\) vertices and \(n \times n\) arcs. From the proof of Theorem 4, we know that the number of tiles in \(T_{\mathcal {SP}_n}\) is the diameter of the Bruhat digraphs associated with single-peaked domains \(\mathcal {SP}_n\) for \(n >1\). The different tiles intersecting two arcs with snake A chosen in the proof of Theorem 4 leads to different sets of orders (see also Elnitsky 1997).

Here is a theorem about the completeness of \({\mathcal {SP}_n}\).

Theorem 5

For any alternative sets \(N=\{1,2,\ldots ,n\}\), if \(\mathcal {SP}_n\) (\(n \ge 1\)) are the single-peaked domains obtained from Recursive Procedure, then we have \(\mathcal {SP}_n =\mathcal {SP}(N)\).

Proof

We have shown in Theorem 4 that \(T_{{RP}_n}\) (\(n \ge 1\)) obtained by Recursive Procedure are single-peaked domains \({\mathcal {SP}_n}\) of tiling type. By Theorem 3, we know that the tiling type of CD domains is peak-pit complete. Since single-peaked domains \({\mathcal {SP}_n}\) are peak-pit domains. We have \(\mathcal {SP}_n\) being complete, i.e., \(\mathcal {SP}_n = \mathcal {SP}(N)\) for all \(n \ge 1\).

\(\square \)

Remark 2

From the proof of Theorem 5, we know that \(\mathcal {SP}_n\) (\(n \ge 1\)) are not only complete in single-peakedness, but also complete on peak-pit domains. Let \(\sigma \) be a linear order, \(\mathcal {SP}_n \cup \{\sigma \}\) is cyclic if \(\sigma \) is a pit order.Footnote 10 But this does not include general CD domains. Actually, for a given set of alternatives, the maximal cardinality of a CD domain is in general strictly larger than the cardinality of the single-peaked domain.

Finally, let us see how the single-peaked preferences are constructed recursively from Recursive Procedure.

Proposition 1

For each alternative set \(N=\{1,2,\ldots ,n\}\) with \(n>2\), the following three types of single-peaked preferences are created recursively by \(T_{\mathcal {SP}_{n}}\) in Recursive Procedure:

  1. (i)

    Join arc labelled by the new alternative from sink to new sink

  2. (ii)

    Move from source immediately to the added “rbd-copy”

  3. (iii)

    Move to “rbd-copy” later via “rbd”.

Moreover, the number of orderings of type (i) is equal to \(| \varSigma (T_{\mathcal {SP}_{n-1}}) |\).

Proof

For type (i), it is clear from the construction. The operation creates all the orderings that have the new alternative at the bottom.

For types (ii) and (iii), the key point is: for each snake of \(T_{\mathcal {SP}_{n}}\), or single-peaked preference, once the snake entering “rbd-copy” newly added in Step \(n-1\), it ends within “rbd-copy”.

Precisely, type (ii) creates the (unique) ordering that puts the new alternative on top. For type (iii), after each snake entering from a vertex of “rbd” of \(T_{\mathcal {SP}_{n-1}}\) via the arc labelled by the new alternative, it just follows the vertex of “rbd-copy” continuously. Hence, we can simply view the operation as inserting a new alternative to the orderings intersection with “rbd” in \(\mathcal {SP}_{n-1}\). Hence, type (iii) creates an ordering that puts the new alternatives somewhere in the middle.

For the part of “Moreover”, since each snake, or the ordering of single-peaked of tiling type, ends at the sink. \(\square \)

4 Concluding remarks

In this paper, we have shown a simple recursive procedure of constructing complete single-peaked domains of tiling type explicitly for any finite alternative sets. The underlying basic structure and properties of single-peaked domains provided here give some insights and make further developments on single-peakedness more easy.

Acyclic and single-peaked domains have been researched from different subjects. Beside of majority acyclic properties, strategy-proofness is another main subject of single-peakedness, as shown in papers early (Moulin 1980) and recently (Achuthankutty and Roy 2018; Bade 2019; Moulin 2017; Savaglio and Vannucci 2019). Single-peaked domain, as a subset of Condorcet domain of preference orders, it also bears some more properties related to topology. Tiling representation presented here, paper (Danilov et al. 2012), and the arrangement of pseudolines (Galambos and Reiner 2008; Danilov et al. 2012) are some of them. The higher Bruhat orders mentioned in Fig. 5 are related to oriented matroids (Björner et al. 2008; Ziegler 1993) with additional general structures.

As mentioned in the Introduction, our work is motivated by random assignment problems (Fujishige et al. 2018; Moulin 2017) related to strategy-proofness. The recent paper given by Puppe (2018) also hints a relation to the structure of the base polyhedra of submodular system (Fujishige 2005; Zhan 2005), which our extended assignment problems are based on Fujishige et al. (2018).

The authors of Theorems 2 and 3 also published other related papers (Danilov et al. 2007, 2010) on Plücker functions and their basis, and the separated set-systems. These also are mentioned in oriented matroids, and seem to have some relations with the recursive structure provided here.

Exploring the relation among these mentioned above will be our future work.