Measurable Majorities Are Not Finitely Axiomatizable
Lawrence S. Moss, Arthur Paul Pedersen
Read on arXiv →
Key claim
Strict majority reasoning cannot be finitely axiomatized.
In plain English
Imagine you're trying to create a fair voting system where decisions are made based on majority opinions. You might think that if you can just set up a clear set of rules, everything will work smoothly. However, in practice, things can get messy. When you try to represent majority judgments with a finite set of rules, you often run into problems where the rules can't capture all the nuances of people's opinions. This is what's called incoherence in social decision-making. It means that sometimes, even if a majority agrees, the way the rules are set up can lead to contradictions or unfair outcomes.
In this paper, the authors explore whether you can simplify the rules by using a bounded finite fragment instead of the existing coherence criteria. They find that you can't — no matter how you try to limit the rules, there will always be cases where the system fails to represent majority opinions accurately. They construct a specific example that illustrates this failure, showing that for every size of voting group, there are scenarios where the rules break down. This construction is geometric, meaning it uses concepts from geometry to explain why these failures happen.
What this means for someone building a voting system is significant. It highlights the limitations of trying to simplify complex decision-making processes into finite rules. Instead of assuming that a straightforward set of rules will suffice, builders need to consider the inherent complexities of social decision-making and the potential for incoherence when designing their systems.
The paper introduces a new geometric construction that addresses a specific theoretical limitation in social decision frames.
The claims are well-supported by rigorous proofs and logical reasoning, addressing a previously stated conjecture.
Deep reliability assessment
The methodology supports a formal existence result: for every k, there is a finite maximal standard frame whose shortest coherence violation has length exactly 2k + 2, so no bounded finite axiom fragment can capture measurability. It does not show that such high-index incoherence is common in real voting systems, and its geometric construction is explicitly less size-efficient than Blanco's combinatorial construction.
Reproducibility
No open-source code, dataset, or computational artifact is mentioned. Reproducibility is mathematical: the paper claims a self-contained geometric construction over rational vector spaces, but the supplied text does not include enough proof detail to independently verify every step.
Key figure
No Figure 1 or architectural diagram is described in the provided text; the key construction is described verbally as a geometric construction using orthogonality and dimension in rational vector spaces.