Bi-Compositional Division Rules

Abstract

We characterise the division rules for claims problems that satisfy equal treatment of equals, bilateral consistency, composition down, and composition up. The rules are precisely the members of a one-parameter log-exponential family $\{r^θ\}_{θ\in[-\infty,+\infty]}$, with constrained equal awards (CEA) and constrained equal losses (CEL) as its endpoints. For finite $θ$, $r^θ$ is the equal-sacrifice rule in awards for $u_θ=\logφ_θ$, where \[ φ_θ(x):=\frac{e^{θx}-1}θ\quad(θ\ne0), \qquad φ_0(x):=x, \] and simultaneously the equal-sacrifice rule in losses for the dual utility $u_{-θ}$. The proportional rule is the midpoint, $θ=0$. Continuity of the rules are not assumed but a consequence of the other axioms.