Population monotonicity
Population monotonicity is a principle of consistency in allocation problems. It says that, when the set of agents participating in the allocation changes, the utility of all agents should change in the same direction. For example, if the resource is good, and an agent leaves, then all remaining agents should receive at least as much utility as in the original allocation.
The term "population monotonicity" is used in an unrelated meaning in the context of apportionment of seats in the congress among states. There, the property relates to the population of an individual state, which determines the state's entitlement. A population-increase means that a state is entitled to more seats. This different property is described in the page state-population monotonicity.
In fair cake cutting
In the fair cake-cutting problem, classic allocation rules such as divide and choose are not PM. Several rules are known to be PM:- When the pieces may be disconnected, any function that maximizes a concave welfare function is PM. This holds whether the welfare function operates on the absolute utilities or on the relative utilities. In particular, the Nash-optimal rule, absolute-leximin and relative-leximin rules, absolute-utilitarian and relative utilitarian rules are all PM. It is an open question whether concavity of the welfare function is necessary for PM.
- When the pieces must be connected, no Pareto-optimal proportional division rule is PM. The absolute-equitable rule and relative-equitable rules are weakly Pareto-optimal and PM.
In fair house allocation