Voting by Committees under Constraints



is impossible by the Gibbard-Satterthwaite Theorem. As for the case where
a section has two active components only, notice that we can divide the ob-
jects of this section into two sets, such that all the elements in one of the sets
obtains when those on the other don’t, and vice-versa. Our restriction that
the committees corresponding to these two sets of objects are complementary
guarantees that no vote can lead to choose at the same time objects from
these two active components. Otherwise, no further restriction is imposed
on our committees by strategy-proofness when only two outcomes arise.

Now, we state and prove that whenever a section in the minimal Cylindric
decomposition of
Rf contains more than two active components, then we get
a dictator. This is achieved by showing that a free triple always exists in this
case.

Proposition 5 Assume that the following properties of Rf hold: (1) the
minimal cylindric decomposition of
Rf has a unique section and (2) ffRF
3. Then, there exists i N such that for all к Rf, TV™ = {{i}}.

Proof of Proposition 5 By conditions (1) and (2) there exists Z 2κ
such that Z Rf . Without loss of generality first assume that there exists
x such that either Z U {x} ∈ Rf or Z∖{rr} ∈ Rf. Moreover, by rotating the
hypercube to locate
Z to its origin and redefining all coordinates accordingly,
assume that
Z = 0 and {ж} ∈ Rf. Let у Rf{x} be arbitrary. We will
show that there exists
i N such that W''' = TV™ = {{i}}. We will
distinguish between two cases.

Case 1: There exists D E Rf such that у E D and MB (D, 0) ∩ Rf = {D}.

Subcase 1.1: Assume M B (DU {ж} , 0) ≠ {{^} , D} . Since M B(D, ^)ΓRf =
{D} there exists B such that 0 ≠ B Ç D, B U {ж} ≠ D, and B U {ж} ∈
MB (DU{^},0)∩‰.

24



More intriguing information

1. Inhimillinen pääoma ja palkat Suomessa: Paluu perusmalliin
2. Parent child interaction in Nigerian families: conversation analysis, context and culture
3. The name is absent
4. The name is absent
5. EXPANDING HIGHER EDUCATION IN THE U.K: FROM ‘SYSTEM SLOWDOWN’ TO ‘SYSTEM ACCELERATION’
6. Altruism with Social Roots: An Emerging Literature
7. The name is absent
8. Applications of Evolutionary Economic Geography
9. The name is absent
10. Asymmetric transfer of the dynamic motion aftereffect between first- and second-order cues and among different second-order cues