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. The name is absent
2. The name is absent
3. Centre for Longitudinal Studies
4. The Value of Cultural Heritage Sites in Armenia: Evidence From a Travel Cost Method Study
5. The name is absent
6. The name is absent
7. The name is absent
8. The name is absent
9. The name is absent
10. The name is absent
11. Rent Dissipation in Chartered Recreational Fishing: Inside the Black Box
12. The name is absent
13. Biologically inspired distributed machine cognition: a new formal approach to hyperparallel computation
14. The Works of the Right Honourable Edmund Burke
15. The Shepherd Sinfonia
16. Three Strikes and You.re Out: Reply to Cooper and Willis
17. Industrial Employment Growth in Spanish Regions - the Role Played by Size, Innovation, and Spatial Aspects
18. The name is absent
19. The name is absent
20. Evolution of cognitive function via redeployment of brain areas