On Ehrhart Polynomials and Probability Calculations in Voting Theory

In voting theory, analyzing how frequent is an event (e.g. a voting paradox) is, under some specific but widely used assumptions, equivalent to computing the exact number of integer solutions in a system of linear constraints. Recently, some algorithms for computing this number have been proposed in social choice literature by Huang and Chua [17] and by Gehrlein ([12, 14]). The purpose of this paper is threefold. Firstly, we want to do justice to Eugène Ehrhart, who, more than forty years ago, discovered the theoretical foundations of the above mentioned algorithms. Secondly, we present some efficient algorithms that have been recently developed by computer scientists, independently from voting theorists. Thirdly, we illustrate the use of these algorithms by providing some original results in voting theory.