Social choice theory

Median voter theorem and clean majority rule

The median voter theorem is a positive result because, under one-dimensional, single-peaked preferences, majority rule selects the median voter's preferred position.

Nicolas mechanism signals

These concepts follow the mathematical contract used by the app.

Convex cost

cost = c * sum a_ij^2

Voice budget

sum a_ij^2 <= B

Outcome rule

shifted softmax over support

What the theorem says

Voters with single-peaked preferences along one dimension give majority rule a stable winner, the alternative preferred by the median voter.

This is a positive result because it identifies a domain restriction where majority voting can behave coherently.

Why the assumptions matter

Many real decisions are not one-dimensional, since a workplace policy, budget allocation, or governance proposal can affect participants across several dimensions at once.

Preferences can be multidimensional, and intensity can vary widely. In those cases, a simple median position may not capture the decision problem.

Where Nicolas fits

Nicolas is built for multi-alternative decisions where participants may care at different intensities, so it reveals costly support and opposition across named alternatives rather than trying to find the median voter.

Use cases

Where this decision model helps

Positive result

Understand a case where majority rule has a clean theoretical foundation.

Assumption check

Ask whether a decision is really one-dimensional and single-peaked.

Intensity contrast

See why Nicolas handles cases where strength of preference matters.

FAQ

Does the median voter theorem always apply?

No. It depends on strong assumptions, especially one-dimensional alternatives and single-peaked preferences.

Is Nicolas a median voter tool?

No. Nicolas is designed for preference-intensity decisions across named alternatives, not for locating a median position.

Why is the theorem useful?

It shows that voting impossibility results are not the whole story because positive results exist under the right assumptions.