A tight quantitative version of Arrow’s impossibility theorem
The well-known Impossibility Theorem of Arrow asserts that any generalized social welfare function (GSWF) with at least three alternatives, which satisfies Independence of Irrelevant Alternatives (IIA) and Unanimity and is not a dictatorship, is necessarily non-transitive. In 2002, Kalai asked whether one can obtain the following quantitative version of the theorem: For any , there exists such that if a GSWF on three alternatives satisfies the IIA condition and its probability of non-transitive...