🤖 AI Summary
This paper studies the allocation of a single indivisible good over general ordinal preference domains admitting a unique globally optimal alternative, focusing on rules satisfying non-obvious strategyproofness (NMSP)—a relaxation of standard strategyproofness. First, it establishes an impossibility result: no rule can simultaneously satisfy NMSP and Pareto efficiency. Second, by weakening efficiency to consistency, the paper constructs a broad class of well-behaved, NMSP rules and provides their complete axiomatic characterization. This work identifies the precise boundary between NMSP and efficiency, breaking from conventional mechanism design’s reliance on strong efficiency requirements. By preserving incentive compatibility while substantially expanding the space of feasible rules, it delivers a novel paradigm for indivisible resource allocation that balances theoretical rigor with practical implementability.
📝 Abstract
In problems involving the allocation of a single non-disposable commodity, we study rules defined on a general domain of preferences requiring only that each preference exhibit a unique global maximum. Our focus is on rules that satisfy a relaxed form of strategy-proofness, known as non-obvious manipulability. We show that the combination of efficiency and non-obvious manipulability leads to impossibility results, whereas weakening efficiency to unanimity gives rise to a large family of well-behaved non-obviously manipulable rules.