Voting by Committees under Constraints



considering the universal domain assumption of the Gibbard-Satterthwaite
result. Theorem 1 tells us that only dictatorial rules are strategy-proof on
additive preferences. This is the conclusion we wanted.

5 Appendix: Proof of Theorem 1

The proof of Theorem 1 is based on a decomposition argument that applies an
important result of Le Breton and Sen (1997) to our context. This argument,
which will be exploited in the proof of Theorem 1, is expressed as Proposition
4 below. But before, we need the following notation.

Let Pi be an additively representable preference on 2κ and consider a
subset
B of K. Let Pf stand for the preferences on 2b generated by the
utilities which represent
Pi. Let Aβ be the set of additive preferences on 2b.
For a profile P of preferences on 2κ, Pb will denote the profile of preferences
so restricted, for all
i N.

Given a strategy-proof social choice function F: An → 2κ and a subset
B of objects, let Fb: A⅞ —> 2b be defined so that for all Pb ∈A⅛

Fb (Pb) = F(P)∏ B,

where P is any additive preference such that Pb is generated by the utilities
which represent
P.

Remark 4 Notice that, since F. An —> 2κ is a strategy-proof social choice
function, it is voting by committees (by Proposition 2). Hence, for any
B C K, F(P) ∩ B = F (p} ∩ B for all F, F ∈A" such that Fb = Fb.
Therefore, Fb is well-defined.

Proposition 4 (a) Let F: An 2κ be a social choice function and let
{Bι,..., Bq} be a cylindric decomposition of Rp. If F is strategy-proof then

21



More intriguing information

1. ASSESSMENT OF MARKET RISK IN HOG PRODUCTION USING VALUE-AT-RISK AND EXTREME VALUE THEORY
2. AN EXPLORATION OF THE NEED FOR AND COST OF SELECTED TRADE FACILITATION MEASURES IN ASIA AND THE PACIFIC IN THE CONTEXT OF THE WTO NEGOTIATIONS
3. The name is absent
4. Imputing Dairy Producers' Quota Discount Rate Using the Individual Export Milk Program in Quebec
5. The economic value of food labels: A lab experiment on safer infant milk formula
6. Exchange Rate Uncertainty and Trade Growth - A Comparison of Linear and Nonlinear (Forecasting) Models
7. The name is absent
8. Flatliners: Ideology and Rational Learning in the Diffusion of the Flat Tax
9. Heavy Hero or Digital Dummy: multimodal player-avatar relations in FINAL FANTASY 7
10. An alternative way to model merit good arguments