The Voter Basis and the Admissibility of Tree Characters

Andrew Beveridge,Ian Calaway
DOI: https://doi.org/10.1007/s11083-021-09553-8
2021-02-12
Order
Abstract:Let ≽ be a total order on the power set of a finite set [<i>n</i>]. A subset <i>S</i> ⊂ [<i>n</i>] is <i>separable</i> when for any <i>X</i>,<i>Y</i> ⊂ <i>S</i> and any <i>Z</i> ⊂ [<i>n</i>] − <i>S</i>, the ordering of <i>X</i> and <i>Y</i> is the same as the ordering of <i>X</i> ∪ <i>Z</i> and <i>Y</i> ∪ <i>Z</i>. The <i>character</i> of a preference order is the collection of all separable subsets. Motivated by questions in the theories of voting, marketing and social choice, the <i>admissibility problem</i> asks which collections <span class="mathjax-tex">\(\mathcal {C} \subset \mathcal {P}({[n]})\)</span> can arise as characters of preference orders. We introduce a linear algebraic technique to construct preference orders. Each vector in our 2<sup><i>n</i></sup>-dimensional voter basis induces a simple preference preorder (where ties are allowed) with nice separability properties. Given any collection <span class="mathjax-tex">\(\mathcal {C} \subset \mathcal {P}({[n]})\)</span> that contains both <i>∅</i> and [<i>n</i>], and such that all pairs of subsets are either nested or disjoint, we use the voter basis to construct a preference order with character <span class="mathjax-tex">\(\mathcal {C}\)</span>.
What problem does this paper attempt to address?