Mathematical structure of voting paradoxes

Summary. A theory is developed to identify, characterize, and explain all possible positional and pairwise voting outcomes that can occur for any number of alternatives and any profile. This paper describes pairwise voting where new results include explanations for all paradoxes, cycles, conflict between Borda and Condorcet rankings, differences among procedures using pairwise votes (such as the Borda Count, Kemeny's method, and the Arrow-Raynaud rule), and discrepancies among the societal rankings as candidates are dropped or added. Other new results include new relationships among the Borda and Condorcet "winners" and "losers." The theory also shows how to construct all supporting profiles. The following companion paper does the same for positional methods.