Pith. sign in

REVIEW 1 cited by

Fair Division with Binary Valuations: One Rule to Rule Them All

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2007.06073 v2 pith:EVLEHR45 submitted 2020-07-12 cs.GT

Fair Division with Binary Valuations: One Rule to Rule Them All

classification cs.GT
keywords ruleadditivebinaryenvy-freepreferencesagentsallocationdeterministic
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We study fair allocation of indivisible goods among agents. Prior research focuses on additive agent preferences, which leads to an impossibility when seeking truthfulness, fairness, and efficiency. We show that when agents have binary additive preferences, a compelling rule -- maximum Nash welfare (MNW) -- provides all three guarantees. Specifically, we show that deterministic MNW with lexicographic tie-breaking is group strategyproof in addition to being envy-free up to one good and Pareto optimal. We also prove that fractional MNW -- known to be group strategyproof, envy-free, and Pareto optimal -- can be implemented as a distribution over deterministic MNW allocations, which are envy-free up to one good. Our work establishes maximum Nash welfare as the ultimate allocation rule in the realm of binary additive preferences.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Fair Division with Binary Valuations: Characterizations

    econ.TH 2026-07 accept novelty 7.5

    MNW is uniquely characterized by EF1 + strategyproofness + neutrality + minimal completeness + IDU for any number of agents (and by a non-redundancy + resource-monotonicity variant for two agents); all axioms are independent.