Lower one- or two-dimensional coordination, or potential games, are popularly used to model interactive behavior, such as innovation diffusion and cultural evolution. Typically, this involves determining the "better" of competing solutions. However, examples have demonstrated that different...

Sen's classic social choice result supposedly demonstrates a conflict between Pareto and even minimal forms of liberalism. By providing the first direct mathematical proof of this seminal result, we underscore a significantly different interpretation: rather than conflicts among rights, Sen's...