I will survey recent results which give quantitative version of theorems in economics regarding social choice functions (i.e. how to vote). The focus of the talk will be a quantitative proof of Arrow's Impossibility Theorem which is based on new combinatorial arguments coupled with uses of inverse hyper-contraction (an exotic concept in functional analysis) and non-linear invariance principles (a...