The geometry of manipulation — A quantitative proof of the Gibbard-Satterthwaite theorem

Authors:
Marcus Isaksson;Guy Kindler;Elchanan Mossel
Affiliations:
Chalmers University of Technology and Göteborg University, SE-41296, Göteborg, Sweden;Chair at the Hebrew Univeristy of Jerusalem, Incumbent of the Harry and Abe Sherman Lectureship, Jerusalem, Israel;Weizmann Institute of Science and U.C. Berkeley, Berkeley, USA
Venue:
Combinatorica
Year:
2012

Citing 0
Cited 6

A Quantitative Version of the Gibbard-Satterthwaite Theorem for Three Alternatives

SIAM Journal on Computing
A quantitative gibbard-satterthwaite theorem without neutrality

STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Election manipulation: the average case

ACM SIGecom Exchanges
Normalized Range Voting Broadly Resists Control

Theory of Computing Systems
Challenges to complexity shields that are supposed to protect elections against manipulation and control: a survey

Annals of Mathematics and Artificial Intelligence
A smooth transition from powerlessness to absolute power

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

We prove a quantitative version of the Gibbard-Satterthwaite theorem. We show that a uniformly chosen voter profile for a neutral social choice function f of q ≥ 4 alternatives and n voters will be manipulable with probability at least 10−4∈2 n −3 q −30, where ∈ is the minimal statistical distance between f and the family of dictator functions. Our results extend those of [11], which were obtained for the case of 3 alternatives, and imply that the approach of masking manipulations behind computational hardness (as considered in [4,6,9,15,7]) cannot hide manipulations completely. Our proof is geometric. More specifically it extends the method of canonical paths to show that the measure of the profiles that lie on the interface of 3 or more outcomes is large. To the best of our knowledge our result is the first isoperimetric result to establish interface of more than two bodies.